Exercise

Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

8/3 == x

ready: no

Feedback

onefirst
allfirsts (1)
allapplications
derivation
microsteps

Path 1

path [0, 0, 8, 2, 6, 0, 9, 1, 10, 3]
steps 10
major rules 3
active labels
balanceequation

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

path	[0, 0, 8, 2, 6, 0, 9, 1, 10, 3]
steps	10
major rules	3
active labels	balanceequation