Let w(v) = -v3 - v2 + v. Let z be w(0). Suppose p + 3*p = z. Let i(s) = -s**2 + 8*s - 4. Let a be i(7). Solve p = 3*q - 6*q - a for q.
-1
Suppose 0 = -67*a + 64*a + 6. Solve -a*l + 3*l = -3 for l.
-3
Let h = 130 - 66. Let t = h - 39. Suppose -4*k + 0 = -8. Solve -k*g = 3*g - t for g.
5
Suppose -5*z = -0*z - 10. Suppose -z*m - m = -6. Solve -2*x + 0 = m for x.
-1
Let q(g) = -10*g**3 - 1. Let f be q(-1). Suppose -3*j + 1 = -r - 2*j, 0 = -4*r + 5*j - f. Suppose 5*h + r*s = 13, 0*s + 17 = 4*h + s. Solve 27 = h*z + 2 for z.
5
Suppose 5*g = -14 - 1, 2*h - 5*g = 25. Suppose 7*w - 38 = 32. Solve h*m + w = -0*m for m.
-2
Let y = -17 - -25. Solve 0 = -0*o + 2*o - y for o.
4
Let b(h) = h + 7. Let d(n) = n + 3. Let c(p) = 2*b(p) - 5*d(p). Let i be c(-1). Suppose v = -3*x - 11, i*x + 3 = -7. Solve -l - v*l - 15 = 0 for l.
-3
Suppose -f = 3*f - 8. Let g(o) = -7*o + 0*o2 - o2 - 2 + o3 + of + 4*o**2. Let t be g(-5). Solve 0 = -m + 3*m + t for m.
-4
Let f(w) = -w3 + 8*w2 + 8*w + 12. Let d be f(9). Solve -20 = b + d*b for b.
-5