Let t = 33 + -13. Solve o = -3*o + t for o.
5
Let f be -3 + 4 + 4 - 0. Solve 15 = f*n - 2*n for n.
5
Suppose -4*m + 2*m = -6. Suppose 8 = m*s + s, 0 = 5*l + 2*s - 14. Solve 0 = l*c - 5 - 1 for c.
3
Let a(f) = -f**3 - 1. Let r be a(-1). Suppose r = 5*i - 10 - 0. Solve -i*m - 15 = 3*m for m.
-3
Let h = 12 - 8. Suppose -r + 5*w = 6, -h*w = 4*r - 2*r - 16. Solve 0*t = -r*t for t.
0
Suppose -12 = -3*o - 4*y, 2*y - 4*y - 8 = -2*o. Let s(z) = -z3 + 7*z2 + z - 7. Let l be s(7). Let f be (0 - 0)/(-2 + l). Solve f*u + o = -u for u.
-4
Let b = 29 - 29. Solve 2*f = -b - 8 for f.
-4
Let a = -18 + 21. Suppose c = -3*y + 54, -5*y + a*c - 7*c = -97. Solve 4*b = 1 - y for b.
-4
Suppose 4*s = -5*u + 37, -3*s = 5*u - 1 - 33. Let t be 2/u + (-36)/(-10). Suppose 0 = -t*h + 10 + 2. Solve h*r + 0*r = 0 for r.
0
Let y(j) = 2*j. Let z be y(8). Let h = 8 + -5. Solve -h*a - a = -z for a.
4