*b, -d*b = a - 9 for a.
4
Suppose -i + 2*c - 14 + 3 = 0, 4*i = 4*c - 48. Let m = i - -6. Let n = 5 - m. Solve -4*j - 2*v + n = 0, 4*j + v = 20 - 4 for j.
5
Suppose 2*u - 6 - 4 = 0. Solve -u*d = -5*p, 5 = d - 0 for p.
5
Let v be 3/9 + (-8)/6. Let u = 4 + v. Solve 3*t + 15 = 0, -u*m = m - 3*t - 35 for m.
5
Let k = -12 + 14. Suppose 0 = -k*u - 4 + 10. Solve -2*t = 4*x + 10, -3 + 10 = -2*x - u*t for x.
-2
Suppose -3*z + 11 + 16 = 0. Suppose 9*b = 6*b + z. Solve 5*j - 15 = 0, 3*j - 7 = b*d + 14 for d.
-4
Let b(i) = 4*i**2 + i. Let g be b(-1). Solve -6 = -0*f - g*f, -r + f = 5 for r.
-3
Suppose -5*q = 4*h - 403, 303 = -0*h + 3*h + 3*q. Suppose -4*z + 5*v = -h + 21, -3*z + 4*v = -61. Solve z = -5*o + b, o - 3*b + 2 - 1 = 0 for o.
-4
Let t be (-1)/(-5) + (-38)/(-10). Suppose -t*l = d - 0*l - 22, 0 = 4*l - 16. Suppose 0 = -d*m + m + 15. Solve z - 2*r - r - 2 = 0, 0 = m*r + 6 for z.
-4
Let a(x) = -x**2 + 11*x + 3. Let y be a(11). Solve -3*t - 8 = 5*b, -5*b + t - 1 = y for b.
-1
Let g(a) = -a**2 - 21*a + 51. Let u be g(-23). Solve 0 = -2*f - 4*w - 6, 0 = f - 4*w - 20 + u for f.
3
Let j(v) = v**2 + 8*v - 14. Let p be j(-8). Let q = p - -27. Solve 4*s - 7 = 3*s + 2*w, 5*w = 4*s - q for s.
-3
Suppose -3*i - 2 + 23 = -3*x, 0 = -i + 3*x + 11. Solve 2*p + i*l + 17 = 0, 2*l - 4*l - 6 = 0 for p.
-1
Let v(j) = j + 2. Let h be v(3). Solve -4*m + 0*s - h*s = 3, -2*m + 4*s - 8 = 0 for m.
-2
Suppose 3*v = -1 + 10. Solve v*u - 7 = z, 36 = 4*u + 4*z - 0*z for u.
4
Let x(m) = 0 - 4 + 1 + 0 + m + m**2. Let q be x(-3). Solve q*i = 2*i + 4*d + 16, 4*d = -2*i - 16 for i.
0
Let v = 49 - -8. Suppose 0 = 4*s - 157 + v. Solve -4*p = 5*r - s, 0 = 2*p - p for r.
5
Suppose -5*x - 8 = 2*m, 0*m - 8 = -2*x + 2*m. Solve g - 5 = 2*o, 3*o - 3 = 5*g - x for o.
-4
Suppose -4*o + 31 - 3 = 0. Suppose 4*x - 15 = -x. Solve 4*m - 2*d + 4*d - 4 = 0, 0 = x*m - d + o for m.
-1
Let x = 45 + -45. Solve -z = 4*d - 12, 4*d + x*d - z = 20 for d.
4
Let f = -13 - -9. Let p be f/(-14) + 57/21. Let y be ((-6)/p)/(2/(-3)). Solve x = -5*g - y*x - 22, -3*x - 5 = -2*g for g.
-2
Suppose -14 - 31 = -3*j. Solve -5*a - 2*y = 19, 3*a - 2*y + 5*y = -j for a.
-3
Let n(r) = r**2 - 3*r. Let w be n(4). Solve 2*v = -4*h + 10, -3*v + w*v + 3*h - 8 = 0 for v.
-1
Let r = -14 + 24. Suppose s = -2*c + 9, -2*c = s - 6*c + 21. Let v = 4 - s. Solve -r = 4*k - 3*u + u, k - 3*u - v = 0 for k.
-4
Let o = 222 - 219. Let u(t) = -3*t**3 - t**2 + 2*t + 1. Let m be u(-2). Solve -j + m = 4*n, -2*n = o*n - 2*j - 31 for n.
5
Suppose -5*o = 3*c - 109, 4*o + c = -2*c + 89. Suppose o = 5*a - 90. Solve 4*y - 3*i - a = -i, 4*y + 4*i - 16 = 0 for y.
5
Suppose -6*y + 2*y = 0. Let f = 35 + -32. Suppose f = i - y. Solve -c - i - 5 = 2*v, -2*v + 4 = -5*c for v.
-3
Let o = -2 + 18. Solve -4*j - 4*c = -o, j - 4*c + 7 = -9 for j.
0
Let o = -4 + 14. Suppose 5*u + l - 25 = 0, 3*u - 17 = -3*l + o. Solve -z = s + u*s, -2*z + 15 = -5*s for s.
-1
Suppose -3*n + 3 = -f - 4, 0 = -5*n - 2*f + 19. Let s be 3 + n + 4/(-2). Solve -j = 0, -3*b - 5 = -8*b + s*j for b.
1
Let i be 2*(14 - (0 - (-1 + -1))). Solve -i = -3*u + u - 4*o, -5*o = 2*u - 29 for u.
2
Suppose 2*x - 6 + 2 = 0. Solve -2*h + 21 = v - 7*h, -14 = x*v + 4*h for v.
1
Suppose -7*t + 6*t = -7. Solve 4*a - w + 10 = -12, 0 = -3*a - 4*w - t for a.
-5
Let d be (-3)/(-2)*(-16)/(-3). Let y(c) = -2*c + 4*c + 0*c - d. Let m be y(7). Solve 4*k = 3*w - 5, 5*k - m*w = -w - 5 for k.
-2
Suppose -13*a = -12*a - 2. Solve -4*k + 5 = y, 3*y + 2*y - a*k - 25 = 0 for y.
5
Let f(s) be the third derivative of -s**5/60 + s**4/3 + s**3/2 + 4*s**2. Let l be f(4). Solve 4*i = v - l, -v + 5*i + 7 = -16 for v.
3
Let n = 56 - 56. Solve 5*q - 5 = 4*h + 16, n = -2*q - 5*h + 15 for q.
5
Suppose 0 = -5*u + 24 - 4, -5*u = y - 20. Suppose 0 = -4*c - 3*j + 39, c + 5*j - 14 = -y*j. Solve t + c = -4*h, 10*t + h = 5*t - 7 for t.
-1
Let d = -5 - -2. Let a be 3 + ((-6)/d - 5). Solve -24 = 4*v - a*v - 4*q, 0 = -3*v + 5*q - 26 for v.
-2
Suppose 0 = -z - 1 + 7. Suppose 20 = z*h - h. Solve 14 = -3*g + l, -h*l + 10 = -2*l for g.
-3
Suppose -3*q + 4 = 3*b - 2, -4*b + 5*q = 37. Let o be 3*b/((-9)/4). Let x be 32/3 - o/(-12). Solve 0 = -5*a + 4*z + 3, 4*a + 5*z + 3 = -x for a.
-1
Let m(o) = o**3 - 9*o**2 + 4. Let r be m(9). Let y = r + -4. Solve y = 4*n - 3*x + 27 + 5, -4*n - 28 = -2*x for n.
-5
Let m(f) = -f**3 + 10*f**2 + 9. Let g be -20*(1/2 - 1). Let y be m(g). Let h = -5 - -12. Solve 5*x - 3*w = h + 13, 4*x - w = y for x.
1
Suppose 4*q - 3 = 17. Let a be 2*(15/2)/5. Suppose 0 = -3*s + 2*s + a. Solve 5*g - 16 = -s*i - 46, -2*g = q*i + 31 for g.
-3
Let k(n) = 2*n + 11. Let r be k(-4). Solve -3*f + s = -5, 0 = 3*f - 7*f + r*s + 15 for f.
0
Let y = 10 + -8. Let a be (2 - 3)/(y/(-8)). Solve -4*q + 3*w = 5 + 8, 0 = 3*q - a*w + 15 for q.
-1
Let t(v) = v**3 + 10*v**2 + 11*v + 10. Let f be t(-9). Let d be 4/(-7) - f/14. Solve -c - 4*l - 24 = -5*c, -2*c - 4*l - 18 = d for c.
1
Let t = 1 + -1. Let b = -32 + 52. Let u be (3/4)/(144/768). Solve t = -u*f - 20, 5*c = -3*f - b - 5 for c.
-2
Suppose 0 = -i - 2*j - 4, 3 = 3*j + 6. Let s be 0/(i/(-4)*-2). Suppose 5*w - 14 = -2*z, w + s*w + 3*z = -5. Solve -p = -w*r - 11, 4*r - 4 + 3 = -3*p for p.
3
Let h(s) = 10*s**2 + s - 1. Let u be h(1). Let y be (-4)/(-8) + 22/4. Solve 5*b + u = y*r - r, 5*b - 8 = -4*r for r.
2
Let p(n) = n**2 - 2*n - 4. Suppose -14 = 5*o - 0*o - 2*k, 0 = 4*o + 5*k - 2. Let w be p(o). Solve -4*i + 2*i + 3*u = -12, -u - 4 = w*i for i.
0
Let c = 11 - 8. Solve 4*f + n - c*n = -6, f - 6 = -n for f.
1
Let q = 201 - 200. Solve 3*z + 3*w = 0, -2*z + 2*w + q = 5*w for z.
-1
Let j be ((-2)/6)/((-1)/6). Solve 3 = p + 2*r + 5, -j*p - 4 = 3*r for p.
-2
Suppose 0 = -2*q - 2. Let t be (-32)/24*(-4 - q). Let i be (-61)/(-3) - 1/3. Solve -t*a - i = -4*h, -5*a + a + 5*h - 25 = 0 for a.
0
Let u(l) = l**2 - 4. Let a be u(3). Let z(r) = -2*r - 13. Let s be z(-8). Solve a*c + 4*x - 3*x - 29 = 0, -3*x - 3 = -s*c for c.
5
Let b = 31 - 26. Solve -3*f + 14 = -b*r, 0 = -5*f - 8*r + 3*r - 30 for f.
-2
Let t(r) = r + 12. Let w be t(-8). Solve w*l + s + 28 = 9*l, -9 = 3*s for l.
5
Let u(c) = -2*c - 7. Let r be u(-4). Solve 5*s - j + r = 0, -1 = s - 4*s - j for s.
0
Let v = 1 - -1. Suppose -16 = -v*a - d + 13, -4*a = 5*d - 67. Suppose 3*b + 5 = -4, 3*h + 4*b = -12. Solve h = 4*s - l - 7 - a, -15 = -3*s - 5*l for s.
5
Let s(m) = 8*m - 5. Let b be s(3). Solve 4*w - b = -7, -4*w = c - 9 for c.
-3
Let n = 27 + -25. Solve -3*a + v + 5 = 0, -3*v = -n*a - 4*v for a.
1
Let j = -3 + -5. Let f be (j + 2)/((-9)/6). Solve f*q = -4*y + 16, 0 = -7*y + 3*y + 12 for q.
1
Suppose -4*u = -0*u - 16. Suppose -2*d - 16 = -4*o, -o + u*d = -0 - 4. Solve -2*k - 12 = 2*z, 2*z - k = k - o for z.
-4
Suppose -410 = -10*h - 100. Solve 5*q - 29 = g, -2*g + 6*g + h = 3*q for g.
-4
Let f = 3 + -3. Suppose 3*x - b = 8, 0 = 5*x - 0*x + 5*b. Let r be (0 - 1 - -2) + x. Solve f = 4*h - 5*j + j, r*j + 21 = -4*h for h.
-3
Let s(m) = m**2 + 7*m - 6. Let j be s(-8). Solve -2*f + j*n - 4 = 4, 4*f + 4*n + 8 = 0 for f.
-3
Let j = 11 + -7. Solve -3*m - 3*z + 3 = 6, 0 = j*z + 12 for m.
2
Suppose -x - 5 = 0, -2*x = -3*m - 3*x + 4. Let n(k) be the first derivative of -k**2/2 + 10*k + 1. Let s be n(6). Solve -d = -s*y - 1 + 2, 3*d + m = -4*y for d.
-1
Suppose -5*g = 4*g - 27. Solve -j + g*b = -8, -8 = 2*j + 3*j - 3*b for j.
-4
Suppose -3*g = -0*g, 4*l - g = 8. Suppose 5*u - 4*p - 22 = 0, 1 = -u - 0*u - p. Solve 3*n + 4 = -5*a, -l*n = -u*a + 7 + 1 for a.
1
Let z(u) = -u**2 - 10*u + 9. Let l be z(-9). Suppose -2 = -4*o + 5*x, 4*o + 2*x - l = -x. Solve i = -o*t + 15, -3*t = -3*i - 6*t + 21 for i.
3
Suppose -b + 15 = 3*g, 2*g = 3*g - 4. Solve -l + 2*l - r + 2 = 0, -4*l - b*r + 27 = 0 for l.
3
Let v = -9 + 17. Let a(b) = b**3 - 9*b**2 + 10*b - 10. Let h be a(v). Let y be (-3)/h + (-18)/(-4). Solve 5*q - 20 = -5*w, 0 = 5*q - 3*q - 2*w + y for q.
1
Let l(b) = b**3 + 4*b**2 + 3*b + 2. Let r be l(-3). Solve -2*t - r*d + 4 = 0, 2*t - t = -2*d for t.
4
Suppose -2*s - 2*s = 24. Let f = 7 + s. Let m = 1 + 0. Solve q + b - m = 0, 5*q - 2*q - f = -4*b for q.
3
Let c(b) = -2*b + 13. Let i be c(5). Solve z = -z - i*k, 0 = -4*k for z.
0
Let a(v) = -v - 2. Let x be a(8). Let g be (-6)/x - (-14)/10. Solve w - 12 = -w + 4*i, -5*w - g*i = -6 for w.
2
Let y(p) = p + 5. Let v be -7 + (6/3 