Exercise

Exercise algebra.inequalities.linear

Description
solve a linear inequation

x > 8

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

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

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

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