Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
4*(x-3) > 3*(x-4)
⇒ algebra.equations.linear.distr-times4*x-12 > 3*x-12
⇒ algebra.equations.linear.var-left, term=3*xx-12 > -12
⇒ algebra.equations.coverup.onevar.minus-leftx > 0