 3*n + w + t for n.
-2
Suppose -133 = -74*o + 163. Solve 0*x - j + 6 = -4*x, -o*j = 2*x - 6 for x.
-1
Let j = 6524 - 6460. Solve -2*q = 5*t + 5, -3*t + 65*q = j*q + 14 for t.
-3
Let g(c) = c**3 + c**2 + c + 1. Let s be g(-1). Let k be (s - 6)*2/(-3). Let f(y) = -y + 2. Let p be f(-3). Solve 7*d - 2*d = -3*q - 12, q - p*d = -k for q.
-4
Suppose 25*k + 30*k = 22*k. Suppose k*t - 70 = -14*t. Solve -t*j + 3 - 6 = c, -c = 3 for j.
0
Let j(f) be the second derivative of -7*f**3/6 - 11*f**2/2 - 49*f. Let w be j(-3). Solve 0 = -q + 2*y + 3*y + w, -2*y = -q + 7 for q.
5
Let c = -17593 - -17660. Solve -3*r + 10 = -5*f, -2*r - 68*f = -c*f + 15 for r.
-5
Let v = -55 - -83. Let q be (-21)/v + 11/4. Suppose q*s - 36 = -26. Solve s*c = -y + 21, 5*c = -8*y + 3*y + 25 for c.
4
Let s = -48 - -68. Let o = s - -2. Let c = o + -17. Solve -2*m = 5*n - 4*m + 22, 0 = 2*n + c*m + 3 for n.
-4
Suppose -k = k. Let x be (5 + -4)/1*0 + 13. Suppose x*r - 141 + 102 = 0. Solve 0 = -3*c - 2*i - 13 + 35, k = -4*c + r*i + 1 for c.
4
Let s be (76/1596 - (-629)/21) + -11. Solve -j + s = 5*t, -5*j + 4*t - 37 = -16 for j.
-1
Let z(h) = -21*h**3 + 3*h**2 - 20*h - 22. Let m be z(-1). Solve 5*a = -o + 1, 5*o - m*a + 18*a = 5 for o.
1
Suppose -196*j - 142*j + 765 = -249. Solve 5*a = j*d + 1, -4 + 14 = 2*a + 2*d for a.
2
Let p = -739 - -744. Suppose p*r + j = 23, -2*r + 10*j - 5*j = 7. Solve 4*f - 45 = -5*w, f + w + r*w = 30 for f.
5
Let f(x) = 6*x**2 - 17*x + 1. Let l be f(3). Suppose 5*a = -5*q + 10, l*q - 4*a - 30 = -6. Solve 0 = 2*b - 6*b + n - 20, -b + q*n - 5 = 0 for b.
-5
Suppose 4*l - 2*l - 10 = 0. Suppose 5*f - 2*c = 2, -l*f - c = -9 - 5. Let h be (3 - 3)/((-5)/((-35)/(-21))). Solve 5*i = 2*o - 15, h = f*o - o + 3*i + 9 for o.
0
Let j(v) = -v**3 + 30*v**2 - 8*v - 599. Let c be j(29). Solve -4 = -3*a + y - c, 2*y = -2*a + 4 for a.
-1
Let m(o) be the second derivative of -5*o**4/12 + 79*o**3/6 + 21*o**2/2 - 15*o - 3. Let a be m(16). Solve -a*q + u = 5*u - 29, -7 = -2*q + 3*u for q.
5
Let k(g) = g**2 - 16*g + 12. Let o be k(17). Suppose 0 = -2*d + f + 9, -6*d = -4*d - 5*f - o. Solve -2*v = -a - 11, -v - 3*v = 2*a - d for a.
-5
Let w(r) = -285*r + 574. Let z be w(2). Solve -k - 15 = 4*q, 5*q = z*k - 14 + 11 for q.
-3
Suppose -6*z = 4*f - 9 - 17, -z - 3 = -3*f. Suppose 4*i = 45 + 3. Solve l - z = -4*u, 5*u + 0*u = -4*l + i for u.
0
Suppose 175*r - 84 = 174*r. Let b be 315/r + (-3)/(-12). Solve u = -4*t + 7, -b*t - u - 7 = -7*t for t.
2
Let u = 421 - 913. Let z = u - -513. Solve -2*b = 3*h + b - 15, 0 = -5*h - b + z for h.
4
Let f = 2 + 1. Suppose 3*j + 6*w - 3*w = 36, w = 5*j - 66. Suppose 7*q = -j + 34. Solve -2*k = -q*r + f*k, -5*k - 20 = r for r.
-5
Suppose -v = -5*d + 33 - 12, 3*d - 27 = -3*v. Suppose -n - 26 = -3*o + v*n, 4*o - 28 = 5*n. Solve -y - 2*y = 5*s + 24, o*y = -s - 9 for y.
-3
Let j = 210 + -217. Let y(b) = b**2 + 7*b + 13. Let m be y(j). Solve 4*n = -4*r + 4 - 0, -5*r - n = -m for r.
3
Let l = -16166 + 16169. Solve -6 = -8*a + 11*a + l*m, 5*m = -2*a - 25 for a.
5
Suppose -4*m + 28 = 2*s, -4*s - 79*m + 80*m + 56 = 0. Solve -5*u - 5*x = -7*x - s, 0 = -5*u - 5*x for u.
2
Suppose 18*x = 27*x - 45. Let z = -21 - -24. Let d be 145/30 + z/18. Solve 5*v = 3*o + 37, -2*v - 35 = x*o - d*v for o.
-4
Let o(i) = -458*i - 912. Let h be o(-2). Solve 3*p = 4*p + d, 6 = -h*p - d for p.
-2
Suppose -18 = -2*d - 4*k, -27*k - 18 = -2*d - 22*k. Suppose -l = -5*w - 28, 5*l + 2*w - 10 = -5. Solve 2*j - 4 = -r - r, l*j = -d for r.
5
Let o be (-3 - 106/(-34)) + 287/17. Suppose 0 = -o*f + 2*f + 30. Suppose 2*m - 31 = 11. Solve p = -3*p + s + m, -9 = -f*p - s for p.
5
Let t(u) = u**3 + 4*u**2 + 4*u + 5. Suppose 38 = -3*a + 29. Let s be t(a). Solve -10 = i + z, -i - s*z - 15 = -0*z for i.
-5
Suppose 234*s - 168 = 228*s. Suppose 13*j + 75 = s*j. Solve h - j = 2*h, -20 = -g + 4*h for g.
0
Let g = 24 + -22. Let t = 183 + -183. Suppose t = -l + 3 - 3. Solve 0 = -g*c - 2, -c + 19 = 4*f - l*f for f.
5
Suppose 27*f + 36 - 91 = 53. Solve 3*p = u + 8, -f*u + 2 = 3*p + 4 for u.
-2
Let x = 16610 + -16610. Solve x = 2*n - 4, 5*u + 14 + 8 = n for u.
-4
Let y(w) = -3*w + 16. Let g be y(4). Suppose g*a - 22 = 4*d + 6, -5*a + 3*d + 29 = 0. Solve 2*z = -a*l + 2, 3*l + 0 = 3*z - 3 for l.
0
Let a be (-13 - -4) + 13 - 1*4. Suppose 0 = 4*t - a*t - 3*g - 84, -52 = -3*t + 5*g. Solve -3*y - j - 4*j - 8 = 0, -5*j = -y + t for y.
4
Let j(r) = -r**3 - 3*r**2 + 3*r - 4. Let a be j(-4). Suppose 2725 + 859 = 896*f. Solve 0 = -u + 6*u + f*n - 4, a = u + 2*n + 4 for u.
4
Suppose -3*i - 2*s - 24 = 0, 3*i - 4 + 7 = 5*s. Let y be (8/3)/(i/(-9)). Suppose 38*x - 113 + 37 = 0. Solve -2*n - y + 12 = -3*t, -2*t - 4 = -x*n for n.
-2
Suppose -5*o + 41 = 4*f - 115, 8 = 2*o. Let a = f + -32. Suppose 2*v = 5*w - 25, -4*w + 3*v + 20 = a*v. Solve 13 = -4*d + 5*s, 4*d + 9 = 2*d + w*s for d.
-2
Let p = 250 - 322. Let o = -67 - p. Solve -5*t + 30 = -3*i, t - o*i - 37 = -3*t for t.
3
Let k = 38 + -164. Let b = k - -130. Solve -12 = 2*m + 2*n - 0, -2*n - 20 = b*m for m.
-4
Let z = 63 - 63. Suppose 3*c - 3*o - 3 + 36 = z, -2*c = 4*o + 34. Let p = 18 + c. Solve 5*y + 25 = -4*u + 2*y, u - 11 = p*y for u.
-4
Let q(v) = -14*v - 157. Let k be q(-13). Solve -w - 5*g + 1 + 19 = 0, 2*w - 3*g + k = 0 for w.
-5
Let j(i) be the second derivative of -i**5/20 - i**4/12 + i**2 + 2*i - 8. Let x be j(0). Solve 0 = -3*q - q + 4*m + 24, 0 = -m - x for q.
4
Let p = 43 + -40. Suppose 5*v + 0*q = p*q - 219, -3*v + q = 133. Let m = -41 - v. Solve -m*w - 6*a + 3*a + 20 = 0, -2*w = -5*a - 10 for w.
5
Suppose 424*u - 420*u - 3*k = 3, 3*u - 2*k - 2 = 0. Solve 7*b - 8*b - f + 4*f = 0, 2*f = u for b.
0
Suppose -128*b = -58*b - 140. Solve -2 = -5*w - 4*i, -b*w + 5*i = -0*i + 19 for w.
-2
Suppose -4*y + 2*y = -44. Suppose -3*g + g + 2*w - y = 0, -5*w + 13 = -2*g. Let p be (-6)/((1/(-1))/((-7)/g)). Solve -2*t + 5 = -p*t, -2*t - 10 = -5*v for v.
0
Let b = 664 + -662. Suppose 4*n - 12 = -18*l + 15*l, b*l = 0. Solve -18 = -4*j - 2*k, -n*j = -3*k - 6 - 3 for j.
4
Let s = 4 - 1. Suppose -y + 5*l = -46, -69 = -4*y - 0*y - s*l. Let k = -1736 + 1740. Solve -3*a - 3*w + 0 - 3 = 0, -k*w = -a - y for a.
-5
Suppose 0 = 37*g - 40*g + 131*g - 512. Solve -3*d - 7*m + 4*m = 0, 0 = -d - 5*m - g for d.
1
Let k be (-42)/6 + (5 - 3) + 9. Solve 2*b - 3*m - 9 - k = 0, 3*m = -2*b - 17 for b.
-1
Let m be (-27)/(-63) - (-3)/(-7). Let c(u) = -6*u**2 + 0*u + u + 25*u**2. Let y be c(-1). Solve -5*v = 5*b + y - 3, m = -4*v + 3*b + 9 for v.
0
Let d(u) = 0 + 19 + 18 - 12*u - 5*u**2 + 6*u**2. Let o be d(10). Let k = o - 13. Solve 0 = 4*j - 5*i + 25, 3*j - i + k + 12 = 0 for j.
-5
Let y(n) = 2*n + 60. Let u be y(-30). Suppose 0*m + 9*m - 18 = u. Suppose m*b - 11 = 19. Solve 3*q = b, q = -r - q + 9 for r.
-1
Let i = -51 - -75. Suppose -6*p - 12 = -i. Suppose 0 = j - 2*u - 15, -5*j + p*u = u - 39. Solve 3*x = -2*d + j, -x + 2*d - 3 = -0*d for x.
1
Let p be 2 - -1 - (-7)/((-49)/560). Let o be ((-12)/21)/(11/p). Solve 5*u = o*r + 8, -r - 2*u = 2*r + 6 for r.
-2
Suppose -i + 11 = 2*a, -30 = -5*a - 0*i - 3*i. Let l = 5 + -3. Suppose -5*u - 45 = -2*t, a*t = -5*u + 7 - l. Solve 5*v - 5*s = t, -2*v = -5*s + 7*s - 4 for v.
2
Let b be (-5288)/60 - (-1 - 52/(-60)). Let p = b - -90. Solve 4*q - p*g = -8, 4 + 4 = 2*g for q.
0
Suppose 3*q - 12 = -3*o, q + 0*q - 8 = -5*o. Solve -3*i + 4*f = 0, 5*i - i - o = 5*f for i.
4
Let g be (10/4)/1*2. Let r = 86983 - 86979. Solve -v - r*f - 1 = 3, -g*f = -v + 14 for v.
4
Let t be 20/2 - (-2)/2. Let i(v) = v**3 - 11*v + 13. Suppose -5*m = 3*j - 15, -7*m - j + 12 = -3*m. Let s be i(m). Solve -4*b + o = -b - t, -2*o - s = -b for b.
3
Let m be (-238)/(-50) + (-672)/(-2800). Let n(f) = f**3 + 3*f**2 - 3*f - 3. Let k be n(-3). Solve 3*z + 6 = t, -4*z + k*z + m = t for t.
3
Let y = -6544 + 6548. Solve 0 = -y*z + 4*b - 16, b = 5*z - 9*z + 4 for z.
0
Let i(f) = f**3 - 4*f**2 - 10*f + 16. Let s be i(5). Let r be (88/(-33))/(6/s). Solve t + r*h = 16, 2*h = 6 + 2 for t.
0
Let d be (1 + -1 - -3)/1. Suppose d*v + 3 = 12. Suppose -3*b = v*r, 3*r - 5*b - 24 = -2*b. Solve 7*t + 4 = s + 3*t, r*s - 5*t = 5 for s.
0
Let b(n) be the second derivative of 0 + 2*n - 1/12*n**4 + 5*n**2 + 3/2*n**3. Let y be b(10). Solve 0 = u + p + 4 - 0, 3*u - 5*p - 4 = y for u.
-2
Let h(s) be the second derivative of -s**4