Exercise

Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

x == -10

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 2, 10, 2, 3, 10]
steps 7
major rules 3
active labels
balanceequation
phase2

enter balanceequation, enter phase1, algebra.equations.linear.balance.remove-div, exit phase1, enter phase2, algebra.equations.linear.balance.con-right-plus, algebra.equations.linear.balance.scale-to-one

path	[0, 0, 2, 10, 2, 3, 10]
steps	7
major rules	3
active labels	balanceequation phase2