Условие выполняется, если

составное, а таких составных бесконечно много.
Верно. По теореме Вильсона, если

- является составным, то условие задачи выполнено. Достаточно доказать, что среди чисел вида

бесконечно много делятся на 3, а это следует из арифмоста:

- 2, 1, 2, 1, ...

- 0, 1, 1, 0, 1, 1, ...
Таким образом, при

и при

получаем число, кратное трём.