Правильно ли неравенство? (а+253)*7

(а + 253) * 7 lt; (9864 - а) /4;
Подставим значение а в обе доли неравенства:
при а = 124, получим последующие выражения:
(124 + 253) * 7 lt; (9864 - 124) /4;
377 * 7 lt; 9740 / 4;
2639 lt; 2435;
Таким образом, упростив выражение, видно, что данное неравенство ошибочно.