 3 for w.
1
Suppose 0 = 4*l - 1 - 11. Let q be -6*((-6)/4)/l. Suppose q = -w, -3*i + 4 = 2*w - 5. Solve -3*a + i + 6 = 4*b, 3*b - 11 = -5*a for b.
2
Suppose 2*a = -5*x + 1, 0*x - 31 = -5*a - 3*x. Suppose -a = 5*u - 23. Solve 2*g = -g + 3, u*y - 5*g + 14 = 0 for y.
-3
Suppose -135 = -3*y - 3*j, 55 = y - 0*j - j. Suppose -y = -5*l - 0*l. Solve t + l = 4*u - 9, -2*t = -3*u + 13 for u.
5
Let w = 33 + -24. Solve -v + 2*q - 1 = 3*q, q = v + w for v.
-5
Let v be 4 + -3 + 0 + 8. Let o = v + -9. Let n(c) = -c**3 - 7*c**2 - 6*c + 3. Let g be n(-6). Solve -4*p = 5*t - 2*t, o = g*t for p.
0
Suppose -b = -4 - 0. Let d be (-8)/(-12) + 4/3. Suppose a - 2*a = -b*g + 17, d*a - 4*g = -14. Solve 2*t + a = 5*h, -t = 2*t + 2*h + 14 for t.
-4
Let n be -2 + (4 - 3)*-4. Let i be (2/n)/((-2)/102). Solve -5*f - 11 = -3*u - u, -5*u - i = 4*f for u.
-1
Let a = 1 - 4. Let n = a + 5. Solve 0 = 2*i + n*p + 4, -4*i - 6*p = -p + 7 for i.
-3
Let m(f) = -5*f**2 + 3*f - 6. Let u(w) = w - 1. Let b(h) = -m(h) + 4*u(h). Let p be b(2). Solve 4*x - 4 = -5*z, -5*z - x + 2*x + p = 0 for z.
4
Suppose 6*f - 24 = 2*f. Let v = f + -5. Solve 3*p = -3*c - 15, p = -0*c + 5*c + v for c.
-1
Let y be (1/(-3))/((-5)/(-15)). Let m be (-24)/30*(-6 - y). Solve 2*r = -m*i + 3 + 7, 0 = -5*r - 25 for i.
5
Let b = -74 - -76. Solve 16 = n + 4*p, 0 = p - 1 - b for n.
4
Let i = 10 + -6. Solve -i*b - 4*y = 16, b + 3*b - 2*y - 14 = 0 for b.
1
Let g(z) be the third derivative of -z**6/120 + z**5/30 + z**4/6 - z**3/2 - 2*z**2. Let x be g(3). Solve s + f + 4 = x, -5*f = -0*s + 3*s + 16 for s.
-2
Suppose 0*o + 2*o - 12 = 0. Solve 4*h + 2*t + 8 = -2*t, 0 = h + 3*t + o for h.
0
Let j = -1 + 5. Suppose d + 4*o - 2 = 0, -4*d + j = 3*o - 4. Solve 0 = -5*y - 2*r + 14 - 34, -10 = d*r for y.
-2
Suppose 0 = -4*t - 5*l - 4 - 8, -4*t = -4*l - 24. Solve 0*d - d - 6 = t*y, -d = 3*y + 7 for d.
-4
Suppose 0 = -v + 2. Let t(y) = y**3 - 6*y**2 + 4*y - 4. Let s(m) = 2*m - 14. Let q be s(10). Let h be t(q). Solve 5*n + 5*i + h = 0, 2*n = 3*i - v - 1 for n.
-3
Let x be (-2 - -1) + 7*1. Suppose -x - 2 = -4*v. Let p be 3*v/(-12)*-10. Solve p*q + 0*q + 3*a = 4, -2*a + 6 = 0 for q.
-1
Let j = -10 + 31. Solve -3*r = a - 4*a + j, r - 3*a = -13 for r.
-4
Suppose -4*t = -3 - 13. Suppose t*p = 4*y - 4, 3*y - 6*y = -4*p - 1. Solve -2*u + 14 = -4*s, -4*u - 3*s + p = 2*s for u.
3
Let l be 5/(-2) + 1 + 88/16. Solve -l*n = -5*p + 32, -5*n + 4*p - 23 = 2*p for n.
-3
Let r(g) = -7*g**3 + g**2 + 2*g + 1. Let i be r(-1). Let b be (1 - 1 - 1)/(-1). Let q be (2 - -1)/(b/1). Solve 3*w + i = v - q, 0 = -5*w + 3*v - 22 for w.
-2
Suppose 2*v - 20 = -0*v. Suppose -v + 22 = 3*s. Let o be (1 - s)*(-6)/9. Solve 5*a + 4*t = -16, -2*a = -t + o - 6 for a.
0
Let i be (2 + -2)/(4 + -3). Suppose i = -5*u + 29 + 21. Solve 3*g + u = 2*z, 8 = -z - 0*g - 5*g for z.
2
Let q = 127 - 123. Solve 4*o - 11 = -i, -9 + 3 = -q*o - 2*i for o.
4
Let w(h) = 12*h**2 + 17*h**2 - 3*h - 28*h**2. Let z be w(3). Solve -4*a + 8 = 2*l, a + 4*l - 15 + 6 = z for a.
1
Let a be 8/(-14) - (5 + 195/(-35)). Solve -4*c + 2*b - 8 = -2*b, -2*b + 10 = a for c.
3
Suppose -6*n = -67 - 17. Solve -5*a = l, -3*l + a = 2*a - n for l.
5
Let b = -54 - -59. Solve -4*x - b*a - 31 = 0, 4*a + 20 = -0*x - 2*x for x.
-4
Suppose -5*b = r + 2*r - 2, 3*b - 8 = 5*r. Suppose 5*u + 4*t = 9, 4 = 2*u - u + 3*t. Let j be (-1)/(u/r) + 3. Solve -21 = 5*h + 4*c, -j*h + 0 - 8 = c for h.
-1
Let q = -22 + 12. Let w = q + 12. Solve -4*l - 30 = 5*y - 9*l, 0 = w*y + 5*l - 9 for y.
-3
Let p be 12/(-4) + (1 - -2). Let x = 37 + -25. Solve p = -r + 4*r - x, -2*d + 14 = r for d.
5
Suppose 15 = 4*v - 53. Suppose -5*m + v = 2*j, j = m - 4 + 2. Solve -l - 14 = -2*o, m*o - 15 = 3*l + 12 for o.
5
Suppose -20 = -3*c + 4*c. Let k = -18 - c. Solve 3*d - k*d + 2 = -q, q - d = 0 for q.
-1
Let b = -18 - -22. Solve 3*y + y = b*a + 12, 4*a + 3 = y for a.
0
Suppose -3*f = 0, -3*l + 2*f + 6 = 3*f. Let v be (l + -3)/(4/(-8)). Solve -v*t + 2 = x, -2*t + 4*x - 13 = -5*t for t.
-1
Let s = 22 + -7. Solve -5*f - s = -m, -f + 4*f + m + 1 = 0 for f.
-2
Suppose -3*b = -2*b + 4*l - 20, 0 = l - 2. Suppose -4*v + 0 = -b. Solve 3*h + 3 = v*n, 2*n + 2*n - 2 = 2*h for h.
-1
Suppose 3*d + 4*b = -2*d + 107, -45 = -3*d + 4*b. Let c = -12 + d. Solve 0 = -h + 4, h - c = -2*z + 1 for z.
2
Let i(z) = -z**3 - 3*z**2 + 2*z - 5. Let b be i(-4). Solve 5*a + 2*j + b*j = 10, -5*a + 19 = -4*j for a.
3
Suppose 0 = 7*y - 4*y. Solve 0*w + 4*w - 4*u + 4 = y, 0 = u for w.
-1
Suppose -89 = -4*k - 4*l + 11, -5*k + 110 = 2*l. Suppose -k = -4*r, -1 = -4*q - r + 12. Solve -4*j + 0*j - 12 = q*x, x = j for j.
-2
Suppose -5*b - 5*w + 150 = 0, 3*w + w = -8. Solve -p - u - 1 = 0, 5*p - u = 3*u - b for p.
-4
Let r(k) = -14*k + 2. Let u be r(-1). Solve -3*f + 3*y + 21 = -0*f, 2*y - u = -4*f for f.
5
Let s = -30 + 35. Solve 4*r + 17 = -s*n, 0 = -0*r + 4*r + 2*n + 2 for r.
2
Let h be -2*1/(-2)*1*15. Solve 0 = 3*v - h, -v - 25 = 5*g - 5*v for g.
-1
Let p(b) = b**3 - 2*b**2 - b + 2. Let x be p(1). Solve u + x*s = -5*s - 23, -2*s - 4 = 3*u for u.
2
Let j(c) = c**2 - 10*c + 4. Suppose 50 - 10 = 4*k. Let d be j(k). Solve -2*l + 16 = -2*t, -4*l - 5*t - d + 0 = 0 for l.
4
Let o be 128/(-24) + 1/3. Let v be o/(-25) - 62/10. Let i be (12/(-8))/(v/64). Solve 0 = -5*n + n - 4*a - i, 7 = -3*n + 2*a for n.
-3
Let d = 62 - 57. Solve 4*o - 3*n = 20 + 12, -5*o = -d*n - 45 for o.
5
Let t(k) = -k**2 + 28. Let z be t(-5). Solve -2*q = -0*d + z*d + 14, 2*d = 5*q - 3 for d.
-4
Let m = 3 - 1. Suppose 4 + 0 = m*k. Solve -3*h - 3*z = -5*z - 13, k*h - 2*z = 12 for h.
1
Let o(i) = i**3 - i**2 - i + 1. Let s be o(1). Suppose -3*h = -s*h - 15. Solve -3*r = 5*n + 10 + 16, h*n = 4*r - 12 for r.
-2
Let j(d) = 2 + d - 2*d**2 - 3*d**2 - 1. Let o be j(-1). Let u be (0 - 2) + (0 - o). Solve u*r + 4*g = -6, 2*r - 4*g = 2 - 6 for r.
-2
Let c(m) be the first derivative of -m**4/4 + 2*m**3 + 2*m - 3. Let l be c(6). Solve 2*r + 1 = f + l*f, 0 = 3*r - 4*f + 2 for r.
-2
Suppose 7*w - 5*w - 10 = 0. Solve 0*k - 13 = w*k + 2*z, 2*z + 9 = -k for k.
-1
Suppose 4*z - 3 = 2*z - 3*x, -3*z + 4 = 4*x. Solve 3*u + j - 5*j - 10 = z, -18 = u + 4*j for u.
-2
Let l be (21/(-35))/((-1)/5). Solve -8*u + 4*u - 7 = -l*j, 18 = -3*u - 2*j for u.
-4
Let m = -7 + -1. Let t be (m/(-10))/((-6)/(-15)). Solve -w + t*d - 11 = -0, 5*d = 15 for w.
-5
Suppose 2*u + q = 7*u - 16, 4*u - 4*q - 16 = 0. Suppose -z = -4*k + 10, 0 = 3*k - 8*k + 3*z + 16. Solve y - u = a, 9 = k*y + y - 5*a for y.
3
Let r(l) be the second derivative of -l**4/12 - 4*l**3/3 - 2*l**2 + 5*l. Let j be r(-5). Solve 2*f = -3*n - j, -2*n - 11 = 6*f - f for f.
-1
Let d be (7 + -9)*(0 - 2). Let l be 0/(d/2) + 3. Solve 2*w + 2*f + 5 = f, -15 = -3*w + l*f for w.
0
Let a be 9 - (2/2 + -2). Let r(q) = 3*q - 13. Let x be r(a). Solve -5*k = -3*h + x, -k + 9 = 5*h - 10 for h.
4
Suppose g = 3*y + 17, y + 0 = -4*g + 3. Solve -3*x + 0 + g = -2*s, -5*s = -4*x - 2 for s.
2
Let r = -1 - 0. Let h be (r + -5)*1/(-2). Solve 5*g - 5*k = 10, 5*g + h*k + 0*k = -30 for g.
-3
Suppose -5*z = -4*r + 150, 3*r - z = -0*z + 118. Let b be ((-3)/(-2))/(4/r). Solve 4*n = 5*n - j - 5, 2*n + 3*j = -b for n.
0
Suppose -33 = -2*r + 27. Solve 4*j = -j - 5*d + r, 0 = 3*j + 4*d - 23 for j.
1
Let w(u) = -u**2 + 5*u + 8. Let z be w(6). Let a(q) = q + 9 - z*q + 4. Let m be a(9). Solve s + m*h = 0, -5*s + 2*h + 24 = -2*h for s.
4
Let i(y) = -y**2 + 7*y + 11. Suppose 5*f - 27 - 13 = 0. Let s be i(f). Solve 4*j + 5*g = 16, j - s*g - 2*g + 21 = 0 for j.
-1
Suppose 0 = 4*b - m - 180, m + 174 = 5*b - 52. Let t(k) = 2*k**2 + 12*k - 3. Let n be t(-8). Let h = b - n. Solve -4*d - 1 + h = -5*p, 3*p + 20 = 5*d for p.
0
Suppose -28 = -2*l - 8. Solve 2 - l = 3*c + 5*k, -2 = -3*c + 5*k for c.
-1
Let t = -11 + 18. Let k = -9 - -10. Suppose 0*s = 2*s, 3*s = -4*b. Solve 4*a - k - t = -4*c, -2*a - 5*c + 1 = b for a.
3
Let l be 1/4 + (-432)/(-64). Solve 3*c = 4*j + 3, 0*j + c + l = 4*j for j.
3
Let p = 9 + 56. Suppose y + 25 + p = 0. Let j be (-6)/8 - y/24. Solve -3*l = l - j*h - 4, -l - h = -8 for l.
4
Let v = 40 - 9. Let f = v + -19. Suppose x + 4*o - 3 = 0, x - f = -3*x - 5*o. Solve 4*u = 2*u + 3*s + 13, -3*s = -x*u + 18 for u.
5
Suppose -v + 18 = -1. Suppose -5 + v = z. Solve 4*t + m + m + z = 0, -2*t - 3*m = 9 for t.
-3
Let i = 41 + -41. Solve -5*c + 