 b + b + 16. Let z = 0 - b. Let c = z + -5. Solve -5*t + 37 = 4*w, -c*w + 4*w + 7 = 2*t for w.
3
Suppose -3*s - 15 = -21. Solve s*v - 11 = -0*y + 3*y, -3*v = y for y.
-3
Let c(b) = -b**3 - b**2 + b. Let a be c(-2). Let l(p) = 2*p**2 - 2*p + 1. Let v be l(a). Solve -3*w + 12 = 0, -w = v*o - 2 - 2 for o.
0
Let x(m) = m + 7. Let c be x(-5). Suppose -c*y = -31 - 59. Solve -6*k - 5*g + y = -k, 0 = 4*k + 2*g - 28 for k.
5
Suppose 1 = -j + 7. Suppose -8*a + 11*a = j. Solve 4*r - 18 = -a*x - 4, -4*x = -12 for r.
2
Let w(q) = -1 + 7*q - 1 - 1 - q**2. Let g be w(6). Solve 5*u + 3*t + 7 = 0, -5*u + 18 = -g*t + 1 for u.
1
Let u = -32 - -57. Solve 2*y - 2*f + 5 = 5*y, -4*y = -f - u for y.
5
Let c(t) be the first derivative of t**4/4 - 7*t**3/3 - 7*t**2/2 - 4*t - 1. Let o be c(8). Let n be 15/1*o/5. Solve 11 - 3 = z + 3*u, z - 2*u = -n for z.
-4
Let b(m) = m**3 + 2*m**2 + 2*m. Let h be b(-2). Let t = 6 + h. Solve -2*y + 0 - t = n, -4*y + n - 10 = 0 for y.
-2
Let a = 27 - 22. Solve 5*o - 25 = 2*l - 4*l, 37 = 4*o + a*l for o.
3
Suppose 3*d = -d + 2*u + 8, -6 = 3*u. Suppose -3*s - 45 = 3*g, 5*g + 59 = -3*s - 6. Let i be 0 + (-4)/8*g. Solve 0 = -2*t - i*c - d - 4, 28 = -5*t + 3*c for t.
-5
Suppose 2*b - 77 = 4*z + 5*b, z + 14 = b. Let l = 17 + z. Solve -f - 15 = 5*m - 3*m, l = -4*m + 3*f - 5 for m.
-5
Let k(z) = z - 9. Let h be k(10). Solve 3*c - 4 = -s, -2 = -c + h for s.
-5
Let b(n) = n**2 + 4*n + 3. Let u be b(-4). Let o = -12 - -25. Let x = 15 - o. Solve -r - j + u = -0*j, -24 = x*r - 4*j for r.
-2
Let q(s) = s**3 + 13*s**2 + 10*s - 15. Let c be q(-12). Solve -2*t = 3*m - 7, 3*m = 4*m + 2*t - c for m.
-1
Let u = 50 - 47. Solve -x = 2*x + 4*j + 13, -u*x = 3*j + 12 for x.
-3
Suppose 6*b + 26 = 2*b - 2*l, -b = 4*l + 24. Let i(u) = u**2 + 5*u + 6. Let r be i(b). Solve 0 = s + 2, 0 = -r*c + 2*s + 14 for c.
5
Suppose 10 = 2*h + 4. Solve -2 = 2*p + 3*x, 5*p - h*x - 20 = 2*x for p.
2
Let i(r) = -r + 6*r**2 + 3*r + 0*r**2 + 1. Let d be i(-1). Let f be (2/(-6))/(2/(-24)). Solve f*c = -a + d - 2, -5*a - c - 4 = 0 for a.
-1
Let o(j) = 2*j. Let c be o(1). Let x = 5 + 1. Let l(d) = -d + 12. Let b be l(x). Solve 3*y - 2*v - 2*v - 5 = 0, -c*y + b = -4*v for y.
-1
Let v be (-3)/(6/(-4) - 0). Let t = 3 + v. Solve 0 = -t*f - 5*n + 35, -3*f + 8*f + 3*n = 31 for f.
5
Let q = 5 - 2. Let b(k) be the second derivative of k**5/20 + k**4/6 - 5*k**3/6 - 2*k**2 - 2*k. Let j be b(-3). Solve -a - 4*a + 3 = 4*o, q*o - 8 = j*a for a.
-1
Suppose -244 = -b - 3*b. Let u(i) = -85*i + 1. Let d be u(-1). Let m = d - b. Solve s - 5*s = -5*a - m, 5 = -5*a for s.
5
Suppose -1 + 6 = y. Let r(b) = -b**2 + 3*b - 2. Let v be r(2). Suppose v = 15*g - 12*g - 6. Solve l - 21 = -y*a + 2, -2*l = -a - g for l.
3
Suppose -40 = -4*u + 5*v - 3, 17 = 4*u - v. Solve -5*s - u*m = 12, 1 + 7 = 3*s - 2*m for s.
0
Suppose 2*u + 9*y = 6*y - 2, 3*u - 3*y = 27. Solve -4*i = -2*m + 6, 4 = u*m - 3*i + 3 for m.
-1
Suppose -3*s + 2 = -1. Let i = 8 + -5. Suppose 3*v - 1 - 4 = -a, 2*v + i*a = 15. Solve v = -z + 3*k - 8, 2*z - s = 5*k - 16 for z.
-5
Let n be (-272)/(-85) + 2/(-10). Solve -5*r + 40 = -n*t - 2*t, -4*r = -3*t - 28 for t.
-4
Let t be (-4)/(-3)*6/4. Suppose -j - 4*y - 5 = 0, -4*j - 4*y = 6 + t. Let c be j/(-3) + 40/24. Solve 5*d = -2*a + 25, -1 = -c*a + 9 for d.
3
Suppose -4*a - 2*s + 2 = -5*a, -4*a - 2 = -5*s. Let f be 6/(-9) - 7/3. Let k = f - -11. Solve 2*t = m - 2*m - k, 0 = -5*m + a*t - 16 for m.
-4
Suppose -5*n + 2*v = -2*v - 29, -4*n + 16 = 4*v. Suppose n - 2 = d. Suppose -2*i + 0 + 4 = 0. Solve -i*j - 11 = 3*b, -2*b - 11 = d*j - 3*b for j.
-4
Let x(i) = i - 3. Let j be x(5). Suppose 5*q - 32 = -j. Solve -s + 2*z - q*z + 25 = 0, 5*s - 3*z = 10 for s.
5
Let o(l) = -2*l**2 + 4*l - 1. Let m be o(1). Let d(g) = g - 3. Let x be d(6). Suppose x*v - 21 = 9. Solve -w + v - m = -t, -41 = 5*t - 4*w for t.
-5
Let x = 19 + -11. Let c(v) = -v**3 - 5*v**2 + 6*v + 3. Let a be c(-6). Suppose s - a = -0*s. Solve 0 = -5*u - 4*y + x, s*u = -0*u + 4*y + 24 for u.
4
Let q = 5 - 1. Suppose 4*u = 5*c - 2*c + q, 8 = -2*u + 4*c. Solve -d = n + 3, 20 = -u*d - 0 for n.
2
Let d = 0 - -1. Let b be 11*(d + 0/3). Let f = b + -7. Solve -5*p = -10, 0*x = x - p + f for x.
-2
Let k = 3 - -1. Solve -2*i + 5 = u, -k*u - 9 = -i + 16 for i.
5
Let o be (0 - -4) + -1 + -2. Let m be 3/(-3) + 1/o. Solve 5*t = 4*n - m*n + 2, 5*n + 5*t = -25 for n.
-3
Suppose 5*c - 2*i - 77 = -30, c = -3*i + 6. Suppose c*g - 5*g - 16 = 0. Solve g*s - 20 = 4*n, -s + 1 = -2*n - 4 for s.
5
Let y = 0 - 1. Let w be y - (-9)/6*2. Solve -3*j + 12 = w*r, 2*r - 20 = -5*j + 3*r for j.
4
Let y(x) = x**2 + 7*x - 15. Let h be y(-9). Solve -5*q - h = -5*s + 17, 2*s = 5*q + 11 for q.
-1
Let q = -56 - -61. Solve 0 = -5*b + 4*o + 1 + 24, 0 = b + 5*o - q for b.
5
Suppose -4*h + 25 - 1 = 0. Solve 5*s - 1 + h = 0, 0 = 3*p - 5*s - 17 for p.
4
Suppose o - 1 = -5*x + 2, 0 = -5*o + 15. Let y be 14 + -1 + -2 + 1. Suppose 2*z = -2*z + y. Solve x = -z*q + 2*g + 23, -29 = -2*q + 4*g - 3 for q.
5
Suppose -5*b + 0*b = -35. Let w = 3 + b. Solve 0 = -5*j + 5 + w, 5*j = 2*a + 17 for a.
-1
Let a(f) = 2*f - 8. Let c be a(8). Suppose -5*g + c = -7. Solve -5*y = -2*m + 2, 0 = -y + m - g + 2 for y.
0
Let w = -70 + 72. Solve 0 = -0*h - 4*h + w*m - 22, 0 = -4*m + 20 for h.
-3
Let k = -6 + 4. Let y be (4 - k/(-1)) + -16. Let c be 4/y + (-111)/(-21). Solve c*x - 20 = -6*u + 3*u, -4 = -x + 4*u for x.
4
Let y be -3 + -5 + 1 + -2. Let x = -5 - y. Solve 0 = -2*o - g - 3, -2*o - g = -x*g + 23 for o.
-4
Let c = 4 - -12. Let r = -12 + c. Solve -4*j = -4*o - 12, r*o = 3*j - 10 - 0 for j.
2
Let z(s) = 2*s**2 - 4*s + 2. Let d be -3 + 0/1 - -5. Let t be z(d). Solve 4*g - 6*p + t*p - 28 = 0, 2*g - 5*p = 26 for g.
3
Suppose -h + 7 = -3. Let a(w) = -w**3 + 9*w**2 + 12*w - 5. Let b be a(h). Solve 2*i - 6*i + 5*k = -8, i = -3*k - b for i.
-3
Suppose 12 = 4*d - 188. Let u = 4 - 0. Suppose -u*r = r - d. Solve -5*p - n + r = 0, 0 = -4*p - 3*n + n + 8 for p.
2
Suppose 0 = 2*h - 2*p - 20, 3*h = -4*p + 17 + 27. Let w = h + -8. Solve 5*c + n + 0*n = 24, 0 = 4*c - w*n for c.
4
Suppose -2*m + 32 = a + 4, a + 17 = m. Solve -4*i + m = -v, -v - 3*v = -i + 15 for i.
3
Let w = -127 + 127. Let c(y) = 16*y. Let f be c(1). Solve f = -2*q - 3*o, 4*o + 6 = 5*q - w*o for q.
-2
Let d be 114/22 - 14/77. Solve d*u - v = -18 + 7, 0 = -u + v + 1 for u.
-3
Let x = -10 - -14. Suppose -h = -x*h. Solve -r = 2*w - w - 2, h = -3*w + 3*r + 24 for w.
5
Let k be 18*(6/(-9) - 0). Let y be k/42 + 667/7. Suppose 0 = 2*b - 7*b + y. Solve w - 3*p = -0*w + b, -2*w - 4*p = 12 for w.
4
Let d(l) = l**3 + 10*l**2 - 13*l - 14. Let c = 3 + -14. Let x be d(c). Solve j - 2*y - x = 0, 3*j - y - 14 = 3*y for j.
-2
Suppose 48 = g - 4*g. Let w = -13 - g. Solve 4*f + 14 = -x, 5*x = 3*f + w*x + 5 for f.
-3
Suppose -4*j + 3 = -5. Solve -5*y = -0*k + 5*k + 5, -k - j*y + 2 = 0 for k.
-4
Let q(a) = -10*a**2 + 2*a**2 - a**3 - 4 + 3 + 8*a - 4. Let c be q(-9). Solve -9 = -3*s + 3*p, -2*s + 5*s - c*p = 14 for s.
-2
Let w(r) = 23*r**2. Let b(y) = -y. Let f be b(1). Let x be w(f). Solve 4*k + j + x = -0*j, j = -2*k - 13 for k.
-5
Suppose 6*q - 252 + 36 = 0. Solve -24 = 4*l + 3*a + 7, -4*l - 4*a = q for l.
-4
Let q be (-4)/(-6) + 10/3. Let g be 4 + (0 - (q - 2)). Let r be (2/g - -2)/1. Solve n - 4*o + r = -2, -4 = 2*n - 5*o for n.
3
Let y be (-4)/14 - (-4)/14. Suppose 3*j + y + 14 = 4*l, -2*j + 5*l = 21. Suppose -j*v = -v. Solve -c + h = v, 6 = -4*c - 2*h - 0*h for c.
-1
Suppose -3*r - 2 = -14. Solve -p = -3*p + 5*j - 19, 0 = -r*p - 2*j + 22 for p.
3
Suppose 2*z - 6 = 2*o, -3*o + 0*o = -4*z + 12. Solve -5*x = -5*i + 10, -i = x - o*x for i.
1
Suppose -41 + 51 = 5*l. Solve -y = y + 4*j + 10, -6 = l*j for y.
1
Let o(m) = m + 6. Let x = -23 + 17. Let v be o(x). Solve 3*w = 5*s - 17, 4*w - s + 16 + 1 = v for w.
-4
Let o be -3 + (10 - -1) + -4. Solve o*m = r - 6, -2*m + 16 = -7*m - 3*r for m.
-2
Suppose 0 = -0*b - 3*b. Solve b = 5*h + 2*g - 9, -5*g + 5 = -3*h - 2 for h.
1
Let z(l) = l**2 - 5*l + 6. Let w be z(6). Let c be (-8)/(-2)*9/w. Let x be 50/12 + (-3)/18. Solve -2*q - 4*i = -c*q - 3, 2*q = -x*i - 6 for q.
-3
Suppose -2*a - 5 = -2*g + g, 3*a - 20 = -4*g. Solve 6 = -2*t, 0 = -a*x - x - 2*t - 9 for x.
-3
Let k(i) = -5 + 5 + 2*i. Let t(b) = b**2 - 6*b - 3. Let n be t(7). Let r be k(n). S