Отрицательные дроби

-x/3 >= 2 скрывает два шага. Сначала умножение обеих частей на 3 — это положительное действие, переворота знака нет: -x >= 6. Затем деление на -1 — это отрицательное действие, поэтому знак переворачивается:

x <= -6

В качестве альтернативы можно сразу умножить обе части на -3: это отрицательное действие, поэтому знак переворачивается один раз, и x <= -6 получается непосредственно. В любом случае выполняется ровно одна отрицательная операция и происходит ровно один переворот знака.

Считайте изменения знака: каждый раз, когда вы умножаете или делите на отрицательное число, знак меняется один раз. Два изменения знака подряд вернут его к исходному состоянию. Считать изменения проще, чем каждый раз вспоминать знак.