Let r = -23 - -25. Solve -5*v = r - 7 for v.
1
Suppose -22 = -7*i + 13. Solve -q = 3 - i for q.
2
Let c be 200⁄22 + (-1)/11. Solve 3*m + 6 = -c for m.
-5
Suppose -v - 2*v = -24. Let x = -5 + 7. Let b = 2 - x. Solve b = -q - 3*q + v for q.
2
Let k(v) = v**2 + 5*v - 3. Let o be k(-6). Solve 9 + 0 = -o*c for c.
-3
Suppose 0 = 5*o - 5*i, -5*o = -2*o + 4*i + 7. Let r = o + 3. Solve r + 1 = -3*z for z.
-1
Let x be (2 + -5)*-1 - 1. Suppose -5*o + 3*f + 6 = 0, 3*o - x*o = 2*f - 3. Suppose 0*k + o*k = 0. Solve -y = -k*y for y.
0
Let s be (-16)/(-3) + 4⁄6. Let u = 3 + 2. Suppose 38 + 37 = u*b. Solve s*z = 3*z + b for z.
5
Let z = -25 - -11. Let y be 12/z*(-21)/3. Solve r = y - 1 for r.
5
Let c(s) = s**2 + 12*s + 3. Let l be c(-12). Solve -18 + 6 = -l*y for y.
4