+ 10 = -22*b. Let k be 3/(-6)*(b + 2). Suppose k = v + v. Solve z + 1 = 4*a, 7*a - 2*a - z = v for a.
-1
Let q = -4099 + 4101. Let n(p) = p**3 - p**2 + 11. Let r be n(0). Let b be 0*((-6)/4)/(-3). Solve -d = -3*u + 10, b = -q*d + u + 2*u - r for d.
-1
Suppose 0*j = 3*j - 108. Let f = -36 + j. Solve 7*p - m + 11 = 2*p, -2*p + 2*m + 2 = f for p.
-3
Let u = 2489 - 2458. Solve -4*w - 3*q - u = 0, w - 2*w = 3*q + 19 for w.
-4
Let m(w) = -3*w. Let c be m(1). Let v = c - -6. Suppose o - 7 = -2*t - 0, -3*o + v*t = -3. Solve -u + 2*u - h = o, -7 = -u + 2*h for u.
-1
Let l(q) = -q**2 + 3*q - 5. Let t be l(5). Let h = t + 18. Suppose 2*p + 4 = h*p. Solve p*v + g = -21, v = -2*v - 2*g - 22 for v.
-4
Let x = 790 + -790. Solve x = -3*n - o + 12, -6 = o + o for n.
5
Suppose -5*f + 9 = g - 6, 27 = 5*g + f. Solve 2*v = -3*u - g, 0*v + 1 = -2*v + u for v.
-1
Suppose -g + 51 = 2*a, 6*a - 18 = 5*a + 2*g. Let p = a - 20. Solve 5*c + p*z - 41 = 0, c - 2*z + 3 = -0*z for c.
5
Let o be (-2 - -3)*(26 + -1). Let x = o - 25. Suppose -5*k - 1 = -3*g, g + x*g - 4 = -2*k. Solve -g = 2*z + 2*z + 2*p, -2*p = -4*z + 10 for z.
1
Suppose -m = 2*k - 26, -2*k - 3*m = -8*m - 38. Solve 4*t + 12 = -2*s + k, 6 = 2*t for s.
-5
Suppose 2996*r = 2986*r + 160. Solve 3*w + r = -w - 2*l, -22 = 3*w + 4*l for w.
-2
Suppose -7*u + 36*u = 116. Solve i + 1 = 0, -2*a - 3*i = -u*a - 7 for a.
-5
Suppose -6 + 14 = -i. Let z be (-30)/(-2) + i + 5. Suppose -2*w + 3*w - 5 = -y, -4*y + 4*w + z = 0. Solve 3*n = -c + 8, 0*c = 4*n + y*c for n.
4
Suppose m - 4*q = 0, -2*q = -0*m - m - 2. Let f(o) = o**3 + 5*o**2 + 6*o + 9. Let u be f(m). Solve -3*b = t + 5, -16 + u = 3*t for b.
0
Let v = 34 - 30. Suppose 5*h = v*d + 67, -28 = -3*h + h + 2*d. Let m = 4 + -2. Solve 2*i - 3*b = 6, h = -i - m*b - 0*b for i.
-3
Let l be 8 - (17/(-34))/((-1)/8). Solve -2*r = -m - l, 0 + 1 = 2*m - r for m.
2
Let d(t) = -4*t + 6. Let g be d(2). Let b = g + 8. Solve -20 = -b*s + s, 5*h + s + 16 = 0 for h.
-4
Let o = -75 + 107. Solve -4*a - 15 = -a, o = 3*x - 4*a for x.
4
Suppose -5*v - 3*g + g = -5, 0 = g + 5. Let x be 4*2/6*v. Suppose 2*t = 4*t - 4, -3*t = -3*s. Solve -b - 13 = b + 3*d, x*b = -s*d - 14 for b.
-2
Let z = -700 - -700. Solve -y + 6 + 1 = -3*p, z = -2*p - 6 for y.
-2
Let n(r) = -r - 9. Let q be n(-5). Let l be 1*(q - -8 - 1). Solve 22 = -5*j - d, -l*j + j = 5*d + 18 for j.
-4
Suppose -3*w = k, 3 = 3*w + 6. Let o be 3 + (0 - (k - 2)). Let i be 25/(-10)*(-12)/o. Solve c - 11 = 3*f - 8*f, 5*c + 5*f - i = 0 for c.
1
Let u(j) = j**2 + 6*j + 6. Suppose -8*h + 9*h = -6. Let x be u(h). Solve -3*c = 5*d + x, 10 = -5*c - 4*d - 0 for c.
-2
Suppose -3*r - 3*q + 2*q + 15 = 0, 3*r - 5*q = -3. Suppose 0 = -5*c - r + 19. Suppose c*m = m. Solve -4*h = 5*a - 7*h + 20, 5*h = m for a.
-4
Suppose -3*z - z - 6 = -2*m, -12 = -4*m - 4*z. Suppose v + a = -m*v + 8, 3*a = -2*v + 4. Solve 2*r = 4*r - v*f - 20, 3*f = 2*r - 25 for r.
5
Suppose -c = n + n + 2, 0 = n + 2. Let t be (-16)/6 + c - (-10)/15. Solve -5*j - 4*f + 13 = t, 2*f + 0 = 5*j - 1 for j.
1
Let d be (8/(-28))/((-1)/14). Solve -4 = 4*i + d*f, -2*i = -3*f - 26 + 3 for i.
4
Let a(v) be the second derivative of v**3/6 + 9*v**2/2 + 3*v. Let h be a(-4). Solve -n - 17 = o - 4*n, -27 = o - h*n for o.
-2
Suppose -2*z + 20 = 3*j, 2*j = -3*j - 3*z + 32. Let t be (-1)/4 - (-2)/8. Let r = j + t. Solve -3*v = r*n - 3*n + 5, n = -5 for v.
0
Let p = -18 + 29. Let m(q) = 6*q + 7. Let z be m(2). Let s = -16 + z. Solve a = s*g + 11, -2*g - p = -1 for a.
-4
Let t(z) = -15 + 7 + z**2 - 2*z - 10*z. Let b be t(13). Solve 3 = 2*d - 3*o - 8, 2*d = o + b for d.
1
Suppose 3*x - 2*f + 277 = 0, -6 - 6 = 3*f. Let d = x - -111. Solve 5*c + 24 = -4*p, 2*p - d + 2 = 4*c for c.
-4
Suppose -11 = -y - 2*y + m, -3*y + 19 = m. Let k(r) = -r + 10. Let f be k(8). Solve 5*h - 8 = f*q, -2*h + 6*h = -y*q + 13 for q.
1
Let m(y) = -14*y**2 + y - 1. Let a be m(1). Let c = a + 17. Suppose -2*o + c*w = 3, 5*o + 12 - 30 = -w. Solve o*q - 5 = -p + 1, 0 = -3*q + 4*p - 9 for q.
1
Let g = -11 - -14. Suppose 4*u + g*f = 8 + 6, 4*f = -2*u + 12. Let j(a) = -a + 5. Let l be j(u). Solve -l*p + 1 = 3*t - 4*t, 6 = 3*p for t.
5
Let u = 14 - 11. Suppose -2*q - u*q - 90 = 0. Let y be 4/q + 276/27. Solve 0 = 2*f + 3*n - y, -f - 7*n + 10 = -3*n for f.
2
Let s be (4/(-2))/((-28)/70). Suppose x + 8 = s*x, 3*y - 10 = -2*x. Suppose -2*w - y*w = 0. Solve 4*z - 20 = 0, 2*z + w*z - 11 = o for o.
-1
Let r be (391/(-51))/((-1)/(-3)). Let q = -13 - r. Solve -q = 4*d + 2*m, 3*d + 11 = -d - 3*m for d.
-2
Let i = -25 + 28. Suppose i*b + 5*k = 9 - 2, -3*b - 4*k + 8 = 0. Suppose 5*p - 3*a = 16, 0 = -p + 3*a - b*a. Solve -u - 2*x + 10 = 0, -5*x + 4 + 3 = -p*u for u.
4
Let x(k) = -12*k + 31. Let p be x(-6). Suppose -2*g - 3*z - p = -6*g, -3*g = 5*z - 41. Solve 0*f + 16 = 4*m + 2*f, -4*m = 5*f - g for m.
3
Suppose v - 1 = 2*v + c, 0 = -c - 5. Solve 2*a = -3*j + 25, -1 = -v*j + 2*a + 9 for j.
5
Let l(v) = v**2 + 2*v - 3. Suppose -5*t = 11 + 9. Let b be l(t). Solve -h - 19 = 5*u, 3*h + b*u = h - 18 for h.
1
Let t(o) = -o**3 - 6*o**2 + 5*o + 46. Let a be t(-6). Solve 3*h + 5*u + 2 = a, -5*u = -h - 22 for h.
-2
Let l(w) = w**3 + 9*w**2 - 11*w - 7. Let j be (0 - -1)*(3 + -9 + -4). Let v be l(j). Solve -2*h + 14 + 9 = -v*d, 5*d + 2*h + 17 = 0 for d.
-5
Suppose 0 = -5*f + 29 - 19. Suppose -r = -0*r + 1, -r + 5 = f*i. Solve i*a - 11 = g, -g - 3*g + 11 = -a for a.
5
Suppose -2*m - 12 = 4*t - 84, -79 = -2*m + 3*t. Let f be 2 - 8/6 - m/(-6). Solve -2*i + f = -5*h, 0*i = 3*i + 2*h - 1 for i.
1
Suppose l - 114 = 7*l. Let q = l + 22. Let o = 8 - 6. Solve 14 = -4*m - q*v, -3*m - o*m = v + 12 for m.
-2
Suppose -7*h = -8*h + 27. Suppose -5*o = -2*o - h. Solve -4*a - 3*l = -2*a + 3, 5*a - o = -2*l for a.
3
Suppose -423 + 378 = -9*d. Solve 3*y = k + 2*k, -3*k = d*y for k.
0
Let s(o) = -o - 1. Let f be s(-6). Let g = 15 - 10. Suppose 2*y - 4*r = -10, -g*y + 13 = -2*y + r. Solve 0 = 4*l - y*j + 9, -l - j + 3 = -f*l for l.
0
Let i(c) = c + 2. Let r be i(0). Suppose -3*s = -r*t - 4*s, -5*t - 2*s = -2. Solve -5*w - 4 = 4*y, 0 = 4*y + y - t*w - 28 for y.
4
Let t be (3 + -1 + 5/(-2))*0. Suppose 2*f + 5*a = -t*f + 43, a = -f + 14. Solve -2*l + 2*c + 1 = -f, c + 20 = 4*l for l.
5
Suppose 72 = 13*m + 59. Solve 6 = -3*p - 4*g, 0 = -p + 4*g - 3 + m for p.
-2
Let g be 642/16 - (-10)/(-80). Let m = g + -32. Suppose 4*f - f + 2*z = 21, 4*f = 4*z + m. Solve 0 = -4*r + 3*o - 0*o + f, 0 = 2*r + 2*o - 20 for r.
5
Let t be -6*1/2*-1. Suppose -t*i = -m - 6, -4*i + 3*m = -3 - 0. Solve 7 = 3*h + 5*l, 4 - 12 = -i*h - 4*l for h.
4
Let f(v) = -2 + 2*v + 1 - 4*v - 11. Let j be f(-7). Solve -5*l + m = 9, -j*l + 5*m = 4*m + 3 for l.
-2
Let b = -2739 + 2743. Solve b*k + 26 = 2*g, -4*k = 4*g - 3*k - 16 for g.
5
Let j = -23 + 25. Solve -4*f + 3 = p, -f - j + 8 = -5*p for f.
1
Let l(t) = 3*t**2 - 4*t - 1. Let m be l(2). Suppose m*r + 8 = 17. Solve z + 4*h - 3*h = 0, -r*h + 30 = -3*z for z.
-5
Suppose 2*x + 4*y = -4, 5*y = -5*x + 8 - 3. Let u = -281 + 285. Solve x*f = -h - h, -u*h - 3*f = -10 for h.
4
Suppose 0 = -v - 0*v + 100. Let c = -59 + v. Let n = c + -28. Solve -2*t + 4*a = -18, -n = -3*t + a - 1 for t.
3
Let a be (45/10*(-4)/(-3))/3. Solve 4*o = -a*x - 4, x - o + 2*o + 2 = 0 for x.
-2
Let w be (-16)/(-4)*3/4. Let r = -861 + 863. Solve 14 = 5*s - 6*s - 2*u, r*s + w*u = -23 for s.
-4
Let s = 669 + -667. Solve -2*b + 11 = -g, s*b - 12 = -2*b for g.
-5
Let h = 418 - 412. Solve -v + 0*j - j = 2, 5*j - h = 3*v for v.
-2
Suppose 0 = 3*x + s - 5, 4*s + 22 = 5*x + 8. Let b = 260 + -258. Solve 2*v + 2*v = -2*z + 2, 2*v = -x*z - b for v.
2
Let b = 18 + -12. Let i(n) = -n**2 + 9*n - 13. Let r be i(b). Suppose -r*t - j - 3 = -30, -3*t = -3*j - 9. Solve -7*c = -t*f - 2*c + 10, 3*c = -6 for f.
0
Let l(r) = -4*r**2 + r + 4. Let d be l(0). Solve 7*a = -4*t + 2*a - 33, 2*a = 3*t - d for t.
-2
Let k(u) = -u**3 - 16*u**2 - 15*u + 5. Let r be k(-15). Solve 0 = -4*n - 3*d + 3 + 1, -5*d = r*n for n.
4
Let y(m) be the second derivative of m**5/10 - m**4/12 + m**3/6 + 5*m**2/2 + m - 24. Let x be y(0). Solve 22 = 4*t + p + p, -5*t + x*p - 10 = 0 for t.
3
Let v = -37 - -5. Let r = 32 + v. Solve -4*z - 14 = o - 0*o, -o - z - 5 = r for o.
-2
Let d(g) = -3*g**2 + 12*g + 2*g**2 - 14 + 16. Let q be d(12). Solve o = c + 8, 16 - q = -3*