Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
6*x-2 < 3+9*x
⇒ algebra.equations.linear.var-left, term=9*x-3*x-2 < 3
⇒ algebra.equations.coverup.onevar.minus-left-3*x < 5
⇒ algebra.inequalities.flip-sign3*x > -5
⇒ algebra.equations.coverup.times-positivex > -5/3