5 = -2*y for d.
1
Let a = -559 + 588. Solve 2*k + 2*k - a = -5*u, -5*k - 20 = -5*u for k.
1
Let r(i) = i**2 + 5*i + 16. Let h be r(-6). Suppose 5*p = -4*b + h, -5 = -4*p - 2*b + 9. Solve 6 = 3*c + a, p*c - 5*a = -0*c - 13 for c.
1
Let r = 70 - 64. Let t be (-2)/4*r/(-3)*3. Solve -2*g = -2*d + 10, g + t*g + 15 = -d for g.
-4
Let z(s) = -2*s**3 - 4*s**2 - 2*s + 2. Let d be z(-2). Suppose -8*y + d*y = -4. Solve 0*t + y*t + 12 = -2*l, 0 = l + 5*t + 10 for l.
-5
Suppose -2 = -r + 1. Solve 2*f - 2 = -5*j - 5, -f - 7 = -r*j for j.
1
Suppose r - 4*r = -6. Let s be 744/48 - 6/4. Let w = -11 + s. Solve -w*b = 5*c - 3*c - 6, 3 = c + r*b for c.
3
Let v(m) = -5*m + 15. Let r be v(6). Let d = -12 - -30. Let p = r + d. Solve s - p*x - 2*x - 18 = 0, s = -5*x - 22 for s.
-2
Let y(x) = 10*x**2 + x - 1. Let o be y(1). Let a = 15 - o. Solve -a*s = -25, -4*u + s = -4*s + 21 for u.
1
Let t(h) = 18*h - 948. Let b be t(53). Solve -14 = 3*p - 2*v, -11 = b*p - 4*p - 3*v for p.
-4
Let u be -2*4/(-16)*-34. Let q = 33 + u. Solve -19 = -5*x + 5*t + 16, -2*t = -3*x + q for x.
2
Suppose 477 = 3*a + 417. Solve 4*l + a = -2*s - l, 4*s = l - 18 for s.
-5
Suppose 0 = -3*x - 4*x + 658. Suppose 2*a = 3*y + 10 - x, y - 28 = -a. Solve -4*u + 5*g = 45, 3*u = 3*g - y - 2 for u.
-5
Suppose 0 = -5*o + 26 + 29. Suppose b + 2 + 7 = i, -4*i + 5*b = -41. Solve -5*x = -4*l - 10, 0 = 5*l - i*x - 3 + o for l.
0
Suppose 3*y - 3*d - 14 = 1, y - 2*d = 8. Suppose -y = -4*b + 26. Solve 5*w + 5*m + 3 = -b, w + 3*m = 0 for w.
-3
Let f(b) = 11*b - 839 - 2*b**2 + 839. Let m be f(5). Solve -u + 2*j + 4 = -3*u, -m*u - 4*j = 12 for u.
-4
Let k(u) = -2*u**2 + 2*u - 14*u + 10*u. Let r be k(-1). Solve 0 = -2*h + 2*d + 8, -h - 3*d = -r*h - 8 for h.
5
Suppose 2*w - 142 = 10. Suppose 0 = -2*z + 6*z - w. Suppose -5*y = -3*b + z, -4*y + 7 = 15. Solve 0 = 5*c + 2*q + q + 27, q = b*c + 5 for c.
-3
Suppose 2*s + 858 = 13*s. Suppose -13*u + s = -10*u. Solve d + 25 = -5*r - 3*d, -r - u = 5*d for r.
-1
Let a(t) = 8*t - 109. Let y be a(14). Solve -20 = -2*n + 4*g, -y*n - 2 = 2*g - 0*g for n.
2
Let a = 173 - 149. Solve -7 - 20 = -2*m - 5*r, -4*m + a = 4*r for m.
1
Let n be -9*(-2 + (-2)/(-6)). Suppose 1 = -2*u - 19. Let o = n + u. Solve -s + 17 = o*g, s + 0 = 2*g - 4 for g.
3
Suppose 19 = 5*z + 2*b, 2*b = -10*z + 6*z + 14. Solve 10 = o - 0*s - s, -z*o = 2*s - 15 for o.
5
Suppose 2236*f - 18 = 2233*f. Solve -3*b - d + 15 = 0, -25 = -f*b + b + 4*d for b.
5
Suppose -8*c + 22 = -58. Let a be -1 + 180/50*c/6. Solve 0 = -o + 2*r + 2, 7*o - a*r - 2 = 3*o for o.
-2
Suppose -22*z = 17*z - 156. Solve z*g = 5*c - 31, 2*g - 8 = 3*c - 25 for g.
-4
Suppose 2*n - 2*a = 18, 4*n - 2*a = 3*n + 12. Solve 5*g - 3*k - n = 0, -5*g + g = -4*k for g.
3
Let k(w) = w**3 - 2*w**2 - 5*w. Suppose -c - 4 = -2*c. Let l be k(c). Solve -l = -4*n + 3*n + 5*i, -5*i - 6 = -3*n for n.
-3
Let n(z) be the second derivative of z**5/20 + 7*z**4/12 - 5*z**3/3 - 15*z**2/2 - 17*z. Let d be n(-8). Solve 4*v - u + 6*u + 22 = 0, v - d = 2*u for v.
-3
Let k = -7 - -11. Suppose k*i - 2*g - 1 = 11, 11 = 3*i - g. Let x(d) = d - 8. Let f be x(13). Solve 0 = -f*v, 0 = i*t - 3*v - 18 + 3 for t.
3
Suppose -22*w + 13*w = 0. Solve w = 3*i + 3*z, -i = -2*i - 2*z + 1 for i.
-1
Let h(z) = -z + 6. Let y be h(6). Suppose y = -q + 4. Let d(t) = 3*t - 1. Let k be d(1). Solve k*i = 2*b - 6, -3 = -b + q*i + i for b.
3
Suppose 221*h - 238*h = 0. Solve i + 5*z - 15 = h, i + 6 + 6 = 4*z for i.
0
Let x(r) = r**2 - 1. Let a be x(0). Let i be a/(-4) + (-1529)/(-44). Solve -b - 2*b = -4*l + i, -l = -b - 10 for l.
5
Suppose -18 = -3*m - 3*a, -6*m + 4*m = -4*a. Solve -j - m*c + 8 = 0, -2*j - 3*c + 9 = 3 for j.
0
Let p(h) = 2*h**3 + 12*h**2 - 5*h + 6. Let u be p(-7). Let l be (-6)/(-9) - u/9. Solve 0 = 3*b - 5*b - 2*y - 14, 3*b - 4*y = l for b.
-3
Let f be (4 + -1)*8/6. Let z = -877 - -881. Solve b + f*w + 4 = 0, b - 2*b - w = z for b.
-4
Let h = 28 - 43. Let l = h - -11. Let z be ((-4)/1)/l - -2. Solve 5*q + z*s = 25, -4*s + 16 - 1 = 3*q for q.
5
Let h(j) = -j**2 - 6*j + 27. Let a be h(3). Solve -f + 9 = -4*l, a*l + 17 = -2*l + 3*f for l.
-1
Let j(z) = -2*z + 4. Suppose 3*w = -5*m + 20, -3*w + 4*w - 4*m + 16 = 0. Let i be j(w). Solve i*y = -5*x + 17, 9 = x + 2*x + 2*y for x.
1
Let b(s) = 6*s**2 + 10*s - 4. Let m(h) = h**2 + h. Let y(z) = b(z) - 5*m(z). Let q be y(-6). Solve q*o + u = 4 - 10, 6 = -o + u for o.
-4
Suppose l + 3*x - 156 = 0, -l = l - x - 305. Let n be 7 + l/(-21) - 37/(-7). Suppose -2 = -4*b + 14. Solve 2*h - n*w - 23 = 0, b*w = 3*h - 8 - 16 for h.
4
Suppose -10 = -c + 2*a, 0 = -3*a - 1 - 5. Solve 4*l + 2*y + c = -0*l, 2*l + 18 = 2*y for l.
-4
Let b = -219 + 222. Solve -10 = 5*u, b*x = -3*u - 1 - 2 for x.
1
Let t = 111 + -47. Let k = 66 - t. Solve -3*u = -5*v + k, 0 = 3*u - 0*u - 3 for v.
1
Let l be (6/12)/(2/56). Solve 2*j - 35 = -5*d, 0 = 3*j - 1 - l for d.
5
Suppose -31 = -2*t - 3*b - 1, 2*t - 4*b = 30. Let w be (-56)/(-16) + (-6)/4. Solve 4*q - t = -j + 4*j, -q + w*j = -10 for q.
0
Let a be ((-56)/12)/(-7) + 8/6. Suppose 5*z - 13 = a*t, 2*z + 0*z = 6. Solve 4*q = 2*n - 8, -t + 0 = q - n for q.
-3
Let q(m) = -10*m - 12. Let u be q(-3). Suppose -3*a + 4*t + 19 = 0, -5*a + 3*t = -2*a - u. Solve 5*o + 5 = -5*h, -a = -o + 3*o + 3*h for o.
2
Suppose -92*d + 5*l = -89*d - 100, -2*d + 64 = -2*l. Solve -2*p - w = 9, -4*p - 11 = d*w - 35*w for p.
-4
Let g be (-648)/32 + 1/4. Let n = -18 - g. Solve 0 = k - r + 5, 3*r = 2*k + n*k + 20 for k.
-5
Let q = 1705 - 1699. Solve 0 = 5*n + t - q, -14 = n + 3*t + t for n.
2
Suppose 0 = -5*k - 28 + 48. Solve -5*s + s + 21 = g, -4*s + 4*g = k for s.
4
Suppose 0 = -2*v - 3*y + 10, -y = 2*v - 0*v - 10. Let z = 479 - 476. Suppose 8*n = z + v. Solve n = 2*i + c, -2*i - 5*c + 0 = 3 for i.
1
Let x = -77 + 37. Let z = x - -43. Solve 3*h - z*o = -3, -3*o + o - 2 = -3*h for h.
4
Let b = 0 - 0. Let n(h) = h**2 - 6*h - 5. Let v be n(7). Suppose -3159 - 6771 = -338*j - 1142. Solve 4*y + 5*u - 35 = y, b = v*y + 4*u - j for y.
5
Suppose 5*v = -4*d + 69, -5*v = -7*v + 4*d + 50. Suppose 2 = -5*l + v. Solve 3*i - 2*i - 13 = l*y, 5*y = -5*i + 5 for i.
4
Suppose z - 72 = -3*z. Let s = z - 8. Let a = 14 - s. Solve 2*c - 5*c - 2*j - 6 = 0, a*c + 8 = -3*j for c.
-2
Let z = 1242 + -1239. Let c = 4 - 2. Suppose 0*p + 5*p = 0. Solve z*d + c*k + 0*k = p, -4*k = -d for d.
0
Suppose -2*x = 4*s - 5*s - 4, -s - 8 = -4*x. Suppose 4*h - 16 = x*p, 0*p + 14 = 2*p + 2*h. Solve 2*i - 10 = p*f, -4*i = -0*f + 5*f + 25 for f.
-5
Suppose -7*m - 10 = -9*m. Let l be m/((-45)/21)*-6. Let y be ((-21)/l)/((-1)/2). Solve 0 = -5*p + 20, 5*u + 2*p + y*p = 30 for u.
2
Suppose 3 = 2*k - 3. Suppose 0 = k*m + 42 + 27. Let n = 27 + m. Solve 2*g + n*t - 15 = -t, g + 2*t = 6 for g.
0
Let j(n) = 11*n - 84. Let w be j(8). Solve -u + 4*c - 21 + 8 = 0, -w*c + 7 = 5*u for u.
-1
Let c(f) = 6*f + 243. Let r be c(-40). Solve -2*b - 5 = -3*t - 16, -4*t - r*b - 26 = 0 for t.
-5
Suppose 42 = 10*i - 8. Solve 0*l - i*l - 4 = 4*m, -3 = -l + 3*m for l.
0
Suppose 0 = 19*b + 9 - 28. Suppose -5*r + 24 = 4. Let p = r - -1. Solve 0 = -n + 2*c - 2, 2*n + p = 2*c - b for n.
-4
Let o(x) = 4*x + 70. Let r be o(0). Let f = 101 - r. Solve 4*b - 3*s - f = 0, s + 5 = -0*s for b.
4
Let c(v) = -v**3 + v**2 + v - 1. Let w be c(1). Suppose w*g - 4*b - 20 = -2*g, -4*g - 12 = 5*b. Solve -g*k = y - 1, -5*y = 3 + 22 for k.
3
Let n = 67 - 66. Let d be n - -29 - (9 - 5). Solve -16 = -0*i + 2*i + 2*o, 4*i + 2*o = -d for i.
-5
Let b be 3 - 3 - 3*-1. Suppose b*t - 72 = -t. Suppose -s - 2 = -t. Solve 0 = -5*r - 4*h - 10, 0 = -4*h - s - 4 for r.
2
Suppose -9*a + 7*a + 8 = 0. Solve u + 4*u + 13 = a*w, 2*w - 5*u - 19 = 0 for w.
-3
Let b = -2 - -5. Let z = 10 - 6. Suppose b*q - 5*g = -z*g + 1, 5*g + 5 = 4*q. Solve -i + d - 1 = q, 0*d + 11 = 4*i - d for i.
4
Let c(l) = 0*l + 0 + 24 - l + 5*l. Let b be c(-6). Solve 2*v = -4*x + 2*x - 8, b = -5*x for v.
-4
Let m be 120/21 - (-22)/77. Solve -3*r - m = -o, 3*o - 5 = 3*r + 7 for o.
3
Let m be -3 + (1 - 0) + 5. Let r be (69/6)/(3/6). Suppose -9*j = -r*j + 210. Solve -12 = -m*i + a, 0*a - a - j = -4*i for i.
3
Let t = 34 + -30. Let k be ((-4)/6)/(t/(-66)). Suppose k*d = 9*d. Solve d = 4*y + o, -o = 3*y - 5*y + 6 for y.
1
Suppose -20*z = -16*z - 5*d - 23, 3*z + 6 = -4*d. Solve t - z = -0*t, 4*m = 2*t + 