Exercise

Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

x == -9/13

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 1, 2, 10, 2, 0, 5, 10]
steps 9
major rules 5
active labels
balanceequation
phase2

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

path	[0, 0, 1, 2, 10, 2, 0, 5, 10]
steps	9
major rules	5
active labels	balanceequation phase2