COEFx COMP RIGHT_INT
When multiplying or dividing both sides of an inequality by a negative number you have to flip the inequality. Therefore
Multiply both sides by
ONE_OVER_COEF \cdot (COEFx) COMP_SOLUTION ONE_OVER_COEF \cdot (RIGHT_INT)
x COMP_SOLUTION SOLUTION_NOT_REDUCED
x COMP_SOLUTION SOLUTION
We can see that all values of
x COMP_SOLUTION SOLUTION satisfy the original inequality.