et z = -2187 + 1319. Let d = -866 - z. Solve 0 = d*x - 2*u + 3 + 3, x - 2*u + 7 = 0 for x.
1
Let f be ((-153)/187)/(9/(-66)). Solve -r + f*r + 20 = -u, -28 = 5*u + r for u.
-5
Suppose c + 2*f = -10, f = 3*c - c. Let x be (-229)/3 + c/(-6). Let r = x + 86. Solve -5*v + r = -5*s, 3*s + 2*v + 7 = 1 for s.
-2
Suppose 0 = x, -3*v + 4*x = -2*v - 19. Let h = -17 + v. Suppose 4*i + 0*n - 14 = h*n, -20 = -4*n. Solve -5*w = -5, -2*w + i + 2 = 3*g for g.
2
Let g = 2636 + -2632. Solve 3*w - g*n = 22, 5*w - 30 = -13*n + 18*n for w.
2
Let s be (-76)/(-18) + (-100)/45 + 2. Solve -j + 3*n + 8 = 0, -j + s*n - 13 = 8*n for j.
-1
Let r = -44 + 34. Let p be 69/15 - r/25. Let y be (-1 - (-2 - -1))*-1. Solve -2*w + 10 = y, -3*w = p*a + w for a.
-4
Let v = -39 - -44. Let g(c) = -128*c + 642. Let m be g(5). Solve 0 = -r + 3*k + v, -5*k = -5*r + m*r + 7 for r.
-1
Let y be (-4290)/(-231) + 12/(-21). Solve 5*x - 6 = -19*j + y*j, 0 = 3*j - 3*x for j.
1
Suppose 6*k = -2*k - 0*k. Solve 5*f - 20 = k, 5*p + f - 8 = -4 for p.
0
Suppose 220*a - 25*a - 587 = 388. Solve 3*d - 3*b + 1 = -a*b, b = -d for d.
-1
Suppose 21 = -3*s, -60*s = 3*b - 63*s - 27. Suppose 0 = l + l. Solve l = -3*x - 5*d - 10 - 12, 2*x = b*d + 12 for x.
1
Let s = 28 + -23. Let p(o) = -7*o - 17. Let k be p(-3). Solve y + y + 2 = 2*j, -s*j + k*y + 5 = 0 for j.
1
Let j = -455 + 477. Solve 2*a + 3*a - 2*i - 11 = 0, 4*a + 5*i = j for a.
3
Let u(o) = 3*o**2 - 2*o - 8. Let g be u(4). Suppose 0 = -3*z, -3*z - 350 = 6*k - k. Let r = k + 75. Solve -4*c = 5*w + g, 5*w - 4*c - c = -r for w.
-4
Let j(b) = 8*b**2 + 5*b - 6. Let g be j(3). Suppose 20 = g*i - 77*i. Solve 2*l - 4*z = i*l, -z = -2*l for l.
0
Let j = -4 - -34. Let w = j + -38. Let l be 9/2*w/(-3). Solve -2*r = 2*d - d - 11, 0 = -4*d + l for r.
4
Let n be 1/3*(-33 + 33) - 0. Suppose -84*d + 96*d - 48 = n. Solve d = g + o + o, 2*o = -5*g + 4 for g.
0
Suppose 2*j - 3*t - 3 = j, -j = 4*t - 31. Suppose 3*l - 10 - 8 = x, 5*x + j = 0. Solve -l*i + 0*i = 3*y - 35, -y + 4*i - 11 = 0 for y.
5
Suppose 6 = f + 2. Suppose -3*z - 3*l = -570, -2*z - z - 4*l = -574. Suppose z - 2 = 23*s. Solve -f = r - 5*d + d, 0 = -2*r - 2*d - s for r.
-4
Let g be 43 - ((-95)/19 - -3). Solve -11*c - 4*r + g = -16*c, r - 15 = 2*c for c.
-5
Let a = 916 + -648. Let x = 271 - a. Solve -7 = -3*v + o, -6*v + 3*v = x*o - 27 for v.
4
Let m(g) = 14*g - 9. Let u(a) = 28*a - 16. Let w(v) = 10*m(v) - 4*u(v). Let z be w(1). Solve z*k + 4*t - 14 = -0*t, -k = -t - 4 for k.
5
Let n = 124 + -238. Let z = n + 118. Suppose 0 = 3*a - z*c - 20, 3*a - 12*c - 15 = -9*c. Solve a*r + r - 2*k = -2, 0 = -r + 3*k - 3 for r.
0
Let j(u) = -3*u**2 - 230*u + 3. Let w be j(0). Solve -w - 18 = -3*g + 2*l, 10 = -g - 5*l for g.
5
Suppose -2*g + 112 = 2*j + 86, -39 = -3*g + 3*j. Solve -5*z = 3*a - 15, -4*a - z + 16 = g for a.
0
Suppose -1433 = -78*v - 185. Solve -4*y - v = 0, f = 6*f - 4*y + 4 for f.
-4
Suppose 0 = -11*t + 24*t + 65. Let b(j) = j**2 + j - 17. Let p be b(t). Solve 2*n - 2*q + 3 = -p*q, -2*q = 5*n + 7 for n.
-1
Let g(i) = -i**3 - 4*i + 2. Let r(j) = j**3 + j**2 + 3*j - 2. Let l(p) = 4*g(p) + 5*r(p). Let s be l(-5). Solve u + 1 = s, -4*y + 2*u = 0 for y.
1
Let c(y) = -51*y - 1071. Let l be c(-21). Suppose 5 = z + 4*j, z - 6 + 1 = 4*j. Suppose o - z*o = l. Solve -2*t = -4*t + 5*m - 12, t + 2*m - 12 = o for t.
4
Let a be (11/(198/(-24)))/(2/75). Let h = -36 - a. Let r = h + -11. Solve -4*g = -r*j - 13, 7*g = -5*j + 2*g + 25 for j.
1
Let w be (87 - 89)/(-1 + -1). Let m(y) = 21*y**3 + 11*y - 11. Let v be m(w). Solve 0 = -a + 2*j + 2*j + v, -4*a - 3*j = 11 for a.
1
Suppose -15*j + 10*j = -15. Suppose -3*w - 4*y + 56 = 0, 0 = -3*w + y - j*y + 58. Let f = w - 7. Solve -23 = 2*v - 6*n + n, -n - f = 4*v for v.
-4
Let p be -39*(4/2)/((13 + -16)*2). Solve 8*a + 2*x + 33 = p*a, -4*a = -x - 24 for a.
5
Let n be (-1)/(7*-1 + (10 - (-116)/(-38))). Solve 0 = 5*y + 3*l - n + 25, -3*y - 2*l = 3 for y.
-3
Let k(y) be the first derivative of -y**4/2 - 11*y**3 - 47*y**2/2 - 27*y - 247. Let m be k(-15). Solve m*i - 2*w = -2, -5*w - 5 + 25 = 0 for i.
2
Let w = -487 + 497. Suppose 0 = -t + 5*z - 2*z + 30, -4*z + 16 = 0. Suppose 0 = -w*q + 13*q - t. Solve 3*h + 19 = -o + 5*o, -2*h = 4*o - q for h.
-1
Let a(c) = c + 101 + 97 - 193. Let h be a(-2). Solve -14 = h*s - 7*s - 2*y, -3*s - 4*y = -13 for s.
3
Let d = 140 + -136. Suppose 14 = 3*b - 4*p, -p + d*p + 12 = 3*b. Let h be (18/7)/(2/14). Solve 5*y = 2*v - 7, 2*v = -b*y - v - h for y.
-3
Suppose 399*r + 101 = 404*r - 3*l, 0 = 10*r - 3*l - 181. Solve w - b = -1, -5*b = -9*b + r for w.
3
Suppose -336*a = -339*a + 42. Let t be (-122)/(-42) + a/147. Solve -t + 8 = -3*u - 2*g, -4*u + 2*g = 30 for u.
-5
Suppose -193*a = 297*a. Let n = -2 - -10. Solve 2*s = -2*m - 4, a*s - 4*s - n = m for s.
-2
Suppose 0 = -3*u + 3*h + 15, 10*u - 8*u - 11*h - 10 = 0. Solve -u*n = v + 25, 29 = -n + 13*v - 18*v for n.
-4
Let w(m) be the second derivative of -m**5/10 - 19*m**4/4 - 14*m**3/3 - 2*m - 19. Let c be w(-28). Solve 2*a + c*a + 10 = 4*u, a + 3*u - 5 = 0 for a.
-1
Let g = 16246 - 16168. Solve -82*b + g*b = -3*z + 10, 2*b - 5*z + 12 = 0 for b.
-1
Suppose 0 = 9*x - 6*x - 6. Suppose -76 = -5*m + 3*d, 1 = -4*m - 5*d + 47. Let i be (-18)/63 + 46/m. Solve i*k + y + 14 - 2 = 0, 0 = 3*k - x*y + 12 for k.
-4
Let t = -64 + 74. Suppose -t = -2*g - 6. Let s = 14 + -9. Solve 2*y - s = u, 0*y = -u - y - g for u.
-3
Suppose 65 = -47*t + 60*t. Let k be 21/(-2)*(-4 - 8/(-12)). Solve t*z - 8*i = -3*i + 5, 5*z + k = -3*i for z.
-4
Let n be 3/(27/(-42))*-27. Let t = -3685 + 3564. Let q = t + n. Solve -3*i + 0*i = -q*o - 11, -3*o + 3*i = 3 for o.
-4
Suppose -8*l + 5*o = -5*l - 49, -l - 3*o - 7 = 0. Suppose 17*b + l*b = 0. Solve -1 = -4*v - a, 5*a + 0*a - 5 = b for v.
0
Let q(r) = -r**2 - 6*r - 3. Let a = -10 - -5. Let c be q(a). Let s = -1828 + 1833. Solve 0 = d + c*f + f - 15, -s = -3*d - f for d.
0
Let c(q) = 14*q - 159. Let w(k) = -20*k + 160. Let f(d) = 5*c(d) + 4*w(d). Let g be f(-18). Solve -18 = -6*l + 4*l + 4*p, 5*l - 5*p - g = 0 for l.
1
Let m(i) = -i**3 - 16*i**2 - 16*i - 4. Let u be m(-15). Let a be u/(-66) - 93/(-18). Solve -5*s + 10 = a*h, -3*h + 2 = s - 8 for h.
4
Let x(f) = -10*f + 8. Let u be x(-6). Let p = -64 + u. Solve d - 4 = m + 6, p*d + m - 15 = 0 for d.
5
Suppose 76 = 5*u + 14*u. Solve -u*r - 2*s - 3 + 1 = 0, -3*r - s = -1 for r.
2
Let b be 3108/592 + 2/(-8). Solve g - 148*y + 143*y = 20, 4*g + b = 3*y for g.
-5
Let k = 63 + -103. Let h be (54/(-72))/(6/k). Solve -g = -z + h, -3*g + 5*z = 1 + 22 for g.
-1
Let f(p) = -8*p**2 + 205*p + 80. Let h be f(26). Solve -24 = 3*z + 4*i, 3*z + 7 = h*z - i for z.
-4
Suppose -1202 = 6*a - 1232. Solve 0 = -3*v + 6, -4*d + 0 = -a*v + 18 for d.
-2
Let d = 3105 + -3081. Solve -2*u + 8 = -2*r + 4, -d = 5*r + 2*u for r.
-4
Suppose -f + 16 = 2*f + 2*b, 2*b = f. Let l(p) = -f - 6*p - 2*p - 6. Let z be l(-2). Solve 4*v = 3*n + 8 + z, 3*v = 3*n + 9 for v.
5
Let j = 19 + -23. Let l be (-2 - j)/(((-6)/(-9))/1). Solve 5*u - l = -o, 2*u = o - 3 - 0 for o.
3
Suppose 5*v = -5, 6*j + 4*v = j + 11. Solve -2*c - 3*g = 8, j*c + 2 + 10 = -5*g for c.
-4
Let n be (30/28)/((-16)/(-224)). Solve -9*y + 12*y - n = -t, 4*t - 2*y + 10 = 0 for t.
0
Let z(t) = -31*t + 96. Let x be z(3). Solve 26 = 4*m + 2*s + 3*s, -4*m - x*s = -22 for m.
4
Let m = -4893 - -4893. Solve 4*w = -3*s + 5, m*s + w = 4*s + 25 for s.
-5
Suppose -2*w + 36 = m, -2*w = -w - 3. Suppose m*c - 156 = 27*c. Suppose c = -o + 54. Solve -5*a - 25 = -4*v, -o*v + a + 5 = -0*a for v.
0
Suppose 7*c - 2*c = o - 17, 5*o + 19 = -c. Let w(q) = -q**2 - 7*q + 6. Let v be w(o). Solve 2*u - 3*l + 14 - 4 = 0, v = -4*u + 5*l for u.
-2
Let y = 2154 - 2149. Suppose -2*d - s - 2*s = -11, 2*s = 2. Solve -y*w = d*v + 37, -v + 4*w + 35 = -6*v for v.
-3
Let p be (-84)/4 + 4 + 22. Solve -p*w - 15 = -12*y + 9*y, y = 5 for w.
0
Suppose c + 4*k - 1 = -11, 2*c = -4*k - 8. Let v = 39 + -20. Suppose -5*q + v = 3*s, -6*q + 7*q + 4 = 2*s. Solve -q*h - 8 = c*i, -4 = -5*h - 0*i + i for h.
0
Let y = -1801 + 1121. Let n = y - -685. Solve -3*h - 19 = -0*h - n*v, -h + 5*v - 23 = 0 for h.
2
Let p be (7 - 1)*48/(-32). Let l be 88/(-16) + p/(-6). Let w(r) = r + 6. Let t be w(l). Solve -5*k - 2 + 22 = 5*h, 2*h = t*k + 4 for k.
1
Suppose 82*f = 84*f - 44*f. Solve -4*y + 8