Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

Derivation

(5*x-1)/6-2 == -4*x+(3*x-6)/2

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

5*x-13 == -24*x+3*(3*x-6)

⇒ algebra.equations.linear.balance.distribute

5*x-13 == -24*x+9*x-18

⇒ algebra.equations.linear.balance.collect

5*x-13 == -15*x-18

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

20*x-13 == -18

⇒ algebra.equations.linear.balance.con-right-plus, term=13

20*x == -5

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

x == -1/4