Формулируются пары похожих по формулировке задач, связанных с решением в {0,1}* сравнений (и несравнений) арифметических выражений по числовому модулю, относительно одной из которых доказывается ее полиномиальность по времени, а другая обобщает ее как подзадачу. Доказывается NP-полнота обобщенной задачи, которая при простом модуле традиционными математическими символьными преобразованиями сводится к первой.

By means of fixing a parameter some NP-complete problems, connected with the solving of comparisons (and non-comparisons) of arithmetical terms by prime modulo, are decomposed as a union of an infinite set of problems for which polynomial-time algorithms are constructed.