Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

5*(x-1) < 7*x-1

⇒ algebra.equations.linear.distr-times

5*x-5 < 7*x-1

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

-2*x-5 < -1

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

-2*x < 4

⇒ algebra.inequalities.flip-sign

2*x > -4

⇒ algebra.equations.coverup.times-positive

x > -2