DjD USB, дело в том, что уравнение имеет решение

. А раз само уравнение имеет решение, то и его редукция по любому модулю имеет решение. Т.е., какой бы Вы модуль не рассматривали, у полученного сравнения всегда будет решение.
Можно, по идее, попробовать разложить квадратичную часть на множители в соответствующем кольце и там решать. Но у меня для такого слишком мало мозгов. Да и зачем?