k(3). Let c = -11 + v. Solve c*m - 3 = x + m, 2*x + 3*m = 16 for x.
5
Let l(m) = -m**2 - 8*m - 1. Suppose 5*s = 5*y + 45, 4*y + 2*s + 18 + 6 = 0. Let f be l(y). Solve 2*j + f*d - 17 = d, j + 3*d - 11 = 0 for j.
-4
Let k be (-4)/(-18) - (-50)/18. Suppose -86 = -4*l - 2*s, 0 = 4*l - 2*s - 3 - 71. Solve -5*x + a = -1, 0 = -2*a - k*a + l for x.
1
Let c = -1040 + 1044. Solve -4*f - 13 = 3*j - 0*j, c*f = -5*j - 19 for j.
-3
Let p = 39 + -39. Suppose -25 = -4*o - o + 5*c, 0 = 5*o - 3*c - 15. Solve -3*z + 2*k = -8, p = z - o*z - 3*k - 12 for z.
0
Suppose -34*k + 4*k = 0. Solve g + 3 = 2, k = 4*y + 2*g + 2 for y.
0
Let b = -45 - -50. Solve -2*t - 34 + 9 = 5*h, 0 = b*h - 3*t for h.
-3
Suppose -3*b - 6*x = -2*x - 8, -5*b = -x - 21. Let m be 12/10*10/b. Let a be 4 + 1 - 12/4. Solve a*y = -2*w + m*w - 7, w - 1 = -y for w.
3
Let y(c) = c**3 + 16*c**2 + c + 33. Let k be y(-16). Suppose -16*j + k*j = 7. Solve -j = -5*q - f + 2, 0 = -5*f - 5 for q.
2
Let b = -25 - -29. Suppose b*i + 5*z = 22 + 139, 87 = 3*i - 3*z. Suppose -3*v = -i + 10. Solve -2*t = -2*y - v, -3*y = 2*y + 10 for t.
2
Let r(u) = -u**2 - 6*u + 112. Let c be r(-14). Solve z - 4*z - 5*t = c, 3*z - 5*t = 0 for z.
0
Let q(x) = x**3 + 8*x**2 + 12*x + 4. Suppose 2*t = t - 13. Let g = -19 - t. Let f be q(g). Solve f*b - m - m = -2, m = 4*b - 3 for b.
2
Suppose 6 - 10 = y. Let b(w) = -w. Let i be b(y). Solve -a + 5*a - h - 1 = 0, -i*h = 5*a + 4 for a.
0
Suppose 4*f = -3*n + 14, 0 = -2*f - n + 8 - 2. Solve 0 = o + 4*r + 13, 2*o + r + 0 = f for o.
3
Let o = 118 - 71. Suppose 7*j - o = -19. Let d(y) = y**3 + y**2 + 2*y + 5. Let c be d(0). Solve t + j*x = -15, c*t - 30 = -2*x + 3*x for t.
5
Let m = -169 + 179. Solve -y - 4*u - 8 = -8*u, -m = y - 5*u for y.
0
Let n be 4/(-18) - 194/18. Let j be 1/(-2) - n/2. Suppose 0 = -4*w + 3*q - 1, 2*w - w + q - j = 0. Solve 0 = -y + w*y - 3*b + 19, -5*y - 2*b = 10 for y.
-4
Let w be (-4)/(-3) + 6/9. Solve -7*r + w*r = -2*j + 11, -4*r - 16 = -4*j for r.
-1
Let n(y) be the third derivative of -y**5/60 + 3*y**4/8 - 11*y**3/6 - 6*y**2. Let l be n(7). Solve 0 = -4*x - 3*t + 2 + 6, x = -l*t + 11 for x.
-1
Let k be (-1 - (-9 - -5))/1. Solve n + 3 + 4 = -k*i, -3*n - 10 = -2*i for i.
-1
Let b = 19 + -16. Solve -b*g + 1 = -2*i + i, 2*i + 2 = 0 for g.
0
Suppose -9*p + 4 = -8*p. Let o be 22/p - 6/12. Suppose -4*f = n - 18 - 6, -2*n = -o*f + 17. Solve -30 = -4*l - l + 5*g, 5*l + f*g + 20 = 0 for l.
1
Suppose -3*r = -l + 14, -5*r - 11 = 5*l - 1. Suppose -25710 = -5*s - 25695. Solve 10 = 8*i - s*i, l*k + 3*i + 2 = 0 for k.
-4
Let x be 30/(-40) + (-46)/(-8). Let s be 0 + (-3)/(9/3). Let m = s + x. Solve -m*z - 3 = 5*r, -5*r - 3 = 3*z - 2*r for z.
-2
Let j(o) = o**2 + 3*o - 6. Let w be j(-5). Suppose -2*v + w = -6. Solve -i - 2 + 3 = -d, 0 = -3*i - d - v for i.
-1
Suppose -5*r + 3*s + 80 = 0, 4*r + 2*s - 31 - 55 = 0. Solve r = 2*d - 5*x, -4*d - 21 = -7*d + 5*x for d.
2
Let v(m) = -m - 2. Let s be v(-2). Suppose s = 2*b - 6 - 4. Suppose -4*j + b*j = 0. Solve -4*z + 3*k - 1 = j, 2*z + 5 + 1 = -4*k for z.
-1
Let h = -83 - -85. Solve 2*a - 4*a - h*l - 14 = 0, -a - 13 = 3*l for a.
-4
Let q be -14 + 16 - (-1 - 1). Let v = 14 + 2. Suppose 2*o - q*x = -8, 3*o - 2*o + 3*x - v = 0. Solve -t - 6 = -2*i, -3*i + 9 = o*t - 0*i for t.
0
Let o(n) = n**2 - 11*n + 20. Let i be o(9). Let j = 28 + i. Solve -3*l - 5*r - j = 0, 4*l + 14 = -r + 3*r for l.
-5
Let d be (87 - 81)/((-1)/4*-6). Solve 5*f = 2*r + 15, 3*f + 7 = d*r + 30 for f.
1
Let q = 74 - 29. Let t = -24 + q. Solve -3*f - t = j - 7*f, -5*j - 4*f = 9 for j.
-5
Suppose -8*p = 14 - 150. Let m = 3 - 18. Let i = m + p. Solve 5*a + f - 13 = 0, i*f + 2*f - 18 = -3*a for a.
2
Suppose 3*m = 4*f + 36, 2*f = 4*m - 4 - 24. Let q = f + 11. Solve 4*i - i - q*g = -17, g = -i - 3 for i.
-4
Suppose -11*m = -8*m + 2616. Let l be m/(-44) + (-4)/(-22). Solve f + 2*h = 6*f - l, 0 = -5*f + 4*h + 20 for f.
4
Let r = -11 + 22. Suppose 4*n + c - r = 0, -n + 4*c + 24 = -0*n. Solve -x + 2 = -2*m - 0, 4 = -n*x + 4*m for x.
-4
Suppose -2*r + 97 = u, -5*r + 11 = 1. Let y = 104 - u. Suppose 0*i - 4*i = 0. Solve -b + 5*p = -i - 16, y = 5*b - 2*p for b.
1
Let r(j) be the second derivative of -3/2*j**3 + 0*j**2 + 1/12*j**4 - 2*j + 0. Let n be r(9). Solve 3*l - 5*y - 40 = n, -9 + 4 = -3*l - 2*y for l.
5
Suppose 2*y = 4*y - 3*x - 18, 0 = -y + x + 7. Suppose y*f + 0 - 66 = 0. Suppose -5*o - 2 = -f. Solve -5*r - 7 = -5*w - 32, -20 = -o*r for w.
0
Let x be (0/(-4) - 0)*-1. Suppose x = -8*v - 24 + 64. Solve -i = -v, i - 5 = 5*k - k for k.
0
Let i = -215 + 219. Solve 0 + 4 = v, i*n - 5*v = -40 for n.
-5
Let q be (-128)/(-4) - 56/8. Solve -5*p = -5*n + q, 0 = p - 0*n - 4*n + 20 for p.
0
Let g be (-6)/189*-9 - (-82)/7. Solve b = 2*f + g, -f + 0*f - 13 = -4*b for f.
-5
Suppose 66*g = 67*g - 2. Solve 8 = -a + g*u, 0*a + 20 = -3*a + 5*u for a.
0
Suppose 5*x - 21 = -1. Suppose -x*n = -10*n + 24. Solve 4*i = -i, -n*i = -5*z for z.
0
Suppose 5*j + 15 = 5*n, n + 4*j - 4 = -3*n. Suppose -c + n = -9. Let k = -7 + c. Solve 4*f + 4*o = -20, -2*f - k*o + 6 - 16 = 0 for f.
-5
Let a(z) = -z**3 - 8*z**2 - 14*z - 6. Let r be a(-6). Solve 4*s + 4*b + 4 = 0, -2*b - r = -3*s + 6*s for s.
-4
Let y = 0 + 6. Suppose -f = 4*n + 6, 4 = f - 4*n - y. Solve 2*l + 12 = -4*k, k - f*l = -0*l - 13 for k.
-5
Suppose -2*x + 5*g - 28 = -44, 4*g + 8 = 0. Solve -3*t + 5*i = -31, 3*i + 14 = -x*t - i for t.
2
Let m(q) = q**2 + 5*q - 6. Let k be m(-6). Let d be 88/20 - 10/25. Suppose d*u - u = k. Solve 2*v = 3*o - v - 24, u = -v - 5 for o.
3
Suppose -4*a + 2*k = -270, 0 = a - 5*a - 4*k + 240. Let z = 65 - a. Solve 2*g + g + u - 11 = 0, -4*u - 4 = z for g.
4
Let p = 1049 - 1042. Solve -2*f - b = -p*f - 21, -3*f = -b + 13 for f.
-4
Let q(u) = u**3 + 14*u**2 - 6*u - 6. Let p be q(-6). Let j be (-4)/(-6) - (p/(-9))/1. Solve -4*n + 5*o = -j, -4*n - 5 = -o - 25 for n.
4
Suppose 3*b = 4*t - 6*t + 29, 3*t = -3*b + 33. Solve -5*m + 8 - 20 = 3*c, 4*c - b = m for m.
-3
Let p be -6*10/(-2)*(-4)/(-30). Suppose 4*k = -2*y + 12, -p*y + 0 - 8 = 0. Solve 0 = 4*n - 16, 2*g + 14 + 10 = k*n for g.
-4
Suppose -37*a - 35*a + 288 = 0. Solve -15 = -5*v, 0 = 12*o - 11*o - a*v + 9 for o.
3
Let q be (3/9 - 3)*-6. Let h = -6 + q. Suppose 5 = 3*k - h. Solve 4*i = 5*v - 7, -i - k = -2 for v.
-1
Let x(n) be the third derivative of n**4/24 + n**3/2 + 18*n**2. Let i be x(-3). Solve -k + 3*m - 7 = i, 2*k + 6*m - m = -3 for k.
-4
Let t(x) = x + 4. Let j be t(14). Suppose -j + 2 = -4*b. Suppose -2*l = -2*a, -2*a + 33 - 3 = b*l. Solve 5 = 3*d - a*v, 0 = d + v + 2*v - 11 for d.
5
Let i = 5 - -18. Suppose -3*o = q - 18, o = 4*q - 2*q - 1. Suppose i = o*l - 17. Solve 3*h + f - 4*f = 21, 5*h = -4*f + l for h.
4
Let u = -8 + 11. Suppose -5*v - 10 = 0, 6*v = 2*o + u*v - 4. Let f be (-7)/o*(-144)/(-42). Solve 4*s + 4*b + f = 0, 10 = -0*b - 5*b for s.
-4
Let o(h) = -h + 14. Let s be o(11). Suppose 50 = s*p + 2*v, 4*p - 30 = 2*v + 18. Solve 9 = -0*w + 3*w, -a = 3*w - p for a.
5
Suppose 3*s = -10 + 1. Let r be 42 - (-3)/(-5 - (-5 - s)). Let g(c) = c + 8. Let j be g(-6). Solve 4*b + 1 = n + j*n, -4*b = 5*n + r for b.
-4
Let m = -457 + 470. Solve -2*k + 22 = -2*w - 6*k, 3*w + m = -k for w.
-3
Suppose -27 = -5*f - 2. Suppose 3*a - 50 = f*l, 5*a - 4*l - 104 = -12. Let b = -15 + a. Solve q - b = -g, -2*g - 4 + 10 = -2*q for q.
1
Let z(n) = 7*n**2 + 2*n - 1. Let w be z(3). Suppose 65 = -t + w. Solve -2*u + 7 = h + 4*h, 0 = t*h - 9 for u.
-4
Let g(i) = -4*i. Let o be g(-2). Suppose 0 = 2*l - 46 + 14. Suppose l = s + 3*s. Solve -12 = -4*b - 5*y, -s*y + o = -0*b + 4*b for b.
-2
Suppose 0 = 3*o - 4*f + 167, -o + f = 20 + 34. Let i = -48 - o. Solve -5*c + 35 = 5*h + 10, -3*h + 4*c + i = 0 for h.
3
Let j(u) = 393*u + 2362. Let n be j(-6). Let v = -8 + 21. Solve -w = -0*m + 4*m + 23, n*w - v = 5*m for w.
-3
Let t = -417 + 419. Solve 0*k + t*k = x - 7, -4*x = 4 for k.
-4
Let h = -106 - -106. Solve -3*k - 2*t - 22 = -0*t, -k + t + 1 = h for k.
-4
Let p(c) = 14*c - 944. Let j be p(69). Solve -2*s - s = -4*h - 8, -3*s = 2*h + j for s.
-4
Let r = 1693 - 1689. Solve 4*c - 12 = -z, -r*c + z + 12 = 6*z for c.
3
Suppose 4*s - 4*y = 76, 0 = 4*s + 3*y - 23 - 18. Let b(d) = -d + 10. Let o = 48 - 41. Let l be b(o). Solve -x = 3*i + s, -l*i = -2*i + 2*x + 8 for i.
-4
Suppose -8*f + 62 = 14. Le