20. Let u be a(f). Solve -10 = 2*m + u*m for m.
-2
Let m(n) = -n**3 + 2*n**2 - 2*n + 1. Let v be m(1). Suppose 4*r - 8*r + 4 = v. Let z be (-2 + 1)/r*-8. Solve 0*w - 2*w = z for w.
-4
Let f(h) = 2*h**2 - h. Let i be f(1). Suppose 4*c = -5*r + i, -c + 2 = -r - 5. Solve -c*p - p - 5 = 0 for p.
-1
Suppose 0 = -f + 4*g + 11, -3*f + 0*g = 3*g + 27. Let n(r) = -4*r - 16. Let z be n(f). Solve 0 = -3*u + z*u + 4 for u.
-4
Let r(w) = -w**2 - 17*w - 7. Let h be r(-16). Suppose m - h = -2*m. Solve -m*c = c for c.
0
Let c(w) = w**2 + 2*w - 6. Let b be c(-8). Suppose -3*d = -3 - b. Solve -v + d = 2*v for v.
5
Let z = 166 - 164. Solve 4*g + 6 + z = 0 for g.
-2
Let z(p) = 3*p + 22. Let q be z(-6). Solve 7*s + 6 = q*s for s.
-2
Let q be (-1)/4 + 210/40. Solve -q*r = -r + 16 for r.
-4
Let m(q) = q - 1. Let r be m(5). Suppose 3*o + 3*p = -0*o, -2*p - 7 = -5*o. Solve -5 + o = -r*w for w.
1
Let g(r) be the second derivative of -r**5/20 - r**4/6 - r**3/3 - 2*r**2 + 6*r. Let h be g(-2). Solve h = -2*f + 3*f - 3 for f.
3
Suppose 2*a = 14 - 6. Solve 4*p - a = 6*p for p.
-2
Suppose 3*x - x = 3*l + 10, l + x - 5 = 0. Solve 1 = -l*b - b for b.
-1
Let j be 2/4*2 - 2. Let s be (-2 - -2)/((-2)/j). Let i be s*(-1 + 2 + 0). Solve -g - 4*g + 20 = i for g.
4
Let w = -55 + 70. Solve -4*k + w = 3 for k.
3
Let l = 10 + -10. Suppose 0 = -5*x - l - 10. Let i = 6 + x. Solve 1 = i*t + 5 for t.
-1
Let n = -53 + 56. Let c(t) = t**2 + t. Let r be c(-3). Suppose 9 + r = 3*y. Solve -n*p = -2*p - y for p.
5
Suppose -2 = -5*r - 4*y, -r - 3*y - 2 = r. Solve 2*j = -4 - r for j.
-3
Suppose -5*x + 45 = l, x - 16 = 3*l + 9. Suppose 0 = -x*a + 5*a. Solve 4 = -4*p - a*p for p.
-1
Let y(x) be the first derivative of x**4/4 + 2*x**3 + 5*x**2/2 + 3*x + 3. Let m be y(-4). Solve -5 + m = 5*q for q.
2
Suppose -4*j = 12, -5*t + 2*t = -j - 12. Suppose t*w = w + 40. Solve -3*z = 2*z + w for z.
-4
Let u be 3/6*(-1 - -1). Suppose -d = -4*d. Suppose g - 3*o - 2 = -0*o, d = 2*o. Solve u*i - 2*i = -g for i.
1
Let h = -1 + 6. Let i(s) = s**2 - 6*s - 3. Let k be i(h). Let z(f) = -f**2 - 9*f + 1. Let y be z(k). Solve -4*v + v = y for v.
-3
Suppose 0 = 2*q - 0*q - 50. Let z(r) = 2*r + 9. Let n be z(-7). Let k(l) = -2*l - 6. Let g be k(n). Solve q = -g*u + 5 for u.
-5
Let l(n) = n**2 + 1. Let x be l(-2). Solve -c = -0*c - x for c.
5
Let y(s) = -3*s**2 + s + 2. Let f be y(-2). Let b be (f/(-27))/(4/18). Solve -8 = -5*x + b for x.
2
Suppose -3 = -w - 0. Let b be (-3)/15 + (-22)/(-10). Suppose -5*j + j + 5*h - 12 = 0, b*j + 4*h = 20. Solve -5*g + w*g = j for g.
-1
Suppose 5*u - 23 = 2. Suppose -5*v - d + 30 = 5, 0 = -u*d. Solve v*w - 1 = 19 for w.
4
Let c(u) be the second derivative of -u**8/3360 + u**5/120 + u**4/4 + 3*u. Let v(h) be the third derivative of c(h). Let i be v(-1). Solve i*x = x + 4 for x.
2
Let v be (-14)/(-4)*((-155)/35 + 5). Solve v*a + 25 = 7*a for a.
5
Let u = -33 + 35. Solve 0 = u*s - 0*s + 6 for s.
-3
Let g be -6 - (-1 + -1) - -4. Solve g*c = -c for c.
0
Let h = 6 + 9. Suppose -3*z + h = 2*z. Suppose -z*r + 5*r = 6. Solve -2*a = -3*a - r for a.
-3
Suppose 17 = 4*g + 3*v - 8, 0 = 3*g - 4*v - 25. Solve 4*r = 3 - g for r.
-1
Suppose 10*j = 11*j - 5. Solve -j*t - 3 = 12 for t.
-3
Let d(s) = s**3 - 3*s**2. Let i be d(3). Suppose i = -0*w - 3*w - 24. Let c = -6 - w. Solve 0*r + r - c = 0 for r.
2
Let o = 2 - 8. Let r = 11 + o. Solve -r*f = -0*f + 10 for f.
-2
Suppose -5*s - 4*d - 45 - 6 = 0, -4*d = -4*s - 12. Let z = -4 - s. Suppose 0 = -2*y + x + 16, 2*y = -2*y - z*x + 32. Solve -2 = -2*a - y for a.
-3
Let p be (-2)/1 - (-1 - 1). Suppose 4 + p = 2*l. Solve 12 = l*b + 4 for b.
4
Let t(v) = v**3 + 10*v**2 + 7*v. Let z be t(-9). Let k = z + -11. Let a = 10 - k. Solve 0 = a*c - 4 + 19 for c.
-5
Let p(a) = -a**2 - 3*a + 2. Let w be p(-3). Suppose -y + 12 = 3*y. Suppose 0 = 2*q + y*q - 30. Solve 0 = -w*r - 2 - q for r.
-4
Suppose 2*s = -0*s, 0 = -2*n + 4*s. Let c(y) = -2*y - 5. Let a(v) = -v - 2. Let z(q) = 5*a(q) - 2*c(q). Let b be z(n). Solve -6 + b = -3*d for d.
2
Let q = 34 + -34. Solve 0 = -5*m - q*m - 15 for m.
-3
Suppose 0 = 4*w - 10 - 10. Suppose 3*x - w*x = 0. Solve x = -3*v - 0*v - 15 for v.
-5
Suppose -47 = k - 2. Let y be (-1 - 1)*k/18. Solve -x - y = -6*x for x.
1
Let v = 19 - 17. Solve -2*r - v = -4*r for r.
1
Let x = -32 + 35. Solve -4*g + x*g = 0 for g.
0
Let y(m) = m**3 - 12*m**2 - 10*m - 9. Let x(d) = 2*d**3 - 25*d**2 - 21*d - 18. Let w(b) = -2*x(b) + 5*y(b). Let f be w(11). Solve -5*o - f = -4 for o.
-4
Let d be (-22)/(-5) - 4/10. Let v be (3 + -9)/((-4)/2). Suppose -v*g + 4*l = -4 - 12, 5*l + 11 = 3*g. Solve 4*w + d = -g for w.
-4
Let m(b) = 2*b + 1. Let l be m(1). Let z be 4/42*l*7. Solve -u - 3 = z for u.
-5
Suppose 0 = -2*i + 1 - 9. Let x = i - -4. Suppose x = 7*r - 2*r. Solve 3*f - 2*f - 5 = r for f.
5
Let c be -5*((-44)/40 - (-1)/2). Solve 4*h = c*h - 2 for h.
-2
Let j(x) = x**3 + 3*x**2 - 2*x - 3. Let p be j(-2). Let i = 9 - p. Suppose -2 + 14 = i*r. Solve -2*m + r*m = 2 for m.
2
Suppose -2*g = -2*f - 0*f + 8, 5*g = 0. Solve -12 = -f*h + h for h.
4
Let p(d) = -2*d**2 + 11*d - 10. Let f be p(4). Solve f*n - 10 = -3*n for n.
2
Suppose 5*r + 5*x = 5, 2*x = 2*r + 2*r + 8. Let z be r/3*(7 + -25). Solve p - z = 3*p for p.
-3
Let m be (-8 - -3) + (6 - -2). Solve -m*z = -2 - 1 for z.
1
Let p be (-70)/28*(-16)/5. Solve c = -c + p for c.
4
Suppose 5*l - 27 = 2*c, -3*l - 4*c - 14 = -5*l. Solve 4*z = -z + l for z.
1
Suppose 4 = 4*k - 2*k. Suppose -k*u = -1 - 3. Suppose 0 = -3*v + 6*v, -u*o + 4*v + 34 = 0. Solve -o + 5 = -3*c for c.
4
Suppose 0 = 2*a - a - 11. Suppose 3*k = -2*g + 32, 2*k + 3*g - a = 17. Let m = 1 - 1. Solve -k = 2*b - m*b for b.
-4
Let o(z) = 14*z**3 + 2*z**2 - 1. Let x(p) = p**2 + 6*p + 1. Let m be x(-6). Let i be o(m). Let y be 81/i + (-8)/20. Solve 5*h + 0 = -y for h.
-1
Suppose -6*z = -5*b - 2*z + 30, -z - 1 = 2*b. Solve b = -2*k - 0 for k.
-1
Suppose 0*w - 30 = -5*w. Solve 5*u + 9 = -w for u.
-3
Let b(k) = -3*k + 1. Let m be b(0). Solve -4*l - m = 15 for l.
-4
Let n(o) be the third derivative of -o**5/60 + 3*o**4/8 - 3*o**3/2 - 4*o**2. Let m be n(7). Solve -4*a = 15 + m for a.
-5
Let s be (-1)/3 - 14/(-6). Suppose 5*p + 5*f + 5 = 0, -4*f = -3*p - 3*f + 13. Let m = s + p. Solve -2*t - 15 = -m*t for t.
5
Suppose -2 = 2*j - 10. Suppose 0 = -u - 5*s + 4 + 16, 5*u - 5*s = -50. Let w be 10/j*(-6)/u. Solve -m = w*m for m.
0
Suppose -2*i = -3*x + 1, i = 2*x - 0 - 2. Solve x*l + 3 = 6 for l.
1
Let x = 4 + -1. Suppose x*a - 25 = -10. Solve v = 2*v - a for v.
5
Suppose 3*z - 2*l = -123, -2*z + 57 - 139 = -5*l. Let r be (-8)/52 - z/13. Solve -1 + r = d for d.
2
Let h(c) = -6*c**3 - 3*c**2 + 5*c**3 + 6 - 5*c + 8*c**2. Let q(u) = u**2 + 5*u - 2. Let b be q(-6). Let o be h(b). Solve o*k = -2*k - 12 for k.
-3
Let k be 1/(1/((-75)/3)). Let p = k + 37. Suppose p = 3*x, -6 = -0*n - 2*n + x. Solve -25 = -0*d + n*d for d.
-5
Let y(h) = h**3 - 6*h**2 - 7*h + 3. Let u be y(7). Solve u*d + d + 20 = 0 for d.
-5
Let t(g) be the third derivative of g**2 + 1/24*g**4 + 0 + 2/3*g**3 + 0*g. Let a be t(-2). Solve a = 3*d - d for d.
1
Let q(c) = 2*c - 6. Let l be q(5). Solve -2 - l = -3*s for s.
2
Let c = 91 - 84. Solve 3*u = c*u for u.
0
Let w(b) = -5*b - 3. Let q be w(-1). Solve 0*l + 8 = q*l for l.
4
Let a be (1/3)/((-1)/(-6)). Suppose -c - 2*c = -4*r + 16, -2*r + 4*c = -8. Solve -4*x + a*x + r = 0 for x.
2
Let v be (-3 - -3)*1/2. Let o(k) = k**3 + k**2 - 1. Let p be o(v). Let g = p + 4. Solve -12 = 3*r - g for r.
-3
Suppose -4*y + 9 = -y. Suppose 0 = -3*a - 3*r - 24, -4*r - 20 = -4*a + 5*a. Let v = 4 - a. Solve v = 7*f - y*f for f.
2
Suppose 4*y + 12 = 3*t, -1 = 4*t + 5*y + 14. Solve t = -3*g - g for g.
0
Suppose 24 = 8*n - 0*n. Solve x = -n*x for x.
0
Suppose w - 17 = 3*v - 0, -2*w - 2 = 3*v. Suppose -3*n + 4 = -h - 3*h, 5*h + 6 = 4*n. Solve -h*g + 12 = -w*g for g.
-4
Let f be 2*((-4)/8 + 2). Solve -f*j = -0*j + 6 for j.
-2
Let m(v) = -v**2 + 20*v + 74. Let b be m(23). Let w be -3*(-3)/(-1) - -2. Let h be 88/14 + 2/w. Solve 9 = b*o - h for o.
3
Let i be ((-10)/15)/((-3)/45). Solve i = 8*a - 3*a for a.
2
Let h = 4 - 4. Solve h = d - 1 - 0 for d.
1
Let j be 0*(-1 - (2 - 4)). Suppose -3*t - 2*t = j. Let z be (3 - 0)*(2 + -1). Solve -z*r - 14 - 1 = t for r.
-5
Let v be 2/(-4*1)*2. Let l be 3 - 1 - v