z + o, 0 = 3*z + o + 6 for z.
-3
Let o(w) be the second derivative of 0 - 4*w + w**2 + 1/6*w**3. Let g be o(0). Solve 4*s = -4*x - 24, -2*s = g*x - 3*x + 3 for x.
-3
Let c = 7 + -4. Suppose 4*y = c*b + 33 + 67, y - 3*b = 16. Let t be 4/14 + 132/y. Solve -10 = 4*k + 5*z + 17, 4*z = t*k + 3 for k.
-3
Let k be (1 + 2)/(-26 + 14 + 13). Solve -i - 3 = v, 0*v + 5 = k*v - 4*i for v.
-1
Let d = 1204 + -1185. Solve -3*f - 5*s = d, -s = f - 6*s - 7 for f.
-3
Suppose -26 + 8 = 3*v. Suppose 0 = -4*w + 10*w + 12. Let j be (25/15)/(w/v). Solve -5*u - j*o + 0 - 20 = 0, 3*o = -15 for u.
1
Suppose 3*y = -5*f - y - 12, 4*y = -3*f - 12. Suppose 3*n = -2*k - 6, f = n + 3*n + 2*k + 6. Suppose n = -q + 2. Solve q*l = 2*a + 5*l + 1, 5*a = l + 23 for a.
4
Let q = 3 + -4. Let p(l) be the first derivative of -5*l**4/4 - 2*l**3/3 - l**2/2 + 6. Let u be p(q). Solve -3*g + 15 = -2*t, u*g + 7 = t + 27 for t.
0
Let l = -3 + 9. Suppose -s = -l*s. Solve 5 = f - 2*k, 20 = f - s*k - 5*k for f.
-5
Let c = 15 - 11. Suppose -2*a - 9 = a, -c*a + 34 = 2*m. Let t = -9 + 9. Solve -2*b + m = 5*z - 6*b, 3*z + 5*b + 1 = t for z.
3
Let z = 10 - -28. Suppose -8*w + z = -2. Solve 6 = 5*p - 3*c, w*p - 30 = -4*c - c for p.
3
Let o be 12 + 2 + (-2 - -1). Let u = 23 + -47. Let f = u + 26. Solve 2*n + n - 4*l = 1, -3*n = f*l - o for n.
3
Let k(t) = -9*t + 5. Let b be k(-8). Let u = -75 + b. Solve -2*y - y = -u*g, y + g + 5 = 0 for y.
-2
Suppose 0 = 2*q - 2*g - 4 + 6, -5*q = g - 19. Suppose o = q - 11. Let k be (-26)/o - (-6)/(-24). Solve -3 + 13 = 2*l + 2*f, k*l = 5*f - 9 for l.
2
Suppose 2*i + 87 - 15 = 0. Let d = 39 + i. Solve -b - 2*b = d, 0 = -3*v - 2*b - 5 for v.
-1
Let y be (-2478)/(-140) - 3/(-10). Solve -2*g - 5*o = y, -3*g = -0*g + 4*o + 13 for g.
1
Let p be (12/2)/(6/72). Suppose -b = -9*b + p. Solve -5*s = -5*y - 30, -y + s = -s + b for y.
-3
Let t be 2/10 + 52/65. Let u be (15/9)/(t/3). Solve -4*v - 12 = l + l, 0 = -4*l + u*v + 28 for l.
2
Suppose 4*m - 2*f = 16, -4*m + 22 = 3*f - 8*f. Suppose -3*o - m = -3*t + 12, 4*t - 11 = -5*o. Solve 2*i + 7 = n, -t*i + 2*n - 23 = 3*n for i.
-5
Suppose -15*f - 432 = -7*f. Let x = f + 59. Solve 9 = q - 3*w + 26, 4*q - x*w = -40 for q.
-5
Let c(v) = v**2 - 20*v + 21. Let u be c(19). Let q = 9 + -6. Solve 0*b = -u*h - q*b + 3, -19 = -5*h + 4*b for h.
3
Let y = 93 + -82. Let q = y - 1. Solve 3*g + 10 + 4 = -p, -5*p - q = -5*g for p.
-5
Let y(h) = 2*h - 16. Let r be y(-5). Let o = 28 + r. Solve 4*n = -3*l - 2, 0*n + 2*n - o*l - 6 = 0 for n.
1
Let a(b) be the third derivative of b**5/60 - b**4/3 + b**3/2 - 18*b**2. Let w = -6 - -14. Let l be a(w). Solve l*c - 2*n - 16 = -6, -4*c = -2*n - 14 for c.
4
Let z(k) = 2*k + 14. Let h be z(-6). Suppose 3*i + 1 = a - 1, 0 = h*a - 2*i - 4. Solve -3*l = 5*q - a*l + 17, 0 = -q + 5*l - 19 for q.
-4
Let d(x) = -x**3 + 6*x**2 + 3. Let c be d(6). Suppose 8*m - 20 = c*m. Suppose j - z = z + 12, -4*j + 2*z + 24 = 0. Solve j*w = w - 12, s + w + m = 0 for s.
0
Suppose 2*t + 2*t = 5*x - 164, t = -2*x + 63. Suppose 0 = -23*c + 21*c + 4. Solve -4*z - c*k = 22, -4*z - 5*k - x = -k for z.
-3
Let q = 16 - 2. Suppose 0 = 2*b + 2*c - 4, 0*b + 3*c + 14 = b. Suppose i = -b*t + 6*i + 120, 4*t - 2*i - 92 = 0. Solve -v + 0*v + q = 4*x, 3*x - t = 5*v for v.
-2
Suppose -3 = -l + 4. Let t = -15 + l. Let y be (4 - 2)/(t/(-12)). Solve c - 6 = -y*f - 10, 3*f + 20 = -5*c for f.
0
Let c = -513 - -515. Solve -p + 4 = z - 0, -c*p - 5*z = -5 for p.
5
Let r = 515 - 507. Solve -3*k = -v + 2*v - r, -k - 14 = -3*v for k.
1
Suppose 0 = -8*d + 461 - 389. Solve -2*i + 10*q + 9 = d*q, -6 = i + 3*q for i.
3
Let l = -879 + 884. Solve l*y - 3*w = -21, -w + 1 = -y - 4 for y.
-3
Suppose 35 - 38 = -j. Let f = 14 + -8. Suppose -3*k + f*k = 9. Solve 0 = 5*o - h, -19 - j = k*o - 5*h for o.
1
Suppose 4003 = 2*d + 3999. Solve 0 = 4*i + o + 13, 7*o - 3*o - 4 = -d*i for i.
-4
Suppose 11*z + 26 = -117. Let u(k) = 10*k + 1. Let q be u(-2). Let n = z - q. Solve v = 0, -3*a + v = n*v + 12 for a.
-4
Suppose 0 = -69*y + 83*y - 70. Solve 15 = 5*c - 2*r, -6*r + 15 = -y*c - 10*r for c.
1
Suppose 0 = -2*p - 3*v - 19, 0 = -3*p + 2*v + 3*v. Let k = -29 + 37. Let r = k + p. Solve -2*h = -6*h + 5*d - 13, -r*d + 3 = -4*h for h.
3
Let w(q) = -5*q - 8. Let n be w(-13). Let a = n + -56. Solve 0 = 3*k + 3*f - 3, k + 3*f = -a + 4 for k.
0
Let q(j) = -j**3 - 10*j**2 - 10*j + 20. Let p be q(-9). Let o = -21 + p. Solve -2*r = o, -3*r = -2*y + 9 + 9 for y.
3
Suppose -512 = 29*l - 628. Let q = -23 - -48. Solve g = -5*t + 25, -l*t - 2*g + q = t for t.
5
Suppose 64 = -2*s + 3*l - 61, 5*s + l = -287. Let o = 62 + s. Solve -o*v = 4, -4*y - v - 2 = -3*v for y.
-1
Suppose 3*l + 11 = 23. Suppose -18 + 18 = l*m. Solve b + 4*h = 2*b - 7, m = -3*b - 3*h - 24 for b.
-5
Let s = -5 - -7. Let a = s - -2. Solve -a = r, 3*r = -5*o + 2*r - 4 for o.
0
Let i = 71 - 65. Let k(c) = -c**2 + 6*c + 6. Let y be k(i). Solve -7*r + 4*r + 2*u + y = 0, 4*u + 8 = 5*r for r.
4
Let b(n) = n**2 - 11*n + 16. Let l be b(7). Suppose -4*z - 3*y = -2*y - 109, -5*y - 27 = -2*z. Let j = l + z. Solve k + 2*t + t - j = 0, 3*t - 34 = -5*k for k.
5
Let t = 143 + -139. Solve -4*i + 5*i + t*s = -18, 3*s + 13 = -i for i.
2
Let r be (-2 - -2)*(-3)/6. Suppose 2*o - 11 + 7 = r. Solve -5 = 5*g - 5*n, 3*g + o*n = n + 5 for g.
1
Let f = 1162 - 1159. Solve -3*y = 2*b - 18, -y + b = 2 - f for y.
4
Let c(w) = -w**3 - 14*w**2 - 32*w + 24. Let u be c(-11). Solve 2*s - u = -5*y, 4*y + 2*s - 13 = 3*s for y.
3
Let g be 1*(-1)/1*1. Let w = 3 - g. Suppose i - w = 3. Solve o + 4*m - 13 = 0, -6*o + 4*m - i = -o for o.
1
Let a(k) = 2*k**2 + 14*k - 55. Let y be a(14). Let r be (-2)/(-14) + y/91. Solve -2*s = 3*l - 0*l - 4, r = 2*s + 4*l for s.
-1
Let n be 226/(-2) - (-5 + 5). Let p = n - -167. Suppose 4*w - p + 22 = 0. Solve 2 = -2*b, -3*s = -6*s + b - w for s.
-3
Suppose c - 197 = -4*y, -4*c + 380 = 4*y - 372. Suppose -7*x + 4 = -c. Solve -3*r = -3*q + x, 0*r + 40 = -4*r + 5*q for r.
-5
Suppose 30 = 26*o - 48. Suppose r + 2*r = 90. Solve -2*x = -8, 2*i - o*x = 2*x - r for i.
-5
Suppose -52 = -4*d + 68. Suppose 3*f - d = -2*f. Let b be (f/(-2))/((-9)/6). Solve -5*u - 4*g - 13 = -g, 1 = b*u - 5*g for u.
-2
Suppose 0 = 8*p + 224 + 448. Let t be (p/(-10))/((-34)/(-85)). Solve -5*y + 0*y + t = i, -4*y + 2*i = -14 for y.
4
Suppose 4*j - 96 = r, 2*j - 5*r - 54 = -6*r. Suppose -3*d + 94 = -4*c + 19, 4*c = -2*d - 90. Let m = j + c. Solve -7*h + 3*h - 14 = -3*t, 0 = -m*h - 20 for t.
-2
Suppose 0 = i + p - 7, -p + 11 = 3*i - 3*p. Solve 0 = 5*r + 4*g + 11, -3*g + i*g = -2*r - 4 for r.
-3
Suppose -j = -5*j + 44. Let w = -9 - -15. Let o be (w/9)/(2/21). Solve -3*f - 17 = -5*i, 5*i - 3*f = -o*f - j for i.
1
Let w(n) = 11*n - 196. Let z be w(18). Solve -3*y + 10 = -2*d, -2*d = -y + 2*y + z for d.
-2
Suppose -60 = -h + 6*h. Let d be (h + 12)/(1*-2). Solve -3*y + 4*y = k - 3, d = -5*y + 2*k - 18 for y.
-4
Let o be (-252)/(-1134) - 68/(-18). Suppose 0 = v + 5, -b + 3*v = 4*b - 130. Solve -x - b = w + o*x, -w - 18 = 4*x for w.
2
Suppose 8*b - 2*y = 11*b + 2, -4*b - 4 = 4*y. Let u be 1 - (-4 + 2) - (-2 - b). Solve -u*v - 4 = -0*t - 2*t, v = 5*t - 10 for t.
2
Let r be (8/(-10))/(2/(-15)). Suppose -3 + r = -m - 5*y, -2*m + 4*y + 22 = 0. Let k = -7 - -10. Solve 3*b + 10 = -2*l, -k*l + 3*b - m*b = 13 for l.
1
Suppose -2*n - 3*n = -3*v + 40, -5*v = 3*n + 58. Let l = n - -11. Suppose r + r + 5*z + 17 = l, -z = 2*r - 3. Solve m + 2*m - 1 = j, -r*m = -5*j - 16 for m.
-1
Let g(h) = 3*h - 3. Suppose -30 = -5*s + 3*s. Let d = 18 - s. Let u be g(d). Solve -q + u = z, -2 = 5*q - 3*z - 0 for q.
2
Let b(f) = f**2 + 8*f - 17. Let r be b(-10). Let u be 1/(9/(-5) + 2). Solve 4*m - o = -r*o + 8, u*m - 4 = -4*o for m.
4
Let c be -6*((-15)/(-6) + -3). Solve 0 = -c*w + w + 4*p, 0 = -w - 3*p + 10 for w.
4
Let l = -593 - -596. Solve 0 = 4*w - l*t + 24, -5*w + 5*t - 29 = 6 for w.
-3
Suppose 5*v - 10 = -3*x, -3*x + x = -3*v + 6. Suppose 4*q - 30 = v. Solve -4*g - 6 = -2*f, 3*f + g = q*f + 12 for f.
-3
Suppose 5*j + 2*g = -2*g + 35, 2*j + 14 = 4*g. Solve j*m - 5*x = -18, 4*x = 4 + 8 for m.
-1
Let u = 14 - 6. Let t = 15 + 50. Suppose 0 = 5*w + 2*x - 77, -t = -2*w - 2*w - 5*x. Solve -4*y + y = 4*a - w, -2*y - 2*a = -u for y.
1
Let a be 3/9*(4 + 29). Let d = 15 - a. Let c be (-6)/15 + d/10. Solve c*y 