Exercise

Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

Rules for algebra.equations.linear.balance

Rule name	Args	Used	Siblings	Rewrite rule
`algebra.equations.linear.balance.calculate`	0	yes
`algebra.equations.linear.balance.collect`	0	yes
`algebra.equations.linear.balance.con-left-minus`	1	yes
`algebra.equations.linear.balance.con-left-plus`	1	yes
`algebra.equations.linear.balance.con-right-minus`	1	yes
`algebra.equations.linear.balance.con-right-plus`	1	yes
`algebra.equations.linear.balance.distribute`	0	yes
`algebra.equations.linear.balance.div-to-fraction`	0	yes
`algebra.equations.linear.balance.intro-false`	0	yes
`algebra.equations.linear.balance.intro-true`	0	yes
`algebra.equations.linear.balance.negate`	0	yes		(-a) = (-b) ⇒ a = b
`algebra.equations.linear.balance.remove-div`	1	yes
`algebra.equations.linear.balance.scale-to-one`	1	yes
`algebra.equations.linear.balance.smart-div`	1	yes
`algebra.equations.linear.balance.var-left-minus`	1	yes
`algebra.equations.linear.balance.var-left-plus`	1	yes
`algebra.equations.linear.balance.var-right-minus`	1	yes
`algebra.equations.linear.balance.var-right-plus`	1	yes
`algebra.equations.linear.flip`	0	yes		a = b ⇒ b = a

Buggy rules for algebra.equations.linear.balance

Rule name	Args	Used	Siblings	Rewrite rule
`algebra.equations.linear.balance.buggy.addbal1`	1	no
`algebra.equations.linear.balance.buggy.addbal10`	1	no
`algebra.equations.linear.balance.buggy.addbal11`	1	no
`algebra.equations.linear.balance.buggy.addbal12`	1	no
`algebra.equations.linear.balance.buggy.addbal13`	1	no
`algebra.equations.linear.balance.buggy.addbal14`	1	no
`algebra.equations.linear.balance.buggy.addbal15`	1	no
`algebra.equations.linear.balance.buggy.addbal16`	1	no
`algebra.equations.linear.balance.buggy.addbal2`	1	no
`algebra.equations.linear.balance.buggy.addbal3`	1	no
`algebra.equations.linear.balance.buggy.addbal4`	1	no
`algebra.equations.linear.balance.buggy.addbal5`	1	no
`algebra.equations.linear.balance.buggy.addbal6`	1	no
`algebra.equations.linear.balance.buggy.addbal7`	1	no
`algebra.equations.linear.balance.buggy.addbal8`	1	no
`algebra.equations.linear.balance.buggy.addbal9`	1	no
`algebra.equations.linear.balance.buggy.flip1`	0	no
`algebra.equations.linear.balance.buggy.misc1`	0	no
`algebra.equations.linear.balance.buggy.misc2`	1	no
`algebra.equations.linear.balance.buggy.misc3`	0	no
`algebra.equations.linear.balance.buggy.misc4`	1	no
`algebra.equations.linear.balance.buggy.mulbal1`	0	no
`algebra.equations.linear.balance.buggy.mulbal2`	2	no
`algebra.equations.linear.balance.buggy.mulbal3`	1	no
`algebra.equations.linear.balance.buggy.mulbal4`	1	no
`algebra.equations.linear.balance.buggy.mulbal5`	0	no
`algebra.equations.linear.balance.buggy.mulbal6`	1	no
`algebra.equations.linear.balance.buggy.multiply1`	0	no
`algebra.equations.linear.balance.buggy.multiply2`	0	no
`algebra.equations.linear.balance.buggy.multiply3`	0	no
`algebra.equations.linear.balance.buggy.multiply4`	0	no
`algebra.equations.linear.balance.buggy.multiply5`	0	no
`algebra.equations.linear.balance.buggy.par1`	0	no
`algebra.equations.linear.balance.buggy.par10`	0	no
`algebra.equations.linear.balance.buggy.par11`	0	no
`algebra.equations.linear.balance.buggy.par2`	0	no
`algebra.equations.linear.balance.buggy.par4`	0	no
`algebra.equations.linear.balance.buggy.par5`	0	no
`algebra.equations.linear.balance.buggy.par6`	0	no
`algebra.equations.linear.balance.buggy.par7`	0	no
`algebra.equations.linear.balance.buggy.par8`	0	no
`algebra.equations.linear.balance.buggy.par9`	0	no