) = -u**3 - 19*u**2 - 3*u - 57. Let i be d(-19). Let n be (1 + -2 - i) + -24 + 25. Solve n = -x + 5, 0*s + 2*x = 2*s + 14 for s.
-2
Let c(u) = -u**3 + 17*u**2 - 70*u + 3. Let a be c(10). Solve a*i - 3*w - 3 = 0, 11 - 2 = -i - 4*w for i.
-1
Let b(f) = -16*f - 11. Let a be b(-1). Suppose -t + 29 = -a*i, 3*t - i = 2*t + 9. Solve t*o + 6 = -y, 3*y - o - 8 = -0*o for y.
2
Suppose -49*x + 124 + 161 = 40. Solve -6 - 9 = 3*s, -2*s - 15 = x*l for l.
-1
Let s(z) = 20*z - 175. Let j be s(9). Solve -3*n - 18 - 2 = -u, -j*n = -4*u + 45 for u.
5
Let a(g) be the first derivative of -g**4/4 + 2*g**3/3 - 4*g + 2. Let d be a(-2). Suppose 0 = -2*j + 8 + d. Solve 5*s - 2*l + 5 = 0, 2*l + 0 = -j for s.
-3
Let r = 123 + -63. Suppose 10*o - 16*o + r = 0. Let i be 2/((4/o)/((-84)/(-105))). Solve 4*n - 5*b = 13, -3*n = i*b + 1 - 3 for n.
2
Let p be 8/48*6*(-10)/(-2). Solve 6 = 3*a, p*y + 73*a - 12 = 77*a for y.
4
Let q be 6 + (-3)/((-6)/(-4)). Let n be (8/10)/(q/20). Suppose 5*s = -3*v + 15, 5*s + 89 = 2*v + 104. Solve -n*x - u - 6 = 7, s*x + 21 = -3*u for x.
-2
Suppose k = -6*l + 2*l - 12, -k + 4*l = -28. Let w be 5*8/30*(-3)/2. Let c be ((-3)/(-2))/((-11)/w + -5). Solve -4*i - 4*v + c = -7*v, i = -v - k for i.
-3
Let b = 53 - 53. Suppose -3*w - 12 = b, 0 = -3*s - w + 64 - 14. Let x be (((-48)/s)/8)/(2/(-12)). Solve -4*a - x - 5 = 3*d, 3*d = 3*a for d.
-1
Let u = 6367 + -6359. Solve 10*s - 4*m - 20 = u*s, 0 = -s - 4*m - 14 for s.
2
Suppose -2*f - 2*v = 2*v - 34, v = 4*f - 14. Solve 0 = j - 3*i - 8, -f*i = 16*j - 15*j for j.
5
Let j = 4 + -120. Let t = 116 + j. Solve 5*z - 4*i - 23 = 0, t*z + 2*i = -z - 1 for z.
3
Let q = -241 + 251. Suppose 5 = 15*u - q. Solve -3 - 1 = 4*i + s, u = -i + s for i.
-1
Let w = 6784 + -6771. Suppose 0 = 3*b - 0*b. Solve 4*y - a = -w, -2*y - 3*a - 2*a - 1 = b for y.
-3
Suppose -d + 1 + 45 = 0. Suppose d*p - 9 = 43*p. Solve 4*b - t - 16 = p*t, 2*b + 2*t - 12 = 0 for b.
5
Let a(l) = l**3 - 6*l**2 + 5*l. Let r be a(5). Let p(k) = -28*k + 10 - 2*k**3 + 29*k + k**3. Let m be p(r). Solve 5*y + 5*i + m = 0, 5*y + 3*i + 8 = -i for y.
0
Let t(l) = -26 + 2*l + 7*l + 0*l. Let j be t(4). Suppose 0 = -3*w + 4*z, 11*w = j*w + z. Solve 5*p + 8 + 7 = w, -5*k - 4*p = 32 for k.
-4
Let z be 2/18*(96 + -51). Solve 39 = 4*s - z*n, 4*n + 27 - 3 = 2*s for s.
6
Let o(f) = -16*f - 2. Let b be o(2). Let p = b + 40. Suppose -21*a = -20*a - p. Solve 5*v - 5*r = 25, -3*v + a*r + 11 = 4*r for v.
1
Let v(p) = 57*p - 1366. Let j be v(24). Solve -3*k - c = 10, -j*k + 2*c + 6 = 26 for k.
-5
Let c = 185 - 180. Suppose -c*j + 3 = 18, -2*l + 5*j = -33. Solve -11 - l = -k - 3*f, -3*k = -f - 10 for k.
5
Let o(v) = 18*v - 320. Let w be o(18). Solve 30*g - 25*g - 15 = 5*h, -5*h + 21 = w*g for h.
1
Let t be 1*(-3 + (-116)/(-40))*-10. Solve 3*i - 2*b + t = -0*i, 3*b = 15 for i.
3
Let c be -2 - ((-40)/7 - 14/49). Suppose 4*b + 18 = 13*b. Solve -1 = -u - c*g, -g + 0*g - 11 = -b*u for u.
5
Let t be ((-4)/12)/(194/(-630) - (-42)/147). Solve -5*g = i - 28, -t*g + 18*g = i + 12 for i.
3
Let m = 2092 + -2092. Solve -5*z = 5*k, m*k - 2*k + 21 = -5*z for z.
-3
Suppose l - 23 = 5*z, 2*l + 5 - 36 = 5*z. Let x be 0 - ((-4)/l)/(2/4). Solve -r - w - x = 0, -9 = -2*w - 1 for r.
-5
Suppose 116*i - 86*i = 0. Solve 5*r - j - 7 = 7*r, i = -2*r - 4*j - 10 for r.
-3
Let w(h) = -4*h + 45. Let t(g) = -g**3 - 25*g**2 + 82*g - 46. Let r be t(-28). Let x be w(r). Solve -v + 5*s - 7 = 2, x*v = 2*s + 1 for v.
1
Let w be -6 - -13 - 6/2. Suppose 84 = 7*u - w*u. Suppose 0 = u*j - 31*j + 6. Solve 3*o = 2*z + 15, j*z + 2*o - 11 = -1 for z.
0
Suppose -2*s = 5*n - 23, -35*s + 7 = -34*s + n. Let d be -5*(-1 + 0/(-1)). Suppose d = q + 3. Solve 0 = 4*r + 5*j - 2, -s*r + 5*j + q = -20 for r.
3
Let o = 11758 - 11753. Solve q + o*k + 24 = 0, 0 = -3*q - k - 28 + 26 for q.
1
Let z(p) = -2*p**3 - 6*p**2 + 7*p + 5. Let u = 60 + -65. Let x be z(u). Let q = x + -66. Solve b + 12 = -q*m - 0*m, 0 = -2*b - 8 for m.
-2
Let f = 5124 - 5108. Solve -l - 5*u = -15, 11*l - 12 = f*l - 4*u for l.
0
Suppose -43 = 3*g - 10. Let x = g - -19. Let n = 46 + -30. Solve 4*l - p - n - 4 = 0, -x = -l + p for l.
4
Suppose -17 = -4*p - 5. Suppose -5*m = -5*m + 11*m - 286. Solve h + m = -5*o, p*h = o + o + 7 for o.
-5
Suppose r + 4*s = -116, 2*r - 4*s = -324 + 116. Let y be (r/(-30))/((-9)/(-30)). Solve 3*f - 5*w - y + 39 = 0, 0 = 2*f - 4*w + 20 for f.
-4
Let g = -83336 + 83342. Suppose -5*l + 51 + 14 = 0. Suppose 0 = 5*b - 53 + l. Solve -x - d = -g*x + b, 0 = -d - 3 for x.
1
Let q = 44 - 42. Suppose f - 3*x - 8 = 0, -7*f + 3*f - 3*x + q = 0. Solve 2 = 3*k - b - 0, -f*k = b + 2 for k.
0
Let j(h) = -2*h**2 + 9*h. Let r be j(3). Suppose v + r = -4*g, 0*g = 5*g - 4*v + 27. Let l be 2/(-5)*30/18*g. Solve 2*p = 2*y - 5*y + 1, -l*p - 8 = 0 for y.
3
Suppose -5 = 5*f, -5*j - 3*f - 27 = -9*j. Suppose -j*k = -4*k - 10. Solve k*u - 4*t = t + 10, 3*t - 2 = -u for u.
2
Suppose 0 = b - 4*b + 5*c + 20, -2*b = 2*c - 40. Solve -36 = p - 5*i - b, 0 = -2*p - 4*i + 28 for p.
4
Suppose 0 = -2*o - 3*o + 110. Suppose 4*h = -6*h + 30. Suppose y = -2*n + 6, -2*y - 2*n = -7 - 1. Solve -y*l = -h*v + o, -2*v + 3*l = v - 27 for v.
4
Let z be (-2855)/(-35) - (3 + (-17)/7). Let i = 82 - z. Suppose 3*a - 5 = i. Solve -2*n + a*w - 6 = 0, -3*n - w - 9 = 4 for n.
-4
Suppose x = 4*g - 4*x - 11, 124 = 30*g + 4*x. Solve -2*m - 4*o + 5 = 25, g*m - 4*o = 8 for m.
-2
Let z = -542 - -547. Solve -2*y + 3*g + 4 = z, 3*y - 18 = -2*g for y.
4
Suppose 2*m + n + 0*n = 29, -4*m + n + 55 = 0. Let a = 247990 - 247979. Solve -4*d - 5*s + 16 = 0, 0 = 5*d - 5*s + a + m for d.
-1
Suppose -108*i + 30*i = -936. Suppose 30 = 19*j - 65. Solve 0 = 3*c - c + 2*r + i, 2*r + 18 = -j*c for c.
-2
Let o be ((-90)/40 + -5)/((-10)/120). Solve -90*f - 2*k = -o*f - 11, 3*f - k + 1 = 0 for f.
1
Let c = -4114 + 4114. Suppose 8*l - 3*l = 25. Suppose -l*z + 4 = -3*z. Solve -2*w = c, 3*w = d + z*w for d.
0
Suppose 350 = -268*m + 886. Solve -2*u + 10 = -m*t, 5*t - 15*u = -14*u - 21 for t.
-4
Let x be (-1)/3 + (-286)/33. Let g = -6 - x. Suppose b - 1 = 14. Solve 3*h = -g*p + b, -4 = 4*p - 4*h - 0 for p.
2
Let i(o) = 3*o**3 + 9*o**2 + 7*o + 5. Let x be i(-2). Solve 0 = 3*c - x*d + 6*d - 18, 8*d + 4 = 5*c for c.
4
Let p(w) be the first derivative of w**3/3 - 19*w**2/2 + 12. Let y be p(20). Solve 5*i - y = x, 0*x - 10 = 5*x + 5*i for x.
-5
Let w = 974 - 519. Let j = 458 - w. Solve -j*h + 13 = -c, h - 2 - 2 = 0 for c.
-1
Let s = 17767 - 17752. Solve -t + s*f + 1 = 13*f, 0 = -4*t + f + 18 for t.
5
Suppose 6*s - 24 = -10*s + 40. Solve 3 = -5*r + 6*y, 3*r - 3 = s*y - 6 for r.
3
Let t be (-93)/(-12) - 2/(-8). Suppose 4*m = 6*m - 4. Suppose m*h = h + 2. Solve -18 = 5*u + h*l, -3*u + t*l - 3*l + 14 = 0 for u.
-2
Let z(l) be the second derivative of l**5/20 - l**4/12 + 3*l**2/2 - 2*l. Suppose h + 2*h = -16*h. Let y be z(h). Solve -6 = 3*w + y*g, w + 0*g + 2 = -4*g for w.
-2
Let c(b) = -18*b + 39. Suppose -5*x = 7 - 17. Let j be c(x). Solve j*w + 11 = 5*q - 24, 0 = 4*q - w - 21 for q.
4
Let p(b) = 309*b + 4326. Let u be p(-14). Solve 9*z - 33 = 6*z - 6*i, -2*z - 5*i + 24 = u for z.
7
Suppose -9*x + 10*x = h + 14, 4*h - 1 = x. Solve -x = z + 5*t + 6, -4*z = -2*t + 12 for z.
-5
Let p = 2675 - 2671. Solve -3*l - 12 = 18*h - 15*h, h + 5*l = -p for h.
-4
Suppose g - 91 - 5 = -3*s, -3*s - 2*g + 96 = 0. Suppose 4*c = -s + 12, 4*p - 57 = c. Suppose -4*l - p = -21. Solve 2*q + l*z = 6, -27 = q - 2*z - 3*z for q.
-2
Let c = -1332 - -1332. Solve -5*f + 3*i + 12 + 15 = c, 0 = 5*f + 4*i + 1 for f.
3
Let u(z) = -226*z + 12208. Let f be u(54). Solve 3*c + 3 = -f*g, 132*g - 131*g - 4*c = 23 for g.
3
Let g(k) = k**3 - 15*k**2 + 14*k + 10. Let l be g(14). Suppose -10 = 6*v - l. Solve 0 = -v*q - 4*q - d + 12, 5*q = 5*d - 10 for q.
2
Suppose 175*x - 42*x = -93*x + 1582. Solve -2*i = 3*p - 2, -2*i + x*p = 4*p - 14 for i.
4
Let l be 6/24 - ((39/4)/3 + -6). Suppose -x + 0*x = -3. Solve -2*g - l*m = 22, 4*g + x*m = 6*g - 2 for g.
-5
Suppose 14 = -2*f, -o + 19*f - 15*f = -72. Solve -4*x = -4*l - 28, -7*l - 4*l = o for x.
3
Suppose 0 = 3*i + 5*m - 27, -5*i - 74 = -m - 91. Solve -4*u - 7*x = -8*x - i, -3*x = -12 for u.
2
Let y be (-4)/(-10) - (-54)/90. Suppose 6*b + 3*c = b - 8, 5*c = 5*b. Let d be (-2 - -10) + b - (y - -2). Solve 4*x - 3*n - 37 = -x, 11 = -x 