17               2151    3     2
172 + 122 - 2(m + n) = 255 - 12(4x + 19x - 140x + 17)


Для доказательства oпределим четность/нечетность левой и правой части.

В левой части:

172 - четное. 
   17
122  - четное.

2(m + n) - четное, поскольку двойка в сомножителе.

Таким образом, вся левая часть - четное число. Ибо сумма любого количества
четных чисел - тоже четное число. Это уж совсем просто доказать.

В правой части:

  2151
255   - нечетное.
     3     2
12(4x + 19x - 140x + 17) - четное, поскольку четное число в сомножителе.

То есть, справа - нечетное число, потому что сумма четного и нечетного 
числа - всегда нечетное число. 
Таким образом, слева у нас четное число, а справа - нечетное.
Значит выражение ложно.