Exercise

Exercise algebra.inequalities.linear

Description
solve a linear inequation

x < 60

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 0, 3, 0, 0, 0, 0]
steps 8
major rules 4
active labels
linearinequation
phase2

enter linearinequation, enter phase1, algebra.equations.linear.remove-div, exit phase1, enter phase2, algebra.equations.linear.var-left, algebra.equations.coverup.onevar.plus, algebra.inequalities.flip-sign

path	[0, 0, 0, 3, 0, 0, 0, 0]
steps	8
major rules	4
active labels	linearinequation phase2