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