Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

1/3*x+10 > 1/2*x

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

2*x+60 > 3*x

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

-x+60 > 0

⇒ algebra.equations.coverup.onevar.plus

-x > -60

⇒ algebra.inequalities.flip-sign

x < 60