 -t*k + 5*d - 2*d = 25, 2*k - 5 = -3*d for k.
-5
Let i(d) be the third derivative of d**6/120 + d**5/6 + d**4/4 - 5*d**3/6 + d**2. Let p be i(-9). Solve 8 = -2*l, l + p = -2*b - 4*l for b.
-1
Suppose -3*n + 6*n = 6. Solve 5*z - n*s - 1 = -0*s, 3*z - 4*s = 9 for z.
-1
Let l(d) = -d**2 + 6*d - 5. Let a be l(4). Solve -5*c + a*c - 5 = -3*o, -o - 2*c + 15 = 0 for o.
5
Let k(z) = 2*z**3 + 7*z**2 + z - 3. Let n be k(-3). Solve 0 = -n*t - 5*o + 21, -2*t + 3*o - 9 = -4 for t.
2
Let x(g) = -g**2 - 7*g - 7. Let q be x(-5). Solve -5*k - 6 = -k - 2*o, 7 = -q*k + o for k.
-4
Let h be 2 + (3 - (5 + -3)). Solve l + h*r = 20, -2*l + 2*r - 20 = -4*l for l.
5
Let j be (-2 - -4) + 1*-4. Let n(f) = 2*f**2 + 2*f + 1. Let w be n(j). Solve 1 = -2*l + 3*l + u, -w*l + 4*u = 13 for l.
-1
Suppose -30 - 3 = -3*c. Let m(v) = v**2 - 3*v. Let x be m(3). Suppose r + 3*b = 17, x = 2*r + r - b - c. Solve i = l, -r*i = -2*l + 8 - 2 for l.
-2
Let m(f) = f**3 - 8*f**2 + f - 6. Let i be m(8). Suppose 5 = i*t - 3. Solve -5*c - 5*y = -t*y - 20, -3*c = -2*y - 25 for c.
5
Let q(h) = -h**3 - 13*h**2 + 16. Let n be q(-13). Suppose 3*j - n = -j. Solve f = 0, 0*v + 4*v - j = -f for v.
1
Let d = -10 - -13. Suppose 3 = d*c - 15. Solve -c*j + 2*g = -j - 11, 0 = -3*j - 3*g - 6 for j.
1
Suppose f + 2*s = -f + 84, 5*s = 4*f - 177. Suppose -4*n + f = -5. Solve -2*g + n = 4*o - g, -4*g = -4*o + 32 for o.
4
Let h = 13 - 10. Suppose -2*r - h = -9. Solve -2*i - r*f = -0*f + 8, -4*f = 2*i + 12 for i.
2
Let n be (-1 + 0)/((-4)/12). Suppose -5*k = h - n*h - 5, k = 3. Solve -h*m + 2*p = -24, 0 = 3*m - p + 2 - 16 for m.
4
Let q be (1 - 1)/((-2 - -3) + -3). Solve -3*t - 2*o = -q + 1, 2*o + 3 = -t for t.
1
Suppose -3*j + 0*j = 4*y - 8, 0 = 4*y - 5*j - 40. Solve -5*d = -d + 16, -3*d + 13 = y*l for l.
5
Let w = 53 - 49. Solve -w*b + 5 = 2*g - 3, -g + b + 4 = 0 for g.
4
Suppose -332 = -4*b + 2176. Let v be (-1)/2 - b/(-22). Solve -5*w + v - 6 = -4*p, -5*w - 5*p - 5 = 0 for w.
2
Suppose 0 = -6*v + 4*v + 8. Solve 5*o = -v*k + 7, -4*o + 14 = -5*k - 8 for o.
3
Let n(p) = -p**2 + 7*p - 5. Let o be n(5). Let j be -1*(0 + -1) + -1. Suppose -q = -j*q, -i + 3*q = 0. Solve i = 2*a - o*a + g + 12, 0 = 3*g for a.
4
Let s = -63 - -65. Solve s*k = -5*p + 3, 2*p + p + 4*k = -1 for p.
1
Let m(b) = 5*b**2 + 1. Let z be m(-1). Let s(k) = k**2 - 2*k - 5. Let c be s(4). Let l = z - c. Solve -4*r = -2*x - 2, 0 = l*r - r + 4 for x.
-5
Suppose 0 = -3*b - 4*w - 5, -3*b + w = -0*w - 20. Solve -5*l = -0*l + 2*z - 7, b*l - z = 4 for l.
1
Let m = 6 - 1. Let c be 8/20 + 73/m. Suppose -2*j = 3*j - c. Solve 3*p = -y - 4*y + 40, 3*y = -j*p + 30 for y.
5
Let t(k) = -k + 10. Let h be t(9). Suppose 5*s + h = -2*y - 14, -3*y = -5*s - 40. Solve -40 = -5*g + y*j, 3*g + 5*j = 3 - 19 for g.
3
Let k(i) = 3*i + 6. Let x be k(-4). Let b be (-134)/x + (-3)/9. Suppose 0 = 5*y - b - 88. Solve 5*j + 3*s = -0 + 29, 4*j + 2*s - y = 0 for j.
4
Let w(p) = p**2 - p + 3. Let y be w(0). Solve -5*f - 13 = -b, -1 = -7*b + y*b + 3*f for b.
-2
Let p(m) be the third derivative of -m**4/24 + 17*m**3/6 + 4*m**2. Let z be p(7). Solve 0*l - 14 = o + 4*l, -o - 3*l = z for o.
2
Suppose 2*d = 4*d - 10. Let c = -135 - -136. Solve -d*y = 5*u + 30, c = -2*y + y for u.
-5
Let j = 8 - 12. Let a = -2 - j. Suppose -16 = -v + a. Solve -s = 3*h - 0*h + 3, v = -3*h + 4*s for h.
-2
Let m = -39 - -64. Suppose o + 4*k = 14 - 7, -86 = -3*o + k. Solve x = 5*d + 3*x + o, -4*d = 5*x + m for d.
-5
Suppose -h + 5*g - 4 = 17, 26 = -2*h + 2*g. Let t = h - -21. Let i = t - 5. Solve -5*l - 23 - 22 = i*w, -16 = 4*w - l for w.
-5
Suppose -3*j = -j - 20. Let n = 2 + -7. Let o = 10 + n. Solve -y + s + 2 = 0, 5*s = o*y + s - j for y.
2
Let x = -8 - -12. Solve k + 4*v - 13 = -0*k, x*k = -2*v + 10 for k.
1
Let l = 6 - 1. Solve 2*z = 2, -o + l*z + 20 = 4*o for o.
5
Let n = 4 + 8. Suppose 2*v - n = -v. Let m(x) = -x. Let y be m(0). Solve y = 4*d, -2*o + o = -v*d - 2 for o.
2
Suppose -2*c - 3*h = -7, -4*h + 6 = -0*c + 2*c. Solve 3*v = -c*w - 26, -5*v - 4*w + 2*w - 18 = 0 for v.
-2
Suppose 6*f + 2 - 20 = 0. Solve 0 = -5*s + 4*j - 22, 2*j + 1 = f*s + 13 for s.
-2
Let b be -1*2/(-2) + -1. Let m = b - -4. Let z = 2 + 0. Solve -m*w = z*i + 10, 5*w + 5 = -0 for i.
-3
Let l be (13/13)/((-1)/(-1)). Solve h - 2 = -2*m - 3, 4*m = -h + l for h.
-3
Let j(y) = -y - 1. Let w be (-2 + 2 + -1)*3. Let c be j(w). Suppose c*b = 3*v - 2, 5*v + 4*b - 2*b = 14. Solve -4*h + 8 = v*u, 5*h - 3*h = -2*u for u.
-4
Suppose 0 = -4*g + 24 + 32. Suppose -r = y, y - 6*y + 2*r = -g. Suppose 0 = 5*j - y*j - 6. Solve j*a - 5*t - 1 = -0*a, -3*t + 3 = 0 for a.
3
Let f be (2 - 16)*2/(-4). Let a(c) = -3*c - 6. Let k be a(-3). Solve d - 4*d + 15 = -4*v, 0 = -2*d - k*v - f for d.
1
Let m(i) = i**2 + 6*i - 7. Let s be m(-5). Let j = s + 14. Solve l = -0 - 1, -u + 5*l = -j for u.
-3
Let l = -14 - -20. Suppose 9 = 5*g - 1. Let h = l - g. Solve y + h = -3*u, -u + 0*u + 2*y = -8 for u.
0
Let k = -435 + 443. Let c be (-64)/(-6) + 2/6. Solve 4*y + 5*b = k, 0 = y - 5*b + c + 12 for y.
-3
Let m = 9 + -8. Suppose 3*o = -v - 3, 4*o + 18 = 3*v + m. Solve 15 = v*s, -2*s = -2*y - 0*y - 16 for y.
-3
Suppose 0 = 5*w - 138 - 27. Solve 0 = f + 5*o - 10, -4 - w = 5*f - 4*o for f.
-5
Let z be 15/(-12)*-2*2. Solve -5*g - 12 = -g, -z*f + g = 12 for f.
-3
Let d be (0 - 5)/(14 + -13). Let x be (-7)/d + (-36)/(-60). Solve 2*m = 4*i - x*i + 2, -9 = m + 4*i for m.
-1
Let d be 5*4*(-1)/(-5). Solve 0 = 5*w + d*z - 15, 4*z - 6 - 12 = -2*w for w.
-1
Suppose 12 = -5*v + 7*v. Solve -5*w + 5*f + 15 = 0, w + w = -f + v for w.
3
Let l = 4 - 8. Let o = 4 + l. Solve -4*c = 0, o*c = 3*w + 5*c for w.
0
Let t be 5/(2 + -1 + 0). Solve -4*s - 3 = 3*j, -j + t = -3*s - 7 for j.
3
Suppose -4*z + 34 + 2 = 0. Let v = z - 9. Solve v = 2*c + 5*t - 27, 5*c - 4*t + 10 = -t for c.
1
Suppose q - 8 = -4*h + 5*q, -h - 5*q = -20. Suppose -5*n = -d, -d + h*n = -4*d. Solve -m + 0*m + 12 = 4*i, -m + 4*i - 4 = d for m.
4
Suppose 5*h = -2*h + 14. Solve -2*b = 3*i - 10, 0 = 3*b - i + h*i - 1 for b.
-1
Let b = 24 + -19. Solve -4*k = -3*q + 17, b*q + 0*k + 3*k + 20 = 0 for q.
-1
Suppose 2*t + 1 - 5 = 0. Let w be 6/3 - 4/2. Let o be 2/(-4)*w/1. Solve -t*u + r + o = -1, -u + 3*r = 7 for u.
2
Suppose 4*b - 4*x = -0*b + 52, 0 = b + 2*x - 16. Solve -3*j - b = -6*f + 4*f, 5*j + 5*f + 15 = 0 for j.
-4
Suppose -5*d - 3 + 13 = 0. Let h = 4 + d. Solve h + 10 = 5*t - 3*l, 4*t = 5*l + 5 for t.
5
Let h be (-3 + -4 - -4) + 14. Suppose -c - u - 2*u + h = 0, c - 2*u = 6. Solve -4*o - q = c, -3*q - 7 + 17 = -5*o for o.
-2
Suppose 8 = 4*d - 0*d. Let w = d - 2. Suppose -u + 2*v + 9 = 2*u, -4*u + 8 = -4*v. Solve 3*m + 16 = u*g, -4*m + w*m = -4*g + 16 for g.
2
Let g be -3 - 465/(-65) - 2/13. Solve -g*z - h + 19 = 0, 0*h = -5*h + 15 for z.
4
Let b(p) = 4*p**2 - 4*p + 2. Let t be b(2). Suppose 0 = -t*k + 5*k. Suppose 4*y + 6 = 2, n - 2*y - 7 = 0. Solve -q + n*j = k, -3*q - 2*q - j = 0 for q.
0
Let f(d) = d**2 - 5*d + 2. Let b be f(5). Let n(c) = -10*c + c**2 - 5 + b - 7. Let s be n(11). Solve 3 = -3*z + 3*v, 3*z + 2 + s = 5*v for z.
-1
Let u = 7 - 5. Suppose -11 + 1 = -u*k. Solve 3*n + 4*v = -20, -n - k = -2*v + 3*v for n.
0
Let c be -5 + (-2 - (1 + -5)). Let w = 1 - c. Let k be 12/(-30) - (-24)/10. Solve m - 12 = 2*r + 3*m, k*m - 12 = w*r for r.
-4
Let o = 28 - 23. Solve 5*a + b + b = -6, -o*a + 2*b - 14 = 0 for a.
-2
Let q(d) = -d**2 - 2*d + 3. Let t be q(3). Let k = 16 + t. Solve -5*u = 5*c + 10, 0 = k*u + 3*c - c + 2 for u.
1
Let u(n) = n**3 + 8*n**2 + 5*n - 10. Let p be u(-7). Suppose -3*o - 3*k + 6 = 0, p*o + 5*k = -2 + 12. Solve -3*w + 3*r - 6 = o, -5*w + r - 8 = 10 for w.
-4
Suppose -j + 5*d + 24 + 1 = 0, 0 = -d - 3. Solve 0 = 5*r - j, -2*r = 3*z - r + 4 for z.
-2
Suppose 2*y - 7 = -w, -2*w = -5*y - 6*w + 22. Let m(i) = -i**2 + 6*i - 3. Let u be m(5). Solve -8 = -4*o - 5*j, -o - j = y*j - u for o.
2
Suppose 3*q - q = -20. Let r = q + 12. Solve r*m - 3*c = 5, 14 = -m - 5*c + c for m.
-2
Suppose h = -0 - 3. Let b be (-3)/1*(h - -2). Solve 0 = -2*p + b*w - 3, -w + 2*w - 9 = -2*p for p.
3
Let w = 2 - -3. Let k = 8 - 6. Let c = k + w. Solve -2*f + 9 = -p, 2*f = 3*p + c*f + 5 for p.
-5
Let z = 24 + -39. Suppose -2*j + m - 70 = 0, 5*m - 66 + 184 = -3*j. Let v be j/z + 6/(-15). Solve 5*l - 19 = 2*r, -l = r + v*l - 7 for r.
-2
S