Let y = -5 + 7. Solve y = a - 0 for a.
2
Suppose -5*b + 32 = -28. Solve 5*o + b = o for o.
-3
Suppose -5*d = 3*z - 16, -5*z - 2*d = -12 - 2. Solve 0 = z*n - 4*n - 10 for n.
-5
Let i(f) = f + 16. Let m be i(-13). Suppose m*n - 2*n - 8 = 0. Solve -3*w + n = 23 for w.
-5
Let q(m) = -3*m - 7. Let l be q(-5). Let n(a) = -a + 3. Let i be n(-1). Solve 4*t = -i + l for t.
1
Let q(y) = -y + 3. Let j be q(-2). Solve 3*g = 2*g - j for g.
-5
Suppose -3*o + 4*x - 6*x + 33 = 0, 4*x = 3*o - 15. Solve -5*i = 1 + o for i.
-2
Suppose 7*y = 31 + 46. Solve 0 = -5*t + y + 14 for t.
5
Let i(f) = 3 + 6*f - 7*f + 3*f**2 - 2. Let o be i(1). Solve -o*x + 2 = -2*x for x.
2
Let z be 4⁄3 + (-12)/(-18). Let n(g) = -g3 + 6*g2 - 6. Let w be n(5). Suppose 4*k = -v + w, z*k + 6 = 5*v - 1. Solve -1 + v = r for r.
2