ако x и y са цели числа и 2 x – y  11 , тогава 4 x + y не може да бъде
"2 x - y  11 2 x  11 + y 4 x  22 + 2 y сега трябва да проверим стойността на 4 x + 4  > 22 + 2 y + y  22 + 3 y оттук 22 + 3 y  стойност ( в опциите ), така че y  стойност - 22 / 3, така че проверката на опциите само d е негоден отговор : d"
multiply(negate(add(const_2, const_3)), subtract(2, add(const_2, const_3)))