Resuelve para x:
COEFx COMP RIGHT_INT
x
COMP_SOLUTION
SOLUTION_REAL
un entero, como 6
una fracción propia simplificada, como 3/5
una fracción impropia simplificada, como 7/4
una fracción mixta, como 1\ 3/4
un decimal exacto como 0.75
Al multiplicar o dividir ambos lados de una desigualdad por un número negativo se debe voltear la desigualdad. Por lo tanto, COMP se convierte en COMP_SOLUTION.
Multiplica ambos lados por ONE_OVER_COEF.
(ONE_OVER_COEF) \cdot (COEFx) COMP_SOLUTION (ONE_OVER_COEF) \cdot (RIGHT_INT)
Simplifica.
x COMP_SOLUTION SOLUTION_NOT_REDUCED
Reduce.
x COMP_SOLUTION SOLUTION
Podemos ver que todos los valores de x COMP_SOLUTION SOLUTION satisfacen la desigualdad original.