Exercise algebra.inequalities.linear

Description
solve a linear inequation

Firsts

• Rule	algebra.equations.linear.remove-div
  Location	[]
  Term	"Just (TCon relation1.gt [TCon arith1.plus [TCon arith1.times [TNum 2,TVar \"x\"],TNum 60],TCon arith1.times [TNum 3,TVar \"x\"]])"
  Focus	"Just (TCon relation1.gt [TCon arith1.plus [TCon arith1.times [TNum 2,TVar \"x\"],TNum 60],TCon arith1.times [TNum 3,TVar \"x\"]])"
  Environment	factor=6

  

  2*x+60 > 3*x

  ready: no