Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

Derivation

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

⇒ algebra.equations.linear.balance.distribute

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

⇒ algebra.equations.linear.balance.collect

5*x == -15*x-5

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

20*x == -5

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

x == -1/4