Тут, кажется элементарно: X не равен минус Y
X больше или равен Y
Правда, есть нюанс: нужно раскрывать модуль и рассматривать иные случаи.