 = d - 6*d + m + 15 for d.
4
Suppose -3*b + 5*y = -36, -3*b + y + 43 = -5. Let r = b - 12. Let h = -49 - -49. Solve 2*o + l + 2 = -3*l, r*o + 2*l + 13 = h for o.
-3
Let z = -17 + 8. Let d be ((-63)/36)/(2/16). Let j = z - d. Solve -3*v = -j*o + 1 - 0, -3*v = o - 11 for o.
2
Suppose -f = 3*f - 60. Let l = -17 - -20. Suppose 2*p + 5 - l = -n, 4*n - 5*p - 5 = 0. Solve -2*b + 4*z + f = -3*b, z + 5 = n for b.
5
Let c = -28 - -31. Suppose c*s + 0*p + p + 4 = 0, 2*p = 2*s - 8. Solve -5*b + k + 22 = -0*k, -5*b - 3*k + 14 = s for b.
4
Suppose -4*o - 72 = a, -78 - 170 = 4*a - 4*o. Let x be 1 + 1/((-4)/a). Let k = -6 + x. Solve 2*r = -r - 4*j + k, 5*j - 40 = 5*r for r.
-3
Let w be -3*(-3)/(-2)*40/(-30). Suppose w*t = 15 - 3. Solve -2*y + 8 = -3*v, 0 = -5*y + t*y - 5*v + 12 for y.
4
Let t be 10 + 336/(-33) + 2/11. Solve t*a - 2*a + 26 = 4*c, -a + 18 = 3*c for a.
3
Suppose -21*g = -57 - 69. Solve -5 = 4*p - 2*v + 15, -g = -p - 5*v for p.
-4
Let z = 1512 - 1508. Solve z*u - 5*a + 17 = u, -2*u = -a + 2 for u.
1
Suppose -16*d - 5*x = -15*d + 1, -4*d + 5*x + 96 = 0. Solve -2*c - k - 5 - 5 = 0, -k - d = 5*c for c.
-3
Suppose 40*a - 39*a = 2. Solve -y - 3 = -3*w, 5*w - 2*y = 2 + a for w.
2
Let a be 0*((-15)/(-25))/((-3)/(-5)). Solve 0 = 3*k + 5*w - 16, a = 4*k - 5*k - 5*w + 12 for k.
2
Let d = -20 - -29. Let v = -7 + d. Suppose 5*u = 3*r + 32, r = -6 + v. Solve u*j + 5*p + 11 + 0 = 0, 2*j + 13 = -5*p for j.
1
Let a be (-2)/(-3 - ((-1)/2 + -2)). Suppose q + 4*d - 8 = 0, d + 3*d - 8 = 4*q. Solve q*n + 2*w - a = -n, -4*w + 12 = 0 for n.
-2
Let z = 1365 - 1364. Solve -4*w + j = 13, 4*j - z = -5*w + 9 for w.
-2
Let s(z) be the first derivative of -z**4/4 + 2*z**3 + z**2/2 + 3*z - 10. Let f be s(6). Solve 0 = -4*q - 2*r + 12, -3*q + f = -r - 2*r for q.
3
Let i(y) = y**3 - 53*y**2 + 48*y + 208. Let z be i(52). Solve -4*a + 4*h + 0*h - 8 = z, -3*a - 5*h = -10 for a.
0
Let c = 261 + -257. Solve -4*y = -u + c, -5*u + 20 = -2*y - 2*y for u.
4
Suppose b - 2 = 4. Let q(g) = -61*g - 242. Let u be q(-4). Solve -s + 2*k - k + b = 0, -u = k for s.
4
Let v be -1*28/(-35)*10/(-4). Let w be (5 - 5) + 6 + v. Solve 5*o + 2 = w*s - 8, -5*o + 3*s = 10 for o.
-2
Let w(v) be the third derivative of v**5/60 - 11*v**3/6 + 3*v**2. Let n be w(5). Suppose 3*k = 35 - n. Solve 0*g + 14 = -2*r + 4*g, 5*r + 4*g = k for r.
-1
Let v be (-14)/(6 + 57/(-6)). Suppose -6 = -c - 3. Solve -v*i = -2*n, -c*i + 2 = -i for n.
2
Let h be ((-4)/(-3))/((-54)/(-81)). Solve h*u - 5 = 5*c, 4*c = c - 3*u - 24 for c.
-3
Let d = 49 - 46. Solve -2*w - d*q = 2*w - 4, -12 = 3*q for w.
4
Let x = 859 - 848. Solve 0 = -4*h - 5*n + x, -5*h - 2*n = -5*n + 14 for h.
-1
Suppose -2*j + 12 + 10 = 0. Suppose -2 = 9*y - j*y. Solve -5*d + 15 = -5*h, 7*d + y = -3*h + 2*d for h.
-2
Let p = 21 + -22. Let q be 6*p/(-1) + -2. Solve -4*h = q*d + 32, -5*h - 23 + 10 = -4*d for d.
-3
Let w(v) be the first derivative of -v**4 + v**3/3 - v**2 - 2*v + 34. Let a be w(-1). Solve 4*f + 0*f + 5*m = 16, 0 = f - a*m + 21 for f.
-1
Let l(i) = -12*i + 101. Let b be l(8). Solve 5*j = 5*z - 35, 4*j = 2*z - b*z - 7 for j.
-4
Let a be (-2)/(5/2 - 3). Let y(k) be the second derivative of -5*k**3/6 - 7*k**2/2 - 3*k. Let d be y(-2). Solve a*v = -f, 3*f + 5 = -4*v - d for f.
-4
Let q = 100 - 96. Solve -4 = -p - 5*w, 3*p - w + 8 = q*w for p.
-1
Let f = 20 + -2. Suppose 52 = 2*z - 4*p, 4*z - 98 = p + 4*p. Let w = z - f. Solve 0 = -8*m + 3*m - 4*v + 12, w*m - 4*v - 24 = 0 for m.
4
Suppose -l - 4 = -z - 0*l, 4*z + l + 4 = 0. Let q be 1 + (1 - (z - 16)). Let f be 76/q - 10/45. Solve 4*u - 16 = 4*s, 4*u + 5*s + 9 = f*s for u.
-1
Let w(a) = 3*a + 2 - 1 + 7. Let o be w(6). Solve 2*n + 2*n = -2*h - 20, 2*n + 5*h = -o for n.
-3
Let b be (6/4)/(12/32). Suppose -5*d - 3*w = -6 - b, 0 = -5*w. Suppose 4*y - 75 = -y. Solve k - y = -5*n, k = 4*k + d*n - 6 for k.
0
Let s(p) = -p**2 - 7*p - 5. Suppose 3*y + n = -17, 0 = y + 2*n - 0*n + 9. Let v be s(y). Solve -v*a - r = 3, 0*a = a + r + 3 for a.
0
Suppose 21*a = 55*a - 68. Solve -5*c - 2 = 2*q, 2*q = -a*c - c + 2 for q.
4
Let b(k) = -4*k**3 + 3*k**2 + 0*k**2 - k**2 + 2*k**3 + 2. Let u be b(2). Let w = u + 10. Solve 5*o = 3*i - 7, i = w - 0 for o.
1
Suppose 4*r = 2*r - 2*g + 16, g - 4 = 0. Let a = 13 - -1. Let m be a/6 + (-3)/9. Solve -2 = m*h - r*y - 0*y, 5*h + 17 = -2*y for h.
-3
Let q = 530 + -517. Solve 13 = 3*i + x, -i - 5*x + q = i for i.
4
Suppose 3*d - 54 = -0*d. Let r = 23 - d. Suppose 0 = v + 3*y - 0*y + 7, -v = r*y + 17. Solve -3*t = -4*s - t - 6, 5*s - 3*t = -v for s.
-1
Let p(m) = m**3 + 2*m**2 + 1. Suppose 0 = -7*n + 2*n - 15. Let s be p(n). Let v = 6 - s. Solve l + 4*y - v = -0*l, -4*l - 4*y + 8 = 0 for l.
-2
Let r be 4/7*(-133)/(-38). Solve 5*m - r*m + 4*k + 15 = 0, m + 7 = -2*k for m.
-1
Let b(h) = 5*h + 119. Let p be b(-22). Solve l - p = -2*w, -l + 0 = -1 for w.
4
Suppose 3*v = 2*c + 11 - 10, 3 = v. Solve -2*o - 7 = -s, 0*s = 4*o + c*s + 8 for o.
-3
Let a(z) = 2*z - 23. Let s(g) = -g**2 - 12*g - 14. Let o be s(-9). Let y be a(o). Solve -2*l + 4*l - 14 = -4*r, 2*l - y*r = -7 for l.
1
Let a(w) = -3*w + 1. Let y be a(-1). Let l = 7 - 22. Let f be y/20 - 57/l. Solve -g - f*d - 8 = 0, 3*g - 2*d + 3 = 7 for g.
0
Let g(s) = -5*s + 11. Let z be g(0). Suppose 6 = -z*b + 13*b. Solve n - 4*n = -b, 0 = 2*r - 5*n - 3 for r.
4
Suppose 6 = 4*o + j - 28, 39 = 5*o + 3*j. Let k be (-26)/4 + 4/(-8). Let a = o + k. Solve -a*c + 2*i + 2 = 0, -5*c + 3*i + 1 = -0*i for c.
-1
Let p = -795 + 797. Solve 0 = -4*s + 12, -k + p*k - s = 0 for k.
3
Let q(a) = -a**2 - 2 - 4 - 1 + 7*a. Let k be q(5). Suppose -k*s + m = 5*m - 26, 5*s - 35 = -5*m. Solve s*d + 5 = 5*i, -3*i + 6*i - 3 = 2*d for d.
0
Let y be 1 + -1 + (-6)/(-2) + 3. Solve 2*k - y = -3*m - 3*k, 4*m - 8 = -3*k for m.
2
Let k be (-378)/(-70) + 18 + (-6)/(-10). Let p be 0/(1 + -4 - -2). Suppose 2*l - 4 - 6 = p. Solve -2*r = -l*j + 31, 3*j - k = r + 2*r for r.
-3
Suppose 2*j + 5*q - 4 = 2, -4*j - 3*q + 12 = 0. Solve 3*f - 3 = j*s, -4*f = -2*s - 0*s - 4 for s.
0
Let w = 56 - 56. Suppose 2 = -f + 2*b + 7, -2*f + b + 7 = w. Solve -7 = -f*r - 4*n + 2, -3*r = n for r.
-1
Suppose p + 9 = -2*p. Let t be 168/20 + p/(-5). Suppose -6 = -4*u - 2*n, 5*n + t = 3*u - 7*u. Solve k + u*a = -14, -4*k - 1 = -a + 4 for k.
-2
Suppose 4*k = 2*a + 7 - 1, 0 = 5*a + 15. Solve h = 3*q - 0*q + 16, k = 5*q - 4*h + 36 for q.
-4
Let u = 147 - 146. Suppose w = 3*w + 54. Let m be ((-9)/w)/((-1)/(-15)). Solve -m*r - 5*p - u = -r, -5*p - 7 = -2*r for r.
1
Let d be (-1)/(100/(-48) + 2). Let n be ((-32)/12)/((-8)/d). Suppose 5*c - n*x = -1, -c - 2*c + 5*x = 11. Solve -5*j + 5*y = 4*y + 13, c*y + 6 = 0 for j.
-3
Let b = -18 + 12. Suppose -1 = -p + s, p + 20 = -4*s + 6. Let f be ((-20)/(-12))/(p/b). Solve f*t - 2*q = -4*q - 8, -t = -5*q - 20 for t.
0
Let t(d) = d - 1. Let b be t(13). Let p be (-3)/(-6) + 126/b. Solve 4*n - p = -v, -5*v = -4*n + n + 37 for v.
-5
Suppose 0 = 2*h + 4*h - 18. Suppose h = 7*u - 25. Suppose -2*d + 10 + 0 = 0. Solve d*r + u*w = r - 8, -3*r + 15 = -4*w for r.
1
Suppose 3*y = 17*y - 28. Solve 4*i - 30 = y*p, -2*p - i - 4*i = -15 for p.
-5
Let o(i) = -i**2 - 19*i - 16. Let c = 1 + -19. Let d be o(c). Solve -3*u + d*n = -n - 18, -u + 21 = -4*n for u.
1
Let s(c) = c**3 + 8*c**2 + 6*c - 7. Suppose -5*w + w + f = 27, -2*w = 3*f + 17. Let y be s(w). Solve y*j = -3*j - 3*p, 5*j - 4*p - 27 = 0 for j.
3
Let a = -2367 + 2381. Solve -5*n - a = -w - 2*w, -2*n - 14 = 3*w for n.
-4
Suppose 25 - 5 = 5*j. Solve 7*u - 4*u = -k + 5, -5*k = j*u + 8 for k.
-4
Let u be (-6)/24 + (-1)/(-4) - -21. Suppose 0 = 3*x - 48. Let i = u - x. Solve 3*t = -8 - 7, -3*a = -i*t - 31 for a.
2
Suppose -29*l = -9*l. Solve l = -4*j - j + 4*u + 21, -5 = -j + u for j.
1
Let n = -3 - -9. Let v(x) be the first derivative of -x**3/3 + 7*x**2/2 - 4*x - 2. Let r be v(n). Solve -4*s = -5*h + s - 45, 3*h + r*s + 7 = 0 for h.
-5
Suppose -3*j = l - 33, 3*l - 4*j + 3*j = 129. Let u = l + -41. Solve -3*r - 19 = -4*z, -2*z = r - u + 4 for z.
1
Let l(p) = -p**2 + p + 2. Let d be l(0). Suppose 5*a - d*a + 72 = 0. Let c = a - -27. Solve -2*m + 6 = -t, -m = 4*t - c*t for m.
2
Let z = -2070 + 2081. Solve -4*u = -12, -3*d = d + 5*u - z for d.
-1
Let m be (4 + 0 - 3 - 7) + 2. Let a be (1 - m) + (44 - 21). Solve -3*f = 5*u + 10, 3*f - a - 12 = 5*u for 