c + 7 = d. Let o = d + 2. Solve o = 4*a - 0*a + 4, 5*n + 23 = -3*a for n.
-4
Suppose 4*k = -k + 5. Let p(u) = 2*u**3 + 1. Let y be p(k). Suppose 3*n + y = 36. Solve 2*a - 3 - 2 = 5*m, 4*a = 3*m - n for a.
-5
Suppose w - 5*u - 7 = 0, 2 - 10 = 2*u. Suppose n + n + 16 = 0. Let v = n - w. Solve 0 = -r + 3*k + 5, v*r = 2*k + k + 25 for r.
5
Let n(i) = -i**3 - 31*i**2 - i - 29. Let r be n(-31). Solve -1 = z - 5*q, 4*q + 1 = -r*z - 1 for z.
-1
Let h = -65 + 65. Solve j - 5 = 2*s, h = -5*j - 3*s + 12 - 0 for j.
3
Let b be 26 + -1 + (-2 - -5). Solve 5*v + 8 = b, -2*o - 3*v = -8 for o.
-2
Let d(p) = 8*p + 4 + 0*p**2 - p**2 + 2*p. Let k be 32/3 - (-4)/(-6). Let l be d(k). Solve l*j - 12 = g, g + 2*j = -3*j + 24 for g.
4
Let o(w) = -4*w - 1. Let d be o(-1). Let g be 40/12 - 1/d. Solve 5 = g*c - 2*q + 1, 0 = -2*c + 5*q - 12 for c.
4
Let t = 36 + -31. Suppose -4*d = -b - 70, 2*d - 4*b = 6*d - 60. Solve -12 = -4*z, 0 = -t*a + 3*z - 6 + d for a.
4
Let y(u) = -4*u. Let d be y(1). Let t = d + 8. Let q = 4 + -2. Solve -2 = q*l + c + 5, 0 = 4*l + t*c + 24 for l.
-1
Let i(l) = -l**3 - 5*l**2 + 5*l - 1. Suppose -2*a + 0 - 12 = 0. Let f be i(a). Solve f*w - 2*p = -20, 2*w = -p - 4*p + 21 for w.
-2
Let q = 25 - 18. Let r = -5 + q. Suppose 0 = -3*b, -5*h + 32 + 18 = 4*b. Solve 0*k + 4 = -r*k - 2*p, -2*p = -k + h for k.
2
Let k(g) = -2*g**2 - 9*g - 3. Let f be k(-6). Let c = f + 63. Let l be (1 - c/(-2)) + -2. Solve -2*t = -4*r + l, -9 = -0*t + 3*t + r for t.
-4
Suppose 3*d - m = 2*d + 10, -d + 2*m = -15. Solve 3*c - 3*k + 3 = 0, -k = -3*c + 4*c + d for c.
-3
Let d(p) = -p**3 + 6*p**2 + p - 2. Let a be d(6). Suppose -m + 4*o - 20 = -a, 3*m - 2*o + 8 = 0. Solve -2*i + 0*j - 7 = -j, m = 3*i + 4*j + 16 for i.
-4
Let w(p) = p**3 + 3*p**2 - 3*p + 4. Let s be w(-4). Solve -4 = -2*x - s*u + u, -3*x + 20 = -5*u for x.
0
Let r(c) = c**2 - 4. Let z be r(2). Suppose 3*h = 2*v, -4*v + 3*h = 14 - 2. Let d = 18 + v. Solve 3*m + z*m - g = -5, -4*g = -4*m - d for m.
-1
Let u(i) = i**2 + 2*i - 3. Let z be u(-4). Suppose z*k - k = 0. Solve -23 = 4*y - t - 0*t, k = 4*y + t + 17 for y.
-5
Let t(l) = 2 - 2*l**3 - 2*l**2 + 3*l**2 + 8*l - 5*l. Let x be t(-3). Suppose v = -3*v + x. Solve 3*j + 5*i + v = 0, 0*i = -3*j + 3*i + 18 for j.
2
Suppose 0*b + 3*b = 0. Solve 5*j = -b*j - 5*w + 15, 4*j - 3*w - 12 = 0 for j.
3
Let k = -3 + 5. Suppose 0 = -2*m + 4 + k. Suppose -y - 9 = -2*n + 1, -3*y + 10 = 4*n. Solve -32 = n*u + m*w, 5 + 7 = -4*u + 2*w for u.
-5
Let f be ((-8)/(-3 + 2))/2. Solve 3*a - f = 5*i - 1, 3*a - 3 = 2*i for a.
1
Suppose 5*i + 18 = 7*i. Suppose 7*n = i*n - 8. Solve -4*x + 5*d + 10 = 0, 3*x + n*d - d = -6 for x.
0
Let z(a) = -6*a + 45. Let b be z(7). Solve -b*j + 7*j = 5*h - 8, -10 = 5*j - 4*h for j.
-2
Suppose h = -2*a + 2, 4*h - 6 - 2 = 3*a. Solve 2*k + r - 1 = a, 4*r + 0 = 20 for k.
-2
Suppose -4*f = -y - 16, -32 = -6*y + 3*y - 4*f. Solve 0*h + 7 = p - 2*h, -h = y*p + 17 for p.
-3
Let x(k) = k**2 - k - 13. Let t(j) = j**2 - 2*j - 12. Let z(r) = 4*t(r) - 3*x(r). Let m be z(8). Solve 0 = -i - 2*i + m, 0 = 4*q - 2*i + 10 for q.
0
Suppose 0 = l + l + 8. Let k be (-24)/(-18)*(-6)/l. Solve 6*u = 2*n + k*u - 2, -2*n = -3*u for n.
-3
Let r be (8/10)/((10/(-10))/(-5)). Solve 4 = t - g + 1, -5*g = -r*t + 12 for t.
3
Suppose -3*w - 28 = -4*p - 5, 5*w = -25. Solve -3*b = 2*y + b - p, 5*b = 2*y - 2 for y.
1
Let f = 3 + -3. Suppose f = 6*a - 4*a. Solve 4*j = -w - 24, a*w = -4*w + 2*j - 6 for w.
-4
Suppose 8*m = -2*m. Solve -5*q + 3*r = -1 - 5, m = 3*q + r - 12 for q.
3
Suppose 1 = -q - 2*w, 4*q + 5*w - 4 = -2. Solve q*k - 5 = 2*j, -3*j = -k - 0*j + 4 for k.
1
Suppose 0 = -0*a - 5*a + 20. Suppose 1 = -c - a*z, -c - z - z = 1. Let v be (c + 3)/((-2)/(-4)). Solve -10 = -v*j + 2*j - 2*g, 0 = -g for j.
5
Let k = 23 + -20. Solve -k*b + b - 3*i = -2, 5*b + 5*i = 10 for b.
4
Suppose -2*d + 9*d - 14 = 0. Solve -5*c + d*m = -13, 5*c = -m - 2*m + 18 for c.
3
Let u = -50 - -55. Solve -u*n = -2*w + w + 20, w + n = -4 for w.
0
Let i(f) = -2*f**3 + 3*f - 3. Let o be i(2). Let g = o - -15. Solve 0*w - g*z - 23 = -3*w, -3*w - z = -11 for w.
5
Let v be 2/4*-2*12. Let d be 4/v*3*-5. Solve d*r = -n + 17, -r - 2*n = -0*r + 2 for r.
4
Suppose -10 = -7*a + 2*a. Let r = a - -2. Solve 5*h = -4*t + 11, r*h = t - 0*h - 8 for t.
4
Let w(f) = 11*f + 2. Suppose -5*p + 9 + 1 = 0. Let k be w(p). Solve y - 5*y = 5*i - k, 0 = -2*i - y + 9 for i.
4
Suppose -2*o = y - 191, -179 = y - 2*y + 2*o. Let r = y + -110. Suppose -2*a + r = a. Solve -2*w - l - 3 = -2*l, -a = 5*l for w.
-4
Suppose -69 + 101 = 4*h. Solve 3*a - 2*v + h + 5 = 0, 2*a - 23 = -5*v for a.
-1
Suppose 4*b + 8 = 8*b. Solve -2 = -2*h - 0, b*d = -4*h - 6 for d.
-5
Let o(d) = d - 6. Let b be o(5). Let m be (5 - 3/(-3)) + b. Solve 0 = 4*k + 4*l - 20, -4*k + m = l - 3 for k.
1
Let u be (-1 + 56/6)*3. Solve -2*q = -4*t - 12, 0 = 2*q + 5*t + 58 - u for q.
-4
Let o be (1 + -3)/(2/(-4)). Suppose o*s = -4 + 16. Solve l + s*y = 4*y - 7, l + 2*y - 8 = 0 for l.
-2
Let n = 6 + -2. Let j be (-1 + 1)/(4/n). Suppose 0 = v - j - 3. Solve -5*d = -v*p + 30, 2*p - d + 2*d = 7 for p.
5
Let s be (2/(-12)*2)/(1/(-78)). Solve 5*q + 4 = -3*o - s, 0 = q - o - 2 for q.
-3
Let z(w) be the first derivative of -w**3/3 + 11*w**2/2 - 3*w - 3. Let d be z(9). Suppose 2*t + 5 = d. Solve 2*f = 5*o - 0*o - 10, -o + 29 = t*f for f.
5
Suppose -2*t + 0*t - 8 = 0. Let j = -1 - t. Solve -4*x - 3*o + 0*o = -j, -5*x + 4*o + 27 = 0 for x.
3
Let s(z) = -z**3 - 9*z**2 - 7*z + 8. Let b be s(-8). Solve b = 2*t + 2*a - 18, -3*a + 0 + 15 = 0 for t.
4
Let s(z) = z**2 - 6*z - 11. Let q be s(8). Solve -2*w + 4*d = -6, 0 = -4*w + q*d + 1 + 2 for w.
-3
Let n be (8/2 + -2)*2. Suppose -n*k + 10 = 2*b + 2, 5*k - 13 = -4*b. Let y be (20/6)/(8/(-60)*-5). Solve -21 = y*a - z, 2*z + b*z + 8 = -3*a for a.
-4
Let t(y) = y**2 + 6*y. Let u = 0 + -6. Let m be t(u). Suppose -5*l - 2*g = -19, 2*l - g - 3 = 1. Solve -4*w + v = 4, -l*w - 3*v + m = 3 for w.
-1
Suppose 3*f - 5*f = -4. Let c be 1*(-34)/(-4)*2. Suppose 3*u - 30 = -5*r, -2*r + 5*u - c = f. Solve -4*x - 8 = -g, -x + r*g = 3*x for x.
-3
Let j(b) = -b + 5. Suppose 5*q = 5, 3*q = -2*c - c + 3. Let u be j(c). Solve 0 = -0*i - 5*i + u*a + 20, -i - a = -6 for i.
5
Let p = -2 + 5. Suppose 0*y = -p*y + 33. Solve -4*q + 2*q = 5*v + 30, 4*v - q = -y for v.
-4
Let l = 34 - 34. Solve 3*o + 1 = -v - l*v, 0 = -3*v + 3*o - 15 for v.
-4
Let y = -9 + 15. Suppose 5*g - 6 = 2*w - 4*w, -4*w = -2*g + 12. Solve -3*c - 4*b - b = -28, -g*b = -4*c - y for c.
1
Let n = 26 + -32. Let b be (-2)/n - 77/(-21). Solve -5*t + 35 = -5*d, -2 = -0*d - b*d - 2*t for d.
-2
Suppose 0 = 4*z - 7*z. Let u(w) = 4*w**3 + 2*w**2 - 1. Suppose 2 = 2*s - 0*s. Let y be u(s). Solve -15 = -i + 2*p, -5*i + y*p - 2*p + 40 = z for i.
5
Let w be (4/(-2 - -4))/1. Suppose 3*c - 3*k = 27, -w*k = -4*c + 3*c + 11. Let s be (6 - 9) + 1*(-2 + 10). Solve s*i - c = 3*q - 36, 4*q = 3*i + 24 for q.
3
Suppose 0 = -2*u + 5*y - 3 - 28, -5*y = -u - 28. Let r = 1 - u. Solve -4*t + h + r*h = 9, -t - 1 = -h for t.
4
Let o = 51 + -51. Solve -3*x - t = 4, o*x - t + 14 = -3*x for x.
-3
Let l = 3 + 0. Solve -3*z + 3 = -l*q + 9, z = 2*q + 1 for z.
-5
Let b be 2*1 + -6 + 6. Solve 7 = -b*l + 5*x, l = 3*l + 5*x - 3 for l.
-1
Let q be 5/(-10) - (-6)/4. Solve -3*m - p + 2 = 0, -m - 3 = -2*p + q for m.
0
Let k = 37 - 35. Solve -3*z = 2*i - 20 + 1, 2*z - 6 = k*i for i.
2
Let x(o) = -3*o - 3. Let r be x(-6). Suppose s = 2*s - r. Solve 5*d + 3 = -3*m, -3*d - 4 + s = 5*m for d.
-3
Let f(q) = -q**2 + 6*q - 1. Let k be f(6). Let x be (3*(-2 + 1))/k. Solve 2*v + x = -v, -v = -z + 4 for z.
3
Let d be 20/(-50) + 46/(-10). Let z = d + 10. Solve -3*y - z = -0*y + 2*f, -2*y = 3*f for y.
-3
Let b(u) = u**3 + 4*u**2 + 3*u + 13. Let f be b(-4). Solve 0 = 4*i - 3*i + o - f, 3*o - 13 = 2*i for i.
-2
Let q(a) = a**3 + 3. Let w be q(0). Solve -4 = -w*i + m + 2, -4*m + 2 = i for i.
2
Let n(g) be the first derivative of -g**2 + 5*g + 2. Let t be n(5). Let u = t - -7. Solve 0 = -l - u*l + 3*y - 12, -l + 4*y = 10 for l.
-2
Let b be 3 + -1 + -3 + (6 - -1). Solve -2*a + j + 9 = 0, 3*j = -4*a + b + 7 for a.
4
Suppose -5*o - 14 = -k - 2*o, -2*o = 6. Solve 5*t - 2*u = t + 14, 0 = k*u - 15 for t.
5
Suppose 0 = 2*k + k - 12. Let m = k - 0. Suppose j = -0*j + m, -v + 5*j - 16 = 0. So