= 0 for d.
3
Let x = 1568 + -1566. Solve 2*b + x*z - 7 = 3*b, -5*z = 2*b - 4 for b.
-3
Suppose 5*x - 15 = 10. Suppose 5 = 4*k + x. Solve r = 2*h + 6, -r - 4*h + 7*h + 10 = k for r.
-2
Suppose -69 = -2*n + 5*d - 2*d, 2*d = -4*n + 130. Solve 2*v + 3*v + 25 = -k, n = -2*v - 5*k for v.
-4
Let y be 1*(-6)/2 + 8. Suppose y*o - 86 = -i, o - 2*i = -4*i + 10. Solve 5*h + x + 3 = 5*x, -3*x = 3*h + o for h.
-3
Let u = -11 + 14. Suppose -2*p = -4*o + 38, -u - 13 = -3*o - p. Suppose -o*m = -3*m. Solve -2*t + 2 = -m*j - 2*j, 4*j - 2*t = 4 for j.
3
Let s = -4 + 6. Let g be 4 - (-2 + 4*9/12). Suppose -w - s = 5*f, g*f + w = 2*w + 2. Solve f = 3*u - 2*u - 5*t + 20, -2*t = -2*u - 16 for u.
-5
Let r = 328 - 325. Solve 2 = -2*j + 2*d - 4, -r*d - 3 = 0 for j.
-4
Let b be (-2 + 0)*(-6)/3. Let n be (-4)/16 + 17/b. Solve 15 = 5*u + 3*c - n*c, 2*c = 2*u + 2 for u.
4
Let v be (-39)/15 - 12/30 - -5. Solve -v*q - 16 = 4*u, 4*u + 1 = 5*q - 1 for q.
-2
Let z = 41 - 36. Suppose -z*h = -6*h + 26. Solve -h = -3*o - 5*u, -4*u + 19 = 2*o - 1 for o.
2
Suppose 4*u = -i - 2*i + 78, 2*u = -i + 40. Let y(k) = k**3 - 8*k**2 + 16*k - 47. Let l be y(7). Let s = u - l. Solve -16 = g - 3*d - 0*d, s*d = -5*g for g.
-4
Let l = -59 - -62. Suppose -7*j = -5*j - 20. Solve 2*v = 3*x + j, 6 + 1 = -l*x + 5*v for x.
-4
Suppose 9*d = 4*d - f, -5*f = -5*d. Solve d = -8*u + 5*u + 2*q - 3, 3*u + 12 = -q for u.
-3
Let h be (-1 - -5)/((-10)/(-20)). Suppose 0 = -3*m + 4*m - h. Solve 2*d = 3*d - 4*o + 7, m = 4*o for d.
1
Suppose z + 4*u + 12 = 0, 4*z - 4*u + 5*u - 12 = 0. Suppose -z*j = 4*q + 12, 3*j - 4*j - 13 = 3*q. Solve j*h + 33 = 5*p, h - 4*h = 2*p + 2 for h.
-4
Let s = 1159 - 1157. Solve 3*r + s*c = -6, 3*r - 4*c + 18 + 6 = 0 for r.
-4
Suppose -9*k + 710 = -4*k. Suppose -139 = s - k. Solve s*x = 5*z + 11, 2*z + 0*x = -x for z.
-1
Suppose 414*r + 10 = 415*r. Let q = 6 + -1. Solve q*t = -y - 13, -5 = 3*y + 3*t + r for y.
-3
Let i = 35 - 29. Let t be 1*8 - -4*(i - 7). Solve -5*b = -2*x + 4*x, 0 = t*b - x for b.
0
Let y = 371 + -368. Let s be (2 - -12)*-1 + 0. Let q = 1 - s. Solve -5*c + q = -5*x, 5*x = y*c - 16 - 1 for x.
-4
Let d be ((-5)/(-10))/(5/(-120)*-4). Let y be 0 + (-2 - -2 - 8). Let i = y - -13. Solve 0 = i*r + 20, 0*r = -4*j + d*r for j.
-3
Suppose -3*t = 5*k - 47, 10*k = 4*t + 11*k - 40. Solve -2*c - 5*z = -t, -4*c = -0*c - 3*z - 5 for c.
2
Suppose 3*m - 20 = 7. Solve i = -2*i - m, 4 = y - 3*i for y.
-5
Let q(n) = -n**2 + 5*n**2 - 10*n**2 - 18 + 5*n**2 + 12*n. Let l be q(10). Solve -2*b + z = 2 + 6, 2*z - 4 = -l*b for b.
-2
Suppose -3*y - 2*l = -3*l - 15, -3*l - 25 = -5*y. Solve h = r, 0*h - y*h - 6 = -2*r for h.
-2
Let r be 2/(-2) + 6 + -1. Let y be (r/(-7))/((-8)/28). Solve -2*i = 3*i - y*t - 35, -40 = -4*i + 4*t for i.
5
Let z = 46 - 30. Let m = z - 16. Let w(x) = x**3 + 7*x**2 + x + 11. Let c be w(-7). Solve 0 = 3*g - g - c*f - 14, g + 4*f + 5 = m for g.
3
Suppose 7*d = -4*t + 11*d + 116, -5*d = -4*t + 115. Solve c - 2*c = 5*w - 15, 2*c = 5*w - t for c.
-5
Let y(o) = -o**2 + 10*o + 339. Let v be y(24). Solve 4*g + 18 = -3*j + j, j + v*g = -14 for j.
1
Let c = -29 - -20. Let r be 2/21*c*(-14)/4. Solve 0 = -5*n + r*l - 6, 5*l = 1 + 9 for n.
0
Let l = -45 + 54. Suppose -l*b = -21 - 24. Solve -6 = b*z - 3*i, 4 = -2*z - 5*i + 14 for z.
0
Let v(k) = 9 + 0 - 4*k + 4 + 3. Let c be v(3). Solve -4*r + 5*i + 22 = 0, -15 = -4*r + c*i + 5 for r.
3
Suppose 0 = 5*p + 5*o + 5, -2*p + 2*o - 2 = -8. Let m(w) = -w - 3 + p - w. Let d be m(-3). Solve d*c = v + 1, 0*v + 25 = -5*c - 4*v for c.
-1
Suppose 2*x - 11 = -1. Let w = 9 - x. Solve 5*t = w*k - 35, -4*k + t + 26 = -t for k.
5
Let x(m) = 3*m**2 + m - 13. Let n be x(-8). Let c be 2/3*n/38. Solve -q + 13 = -5*t, -7*q - 2*t = -c*q + 14 for q.
-2
Let a(q) = 2*q**2 + 19*q + 43. Let p be a(-3). Solve 0 = -p*w + 16, 3*j + 0*j - 4*w = -10 for j.
2
Let y be (45/(-60))/(-2*3/24). Solve 25 = -y*a - 5*v, -3*a + 2*v = 7 + 4 for a.
-5
Let x(z) = z - 40. Let k be x(-20). Let d = 64 + k. Solve 0 = q - b, 0 = q - 6*q + d*b + 5 for q.
5
Suppose -2*p - 37*p + 1092 = 0. Solve -4*v - 2*d = -8, 0 = 2*v + d - 6*d - p for v.
4
Let p be (-3 + 3)/3*-1. Let u(l) = -l**2 + 10*l + 2. Let w be u(7). Let n = -19 + w. Solve 9 = h + n*q, -4*h + 18 = -2*q - p*q for h.
5
Suppose 5*o - 2*n - n = 23, 5*o - n = 21. Let j(a) = 17*a + 0 - 4 + 16*a - 29*a. Let m be j(2). Solve -z + 4*z + s - 14 = 0, -o*s = m*z - 24 for z.
4
Suppose a = -4*a - 55. Let v(b) = -2*b - 21. Let n(x) = -x - 11. Let i(k) = -5*n(k) + 2*v(k). Let g be i(a). Solve g*u + 20 = 4*r, -3*u - r + 8 = 3 for u.
0
Let a = -26 + 13. Let u = 17 + a. Suppose 0 = -u*w - 2*f + 14, -2*f - 2 = -2*w + 2*f. Solve -k - 3 = -4*b - 11, w*b - 5 = -2*k for b.
-1
Let x be 2 + 12/(3 + 1). Suppose 0 = 9*v - 14*v - x. Let n be (-8)/(-16)*(9 + v). Solve n*s + 5*i = 6*s + 9, 3*s = 2*i - 8 for s.
-2
Let y(x) = -x**3 + 3*x - 2. Let c be y(-3). Let i(d) = 8*d**2 - 19*d**2 + d**3 + 8*d**2 + 2 - d. Let f be i(4). Solve -2*n = 3*u + c, -2*n + n + f = -4*u for u.
-4
Let c be (-5 - (5 - -81)) + 3. Let g be c/(-18) - 12/(-108). Solve -g*f - 4*t = -15, -4*f + 13 = 4*t + 1 for f.
3
Suppose -10*n - 15*n + 300 = 0. Solve -4*a + l = -l + n, -3*a + 5*l - 9 = 0 for a.
-3
Let g = 415 + -411. Solve 3*i - g*m + 13 = 0, 23 = 7*i - 4*i + 5*m for i.
1
Let h be (12/4)/(-1) + 27. Suppose -5*f + h = -f. Suppose -6*b + f = -3*b. Solve 5*k = -w + 3, 2*w - 4 - b = 4*k for k.
0
Let q = -21 + 23. Suppose 19*z = -q*z + 336. Suppose b = -4*b + 10. Solve -16 = -y - 3*y - f, b*f - z = -4*y for y.
4
Let q = 44 + -70. Let t = -23 - q. Solve -3*h + 8 = -4*c, 5 = -c + t for h.
0
Suppose 2*s - t + 0*t = 11, -t - 6 = -s. Let v be s/45 + (-105)/(-27). Solve -g = -2*h - 2, 0*h - v*g = 2*h + 22 for h.
-3
Let c(s) = 9*s + 6. Let h be c(-4). Let g be 1 + 1 + 136/(-4). Let a = h - g. Solve -12 = -2*u + a*q, 2*u - 4*q + 10 = 32 for u.
1
Suppose 3*s + 140 = 5*d, 0*s + 2*s = 5*d - 95. Let r = 50 + s. Solve -2*w - 18 = -5*c, 0*w = -r*c - 3*w + 23 for c.
4
Suppose -4*p = -3*p. Suppose -6*a + 27 + 3 = 0. Solve -7 = -p*g - g + 2*s, 5*g + a*s = -40 for g.
-3
Suppose 2*v + 3*i = 10 + 13, 1 = 4*v - 3*i. Solve 2 = 3*r - 5*r, -4*r = v*m + 12 for m.
-2
Let k = -557 + 564. Solve t = h + 2, 5*h + 4*t + k = 4*h for h.
-3
Let h(q) be the first derivative of -3*q**2/2 + 71*q + 2. Let j be h(23). Solve 0 = -s - 3*v - 2, -6*s + 7 = -s - j*v for s.
1
Suppose -25*k - 24 + 74 = 0. Solve 2 = k*c, 6*c - 13 = 3*d + 5*c for d.
-4
Let m be -7 + (-63)/((-21)/3). Solve -4*v - 9 = -s, 4*v - m*s + 1 = -13 for v.
-1
Suppose -o = -2 - 1. Let m(p) = p**2 + 23*p + 124. Let w be m(-15). Solve i = 2*y, 0 = o*y + w*i + i for y.
0
Suppose -16*h + 56 = -12*h. Suppose 5*o - 1 - h = 0. Solve -2*b + 4*t = 2, 0 = -o*b - 0*t - 3*t - 12 for b.
-3
Suppose 4*s - 7*s = -5*j + 37, -2*j + 30 = -5*s. Suppose 2*u - j*t = 24, 5*u - 15 = 4*u + 4*t. Solve -2*y = i - u, -3*i + y - 15 + 1 = 0 for i.
-3
Let s(h) = h - 14. Let v be s(7). Let w be v/14 + 1/2. Let f(c) = c - 2. Let n be f(5). Solve 0 = -3*m - n*p, w = -3*m - 3*p - p for m.
0
Suppose -3*n + 78 = 66. Solve 21 = 3*a + 3*k, 20 = 4*k + n for a.
3
Let r = -14 + 69. Let u = r + -13. Suppose -2*d = -2*g + u, -3*g + g = -3*d - 37. Solve -2*s + 18 = -k - k, 4*s - 2*k = g for s.
4
Let p = -1483 - -1487. Solve 3*y + p*m = 9 + 2, -m = -y - 8 for y.
-3
Let h = 1391 + -1381. Let q = -1 + 1. Let y = q + 0. Solve m - 6 = -w, 3*w - 5*w + h = y for m.
1
Let t = -790 + 803. Solve a + 1 = 4*k + t, -4*k - 3*a - 12 = 0 for k.
-3
Suppose 75*i = 101*i - 52. Solve -6*f + 4*v - 29 = -f, i*f - 5*v = -15 for f.
-5
Let g be 2/7 - 88/14. Let x(a) = a + 5. Let b be x(g). Let d be 2/(4/(-10))*b. Solve 3*p = -4*m + 2*m - 8, 4*m = -d*p - 12 for p.
-4
Suppose -5*y + 2*y = 2*c - 37, -4*y = -2*c + 2. Solve -5 = -i, c*i = 2*g + 7*i + 18 for g.
1
Suppose -5*u + 4*u = -5*t + 16, 3*u + 12 = 3*t. Solve 2*q - 6 = -p, p = -0*q + q + t for q.
1
Suppose 14*v - 3*v + 13*v = 0. Let n(g) = -g**3 + 8*g**2 - 7*g + 2. Let i be n(7). Solve -2*k + 14 = -5*k - 5*p, v = -4*k - i*p for k.
2
Suppose -47 - 37 = -7*n. Let s = n + -7. Solve 3*d - 5 = -b, -2*d - s*b + 4*b + 4 = 0 for d.
1
Suppose -v - 5*z = -0*z, -4*z + 18 = -v. Let i = v + 3. Let t(x) = -x**2 - 8*x - 3. Let r be t(i). Solve r = -3*u + p, 2*u = 3*p + p - 16 for u.
0
Let q(v) be 