Exercise algebra.equations.linear.balance

Description
Solve a linear equation using only balance rules.

-3*x == -3
ready: no

Feedback

Path 1

path[0, 0, 8, 1, 0, 0, 2]
steps7
major rules2
active labels
  • balanceequation
  • phase2

enter balanceequation, enter phase1, exit phase1, core.not, algebra.equations.linear.balance.smart-div, enter phase2, algebra.equations.linear.balance.con-right-minus