 + o + 28, d - 20 = -3*d - o. Solve z + x = -3*v, -d*v - 24 = -v - 4*z for v.
-4
Let d(j) = 12*j + 39. Let w be d(-3). Solve -5*a = -4*b - w*a - 12, -3*b - 7 = -2*a for b.
-5
Let c(l) = l**3 + 13*l**2 + 8*l + 34. Let a be c(-15). Let f be (-4)/26 - a/104. Solve 2*b - g = f, -2*b + 4*g + 20 = -5*b for b.
0
Let u = -1 - -15. Suppose 0 = 12*v - u*v + 6. Solve -5 = d + 4*m, -m - 2 = -v*d - 17 for d.
-5
Let v be 21/(-24)*(4 + -12). Solve 4*n - z - 18 = 0, 2*n - v*n - 2*z + 16 = 0 for n.
4
Let x be ((-2)/4)/(5/(-30)). Solve 0 = 4*n - x*n - 3, -4*n = l - 9 for l.
-3
Let n be (-570)/40 + (-2)/(-8). Let d be (-108)/(-21) + 2/n. Solve 3*r + 13 = d*x, 2*r - 6 = -0*r - 4*x for r.
-1
Suppose x + 4*g = -0 + 7, -40 = -2*x + 5*g. Let h = 18 - x. Solve a + h - 14 = 5*d, -d - 2*a = 0 for d.
-2
Let t be (-4 + 1)/((-27)/(-90)). Let r be 0*(35/t + 3). Solve -u + 3 = 3*q - 4, r = 3*u + q - 5 for u.
1
Let r = 403 - 400. Solve -2*p + o = 2, 0 = p - r*o - 0*o + 6 for p.
0
Suppose 2*g = -4*q + 30, 8*g - 7*g + 15 = 4*q. Solve -8*d + 4*d - 5*o - 29 = 0, 0 = q*d + 2*o + 15 for d.
-1
Let v be -2 - -27 - (12/(-3) + 5). Solve -4*c = -k - 15, 3*k - 5*c + v = -0*k for k.
-3
Let z be (6/9)/((-2)/(-6)). Let o be 3/(-27)*z - 60/(-27). Solve f + f + 4 = o*m, -3*m = 5*f + 26 for m.
-2
Let x(w) = -w**2 + 4*w - 1. Let m be x(3). Let d(b) = 6*b**2 - 11*b + 10. Let z be d(1). Solve -2*y - 2*t = 0, -z*t - 2 + 8 = m*y for y.
-2
Suppose -4*q + 2*h = -18, 3*q - 5*h + 8*h = 18. Solve -3*k - 9 = 0, q*a + 0*k - 2*k = 16 for a.
2
Suppose -3*t - 3*u + 6 = 0, -3*t + 11*u - 8*u = -36. Solve -4*o - 37 = s + 4*s, -o = -2*s - t for s.
-5
Let x = 14 - 7. Suppose 3 = -f + x. Solve 4*g + 5 - 14 = -r, 3*r = f*g - 5 for r.
1
Let w = 43 + -24. Suppose 4*l + p - 7 = 0, -7*l - 5*p - 13 = -11*l. Solve 3*d + l*y = -w, -4*d + 4*y = -0*y + 12 for d.
-5
Let k(f) = f**2 - 31*f + 234. Let g be k(18). Solve 3*x - w + 11 + g = 0, x - 4*w = 11 for x.
-5
Let i(n) = -2*n**3 + 10*n**2 - 3*n + 6. Let y be i(4). Let w = 31 - y. Suppose -w*r + 0 + 25 = 0. Solve -4*x - x = -r*p + 20, 5*p = 3*x + 12 for x.
-4
Let o be (-7 - -1)/((-36)/96). Suppose -7*n + 3*n = -o. Solve -n + 1 = -3*y - 4*c, 6 = 2*y + 4*c for y.
-3
Suppose 5*k = -a - 14, k - 2 = -a - 0*k. Suppose -5*l = -10*l - 10. Let z be a/4*2 - l. Solve o + 3*m = 6, 4*o + z*m - 5 = 5 for o.
0
Let y be ((-16)/(-10) - 22/(-55))*-1. Let j = 6 - y. Solve -1 - 3 = 4*t - 4*l, 3*t + j = 4*l for t.
4
Suppose 5*u - 20 = 0, 2*w - u + 3*u - 62 = 0. Let f be (-36)/w + (-58)/(-3). Solve 4*r = i + f, 2*r - 3*i - 19 = -3*r for r.
5
Let r(j) = j**2 - 1. Suppose -5*h + 3*x - x = -15, -2*h - 18 = 4*x. Let p be r(h). Solve -2*y + 6 = -p*w + 3*w, -y = 3*w - 3 for w.
0
Let h = 8 - 6. Suppose 0 = -16*u + 18*u - 10. Solve 26 = 4*n - u*b, -n - h*n = -4*b - 20 for n.
4
Let u(b) = b**2 + 7*b + 6. Let d = 70 - 76. Let w be u(d). Solve 0 = -3*z - 6, w = c - 0*z - z - 6 for c.
4
Let j = -37 + 63. Let g be (-22)/(-10) - (-24)/(-120). Solve 3*c - 2*m + 11 = j, 2*m = g*c - 10 for c.
5
Let c = 1 - 7. Let v(j) = -4*j - 19. Let r be v(c). Solve 3*o + 7 = -w, 5*o - r*w + 5 = -0 for o.
-2
Let b = 87 + -59. Let g = b + -28. Solve -i + 2*i + y - 5 = g, -3*y + 18 = 4*i for i.
3
Let n(j) = 6*j**2 + 44*j + 17. Let i be n(-7). Solve -3 = 3*m + 3*q - 0, -9 = 5*m + i*q for m.
-3
Let w = -28 + 31. Solve 4*q + 5*f = 7, -5*f + w*f = 2 for q.
3
Let z = -8 - -7. Let g = 9 + z. Let n = 8 - g. Solve v + 2*b = 5, 0 = 2*v - 3*b - n*b - 10 for v.
5
Let r be (-5)/2*384/(-320). Solve p - 2*n = 4, 4 = 3*p - r*n + n for p.
0
Suppose 7*w - 1 = 3*y + 3*w, -3*w + 12 = 0. Suppose 2*g - 7 - 3 = 0. Suppose 5*a - 8 - 17 = 0. Solve 35 = -a*i - g*c, -y*i + i - c = 22 for i.
-5
Let p = 84 + -61. Solve -r + 6 = -4*b + p, -5*r - 4*b = -11 for r.
-1
Let j = -2 - 14. Let x = j + 16. Solve x = 3*y - h + 3*h - 23, 2*y - h = 6 for y.
5
Let t = -1708 + 1708. Solve -3*a + 2*b - 14 = t, 2 = -4*b + 6 for a.
-4
Let c(m) be the third derivative of m**5/60 - m**4/24 + m**3/3 - 9*m**2. Let b be c(4). Solve 3*i = -0*n + 4*n - 11, 4*n - 2*i - b = 0 for n.
5
Suppose -r + 8 = r. Suppose -2*i + i = -r. Let g = 9 - i. Solve -g*z + z = -4*s, 10 = 2*z - 4*s for z.
-5
Let q be (4 - 2 - 3)*-10. Suppose h = 5*h + z - 6, -8 = 4*z. Suppose -h*k + 3 + 1 = 0. Solve 3*t = 2*m - 10 + k, -4*m = -3*t - q for t.
-2
Let k be (-1)/((42/(-30))/7). Solve 4*f - 2 = 3*g, 3*g = -4*f + k*g for f.
-1
Let i = -30 + 32. Suppose i*b = -o + 123, 3*o - 30 - 39 = -b. Let q be (-1)/(-4) - b/(-16). Solve -4*g + q*j + 4 = 0, -g + j = 4*j - 13 for g.
4
Let y(z) = z**2 + 9*z + 22. Let x be y(-6). Suppose -4*b + x = -3*b. Solve b*p = 4*w + 4, -3 = w - 1 for p.
-1
Let k = 9 - 14. Let o be k/(-2)*24/10. Let s = o - -14. Solve -2*p + 5*i = -7*p + s, p - 9 = -2*i for p.
-1
Let l(k) = -2*k**2 - 120*k + 251. Let p be l(-62). Solve 3*g - 7*g = p*f + 20, -3*f - 25 = 5*g for f.
0
Let m(v) = 2*v**2 + 13*v + 24. Let y be m(-6). Solve 3*g - y = 5*k + 2*g, 2*g + 8 = -k for k.
-4
Let z = 289 - 285. Solve -f + 14 = 5*o, -o = -z*f + o + 12 for f.
4
Suppose 0 = 4*k - 0*k - 20. Suppose -5*y - 35 = -5*c, 0*y = -k*c - 2*y. Suppose c*z = -z + 3. Solve -3*d - 2*d = 2*h - z, 3*d - 5 = h for h.
-2
Let n = -62 + 62. Suppose n = 3*w - 13*w. Solve w = 4*h + 5*o + 36, -3*o = -h + 5 + 3 for h.
-4
Let d = -153 - -155. Suppose d*f - 2*h - 4 = 4, -3*h = -5*f + 16. Solve f*p = 4*q - 3*p + 17, 12 = -3*q + 3*p for q.
-3
Let i = 6 + -6. Let c(w) = -2*w + 30. Let z be c(13). Solve 3*p = -3*f - i + 9, -3*p + 8 = z*f for p.
4
Suppose 3*z = -15, -2*b - 26 = 5*z - 7. Solve 1 - 3 = c + u, -4*c - 8 = -b*u for c.
-2
Suppose -2*r - 3*d = -43, -10*r + 81 = -6*r + d. Solve -3*g = -4*x + 25, -4*g - r = -0*g - 2*x for g.
-3
Let m = -295 - -341. Solve -4 = -r, -m + 5 = -5*o - 4*r for o.
5
Let l(t) = -4*t**2 - t + 2. Let q be l(1). Let a be 3 + (1 - ((q - -3) + 3)). Solve 3 = 4*i + 2*w + 1, 0 = 5*i + w - a for i.
0
Suppose 5*c - 20 = -b, -206*b = -208*b - 3*c + 19. Solve 5*x - 4*j + b = 0, -2*x + 0*x + 2*j = 0 for x.
-5
Let k(s) = s**3 - 6*s**2 + 7*s + 7. Let w be k(4). Solve -4*u + 13 = -w*x - 3*u, u = -4*x - 22 for x.
-5
Let k(q) = -5*q - 107. Let s be k(-22). Solve -x + s*a = 3*x + 15, 3*x + a = 5 for x.
0
Let d(q) = q**2 - 5*q - 6. Let r be d(6). Suppose b - 35 + 28 = r. Solve -4*c + m - b = 6, 4*c = 2*m - 14 for c.
-3
Suppose -4*g + 12 = -g. Suppose -g*i + s + 8 = 0, -4*i - 5*s + 23 = -3*i. Suppose i*n = -0*n + 45. Solve 0 = 2*y - 5*l - n, -3*l + 5 = -2*y - 2*l for y.
-5
Let k(p) = -p**2 - 49*p - 593. Let a be k(-23). Let r = -11 + 15. Solve r*u = a*n + 8*u - 32, 0 = 3*n + 4*u - 24 for n.
4
Let f(t) = 8*t + 5. Let g be f(-2). Let a = g - -19. Let w be (-1)/(-1)*(0 - -3). Solve -2*s - a*d - 15 = -3*d, s + w = -d for s.
0
Let c be 5 + -3 + -1 + 2. Solve v + c*v - 20 = 0, -p = 4*v - 22 for p.
2
Suppose 33 = 4*g - 5*w, 2*g + 83 = -2*w + 77. Solve 2*l + 4 = 2*h, 0*h + 19 = -g*l + 5*h for l.
3
Suppose -3*w + 26 = -4*p, -3*p - 2*p = -2*w + 29. Solve -2*t = -10, 3*m + 2*t = -w*m for m.
-2
Suppose 38 = 5*j + 13. Let f(n) = 6*n**3 - 2*n**2 + n. Let d be f(1). Suppose 3*m + d = 4*m. Solve 2*q - 1 = -m*g, j*q - q = -2*g + 10 for g.
-1
Let p = -16 - -18. Suppose -3*g - 2 - 7 = 0. Let z be 39/9 + (-2)/g. Solve v - 15 = z*h - p*h, -5*v - 15 = 3*h for h.
-5
Suppose b - 4*b - 8 = -5*d, -2*b - 12 = -5*d. Solve -3*k - 3*p = 21, -4*k - d*p = p + 32 for k.
-3
Let y(t) = 2*t**3 + 5*t**2 + t - 2. Suppose -24 = 2*m - 4*k, m + 4*k + 13 - 31 = 0. Let i be y(m). Solve i = 4*c + 4*s - 12, 10 = 3*c + 3*s + s for c.
2
Let t(s) = -s**3 - 3*s**2 - 2*s. Let c be t(-4). Let f = 28 - c. Solve -m + f = 0, -m + 1 = 5*y + 7 for y.
-2
Let u = 79 + -81. Let k be (8/12*-3 - u)/2. Solve 6 = -2*d, k = 3*n + d - 3*d + 3 for n.
-3
Let t(p) = 2*p - 16. Let y be t(5). Let r be 792/63 - 2*y/28. Solve b + j - r = -2*j, 3*b - 9 = -3*j for b.
-2
Let a = 1139 - 1139. Solve a = 4*i - 2*v - 4 + 2, -i + v = -2 for i.
-1
Let g = -357 + 360. Solve -5*n - 7 = -5*h - 2, -g*h = n - 15 for h.
4
Let i be (7/3)/(-7)*-15. Suppose -2*d - i*a = -16, 2*d + a - 8 = -0*a. Let o(k) = k + 16. Let r be o(-12). Solve d*m = r*n - 6, 4 = -2*m - 5*n + 2*n for m.
-2
Suppose 656*r = 661*r - 5. Solve -5*z - 7 = 3*o, -5*o + 4 = -r for z.
-2
Suppose 7*j - 9*j = -10. Suppose 3*f - j*h = f + 1, 0 = 2*h - 2. Solve 5*