 w(f) = -5 - 2*f**2 - f**3 + 8*f**2 + 11*f - 3*f. Let x be w(v). Solve 2*z = x*b + 5*z - 12, 2*z = 8 for b.
0
Let k be (-3 - -1)*(-7)/2. Let r = 11 - 11. Suppose r + 2 = v. Solve -2*w = 4*d - 22, -k*w + 4*d = -v*w - 13 for w.
5
Let r be (46 - 1)/((-18)/(-12)). Suppose -4*a = -r - 26. Solve -3*i + 9 = -2*x, -3*x + 3 - a = -2*i for x.
-3
Let c(a) = -a**2 + 1. Let h be c(1). Let r(b) = -b + 1. Let z be r(-1). Suppose u + 15 = k + k, -z*u = 3*k - 5. Solve -t + 2*d - k = 1, -3*d + 6 = h for t.
-2
Suppose -2*j - 4*c - 8 = -3*j, 4*c = 0. Solve 0 = 4*v + 2*f - 14, j*v - 4*v - 5*f + 21 = 0 for v.
1
Suppose 4*k = 6*k - 8. Solve 0*p + p = d - k, -3*d - 5*p + 20 = 0 for d.
5
Suppose -5*m + 20 = 0, 4*t + 3*m = 8*m - 20. Solve 2*z = -3*i + 16 - 1, t = 4*i + z - 20 for i.
5
Let w(d) be the third derivative of -d**5/60 - d**4/24 + 2*d**3/3 + 3*d**2. Let t be w(0). Suppose 83 = t*a - 17. Solve -a = -2*r + 5*p, -5*p - 8 - 7 = 0 for r.
5
Let c(i) = -i**3 - 4*i**2 + 5*i. Let q be c(-5). Let t = -3 - -7. Suppose 21 = -t*x + 85. Solve 4*p + l + 22 = q, -x = 2*p + 5*l + 4 for p.
-5
Let p(j) = 2 - 4 + 4*j - 5 + 0*j. Let a be p(3). Solve -a*w + 3*s = 4, 4*s = s - 6 for w.
-2
Let d = 20 - 34. Let a = 16 + d. Solve 0 = -3*z - a*p + p + 1, -4*z + p + 6 = 0 for z.
1
Suppose -18*q + 12 = -42. Solve -4*f - 14 = 2*b, f + q*b - 8 = -24 for f.
-1
Let r = -1 - -3. Suppose -r*l - 14 = -4*b - 5*l, 10 = 5*l. Solve 3*x = b*h + 6, 4*h = 5*x - 7 - 1 for h.
3
Suppose -6 = -3*i, 4*b - 24 + 2 = -3*i. Let n be (b/(-6) - 0)*-3. Let x = -232 + 242. Solve -3*l - 8 = -w + 2*w, -3*l = n*w + x for w.
-2
Let q(t) = t**3 - 5*t**2 - t - 3. Let p be q(6). Let i = p - 19. Let u = 14 - i. Solve 3*x + 15 = x - 5*c, 0 = 5*x - 2*c - u for x.
0
Let w be (-1)/(-2) - (-2)/(-4). Let k be (-76)/(-18) - 4/18. Solve 3 = n + p, k*n = -w*n + p + 17 for n.
4
Let x be -3 + 0 + (3 - 2). Let k be 3/(-1 + x/(-8)). Let w be 4/(-6)*18/k. Solve -3*j = 4*n - 2*n - w, 5*j = 15 for n.
-3
Let u be (-1)/(-3) - 6/(-9). Let s be 2/(-4*u/(-6)). Solve -k - s*p = -6*k, -3*k - 3*p = 24 for k.
-3
Suppose n + 2 = 3*z, 0 = -3*z - 2*n - 4. Suppose z = 3*p - 4*p + 10. Suppose d - p = -d. Solve -2*u - x + 4 = 0, -u - d*x = u - 4 for u.
2
Suppose 2*c - 8 = 0, 5*i - 72 = -4*c + 14. Let h be 2/7 - (-38)/i. Solve -4*w + 5 = -3*z - 10, -h*z - 15 = 0 for w.
0
Suppose 5*m = -14 + 34. Solve 4*k = m*f + 8, -10 = -3*f + 7*f - 2*k for f.
-3
Suppose 16*q + 57 = 19*q. Solve 4*p - 2 = 5*t, 0*t = -3*p - 5*t + q for p.
3
Let w be 63/13 - (-10)/65. Suppose 15 + 10 = 5*h. Suppose -12 - 22 = -3*j - h*i, 12 = -j + 3*i. Solve -3*z - j = 0, -5*v = -v - z - w for v.
1
Let d(g) = g**2 + 2*g + 1. Let j be d(-3). Suppose c + j*c - 10 = 0. Suppose -1 - 1 = -2*b. Solve 2*q = y, -c*y - 1 - b = -5*q for y.
4
Let n = -83 + 91. Solve 0 - 17 = -c + 3*m, 4*c + 3*m = n for c.
5
Let j = 30 - 182. Let p be 1/5 - j/40. Solve p*l + 14 = 3*g, 6*g - 3*g + 16 = -2*l for l.
-5
Let q = -6 + 8. Let f = 23 + -15. Let x be 6/1*5/3. Solve 5*t - t = 5*z + f, q*t - 4*z = x for t.
-3
Suppose -11*x = -12*x + 3. Suppose -x - 7 = -5*u. Solve -3*j - 7 = -u*k, -5*k - 4*j - 16 - 1 = 0 for k.
-1
Suppose 4*c - 3*d - d - 28 = 0, -3*c - d = -13. Solve 2*g - 2 = 2*j, 2*g - g = -j + c for g.
3
Let p be (-54)/(-12) - 1/2. Solve 0 = s + 4, -p*r - 3*s = s for r.
4
Suppose -3*u + 3*k + 3 = -21, u = -2*k - 4. Let i be 0*-4*4/(-32). Suppose 6*p - 9 = -c + p, -u*c + 4*p + 36 = i. Solve -4 = -j, -j + c = 3*s - 2*s for s.
5
Let p = 1 + 1. Let g be 4 + 3/(3 - p). Solve 4*b - 5*y - g = 0, -3*y = -2*b - 2*y - 1 for b.
-2
Suppose 2*g = -0*g + 6. Solve 0 = -5*t + 20, 2*c + g*c - 4*t = 4 for c.
4
Suppose 20 = g + o, o + 3*o = 3*g - 60. Suppose -3*c + 3 = 0, 0 = -3*a + 2*c - 6*c + 10. Solve 4 = w - 5*u, a*u + u + g = 5*w for w.
4
Suppose -3*k - 12 = 4*f, -5*f - 15 = 2*k - 7*k. Let b be (17 - 1)*(-1)/(-2). Let h = b - 3. Solve 5*n - 21 = -2*a, k = -h*a - 0*a - n - 5 for a.
-2
Suppose 8*c + 3 = 9*c. Solve 21 = -3*s + c*z, 4*z - 2 = -s + 6 for s.
-4
Let o = 105 - 101. Solve o*z = -5*l + 10, 3*l = -2*l - 10 for z.
5
Let w be 22/55 + 4/(-10)*-4. Solve 5*d + 1 = -4*s, -d + w*s = 5*s - 2 for d.
-1
Let r = -19 - -16. Let l = r + 9. Solve 3 = f + j, j - 3 = l*f - f for f.
0
Let v = 134 - 134. Solve v*h + h + 5*f = -7, 2*h - 3*f + 1 = 0 for h.
-2
Suppose 2*v - 4*u = 4*v + 26, u = -2*v - 14. Let p be (-2 - v) + 4 + -2. Solve -5*d + 10 = -2*m - 0*d, -d = p*m - 2 for m.
0
Let j be ((-12)/(-10))/((-24)/(-80)). Solve -2*m + 6 = -2*v - 0, -5*m = j*v + 30 for v.
-5
Suppose -8 + 17 = 3*a. Solve n + 20 = -3*k, n - a*n + 3*k + 5 = 0 for n.
-5
Let u = 39 - 23. Let n be (-3)/(-3) + -2 - -3. Suppose -3*f - n*j + 25 = -4, -j - 17 = -3*f. Solve -2*x - f = -3*a - 1, u = a + 4*x for a.
4
Suppose 3*t = 2*q - 137, -4*q = -2*t - 126 + 24. Let a = t - -61. Let l be 2 - (-1 - -3)*-1. Solve -3 - 9 = -l*s + 5*f, -4*f - a = s for s.
-2
Let g(u) = 17*u - 11. Let j(f) = -6*f + 4. Let y(q) = -3*g(q) - 8*j(q). Let r be y(-3). Solve l - 3*l + 4*n = -r, -17 = 5*l + 4*n for l.
-1
Suppose -6*z + 142 = -2*z + 2*k, 4 = -4*k. Suppose 4*r + 5*w - z = 68, -26 = -2*r + 4*w. Solve -r = -3*u - 0*t + 3*t, 5*u + 2*t = 21 for u.
5
Suppose -2*g + 2 = d, -3*g - 102 = -5*d - 40. Let l be d/2 + (2 - 2). Suppose 3*c + 75 = l*f, -3*c = 2*c. Solve -n + 4*m - 8*m - f = 0, n - 9 = 4*m for n.
-3
Let t = 16 + 5. Solve -3*m - t = -5*z, 2*m + 0*m = -2*z + 2 for z.
3
Suppose -4*o + 3*o - 6 = -4*b, 0 = -4*o + 4*b. Suppose 4*w - 8 = -o*a, 4*w + 3*a + 2*a - 2 = 0. Solve -w*c + 5*n + 12 = 0, n - 6 = -3*c + 6 for c.
4
Let p = -26 - -10. Let c be p/(-40) + (-8)/(-5). Solve c*y + 4*z = 3*y + 3, -3*y = 3*z - 6 for y.
1
Suppose 8*n - 3*n - 60 = 0. Let s(z) = z**3 - 7*z**2 - 7*z - 5. Let g be s(8). Solve 3*d = -l + n, 3*l + d + 1 = -g for l.
-3
Let b be 2/7 - 5/(-7). Let m = 4 - b. Solve -5*z - 4 = -c, -3*z - 5 + 17 = m*c for c.
4
Let t be 6/(-12)*-88 + (1 - 0). Let y = 0 - 4. Let v be (y/5)/((-6)/t). Solve -4*w + 15 = g, 20 = 2*w - v*g + 4*g for w.
5
Let b(s) = s - 3. Let n be b(4). Suppose -3*f + 6 = -j - n, -2*f = 4*j + 14. Let m be (-3)/2*(-24)/9. Solve m*i - 5*l = -22, 5*l - 3 - f = -2*i for i.
-3
Let x be (5/(-15))/(1/(-9)). Let v be (-3)/(-3)*(-45)/(-3). Suppose -v = l - 4*l. Solve t + 6 = -x*p - 0, -4*p - 27 = -l*t for t.
3
Suppose 5 = 4*m - 5*b, -1 = m - 0*b + b. Let o be (-10)/(-6) + (-4)/6. Suppose -9 = -2*s - o. Solve -2*z - 15 = s*k + 3, k - 5*z + 10 = m for k.
-5
Let w(l) = -2 + l + 3*l**3 + 8 - 2*l**3 + 0*l**3 + 6*l**2. Let h be w(-6). Solve 4*x = h, 4*o - 2*x = x for o.
0
Suppose 2*n = 5*n. Let y = 4 + n. Solve -2*a + 14 = y*t + 4, -4*a + 20 = 2*t for t.
0
Let z(t) = -5*t - 2. Let q be z(-2). Let l(a) be the third derivative of a**4/24 + a**3 - 5*a**2. Let u be l(-3). Solve -2*d + u*n + q = 2*d, 0 = 5*n for d.
2
Suppose -2*x - 3*d + d + 10 = 0, 2*x + d - 5 = 0. Suppose -2*l = -x*l - 16. Solve -l = -2*w + 4*u, -7*w + 7 = -3*w - 5*u for w.
-2
Let g(x) = 6*x**2 + x + 1. Let j be g(-1). Solve 8 = 5*h - j*h - 2*r, 2*r = h - 8 for h.
0
Let a be 18/4*(-16)/(-36) - 0. Solve 13 = -n + 2*q + a, -4*n = -q + 9 for n.
-1
Let l be 5/(39/12 + -3). Solve -n - 12 = 4*x, 3*n = -2*n + l for x.
-4
Let g = 6 + -3. Let v be (-83)/(-4) + g/12. Suppose 2*u + 5*q - 26 = 0, 4*q - v + 2 = -u. Solve 0*y = -u*f + y, 4*y = -4*f for f.
0
Let h = 14 + -11. Solve k - 2*f + 0 = h, 14 = -4*k - 5*f for k.
-1
Let f(n) = 4*n - 3. Let y be f(2). Suppose -19 = -2*z + 61. Let u be z/6 + 3/9. Solve -4*m = 5*p - 24, -u = -y*p - 2*m + 15 for p.
4
Let h(d) = -d**3 - 10*d**2 + 2. Let g be h(-10). Suppose -3*k + 25 = g*k. Solve k*t - 3 = -4*o - 1, -2*o + 4 = t for o.
3
Let t(p) = -p**3 - 14*p**2 - p - 11. Let h be t(-14). Suppose 5*b - 7 = h. Solve 4 - 5 = 3*j - b*y, 4*y - 8 = 4*j for j.
3
Let n(q) = q**3 - 5*q**2 - 7*q + 1. Let r be n(6). Let j be r/(-10) - (-3)/2. Suppose j*k - 8 = -2. Solve 4*g - 20 = 0, -5*g + 4 = k*x - 15 for x.
-2
Let d be 6/18 + (-66)/9. Let l(r) = r**3 + 6*r**2 - 9*r - 9. Let m be l(d). Solve 0*k - k = 4, -5*x + m*k = 5 for x.
-5
Let y(z) = z**3 - 5*z**2 + 4*z. Let g be y(3). Let b be (-4)/(-6) - 26/g. Let h = -6 + 11. Solve h*m + k + 1 = -3, b*m = 2*k + 8 for m.
0
Suppose 2*a + 32 = 2*b - 0*a, -2*a + 48 = 2*b. Suppose b = 3*g + 4*q, -3 = -4*g + 5*q + 3. Solve 0 = 4*w - 5*v - g - 18, 2*w + 