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