u - 136 = -12*u. Suppose -3*b = -8*b + 20. Let t be (-10)/(-4)*(-4)/(-5). Solve 8 = d + 4*d + t*x, -b*d = 2*x - u for d.
0
Let k = 7 + -7. Let x(m) = 9*m + k*m**2 - m**3 + 6*m**2 - 3 + 0*m**2. Let t be x(7). Solve -5*i + 2*n = 19, -3*i + 2*i = -4*n + t for i.
-3
Suppose 0 = -5*h + 2*g - 0*g + 76, 6 = h - 5*g. Let k = -2 + 3. Let u = 6 + k. Solve -5*v + 0*s = 4*s + h, -3*s = -v - u for v.
-4
Let f = -5 - -8. Suppose -13 = m - 15. Solve -2*g - 4 = f*q - 3, m*g - 4*q - 20 = 0 for g.
4
Let o = 0 + 5. Suppose -4*f = -5*f + 2*g, -o*f = 5*g. Let a be f/(-1) - (-2 - 3). Solve -a*v - 13 = -4*x, 3*x + 2 = -v - 12 for v.
-5
Let l = 15 - 11. Solve -o = -7*g + 4*g - 4, 5*o = -l*g - 37 for g.
-3
Suppose 2*a + i - 10 = 5*a, -3*a - 5*i = 22. Let z = a + 3. Let f = z - -4. Solve -l - 21 = -5*l - 5*t, -3*t + 12 = f*l for l.
-1
Suppose -5*b - 33 - 32 = 0. Let x(j) = -j - 11. Let y be x(b). Solve 0*n + 12 = m + y*n, -4*n + 12 = -m for m.
4
Suppose 0 = j - 5*s - 4, -j = 2*s + 3*s - 4. Solve 2*r + 4 = -5*x + 20, j*x - 12 = -2*r for r.
-2
Let y(l) = 11 + 0*l + 0 + 1 - l. Let o be y(8). Solve -3*c + 2*w - 5 = -o, -3*c - 4*w + 11 = 0 for c.
1
Let j(v) = 7*v - 76. Let h be j(12). Solve 7 = -4*f - 3*z + 18, 3*f + 2*z - h = 0 for f.
2
Let y(b) = 6*b + 34. Let u be y(-5). Solve 5*s = -3*w + 7*w + 13, -u*s + 11 = -3*w for w.
3
Let x be 0*(-3 + (-20)/(-8)). Solve 5*l + 4*s = -5, x = -3*l + 3*s + 2*s - 40 for l.
-5
Let p be (2 + -3)/(3/(-24)). Let o = p + 3. Suppose -4*r - 3 = -o. Solve 0*l - 5*v = 2*l - 21, -2*l + r*v = 14 for l.
-2
Suppose 3*j - 49 + 46 = 0. Solve -5*r + 23 = -c, r = 4*c - 2 - j for c.
2
Let h(p) = p**2 - 3*p - 6. Let x be h(5). Solve 5 = 5*u + 5*l, -3*u + 0*l - x*l = -8 for u.
-4
Suppose -4 = 2*g - 6*g, 0 = -4*b + 5*g + 7. Suppose -o = -6 + b. Let a be 24/60 - (-4)/(-10). Solve a = -l - 4*c, o*c = -l + c for l.
0
Let s(q) be the third derivative of -q**4/24 - q**3/2 - 3*q**2. Let d be s(-5). Solve m = 4*t + 13 + 4, -4*m - d*t + 14 = 0 for m.
5
Suppose -5*p - 19 = -o + 10, -2*o + 23 = -3*p. Suppose -o*f + 3*f = -4. Solve -f*l = -5*c + 2, -2 = -4*c - 2*l + 5*l for c.
2
Let n(u) = u. Let v be n(3). Let z(p) = 3*p - 5. Let c be z(v). Solve -o - c*o + 3*r = -22, 4*o - 22 = -2*r for o.
5
Let n(v) = -v**2 + 6*v + 2. Let x be n(6). Suppose x*h = 6 - 2. Suppose q = -h*q. Solve -6 = p - 2*y + 2, 3*y - 9 = q for p.
-2
Let r(a) = 4*a - 2*a - a - 2*a - 9. Let n be r(-11). Solve 2*x - 1 = n*b - 5, -4*x + b + 1 = 0 for x.
1
Let u(z) = z**2 + 3*z - 4. Let j be u(-4). Suppose 4*d = -j*d - 180. Let o be ((-1)/(-3))/((-5)/d). Solve 2 = -w - n, 0 = -5*w + 7*n - o*n - 28 for w.
-4
Let q be 35/3 + (-2)/3. Let l = q - 6. Let y = 11 - 1. Solve 27 = l*n + 4*o, -11 - y = -3*n - 4*o for n.
3
Let x = 50 - 47. Suppose 0 = 2*n + 2*n - g - 17, -n = 4*g - 17. Solve -t + 4*i - 8 = t, x*t + 1 = -n*i for t.
-2
Let t be 4*1*(-5)/(-10). Let r = 1 - -8. Suppose 0 = -2*k + r - 1. Solve k*x + y = 11, 0 = t*x + 4*y - 0*y + 12 for x.
4
Let o be (-1 + 0)*0/(-4). Let n = 2 - o. Solve -n*x = 2*x + 12, -3*b = -x - 3 for b.
0
Let u(a) = a**3 + 4*a**2 - 5*a - 1. Let y be u(-5). Let p be ((-35)/(-28))/(y/(-4)). Solve -4*q = -3*q - p*x + 2, -2*q = -4*x + 4 for q.
-2
Let t be 2/3 + 91/39. Suppose -10 - 8 = -3*h. Solve 3*x - d + t*d + 1 = 0, 2*d = 2*x - h for x.
1
Let j(g) = -g. Let l be j(-5). Suppose -20 = -0*x + l*x. Let z = -4 - x. Solve z = -i - 3*o + 13, 0*i + 4*o - 10 = -5*i for i.
-2
Suppose -5*x - 2*v + 13 = 1, 11 = 4*x + 3*v. Solve 3*f - x*g + 7 = 0, 5 = -3*f + 5*g - 8 for f.
-1
Let f be ((-2)/(-1))/((-1)/7). Let l = 9 + -12. Let m be (2 - f/l)*-9. Solve 0*j + m = 5*j + 3*s, s = 3 for j.
3
Suppose 2*c + 0 = 4. Let u = -9 + 16. Let r = u - c. Solve 4*o = -t + 20, -4*o + 20 = -3*t + r*t for t.
0
Let b(v) = v - 3. Let m = 6 - 6. Suppose m = -2*d - 3*o + 7, 0 = -d + o + 2*o + 8. Let p be b(d). Solve 17 = l - 5*t, -2*l - 4*t + p*t = 14 for l.
-3
Suppose w - 13 = -5*b, 4*w + 0 = 3*b + 6. Solve -25 = -5*x - w*h, 0 = -3*x - 6*h + 2*h + 15 for x.
5
Let s(h) = -h**3 + h**2 - h + 14. Let r be s(0). Solve -f = -3*u - r, -2*u - 17 + 6 = f for u.
-5
Let u(p) = -5*p**2. Let m(t) = 9*t**2 + 1. Let a(i) = 4*m(i) + 7*u(i). Let y be a(0). Let f be (-1)/2*(-1 - 1). Solve -4*x = s + f, -1 = s + 2*x - y*x for s.
-1
Suppose -5*g + 4 = -1. Solve d + g = k - 0, 5*k - 45 = -5*d for d.
4
Suppose -o + 2 = -2. Solve -o*a - h = 1, 0*a + 2*a = 3*h - 11 for a.
-1
Suppose 11*s - 50 = 6*s. Let j(g) = 2*g - 4. Let y be j(5). Let b be (-72)/(-5) + y/s. Solve 4*v = -k - b - 1, -v - 5*k = 4 for v.
-4
Suppose 10*f = 76 + 14. Let m = 2 - 0. Solve 0 = -3*y + h + f, -3*y = 2*y - m*h - 15 for y.
3
Suppose 0 = 8*n - 10*n + 24. Solve -4*d - 7*f + 12 = -2*f, -2*d = -2*f + n for d.
-2
Let m(f) = -f**2 + 6*f + 30. Let a be m(9). Solve 3*i - 6 = -2*p - 2, a*i + 8 = 4*p for p.
2
Let i(b) = b**2 + b + 12. Let u be i(0). Suppose u*k - 14*k + 2 = 0. Solve 5*t - 23 = -f, -4*f = -2*t + k - 5 for t.
4
Let n be 0/(-2 - 0/(-1)). Suppose n = -i + f - 3*f, i - 4*f - 6 = 0. Suppose -3*w + 4*w = 0, -5*v = 4*w - 25. Solve 25 = -s - 5*g, 3*s + v = i*s - g for s.
0
Let z = -3 - -19. Let n = 4 + -2. Solve 14 = -2*d - 2*f - 0, 0 = -3*d - n*f - z for d.
-2
Suppose 0 = -i - i + 2. Suppose 3 = 2*u - i. Let j be 148/10 - u/(-10). Solve 2*s - r - 20 = -s, 4*s = -r + j for s.
5
Let r = -20 + 7. Let b = r + 17. Let f(q) = q**2 - 4*q - 3. Let l be f(5). Solve -5*n = -z - 29, -z + l*n - b*n = -6 for z.
-4
Let y be (2/(-4))/((-2)/(-4)). Suppose -12 + 4 = -2*n. Let r = n - y. Solve -r*k = 2*s + 4 + 21, 0 = -2*k - s - 11 for k.
-3
Let t be (-11)/(-2) - (-8)/(-16). Solve 5*r - 15 = 5*w, t*w + 0*w + 29 = -2*r for r.
-2
Suppose z + 2*z = -0*z. Solve -5*k + 2*b - 7*b + 10 = z, 0 = -k - 5*b + 2 for k.
2
Suppose w = 3*w. Let c be 4/(-18) - 94/(-18). Solve -15 + w = -c*m, b + 3*m = 9 for b.
0
Let k = 17 - 8. Let s be ((-4)/3)/((-6)/k). Suppose 4*z + 20 = 4*r, -2*z = -3*r - 7*z + 15. Solve 0 = r*u - s*n - 26, -31 - 4 = -5*u + 5*n for u.
4
Let t(v) = v - 2. Let u be t(2). Let i = 3 + u. Solve 0 = q + i*q - m - 6, 4*q + 2 = 5*m for q.
2
Suppose b - 9 - 1 = 0. Let g(y) = -y**3 + 10*y**2 + 2*y - 12. Let c be g(10). Let o = c - 8. Solve -3*m + 5*u = -17, b = 2*m - 3*u - o*u for m.
-1
Let q(r) = -3*r + 8. Suppose 2*p + 0 + 8 = 0. Let n be q(p). Solve -5*l + n = 5*m, 0*l - l = -3*m - 4 for m.
0
Suppose 4*p = 4*g, -3*p + 1 = 4*g - 27. Solve 0 = -g*h + 3*a - 25, -3*h + 4*a - 3 = 21 for h.
-4
Let p(v) = -v - 13. Let h be p(-15). Let n = 0 + h. Solve -20 = 5*d, y - 16 = 5*y + n*d for y.
-2
Let f(s) = s - 3. Let a be f(8). Solve 3*y = -5*j - 6, 10 = -a*y + j + 2*j for y.
-2
Suppose -4 = -2*c + 2*i, 5*c + i - 14 = 2*i. Solve c*s - 5*h + 15 = s, 5*s = -3*h + 9 for s.
0
Let h = -48 + 53. Solve 0 = 5*c - h, -2*a + 5*c = 2*a + 5 for a.
0
Let p = 9 + -4. Suppose 4*o - 3 = 17, 5*k - 3*o + p = 0. Suppose 12 = k*t + t. Solve -t*i = -s - 18, 3 + 1 = -3*s + 2*i for s.
2
Let n be (0 - -4 - -22) + -3. Suppose 4*t = -5*j + n, 18 = 4*j + 5*t - 4. Solve -3*l - j*d = 2*d + 2, -2*l - 6 = d for l.
-4
Let c be 14/3*(-48)/(-56). Solve 5*h = o - 16, 2*h + c*o = -4 + 2 for h.
-3
Let m = -29 + 45. Let c(u) = -u**2 + u + 4. Let x be c(4). Let z = x + m. Solve 3*g + 2*d + z = -3*d, -6 = g + 5*d for g.
-1
Let d(k) = 5*k**3 - k**2 - 4*k. Let l be d(2). Suppose 4*q = -a + 4 + 3, -3*q - l = -4*a. Solve 0 = -5*h - 3*n - 21, h + 0*h - 5*n - a = 0 for h.
-3
Let q = 101 + -89. Solve -3*h + 4*v + 20 = 6*v, 2*v + q = 5*h for h.
4
Let k(h) = 6*h + 4. Let d be k(1). Solve x - 2*v = 0, 4*v - d = -3*x - 0*v for x.
2
Suppose -4*t = -3*y + 26, -t = -6*y + y + 15. Suppose -2 = y*q - 6. Solve -3*v = f + q, v + 4 + 5 = -2*f for f.
-5
Suppose -v - 4*v = -35. Solve 0 = 3*z + 3*s - 6, -v*z + 26 = -2*z - 3*s for z.
4
Let m = -36 + 39. Solve 5 = 5*t + 5*c, m*t = -2*c + 7*c + 27 for t.
4
Let s = -3 + 5. Solve 10 = -s*w, 3*w - 16 = 5*j - 6 for j.
-5
Suppose 5*r - 83 = 2*v, 0 = -3*r + 2*r - v + 18. Let x = r + -12. Solve -3*c - 2*u + 3*u + 20 = 0, 3*u = -2*c - x for c.
5
Let l be (0 + 1)/(3/9). Let b be ((-1)/(-1))/((-1)/(-2)). Let q be b*(-4)/((-8)/3). Solve 0 = -o - k - q*k + 17, 5*o = -l*k for o.
-3
Let d be (-44)/6 + (-1)/(-3). Let n be (d - -3)*(0 - 1). Solve -4*t + 3*t = n, 2*t + 33 = 5*p for p.
5
Let z(d) be the third derivative of -