Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

Derivation

2+1/9*x == 1/2*(7-2/3*x)

⇒ algebra.equations.linear.balance.remove-div, factor=18

36+2*x == 9*(7-2/3*x)

⇒ algebra.equations.linear.balance.distribute

36+2*x == 63-6*x

⇒ algebra.equations.linear.balance.var-left-plus, term=6*x

36+8*x == 63

⇒ algebra.equations.linear.balance.con-right-minus, term=36

8*x == 27

⇒ algebra.equations.linear.balance.scale-to-one, factor=8

x == 27/8