Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

x+6 > 2-3/4*x

⇒ algebra.equations.linear.remove-div, factor=4

4*x+24 > 8-3*x

⇒ algebra.equations.linear.var-left, term=(-3)*x

7*x+24 > 8

⇒ algebra.equations.coverup.onevar.plus

7*x > -16

⇒ algebra.equations.coverup.times-positive

x > -16/7