 -5*i = o - 1 - 13, d = -3*o - 4*i + 9 for o.
-1
Let z be 9 - 1*(4 + 0). Suppose -4*v - 2*a = 4, -z*v + 4*a = 2*a - 13. Let u be 0/5 + v*13. Solve -2*d + t = -t + 8, -2*t = 5*d + u for d.
-3
Suppose 4*d - d - 15 = 0. Let h(a) = -a + 8. Let g be h(6). Suppose 40 = 2*t + g*t. Solve 4*y - 3*x + 4 + 2 = 0, 0 = -3*y + d*x - t for y.
0
Let h(g) = g - 17. Let i be h(2). Let q be -2*5/25 - 6/i. Solve q = -4*r + 5 - 17, -4*n - 17 = 3*r for n.
-2
Let y be (-4)/24 + 805/42. Suppose 2*h = 1 + 9. Solve h*k = o + 8, -3*k - 5 + y = 4*o for k.
2
Let t(h) = 3*h - 5. Let g be t(6). Let d = g + -10. Suppose y - 2 - d = 0. Solve -y*p = 2*l - p + 18, -l + 9 = -4*p for l.
-3
Let u(c) = -c**2 - 19*c - 10. Let n be u(-17). Let w(r) = r**2 - 23*r - 22. Let y be w(24). Solve 4*x = -p - 3*p + n, 0 = y*x + p - 10 for x.
4
Suppose -5*c + 6 = -3*c. Solve 0 = m - 6*m - c*o - 14, 3*o + 10 = -m for m.
-1
Let p be (17/(-51))/((-2)/78). Solve -2*t + p = -5*i + 3, -t = 3*i - 5 for t.
5
Let u be -2*7/(-4)*(-132)/(-154). Solve 0 = 4*v + 2*r + u - 15, 4*v + r - 10 = 0 for v.
2
Suppose 0 = -3*a - 9, -2*y + 2*a + 206 = -2*a. Let x be (-6)/(-10) + y/5. Solve -5*h - 5*o = x, 0*h + 3*h + 4 = -o for h.
0
Suppose -13*f - 35 = -20*f. Solve 10 = -f*n, -11*o + 6*o = -5*n + 10 for o.
-4
Let n(l) be the third derivative of l**4/24 + l**3/6 + 4*l**2. Let p be n(2). Solve -8 = c - 5*c - 4*v, 3*v = p*c - 12 for c.
3
Suppose 5*q = 2*o - 73 + 19, -o = 4*q + 38. Let a = q - -12. Solve -2*f + 3*d - 20 = d, -f - a*d + 5 = 0 for f.
-5
Let j(p) be the second derivative of p**5/20 - p**4/6 - p**3/2 + p**2 - 2*p. Let a be j(3). Solve 2*k - 2*v - 8 = 0, 4*v - a = 2*k - 7*k for k.
2
Let t = -130 - -133. Let v = -36 + 59. Solve 2*b = 2*a + 3 + t, -3*a - v = 4*b for a.
-5
Let d(z) = z**3 + z**2 - z + 1. Let v be d(0). Let a be 5/v*(12 - 3). Let u = a + -27. Solve -w + 1 = -3*k - 4, -3*w = 2*k + u for w.
-4
Let m(a) = a**3 + 3*a**2 + 3*a + 5. Suppose 0 = 5*s - 2*w + 16, 0 = -6*w + 2*w + 12. Let r be m(s). Solve 2*t - 4 = -3*h, 4*h - 8 = r*h - 2*t for h.
-2
Let h = 50 + -45. Solve 0 = h*s - 0*s + 10, 4*s = -3*u - 5 for u.
1
Let c = 22 - -2. Suppose -2*p + c = 3*p - 4*u, -3*u = -2*p + 11. Let y be ((-2)/p)/(4/(-24)). Solve y*z - 3*l + 23 = 8*z, 4*l = z for z.
4
Let a(j) = j**3 - 42*j**2 + 2*j - 69. Let v be a(42). Solve 4*x = g - 4*g - 35, -2*g - v = x for g.
-5
Let u(t) = -t**2 + 25*t + 2. Let f be u(25). Solve -2 = -w - r, 5*w + f*r + 30 = 5*r for w.
-3
Let j be (-6)/(-4)*(-48)/(-9). Suppose -6*l = -j*l + 10. Solve -l*i - 19 = -t, i - 5*t = 5*i - 8 for i.
-3
Let q be (-10)/(-65) + (-1)/(13/(-388)). Let s = q + -24. Solve -2*u = -4*m - s, -2*u = 5*m - 3 - 3 for m.
0
Suppose f = -z, -5*z + 2*f = -24 + 10. Let x be 7 - (-4)/(z - 4). Solve -m = x*t + 2*m + 20, 0 = -3*t + 2*m + 7 for t.
-1
Let p be (-65)/(-10)*16/8. Solve 3*n - p = o, 13 = 5*n - 2 for o.
-4
Let g = -5 + 8. Let p = 40 - 26. Suppose 1 + p = g*l. Solve 5*h + 1 = -5*b - 4, l*h - 5 = -3*b for b.
-5
Suppose 0*w - 2*n - 88 = -4*w, 2*w - 4*n = 56. Let b = w + -7. Solve 5*t + 4*d + 13 = 0, d + b = -2*t + 2*d for t.
-5
Suppose 0*h = -2*h + 16. Suppose 5*q = q + h. Solve q*k - r - 1 = 0, 3*k + 0*r - 4 = r for k.
3
Suppose 0 = 3*u + 2*b - 10, 5*b - b + 16 = 3*u. Let r(w) = w**2 - 16*w + 28. Let n be r(14). Solve -u*v + v + 7 = t, -2*v + 2 = n for t.
4
Let p(a) = 11*a + 95. Let j be p(-6). Solve 0*h + 4*v = -2*h - 6, -5*h + 4*v = j for h.
-5
Let l be (-4)/((2 - 1) + 3 + -3). Let b(i) = 2*i + 13. Let u be b(l). Solve -u*x + 2 = -w + 2*w, 2*w = 4*x + 4 for w.
2
Let d = 575 + -572. Solve -8*j - 32 = -4*p - d*j, 0 = -p - 4*j - 13 for p.
3
Suppose -4*q + 2*l + 92 = 0, -4*q + 104 = -3*l + 7*l. Let b(k) = -k - 3. Let f be b(-7). Solve -7*m - 29 = d - 2*m, -d - f*m = q for d.
-4
Suppose -25 - 2 = 3*s. Let n = s + 15. Suppose 2*x = 5*m + 16, -2*x + m + 2 = 3*m. Solve -n = -4*g - 2*p, -x*p - 18 = -4*g + g for g.
3
Suppose -1232 = 55*r - 44*r. Let w = -109 - r. Let m(b) = b + 10. Let t be m(-6). Solve -w*a = -t*c - 2*a + 18, 3*a = 3*c - 9 for c.
5
Suppose s - 2 - 3 = 0, -2*b + 5*s = 25. Suppose 2*c + 2 = 0, 3*n + 2*n + 5*c - 25 = b. Solve m + j - 1 + 2 = 0, 3*m + 4*j = -n for m.
2
Let v = 17 + -13. Suppose -t - 3 = x - v*x, -5*t - 5*x = -5. Let d = 2 - 0. Solve t = -k + 5*k - y + 5, -k + d = 3*y for k.
-1
Let g(b) = -b**3 - 2*b - 4. Let y be g(0). Let s be (-2)/y + 366/(-12). Let f = s + 33. Solve -3 = 3*h, -h - 9 = -l + f*h for l.
5
Let u be 0/(-2 + (-1 - -1)). Suppose -6 = -2*d, -5*a + 7 = -2*d - 37. Solve 0 = 4*k + 5*c + 8, 0 = -u*k + 5*k + 4*c + a for k.
-2
Let x = 2 + 3. Suppose -31 = -3*w - s, -x*w = -w - s - 46. Let f = 1 + w. Solve -n = -4*n + 4*u - 11, -3*u = -n - f for n.
3
Suppose i = -31 + 7. Let w be (-3 - i/4) + 2. Let x = -16 + 19. Solve -m + 10 = 4*j, -m - x = -w*j + 14 for j.
3
Suppose -20 = -3*k - 5*b, 2*k - 15*b + 12*b - 7 = 0. Solve 12 = -k*m + 2*a, m + 6 = -m + 2*a for m.
-2
Let o(k) = k**3 + 14*k**2 + 12*k - 7. Let y be o(-13). Suppose 2*s + 3*j - y = 0, 2*j + 2*j + 6 = 2*s. Solve 3*q = 0, 6*b - 3*b - s*q = -3 for b.
-1
Suppose -2*o - 75 = -7*o. Suppose 16 = 19*l - o*l. Solve 0 = -4*j - b - 0*b - 5, 4 = -l*b for j.
-1
Suppose y = 64 - 62. Solve -4*f = -3*a + 5, -y*a + 3*a - 6 = -3*f for f.
1
Suppose 5*j - 15 = -b, -4*b - b - 25 = 0. Solve -j*f = -q + 9, -2*f - 2*q = -4*f - 12 for f.
-1
Suppose -4*b = b - 95. Let m = -17 + b. Solve 11 = 4*u - 5*c + 3, -4*u = m*c - 8 for u.
2
Let h be -2*(5 - -5)/(-5). Solve s = -h*z - 16 - 9, 5*s = -25 for z.
-5
Suppose -5*r + 9 = 4*f, -r + 1 = 2*r - 2*f. Suppose 2*g + 2*q - r = -q, 0 = 4*g - 5*q - 13. Solve 0 = -o - g, 0*x - x + o + 5 = 0 for x.
3
Let s(y) = 2*y - 9. Suppose -6*t = -t - 3*a - 54, -5*t + 51 = -2*a. Let o be s(t). Solve -g = 4*g + 3*f + o, 3*g + 5*f = 1 for g.
-3
Suppose 4*y = -4, -z + 4*y + y = -20. Suppose -3*v = -z, 2*v + 20 = -a + 4*v. Let g = a + 13. Solve 3*t = 8*t - 4*u + 24, -5*t = -g*u + 23 for t.
-4
Let s be 4*(3 + -2 + 0). Let u be 18/s*(-20)/(-6). Solve 0 = 5*r + 3*i + 6 + 5, 5*i = u for r.
-4
Let w be (2 + -3)*(0 - 10). Let p be 2*1*(-76)/8. Let q = 20 + p. Solve w - q = -5*z - t, -t = -3*z - 7 for z.
-2
Let z(u) = -2*u**3 - 19*u**2 - 8*u + 8. Let n be z(-9). Let w be 4 - n*(-3 + 2). Solve -d - 3*f = 4*d - 31, w*f = 3*d - 9 for d.
5
Suppose 4*u + 11*u = 30. Solve -c = 3*p + 9, 3 + u = 5*p - 5*c for p.
-2
Let s = -984 - -984. Solve 2*y = 2*c + 16, c + s - 12 = -4*y for c.
-4
Suppose -3*l - 2 = 4. Let n(o) be the first derivative of 2*o**3/3 + 3*o**2/2 + o - 8. Let g be n(l). Solve 0 = 2*m - g*q + 23, -2*q + 5*q = 5*m + 35 for m.
-4
Let t(g) = g + 3. Let h be t(3). Solve -q - h = q, -r - 2 = 2*q for r.
4
Let d(g) = g**3 + 33*g**2 + 5. Let i be d(-33). Solve 3*u - 10 = 4*b - i*b, 4*u = -2*b + 16 for u.
2
Let d be ((-198)/(-27))/(4/6). Let v(p) = p**3 - 12*p**2 + 11*p + 2. Let m be v(d). Solve 5 = u - 3*z, 0 = u + 5*z - 3 - m for u.
5
Suppose -3*s - 2*k - 2 = 0, -3*s - 2*k = 3*k + 14. Suppose 0 = -5*x - 4*l, 23*x - 26*x + 32 = -4*l. Solve s*h + 13 = -u - h, -u = x*h + 18 for u.
2
Let l be 4/(3 + (-129)/45). Solve r - 2*r = u + 2, -3*r - l = -5*u for r.
-5
Let q(m) = 25*m**2. Let t be q(1). Suppose j = 6*j - t. Suppose j*n - 3*n - 8 = 0. Solve 3*w + 2 = -n*f + 1, -4*w = f + 10 for f.
2
Suppose 5*j - 2*i - 18 = 0, -j + 4*i = -2*j + 8. Solve 5*d - j*m = 7*d - 2, 0 = -2*d + m - 3 for d.
-1
Let u = 1 + -4. Let h = u + 5. Suppose 0 = a - d - d, 5*d + h = 3*a. Solve -5*m = 4*n + 33, 3*m + 19 = -a*n + 2*n for n.
-2
Suppose -3*o - 3*a = -a - 16, -5*o = -2*a. Solve 4*s + 2 = y - 0, y - o = 3*s for s.
0
Let u be 5 + -3 - (3 + -5). Suppose -23 = -u*c - a, a + a + 20 = 3*c. Solve c*m - 2*h = 2*m - 16, -4*h = 0 for m.
-4
Let g(n) = -n**3 - n + 5. Suppose -4*i = -i. Let q be g(i). Suppose 0 = q*p - 3 - 22. Solve -4*j - 5*v = -4, 0 = p*j - v + 2*v + 16 for j.
-4
Let r = 68 + -65. Suppose 4*s + p = 11, p = 2*s + r - 4. Solve -3 = -s*b - 0*b + 5*m, 4*m = -4 for b.
-1
Let s be ((-470)/(-282))/(-2 - 34/(-12)). Solve -4*c - 2*z = 4 - 12, s*c = z for c.
1
Let w = -28 + 102. Suppose 4*t + 42 + w = 0. Let y = -27 - t. Solve 0 = 4*m - 0*m - 3*a - 2, -m + y*a = 2 for m.
2
Let o(h) = 10 + 14 - 4*h + 6*h - h. Let g be o(-20). Solve -3*n - 5 + 2 = 3*k, 3*k = -g*n - 6 for k.
2
Let r be (-36)/(-15) + 6/(-15). Suppose -