n + 16 = 4*u + 5, x = 4*n + u + 16 for n.
-5
Suppose 19 = s - g + 22, -3*g + 15 = 0. Solve -f = -s*b - 0*f - 6, 8 = 2*f for b.
-1
Let l(u) = u**3 + 5*u**2 - 11*u - 25. Let j be l(-6). Solve 0 = 5*h - j*k - 30, -5*h + k = 2*k - 24 for h.
5
Let d be (-29)/(-3) - (-16)/(-24). Let y = 12 - d. Solve 0 = -5*b + 25, 21 = -0*z + 2*z + y*b for z.
3
Suppose -10*f + 563 - 113 = 0. Solve 4*r = -4*a, 0 = -5*r - 5*a + 9*a + f for r.
5
Let z(m) = 15 + 6 + 7 + 2*m + 5. Let x be z(-14). Solve 4*g - 15 = -3*i + 4*i, -3*g + x*i = 10 for g.
5
Suppose -53*z + 48*z + 20 = 0, 0 = 2*y + 3*z - 12. Solve o + v + 14 = -3*v, -5*o - 2*v + 2 = y for o.
2
Suppose -4*o + 3*a = -39, 51*a = 4*o + 56*a + 1. Solve -z - o*h - 1 = -h, -2 = 2*z + 5*h for z.
-1
Suppose 0 = -y - 5*i - 6, -2*i + 3 - 45 = -4*y. Solve -s + 4*s - 12 = -4*p, 3*p - y = 5*s for p.
3
Let d be (-6)/(6*(-1)/20). Suppose 3*f = f + 4. Suppose -2*g - 2 = 4*c, 5*c = -3*g + c + 3. Solve -5*i + d = -g*x, f*i + 2*i - 17 = 3*x for i.
5
Let k = 32 - 32. Suppose -2*s - 3*x - 8 + k = 0, -5*s + 18 = -2*x. Solve -s*r - 2 = -3*y + y, -13 = -3*r - y for r.
3
Let w be (81/6)/(-27)*-10. Solve -3*d = 5*u + 1, -2*d + 0*d + w*u = 9 for d.
-2
Let j be (-2)/(0 + 1 - 2). Suppose -3*l + x = 192 - 215, 3*l - 3*x - 27 = 0. Solve 4*n = -j*t + 22, -n + 3*n = 5*t - l for n.
4
Let f(u) = 4*u**2 + 8*u - 24. Let y be f(2). Solve -2*v - 7 = y*n - 5*n, -2*v - 13 = -3*n for v.
-5
Let l = -8 + 12. Suppose l*f - 122 = 118. Let z = -42 + f. Solve k + 1 = -5*r - 1, -z = 3*r - 5*k for r.
-1
Let y be 0/(-5 - -4)*(-4)/(-8). Solve 4*h + 5*p - 32 = y, 5*h + 2 = 3*h + 2*p for h.
3
Let f be (-138)/(-253)*44/6. Solve 4*k = -f*v - 4, 4*k = -17*v + 18*v + 21 for k.
4
Suppose -28 = 9*m - 16*m. Solve c - 7 = m*a, -5*c + 3*c + 5 = -5*a for a.
-3
Let g(d) = -3*d**2 - 5*d - 32. Let n be g(-6). Let b be n/(-70) + (-9)/(-21). Solve -3*p - 3*c - 31 = b*p, 5*c = p - 5 for p.
-5
Let u(z) = z**2 + z + 1. Let a be u(-2). Suppose x - 4*x + 6 = -g, 0 = -g - a*x + 6. Solve -h + d = g, -d + 12 = 4*h - 2*d for h.
4
Let m(z) = -z**2 - 30*z + 26. Let s be m(0). Solve n - 3*n - 3*q + 18 = 0, 2*n = -5*q + s for n.
3
Let a(h) = h - 4. Let z be a(5). Suppose -g + z = -10. Let f = g + -9. Solve 2*x = -3*k + 3*x - 14, -3*k + f*x = 13 for k.
-5
Suppose -81 = -3*n - 3. Suppose -l = l - n. Let i = l + -9. Solve 3*s = q + i, -2*s - s + 20 = -5*q for q.
-4
Let g(d) = -d**2 + 3*d + 2. Let t be g(4). Let u be -4 + 9/(3 + t). Let h be -3 + 24 - (1 + 0). Solve -4*y - h = 0, u*m - 2*y - 16 = 4 for m.
2
Suppose 1292*j + 16 = 1296*j. Solve 8 = -4*o + 3*t - 2*t, 4*o + j*t + 28 = 0 for o.
-3
Let c = 2 + -1. Let l(y) = 2*y**2 + 1. Let g be l(c). Suppose -w = -g*s + 16, -1 + 5 = -4*w. Solve 3*n + s = z, -n - 5*z = 15 + 8 for n.
-3
Suppose 19*h - 52*h = -66. Suppose 5*d - 58 = -4*r - 7, 4*d - 37 = -3*r. Solve h*t + 0*t = -3*c + r, -27 = -3*t - 4*c for t.
5
Suppose 0 = 5*v - 4*v + 7. Let g = v + 9. Suppose 0 = 4*n - 12, 0*o - 4*o = 2*n - 46. Solve -5*j - 4*s = s + 20, -o = g*s for j.
1
Let n(u) be the second derivative of -u**4/12 - 5*u**3/3 - 13*u**2/2 + 5*u. Let k be n(-10). Let j = 17 + k. Solve -y = 4*h - 13, y + 0*y = j*h - 19 for h.
4
Suppose 20 = -24*b + 14*b. Let n be (-40)/(-30)*(-3)/b. Solve 4*s = -20, -s + 12 = -n*v - 5*s for v.
4
Let w = -53 + 41. Let c = w - -13. Solve -2*b = 5*h + 4, -4*b + c = 4*h - 3 for b.
3
Suppose 0*a = -4*a. Suppose 2*z = 6, 0*y - 2*y + 3*z = 9. Suppose y = 5*i - 33 - 7. Solve 3*w - t + i = a, -w - 10 = 4*w - t for w.
-1
Suppose -66*v + 36 = -48*v. Solve -3*n = -5*l + 27, l + v + 3 = -2*n for l.
3
Let v = -23613 + 23615. Suppose -t - t = 2*q - 2, -3*q - 5*t + 5 = 0. Suppose -2*z + 17 + 23 = q. Solve 0*g = -s + 4*g - z, -5*s + v*g - 10 = 0 for s.
0
Suppose -3*z + 30 = -5*h, 4*z - 2*h - 26 - 28 = 0. Suppose 20*k - z*k = 25. Solve -l = -3*x + 2, -3 - k = 3*x + l for x.
-1
Let a(q) = 0 + 17 - 94*q + 179*q - 88*q. Let l be a(4). Solve 0*s + 20 = l*n - 3*s, n + 4 = -s for n.
1
Let c(f) = -f - 24. Let g be c(-14). Let t be 2*(g/4)/(-5). Solve -5*m = -0*m + 5*l + 15, t = m + 5*l for m.
-4
Suppose 2*q + 99 = 5*q. Let u be 225/q - (-8)/44. Suppose h + 12 = u*h. Solve -l = 2*v + h*v + 17, 0 = 3*v - l + 11 for v.
-4
Let g = 25 - 22. Suppose -g*p - p = -216. Let r be 2/(-12) - (-9)/p. Solve c - w + 0*w + 8 = r, -4*c = 3*w - 3 for c.
-3
Let k(d) = 4*d - 102. Let r be k(27). Solve 0*h + 2*h - 2*o - r = 0, -o = 2*h for h.
1
Suppose b + 4 = -2*h, 1 + 22 = 4*b - 5*h. Solve 4*a - b*y = -22, -a - y = -0*y + 1 for a.
-4
Let j be (-6 + 3)/((52/(-24))/13). Solve 5 + j = -3*f + 5*v, 0 = -4*f + 3*v - 16 for f.
-1
Suppose -p + 3*p = 0. Suppose -2*m = 7 - 19. Suppose -m*s = -s + 4*x, -2*s - 5*x = 17. Solve 3*k - s*u + u + 24 = p, 12 = 4*u for k.
-5
Let a(h) = h**2 - 5*h - 189. Let m be a(17). Solve 0 = 5*v - 5*z - 9 + 24, 4*v - z + m = 0 for v.
-4
Let p be (-4)/8 + (-30)/(-4). Suppose p*m + 224 = -m. Let y = m + 40. Solve 0 = 3*j - 4*v + 26 - 3, -2*j = -2*v + y for j.
-1
Let y(m) = 5 - 3 - 4 - 6*m + 9*m. Let r = -5 - -7. Let s be y(r). Solve s*v = -n - 7, -3*v - 4*n - 8 = -7*v for v.
-1
Suppose 2*d + 8 = 4*o - 8, 3*o = -d + 17. Solve -n + 1 = k - o*n, k - 5*n = 1 for k.
1
Suppose 0 = -p - f + 3, -2*p - f = p - 7. Suppose -p*k = -7*k + 35. Suppose -k = -w - 5. Solve -w*r - 5*j + 10 + 11 = 0, 2*r - 6 = -2*j for r.
-2
Let w = -678 + 690. Solve u - 2 - w = -4*o, -2*o = -5*u - 18 for o.
4
Let k = -752 - -757. Solve -4*h = k*u + 19, 5*h + 5*u = -26 + 6 for h.
-1
Let o(v) = v**3 + 24*v**2 + 22*v + 18. Suppose 2*z = -21 - 25. Let c be o(z). Solve 2*j = -3*q + 6*q + 23, 4*j = 5*q + c for q.
-5
Suppose -5*u - 67 = -5*n + 58, 2*n - 3*u = 50. Suppose 0 = n*c - 20*c - 10. Solve -z - b + 1 = 0, c*z - 1 = 4*b + 1 for z.
1
Suppose 3*w - 12*i + 8*i - 23 = 0, -w + 4*i = -13. Solve -20 = -b - 3*k, -w*b + 4*k = 6 - 11 for b.
5
Let m(l) = 11*l - 11. Suppose -15 + 18 = c. Let a be m(c). Let h be (-4)/(-22) + 1568/88. Solve 0 = 3*y - 5*x + a, 3*x = 5*y + 4*x + h for y.
-4
Suppose 0*l + 5*f = 2*l - 4, -4*f = 5*l - 10. Suppose 3*d - 23 = -4*m, -2*d - l*d + m = -18. Solve 10 = -4*z - d*p, 3*z + 21 = 3*p - 0 for z.
-5
Let v(x) = -2*x**3 - 15*x**2 + 8*x + 2. Let l be v(-8). Suppose q = 7 - l. Solve 4*c = 5*w + 25, -3*w = 2*c - q*w - 12 for c.
5
Let z(f) = -f**2 + 1. Let p = -1 - 0. Let a = p - 0. Let n be z(a). Solve n = 4*g - 12, 9 = -3*k - 0*k + 5*g for k.
2
Suppose -6*p = -3*p + 3*y, 2*p = 3*y + 5. Let x be p/(-2 - (-5)/2). Suppose 15 = x*s + s. Solve 9 = -s*z - 16, -2*w + 26 = -4*z for w.
3
Let s(m) = 5*m + 63. Let y be s(-12). Suppose -4*q = y*n - 69, -3*n + 5 = q - 1. Solve 4*r - 5*h + 9 = -6*h, 0 = 4*r - 5*h - q for r.
-1
Let d be 4 - (-1 - (4 - 4)) - 3. Suppose -10 = -3*b + d*w, 6*w - w = -10. Solve 5*i - 4*a - 7 = 0, b = -5*i + 3*a - 2*a for i.
-1
Suppose 0 = -2*l + 5*l - 6. Solve 3*x = -5*c - 6 - l, 0 = -4*c - 3*x - 4 for c.
-4
Suppose -4*l + 38 = -3*j - 22, -l + 15 = 3*j. Solve -2*h - 2*h + v = 9, 0 = 5*v + l for h.
-3
Let x be 1 - (0 - (-1)/2)*2. Suppose x = -0*h - 4*h + 56. Solve 5*s + j + j - 13 = 0, -3*s + h = -5*j for s.
3
Let k = 328 - 326. Solve -2*h + 3*a - k*a - 6 = 0, 2*h + a = -14 for h.
-5
Let g(v) = v**2 + 4*v - 7. Let t be g(-6). Let r(h) = -h**2 - 9*h + 222. Let b be r(-20). Solve -4*w = b*l - 16, -3*l - 6 = w - t*w for l.
2
Let a = 4 - 4. Suppose 5*m - 4 - 6 = a. Solve -y + 5 = m*l + 1, 12 = -2*l - 5*y for l.
4
Suppose -27*s = -22*s - 10. Solve 5*a - 15 = w, -s*a + 12 = -6*a - 4*w for a.
2
Suppose -2*c - 26 = -2*p - 2*p, 5*p + 5*c + 5 = 0. Let b be (-15)/21*-6 - p/14. Solve f = 6*f - 15, 1 = b*y + 3*f for y.
-2
Let a be 48/22 + 22/(-121). Suppose -u + 9 = a*u. Solve u*j + n - 12 = -j, -3*j = 3*n - 9 for j.
3
Let k be 4 - (-1 - 1) - (-66 + 69). Solve 0 = c - k*b - 2, 4*c - 5 - 13 = 2*b for c.
5
Suppose s + s - 10 = -4*d, s = 2*d - 15. Solve -o - d = b, b + 20 = -3*b + 4*o for b.
-5
Let v be 21344/1392*-3*1/(-2). Solve f - v = 4*j, 4*f + 4*j = 3*f - 17 for f.
3
Let d(o) = o**3 - 7*o**2 + 7*o - 6. Let n be d(6). Suppose 3*v = -4*p + 18, p + v - 3*v + 1 = 0. Solve -h - f = -2*f + p, n = 2*f for h.
-3
Suppose -1 = 4*d - 213. Let b = d - 48. Solve -2*p - b*o = -35, -19 = -2*p - o - 4 for p.
5
Let l(x) = 2*x**3 + x**2 + x + 5. Let s be l(0). Solve -3*a - 4*w = 0, s*a = -5*w + 6*w for a.
0
Let 