Exercise

Exercise algebra.inequalities.linear

Description
solve a linear inequation

Rules for algebra.inequalities.linear

Rule name	Args	Used	Siblings	Rewrite rule
`algebra.equations.coverup.onevar.minus-left`	0	yes
`algebra.equations.coverup.onevar.minus-right`	0	yes
`algebra.equations.coverup.onevar.plus`	0	yes
`algebra.equations.coverup.times-positive`	0	yes
`algebra.equations.linear.distr-times`	0	yes
`algebra.equations.linear.merge`	0	yes
`algebra.equations.linear.remove-div`	1	yes
`algebra.equations.linear.var-left`	1	yes
`algebra.inequalities.flip-sign`	0	yes

Buggy rules for algebra.inequalities.linear

Rule name

Args

Used

Siblings

Rewrite rule