Exercise algebra.inequalities.linear

Description
solve a linear inequation

-3*x-2 < 3
ready: no

Feedback

Path 1

path[0, 0, 1, 3, 0, 0]
steps6
major rules2
active labels
  • linearinequation
  • phase2

enter linearinequation, enter phase1, algebra.equations.linear.distr-times, exit phase1, enter phase2, algebra.equations.linear.var-left