 0 = -n*t - 7*t + 30. Solve 0 = 2*y - 4*d - 12, 2*y + 3 = -5*d - t for y.
2
Suppose 0 = 3*t - t - d - 6, -20 = -5*d. Let w be (-136)/(-12) + (-3)/18*2. Solve 4*f + 10*n = 5*n - t, 3*n = -4*f - w for f.
-5
Let d(n) = 2*n + 2. Let x be d(0). Solve 2*b = -x*u + 2 + 2, -4*b - u - 4 = 0 for b.
-2
Let b = 30 + -40. Let i = 8 + -18. Let s = i - b. Solve -4*w - 12 = -4*p, s*w - 5 = -3*w - 4*p for w.
-1
Let u = -67 - -69. Suppose a - 5*z = 25, -u*z - 28 = -a - 3*a. Solve -4*f + 1 = a*v, -4*v - 5*f + 0*f + 8 = 0 for v.
-3
Suppose -l + 6 = -d - 0*l, -2*d - 17 = -l. Let r = d + 16. Let g(j) = -2*j - 5. Let n be g(-5). Solve -m = -4*b - 17, -n*b - 2*m - r = -0*m for b.
-3
Suppose -4*u - 2*i + 4 = 0, 0 = -u - 4*u - i + 11. Let x = u - -7. Let g be -2 - (-27)/4 - (-6)/24. Solve 0*w - 5*h - x = -g*w, 0 = 3*h + 15 for w.
-3
Let j be 10 + (-14 - -6) + 2. Solve j*s - 23 = 5*n + 5, -2*s = 2*n + 4 for s.
2
Suppose -43*v + 48*v - 45 = 0. Solve 8 = 4*u, -2*a - v*u = -6*u for a.
-3
Let o = 42 + -40. Suppose -o*w + 5 = -v - 2, 4*v - w = 7. Solve 0 = -5*z - v*x - 5, -x + 5 = -7*z + 2*z for z.
-1
Let q(p) = p**3 + 3*p**2 + 4*p + 2. Let l be (-8)/2 - (-1 + -2). Let j be q(l). Solve 5*z + j*w = w + 20, -z - 2*w = -15 for z.
5
Suppose 21 = 2*z + 15. Suppose -8*r + 32 = -z*r - 4*b, 0 = -r + 5*b + 19. Solve r*d + 7 = -3*c, 0*c = c - 4*d + 13 for c.
-5
Suppose 0 = 2*k - 5*y + 1, -17*k + 20*k + 2*y - 8 = 0. Solve 36*b = k*c + 40*b + 22, 16 = -4*c - b for c.
-3
Let i(q) = q + 2. Let g be i(6). Let y = -4 + g. Suppose -y*l + 2*a = -16, -5*a - 3 = 4*l - 5. Solve 0*n + n + 9 = -2*z, 0 = 2*z - l*n + 5 for z.
-4
Let s be -5*(2 - -4)/(-6). Solve 4*w + s*k + 17 = 0, 0 = -5*w + 4*k - 1 + 31 for w.
2
Let k be -3 + 3/(-2)*-10. Suppose 3*v - k = 3. Solve -3*i + 4*l = 3*l + v, l = 4*i + 7 for i.
-2
Let j(l) = l**3 + 8*l**2 - 10*l - 13. Let g be j(-8). Let i = g - 64. Solve -i*d - 6 + 3 = -u, 0 = -2*d - 3*u - 13 for d.
-2
Let b(v) = v**2 - 6*v + 13. Let m be b(4). Solve 0 = -z + 3*p - 6 - 6, -30 = 5*z - m*p for z.
-3
Let b be (-10 - 156/(-16)) + 75/12. Solve o = -3*x - 11, 4*x + 28 = b*o - 4*o for o.
4
Suppose -3*p - x = -20, x + 0 = 5*p - 20. Solve p*f = -t - 7, 2*f + 4 = -4*t + 3*t for f.
-1
Let p = -36 - -21. Let s(a) = a**3 + 16*a**2 + 16*a + 20. Let g be s(p). Solve -4*c + 7*t - 4*t = 13, -5*c - 20 = -g*t for c.
-1
Suppose -5*b - 30 = -10*h + 5*h, 4*h - 6*b = 16. Solve t + 7 = -5*n + 2*t, 0 = 5*t - h for n.
-1
Let j(l) = -22*l - 2. Let y be j(-1). Let t = y - 24. Let a be 0/(-10) - (1 + t). Solve 3*b + 7 = v, -a*v + b + 4 = -1 for v.
1
Let v(h) = h**3 - 6*h**2 + h - 3. Let j be v(5). Let x = j - -23. Solve -4*w + 26 = 2*k, -2*k - 2*k + 4*w - 8 = x for k.
3
Let l = -186 - -189. Solve 0 = l*b + a - 8, 0 = b + 2*b + 4*a - 5 for b.
3
Let v be (-6)/(-5) + 128/160. Solve 5*w = -v*f + 9, -f = 3*f + 12 for w.
3
Let x be (-112)/196*(-7)/2. Solve 2*i - 2 = 0, 2*z + 6 = -2*z - x*i for z.
-2
Let t be 4/(-1 - -5) - 4. Let k be 34*(t - 5/(-2)). Let y(o) = -o**3 - 16*o**2 + 18*o + 21. Let i be y(k). Solve -10 = 4*b + 2*m, i*b + m - 3*m = 2 for b.
-1
Let o = -370 - -372. Solve -5*v - f + o = -0, 6 = -2*f for v.
1
Let v(s) be the third derivative of s**5/60 + 5*s**4/12 + 19*s**3/6 - 51*s**2. Let c be v(-9). Solve 3*n = 4*m - 15, -c = -4*m - n - n for m.
3
Let r be 42/(-8) + (-6)/(-24). Let d be (r + 55/10)*6. Solve 2*s - 4 = 3*w, -d*s + 6*s = 3*w for s.
-4
Let j be (-48)/(-21) + (-4)/14. Let h be j/(-10) + 59/(-5). Let x = 15 + h. Solve 4*n - 3*g = 7, 2*n = -3*g + 2 - x for n.
1
Let u be (-11)/((-847)/14) - 106/(-22). Solve -j = -1, 0 = -c + u*c + 5*j - 25 for c.
5
Suppose -5*h = -2*x - 11 + 124, 3*x = -3*h + 117. Let j = -43 + x. Solve 0 = a - 3, 0 = 2*y + a - 0 - j for y.
-1
Let g = 363 - 359. Solve -d + 5*d + 8 = 2*a, -3*a = -g*d - 6 for a.
-2
Let h be ((-6)/(-9))/(10/90). Solve a - 3*j = 18, h*a + 4*j = 2*a - 8 for a.
3
Let p = -61 - -59. Let n be -1 - (-10)/(-15)*93/p. Solve 0 = 3*m + 3*b - n, 0 = 5*m - b + 9 - 29 for m.
5
Let o be (-3 - 2)*(0 + (-84)/20). Solve 4*n = -2*w + w - o, 3*w = -3*n - 18 for n.
-5
Suppose -18 = -7*n - 4. Let y = -1 - -10. Suppose 0*i - 25 = -5*i. Solve n*k - 4*k = -v + y, i*v = k for v.
-1
Suppose -4*q = 8, 3*q - 2*q - 6 = -2*f. Suppose 3*d - 2 = 7. Suppose 0 = d*h - f*h + 2. Solve h*a - 18 = -4*i, -2*a + 5*i = a + 28 for a.
-1
Let k(w) = w**3 - 14*w**2 + 13*w + 3. Let b be k(13). Suppose 0*u - 24 = -4*u. Suppose 0*i = b*i - u. Solve 0 = -o + i*l + 8 + 2, -l - 11 = -2*o for o.
4
Let m = -638 - -640. Solve -3*u = 5*c - 0 - 17, u - 6 = -m*c for c.
1
Suppose -4*g + 2*r = -12, -5*r = -2*g - 2*g + 18. Suppose -8*t + 7*t + g = 0. Suppose -41*w = -39*w - 10. Solve t*u - 4*u + 4 = -z, -z - w = -3*u for u.
1
Let u(r) = -r - 5. Let s be 3/(0 - (-4)/12). Let m = s + -18. Let c be u(m). Solve -3*g - 3*x + 15 - 3 = 0, 0 = 5*g - c*x + 7 for g.
1
Suppose 104 = -7*v + 139. Solve 0 = 5*d - 20, -v*n = -3*n + 5*d - 22 for n.
1
Suppose 0 = 4*z, -2*d - z + 0 = -6. Solve 22 = 4*f - 0*r + 3*r, -r + 14 = d*f for f.
4
Let z be 168/224 - (-18)/8. Solve -4*f = 4*r + 16, -5*f = z*r + 23 - 7 for f.
-2
Let c be 12/10*(-4 - 88/(-12)). Solve -2*s - 5*q + 11 = 0, -c*q = -6 + 2 for s.
3
Let i = 51 - 50. Suppose 5*c - 18 = -3*k, -4*c + 4*k - i = -9. Solve -3*x + 2*o - 20 = -4, c*x + o = -1 for x.
-2
Let t(b) = -4*b - 19. Let m be t(-6). Suppose 2*y - y = 1, -m*a + 5*y = -15. Solve -2*c = -p + a*p - 6, 6 = 2*c - 3*p for c.
3
Let m(k) = 6*k - 2. Suppose t + 1 = 3*q, 3*q + 3*t - 2 - 7 = 0. Let u be m(q). Solve -10 = -2*a - i + 3*i, 2*a - u*i = 10 for a.
5
Let h be (2/(-3))/(((-10)/(-3))/(-5)). Let n(q) = q**3 - q**2 - q + 1. Let v be n(h). Solve 12 = -0*u + 3*u - r, 3*u + 2*r - 21 = v for u.
5
Let h be (-22)/132 - 1426/12. Let z be (4/7)/((-34)/h). Solve 0 = -5*r + 4*p - 7 - 25, -r - 2*p + z = 0 for r.
-4
Let a = 743 - 741. Solve -5*c + t - 6*t - 20 = 0, a = c - t for c.
-1
Let b = 105 - 102. Solve -2*w + 1 = 3*w - 3*y, -w - 7 = b*y for w.
-1
Let m = 61 + -34. Suppose -24 = -3*s + 2*c, 3*s + c = 2*c + m. Solve 4*p + 2*o - s = 0, 6*p = 3*p - 2*o + 5 for p.
5
Suppose 0*v - 4772 = -2*w - 4*v, -4767 = -2*w + v. Let m be 6/16 + w/128. Solve 5*o = q + m - 2, 2*o = 3*q - 1 for o.
4
Suppose -5*i + 15 = -25. Suppose 12 + 20 = i*k. Let d(t) = -t**2 + 4*t + 1. Let g be d(3). Solve -2*v = k*l - l + 2, g*v - l - 24 = 0 for v.
5
Let m = 142 - 138. Suppose -m*x = -2 - 14. Solve x*s - 13 = -z, -3*s + 2*s + 5*z + 19 = 0 for s.
4
Suppose -5*a = 0, 5*l - 3*a = -0*a + 25. Solve -5*o = b + 2*b - 19, -l*o = -10 for b.
3
Let m be (0 + 1 + -2)/((-18)/90). Let x(k) = -k**3 + 3*k**2 + 20*k - 9. Let r be x(6). Solve -w = -r*c, 3*w + m*c + 20 = -2*w for w.
-3
Let q(s) = 2*s**3 + 3*s**2 - 7*s - 5. Let r be q(-4). Let t be r + (2 - 8 - -3). Let m be 1/4 - t/16. Solve -21 = -h - m*v, 9 = 4*h - 3*v + 1 for h.
5
Suppose 3*z - 28 = 14. Suppose 4*h + 16 = 4*t, t + 4*h + z = -2. Suppose -204*g = -203*g - v - 8, 8 = g + 4*v. Solve 2*a - g = 0, 4*a - 21 = -t*s + 5*s for s.
-1
Suppose -u = -2*y - 2*y + 8, -3*y = -4*u + 20. Solve 2*g + u = 4*x, 0 = -5*x - g + 8 + 16 for x.
4
Suppose -4*c + 44 = -4*r, -15 = -4*c - 3*r + 1. Let o(s) = s**3 - 8*s**2 + 5*s + 21. Let n be o(c). Solve 5*t = d - 3*d + n, -5 = -5*d for t.
1
Let i(r) = r**3 - 6*r**2 - 5*r + 35. Let m be i(6). Solve -7 = -w - m*d - 1, -22 = 3*w - 5*d for w.
-4
Let s(j) = 3*j**3 - 46*j**2 + 15*j + 4. Let k be s(15). Solve -i = k*c - 5, c + 4 = 2*i + 6*c for i.
-3
Let n = 8110 - 8099. Suppose -5*b + 20 = 5*y, 0*b + 30 = 3*b - 3*y. Suppose -s - 5 = -2*i, 3*i - b = -0*s + s. Solve 3*x = 5*x + 10, i*l + x + n = 0 for l.
-3
Let y be -2 + 0 - 20/5. Let f be -6*1/y*2. Solve -5 + 11 = -5*i - r, i - f = -r for i.
-2
Suppose 0*w + 4*w = 5*z - 14, -3*w - 3 = 0. Solve 0 = -5*f - 25, -2*f + 0*f - 6 = z*o for o.
2
Let b(k) = k**3 + 7*k**2 - 9*k - 1. Let l be b(-8). Suppose 2*c - l*c - r + 26 = 0, -5*c = -2*r - 23. Solve 0 = -5*u + s - 6, -16 = -4*u + 2*u + c*s for u.
-2
Suppose 0 = -7*w - 11 + 25. Solve -12 = w*d + 5*x, 0 = -2*d - 4*x - 11 + 3 for d.
4
Suppose 4 = 2*l + 2*b - 6, 0 = 4*l - 4*b - 28. Let x = 8 - l. Solve -2*v + 2*k = 10, -x*v - k - 6 = 4 for v.
-5
Suppose -3*x - 5*g + 44 = x, -x + 4*g = 10. Solve -25 = 4*i + w, -4*i + w - x - 9 = 0 for i.
-5
Let v = 10 + 9. Let u = v + -4. Suppose -2*t