20. Solve 0 = x + y + z for x.
-5
Suppose 4*l - 24 = 6*l. Let j be (-37)/(-6) - (-2)/l. Solve j*p - 20 = 2*p for p.
5
Let v(t) be the second derivative of t**3/6 + 3*t**2/2 + t. Let x be v(-3). Solve x = -j - j + 2 for j.
1
Suppose -12 = -3*x + 7*x. Let s be 8*3/((-36)/x). Solve -n + 3 = -s for n.
5
Suppose 9 = -0*j + 3*j. Suppose -j*m + 6 - 3 = 0. Solve -4*w + 5 = m for w.
1
Let s = -16 + 22. Suppose 2*u = s*u. Solve u = -2*z + 5 + 3 for z.
4
Let t be ((-4)/8)/(3/(-42)). Let l = t - 5. Solve -b - l = b for b.
-1
Let b = -57 - -59. Solve -b = 4*g + 2 for g.
-1
Let w = -34 + 46. Solve -2*a - w = a for a.
-4
Let n be (-2)/(-1) - (0 - -2). Let h be n/(3/2*-2). Solve h = -l - 2 - 3 for l.
-5
Suppose 8*b = 3*b + 25. Suppose 2*u = -0*u. Suppose 5*o = -u*z - z, 4*o + 14 = 2*z. Solve -z*p + 5 = -b for p.
2
Let v be (0/(-4))/(1*-1). Let h be (-10)/30 + 46/(-6). Let j = -8 - h. Solve v = 2*t - j*t - 2 for t.
1
Suppose -6 = -2*d - d. Suppose d*r - 7*r + 10 = 0. Suppose 3 = r*o + o, -4 = -5*z - 4*o. Solve -k + 0*k = z for k.
0
Let b = 45 + -45. Suppose -26 = -2*g + 4*t, 4*g = 4*t + 17 + 19. Suppose c + b = i - 3, -g*i - 3*c + 7 = 0. Solve -10 = -i*s - 3*s for s.
2
Let x = 59 + -38. Solve 5*u = 4 + x for u.
5
Let v(o) = 0*o + o + 9 + 0*o. Suppose 185*m + 14 = 183*m. Let n be v(m). Solve -n*u + 10 = -0*u for u.
5
Let t(m) = m**2 - 4*m. Let h be t(4). Suppose -4*y - 3 = 3*o - 7, -o - 2*y = h. Solve -o*d = d - 15 for d.
3
Suppose -3*i + 27 = -4*z - 24, 7 = i + 2*z. Suppose i = 2*w + 5. Solve 7*t = w*t + 9 for t.
3
Let y be 2 + (-2 - -1 - -2). Let u be ((-6)/(y + -2))/(-1). Solve u = -5*b - 4 for b.
-2
Let t(m) = m - 8. Let a be t(9). Suppose -a = 3*c - 10. Suppose -q - c*q + 3*v + 7 = 0, -3*v + 1 = -2*q. Solve -q*y + 0*y + 8 = 0 for y.
2
Let b(a) = -14 + 6 + 2*a + 1. Let v be b(5). Solve 5*g = -v - 2 for g.
-1
Suppose 5*z + k + 6 = 16, -5*k = z - 26. Let c be 7 - z - (-2)/(-2). Let o be (-2)/(-6) + (-11)/(-3). Solve o*m = c*m - 3 for m.
3
Suppose -4*b = 14 - 14. Solve 0 = 2*j - b*j - 4 for j.
2
Let o(k) = k**2 - 4*k + 6. Let l be o(6). Let r = 33 - l. Solve 3*c - 3 + r = 0 for c.
-4
Suppose 3*d - 15 = -2*d. Solve 0 - d = z for z.
-3
Let w(u) be the first derivative of -u**3/3 + 9*u**2/2 - 4*u + 7. Let t be w(8). Solve 0 = 3*k - 10 + t for k.
2
Let k(r) = -3*r - 66. Let h be k(-23). Solve -8 = -7*l + h*l for l.
2
Let d = -13 - -13. Solve d = -3*f + 5*f - 4 for f.
2
Suppose -10 = 5*p + 10. Let m = 1 - p. Solve 0 = 2*v - m*v for v.
0
Let p be 2 - ((5 - 1) + -3). Solve -2*c - p = 3 for c.
-2
Let p = 2 - -4. Solve -s + p = 2*s for s.
2
Let w(l) = -l**3 - 2*l**2 + 4*l + 3. Let p = 9 - 2. Let r = -10 + p. Let t be w(r). Solve t*u + 25 = -5*u for u.
-5
Let x be (-30)/(-8) + (-5)/(-20). Suppose -2*d = -x - 2. Suppose 0 = d*l + 10 - 28. Solve -s = -l*s for s.
0
Let d(i) = 6*i**2 + 2*i - 2 - i**2 - 4*i**2 - 3. Let f be d(-4). Solve 0 = -2*n + 3*n + f for n.
-3
Let g = -10 + 12. Solve 2 = 3*y - g*y for y.
2
Let y = 43 + -41. Solve y*f + 3*f = -5 for f.
-1
Let i = 3 - 9. Let d = i - -10. Suppose 2 = d*v - 2. Solve -5*s - v = 4 for s.
-1
Let j be (-6)/(-2) + 4 + -2. Suppose 3*z - 4 = j. Solve 2 - 5 = z*k for k.
-1
Suppose 0 = l + o - 2, 3 = -5*l + o + 13. Suppose 0 = -l*c + 3 + 29. Solve i + 3*i - c = 0 for i.
4
Let l(u) = u**3 - 4*u**2 + 2*u - 4. Let p be l(4). Suppose 69 = p*o - 5*h, -11 = -o - 7*h + 2*h. Solve 0 = -4*d + o for d.
4
Let o(r) = 6*r**3 - r**2 - 1 - r**2 + 2*r - 5*r**3. Let b be o(1). Solve i - 5 + 0 = b for i.
5
Let h be 5/1 + (-3 - 0). Suppose 0 = -h*p + 26 - 16. Solve -p*y = 11 + 9 for y.
-4
Let b = 1 - -3. Let p be (1 + -1)*(-2)/b. Solve 4*d + d = p for d.
0
Let x(q) = -q**2 + 8*q - 4. Let y be x(5). Suppose -g - 8 = -4*w + 3*g, -w = 2*g - y. Solve 0 = w*r - 4 + 29 for r.
-5
Let k(p) = p + 3. Let j be (-7)/(3/6*2). Let q be k(j). Let f(b) = -4*b - 6. Let o be f(q). Solve h = -4*h + o for h.
2
Let w = 4 + 1. Suppose 2*a - 19 = -w. Solve 1 - a = -2*t for t.
3
Let u(q) = -q**2 - 6*q - 1. Let h be u(-4). Suppose 16 = 4*b + 4*l, 4*b + b = 4*l - h. Suppose -7 = -o + 6. Solve b - o = 3*x for x.
-4
Suppose 5*d = 4*d + 18. Let i be 1/(-4) - d/(-8). Let l(x) = x**3 - 6*x**2 + 11*x - 9. Let t be l(4). Solve 4*n = t*n + i for n.
2
Suppose 38*z = 35*z. Solve r - 6*r = z for r.
0
Suppose 41 - 11 = 5*v. Solve v = -2*t - t for t.
-2
Let h(v) = v**3 - 13*v**2 - 2*v + 4. Let x be h(13). Let q be (-96)/(-44) - (-4)/x. Let r = 6 - 3. Solve -r*l = q*l - 20 for l.
4
Let z be (1 - 2/(-6))*3. Let h(u) = 7*u + 4. Let k be h(5). Let l = k - 27. Solve -p + z*p = -l for p.
-4
Let o = 6 + 3. Solve -2*v = -5*v - o for v.
-3
Let o = -139 - -142. Solve l - o = -0 for l.
3
Suppose 0*c - c + 4*a + 23 = 0, -1 = 3*c + 2*a. Suppose f + 0*f - 10 = 5*h, 0 = -3*h - 4*f - 29. Let q = c + h. Solve -3*l + l - 8 = q for l.
-4
Suppose 0 = -25*o + 22*o + 12. Let a be 1/4 - (-7)/o. Solve -a*b + 0*b + 4 = 0 for b.
2
Let u(b) = b**3 + 3*b**2 - 2*b - 4. Let a be (6 - 4)/(4/(-6)). Let c = a - 0. Let h be u(c). Solve 4 = s - h*s for s.
-4
Let g be (-2)/(-5) + 98/5. Suppose -6*s = -s - g. Suppose -4*v - s*a - 4 - 4 = 0, -5*v - 2*a + 2 = 0. Solve 2*m - v = -12 for m.
-5
Suppose 42 = 3*o - 4*r, -3*o + r = -4*o + 7. Suppose 3*g = 2*b + 7 + o, 0 = -3*b - 3. Suppose 3 = -t + 5*q + 12, 0 = 4*t - g*q - 21. Solve 3*w = t*w for w.
0
Suppose 0 = 3*s - 0*s - 3. Let c(f) = 2*f**3 + f - 1. Let d be c(s). Solve d = 3*x - 4 for x.
2
Let o(p) = -p + 2. Let y be o(-5). Solve 0 = -y*w + 10*w + 3 for w.
-1
Let h(t) = 2*t**2 + 9*t - 5. Let w(p) = p**2 + 8*p - 4. Let x(a) = -2*h(a) + 3*w(a). Let m be x(4). Solve 0 = -5*s - m - 4 for s.
-2
Let g(a) = 2*a. Let r be g(1). Let i(s) = -s**3 + 4*s**2 - 3*s. Let d be i(r). Solve -x = d*x - 3 for x.
1
Let n(o) = o**3 + 6*o**2 - 7*o + 2. Let p be n(-7). Solve 1 = p*w - 7 for w.
4
Suppose -w - 3*w + 20 = 0. Let y be 8/(-20) + 12/w. Suppose -y*n - 2*n = -12. Solve -n = -0*i + 3*i for i.
-1
Let c(x) be the second derivative of x**3/3 - 11*x**2/2 + 2*x. Let v be c(8). Solve 3*t - v*t = -4 for t.
2
Suppose 5*k - 5 = 0, -v + 22 - 7 = 5*k. Solve -15*f + v*f = 15 for f.
-3
Suppose -2*b - 2*b = 24. Let f = -15 - b. Let d be (30/f + 1)*-3. Solve -5*t - d = -2 for t.
-1
Suppose -5*l - 10 + 85 = 0. Solve x = -4*x + l for x.
3
Suppose -4*g = 5*a + 20, -4*g + 4*a = a - 12. Solve o + 5 + g = 0 for o.
-5
Let p(n) = n - 1. Let a be p(7). Solve 5*g + a = 1 for g.
-1
Let f be 56/(-140) + (0 - (-34)/10). Solve 5*m - f + 8 = 0 for m.
-1
Let a(q) = -q**3 + 4*q**2 - 4*q + 3. Let j be a(2). Suppose j = y - 0. Suppose -8 = -y*o - o. Solve 0 = 5*d + o + 3 for d.
-1
Let p(x) = x**2 + x - 3. Let w be p(2). Let d(t) = -t**2 + 3*t + 4. Let r be d(w). Solve r = 3*y - 5 for y.
3
Suppose 11*u - 17*u + 30 = 0. Solve -u*q + 8 + 17 = 0 for q.
5
Let o be (-7 + 1)/((-2)/2). Let z be 6/(-14) - 6/(-14). Let j = z - -4. Solve o = -2*t - j for t.
-5
Let p(d) = -d**2 - 9*d - 7. Let t be p(-7). Let k be 2 + t/(-2 + 3). Let y be (-2)/(-3)*9/2. Solve 0*s + k = y*s for s.
3
Suppose 0 = 3*x - 23 - 13. Let d(z) = -z**3 + 12*z**2 + 2. Let s be d(x). Suppose 0 = s*l - 3*k - 7, 2*l + 6*k - 3*k = 1. Solve -n = -0 - l for n.
2
Let r(f) = -f**2 + 21*f + 26. Let h be r(22). Solve -h = -g - 0 for g.
4
Suppose -4*p + 2*p = 0. Let q = 1 - p. Solve q = -5*n - 9 for n.
-2
Let k(t) = -t + 10. Let x be k(7). Solve 2*f = -x*f for f.
0
Let g(d) = 2*d**3 - d. Let h be g(1). Let i = h - -4. Suppose -f = 2 - 6. Solve -i*x - 6 = f for x.
-2
Let k(v) = -v**2 - 2*v + 3. Let a be k(-4). Let h be (-2)/a + (-13)/(-5). Solve h*f - 5 = -2 for f.
1
Let i(u) = -u**2 + 13*u - 16. Let x be i(11). Solve x*y - 15 = y for y.
3
Let f be 4/12*(8 - -1). Suppose g - 3 = f. Suppose -33 = -4*x - 7*h + 2*h, 2*h - 8 = x. Solve 4*a - x*a = g for a.
3
Let q(t) be the first derivative of -t**2/2 + 2*t + 1. Let l(m) = -m + 3. Let o(d) = 3*l(d) - 2*q(d). Let b be o(3). Solve 2*s + b = -0 for s.
-1
Let p(v) = 7*v - 1. Let h(y) = 20*y - 3. Let m(u) = 6*h(u) - 17*p(u). Let f be m(6). Let n be (-2)/(-9) + (-64)/(-36). Solve n*l + 1 = f for l.
2
Suppose 0 = 4*q - 2*f - 128, 2*q + 5*f - 39 = 37. Suppose 6*u - 5*o = u + 45, 5*u = 2*o + q. Solve -26 = -u*m - 6 for m.
4
Suppose 14*y - 17 - 25 = 0. Solve -y = -15*l + 12*l for l.
1
Suppose 169*j - 171*j + 4 = 0. Solve 8 = -j*f - 2*f f