for d.
-1
Let c = -1960 - -1965. Solve -2*q - 4 = 0, -c*q - 4 + 10 = 4*x for x.
4
Let j(p) = -p**3 - 8*p**2 - 3*p - 13. Let c be j(-8). Suppose 6*u + 5*k - c = 5*u, 3*k - 29 = -2*u. Solve -5 = o, -3*h - 3*o + o = u for h.
-2
Suppose 29*o - 1365 = -62*o. Solve -3*b - 5*h = -1 + o, -2 = b - h for b.
-3
Suppose 5*l = 4*k + 536, -k - 3*k - 2*l - 536 = 0. Let c = -132 - k. Solve 2*m + u - 6*u = c, 0 = 5*u for m.
1
Suppose 53*j - 60*j + 28 = 0. Solve -7*z - 4 = j*w - 8*z, 14 = 3*w - 5*z for w.
-2
Let j = -132 - -148. Suppose 11*d = -j + 49. Solve d*i = -2*c - 2, i + 0 = 4*c + 4 for i.
0
Let f(w) = w**3 - 9*w**2 - 19*w + 15. Let d be f(10). Let n = d - -89. Solve 0 = -x + 4*j + n, 5*x + j + 17 = 3 for x.
-2
Let h be -8*((-15)/(-6))/(-5). Let q(v) = -v**3 + 4*v**2 - 2*v - 2. Let t be q(2). Let z = -734 + 744. Solve -h*i = -0*i - 2*b - z, t*i = -2*b - 10 for i.
0
Let d(x) = x**3 + 11*x**2 + 24*x - 25. Let v be d(-7). Solve -7*k = -3*m - v*k + 21, -2*m + 5*k + 21 = 0 for m.
3
Let f = -4 - -4. Let j be 11 + 1 + f/(-2). Suppose -2*r + 3 = -0*u + u, -3*u = r + 6. Solve -j = p - r*k, -p - 3*k + 6 = -6 for p.
0
Let b = 32 - 18. Suppose z - 24 = -b. Solve 3*k = -5*p + 27, k + 3*k - 2*p - z = 0 for k.
4
Suppose -6*s = -s - 185. Suppose 3*u = 2 + s. Let z = -11 + u. Solve -3*q - 5*d + 32 = 0, -2*d + 20 = q + z*q for q.
4
Let b be (-1)/(4*(-2)/(-72)). Let h = b - -23. Suppose -4 - h = -s. Solve 5*d - 2*u - s = 0, 3*d + 2*d - 21 = -u for d.
4
Let c(g) = g**3 + 12*g**2 + 17*g - 25. Let v be c(-10). Solve -2*m = l + 1 - 6, 0 = -l - v for m.
5
Suppose 0 = 10*s + 5 - 25. Suppose -4*z - 3 = -7. Solve 2*y + 4 = 0, -3*j - y = -s*j - z for j.
3
Suppose -o = -4, 2*o - 19 = 4*h - 11. Solve 18 = 2*u + 4*v, h = 2*u + 3*u + 2*v - 5 for u.
-1
Suppose 5*b = -5*u - 55, 0*u = 5*b - 4*u + 55. Let o = b - -12. Let k = 1 + o. Solve -2*x - k*n - 4 = -0, 2*n - 2 = x for x.
-2
Suppose 11*r = -15 + 48. Suppose -20 = -r*y + 5*h, 5*h - 2 = 23. Solve -q + y = -4*t, -4*t - 8 = -5*q + 3 for q.
-1
Let g(n) = 4*n + 3. Let q be g(-3). Let y be -3 + 8/(-12)*q. Let u = 29 - 17. Solve -y*o - 12 = -3*z, -z - u = -2*z + 5*o for z.
2
Let q be ((-18)/4)/((-2)/4). Suppose -3*y = -7 + 1. Suppose -y*s + 0*s + 10 = 0. Solve s*z - 5*c + 1 = -14, -q = -3*c for z.
0
Suppose 0 = m - 8 - 2. Suppose 0 = 2*i + m*i - 84. Solve 23 = -5*o + 4*d, 3*o + 4*d = -2*o - i for o.
-3
Let m = 881 - 878. Solve 2*a = m*n + 2, -32 = 3*n + 7*a - 3*a for n.
-4
Let o be (-488)/(-244) - 3/(6/(-4)). Solve 6*w + o*a = w, -5*w - 3*a + 5 = 0 for w.
4
Let s(p) = -p**3 - 2*p + 3. Let r be s(0). Suppose 4*i = 7 + 5. Solve -3*f - 5*m = -24, 12 = -2*f + i*f + r*m for f.
3
Let y be ((-3)/(-2))/(45/510). Suppose -2*m + 30 = -5*v, -5*v = -3*m + 18 + y. Solve m*o - 2*o + 15 = -5*h, -20 = 4*o - 3*h for o.
-5
Suppose -s + 0 = -2*v - 2, -s - 1 = -5*v. Suppose 0*a - 48 = -s*a. Let n be -12*(-3 + (-10)/(-4)). Solve -3*t + a = t - o, 0 = 2*t - 5*o - n for t.
3
Suppose -a + 3 = -5*b, a - 7 = 2*b - 4. Let l = 46 - 43. Suppose 5*w - l = 4*i, -i + 11 = 3*w - 1. Solve 0*j - 9 = 5*u + w*j, a*j = -u - 9 for u.
0
Let w = 3 - 1. Suppose 11*j + 7 = 2*d + 12*j, 1 = -j. Solve -2*t = w*h + 3 - 1, 0 = 3*t + d*h + 2 for t.
-2
Let a(z) = -51 + 5*z - 33 + 72. Let v be a(3). Solve 0 = -v*t - 0*t - 3, -4*x = 4*t for x.
1
Let p(m) = m + 6. Let c be p(-2). Suppose -11 = -4*x + 1. Solve -x*k = c*s + 11, 4*s + 26 = -2*k + 4*k for k.
3
Let v = 153 + -153. Solve -3*d = -k + 10, v = -5*d - k - 3*k - 45 for d.
-5
Let q be (1 - (-14)/(-7) - -7) + -1*3. Suppose -23 = -3*r + 4*h, -4*h - 5 + 2 = r. Solve n - 10 = -r*w + 2*w, q*w = -5*n + 2 for n.
-2
Let x = 8 - 6. Suppose -3*t + 5*a = -18 - 12, a - 2 = -t. Solve -7*u = -x*u + 5*z - t, 4 = -2*z for u.
3
Let m = -2 - -6. Let l(y) = 13*y**2 + 4*y - 3. Let o be l(1). Solve -o = t - 0*a - m*a, -4*t = -a - 4 for t.
2
Let b = -87 - -111. Suppose 0*z + b = 2*z. Solve -4*n - z = -4*i, -3*n - 2*i = -n + 14 for n.
-5
Let y be 1/4*5*60/25. Suppose -1 = 2*v + 3*j + 14, y*j + 15 = 5*v. Solve v = -2*n + 4*b + 6, -2*n + 4*n = -3*b - 8 for n.
-1
Let o = -39 - -35. Let b be o/18 - 282/(-54). Solve 3 = -4*i - x, 2*i + 8 = -i + b*x for i.
-1
Let x be ((-4)/(-32))/(4/(-24))*-60. Let w = x - 24. Solve 5*b = -c + w, 0 = 2*b + 4 - 14 for c.
-4
Let s(u) = -11*u - 13. Let k(a) = 3*a + 9*a + 2 + 11 + 0. Let t(x) = 3*k(x) + 4*s(x). Let n be t(-3). Solve -5*q - n = -w, -7*w - 7 = -3*q - 3*w for q.
-3
Let y be (-2)/2*(-9)/3. Suppose 0 = -6*o + y*o. Let v be (30/21)/((-2)/(-7)). Solve -q + 5*j - 23 = o, -6 = -q - v*j + 11 for q.
-3
Suppose 2*q = 7*q + 4*y - 30, -5*q + 2*y = 0. Solve -6*p + 16 = -o - 2*p, 5*p = q*o + 20 for o.
0
Let l = 94 + -66. Suppose -4*u - l = 2*j, -20 - 1 = u + 4*j. Let k be 4/2 - (u + 5). Solve -4*f - x - 22 = 0, 4*f + k + 26 = -4*x for f.
-5
Suppose k + 3*r = 12 - 31, -28 = 2*k - 4*r. Let n = k - -18. Solve n*j - 3*g - 14 = 0, g + 2*g + 6 = 0 for j.
4
Let a = -9 - -1. Let b be 5/20 - 14/a. Suppose 2*k = -b + 12. Solve -i + 2*w = 3 + 8, 0 = -2*i + k*w - 25 for i.
-5
Suppose -2 = y + 5*r - 18, -2*y + 4*r + 18 = 0. Let d(h) = -h**2 + 10*h + 13. Let p be d(y). Solve -2*q + 4 = a - p, -4 = -q for a.
-2
Let p be 7/3 - 4/(-6). Let z be (-1)/2*(-3 + p). Suppose z*v - 12 = -v. Solve 4*g + 4*t + v = 0, 5*g + 2*t - 6*t = 30 for g.
2
Let j(n) = -n**2 - 13*n + 30. Let u be j(6). Let a = -81 - u. Solve -3*w + 16 = 2*l, w + 2 = -a*l + 12 for l.
2
Suppose g + 12 = 4*k, g = -2*k - k + 16. Suppose -1 - g = 5*l, -3 = -d - 4*l. Let t = -59 + 92. Solve -2 = -r + w, 5*r - d - t = -5*w for r.
5
Suppose -23*y + 24*y + 1 = 0. Let b be y/(-1) - (-1 + 2) - -3. Solve -c + 3 = 2*g - 0, 0 = c - 4*g - b for c.
3
Suppose 29 = t + 2*o, -3*o = 6*t - 4*t - 55. Solve 11 + t = 5*x + 3*r, -2*r = 4*x - 26 for x.
5
Let u(j) = -9 + 16 + 11 - 8*j + 9*j. Let a be u(-13). Solve 5*d - 2 - 23 = -a*y, 0 = -2*y + 4*d - 2 for y.
3
Let c = 54 + -49. Let r(z) = z**2 + 12*z - 2. Let h be r(-13). Solve l - c*p = -h, p = 1 + 2 for l.
4
Let n(z) = 2*z**2 - 26*z - 24. Let x be n(14). Let p(s) = -3*s**2 + 15*s - 10. Let i be p(x). Solve -g - 2*u = 6, -2*g + i*u = -g - 10 for g.
2
Suppose -5*v + 3*y = 0, v = -0*v + 2*y - 7. Suppose -2 = i - 2*i. Suppose 8*b = i*b + 12. Solve 10 = b*l, -3*w - 3*l = v - 9 for w.
-3
Let l be 2/(-10) + 217/35. Let w(k) = -301 + 301 - l*k - k**2. Let d be w(-5). Solve 5*f - d*s = 35, 9 = 4*f - 5*s - 22 for f.
4
Let w be (-4 - -11) + 0 + -4. Solve y = -u - y - w, 4*u + y = 16 for u.
5
Let u(h) be the second derivative of -h**4/12 + 23*h**3/6 - 15*h**2 + 8*h. Let r be u(21). Solve -s + r = 3*p, -3*s - 7 + 23 = 4*p for s.
0
Let q = 19 + 25. Let b(j) = -30*j + 103. Let k be b(4). Let a = k + q. Solve -5*m + a = y, 2*m - 4*y + 1 = 3 for m.
5
Let k = -868 - -875. Solve -2*z + 11 = -k*z - 4*c, 4*z + 3*c + 9 = 0 for z.
-3
Suppose -4 = w - 9. Suppose -8*x + 3*x = 25, 0 = -3*i - w*x - 16. Solve 13 = -5*k + 3*f, 0 = -4*k + i*f - 8*f - 3 for k.
-2
Let r = -199 - -202. Solve -2*h - 2*q = -3*q - 6, -16 = -4*h + r*q for h.
1
Let z(i) = i**3 - 11*i**2 - 10*i - 14. Let m be z(12). Suppose -k - m = -2*k. Suppose 4*d + 2 = k. Solve y = -4*f - 25, 5*f + 5 = d*y + 2*f for y.
-5
Let g be 2 - (0/(-1) - 0). Suppose -3*h + 12 = 3*h. Let q = 42 + -37. Solve -3*c - q*j = g - 15, h*j - 18 = 2*c for c.
-4
Let q be 3/21 + 1*54/14. Solve -9*u - 30 = -q*u + 4*c, u - c - 3 = 0 for u.
-2
Suppose -3*g = -6*g - 21. Let a be 4 + 1 + g + 2. Solve a = 3*n - 4*y + 7*y + 12, 0 = n + 3*y + 4 for n.
-4
Let c be 1*(2 + -1) + (2 - 1). Suppose 5*f - 12 = 4*b, -4*f = -b - c*b - 10. Solve -3 = -a, -f = -2*o + o - 3*a for o.
-5
Suppose 3*v + 22 - 20 = -2*a, -3*a + v = -19. Solve 5*r + 23 = 4*l - 3*l, a*l = -10 for r.
-5
Let u be (6/9)/((-12)/(-54)). Suppose -u*v - 5 = -14. Solve 0 = -j - o - 3, -2*j - 3*j - 19 = v*o for j.
-5
Suppose -d - 4*b + 7 = -1, d - 2 = -b. Suppose -15*c + 11*c + 12 = d. Solve -6*u + 2*u = 3*l - 13, 2*u - 5 = -c*l for l.
-1
Let x be 75/(-9) - (-6)/(-9). Let m be (-64)/(-12) + (-6)/x. Let w(r) = 4*r + 2. Let l be w(m). Solve -5*p - 2*b = 0, -3*p + 0*p + 4*b = -l for p.
2
Suppose 0 = 5*f - f - 156. Let w = f - 29. Let b be ((-8)/w)/(4/(-20)). Solve -4*z + 8 = 3*q + 1, -z - 8 = b*q for q.
-3
Suppose 1028*h - 1027*h = 3. Solve -3 = -h*z, 4*p + 5 = 5*z - 16 for p.
-4
Suppose 0 = 2*x + 3*r 