
нечетно.
(Сначала обнаруживаем, что

удовлетворяют первому условию, но не удовлетворяет второму)
Докажем по индукции, что

удовлетворяет 1-му условию.
Пусть существует

, докажем, что

. Видим, что

1-й множитель делится на

по предположению индукции, а 2-й - на

:

(В качестве

подходят

. Можно ли их как-то охарактеризовать?

)
Докажем, что при

удовлетворяет 2-му условию. Это следует из

. От противного:

- простое, значит

.

- образующая по модулю

, значит

. Это сравнение решения не имеет: правая часть и модуль делятся на

, а

- нет.
(с числами

так не получается, поскольку они имеют вид

)