Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
2*x-2-3*x+6 > 6
⇒ algebra.equations.linear.merge-x+4 > 6
⇒ algebra.equations.coverup.onevar.plus-x > 2
⇒ algebra.inequalities.flip-signx < -2
Description
solve a linear inequation