20. Solve 2*s = -2*p + 1 + i, 4*s + 5*p = 5 for s.
0
Suppose 0*v + 4*v = 0. Suppose 4*o = 19 + 17. Let q be (o/(-6))/((-1)/2). Solve v = 3*p + 15, 0 = -3*x + q*p - 2 + 20 for x.
1
Let m be -3 + 6/3 + -73. Let f = -64 - m. Solve 5*d + 20 = -5*x - f, 0 = 4*x - 2*d + 18 for x.
-5
Let z(m) be the third derivative of -m**4/12 - 7*m**3/2 - 6*m**2. Let v be z(-9). Let g be v/(-6)*-2 + 29. Solve 4*i - 4*w = -g, i + w = -i - 5 for i.
-4
Let d(k) = 11*k**2 - 1. Let p be d(1). Suppose 5*v - 19*v = 238. Let b = 13 - v. Solve -h + 3*i = -p, b = 2*h - 5*h - 3*i for h.
-5
Let j(i) = -2*i - 5. Let c be j(-4). Suppose c*v + 5*f - 13 = 0, -3*f + 6*f - 2 = 4*v. Let u be v + 0/2 + -1. Solve -3*l + l + 4*o - 18 = u, -9 = 2*l - o for l.
-3
Let q(s) = s**2 + 8*s - 78. Let m be q(-14). Solve m = 3*y - 5*k - 8, 0 = 5*k + 20 for y.
-2
Suppose -v = -4*q + 43, 37*q = 36*q - 2*v + 4. Solve -p - 6 = -t + 4*p, -p - q = 2*t for t.
-4
Let c(p) = p - 11. Let z be c(12). Let m be z/(-3)*(-18)/2. Solve m*h + 10 = -r - r, 5*r - 2*h = 13 for r.
1
Suppose -12 = 4*y, a = 6*a - 2*y - 31. Solve -3*r + s = -r - a, 3*s = -3*r + 12 for r.
3
Let q be ((-2)/3)/(-5*2/105). Solve 5*v + 2*z + 2 = 3*v, v - z + q = 0 for v.
-4
Suppose 17 = -8*m + 57. Suppose -3*f = -5*u - 32, -2*u = m*f + u - 8. Solve 17 = -5*g + 5*x - 23, -f*x - 8 = 4*g for g.
-5
Let a be 2 - (((-10)/(-5) - 14) + 1). Solve -2*b + 2*f + 22 = -f, 0 = -b + 2*f + a for b.
5
Let o be 2/4 + 9*5/10. Solve -5*i - o*j = -15, 4*i - 14 = 3*j - 2 for i.
3
Let d = 100 + -100. Solve 0 = -4*y + 5*g - d*g, 4*g = -2*y for y.
0
Suppose -312 + 336 = 12*l. Solve -7*n - k + 1 = -4*n, -l*k = 10 for n.
2
Let m(y) = -y**3 + y**2 + y + 4. Let v(k) = -24*k**2 + k + 1. Let n be v(-1). Let c = n - -24. Let f be m(c). Solve -3*g = -7*x + 3*x - f, 2*x = -8 for g.
-4
Let u be ((16/12)/((-1)/3))/(-2). Solve 4*q + 18 = -2*l + u*q, -q = 4*l + 24 for l.
-5
Let r(l) = -30*l**2 + l + 3. Let b be r(3). Let k be (-2)/5 - b/60. Let q be -2*(6/k + -4). Solve q*w = 25, -2*i + 4*w = w + 11 for i.
2
Let l(v) = 30*v + 63. Let y be l(-2). Solve -y*d + 5 = 4*p - 3, -4*d = 5*p - 11 for d.
4
Let q(t) = t - 4. Let m be q(7). Suppose i = 4*v - m*i - 32, 4*i = -5*v + 13. Solve v*u + 5*z - z = -11, -2*z - 11 = -3*u for u.
1
Let v = 468 - 465. Solve 3*l - 3*w = 21, v*l - 4 - 2 = -2*w for l.
4
Suppose 24*p = -18*p + 672. Solve 3*h = 5*d + 7, 4*d - p = 8*d - 5*h for d.
1
Let t = 4 + -15. Let u = t - -23. Let z = u - 12. Solve z*n = 5*x - 2*n + 33, -x - n = 1 for x.
-5
Let c be (-156 - -155)/((1 + 0)/(-2)). Suppose 2*g + 12 = -n, -5*g = -15 - 0. Let p be n/(-8) - (-1)/(-4). Solve -2*u = -p, 3*m + c = 5*u + 3 for m.
2
Let r = -208 - -212. Let z = -5 + 2. Let q = z + 8. Solve x + 17 = -q*h, -5*h = r*x + 2 + 6 for x.
3
Let q = -13 - -36. Suppose -w = 3*y + 11 - 28, -33 = -5*y - 4*w. Suppose -5*x + 6 + 4 = -4*g, y = 5*x - 5*g. Solve 4*s = s - 2*b + q, -b = -2*s + x for s.
5
Let p be ((-2)/4)/((-2)/(-24)). Let v be p/(-15)*-1*15. Let m = -3 - v. Solve -m*o = -3*g - 4*o + 11, -1 = -3*g + o for g.
2
Let a(v) be the third derivative of -v**4/12 + v**3/2 - 15*v**2. Let n be a(-11). Solve f - 4*f - 16 = -t, 5*t = 4*f + n for f.
-5
Suppose -3*y - y - 35 = -5*x, -x - 22 = 5*y. Solve x*m + 0*m - u = 8, 3*m = -u - 2 for m.
1
Let v(w) = w**3 - 6*w**2 + w + 6. Let r be v(6). Let h be (-366)/21 - 15/(-35). Let p = 20 + h. Solve s - b = b + r, -p*s = 3*b for s.
4
Let d(u) = u**3 + 9*u**2 + 8*u - 1. Let m(o) = -2*o - 4. Let l be m(2). Let y be d(l). Let k be 0 + 4 + -3 + y. Solve k = 4*j - 12, -h + 17 = -5*h + 3*j for h.
-2
Let x(d) = d**3 - 3*d**2 + d - 3. Let z be x(3). Solve 5*m - 7 = 3*h, z*h + 3*m - 1 = 5*h for h.
1
Suppose x + 6 = 2*c, 0 = 20*c - 21*c - 3*x + 17. Solve -p + 4*b = 7, 5*p + c*b - 42 = -2 for p.
5
Let n = 1415 + -1415. Solve o + a + 3 - 5 = 0, -5*a + 10 = n for o.
0
Let z be 4*(-1215)/(-110) + (-2)/11. Let b = 46 - z. Solve 3*y = 5*y - 5*m + 11, -2*y - b*m + 10 = 0 for y.
2
Suppose 3*c - c + 4*g - 26 = 0, -5*g = 0. Solve 2 + c = -3*d, -2*t = -2*d - 4 for t.
-3
Let s(k) = -k**2 + k + 8. Let r be s(3). Let w = 30 - 14. Suppose 4 = 5*l - w. Solve -l*i = -2*a - 14, r*i - 13 = -2*i + 3*a for i.
4
Suppose 6*h - 20 - 10 = 0. Solve s - j = -2, -h*s - 3*j + 19 - 5 = 0 for s.
1
Let h = 0 - -1. Let a be (-32)/(-6) - (4/(-6) + h). Solve 3*m + 1 = -5*k, 0 = -m + a*m + 3*k - 6 for m.
3
Suppose -t - 3*g + 12 = -g, 0 = g - 5. Solve 0*w - 4*w = -16, w = 2*s - t for s.
3
Let t be 6/8*(-256)/(-96). Solve 4*o + t*y + 12 = 3*y, -9 = 3*o - y for o.
-3
Suppose -10*c - 88 = -18*c. Solve -5*p - 5*z + c = -9, 5*p = -4*z + 21 for p.
5
Suppose 3 + 0 = -a. Let z be (-3)/12 + 13/4. Let b be z*(a - 33/(-9)). Solve 3*h - b*l = 3*l, 0 = -2*h + 3*l for h.
0
Suppose -15 = -4*f + 1. Suppose -p + 2*p = 5*w - 20, f*p - 5*w = -20. Solve -4*y + 20 = p, 2*y + 17 = m + 5*y for m.
2
Suppose -3*v + 2*v + 81 = 3*o, 0 = -v - 3. Suppose x - 3*z - o = z, 3*z + 86 = 4*x. Solve f + 16 = 5*f, 0 = 2*m + 4*f - x for m.
2
Let r(v) = -v**2 + 6*v + 18. Let s be r(-2). Solve -m + 2*b = 3, -s*m - b = m - 5 for m.
1
Let w be 6/(-21) + (-94)/14. Let h(s) = -s**2 - 6 + 9 - 6*s + 0 + 7. Let n be h(w). Solve 2*d - 3*d = 0, n*d = -x + 2 for x.
2
Let j = 83 + -55. Let l = j - 22. Solve 3*u - l = 4*s, 2*u - 6 - 2 = 4*s for s.
-3
Let d(b) = b**2 + b + 2. Let k be d(0). Let s be (-1 + k)/(8/32). Suppose -5*a = -3*a - 4. Solve s*q + 4 = a*i, 2*i - 15 = -3*q - i for q.
1
Suppose -q - q - 5*f = 4, -4*q = 3*f - 6. Suppose 20 = w - 6. Suppose r + 3*r = -2*y + w, 0 = 4*y + r - 17. Solve 3*o = 3*c - y, 7*c - q*o = 2*c + 9 for c.
3
Let y(w) be the first derivative of -w**3/3 - 15*w**2/2 - 30*w - 22. Let c be y(-12). Solve 3*o - c*a + 2*a = -7, -o = -a + 1 for o.
3
Suppose 3 = -2*n + 13. Solve -u + 8 = -4*f, n*f + 2*u + 2*u = -10 for f.
-2
Let m be (2/1)/(-3 + 4). Let o = 4 - m. Suppose 10 = -0*u + o*u. Solve -u*i = 4*d + 3 - 6, -3*i = 4*d + 3 for d.
-3
Let x(o) = o + 25. Let q be x(-10). Let l(k) = k + 3. Let t be l(q). Solve -4*i + 5*p = -t, 3*p - 4 = 5*p for i.
2
Suppose 23 + 3 = 13*c. Solve 18 = -4*u + 4*x + 2, x - 4 = -c*u for u.
0
Let n(o) = -6*o**3 - o**2 + o + 1. Let v be n(-1). Suppose -5*b = -v - 5. Solve -m = f + b*f - 5, 4*f - 4*m + 4 = 0 for f.
1
Let s(w) be the first derivative of -w**3/3 - 12*w**2 - 23*w - 19. Let k be s(-23). Solve -2*z = 3*l + 10, -5 = 3*l - k*z + z for l.
0
Let b(w) = -3*w**3 + 9*w**2 - 2*w + 6. Let y be b(3). Solve -2*g = -p + 2, -5*p = 2*g - y*p - 10 for g.
0
Suppose 5*q - w - 38 = 0, 3 = q + 2*w - 9. Suppose q*j = -3 + 43. Solve -j*u = -4*s - 26, -3*s - 12 = -2*s - 4*u for s.
-4
Let p(l) = 2*l**2 - 2*l. Let b be p(-1). Let n be 4/(-6 + 2) + b. Solve w - n - 17 = 4*q, 3*w - 12 = 0 for q.
-4
Suppose 4*f - 8 = -5*p, f + 3*p - 21 = -19. Solve -f*u = -4*b - 4, 3*b + 3*u = -0*b - 3 for b.
-1
Let t be 170/(-68) - 14/(-4). Solve -2*c + 0*x - t = x, c + 3 = 2*x for c.
-1
Let j be 0/3 - -3*20. Let d be 4/6*j/10. Solve 5*u = d*p + 28, -p - u = -5*p - 12 for p.
-2
Let y(v) = -v + 8. Let h be y(6). Let p be 9*(55/45 + -1). Solve -z - p = t, t - 9 + h = 2*z for t.
1
Suppose 12 = 84*v - 80*v. Solve 0*l - 2*l - 4*f - 6 = 0, 0 = v*l + 3*f + 6 for l.
-1
Let k be ((-3)/(-6))/((-1)/(-6)). Let h(d) = -4*d - 24. Let p(t) = t. Let i(z) = h(z) + 6*p(z). Let f be i(15). Solve 0 = -2*b - k*a + 1, -f = -b + a - 3 for b.
2
Let v = 1476 - 1473. Let a be (1/2)/((-9)/(-36)). Solve -a*k - 6 = -h, -v*k - 15 = 5*h + 2*k for h.
0
Let l be (-6)/4*(-1526)/327. Solve 2 = 5*r - 3*i, -r = -5*r - 3*i + l for r.
1
Let b be 0/((-5)/(5/(-1))). Suppose m + b*m = 3*m. Solve -2*c - 6 = f - 3*f, m = -3*c for f.
3
Let b = -771 - -774. Solve -y = 5*p + 4, -b*y - 2*p + p + 2 = 0 for y.
1
Let v(o) = -2*o**3 - 2*o - 1. Let p = -11 + 14. Let y be ((-1)/(-2))/(p/(-6)). Let k be v(y). Solve w - 2*r = -1 + k, -4*w - r = -8 for w.
2
Suppose -897*w + 924*w = 135. Suppose 0 = -4*p + 2*r + 41 + 37, -2*p + 2*r = -34. Solve m - 3 + 11 = x, w*m = -x - p for x.
3
Suppose -3*d + 33*k - 31*k + 10 = 0, k - 9 = -2*d. Solve 12 = d*c, c = 2*b - 2*c + 19 for b.
-5
Suppose 7*b - 8*b = -2*z - 15, 0 = 4*b + 2*z - 10. Solve -3*p + 4*r + 16 = -b*p, 29 = 2*p - 5*r for p.
2
Suppose 3*m = 4*f - 0 - 12, -2*f - 2*m = -6. Solve -5*p = 5*j, 3*j + 3*p + f = p for j.
-3
Suppose 84 = 3*c - 12. Let t 