(2). Let m = -4947 + 4961. Let y(s) = 2*s - 13. Let t be y(10). Solve -p = -x*o - 8, -5*o - t = -2*p + m for p.
-2
Let m be 1/(1 - 11/12). Let c = m - 6. Let t = -24306 - -24306. Solve 3*w - 5*p + 17 = -t, 2*w = -p + c for w.
1
Let h(o) = 71*o**3 + o**2 - 4*o + 2. Let n be h(1). Let r = n + -62. Solve -2*p + 3*u = -0*p - r, 2*p + 4*u + 6 = 0 for p.
1
Let k = -64 - -98. Let b = -22 + k. Suppose -b*w + 39 = -9. Solve -5*t - 4*x - x + 10 = 0, 0 = w*x + 12 for t.
5
Suppose -12 = -3*j, 5*k = -j - 9 - 2. Suppose -8*x - 589 + 597 = 0. Let b be k - (833/(-28) - x/4). Solve -19 = -p - 3*n, 2*p = -p - 3*n + b for p.
4
Let k be ((-1)/1)/((-5)/(-175)). Let n = -35 - k. Let q = -231 - -233. Solve 26 = 5*a + 4*i, 2*a - 3*a + q*i - 6 = n for a.
2
Let g be 40/(-140) + (-23)/(-7). Solve 45 = -x + g*v + 36, -3*x - 13 = -2*v for x.
-3
Suppose -4*r + 13 = 3*l + 21, -4*l + 8 = -4*r. Solve -4*d - 3*c = -21, l = -3*d - c - 4*c + 24 for d.
3
Let h(j) = -2*j + 22. Let y be h(6). Solve -5*s = 2*p - 26, -12 = -4*s - 2*p + y for s.
4
Let o(n) = -n. Let p be o(-4). Suppose -6 - p = 2*t + 3*g, -g + 4 = 0. Let b = t - -11. Solve -4*d - 2*z = b, 3*d + 6 - 24 = 3*z for d.
2
Let g = -26 - -15. Let w(v) = -3*v**3 - v - 10. Let i be w(-2). Let h = g + i. Solve -h*m + m = -2*r - 24, -23 = -3*m + 4*r for m.
5
Let o be 100/8 - (-2)/(-4). Suppose 63 = 53*u - 43. Suppose -o = -4*a - u*a. Solve -5*r + 22 = -3*t, -a*t + 22 = -r + 5*r for r.
5
Let y(g) be the second derivative of g**5/20 + g**4/3 + g**3/6 - g**2 - 99*g. Let b be y(-3). Solve -x = -2*x + d + 4, x = -b*d - 11 for x.
1
Let d(b) = b**2 + 3*b - 335. Let w be d(-20). Solve -4*g + 9 = -w*z - 12, -2*z + g = 6 for z.
-1
Suppose 0 = 59*c - 306 + 11. Suppose 2*q - c*j = 15, -4*q = -6*j + 3*j - 9. Solve -d + 12 = 5*n - q, -10 = -5*d for n.
2
Let h = -11 + 23. Suppose -j - 3*x + 6 = 0, 4*j + 37*x - 48*x = 1. Solve 2*p + j*g = 15, 6*p - 3*p = -g + h for p.
3
Let b(r) = r**3 + 16*r**2 - 19*r - 23. Let h be ((-1)/(-1))/((-6)/102). Let t be b(h). Let s be (0/t*(1 - 0))/(-1). Solve 5*p - 5 = s, 3*p - 7 = 3*d - d for d.
-2
Suppose -1903 = -6*c + 533. Let w = c - 403. Solve -5 = w*n - i, -4*n + 0*i = -2*i + 10 for n.
0
Let r = 177 + -176. Let t = -876 + 891. Solve r = -a - a + x, -x = 5*a - t for a.
2
Let a(c) = c**3 + 47*c**2 + 50*c + 189. Let b be 6/(-21)*(-2254)/(-14). Let q be a(b). Solve o = -3*p + 6 + 2, 4*p + q*o - 29 = 0 for p.
1
Suppose -3*f = 2*p - 37, 4*p - 2*f - 66 = -0*f. Let x be (-23*1)/((-10 - -15) + -6). Let o = x - p. Solve -4*l = g + 6, g - o = -g + l for g.
2
Let n(z) = -78*z**3 + 3*z**2 - 1. Let j be n(-1). Suppose 0 = 72*k - j*k + 80. Solve -2*y - 4*x = -k, -x - 3*x + 4 = 0 for y.
3
Suppose 4*z + 15*f = 14*f - 17, 0 = -f - 5. Let y be (z - (-6 + -2)) + 1. Solve -4*m + 5*p = y, 0 = -m - p + 6 - 3 for m.
1
Let m be (4004/24)/11 + 1/(-6). Let n be 4*(-30)/(-72)*m. Solve -3*r - 3*c = 19 + 2, -n = 3*r + 5*c for r.
-5
Let z = -2156 - -2156. Solve -5 + 15 = 4*l - 2*j, z = -2*j - 6 for l.
1
Let f be (840/(-22))/(-10) + (-4)/(-22). Solve -4*i = f*w, 36*i - 35*i + 5*w = 12 for i.
-3
Suppose -31*k + 5359 = 5111. Solve 0 = f - 2*t, 10*t + k = 14*t for f.
4
Suppose -3*o + 232*d - 228*d = -29, 4*o - 4*d - 32 = 0. Solve -2*c = o*w - 1 - 8, 5*w - 13 = -4*c for w.
5
Let f = 26112 + -26077. Solve a + 5 = 0, -z - f*a + 13 = -39*a for z.
-7
Let d(r) = 2*r**3 - 173*r**2 - 92*r + 438. Let v be d(87). Solve -10 = c - v*z + 5*z, -5*c - 4*z = 20 for c.
0
Let z = -630 - -635. Suppose 4*y = 2*b + 14, 0 = -y + 3*b + 6 + z. Solve u + y = 4*v + 12, 0 = -u - 3*v - 11 for u.
-2
Let r(d) = -d**2 + 5*d + 52. Let w be r(10). Let i be (-2)/w + 78/13. Solve 5*g + 4*t = 24, 0 = -i*t + 4 + 1 for g.
4
Let q(r) = 3*r**2 + r. Let f = -17 + 23. Suppose 2*p - f = -p + 3*s, p - 5*s = 14. Let h be q(p). Solve -2*t + c = 1, h*t + t + 3 = c for t.
-2
Let x(d) = d**2 - 9*d - 7. Let y be x(10). Suppose 0 = -r - y, -2*p - 24 = 3*r - 15. Solve -5*h + p*b = -b - 17, 0 = 5*b + 10 for h.
3
Suppose -426*j = -420*j - 12. Solve -25 = -5*d + j*m, -20 + 5 = -3*d + m for d.
5
Let n(j) = 23*j + 624. Let x be n(-27). Solve -6*l + 2*v - 17 = -x*v, l + 4 = 2*v for l.
-2
Let x(u) = -u**2 + 19*u - 27. Let y be x(16). Suppose -31 = -2*p - y. Solve -4*v + p*f = -0*f + 13, 0 = 3*f - 3 for v.
-2
Let z be 15 - (13 + (-5 - -2)). Solve -2*f + 1 = -s, -s + 9 = z*f + 3 for f.
1
Let d be 4/(-6) - (-7)/210*5*4. Solve -2*i = 3*q + 34 - 9, 5*i - q + 20 = d for i.
-5
Suppose -497*n = -9398 - 12967. Solve -3*g - n + 14 = 5*k, k - 5*g = 5 for k.
-5
Suppose 5*g - 8 - 152 = 5*k, -3*k - 4*g = 103. Let q = -31 - k. Suppose -w = 5*w - q*w. Solve -3*v + w*o + 20 = -5*o, 16 = -2*v - 4*o for v.
0
Let a be (-1)/2*(-20)/(-10). Let r be (-5 + -2)/(a + 0). Let c = -4 + r. Solve -c*f - 23 = -5*u, -5*f = 4*u - 10 - 1 for f.
-1
Let o(z) = 2*z**2 - 2*z. Let n be o(2). Let g be (2/(-2))/(1 - -1)*8. Let t(x) = -x**2 - 4*x + 14. Let u be t(g). Solve n*a + 9 - 3 = -r, -5*r + u = -2*a for a.
-2
Let u be -3 - (-2)/6*9. Suppose u*s + 2*s - 5*h + 15 = 0, -2*h + 25 = 3*s. Solve -2*d + s*d - 23 = -4*l, 3*l - 16 = -d for d.
1
Let s(b) = b**3 + 26*b**2 - 317*b - 63. Let o be s(-35). Solve -4*f = -3*r + o, 70*r - 72*r = -f + 2 for f.
-4
Let m be ((-20)/5 - -14) + (-4 - 2 - -3). Solve 14 = 3*w - 4*x, -7*w + 3*w + 3*x = -m for w.
-2
Let m = 60 + -58. Suppose 4*n - m = 6. Suppose j = -2*p - 5 - 1, n*j + 3*p = -8. Solve -4*z + 4*r + 7 + 1 = 0, j*z + 20 = -4*r for z.
-2
Let t be 0/(1 + (-2)/(-2)). Suppose t = 2*b - 8 - 6. Let u = -29399 - -29400. Solve -2*o = -3*v + 1, b*v + u = 4*v + o for v.
-1
Let b(g) = 15*g - 69. Let a be (240/16 - 12)*10/6. Let w be b(a). Solve -v + w*v + i - 27 = 0, 3*i = v + 1 for v.
5
Suppose -129 - 276 = -0*l - 45*l. Solve 4*x = -l*m + 13*m + 32, -3*x + 6 = 3*m for m.
-3
Suppose 257 = 5*t + 232. Suppose -7*s = -t*s - 36. Solve 0 = -5*z + 2*i - s, -4*i + 12 = -3*z - z for z.
-4
Let c(s) = s**3 + 2*s**2 + 4*s + 2. Let u be c(-5). Let v = -91 - u. Solve 2*m = -5*i - 8, -4*m = v - 6 for i.
-2
Let s be (-1)/3 - 1/(-3). Let p(f) = 39*f + 2. Let n(g) = -8*g. Let m(q) = 5*n(q) + p(q). Let w be m(s). Solve t + 3 = w*c, c - 2 = -2*c + 4*t for c.
2
Let b = 664 + -670. Let q(m) = m**3 + 7*m**2 + m - 26. Let c be q(b). Solve -4*u - c*g - 16 = -0*u, 4*u + 16 = g for u.
-4
Suppose 3*t - 3 = -f, 0 = 4*t + 2*f + 89 - 95. Solve t = -u + 2*u - 1, -3*u + 4 = c for c.
1
Let h(s) = s**3 - 3*s**2 - 8*s - 3. Let i be h(6). Let g(z) = 29 - z - i - z + 12. Let r be g(-10). Solve -l = r*w - 2*l - 15, w = -4*l + 25 for w.
5
Suppose 7*t = 6*t + 10. Let k be 5/(t/(-8) - -1). Let g = -18 - k. Solve 2*q - 4*n + 12 = 0, -n + 1 + 8 = -g*q for q.
-4
Suppose -4 = 3*n - 13. Let m = 887 + -478. Suppose -m*c = -418*c + 27. Solve 0 = 5*w - 8*w + i + 20, n*w = -c*i for w.
5
Suppose -25 = 18*y - 421. Suppose -2*n + y = -4*z, 10*n + z = 5*n. Solve -4 = 3*s - m + n, -m = 3*s + 7 for s.
-2
Let n = 491 - 414. Suppose n*v - 70*v = 28. Solve -4*w = -v*s + 4, 4 = -2*s + 14 for w.
4
Let v(m) = -6*m + 110. Let a(i) = -3*i + 54. Let x(f) = 7*a(f) - 3*v(f). Let o be x(16). Solve 5*k - 2*u - 15 = o, 0*k - 4*k = -4*u for k.
5
Suppose -4*g + 12 = 0, 5 = 2*r + 5*g - 30. Suppose -r = -3*k - 4. Solve -2*s - 14 = -3*t - 0*s, -k*t - 2*s = 4 for t.
2
Let f be (2 - 4/2)*35/(-245). Let u = -8 + 12. Suppose -10 = -u*y + 2. Solve -3*m = 4*d + 21, 4*m + f*m = y*d - 3 for d.
-3
Suppose x = -2*g - 6, -20*x + 16*x + g + 12 = 0. Suppose -4 = -2*d + 4*y, -5*d - 5*y + 4 = -6. Solve -2*r + d*b + 18 = -0*r, -2*b + x = 3*r for r.
4
Let z(m) = m. Let n(s) = 13*s - 21. Let a(v) = n(v) - 4*z(v). Let q be a(3). Suppose u = -u + q*u. Solve -3*p + 3 = 2*p + i, u = 2*p + 3*i + 4 for p.
1
Suppose 6 = -d + 3*h - 5*h, 3*h + 11 = -d. Let y be ((3 - d) + 4)*1. Solve 0 = -3*p + 3*b - y, -p + 5*b = 13 for p.
2
Let d = -1072 - -1075. Solve -3*r + 9 = -d*v, 3*r - 3 = 4*v + 11 for r.
-2
Suppose 2*c + c = -h + 27, -2*c = 6. Suppose -3*g - 10 - 38 = -2*t, 0 = -2*t + 4*g + 46. Let v = h - t. Solve -p + v = -2*j, 4*p + 2 = j + 3 for p.
-1
Let b = 948 + -945. Solve 0 = -b*o + 11*k - 10*k + 8, 0 = -o + 3*k for o.
3
Let l be 42/189*36 - 6. Solve -3*u = w + l, 16*u - 4*w + 8 = 20*u for u.
-2
Let y = 5882 - 5880. Solve -i + 4 = y*l - 3, 2*i + 2 = 4*l for l.
2
Let a be 378/(-3402) + 1/((-9)/(-37)). Sol