Let v = -10 - -15. Solve 12 - 2 = -v*k for k.
-2
Let f = -19 + 23. Solve 1 - f = -3*u for u.
1
Let z = 93 - 89. Solve 4*l = 3*l + z for l.
4
Let f be (-15)/(-12) + (-1)/4. Suppose h = 3 + f. Suppose 0*i = i - h. Solve 0 = -i*c + 7 + 5 for c.
3
Let m(x) = 3*x - 3. Let f be m(2). Solve f + 1 = -n for n.
-4
Let l(v) = v - 1. Let d be l(3). Solve -d*s + 3*s = 4 for s.
4
Suppose 3*j + 7 - 22 = 3*f, -4*f = -3*j + 16. Let y be 1 + 0 + (0 - -1). Let q(m) = 4*m - 2. Let a be q(y). Solve -j*r + a + 2 = 0 for r.
2
Let h = 10 + -5. Suppose -b = -h*u + 2 + 40, -5*b = -u + 18. Suppose u - 2 = 2*o, -2*o = -5*v + 14. Solve v*c - 5 = -c for c.
1
Suppose 5*n - 6 = 4. Let c(p) = p**2 + p - 1. Let h be c(n). Solve h*j = 14 + 11 for j.
5
Suppose -4*c - 12 = 0, c + 19 = 2*z - 2*c. Let j = -71 - -73. Suppose -3*m + 40 = z*n, -3*m + j = -n - 8. Solve -m = 2*p - 13 for p.
4