Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
x+6 > 2-3/4*x
⇒ algebra.equations.linear.remove-div, factor=44*x+24 > 8-3*x
⇒ algebra.equations.linear.var-left, term=(-3)*x7*x+24 > 8
⇒ algebra.equations.coverup.onevar.plus7*x > -16
⇒ algebra.equations.coverup.times-positivex > -16/7