 s(a) = w(a) + z(a). Let l be s(1). Solve -l*v + 4*v - 2 = 0 for v.
-2
Suppose 5*i = i. Solve q + 2*q + 12 = i for q.
-4
Let f(m) = -m. Let l be f(-6). Solve l*h = h - 5 for h.
-1
Let i = 13 + -8. Let o be ((-2)/i)/((-1)/(-20)). Let y = -4 - o. Solve 2*b - y*b = 6 for b.
-3
Let v = 23 - 11. Suppose 0 = 4*y - 5*i - 0*i - 418, 216 = 2*y + i. Let a be y/7 - v/42. Solve -2*b = b + a for b.
-5
Let k = -15 - -19. Suppose -u + 5*j + 15 = k*u, 4*j = 5*u - 20. Solve -n + 5*n = -u for n.
-2
Suppose 4*q = 71 - 23. Suppose -5*r = -2*r. Suppose 15 = u + 4*u. Solve r = -0*d - u*d - q for d.
-4
Let i(t) = t**3 + 6*t**2 + 5. Let u be ((-3)/2)/((-1)/(-4)). Let f be i(u). Solve -3 = -f*x + 2 for x.
1
Let n = 10 + -12. Let s = -12 - -17. Let b = s + n. Solve -b*i = 2*i - 10 for i.
2
Suppose -4*t + 15 = t, -33 = 3*n + t. Let d be 1/2 - 42/n. Solve d = -2*g + g for g.
-4
Suppose 0*g - 5 = -g. Solve -4*t + 5 = -g*t for t.
-5
Let l be (-5)/15 - 8/(-6). Solve -2*h = 1 + l for h.
-1
Let p(u) = u**3 + 4*u**2 - 3*u - 9. Let m be p(-4). Solve -m = -2*w - 11 for w.
-4
Let y be -2*(-1)/(-2)*3. Let v = y + 8. Solve 3*k + 10 + v = 0 for k.
-5
Suppose 4*h - 7 - 4 = o, 2*h + 4*o - 28 = 0. Let b = -1 + h. Solve -b*r + 8 = r for r.
2
Let t = -13 + 11. Let l be (0 - 2)/(-1) - t. Let s = 9 - 6. Solve -s*r + l*r - 1 = 0 for r.
1
Suppose y + 2*y = -4*r - 55, -30 = 2*y + r. Let s = 8 + y. Let g = 9 + s. Solve g*v + 6 = v for v.
-2
Let m(a) = a**3 - 3*a**2 + 2*a - 4. Let i be m(3). Suppose 3*l - i = 10. Solve 2*d - 6 = l*d for d.
-3
Suppose -4*v - 2*r - 6 = -8*v, 0 = 5*v - r - 12. Suppose 2*j + q = 2*q + 3, v*j - 11 = -5*q. Solve -2*o - j + 0 = 0 for o.
-1
Let v be (-4)/8 + (-1)/(-2). Solve -7*a + 5*a - 10 = v for a.
-5
Let z be (144/(-3))/((-6)/4). Let h be ((-9)/4)/((-6)/z). Solve -f - 3*f = -h for f.
3
Let k be 57/(-12) - 1/4. Let a(d) = -d**3 + 4*d**2 + 3*d + 2. Let b be a(5). Let m = k - b. Solve 0*z = z + m for z.
-3
Suppose -5*t - 2*h - 9 = -1, h + 4 = -3*t. Let k = 1 + -1. Solve -z - 1 + t = k for z.
-1
Let r(o) = o**3 + 4*o**2 - 7*o - 3. Let f be r(-5). Let n(i) = -3*i - 7. Let p be n(-3). Solve -f*j - 5 = -p*j for j.
-1
Let o(c) = c**2 - 3*c - 4. Let t be o(-4). Let g = 11 + -6. Solve -1 - t = g*m for m.
-5
Suppose -5*k + 70 = b - 3*b, -k + 22 = -2*b. Let i = 12 - k. Solve 2*z = -i*z + 10 for z.
5
Let w be (-1 + 9)/(-1 - -3). Suppose -o = a - 12, -10 = -2*a - 4. Solve -w*g = -o*g + 15 for g.
3
Suppose -4*n = -2*n - 12. Suppose x + n = 2*x. Suppose -4 = -5*o + x. Solve -z = o*z + 12 for z.
-4
Suppose -9*r = -3*r - 36. Solve r*m - 15 = m for m.
3
Let l be (6/2)/(9/24). Suppose l = -4*a, -5*n + 2 = -n - a. Solve p = -n*p for p.
0
Let u be (-5)/(-2) + (-10)/((-80)/(-12)). Solve -u = -4*k - 9 for k.
-2
Let z be 32/6 + ((-120)/(-18) - 6). Solve 0*x = z*x + 30 for x.
-5
Let l(b) = b - 5. Let n be l(15). Solve n = -3*j + j for j.
-5
Suppose m + 4*d - 18 = -0, 4*d - 12 = 0. Solve 3*a + 0*a = -m for a.
-2
Suppose b = -3*a + 1 + 18, 5*b + 4*a - 40 = 0. Solve -1 + 13 = -b*q for q.
-3
Let b(q) = -q**3 - 3*q**2 + 4*q + 5. Let k be b(-4). Suppose k*f + 4*n = 45, 4*f - 3*n = n. Solve f*p = p - 4 for p.
-1
Suppose 23 = 2*c - 23. Suppose c = 5*v + 8. Suppose -4*f = -v*f. Solve -4 + f = -t for t.
4
Let l = -4 - -7. Suppose 4*r + 66 = 5*q, 2 = 5*q - l*r - 60. Solve -j - q = j for j.
-5
Suppose -4*d = -9*d. Let p(l) = l - 5. Suppose 2*w = -3*i + 4*i + 1, -5*i = w - 28. Let h be p(i). Solve h = -3*c - 9 - d for c.
-3
Suppose s + 2 = -3. Let a be (-36)/(-20) + (-1)/s. Suppose 5*p + a*o - 35 = 0, 5*o - 2 = -0*p - 3*p. Solve p = 5*d + 34 for d.
-5
Suppose 2*v - 4 = -n + 3*n, v + 18 = -3*n. Let f = n - -8. Let i(t) = t**2 - 3*t + 2. Let p be i(f). Solve p*k = -2*k for k.
0
Suppose 0*h - 2*f - 8 = -h, 2*h - 12 = 2*f. Suppose -2*x = z - 4, -4 = -h*z - 4*x + 4. Solve -2*q - 8 + 0 = z for q.
-4
Let u be 1/(-4) - 7/(-28). Suppose u = 4*x + 3*d + 1, -4*d - 25 = -5*x + d. Solve x*c = -2*c + 4 for c.
1
Let r(m) = -m**2 - 3*m + 6. Let y be r(-5). Let f = y + 4. Solve f = -3*c + 13 + 2 for c.
5
Let b be (-1 + 3)*1 + 0. Suppose 2 = b*l - 0*l. Suppose -l = 5*o - 4*n - 0, 5*n - 29 = -3*o. Solve -3*f + o = -2*f for f.
3
Suppose j - 4 = 6*z - z, -3*j + z = 2. Let m be j*(-2 + (-2 - 2)). Suppose -3*q = -2*x - m, x + 2 + 7 = 3*q. Solve -3*l + 2 = -q*l for l.
-2
Suppose -2*g - 16 = -5*y, -3*g - 10 = -2*y - g. Solve -2 = -y*f + 2 for f.
2
Let g = 33 + -33. Solve z + g*z = -3 for z.
-3
Let g = 0 + 3. Suppose 0*v - g = -v. Solve 2*s = -s + v for s.
1
Let m(b) = 32*b**3 - b**2 - b + 1. Let l be m(1). Let o be l/6 - (-1)/(-6). Solve 2*k - o + 1 = 0 for k.
2
Let c(z) = -z**3 - 4*z**2 + z - 2. Let q be c(-3). Let a = 24 + q. Solve 3*s + 5 = -a for s.
-5
Let d(j) = -j**2 - 6*j - 1. Let q be d(-5). Solve 6 = -q*l + 2 for l.
-1
Let b = -4 - -9. Let y = 5 - b. Let w(c) = 10*c**3 - c + 1. Let x be w(1). Solve 3*t - t - x = y for t.
5
Let y(a) = a**3 + 6*a**2 - 8*a - 4. Let h be y(-7). Suppose r + r = -5*b + 13, -36 = -h*r - 2*b. Let o be (r/10 + -1)*5. Solve o*p = -p for p.
0
Let x = 40 + -10. Suppose -6*t = -t - x. Solve 0 = -j + t*j - 25 for j.
5
Suppose 0 = 5*q - 5*d, -d - 4*d = -4*q. Suppose 0 = -q*c + 2*c. Solve m + m - 4 = c for m.
2
Let y = 3 - 2. Suppose g = 2*g - y, 2*h - 7 = -g. Let v be 4/8 - (-14)/4. Solve -h*c + v = -5 for c.
3
Let g(n) = -n**2 - 7*n + 13. Let y be g(-8). Solve 2*w - y = 1 for w.
3
Let m(n) = 5*n - 6*n + 1 - 2*n. Let y be m(-4). Suppose 0 = -5*u - 3 + y. Solve 0 = -u*g + 7 + 1 for g.
4
Let q(s) = s + 10. Let c be q(-6). Solve -5*f = 14 - c for f.
-2
Suppose 4*m = 2*q - 12 - 6, -4*m + 17 = 5*q. Solve 15 = q*k - 10*k for k.
-3
Suppose 2*z - 5 = 3. Suppose z*n - 3 = 3*n. Solve -2*x - n = x for x.
-1
Suppose -4*x = 3*x - 14. Solve -x*h + 2 + 0 = 0 for h.
1
Suppose -31 = -5*c - 2*l, 4*l - 6 = 2*c - 28. Let r = c + -15. Let x = r + 13. Solve n - x*n = 0 for n.
0
Let v = -8 - -16. Suppose 6*o - v*o = -2. Solve 3 = 4*q - o for q.
1
Let t(d) = d - 20. Let c be t(20). Solve c = -2*o + 5 + 1 for o.
3
Suppose 3*f - 4 + 10 = 0. Let m = f + 5. Solve 1 = m*c - 2 for c.
1
Let s = 59 - 44. Solve -r = -6*r + s for r.
3
Suppose -x - 4 = -1. Let o = -4 + 3. Let w = o - x. Solve -7*j - 15 = -w*j for j.
-3
Let f be -2*1/6*-9. Suppose -2*y - y - 9 = 0, 0 = -f*c - 2*y + 24. Suppose -10*p + 64 = 6*p. Solve 0 = p*x + 2 - c for x.
2
Suppose 0*y + 15 = 5*y. Solve y*f - 1 - 11 = 0 for f.
4
Suppose -11*x = -8 - 25. Solve -f = -x*f for f.
0
Let b(g) = 2*g**3 + 0*g**2 - 6*g**2 - 3*g**3. Let s be b(-6). Solve s*x = 5*x + 20 for x.
-4
Let p be -10*(0 + 3/(-6)). Solve p*m + 10 = -0 for m.
-2
Suppose 37 - 13 = 8*l. Solve -1 = -l*v + 2 for v.
1
Let q be (-2 - -1)*(9 + -14). Suppose -5*o = -q*b + 10, 3*o - 4*o - 14 = -4*b. Solve a = -a - b for a.
-2
Suppose 30 = l + 5*l. Solve 0 = -4*y - l + 25 for y.
5
Let w be (-15)/(-12) + (-6)/(-8). Suppose -c = w*c. Solve 3*n + 8 + 4 = c for n.
-4
Suppose 2*m + 14 = -b + 39, -2*m = -10. Solve -b = -3*u - 2*u for u.
3
Let w(i) = i**3 + i. Let d be w(2). Let k = d + -6. Solve -5 = -3*c + k for c.
3
Suppose -4*f + 3*q = -83 - 60, 0 = -q + 3. Solve 5*y = 13 - f for y.
-5
Suppose -3*y + 4*y - 17 = 0. Let c be (1*-2)/((-10)/(-45)). Let r = y + c. Solve 3*m = -r - 4 for m.
-4
Let i(f) = f**3 - 8*f**2 - f + 11. Let h be i(8). Let l(w) = w**2 + w - 1. Let o be l(2). Suppose 0 = h*n - o - 7. Solve 1 = -x + n for x.
3
Let j be 7/21 + (-38)/6. Let i be (0 - (-3)/j)*-8. Solve -i*k + 2*k - 6 = 0 for k.
-3
Let h(t) = 4*t**3 - t**2 + 1. Let c be h(1). Suppose n + 2*l = 9, 2*l - 6 = -l. Suppose -5*d - 5*g = -15, -24 = -n*d - 2*g - 0. Solve -2 = d*w - c*w for w.
-1
Let u = -70 - -74. Solve -u = -0*p + p for p.
-4
Let n(y) = -y**3 + 4*y**2 + 3*y - 2. Let v be n(4). Solve q - 3*q + v = 0 for q.
5
Let p be ((-3)/(-1) - 1)*1. Let s = p - 0. Suppose -4*c + 32 - 8 = 0. Solve 2*q = s + c for q.
4
Let i(y) = y**3 - y**2 - 7*y - 10. Let n be i(4). Solve -2*u = 3*u + n for u.
-2
Suppose x + 6*p - 14 = p, -3*x + 29 = 2*p. Suppose 0 = 9*a - 8*a - 6. Solve 3*u + x = -a for u.
-5
Suppose 4*n - 2*n = 4*g, -2*n = 2*g. Let i = 1 - 1. Suppose i*l + 2*l = 40. Solve -z - 3*z - l = n for z.
-5
Suppose 4*j + 0*r = -5*r, 3*r = -j. Suppose 3*h - h = j. Solve h = -3*n - 2*n for n.
0
Let j(x) be the first derivative of -x**7/120 + x**4/2