Exercise

Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

x == -18/7

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

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

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

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