g - d + 8 = g, -2*g + d = 5 for g.
-3
Let s(k) = k - 4. Let o be s(-6). Let t be 5/((-15)/(-12)) + 20/o. Suppose 3*d - 2*p - 27 = 32, 34 = 2*d - 4*p. Solve -5*h + t*l = 0, 2*h + 2*l = 7*l + d for h.
-2
Let q(l) be the second derivative of l**5/20 + 7*l**4/12 - l**3/3 - 9*l**2/2 - 11*l. Let p be q(-7). Solve 2*o + p = -5*a - 7, 0 = 3*o + a + 5 for o.
-1
Let b(i) = -26*i - 139. Let u be b(-6). Solve -4*m - u = 2*v - m, 7 = -v - m for v.
-4
Let h(k) = -k**2 + 23*k + 31. Let c be h(24). Suppose o = 11 - c. Solve -o*r = 5*z - 12, -3*z + 9 = -3 for r.
-2
Let p be 4/(78/(-15) + 6). Solve 4*z + h - 12 = 0, -3*z + p*h = 2 - 11 for z.
3
Suppose -5*s + 11 = -4. Let c(k) = k**3 - k**2 - 5*k + 3. Let v be c(3). Suppose -v*b + 10 = -b. Solve b*u = -s*l - 6, l - u + 5 + 2 = 0 for l.
-4
Suppose 5*l + 5 + 20 = 0. Let v be (0 - -1) + l/((-40)/(-8)). Solve n = u - 5, -4*u + 2*n + 14 = -v*u for u.
2
Suppose -2*l - 20 = -0*l + 4*y, -l = 5*y + 22. Let f be 3 - (l + -1) - 2. Solve -5*z - 2*n = -f, 4*z - 5*n - 28 = -5 for z.
2
Let r = 174 - 283. Let z = -107 - r. Solve -2*u - h = -2*h - 5, z*u = 5*h - 7 for u.
4
Suppose 5*v + 47 = -53. Suppose 0 = -18*a + 27*a + 180. Let t = v - a. Solve 0 = 4*z, t = -4*l - 3*z + 5 + 11 for l.
4
Suppose 29*o = -8*o + 777. Solve 5*c - 5*p = o + 29, -3*c = -2*p - 25 for c.
5
Let c(d) = -2*d + 12. Let m be c(5). Let v(x) = -x**2 - 6*x + 1. Let z be v(-5). Suppose 0 = -2*r + z + m. Solve -4*q = r*a - 4, 0 = 4*q + 5*a - 4 for q.
1
Let o be (-1)/(-2) + -5*28/(-40). Let g = -9 - -16. Solve -y - 3*a + g = -a, o*y - a + 17 = 0 for y.
-3
Let b(a) = a**2 - a + 6. Let i be b(2). Suppose 10*k - i*k = 0. Let p be (-1 - -11) + -2 + 1. Solve -2*o - x = k, -o + 5*x = -2*o - p for o.
1
Let d(u) = -3*u**2 - 21*u + 1. Let n be d(-8). Let i = 28 + n. Solve i*y = -4*z - 7, 0 = -0*y - 3*y + 3*z - 15 for y.
-3
Suppose -3*w = -4 - 17. Let a = w + 12. Suppose -4*v + a = 3. Solve -v*o = -4*t - 8, 3*t - 8 = 5*t - 4*o for t.
0
Let z(b) = b**3 - 7*b**2 - 7*b + 1. Let n be z(8). Suppose 0*o = 3*o + n, -3*o = 3*t + 9. Solve t*y - 2*i = -y - 9, -3*y + 8 = i for y.
1
Suppose -3*t - 20 = 4*i, 2*i + 7 + 3 = -5*t. Solve 2*f = l - 0*l - 7, -3*f + 5*l - 14 = t for f.
-3
Let d(y) = y**3 + 5*y**2 + 8*y + 16. Let r be d(-4). Solve 4*l = -4*k + 20, k = 3*l - r*k - 7 for l.
3
Let b be (-4)/18 - (-400)/180. Solve 0 = 4*x + k - 15, 0 = -12*x + 8*x - b*k + 10 for x.
5
Let f(v) = -v - 7. Let r be f(-9). Let a = 107 + -104. Solve 7*w + h + 14 = r*w, 3 = a*h for w.
-3
Suppose 0 = -h + 2, -2*o - 4*h = -0*h - 92. Solve 2*m + 2*j - 2 = 0, -o = 3*m - 4*j - 10 for m.
-4
Suppose -6*j + 2*j + 16 = 0. Let f = 2 - j. Let y be -12*4/24*f. Solve -n - 22 = 4*l + n, -2*n = -y*l - 2 for l.
-3
Let c(b) = -7*b**3 + b**2 + b. Let l be c(-1). Suppose -l*p = -p - 18. Solve 2*a + 4 = -4*g - 22, p*g + 32 = -4*a for g.
-4
Suppose -4 = 4*b + 4*j - 32, 0 = 3*j - 3. Let o(y) be the first derivative of y**2/2 + 4. Let i be o(b). Solve -i + 22 = -4*d + 5*u, -2*d - 4*u = -18 for d.
1
Let v be 198/(-165)*15/(-9). Solve 10 = v*l, l = -z - 0*z + 5 for z.
0
Let d = 56 - 36. Suppose -42*h + 46*h - d = 0. Solve 0 = -3*p + 5*p - 5*j + 7, 0 = -3*p + h*j - 8 for p.
-1
Suppose 0*d - 162 = 6*d. Let c = 30 + d. Solve 0 = -3*y + c*g - 24, -y + 0*y - 20 = -5*g for y.
-5
Suppose 2*m + 5*z = -15 - 4, 3*z = -15. Solve -5*f + 21 = m*a, a = -f - a + 7 for f.
3
Suppose 0 = -5*z - 5*x + 4 + 31, -x = -z + 1. Solve -2*a - 8 = 0, 30 = -5*r - 9*a + z*a for r.
-2
Let u be 64/(-11) - (40/(-22) + 2). Let t be (-8)/2 + 2 + -1. Let s be 4/u - 11/t. Solve -7 = 5*c + 4*r, 6 = -2*c - 2*c - s*r for c.
-3
Suppose 2*t = 4*x - 32, -4*t = -3*x - 6*t + 17. Solve -2*l + x - 4 = -3*g, 0 = 5*g - 5*l + 5 for g.
-1
Let f = 120 + -120. Let g(n) = n**3 - 10*n**2 + 7*n + 22. Let o be g(9). Solve o*u - 13 = -b, f*u + 15 = 5*u for b.
1
Suppose -4 = 4*l - 3*z, 5*z = l + 3*l + 12. Solve l*b + 5*c - 5 = 0, 0*b + 2*c - 1 = -b for b.
-5
Let u be (6/(-15))/(2/(-20)). Suppose -u*r = r - 20. Let a(s) = 2*s**3 + 19*s**2 + 6*s - 21. Let t be a(-9). Solve 5*z + t = -r*d, d - z + 14 = -2*d for d.
-4
Let w(a) = a**3 + 12*a**2 + 19*a - 7. Suppose -13*l + 9*l = -3*s + 52, 20 = -4*l - 5*s. Let p be w(l). Solve -20 = p*x - 5*b, 2*b = 2*x - 2*b + 16 for x.
0
Let g(j) = j. Let y be g(4). Suppose 0*x = 2*x - 2*p - 10, x - 2*p - 4 = 0. Let b be (-2)/x*(-4 - 12/(-3)). Solve -3*q - 4*k = -b*q - 26, -y*q - k = -13 for q.
2
Suppose -1 = 5*w - 11. Let j(x) = -x**2 + 3*x - 2. Let h be j(w). Suppose 0 = -3*l + 8*l - 10. Solve 3*f - 8*f - n = -3, h = l*f - 2*n + 6 for f.
0
Let h be (1 + 2)/(7 - 75/12). Solve -h*q - q + 3*j = 3, 1 = 3*q + j for q.
0
Let o(h) = h**2 + 6*h + 13. Let d be o(-4). Solve -25 = -d*v, v + 3*v = -4*z + 4 for z.
-4
Suppose 12 = -3*g + g - 4*z, 0 = g + 4*z + 8. Let j = g + 8. Solve -2*i - 2*w - 4 = 0, j*i - 5*w - 17 = 2*i for i.
1
Suppose -s = 5*u - 19, -4*u - 3 = -s - 20. Let o = 5 + s. Solve -5*y + 3 + 3 = 3*x, 4*x = o*y + 8 for x.
2
Suppose -5*u + 2*u = 0. Suppose u = -y - y + 50. Solve 13 = -3*g - a - 0, -y = 5*g + 5*a for g.
-4
Let m(i) = 7*i - 1. Let f be m(2). Let o = f + -13. Solve o = -j + 3*p - 9, 1 - 4 = -4*j - p for j.
0
Let j = 214 - 209. Solve -3*k + 4*t = -3, 7*k - j*k - 2 = t for k.
1
Suppose a + 84 = 5*a. Let g(m) = m - 11. Let i be g(a). Solve b - q = 3*q - i, -q + 2 = 0 for b.
-2
Let c = -32 + 32. Solve 0 = -5*h - 20, c*h + 4*h + 10 = 3*j for j.
-2
Let t(l) be the first derivative of l**2/2 + 10*l - 4. Let s be t(7). Solve -5*m + 35 = 5*j, 0*m - 4*j - s = -5*m for m.
5
Suppose 0 = 67*y - 64*y - 9. Solve -3 = f - 5*w - 4, -y*w = 0 for f.
1
Suppose -34 = -2*n - 24. Solve 3*l = -2*l + v - 1, -n*l + 5*v = -15 for l.
-1
Let m be 7/35 + (-414)/(-30). Solve 4*z = 3*p - 13, z = 4*z + 2*p + m for z.
-4
Suppose 3*i - 33 = -18. Suppose 3 - 2 = q + 2*x, 3*q = 3*x + 3. Let h(l) = 4*l + 1. Let j be h(q). Solve -w - i*d = w - 21, j*w - 30 = -5*d for w.
3
Let d be 85/4 - (-1)/(-4). Let q = d - 21. Solve -12 = -2*b + 2*w, q = -4*b + 2*w - w + 18 for b.
4
Suppose 4*c - 15 = -c. Suppose -7 - 5 = -c*v. Solve 0 = 5*b + 5*j - 30, -2*j = v*b + b - 27 for b.
5
Suppose 30*m = -5 + 65. Solve -m*w + 8 = g, -2*w + 3*g - 6 = -22 for w.
5
Let n(b) = -b**2 + 8*b - 9. Let d be n(6). Solve 5 = -2*u - d*u, -2*v + 4*u = -2 for v.
-1
Suppose 2*g - 12 = -4*w + 4, 3*w - g = 7. Let m be (1/(3/w)*0)/(-2). Solve -2*y + 4*k + m*k - 12 = 0, y - 3*k = -7 for y.
-4
Suppose 4827*y + 14 = 4834*y. Solve -k = -m + 5, 13 = y*m + m - k for m.
4
Let t(w) = -2*w**3 - 15*w**2 + 7*w + 5. Let d be t(-7). Let i = -91 - d. Solve -5*c + 4*f - 31 = 0, -3*c - 7 = f - i for c.
-3
Suppose 5*t + 31 = -2*l, -10*l + 3*t = -11*l - 19. Let d be 0 + -11*(-1 - 0). Solve -l*j + j + 3*a + 15 = 0, 0 = j - 2*a - d for j.
3
Let d(j) = -9*j**2 - 17*j + 39. Let s(k) = -5*k**2 - 8*k + 19. Let t(o) = 3*d(o) - 5*s(o). Let l be t(-7). Solve 2*q - 1 = -3*b + 4, 3*b + l = -5*q for q.
-2
Let a = -56 + 100. Let b = a + -35. Let x be (4*1)/(2 - 1). Solve x*j + 2 = 3*u - u, 5*j + b = -4*u for u.
-1
Suppose 11*s - 9 - 24 = 0. Suppose 0 = 3*h - 3 + s. Solve 10 = -y + 5*d, -3*y - d + 2 = -h for y.
0
Let c = -45 - -64. Solve -5*k + 16 = 3*a, 3*a - k + c = k for a.
-3
Let l(w) = -w**2 + 3*w + 14. Let c be l(0). Let s = c - 10. Solve -3*t = 3*b + 5 + s, -5*b = t + 23 for b.
-5
Suppose 0*v - 472 = 4*c - v, -2*v = -2*c - 242. Let h = -117 - c. Solve 0 = 3*z - 6, 5*y + 2*z - 2 - 2 = h for y.
0
Let q = 77 + -48. Let r = 29 - q. Let p be 11 - 11 - (-5 + r). Solve -z = -5*w - 4*z + 29, -p*z = -2*w - 7 for w.
4
Let t be (2/(-2) + -2)*-1. Let h be (-9)/3*(-48)/9. Suppose -h*u + 266 = -2*u. Solve t*a + 0*o - u = o, 1 = -3*a - 4*o for a.
5
Let q be (-1 + 1)/(-6) + 5. Solve 4*l - l + q*p = 8, 0 = 5*l + 5*p for l.
-4
Let a(l) = -l**3 + 7*l**2 + 2. Let n be a(7). Suppose -n*h = -1 - 29. Suppose 0 = -2*p - 2*x, -x + h = 4*p - 2*x. Solve 2*s + k + 1 + 0 = 0, p*s - k = 11 for s.
2
Let s(m) = -2*m**2 + 66*m + 2. Let u be s(33). Solve -u*r - 5 = 5*y + r, 5*r = -4*y - 4 for y.
-1
Let f(m) = 9*m + 18. Let r be f(-2). Suppose 0 = 3*o - 3*c - 45, 2*o = 3*c + 5 + 24. Solve r*z + z - 4 = 4*x, x - o = -4*z for z.
4
Suppose -1 + 1 = x. Let n be x/3 - (-4 - (-1 + -1)). Solve u - 4*u = -n*k + 10, -20 = -4*k + 5*u for k.
5
Suppose 3*j - 90 = 5*y, -46 - 44 = -3*