Exercise

Exercise algebra.inequalities.linear

Description
solve a linear inequation

a > 4/3

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 1, 2, 3, 0, 0, 0, 1]
steps 9
major rules 5
active labels
linearinequation
phase2

enter linearinequation, enter phase1, algebra.equations.linear.distr-times, algebra.equations.linear.merge, exit phase1, enter phase2, algebra.equations.linear.var-left, algebra.equations.coverup.onevar.plus, algebra.equations.coverup.times-positive

path	[0, 0, 1, 2, 3, 0, 0, 0, 1]
steps	9
major rules	5
active labels	linearinequation phase2