*q + 3*d for q.
-1
Let n be 86/7 + 6/(-21). Suppose -2*d = -5*y + n, -2*y + 0 - 1 = 5*d. Solve 10 = 3*a - o - y, -2*o = 3*a - 21 for a.
5
Let q be (5/3)/(((-12)/18)/(-2)). Solve -4*z - 2*i + 6 = -0*i, 5*z = q*i - 30 for z.
-1
Suppose -10 + 36 = 13*a. Solve 5*n - 2*n - 11 = -a*s, -5*s = -4*n + 7 for n.
3
Suppose u + 2 = 0, -3*c + 4*u + 27 = u. Suppose 0 = -10*s + c*s + 12. Solve s*n + 10 = 3*y, -1 = -y + 4*n + 5 for y.
2
Suppose -f = 3 + 1. Let h = f + 9. Solve 0 = 4*x - h*q + 14, -6*q + 7 = -5*x - 5*q for x.
-1
Let m = 262 + -257. Suppose -l - 2 = 3*o - 8, l = 0. Solve 5*r - m = 0, o*f - 3*r + 4 = -1 for f.
-1
Let z = -18 + 20. Solve 2*k + 4 = 4*k - 2*i, 5*i = -z*k + 11 for k.
3
Suppose -90 = -3*l - 2*l. Suppose -2*k = -2*j + l, -j + k - 11 = -4*j. Solve 2*d + 9 = 5*p - 8, -41 = -4*d - j*p for d.
4
Let x(w) = -2 + 6*w + 0*w - 2. Let r be x(3). Suppose 0 = 4*c - 2*s - r, -3*s = 2*c - 9 - 2. Solve -c*h - v - 9 - 16 = 0, -4*h + 4*v = 0 for h.
-5
Let n(b) = 4*b - 3. Let c be n(2). Suppose 4*y + q - 10 = -q, -c*y - q = -14. Solve -4*v + 4*s = -12, v - y*s + 0*s = -1 for v.
5
Let b = 9 - 7. Suppose -1 = b*q - 9. Let v(m) = m**3 - 2*m**2 + 1. Let t be v(2). Solve q*a + 4*d + 4 = 0, -6*d + t = 3*a - 4*d for a.
3
Suppose 3*b = 0, -20 + 46 = -n + 5*b. Let i be (-4)/3 + n/(-6). Solve -5*w = -g + 9, -2*g - 3*w = -i*g + 5 for g.
-1
Let c = -6 - -11. Let l(z) = -z**2 + 6*z - 1. Let u be l(c). Solve -y - u = -2*n, -2 - 2 = y + 2*n for y.
-4
Suppose -25*h - 20 = -30*h. Solve -2*x = -3*x - 5, 3*c - h*x = 17 for c.
-1
Let i(u) = -4*u + 20. Let q be i(8). Let h = 14 + q. Solve -n + 5*n - 5*a = 31, -7 = h*n + 5*a for n.
4
Let f(x) = 15 - x**2 - 4*x**2 - 12*x + 6*x**2. Let g be f(11). Solve 5*h = g*o + 13, 2*h = -5*o - 3 - 5 for h.
1
Let x = -7 - 0. Let u = x + 6. Let k(w) = 12*w**2 + 2*w + 1. Let y be k(u). Solve 0 = -4*r - 3*b + y, -2*b - 2 - 4 = 0 for r.
5
Let s = 10 - 10. Suppose s = -3*d + 6. Solve 3*f + 20 = -d*t, -4*t + t - 4*f - 28 = 0 for t.
-4
Suppose 1 - 9 = -2*o - 2*l, -3*o + l = 4. Solve b + o*b - 3 = -3*r, 2*b = 5*r + 6 for r.
0
Let v = -9 - -12. Suppose q + v*q - 12 = 0. Solve b - q*b = -5*z - 22, -z - 2 = 2*b for b.
1
Suppose 2*h - 8*h = -30. Solve 3*p + 30 = -h*r, -r - 2*r - 24 = 3*p for r.
-3
Let h = 31 - 1. Solve 5*g + 5 = 5*f - 5, 5*f + 5*g - h = 0 for f.
4
Suppose -4*q + 1 = -3*q, 5*l - 4*q - 11 = 0. Solve 1 = 2*s - l, -2*d = 4*s - 8 for d.
0
Let q(a) = -a**3 + 4*a**2 - 2*a + 1. Let y be q(2). Solve 2*s - 24 = -4*g, 0*s - 5*s = y*g - 40 for g.
4
Let d = -5 + 6. Let k(j) be the first derivative of j**4 - j**3/3 + j + 1. Let l be k(d). Solve -2*w - 11 = i, l*i = 3*w - 5*w - 26 for w.
-3
Let p(w) = w**3 - 8*w**2 - 10*w + 9. Let b(k) = 2*k**2 + 7 - 7 + 3*k. Let y be b(-3). Let n be p(y). Solve -2*v + f = -3, -5*v - f + 6*f + 15 = n for v.
0
Suppose -t + 4*c = 12, -2*t - 6*c + 2*c = -12. Let i be 1*-1 - (-11)/1. Let n = 19 - i. Solve t = -a - f + n, 5*a - 2*a = f + 7 for a.
4
Suppose -3*y - 5*b = y - 76, -b = 3*y - 57. Let h = 13 - 8. Solve -4*f - v = -y, -f + 3*f = h*v + 15 for f.
5
Suppose -2*d + 11 = 3, 0 = -a + 4*d - 20. Let c = a - -19. Solve 3*n - 4*g - c = 0, 7*n - 14 = 5*n + 4*g for n.
1
Let j be (-1 + (-3)/(-9))*-12. Solve 0 = -3*o - n + j, 0*n = 3*o - n + 2 for o.
1
Let h be ((800/(-12))/(-8))/((-1)/(-3)). Solve 5*i - h = 0, 2*i - 30 = -5*v + i for v.
5
Let q = -18 + 18. Solve -4*t + t + 4*u - 17 = q, -2*t = 4*u - 22 for t.
1
Let n = 25 + -3. Solve -m - f = -4*m - 10, -3*m - 5*f = n for m.
-4
Suppose -4*p + z = -4*z + 8, 0 = -p + 3*z - 9. Solve 4*b + 5*m + 1 = 0, 2*b + 3*m = p*b + 13 for b.
-4
Suppose 0 = 5*b + 5*q, 3*q + 8 = q. Suppose -9 = b*t - 25. Solve -n + 6 = -m, n - 1 = -t*m - 20 for m.
-5
Suppose -2*t - 23 = -3*x, t - 4*x + 8 - 4 = 0. Let s be t/10*55/(-2). Let d = -22 + s. Solve 4*r = -u - d, 0 = -u - 2 for r.
-5
Suppose -5*g + 11 - 26 = 0, 0 = -5*d - g - 18. Let l = d - -8. Solve -4*u - q + 5 = -u, -2*u + l = -q for u.
2
Let s(p) = p**3 + 4*p**2 - 4*p - 4. Let d be s(-3). Solve -3*g - d = -4*h - 7, 4*g = 2*h for g.
2
Suppose y + 4 = 14. Suppose 5 = 3*i - 2*i. Solve y = 5*s - i*z, -5*s - 3*z + 22 = -s for s.
4
Suppose -1 - 5 = 5*v - 4*u, 0 = 3*u - 12. Solve 0 = b + 4*k - k + 8, 0 = 4*b - 5*k - v for b.
-2
Let p = -28 - -33. Solve 4*q + s - 19 = -3, 45 = p*q - 5*s for q.
5
Let g = 27 + -3. Solve -z - 3*l = -4*z + g, -5*z = -3*l - 30 for z.
3
Let m be 10 + 28 + 3*-1. Solve -2*c - b = 13, -2*c = 3*c + 3*b + m for c.
-4
Let c be 2/(-7) + (-60)/(-14). Suppose -4*i + 75 = -65. Let j = i + -25. Solve c*h - 2*b + 4*b = -j, -b = -2*h - 3 for h.
-2
Let w(y) = -y**2 + 14*y - 31. Let a be w(11). Solve -5*b + 0*b - a*n = 5, -4 = b + n for b.
1
Let p(b) = -2*b - 3. Let x be p(-5). Suppose 4*k = -5*y + x + 5, 4*y - k + 3 = 0. Suppose r - 1 = 1. Solve -2*u + r*z + 4 = y, -4*u - u + z - 6 = 0 for u.
-2
Let w = -5 - -1. Let m(d) = d**3 - 4*d**2 - 3*d - 2. Let c be m(5). Let f = c + w. Solve -2*h + h = 0, f = u + 4*h for u.
4
Suppose 4*k - 21 = 6*k - 5*n, 5*k - 5 = n. Solve -u + 4*a - 14 + 36 = 0, -k*u + 14 = -2*a for u.
2
Let o(b) = -2*b - 3. Let p be o(6). Let j be ((-3)/(-5))/((-3)/p). Suppose -1 = -y + j. Solve 3*q - y*i + 23 = 0, -q - 2 - 1 = i for q.
-5
Let b be 1/(1*(-4)/(-16)). Let r be (-8)/5*(-10)/b. Solve 0 = 5*a + r*c - 22, -7 = -3*a - 2*c + 5 for a.
2
Let u be (0 - -1)/((-2)/(-4)). Suppose 5*g - 44 = -4*n, -2*n - 18*g - 4 = -22*g. Solve -5*q = -i - i + 15, 4*i + n = -u*q for i.
0
Let n = -11 - -20. Solve n + 16 = 5*j, 3*o = -2*j + 16 for o.
2
Suppose a = -3*a - 4. Let w = 5 + a. Solve 0 = r - 2*r - m - w, -5 = 3*r - 4*m for r.
-3
Let g = 3 + 0. Suppose 2*n - 51 = -5*h, 0 = -5*h + 11 + 14. Suppose 9*l = n*l - 16. Solve -g*c = -5*i - 31, l*c - 27 = 5*i + 6 for c.
2
Let y = -48 - -26. Let r = y + 29. Solve 0 = 2*i + 3*p + r, 2*i - p + 1 = -2*p for i.
1
Let v(o) = o**3 - 3*o + 2. Let w be v(1). Solve 2*r + w*c - c + 10 = 0, 0 = -c + 2 for r.
-4
Let d(j) = -j**2 + 4*j. Let n be d(3). Solve -4*f = 2*c - 18, n*f = 4*c - 1 - 2 for f.
3
Let r(y) = -y**3 + 10*y**2 + 11*y. Let q be r(11). Suppose -3*n - 2*n = 5*u - 35, q = -5*n + 20. Solve -u*x - h = -4*x - 1, 0 = -3*h - 9 for x.
-4
Suppose 0 = 13*u - 25 - 1. Suppose 26 = -3*p + 5*p. Solve 1 = v + 3*d - u*d, -2*v + d = p for v.
-4
Let t(y) = -2*y - 3. Let l be t(-4). Let p(i) = -i**3 + 4*i**2 + 6*i - 5. Let v be p(l). Solve o + 1 = v, -s = 2*o + 1 + 1 for s.
0
Let o(p) = 6*p - 15. Let m be o(6). Solve 3*i - m = -2*b + 5*b, 2*b = -5*i + 21 for i.
5
Let w = -16 - -19. Let l = 38 + -36. Solve w*c + 5 = -4*g, l*c + 3*g + 15 = -2*g for c.
5
Suppose -2*s - 8 = 0, 5*c = -s + 15 + 1. Suppose -5*x + c = -6. Let u be (3/(-5))/(x/(-10)). Solve l - u = 3*j + 9, 3*j = -5*l - 12 for l.
0
Suppose 0 = -4*t - 5*w + 21, 4*w - 11 = -2*t + w. Solve -3*v - 8 = t*l - 2, -4*v + l - 8 = 0 for v.
-2
Let s(o) = -o + 2. Let x be s(-6). Let y = -5 - -5. Suppose y*n = n - 3. Solve 4*z + 4*r - x = -z, -5*r = 3*z + n for z.
4
Suppose -4*f - 27 = -3*b, -2*b + 7 = -0*b + f. Let r be (-8)/10*(-4 + -1). Solve -r*t - k - 2*k - 16 = 0, -5*t + b*k = -15 for t.
-1
Suppose 0*n - 25 = -5*n. Suppose -2*o - n = -11. Suppose o*t = -0*b + 3*b + 15, 4*t = 2*b + 22. Solve 0 = -z - 1, -3*d - 9 = t*z - 3*z for d.
-2
Suppose 3 + 3 = 3*k. Solve 30 = -0*g - 5*g - 5*a, -k*a = -2*g for g.
-3
Suppose l - 2*b = -37 - 29, 4*b - 62 = l. Let v = l + 100. Solve -3*g - 17 = 4*d - 2*g, 3*d - 5*g = -v for d.
-5
Suppose -w = 4*w + 2*w. Solve 4*f - 3*c - 16 = w, -3*f = 4*c + 10 + 3 for f.
1
Suppose -5*k - 4*u = -31, -5*k - 7*u + 6*u + 19 = 0. Solve -5*c - 8 = -m, c - 5 = k*m - 1 for c.
-2
Let r = 3 + -1. Let p be (r - 5) + 1*18. Suppose s + 2*s = p. Solve -3*h + 10*o - 27 = 5*o, s*h + 11 = -3*o for h.
-4
Let k be (-95)/(-5)*(-1 + (-6)/(-3)). Solve -3*r + 3*x = 6, -2*r - 4*x - k = 3*r for r.
-3
Let l(q) = q + 10. Let x be l(-5). Solve -5*c - z - 2*z - 2 = 0, -4*z = -x*c - 9 for c.
-1
Suppose -8 = 2*z - 3*z. Solve x = -4*r + z*r + 3, 2*x + 5 = -3*r for x.
-1
Suppose -3*b + 18 = -2*s - b, -4*s - 39 = -b. Let p = s - -12. Let o = -7 + 12. Solve 5*t + 3*x + 24 = 0, -p*x = -o*t - 0*x - 9 for t.
-3
Let g(n) be the third derivative of n**5/60 - 5*n**4/24 - n**3/6 - n**2. Let s be g(4). Let r = 0 - s. Solve r*l - 4*p - p - 30 = 0, 0 = -4*l - 3*p + 17 for l.
5
Sup