 s = 3 + -5. Let h be 2 + s - 15/(-3). Let f(p) = 2*p - 13. Let i be f(9). Solve -i*b + z + 3 = -6, -h*b - 4*z = 11 for b.
1
Let q(b) = -b**3 + 11*b**2 - 10*b + 9. Let d be q(10). Solve -m + 4*r + 9 - 20 = 0, 3*r = d for m.
1
Suppose -2*l - p = -3*l - 6, -l - 5*p = -18. Let y(d) = d - 7. Let g be y(10). Let t be l/((-3)/g) - -1. Solve -4*c - c = -t*n + 10, -2*c = -2*n + 8 for n.
5
Let f be (-16)/(-10) + 2/5. Let v = -14 - -22. Let d(q) = -q**3 - 10*q**2 - 6*q - 58. Let o be d(-10). Solve 0 = 5*s - x - 22, -o*s + v = -x - f for s.
4
Suppose -3*q + o = -12 - 65, 0 = -q + o + 25. Solve 0 = 4*b - 3*z - 23, -2*z - 2*z - q = -3*b for b.
2
Let m be (4 - 58/10)/(3/(-10)). Solve 5*h + 20 = 0, -5*h - m - 9 = -c for c.
-5
Suppose 0 = 2*i + 2 + 2. Let v = 8 - 5. Let k be i - (-1)/(v/6). Solve -2*c + 4 = -k, -c + 6 = 2*m for m.
2
Suppose 0 = -5*q - i - 42, 3*i = -q - 8 - 6. Let f = q - -10. Solve -f + 11 = -5*n + 4*u, 0 = 5*n - 3*u + 13 for n.
-5
Suppose -l = -4*s + 33, 2*s - 2*l = 3*s - 6. Solve 0 = 4*u - 4*t + s, -3*u - 2*t + 0*t = -19 for u.
3
Suppose 5*r - 28 = -5*c + 4*r, -5*c - 4*r = -37. Solve -h + 32 = c*s + 3*h, s - h = 1 for s.
4
Let m(w) = -w + 4. Let b be m(6). Let j be 2 - (3 - 3) - b. Solve -4*h + 13 = j*x - 19, -2*x - 3*h = -20 for x.
4
Let j = -7 + 7. Suppose j = -3*b - 3 - 3. Let d be 2 - ((-4)/b - 3). Solve -6*r = -3*t - d*r + 9, -4*t = r - 7 for t.
2
Let l(u) = -14*u + 1. Let n be l(-1). Suppose -2*i = -5*i + n. Solve 2*b = -3*b - q - 13, -5*b = -i*q - 5 for b.
-2
Let p = 13 - 11. Suppose -p*r + r = -1. Suppose 6 = 4*m - 2. Solve -r + 11 = -3*j + 2*u, m*u + 2 = 0 for j.
-4
Let t(u) = -u**3 - 5*u**2 - 6*u - 6. Let m be t(-4). Solve -2*i = -c, 5*c - 9 = -i + m for c.
2
Let w = -8 + 0. Let f(s) = -s**3 - 8*s**2 + 3. Let a be f(w). Solve a*g = -5*m - 5, 3*m + 3*g + 1 = -2 for m.
-1
Suppose 2*w - 13 = -4*g - 5, 4*w - 2*g = 16. Suppose 0 = 6*k + 4*k - 80. Solve -w*j + 7*j - 3*b - 6 = 0, 0 = 3*j - b - k for j.
3
Suppose -1 = -4*d + 3*t, -3*t = 5*d - 3 - 32. Solve -d*u + 20 = -3*w, 0*w - 26 = -3*u + 5*w for u.
2
Let a = -13 - -18. Let x(p) = -p**3 + 4*p**2 + 6*p - 6. Let q be x(a). Let g = q - -5. Solve b - 12 = -g*d - 0*d, 0 = -3*b - 12 for d.
4
Suppose u + 3 - 7 = 0. Let a = u - 1. Let l(t) = 2*t**3 - 3*t**2 - 2*t + 4. Let w be l(a). Solve -2*r + 5*v = -5*r + w, 20 = 4*r + 4*v for r.
0
Let h(m) = m**3 + 4*m**2 + m + 4. Let n be h(-4). Suppose -f + d = -4*d - 24, 0 = 5*f + 3*d - 8. Solve 0 = -3*j - f*t - 1, n*j + 3*j - 19 = t for j.
5
Let l be -4*2/(8/(-10)). Solve 0 = -2*u - l, 3*c - u + 1 - 21 = 0 for c.
5
Suppose 2 + 0 = k. Suppose -s = -k*s + 18. Let p be 4/18 + 32/s. Solve -p*y = 2*b + 3*y + 11, 5*b - y - 13 = 0 for b.
2
Let i = -2 - -16. Let a = -7 + 11. Solve n - 25 = 5*r, -3*r = -a*n + 18 + i for n.
5
Let f = -22 + 48. Suppose -w + 2*g + 7 = 4*g, -2*g = -2*w - 4. Let n = f - w. Solve 3*k = 2*j - 2*k - n, 25 = 5*j - 5*k for j.
0
Let c = 15 - 23. Let b = c - -22. Solve 2*u + 4*v + b = 0, u + 0*u - 18 = 3*v for u.
3
Suppose -8 = -3*h + 4. Let x be 11/(-2)*(-2 - -4). Let s be (-2 - x/h)*4. Solve 0 = -5*v + 25, -3*t + 2*t - 11 = -s*v for t.
4
Let q be (-16)/72 + (-4)/(-18). Suppose 3*y + 4 = 5*y - 2*m, 2*y - 3*m = q. Solve 2*z = 4*w + 10, 2*w - y*w - 4 = 4*z for z.
1
Let m(x) = 5*x**2 + x**3 + 4*x - 7*x**2 + 8*x**2 - 4. Let k be m(-5). Solve -s - d = -k, -d = -4*s + 3*d + 28 for s.
4
Let f(g) = -g + 4. Let i be f(4). Suppose -2*h + 56 - 20 = i. Solve 2*x - 4*x = 2*a - 8, 3*a - h = -5*x for x.
3
Let a be (-272)/(-80) + 4/(-10). Solve 0 = -s + 4*x + 6, -2*s + 0*x = a*x + 10 for s.
-2
Suppose 2*z + 4*g = 8, 5*z + 3 = 2*g - 1. Solve z*q = -v - 3*q + 12, -v - q = -6 for v.
3
Let j(t) = -t**3 + t + 2. Let b be j(0). Solve 9 = b*x - 5*q, x = -0*x + 2*q + 3 for x.
-3
Let f = 9 + -9. Solve 4*i - 12 = 4*t, -t + f*t = -3*i + 1 for i.
-1
Let m(f) = 2*f**2 - 14*f + 8. Let s be m(7). Let h = s + -8. Solve -2 + h = b, 5*z - 3*b - 16 = 0 for z.
2
Let o = 17 + -14. Solve -11 = -o*l - 2, -5*a = 4*l - 22 for a.
2
Let t(o) = -o - 7. Let r be t(-8). Let k be 2/(-4) - 1/2. Let v be 2*(r - (k + -5)). Solve -d - v = 3*a, -5 + 31 = -5*a + d for a.
-5
Let i = 31 + -26. Suppose x - 6 = 11. Solve x = -3*n + i*o + 1, 4 = 2*o for n.
-2
Let b(l) be the third derivative of l**5/60 - l**4/8 - l**3/2 + l**2. Let g be b(-2). Solve -2*x - 10 = -d + 1, -x - 2*d + g = 0 for x.
-3
Suppose -5*c + 4 = -11. Suppose -3*r + 3 = 0, 4*p + c*r = 2*r + 17. Solve p*u = 2*n + 4, -5 = -n - 1 for u.
3
Let q(c) = -c**3 + 12*c**2 - c + 9. Let s be q(12). Let v = s - -7. Solve -v*f = 8, 2*p - f = 2*f - 4 for p.
-5
Suppose 4*n - 14 = -3*y, 0 = 4*y + 2*n + 9 - 31. Solve 5*m - v = -20, -2*v + y*v = -5*m + 5 for m.
-3
Let x be (12/(-10))/(3/20). Let z(a) = 2*a + 19. Let r be z(x). Solve j - 18 - 3 = -4*s, 16 = r*s + j for s.
5
Let b = -7 - -8. Let h be 26/10 - 2/(-5). Solve -8 = -4*y - 3*v + b, -h*v = y for y.
3
Let o = 12 + 8. Suppose 19 = 4*l + 3*t, 0*l = 3*l - t - 11. Solve -4*w + x = -x + o, 0 = l*w + 3*x for w.
-3
Let w be 3/6*-1*-8. Let d = -2 + w. Solve 2*j - 3*z = -3*j + 30, -d*j + 5*z + 31 = 0 for j.
3
Let w(z) = z**2 + 7*z + 3. Let g be w(-6). Let q be 0/(4/2) - g. Let s be 2/(-3) - 2/(-3). Solve -q*f = 3*a, 2*f = a - s*a - 15 for a.
5
Let d(w) = w + 1. Let p be d(-5). Let r = p - -8. Solve n = 2*n, z - r*n = -1 for z.
-1
Let a(k) = 1 + k**2 - 3 + 1 + 0 - 2*k**3. Let g be a(-1). Solve 19 = 7*c - g*c - 2*i, 9 = 3*i for c.
5
Suppose 0 = 7*g - 2*g. Suppose c + g = 4. Let n be (c/(-5))/((-2)/10). Solve -29 + 6 = t - 4*i, 2*t + n*i - 14 = 0 for t.
-3
Let w be (4/8)/(1/6). Let u = w - 0. Suppose 2*p + d - 30 = 3*d, -d = u*p - 41. Solve -4*v - 3 = -3*j - 27, 0 = -2*j + 2*v - p for j.
-4
Let b(d) = 2*d**2 - 5*d + 5. Let q be b(5). Suppose 5*c - q - 10 = 0. Solve -5*j - 15 = 0, 20 = -3*o + c*o - 5*j for o.
1
Let y = 80 - 64. Solve -2*s = 5*m + 23, -2*s = 2*s + y for m.
-3
Let z(t) = -4*t. Let l be z(-4). Suppose -2*d - 2*d + l = 0. Solve 3*x - 10 = 2*u, 7*x + 20 = d*x - 4*u for x.
0
Let p(i) = -i**3 + 2*i + 12. Let d be p(0). Let c = 16 - d. Suppose 3*j + 10 = 2*y, 0 = j - 0*j. Solve 0 = -3*r + 2*l + 11, -c*r + 12 = -y*l + 2 for r.
5
Let c(u) = -u**2 - u + 3. Let z be c(0). Solve -21 = -5*o - j, -3 = 3*o + z*j - 6 for o.
5
Suppose -m + 8 = -5*m. Let r be 1 + (2/(-2) - m). Suppose -4*s + r*g = -12, -s - 4 = -2*g - 2*g. Solve s*q = -5*j + 17 - 4, -5*j + 28 = -q for j.
5
Let m(k) = -k - 1. Let t be m(-1). Suppose -5*p - 5*c = -t + 10, 2*p + 13 = -5*c. Suppose 5*x = 19 + p. Solve 1 = -f - 3, 5*y - x*f - 16 = 0 for y.
0
Let y(k) = 6*k - 40. Let j be y(7). Solve j*d - 5*t = -2*t + 4, -d + 1 = -2*t for d.
5
Suppose 0 = 4*f - 2*m - 6, f - 3*f = -4*m. Let s be (-6)/9*(-9)/f. Solve 0 = -3*l + 2*w - 4, 3*l - s*w + 1 = 2*w for l.
-2
Let r = -85 + 87. Solve -2*o - r*g = 4, 2*o - 4*g - 21 = -g for o.
3
Let o = 1 - -4. Let k be ((-12)/o)/(14/(-35)). Let t = -4 + 6. Solve -2*g + 3*g = -3*x - k, -t*x = -4*g - 10 for x.
-1
Let c(z) = -z**3 - 4*z**2 - 3*z. Let q be c(-2). Let a = 1 - q. Suppose p - a*u + 2 - 1 = 0, 2*u - 14 = -p. Solve -p = -5*j + 4*l + 8, 2*j - 11 = -3*l for j.
4
Suppose 3*g = u + 3*u - 15, -3*u - 3*g = -6. Suppose 3*j + 0*j - u = 0. Solve -12 = 3*t + 3*v, 2*t = -v - j - 2 for t.
1
Let v = 36 - 26. Let f be (v/4 + -2)*12. Solve -2*b - 2*u = -5*u + f, b + 5*u = 23 for b.
3
Let m(f) = -f. Let b be m(-5). Suppose -b*k = -2*k. Solve -l + k = 2*x + 12, 0 = 3*x + 12 for l.
-4
Let h = -58 + 91. Suppose 2*i = -5*z + h, -z - 11 = -3*i - i. Solve -3*f - z = 4*t - 0, -t = -f - 4 for t.
1
Let l(g) be the third derivative of -g**6/120 + g**5/60 - 2*g**2. Let n be l(-2). Solve 4*w - 4 = q, 2*w + 2*w - 3*q = n for w.
0
Suppose 0 = 3*f - 4*f + 5. Solve h = 5*y + 1 - 4, -f*y + 11 = 3*h for h.
2
Let s = 13 + -10. Solve -7*p + 3*p + 6 = 5*y, 10 = p - s*y for p.
4
Let h(n) = 1 + 0 + 2*n**2 - 3*n + 2*n. Let p be h(1). Suppose 4*i - 4*o - 30 = -2, 2*o - 14 = -5*i. Solve 6 = -p*q - 0*q + i*s, 3*q + 3*s = 27 for q.
5
Let f = 1 - 1. Suppose -25 = 2*z - 13. Let i = 20 + z. Solve 2*a - i = 4*v, -3*v + f*a - 12 = -a for v.
-5
Let m(y) = -y**2 + 5*y - 4. Let k be m(4). Suppose 0 = -3*b + 5*x + 46, k = -3*b + 4*b + x - 10. Let r = -7 + b. Solve -a = 4*a + 3*f + 30, r*a = 3*f for a.
-3
Suppose -18 = -2*l - l. Let c = l - 4. 