Exercise algebra.equations.linear.balance
Description
Solve a linear equation using only balance rules.
Test report
| Tests | 474 |
| Errors | 29 |
| Warnings | 14 |
| Time | 0.926112s |
| Rating |  |
Suites
- Exercise algebra.equations.linear.balance (tests: 474, errors: 29, warnings: 14, 0.926084s)
Errors
soundness strategy/generator: Falsifiable final term is ready: 4*x-6 == 7*x-14 => 8/3 == x final term is ready: -1-5*x == 3*x-20 => 19/8 == x final term is ready: 4*x-18 == 14+11*x => -32/7 == x final term is ready: 17 == 4-10*x => -13/10 == x final term is ready: -5*x+6 == 2-3*x => 2 == x final term is ready: 4*(x-1) == 11*x-12 => 8/7 == x final term is ready: 4*(x-4) == 5*(2*x+1) => -7/2 == x final term is ready: 2*(5-3*x) == 6-x => 4/5 == x final term is ready: 4*x-(x-2) == 12+5*(x-1) => -5/2 == x final term is ready: -3*(x-2) == 3*(x+4)-7 => 1/6 == x final term is ready: 2*x-(3*x+5) == 10+5*(x-1) => -5/3 == x final term is ready: -5*(x+1) == 9*(x+4)-5 => -18/7 == x final term is ready: 1/2*x-4 == 2*x+2[1/2] => -13/3 == x final term is ready: 1/4*x+1/2 == 5/2*x+2 => -2/3 == x final term is ready: 1/4*x-3/4 == 2*x+1/2 => -5/7 == x final term is ready: -1/2*x+3/4 == 5/2*x+3 => -3/4 == x final term is ready: -1/2*x+1[1/2] == 2*x-5 => 13/5 == x final term is ready: -1/3*x+3/4 == 1/4*x+1/6 => 1 == x final term is ready: 2/5*x-1/4 == 1/2*x+3/4 => -10 == x final term is ready: (-1[2/5])*x+3[1/2] == 3/5*x+9/10 => 13/10 == x final term is ready: 1/4*(x-3) == 1/2*x-4 => 13 == x final term is ready: (x+3)/2 == 5*(1/2*x+1[1/2]) => -3 == x final term is ready: 1/2*(7-2/3*x) == 2+1/9*x => 27/8 == x final term is ready: 3/4*x-(x-1) == 3+2[1/2]*(x-1) => 2/11 == x final term is ready: -5/4*(x-7) == 3/4*(x+2)-4[1/2] => 47/8 == x final term is ready: 3*(1/5*x-1)+5 == 7*x-14 => 5/2 == x final term is ready: (-3*(x+2))/6 == 9*(2/3*x+1/3)-5/3 => -14/39 == x final term is ready: 1-(4*x+2)/3 == 3*x-(5*x-1)/4 => 1/37 == xTests
Exercise algebra.equations.linear.balance (tests: 474, errors: 29, warnings: 14, 0.926084s)
Examples (tests: 450, errors: 28, warnings: 0, 0.330308s)
start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 4*x-6 == 7*x-14 => 8/3 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: -1-5*x == 3*x-20 => 19/8 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 4*x-18 == 14+11*x => -32/7 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 17 == 4-10*x => -13/10 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: -5*x+6 == 2-3*x => 2 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 4*(x-1) == 11*x-12 => 8/7 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 4*(x-4) == 5*(2*x+1) => -7/2 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 2*(5-3*x) == 6-x => 4/5 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 4*x-(x-2) == 12+5*(x-1) => -5/2 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: -3*(x-2) == 3*(x+4)-7 => 1/6 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 2*x-(3*x+5) == 10+5*(x-1) => -5/3 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: -5*(x+1) == 9*(x+4)-5 => -18/7 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 1/2*x-4 == 2*x+2[1/2] => -13/3 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 1/4*x+1/2 == 5/2*x+2 => -2/3 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 1/4*x-3/4 == 2*x+1/2 => -5/7 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: -1/2*x+3/4 == 5/2*x+3 => -3/4 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: -1/2*x+1[1/2] == 2*x-5 => 13/5 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: -1/3*x+3/4 == 1/4*x+1/6 => 1 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 2/5*x-1/4 == 1/2*x+3/4 => -10 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: (-1[2/5])*x+3[1/2] == 3/5*x+9/10 => 13/10 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 1/4*(x-3) == 1/2*x-4 => 13 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: (x+3)/2 == 5*(1/2*x+1[1/2]) => -3 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 1/2*(7-2/3*x) == 2+1/9*x => 27/8 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 3/4*x-(x-1) == 3+2[1/2]*(x-1) => 2/11 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: -5/4*(x-7) == 3/4*(x+2)-4[1/2] => 47/8 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 3*(1/5*x-1)+5 == 7*x-14 => 5/2 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: (-3*(x+2))/6 == 9*(2/3*x+1/3)-5/3 => -14/39 == x parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready: 1-(4*x+2)/3 == 3*x-(5*x-1)/4 => 1/37 == x parser/pretty-printer equivalences no similar steps self similarity parametersSoundness non-buggy rules (tests: 19, errors: 0, warnings: 14, 0.177021s)
algebra.equations.linear.balance.calculate algebra.equations.linear.balance.collect
algebra.equations.linear.balance.con-left-minus: passed only 2 tests algebra.equations.linear.balance.con-left-plus: passed only 3 tests algebra.equations.linear.balance.con-right-minus: passed only 3 tests algebra.equations.linear.balance.con-right-plus: passed only 1 tests algebra.equations.linear.balance.distribute algebra.equations.linear.balance.div-to-fraction: passed only 0 tests algebra.equations.linear.balance.intro-false: passed only 0 tests algebra.equations.linear.balance.intro-true: passed only 4 tests algebra.equations.linear.balance.negate: passed only 0 tests algebra.equations.linear.balance.remove-div algebra.equations.linear.balance.scale-to-one: passed only 0 tests algebra.equations.linear.balance.smart-div: passed only 2 tests algebra.equations.linear.balance.var-left-minus: passed only 5 tests algebra.equations.linear.balance.var-left-plus: passed only 8 tests algebra.equations.linear.balance.var-right-minus: passed only 9 tests algebra.equations.linear.balance.var-right-plus: passed only 6 tests algebra.equations.linear.flip exercise terms defined equivalence implemented similarity implemented parser/pretty printer soundness strategy/generator: Falsifiable