Exercise algebra.equations.linear.balance
Description
Solve a linear equation using only balance rules.
Derivation
-1/3 == -1/12*x-3/4
⇒ algebra.equations.linear.balance.remove-div, factor=12-4 == -x-9
⇒ algebra.equations.linear.balance.con-left-plus, term=95 == -x
⇒ algebra.equations.linear.balance.scale-to-one, factor=-1-5 == x
⇒ algebra.equations.linear.flipx == -5