Solve for x:
COEFx COMP RIGHT_INT
x
COMP_SOLUTION
SOLUTION_REAL
an integer, like 6
a simplified proper fraction, like 3/5
an simplified improper fraction, like 7/4
a mixed number, like 1\ 3/4
an exact decimal, like 0.75
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.