= -3*h + 4*h, -2*f - 3*h - 160 = 0. Let i = f + 77. Solve -5 + 2 = -4*u + i*v, 2*u + 4*v = 18 for u.
3
Let b be 414/(-161)*(-28)/6. Suppose -24*y = -21*y - b. Solve -4*n = -y*s - 4, -n + 3*s + 1 = -2 for n.
0
Suppose 0 = w + 3*i - 6, w + 30 = 6*w - i. Suppose 6*c - w*c = 6*c. Suppose c = -12*m + 6*m. Solve m = r + 5*n - 10, 0 = -r - 4*r + 3*n - 34 for r.
-5
Suppose 201*m = 197*m + k + 8, 2*m = -4*k + 4. Solve 0 = 3*z + w - 2, m*w = z + z - 12 for z.
2
Let o be (2 + 1)/((-2)/12). Suppose -9*t + 3168 = 57*t. Let n = t + o. Solve r - 3*r + 5*k + n = 0, -5*r = -3*k - 37 for r.
5
Suppose -10*f = -0 - 20. Suppose 3 = -m + 2*n, 9*m - 7*m = f*n. Solve -2*o + 6 = y - 0*y, -y - 19 = -m*o for o.
5
Let b = 5 - 3. Let p = -1997 - -2028. Suppose 4*u + 9 = 2*u + 3*y, b*u + 5*y = p. Solve 0 = -2*g + 5*w - 18, -17 = -g - 4*g - u*w for g.
1
Let t be 5 - (-160 - 7 - -5). Let l = -160 + t. Solve -2*x = -l*x + 4*o - 29, -x = o + 4 for x.
-5
Let t = 0 - -1. Let k = 235 + -137. Suppose -k*s + 3*l = -101*s + 45, 2*l - 60 = -5*s. Solve -4*m + 5*v = -s, m - 5 - t = 3*v for m.
0
Suppose -20*f + 4410 = -5*f. Let u = -291 + f. Solve 2*j - 10 = 0, u*n + 2*j - 6 + 5 = 0 for n.
-3
Let f(d) = -77*d - 3988. Let c be f(-52). Solve k + 4*m + c = 0, k = -17*m + 20*m + 12 for k.
0
Let k(y) = -y**3 - 4*y**2 - 7*y - 25. Let n be k(-4). Solve -4*u - 18 = n*a, -4*u = -6*u + 5*a + 4 for u.
-3
Let l be 3 + (-2)/9 + 1719/81. Suppose -v - v + l = 0. Suppose -v = -6*o + 18. Solve -4*d = o*p - 7, -d - 4*p = 2 - 1 for d.
3
Let d = 5475 - 5471. Solve 3*s + 16 = 5*m, 0 = d*s - 6*s - 4 for m.
2
Let m = 67 - 64. Let n be (3 + 0 + 1)*m/6. Solve -2*l - 4*a = -5*l + 6, n*l = 2*a + 2 for l.
-2
Let o = -2173 + 2182. Solve 0 = 9*c - 6*c + 3*r + o, -2 = 2*r for c.
-2
Let w be -1*(2 - ((-180)/9)/(-4)). Solve 3*s + 4*f - 65 + 54 = 0, s = -w*f + 12 for s.
-3
Let b = 7 - 3. Let c(l) = -l**2. Let k(x) = x**2 - 6*x + 5. Let f(q) = -2*c(q) + k(q). Let y be f(3). Solve -b*r + 2*g = 18, 2*g + y + 8 = -4*r for r.
-5
Suppose 6*m = 18*m - 35*m + 23. Let b be ((-2)/4)/(1/(-10)). Solve 2*g - m = g, -b*g + 5 = -o for o.
0
Suppose -3 = -2*q - h, 18 + 19 = 3*q - 5*h. Suppose 0 = -q*t - j - 2, -4*t - 6 = 3*j. Solve -4*g - 14 = -2*n, 0 = -n - t*n - 2*g - 13 for n.
-3
Let q be ((-299)/39)/(-23)*0. Solve 0 = 5*x - 10, -h - 4*x + 6 - 1 = q for h.
-3
Let u(g) be the third derivative of -1/8*g**4 + 5*g**2 + 0*g + 1/60*g**5 + 0 - 1/3*g**3. Let h be u(4). Solve 3*t - 9 = -h*w, 5*t - 15 = -4*w + 2*t for w.
3
Let x be 7 - (-8 + 7)*(1 + 2). Suppose 105 = x*f + 25. Let t(u) = -u**3 + 7*u**2 + 6*u + 18. Let m be t(f). Solve -4*d - 12 = 0, -m*d = -5*i - d - 22 for i.
-5
Suppose -2*w = 0, -4*w = l + 2*l - 6. Suppose 4*f + h = 5*f - 9, -l*h = -3*f + 23. Solve 3 + 7 = -5*p - f*t, 3*t + 10 = -5*p for p.
-2
Suppose -928*n + 936*n - 96 = 0. Solve -12*m + l = -9*m - n, 2*m = l + 9 for m.
3
Let m(j) = 14*j - 52. Let p be m(10). Let d = 88 - p. Suppose d*i = -6*i - 4*i. Solve 4*b - 20 = -4*x, -x + i*x = -5*b + 19 for x.
1
Let f be (-489 + 490)*(-5*1)/1 + 8. Let x be ((-29)/(-2))/((-2)/(-4)). Solve -o = 2, -6 + x = -f*h - 4*o for h.
-5
Let f = 101 + -97. Solve 3*o + 4 = 2*m, 0*o + f*o = 0 for m.
2
Suppose 0 = -3*d + 2*v + 87, -3*v - 80 = -62. Solve 0 = -3*s, -5*m + 3*s = 8*s - d for m.
5
Let m = 28744 - 28740. Suppose -4*p + 2*p = 0. Solve -3*o + 5*o - 2 = 2*f, p = -5*o - m*f + 5 for o.
1
Let a(y) = y + 12. Suppose -7 = 5*n - 22. Suppose -d - 2*l + 4 - 1 = 0, -d - n*l = -8. Let q be a(d). Solve 14 = q*b + 2*f, -1 = -f - 4 for b.
4
Suppose -1740 = -35*o - 970. Solve 27 = 13*j - 10*j + 3*l, 4*l = -2*j + o for j.
7
Let j = -3 + 5. Let t = 581 + -572. Suppose -t + 19 = j*r. Solve -3*f + 20 - 6 = 2*l, -r*l - 2*f + 13 = 0 for l.
1
Suppose 5*x = 5*h - 120, 5*x - 24 = -4. Suppose -3*p - 3*b = -18, 0 = -p - 4*p - 3*b + 36. Suppose p*v - h + 1 = 0. Solve 2*j + v*i = 2 - 1, i + 1 = -2*j for j.
-1
Let l(c) = -c**3 - 7*c**2 - 7*c. Let w be l(-6). Let d(m) = m - 12. Let q be d(16). Suppose 2*r - q*r + w = 0. Solve -2*j - 6 = -2*i, r*j - 2 = -3*i + 1 for j.
-1
Suppose 7*w - 23*w + 384 = 0. Let y be (-32)/w*18/(-8). Let d(g) = g + 3. Let x be d(-3). Solve 0 = 5*l - 5*r, x = r + y*r for l.
0
Suppose 0 = 163*v - 159*v + 136. Let w be -1 + (1 - 2) - -39. Let g = v + w. Solve -4*s + 5 = x - 15, 5*s = g*x + 8 for x.
4
Suppose -5*h = -52*s + 55*s + 45, -2*h = 18. Solve 17 = -q + 4*x, 3*q - 6*x + 3*x + 6 = s for q.
3
Suppose -2*a = -10 + 6. Suppose 5*c - 10*m = -5*m - 10, 2*c + m - 11 = 0. Solve c*p + 8 = -p - 4*d, -a = -3*p - d for p.
2
Let x(v) = 16*v**2 + 13*v + 15. Let k be x(-1). Solve 3*w + 5*u - 22 = 0, -4*w - 39*u + k = -38*u for w.
4
Let f = -39 + 42. Let p be f/(-1) - (0 + -4). Let t be 5 - (0 - (-1 + p))/1. Solve -5*l - 25 = -2*w, -2*w - 4*l + 3*l = t for w.
0
Let q be (-3)/(-1*(-6)/(-12)). Suppose -3*a + 4 = 4*t + q, 3*a + 3*t = 0. Solve 0 = 2*w + 2*r - a, 0 = 2*w - 0*w - r + 13 for w.
-4
Suppose 10 = l - 2*t, 0 = 5*l + t - 3*t - 26. Suppose l = -0*b - b, 5*b = 3*n - 53. Solve p - j - j - n = 0, j + 10 = 5*p for p.
1
Suppose 48*a - 43*a = 45. Suppose -b - 3*r = r - a, -6 = -2*r. Let d be (2/(-3))/(b/9). Solve -4 = d*c + 4*s + 24, -41 = 4*c + 5*s for c.
-4
Let x be ((-6)/(-12))/((-3)/(-30)). Let b(s) = -2*s**3 + 3*s + 2. Let m be b(0). Solve -x*u - c = -8, 7*u - m*u - 2*c = -1 for u.
1
Let a(y) = -2*y**2 + 51*y + 679. Let w be a(35). Solve 0*g + 5*g + w = -4*b, g = 2*b for b.
-1
Let h(m) = 123*m - 1086. Let z be h(9). Solve -5*r - z = 2*t, 0 = 3*t - 84*r + 85*r + 12 for t.
-3
Let g(x) = 4*x**2 + 11*x + 1. Let r = 154 + -157. Let y be g(r). Solve a = y*h + 2*a + 21, -2*h + 2*a = -2 for h.
-4
Let p(d) = 6870 - 3*d + 44*d - 6926. Let j be p(2). Solve -2*s - 2*c + 2 = 0, -2*s - j = -6*c + c for s.
-3
Suppose 4 = -3*w + 16. Suppose -14*q - 17 = -73. Solve 21 = i - q*c, w*i - c - c = 28 for i.
5
Suppose -2*h - 18 = -4*w, -4*w - h + 6 = -w. Suppose -x = w*i + 2*x - 3, -1 = i - x. Suppose 6 = u - i*u. Solve 2 + 1 = -5*s - v, -2*v = -2*s - u for s.
-1
Let h be -10*(-6)/45*3. Suppose 12*k - l = 14*k - h, 0 = k - 5*l + 20. Solve -4*i - 5*b + 13 = 0, k*i - 5 = 5*i + 2*b for i.
-3
Suppose 4*z + 3 = -2*k + 3*k, 0 = 4*k - z - 57. Solve 5*i - 5*o + k = 0, -6*o = -2*i - 3*o - 5 for i.
-4
Let w = -83 - -48. Let x = -30 - w. Suppose -5*d + 3*u = -31, x*d + 8 - 31 = -u. Solve -4*j + 8 = 0, j - d = g - 4*j for g.
5
Suppose t - 221 = 3*v - 234, -4*t + 20 = 0. Solve -14*g - 3*x + 17 = -16*g, -2*x = -v for g.
-4
Suppose 289*a - 138*a - 21 = 144*a. Solve 0 = -5*i + 3*h + 31 + a, 3*h + 29 = 4*i for i.
5
Let q = 4967 - 4961. Solve 3*r - 5*i = -26, -5*r + 5*i + q = 9*i for r.
-2
Let s(p) = 2*p**2 + 49*p - 19. Let t be s(-25). Solve -4*k - 2*v = -12, -t*v + 7*v = -k + 1 for k.
5
Suppose 0 = 2*u + u - 15. Let v = 238 - 188. Let c be (-1 - -7)*25/v. Solve -5*l + c*t - 21 = -4, t + u = -l for l.
-4
Let l be 12 - 2 - (-52)/(-26) - 8. Solve l = 5*i + h - 4, -25 + 11 = 5*i + 4*h for i.
2
Let n(a) = a**2 - 14*a - 7. Let l be n(14). Let m(k) = k**3 + 10*k**2 + 26*k + 37. Let f be m(l). Solve 0 = 4*z + f*j - 16, 3*z + 0*j = -j + 13 for z.
5
Let o(f) = 4*f**3 - 3*f**2 - 3*f - 2. Let q be o(-1). Let z be 4 + (5 + q)*1. Solve -9 = -4*w + z*y, -w - 7 = -4*w + 2*y for w.
3
Suppose -61*j = -b - 64*j + 296, 4*b = -5*j + 1233. Solve b*a = 314*a + 3*z, -20 = 5*a + 5*z for a.
-2
Let d = -16 + 28. Let z = -2276 + 2278. Solve 2*q - 5*j - d = 0, -q - z*q - 5*j - 7 = 0 for q.
1
Let t(x) = -x**2 + 13*x - 25. Let s(m) = -m**2 + 13*m + 10. Let q be s(13). Let y be t(q). Let u = -394 + 397. Solve -8 = -2*r + u*l - l, -y*l + 8 = 2*r for r.
4
Let h = -591 + 577. Let t be -3 - 7/h*14. Solve 3*u + 3*n + 9 = t*u, 5*n = 3*u - 11 for u.
-3
Suppose 155*p - 5*m = 158*p - 10, -5*m = 5*p - 10. Solve -x = -2*g - 5, -5*g = x - p*g + 9 for x.
1
Let i = -9 - -10. Let c(j) = -16*j + 4. Let w be c(2). Let m be (6/8)/((w/16)/(-7)). Solve 0 = -v + b + i, -b + 0*b = m*v + 13 for v.
-3
Let i = 9 + 49. Let x = i + -42. Let y = -10 + x. Solve -2*z + 3*b + y = 0, -3*b + 0*b = -z + 6 for z.
0
Suppose 0 = 82*j - 88*j + 24. Let c be ((2 + -3)*1)/(2/(-8)). Solve n - 2*f = 5, -35 = -n + c*n + j*f for n.
-5
Suppose 5*j + 2*c + 735 = 0, 4*j = c - 493 - 108. Let b = j + 154. Solve -4*g = -b*h, 4*g = -h - 3*h + 36 for g.
5
Suppose 6*y = 