8 = -3*h. Suppose 4*t = -0*t + h. Solve 2*w + 15 = -i, -w = -3*i - 5 - t for w.
-5
Let x(n) = -2 + 2*n + 0 + 1. Let g = 1 + 1. Let t be x(g). Solve -t*l - 4 = -3*m + 23, 6 = -2*l - m for l.
-5
Let z be ((-8)/6 + 0)*(-17 - -14). Solve -5*j - z*g + 5*g + 4 = 0, -j = -4*g + 3 for j.
1
Suppose 14*p = 10*p + 24. Suppose -c - 4*c + 10 = 0. Solve 0 = -5*d - 2*k - 2, c*d - 5*k + 1 = p for d.
0
Let y(d) = -d**3 - 9*d**2 + d + 3. Let r be y(-9). Let b be 20/12 + r/9. Solve 2*q + 0*t + 2*t = -6, -t + b = 5*q for q.
1
Suppose 104*q = 108*q - 16. Solve 5*s + 5*n = -0 + 35, 0 = -q*s - 5*n + 31 for s.
4
Let f(r) = 3*r - 9. Let p be f(5). Solve -v = 2*w + v + p, 0 = -w + v - 7 for w.
-5
Let c(k) = k + 3. Let g be c(0). Solve -g*t + 9 = -6*t, 20 = 4*j - 4*t for j.
2
Suppose 5*w = 10*w - 25. Solve -w*o - 2*k + 6*k = 0, 0 = -o + 2*k + 6 for o.
-4
Let h = -4 - -9. Let l be ((-3)/9)/(2/(-24)). Solve -3*s + 7 = -f - 3, l*s = -h*f + 26 for s.
4
Let x = -9 + 12. Solve -x*h = 5*g + 25, -4*h - g - g - 10 = 0 for h.
0
Let o(m) = m**3 - 3*m**2 + 3. Let u be o(3). Let r = 6 + -1. Suppose -r*a - 5*t = 0, -3*t = -a - t + 3. Solve -4*c = -u*n + a - 10, 0 = -c for n.
-3
Let j = 17 + -15. Suppose 3*y = 6, -16 = -v - j*v - 5*y. Solve v*z = 2*d - 4, -d + 6 = 3*z - 0 for d.
3
Let w = -6 - -11. Solve 12 = 2*j - 4*a, -j - w*a = 2*j + 15 for j.
0
Let t = 10 + -8. Suppose 3 + 1 = r. Solve 2*m = m + t*c + 8, m + c + r = 0 for m.
0
Suppose 0 = 4*v - 20, v = -5*j - v - 20. Let a be ((-6)/(-4))/((-3)/j). Solve -2*r - t = 11, -5*r - a*t = t + 35 for r.
-3
Suppose -5 - 7 = -4*j + 2*b, -4*b = 0. Suppose -j*s = s - 8. Solve c - m + 2 = 0, -14 = -s*c - m - 3*m for c.
1
Suppose 2*r + 4*w = 2, 3*w + 6 - 4 = -5*r. Let l(n) = n**3 - n - 1. Let p be l(r). Let m be 16/24*(p + 10). Solve -15 = -5*g + 5*i, 3*g + m*i - 1 = i for g.
2
Suppose 4*d = -0*u + 2*u, d - 2*u = -6. Solve d*c + 8 = a, -c + 4*c + 12 = 2*a for a.
0
Suppose 4*s - 50 + 10 = 0. Let f be -1 + -1*s/(-2). Solve -3*t - 15 = 5*w, 0*w - f*w = 0 for t.
-5
Let b be (-2)/(-1) - (-4 + 2). Suppose -b*p - 3*d - d = -76, -p = -2*d - 10. Solve 2*n + 5*j = p, -5*n + 0*n + 23 = 4*j for n.
3
Suppose -5*o + 3 = -2. Let p(l) = -l**2 - l. Let x be p(o). Let u = -2 - x. Solve u = f + i + 8, -f - 4*i - 18 = -i for f.
-3
Suppose 1 = -x, -2*x + 0*x - 5 = -s. Let u = -11 + 15. Let b be ((-9)/u)/(2/(-8)). Solve 3*m = 8*i - 3*i - 9, -5*i = s*m + b for i.
0
Suppose 4*s - 6 = i - 3*i, i = -5*s + 9. Suppose s*j + 5*d = 35, -5*j - 10 = -8*j + d. Solve 4*p = -j*b - 5 - 30, -3*b - 14 = p for b.
-3
Let n(s) = -s**3 - 2*s**2 + 2*s + 2. Let t be n(-2). Let x be t - (0 + 4)*-5. Suppose k = -k + x. Solve 2*a + 2*a - k = j, 16 = a - 3*j for a.
1
Suppose x = 2*v - 6 - 0, -12 = -5*v + x. Solve -a - v*a + 16 = -4*i, 2*a - 4 = -4*i for a.
4
Suppose -5*y = -14*y + 18. Solve -2*m = 3*j - 10, 5*j = y*j - 5*m + 16 for j.
2
Let c be (-2)/(-3)*((-6 - -7) + 2). Solve -m - c + 7 = -3*h, 0 = h - 3*m + 7 for h.
-1
Let l be (-8)/10*(4 + -29). Suppose 3*z = 6*z + 5*h + 52, l = -4*h. Let v = z - -26. Solve 3*k = -0*q + 5*q - v, -q + 5 = -k for k.
-4
Let u(f) be the third derivative of f**5/60 + f**4/6 + f**3/2 - 10*f**2. Suppose -2*p - 2 = 4. Let o be u(p). Solve -q = 3*z + q - 5, -4*z + 2*q + 16 = o for z.
3
Suppose -3*q + 9 = -0. Solve 3*a - 7*a + q*k = -28, 4*k - 4 = -5*a for a.
4
Let j(s) = s - 3. Let x be j(3). Solve x = -2*t + 4, -3*t + 6 = 3*o - 3 for o.
1
Let d(q) be the second derivative of -q**3/3 - 2*q**2 - 2*q. Let j be d(-4). Solve -w - j*c = 11, 2*w + 5*c = -3*w + 5 for w.
5
Suppose -f - 4 = 0, 0*h - 2*h = -4*f - 30. Solve -3*w + 1 = -2*r - h, 4*r - 24 = -4*w for w.
4
Suppose -19 = -b + 5*n, -n - 3 - 8 = -2*b. Solve -l = 3*u + b*l, -3 = l for u.
5
Let f = -51 + 56. Suppose 0 = -i - 3*i + 20. Solve c + 13 = 4*z + 2*c, 5*z + i*c - f = 0 for z.
4
Let j = 12 + -12. Suppose -4*m + m + 9 = j. Solve -5*s - 4*a + 3 = 0, m = s + 2*a - 0 for s.
-1
Let g be (8 - 1 - 3)/(-1). Let b be (6/g)/(9/(-132)). Solve 0 = -5*r + 5*o - 35, r + b = 4*o for r.
-2
Let s(r) be the third derivative of r**5/60 - 7*r**4/24 + 3*r**3/2 - 3*r**2. Let g be s(6). Solve 18 = -2*d + 4*v, v = 2*d + g - 0 for d.
1
Suppose -5 - 1 = -3*l. Suppose 16 = -l*y + 6*y. Solve 3 + 22 = -5*m - 5*n, 0 = -3*m - y*n - 19 for m.
-1
Suppose 0 = -7*k + 61 - 12. Solve 2*r = 4*o + 6, -5*o - 4*r + k + 5 = 0 for o.
0
Let g = -94 - -120. Solve 0 = 2*u + 3*h + 8, 4*u + u - g = 4*h for u.
2
Let f(k) = -k**2 - 7*k - 7. Let c be f(-5). Let l be (-2 + 2 - -1)*5. Let y = -1 + 4. Solve 4*d + y = 3*p + 14, -c*d = -l*p - 11 for p.
-1
Suppose 0 - 3 = 3*k, -4 = g - 3*k. Let v(c) = c + 10. Let d be v(g). Solve -d*a - 2*f = -4, -a - a + 2 = f for a.
0
Let u = 2 - 3. Suppose -m + 4*a - 3 = -11, 1 = -4*m + 5*a. Let t = u - m. Solve -s - 4*j - 3 = 0, -2*s - t*j = -2*j - 1 for s.
1
Suppose -27 = -7*l + 4*l. Solve 3*w - 15 = -4*s, -4*s = -0*w - 3*w - l for s.
3
Let n(h) = 3*h + 27. Let a be n(-5). Solve -2*i + 2*y = 8, 2*i - 2*y - a = -5*y for i.
0
Let z be 1 + 1/(-2 + 3). Suppose 0 = z*x + x - 6. Solve -x*u - 16 = -6*u - 2*d, 0 = -4*u + 4*d + 4 for u.
3
Let p(b) = b**3 + 7*b**2 - 3*b - 2. Let y(l) = -l**3 - 7. Let w be y(0). Let v be p(w). Suppose -1 = -q + 1. Solve -4*h = -q*s + 2, -5*h + 3*s = 6*s + v for h.
-2
Let y = -38 + 42. Solve 8*k - 3*k + 2*r - 18 = 0, -y*k + 12 = r for k.
2
Let f = -13 + 11. Suppose u + 12 = -u + 4*l, u + 10 = 3*l. Let z = u + f. Solve -3*k - 5*m = 2*k + 10, 4*k + 3*m + 4 = z for k.
2
Let d(c) = -c**3 + 10*c**2 + 11*c - 2. Let n be d(11). Let q be (-72)/(-45)*(-10)/n. Solve q = -4*a, 5*i + a = -0*a - 2 for i.
0
Let i be -8*2/(-2) - 2. Suppose -3*f + 0 - 12 = 0. Let y = f + i. Solve y*a = 3*t - 7*t + 10, 0 = -5*t + 10 for a.
1
Suppose 0 = 2*s - 0*s - 5*n - 5, -2*s + 8 = -2*n. Solve 7 = -s*z + 4*m, 2*z - 2 = 2*m + 2*m for z.
-3
Let q(x) = 3*x + 9. Let m be q(-5). Let g be 0 + 3 + m - -5. Solve -4*j - l = -4, -l + 12 = -4*j + g*l for j.
0
Let a be 10/(-20)*8*(-1 - 3). Solve -5*k = -3*p - a, p - 3 + 11 = 3*k for k.
2
Suppose 4*s = -5*g + 98, -5*g + 0*s + 86 = -2*s. Solve -10 = t - 4*d, -3*t - 3*d + g = d for t.
2
Let q(l) be the second derivative of -5*l**3/6 - 2*l. Let s be q(-2). Let v be 15/(-5) + 9 + -1. Solve -s = -p - 10*m + 5*m, -v*m = 3*p - 10 for p.
0
Let d(h) = 2*h + 0*h - h + h - 20. Let m be d(10). Solve m*x + x + 3*a = 4, -4*a - 3 = 3*x for x.
-5
Let g = 1 + -7. Let w be g/4*12/(-9). Solve -3*r + 16 = -2*m + 6, -w*m = r + 10 for r.
0
Let j(t) = -t**3 + 8*t**2 - 7*t - 6. Let g be j(6). Suppose 0 = 5*a - g + 4. Solve a*s - 2 = -5*v, 2*v = -v - 6 for s.
3
Suppose -4*k - 3 = -3*k. Let j be ((-7)/k)/((-1)/(-3)). Suppose -4*m + 8*m - 20 = 0. Solve 4*s - 4*c - 17 = j, 0 = m*c + 20 for s.
2
Let j = -22 + 40. Let q = -13 + j. Solve -l + 19 = -3*s, q*l - 35 = 3*s - 0 for s.
-5
Let o = -19 - -21. Solve 5*h - 25 = 3*j, 0 = -j - o*j - 15 for h.
2
Let t(q) = q**2 + 4*q - 4. Let f be t(3). Let x = f - 8. Suppose -3*u = 2*d - x, -u - 5*d = -2 - 1. Solve 5*r - 10 - 4 = 3*o, 4*o - u*r + 15 = 0 for o.
-3
Let h(p) = 4*p - 14. Let l(x) = -6*x + 21. Let q(r) = 7*h(r) + 5*l(r). Let g = -15 + 9. Let c be q(g). Solve 5*n - 4*u = 23, 8*u - 3*u = 3*n - c for n.
3
Suppose 13 = 5*g - 12. Solve -c = 3*c - 8, g*c = -5*h - 5 for h.
-3
Let a be 6*(20/8)/5. Suppose -a*y = -7*y. Solve -2*s + 8 = 5*l, -2*s + y*s = 3*l - 4 for l.
2
Let n(o) = -2*o**3 - 2*o**2 + 2*o + 1. Let q = 1 - 1. Let f be -2 - q*(-3)/(-6). Let x be n(f). Solve x*v + 3*j + 1 = 0, 9 = 2*j + 3 for v.
-2
Suppose -9 = -2*q - q. Suppose 1 = -v + q. Solve 4*d + v = 3*g + 3, -d = -2*g + 6 for d.
4
Suppose 5*a + 0 = 40. Solve 0 = 4*i + a, 0*i + 3*i + 12 = 2*m for m.
3
Suppose 0 = -3*i - 5*j + 29, -4*i - 4*j = j - 47. Let b be 6 - 6/2 - 0. Solve -5*s - 4*g + i = 0, -3*s + b*g + 4 = 2*g for s.
2
Let w(t) = t**3 - t**2 - 2*t + 2. Let l be 0 + 2 + -2 + 2. Let p be w(l). Suppose 0 = -4*v + 2*k - 7*k + 9, -3 = k. Solve -p*g = z + 2, z = -4*g + 4 - v for z.
-2
Let b be 42/36 + (-1)/6. Solve -i - 5*n = -4 - b, 0 = -4*n + 4 for i.
0
Suppose 2*r - 5 = -3. Let y = r + -5. Let q be 2 + 3 + (y - -2). Solve -5*x - 5*h = -20, h - 1 = -x - q*h for x.
5
Suppose 1 = -r - 1. Let j = r - -7. Solve 3*h + j = -y + 1, 3*y - 5*h = -12 for y.
-4
Let g = -7 + 8. Let k = g + 4. Solve k*s - 2*f + 12 = 0, -2*f 