 15 for d.
0
Let h(i) = -4*i - 22. Let t be h(-6). Suppose 12 = x - 2*l - 2*l, 3*x = -t*l - 6. Solve 0 = -4*w - 4*u + 8, x*w = 2*w - 3*u - 14 for w.
4
Suppose -25 = 5*q, -3*q = 4*j - 0*q + 3. Suppose 3*n = -0*w + 3*w - 15, -7 = -w + j*n. Solve 5*y + 29 = 2*v - 6*v, -w*y - 23 = 3*v for y.
-5
Let x = -8 - -22. Suppose 12*k - 8 = x*k. Let w be k/(-6) + (-39)/(-9). Solve 0 = -4*n + 3*p + 24, -w*p = -3*n + 29 for n.
3
Let y be (-1)/(-5)*-4*(-190)/76. Solve 9 = -2*o + 3, 19 = y*c - 5*o for c.
2
Let w = -244 - -246. Suppose -z + g = -18, 5*z - 3*z = -g + 36. Let r be (z/1)/(-3 + 5). Solve 4*n = -3*s + 10, -w*n - r = -n - 5*s for n.
1
Let r = 21 - 19. Let c(j) = -2*j + 3*j + j**2 + r - 6 + 2. Let u be c(-3). Solve -y - 3*p = 7, -4*p + 2 = -u*y + 38 for y.
5
Let v = -226 - -226. Solve v = 2*a - 5*m + 31, -a = 3*m + 2*m - 22 for a.
-3
Suppose -3*k = 3*m - 18, 3*k + 11 = 17. Solve -3*b - d = 10, -m*d + 14 = -4*b - 5*d for b.
-4
Let f(v) = -6*v - 29. Let k be f(-6). Let r(y) = y**2 - 9*y + 12. Let m be r(8). Solve -b = k*j - 2*j - 3, 0 = -m*j - b + 3 for j.
0
Let a = -1929 - -1940. Suppose 3*b - 4*m = -6, 4*m = -4*b + 3*m + 11. Suppose 0 = -b*f + 4 - 0. Solve 4*n - 7 + 35 = -4*z, 0 = 3*n - f*z + a for n.
-5
Let d(b) = b**2 + 14*b - 10. Let u be d(-15). Suppose u*w - 10 = 3*w. Solve 3 = 3*p - j + 8, -w*j = -5*p - 15 for p.
-1
Let z(f) = 0*f**3 + 31*f - f**3 - 32*f + 8 + 6*f**2. Let l be z(6). Solve -5*w - 19 = -i, -5*i = -5*w - l*i - 17 for w.
-4
Let m be -1*(-5 + (4 - -1)). Let h be (20/(-12))/(m - 2/6). Solve 0 = -3*f + 3*s, -f - 11 = -h*s + 9 for f.
5
Suppose -4*d = i + 3*i - 36, 3*i - 5*d = -5. Suppose a - i = -0*a. Solve -r + 1 = 5*q, 2*r + 3 - a = -4*q for q.
0
Suppose 2*l - 2 = -m - 0*l, -2*m + 5*l = -13. Let f = 7 - m. Suppose -5*w - 2*z + 28 = 0, f*w - 5*z = -3*z + 4. Solve -w*a + 5*d = 25, d = 5*a + 5*d - 20 for a.
0
Let v(n) be the first derivative of n**4/4 - 14*n**3/3 - 2*n + 4. Let b be v(14). Let s be 3 - (b + (2 - 1)). Solve 4*c + 20 = 2*c - s*l, l = -c - 6 for c.
-2
Let v(p) = p**2 + 10*p - 22. Let o be v(-11). Let q = o - -15. Suppose 0 = -4*d - d + 2*t + 29, 2*t + 9 = d. Solve -12 = -d*u + 3, -q*m + 4*u - 32 = 0 for m.
-5
Suppose -1 = 3*p + 5. Let r be (-2 - (-1 + p)) + 5. Suppose 3*d - 5*n = 44, -32 = 3*d - r*d + 2*n. Solve -d = o - 2*m, o + 2*m - 6 = 6 for o.
2
Let g = 19 + -18. Let q be g/4*(0 + (-2 - -22)). Solve 4*c = -q*r - 16, 3*c + 4*r + 3 = -10 for c.
1
Let a(n) = -2*n**2 - 65*n - 131. Let u be a(-30). Solve -3*x - 18 = -2*d - 2, 5*d + 3*x - u = 0 for d.
5
Suppose 0 = -11*p - 113 - 129. Let y = p + 22. Solve 2*w + 3*s = 0, y*w = -3*w - 5*s + 1 for w.
-3
Let b(z) = 2*z**2 + 1. Let x be (2 - 0) + (-1)/(-2)*-2. Let k be b(x). Solve 3*c = 3*g - g + 15, 3*c - 18 = k*g for g.
-3
Let k(c) = -7*c + 52. Let t be k(18). Let u = 76 + t. Solve 4*a + u*m - 28 = -0*m, -4*a = -3*m - 8 for a.
5
Let k(m) = m - 5. Suppose 5 = -8*f + 45. Let x be k(f). Solve -3*d = -4*l, -5*l - d + 19 = -x*d for l.
3
Suppose -16 = 3*g - 4*j, 2*j + 12 = 20. Solve 3*c + 2*r - 16 = 0, -5*c + 5*r = -g*r + 15 for c.
2
Let c(i) = 25*i**3 - 2*i + 1. Let n = -6 - -7. Let u be c(n). Let a be u/40 + 2/5. Solve a + 3 = r + v, 2 = r - v for r.
3
Let o(v) = v**3 - 2*v**2 + v + 15. Let f = -15 - -15. Let b be o(f). Solve -z + 5*z = x - 25, -5*z - b = 2*x for x.
5
Let t(w) = w**3 + 9*w**2 + 7*w + 9. Let k be t(-8). Let o = k + -16. Let z be (1 - 0)*2/o. Solve 0 = -3*f + 5*d + 10, 4*f - z*d - 23 = -f for f.
5
Let x = 61 - 70. Let g be (-7)/(-14) + x/(-2). Solve 2*f - 9 = 5*u + 12, g*u = f - 18 for u.
-3
Suppose 46*z - 102 = 12*z. Solve a + 22*j - 17*j - 10 = 0, -2*a + z*j - 6 = 0 for a.
0
Let d = -1409 + 1414. Solve -d*q = g - 3 + 19, -2 = 2*g for q.
-3
Let b(q) = 56*q + 16. Let y be b(6). Let g be 1824/y - (2/11 - 0). Solve -1 = g*z - 2*l + 7, 2*l + 12 = -5*z for z.
-2
Suppose -3*d + 42 = 3*t, -2*t - 5*d = -6*d - 13. Suppose -t*s + 6*s = -6. Solve s*r - b = 3, 0*r + b + 3 = -3*r for r.
0
Suppose -2*u - 54 + 58 = 4*j, 0 = -2*u - 5*j + 4. Solve l - u*l - 1 = -f, 5*f - 4*l = 0 for f.
-4
Let z = 0 - -2. Suppose 4*i + 3 = -3*j, 0 = 3*j - 5*j - i + 3. Solve 4*m - 32 = -0*t - 3*t, z*t - m - j = 0 for t.
4
Suppose -5*q = 123 - 948. Let m = -124 + q. Let v(d) = -d + 2. Let p be v(-3). Solve -5*w = -l - 3*l + m, -3*w = p*l - 5 for l.
4
Let c = -24 - -51. Let t = 31 - c. Let z(a) = a**3 - 5*a**2 + 6*a - 6. Let v be z(4). Solve 0*r = -5*x - 2*r - 12, t = v*x + 3*r for x.
-4
Let f = 44 - 61. Let v = f - -17. Solve 4*g + r + 20 = v, 4*g - 5*r - 12 = 2*g for g.
-4
Suppose -3*f = -2*f + z + 209, 2*f + 416 = -z. Let j be 6/(-24) - (-3 - f/(-12)). Solve 2*u + 8 = 4*g + 4*u, -u = -4*g + j for g.
4
Let d be -3 - ((5 - -4) + -4). Let y be d/36*-6*(1 + 2). Solve -4*s = y*i + 28, 0 = -i + 3*s + s + 8 for i.
-4
Let l(i) = i**2 - 3*i + 2. Let k be l(2). Let z = -66 + 54. Let n be (z/(-8))/((-15)/(-40)). Solve k = -s + o - 3 + 5, -6 = -5*s + n*o for s.
-2
Let p(a) = -a**2 + 13*a. Let z be p(11). Suppose x + 20 + 3 = 5*o, 4*o = 2*x + z. Solve 2*n = 4*w - 12, 10 = w + o*w for n.
-2
Suppose 0 = -4*a + 3*c + 25, 3*c + 2*c = -a + 35. Let n(p) = -4*p**2 + 61*p - 65. Let o be n(14). Solve -m - 4*s + 15 = 0, o*s + 1 = 2*m + a for m.
3
Let k(u) = -u**3 + 13*u**2 + u - 5. Let a be k(13). Suppose 0 = 7*y - 20 - a. Solve -n - 10 = n + y*t, 2*t + 3 = -3*n for n.
1
Let x(o) = -3*o**2 + 4*o**2 - 14*o - 4*o + 23 + 4*o. Let a be x(13). Solve -2*i + 5*i - 1 = 2*n, -5*i + 5*n + a = 0 for i.
-3
Let z be (7 - -2)/(27/(-18)). Let x = 6 + z. Solve 0 = -3*m - p - 12, 4*m - 4*p = -32 - x for m.
-5
Suppose -i + 15*p = 11*p - 22, 0 = 4*p + 20. Solve 6*g + 3*l + 1 = i*g, -g - 5*l = -4 for g.
-1
Let s(k) = 2*k + k + 2 - 4*k + 2. Let r be s(4). Suppose r = -g + 2*h + 10, 30 = g + 3*g - 3*h. Solve -3*d = 3*i + 3, 2*d - 6 = 2*i + g*d for i.
1
Suppose 13 - 3 = q. Let d = 8 + -4. Let u(j) = 7*j - 1. Let a be u(d). Solve 4*c - q = -2*f, a = 2*c - 2*f + 7 for c.
5
Let p(z) = -3*z - 46. Let f be p(-20). Suppose 0 = 5*d - 4*r - f, 3*d - d - 5 = r. Solve -4*c = b + 2*b + 16, -b = -d*c - 8 for c.
-4
Suppose -2*j = -5*j - 12. Let v be 2/(-8)*1 - 17/(-4). Let s be -4 + (7 - v/j). Solve -s*w = -4*q, -2*w + 2*q = -w - 4 for w.
-4
Let z(f) = f**3 - 7*f**2 + 19*f - 5. Let u be z(4). Suppose -u = -4*p - 15. Solve -2*q + q + c = 0, -p*c + 15 = -5*q for q.
-5
Let g be (-4 - (-1)/4)*(-8)/3. Solve 0 = 5*o - 3*v - 10, g = 3*o + 2*o - 4*v for o.
2
Suppose -c - 8*c + 34*c = 0. Solve d = 4*d, 3*q - d = c for q.
0
Let d be -4*27/(-36) - -1. Solve 9 = d*n + 4*m - 5*m, 0 = 3*n - 5*m - 28 for n.
1
Suppose z = 3*w - 4 + 3, 4*z - 5*w - 3 = 0. Solve 0 = -2*g - 3*y - 9, 0 = -7*g + z*g - 2*y + 5 for g.
3
Let y(m) = -m + 48. Let q be y(46). Solve -4*h + h = q*v - 21, 3*v - h = 4 for v.
3
Let k(x) = -x**3 - 11*x**2 - 13*x - 28. Let h be k(-10). Solve -2*m = -4*c - 10 - 12, m = -h*c - 9 for c.
-5
Suppose 3*y - v - 9 = 2*v, -2*v - 10 = -4*y. Let l(c) = 3*c**2 + 3*c - 2. Let z be l(1). Suppose -p + 40 = z*p. Solve -g = -4*j + 14 - y, 3*j + p = 5*g for g.
4
Let u = -152 - -156. Solve 5*t = -4*n + 6, -5*t - 3*n + u = 2 for t.
-2
Let h(b) = 10*b + 55. Let q be h(-5). Solve 2*v = 4 - 6, 2*d - q*v = 15 for d.
5
Suppose 0 = -320*x + 312*x + 176. Suppose 2*z - 3 - 3 = 0. Suppose -z*f + 0*a + 12 = a, 3*a = 2*f - 8. Solve 0 = -3*l - l + 3*c, 2*l + f*c - x = 0 for l.
3
Let p(d) = -d**2 - 8*d - 8. Let r = -55 - -49. Let b be p(r). Solve 0 = -2*c - 4*o + o - 5, -c + b*o = -3 for c.
-1
Let i(t) = -t. Suppose 4*d - 4*w - 4 = 0, d = 3*w + 6 + 1. Let z be i(d). Suppose z + 18 = 2*y. Solve -5*u - 5*s = y, 2*u + 32 = -2*u + 4*s for u.
-5
Suppose 37*h = 14*h + 92. Solve 2*f = 2*k - f + 6, -h*f = -2*k - 10 for k.
3
Let p(f) = 4*f + 64. Let m be p(-11). Solve 2*q - 5*w + m = 0, 4*q + 24 = 2*w - 0*w for q.
-5
Let d be (2/((-2)/(-19)))/(9 - 8). Solve -a - 4 = a - 3*h, -3*a = 2*h + d for a.
-5
Let u(c) = -c**3 - 4*c**2 + 2*c - 2. Let w = -11 + 6. Let r be u(w). Let h = -8 + r. Solve -2*i = -3*v + 3, 8*v = 3*v + 4*i + h for v.
1
Let b be 36 + (0 - (5 + -4)). Suppose -3*z + 3 + 4 = 2*u, 5*u + b = 3*z. Solve z*t - 2 = -27, 5*t + 33 = 2*w for w.
4
Let c(m) = m**3 - m**2 - 15. Let o be c(0). Let n be ((-8)/(-10))/(2/o). Let w = n + 10. Solve 5*x - w*i = -2, 0 = -0*x + 2*x - 5*i + 11 for x.
2
Let