Ну хорошо.
Там точнее было бы через

-функцию Кармайкла, ну да ладно.
Я Вам советую разложить модуль на множители и перейти от одного сравнения к системе. Множители будут достаточно маленькими, чтобы вычисления было удобно делать даже в голове. После решения каждого сравнения просто найдете общее решение и все.
Далее, вот пусть у нас есть сравнение

. По т. Эйлера мы знаем, что

. Поскольку все решения образуют арифметическую прогрессию с нулевым начальным членом, т.е. все

описываются сравнением

, то

делит

. Если

делит

, то у нас есть лишь конечное число вариантов - их можно перебрать. Вот теперь перебирайте делители, как найдете самый малый делитель, удовлетворяющий сравнению, так он и будет его решением.