Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

4*(x-3)-3*x > 3*(x-4)-3*x

⇒ algebra.equations.linear.distr-times

4*x-12-3*x > 3*x-12-3*x

⇒ algebra.equations.linear.merge

x-12 > -12

⇒ algebra.equations.coverup.onevar.minus-left

x > 0