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