Exercise algebra.inequalities.linear

Description
solve a linear inequation

-x+4 > 6
ready: no

Feedback

Path 1

path[0, 0, 2, 3]
steps4
major rules1
active labels
  • linearinequation

enter linearinequation, enter phase1, algebra.equations.linear.merge, exit phase1