Exercise

Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

x == 7

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 8, 2, 6, 0, 9, 0, 10, 0, 0]
steps 11
major rules 4
active labels
balanceequation
phase2

enter balanceequation, enter phase1, exit phase1, enter phase2, check, algebra.equations.linear.balance.var-right-minus, check, algebra.equations.linear.balance.con-left-minus, algebra.equations.linear.balance.scale-to-one, check, algebra.equations.linear.flip

path	[0, 0, 8, 2, 6, 0, 9, 0, 10, 0, 0]
steps	11
major rules	4
active labels	balanceequation phase2