= -z**2 - 8*z. Let q be s(-8). Suppose q = -3*y + 2 + 7. Solve y*f - 27 + 12 = 0 for f.
5
Let m = 18 + -20. Let i(r) = -r**3 - 3*r**2 - 2*r + 2. Let k be i(m). Solve -k*l - 5 = 1 for l.
-3
Suppose 6*n = n + 15. Let l = n - -3. Let q(d) = -d**3 + 17*d**2 - 16*d + 2. Let y be q(16). Solve l*b = y*b for b.
0
Let d(n) = -2*n + 11. Let s be d(5). Solve 0*o + s = o for o.
1
Let w = 18 - 16. Solve 2*p + 20 = -w*p for p.
-5
Suppose 0 = -2*h - j + 157, -3*h + 3*j + 294 = 54. Suppose 3*v - h = -19. Solve -x + v = 3*x for x.
5
Suppose -26 = -4*k - 5*x, 5*k = 3*k + 4*x. Solve 2 = 3*s - k for s.
2
Let y(n) = 9*n**3 - 2*n**2 + 2. Let r be y(2). Suppose 2*g + 21 = -o - g, 4*o + 3*g = -r. Let c be o/(-10) - (-19)/2. Solve 9 = 4*h - c for h.
5
Let a = 173 + -167. Solve -a = b - 3 for b.
-3
Suppose 7 + 5 = 4*h. Suppose -3*p = 4*r - 44, -h*r + 0*r + p + 46 = 0. Let d = -8 + r. Solve -a - a = -d for a.
3
Let w(c) = c**3 - 3*c**2 + 2*c - 1. Let m be (-6)/18 + (-20)/(-6). Let i be w(m). Solve l + 4*l - i = 0 for l.
1
Suppose -2*s - 220 = -5*y, 17 = -y - 2*s + 73. Suppose -2*v + 14 = -y. Suppose -5*l + v = -0*l. Solve -t - 10 = -l*t for t.
2
Let f(j) = j**2 + 6*j - 6. Let h be f(-7). Suppose 4*z - 12 = z. Suppose -4*d - u = -0*d - 14, 2 = -2*d + z*u. Solve -h = d*k + 5 for k.
-2
Let j = 0 - -4. Suppose -2 = j*v - 22. Solve -2*c = -v*c - 12 for c.
-4
Suppose 0 = 3*w - 2 - 4. Solve x = -x + w for x.
1
Let d(z) = z**2 + 8*z - 28. Let l be d(-12). Solve -n = 3*n - l for n.
5
Suppose -s - 5 = 4*s. Let q be (-18 + 19)*(-3)/s. Solve 0 = -2*i - i + q for i.
1
Let m = 9 + -5. Let c = 2 + -5. Let i = c + m. Solve 0 = -n + i for n.
1
Suppose 5*k + 0*k = 10. Solve 3*a - k = -17 for a.
-5
Let a be (-26 - -1)*(-28)/140. Solve -6*r + a = -r for r.
1
Let r = -4 - -6. Solve -r*i = 3*i + 20 for i.
-4
Suppose -3*u - 6 = -0*u. Let p(f) = f**3 + f**2 - 2*f. Let i be p(u). Let j(l) = 2*l - 4. Let s be j(3). Solve i = s*a + a for a.
0
Let j = 2 + -8. Let p be 1 - 2*21/j. Let v = 36 - 16. Solve -v = -3*t - p for t.
4
Let n be ((-15)/9 + 2)*6. Suppose 7*k - n*k = 0. Solve m + m + 2 = k for m.
-1
Let h = 2 + 0. Suppose -v = -5*r + 18, -h*r + 20 = -5*v - 1. Solve -4*b + r*b - 1 = 0 for b.
-1
Suppose 9 = 2*j - j. Let v = -9 + j. Solve -o + v = -1 for o.
1
Let w = -33 + 36. Solve -w = 4*o - 5*o for o.
3
Suppose l - 12 - 6 = -5*a, -3*a - l + 12 = 0. Solve a*y + 5 = -1 for y.
-2
Let q(p) = p**3 - p**2 - p + 2. Let f be q(0). Let y be 1/2*(0 + 4). Suppose -y*j + 0*j + f = -3*a, -4*j + 2*a = -12. Solve 0 = -j*n - 2 + 10 for n.
2
Let b(k) = -2*k - 4. Let f be b(-3). Suppose u = f + 2. Solve -u*h + 3 = -h for h.
1
Suppose x + 170 = 6*x. Suppose 9 = -5*o + 5*m + x, -4*m = 8. Solve 0 = -2*y + 7 + o for y.
5
Let r = -1 + 8. Let i = r + -3. Suppose 0 = -2*j, -4*q + i*j + 40 = -2*q. Solve m + 3*m = q for m.
5
Suppose -4*g + 6*g - 6 = 0. Suppose -g = -0*b - 3*b. Solve -b = o - 0 for o.
-1
Suppose 4*o - 4*x + 1 = -7, 5*x - 20 = -5*o. Let y be ((-1)/o - -2)*-5. Let j(u) = u**2 + 5*u + 4. Let s be j(y). Solve -s - 1 = 5*q for q.
-1
Suppose 0 = -u + 4*t + 62, 57 = -5*u + 4*t + 399. Suppose 0 = 2*r - 7*r + u. Solve r - 2 = 4*z for z.
3
Let a(w) = -w - 3. Let n be a(-5). Let g = 4 - n. Suppose 5*p + g*k = 4*k + 9, -5*k = -5*p. Solve -5*r + 2*r + p = 0 for r.
1
Suppose -3*q - 4 = -5*q. Suppose -q*i = -3*i - 2*t + 4, 2*i + 2*t = 0. Let h = -2 - i. Solve -3*o - 20 = h*o for o.
-4
Let x be 5/((-50)/15)*-2. Solve -15 = 2*g + x*g for g.
-3
Let z = 3 - 3. Solve -o = -z - 4 for o.
4
Let o(r) = -r**2 - 4*r - 4. Let h(l) = 2*l**3 + l + 1. Let d be h(-1). Let y be o(d). Solve 2*t - t + 5 = y for t.
-5
Let s = 7 + -5. Suppose -s*t - 3 = g, -4*t + t = -g + 12. Solve g*c + 8 = 17 for c.
3
Suppose 7 = -5*h - 13. Let t = 5 + h. Solve -1 = x + t for x.
-2
Let f = 2 - 0. Suppose -2*z - 4 = -4*n, -3*n - f*n = 3*z - 5. Solve -3 = 2*u + n for u.
-2
Suppose -w + 3*d + 10 = 0, -5*w - 3*d + 10 = 2*d. Suppose 0*g - g + w = 0. Solve -k - k = g for k.
-2
Let t(o) = o**3 - 8*o**2 + o - 5. Let n be t(8). Solve d = -0*d - n for d.
-3
Suppose 0 = -3*a - 5*u + 10, 3*a - 4 - 15 = 4*u. Solve -2*x - 3*x + a = 0 for x.
1
Let w be 4 - 1/(3/6). Let g be (2 - 1*-7) + w. Solve g + 14 = -5*b for b.
-5
Let a = 7 + -8. Let m be -3*(a - (-1)/(-3)). Solve d = -6 + m for d.
-2
Suppose 2*c = -2*r + 20, 5*c + r - 30 = -0*c. Solve -4*t = -5*t + c for t.
5
Let b be ((-64)/(-4))/4 - 2. Solve b + 0 = i for i.
2
Suppose 3*h + 4*q - 1 = -0*q, 31 = 3*h - 2*q. Solve -h*x + 2*x - 10 = 0 for x.
-2
Suppose 5*c + 9 = 24. Let l(p) = -p**2 - 3*p - 2. Let x be l(-1). Solve x = 4*o - c*o for o.
0
Suppose 5 = -t - 4. Let m = t + 9. Suppose 5*n = 5*z + 3*n - 4, -z - 5*n = -17. Solve z*k = -m*k - 6 for k.
-3
Let z = -9 + 11. Solve -3 = -z*m + 1 for m.
2
Let q be 3 + (-2)/4*2. Suppose 0 = 5*b + q*u + u - 16, -4*u = -5*b + 2. Solve -b*s = -7*s + 25 for s.
5
Let l be (-1096)/(-32) + 2/(-8). Solve -5*r - 14 = -l for r.
4
Let b(z) = -2*z**2 + 6*z + 3. Let c be b(3). Solve 2*j + 13 - c = 0 for j.
-5
Let b(r) = r**3 - 7*r**2 - r + 5. Let t be b(7). Let k = t + 7. Solve 6*w + k = w for w.
-1
Suppose 3*d = -l + 33, l - 5*d + 95 = 4*l. Solve -5*n = 5 - l for n.
5
Let h(f) = -f + 4. Let v(t) = -t. Let q be v(4). Let r = q + 4. Let d be h(r). Solve -d*m = m + 25 for m.
-5
Suppose 0 = -4*i - 5*x + 26, 0*i + x + 2 = i. Solve -i*r + 5 = -5*r for r.
-5
Let a(x) = 4*x - 4. Let l be a(3). Let k be (-28)/(-2)*l/16. Solve 2 = 3*r - k for r.
3
Suppose -1 = 5*u - 11. Let t(r) = -r**3 - r**2 + 2*r + 2. Let z be t(-2). Suppose 4*y - z*y - 6 = 0. Solve -u*w + y = -3 for w.
3
Let k(u) be the third derivative of -1/60*u**5 + 0*u - u**2 + 0 + 1/6*u**3 + 1/3*u**4. Let d be k(8). Solve -s - d = 1 for s.
-2
Let f = -4 + 7. Suppose -69 = -4*a + f*c, a - 2*c - 30 = 3*c. Suppose 4*k = -k + a. Solve 0*g + 15 = k*g for g.
5
Let i(f) = f**3 + 5*f**2 + 5*f + 3. Suppose 5 - 17 = 4*d. Let w be i(d). Solve -w*j = -3*j for j.
0
Let p(i) = i - 1. Let w be p(1). Let f = w - 0. Suppose 5*m - 18 = 2*a, 4*m = 4*a + 14 - 2. Solve -16 = -m*b - f*b for b.
4
Suppose -d - 4*d + 53 = 3*b, -4*b + 36 = -2*d. Let o be b + 1*0/2. Solve 2*u + 1 = o for u.
5
Let r be 3 - (1/(-1) - -2). Suppose -12 = 3*t, 4*a - 6*a = -t + 4. Let v be r + (-1)/((-2)/a). Solve 2*g - g = v for g.
0
Let v = -105 - -107. Solve -14 = 4*d + v for d.
-4
Let b = -33 + 37. Solve s + b = -s for s.
-2
Suppose -o - 6 = -3*o. Suppose -o*a - 3 = 3. Let h(x) = x**2 + 2*x. Let t be h(a). Solve t*s = -2*s - 10 for s.
-5
Let g(z) = 3*z + 1. Let w be g(4). Let u = 2 + w. Solve 0 = 4*k + k - u for k.
3
Let w be (1 + -4)/3 - -2. Solve -2*m + m = w for m.
-1
Suppose 4*n = -n. Suppose -z + 7 = -3*d + 62, -z + 5 = n. Solve -5*a - d = 5 for a.
-5
Suppose 6*o = 61 + 17. Solve 5*f + o = -2 for f.
-3
Suppose -5*y = -6*y + 1. Solve -2*w = y - 3 for w.
1
Suppose -c = -2*c + 6. Suppose 9*i - c*i = 6. Solve 0 = -t + i + 1 for t.
3
Suppose -63 = -3*w + 3*a, w - 3*a - 44 = -w. Let l = 22 - w. Solve -l*s - 4 = 8 for s.
-4
Let p be (2 - 1)*(3 - 3). Suppose c - 3 = -p*c. Solve -n = c*n for n.
0
Let w = -5 - -8. Suppose 0 = 3*y - w - 3. Suppose 4*b - 3 = -0*v - 3*v, 5*b - 2*v + y = 0. Solve b = -3*d - 6 + 15 for d.
3
Suppose -k = -3*k. Let f(y) = y + 0*y**3 - 5 + y**3 + 0 - 3*y**2. Let h be f(4). Solve k = 5*x - 5 - h for x.
4
Suppose -2*c - 3*u = -0*c + 11, -16 = 2*c - 2*u. Let b = c + 1. Let v = b + 8. Solve 0 = v*f + 9 - 3 for f.
-3
Let b = 6 - 4. Suppose -b*g + 18 = 5*c, -5*c = -6*g + 2*g - 24. Solve -x - 2 = -c for x.
2
Let d = -1 - -1. Suppose 0 = -9*b + 8*b + 1. Solve -2*u + b - 9 = d for u.
-4
Suppose 0 = -4*z + 7*z. Suppose z = -2*y + 6 + 2. Let c(q) = q. Let u be c(y). Solve 5*n - u = 21 for n.
5
Let z be -1 - (5*1 - 0). Let o(d) be the first derivative of -d**3/3 - 7*d**2/2 - d + 15. Let w be o(z). Solve -w = -0*s + s for s.
-5
Let j = 7 - 5. Solve j*y - 20 = -2*y for y.
5
Suppose f + 3 = -4. Let h(b) be the third derivative of -b**6/120 - 2*b**5/15 - b**4/4 + 3*b**3/2 + b**2. Let r be h(f). Solve -5 = r*s - s for s.
-5
Suppose 2*x + 2*w = -2*w + 54, -3*x + 72 = -3*w. Solve -3*n - 2*n = x for n.
-5
Suppose 0 = -4*r + 3*l + 51, -2*r - 50 = -6*r + 2*l. Let c be 1/4 - (-7)/4. Solve -r = -w - c*w for w.
4
Let r be (2/(-4))/(2/(-8)). Solve -3 = -d - r*d for d.
1
Let y(c) = -3*c - 