Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
4*x+5 < 5*x-3
⇒ algebra.equations.linear.var-left, term=5*x-x+5 < -3
⇒ algebra.equations.coverup.onevar.plus-x < -8
⇒ algebra.inequalities.flip-signx > 8
Description
solve a linear inequation