
Let g = -2699 - -2699. Solve -5*a = -4*b + 2 + 26, -2*b + 4 = g for a.
-4
Let l(w) = -w**2 + 6*w + 14. Let j be l(6). Suppose 5 - j = -9*c. Let d be -3 + 6 - c - 0/(-4). Solve -3*s + d*z - 1 = 0, 4*z + 1 = s - 2 for s.
-1
Suppose 4*p - 8 = 0, 5*t - 41 = p + 2. Solve -s - t*j + 10*j = 3, 0 = s + j - 5 for s.
1
Suppose 34*b - 12 - 55 = 69. Solve 3*m + 8 = b*y, -2*m - 139*y = -143*y + 8 for m.
0
Let w(y) = 4*y**3 - 4*y**2 + 2*y + 1. Let q be (-62)/(-1)*(-1)/(-6)*3. Suppose 5*r = -21 + q. Let m be w(r). Solve 3*d = -3*n - m, -4*d + 0*n = n + 13 for d.
-2
Let g(r) = -106*r - 4447. Let c be g(-43). Solve 5*f - 4*n - 11 = 0, 3*f = n - c + 112 for f.
-1
Let l be 12/(-60) + (-22)/(-10). Solve l*w + q - 10 = -4*q, 10 = -w + 5*q for w.
0
Let s = 6 - 0. Let r be (8/s)/((-7)/(-42)). Let m(l) = 15*l + 454. Let n be m(-30). Solve -5 = -3*g + t + 2, -3*g + n*t = r for g.
4
Let o(f) = -2*f**3 - 74*f**2 + 71*f - 180. Let g be o(-38). Solve 3*d - 6*y = -4*y - 10, -2*y = -g for d.
0
Let l(n) = 3*n**3 - 31*n**2 - 70*n + 536. Let s be l(11). Solve 0 = 2*q - s, -6*p = -11*p - 3*q + 22 for p.
2
Let y be (25 - 1)*(4 - 3). Let g be (1 - 4)/((-36)/y). Suppose -4*c + 0*c = 16, -5*c = 4*t. Solve 0*o = -5*o - g*i - 5, t*i - 37 = 4*o for o.
-3
Let i be (-7 - -4)/(-3)*3. Let p(l) = l**2 - 11*l - 7. Let z be p(13). Let m = z - 14. Solve m*f = -2*r + 2 - 22, i*f + 12 = 0 for r.
0
Let x be (-3)/(-2)*((9 - 5) + 2). Solve -2*g + 3*t - 16 = 0, -2*g = g + 3*t + x for g.
-5
Let p = 461 + -318. Let u = -140 + p. Suppose -3*o + 3*q = -12, 0*q + 2*q = -3*o + 27. Solve o*n - 5 = 2*n - 2*f, 4*n = u*f - 19 for n.
-1
Let h be 2*3/(-18) + 3608/24. Let n = 18 - h. Let i = n - -135. Solve -2 = 3*k + q, -i*k + 1 = 2*q + 2*q for k.
-1
Let q = 3038 + -3034. Solve 8*c - a = 4*c + 5, -4*c - q*a - 20 = 0 for c.
0
Suppose 0 = 2*k - 0 - 8. Suppose -43*d + 36*d = -756. Let m be -2 + d/26 - (-4)/(-26). Solve k*x + 2 - 7 = 5*q, 0 = m*x - 10 for q.
3
Suppose 0 = 5*k - 32 + 12. Suppose -2*j + y = -5, 7 = 3*j - 5*y - k. Suppose 3 = -z + j*z. Solve -x = 5*d - z*d + 3, -5*d - 9 = 3*x for x.
-3
Suppose -5 = -5*p, -48*p + 46*p = -2*w + 4. Solve w*g = -x - 17 + 5, -7*g = x + 32 for x.
3
Let g(d) be the third derivative of -d**6/120 + d**5/60 + 8*d**2. Let w be g(0). Suppose 6*j - 46 - 14 = w. Solve -1 + j = -3*c, -2*v = -3*c - 13 for v.
2
Let q = 21000 + -20997. Solve -q*v + v + 3*s - 3 = 0, 4*s - 21 = -3*v for v.
3
Suppose 0 = -6*j + 10*j - 4*o - 20, 0 = 5*o - 35. Solve 15*a + 7 = z + j*a, 5*z - 4*a = 24 for z.
4
Suppose -9*m + 2*m = 0. Suppose 4*b - 2*a = b + 14, m = 4*b + 4*a + 8. Suppose 4*p + b*p = 9*p. Solve 0*r = -2*r + 3*o + 2, r + o + 9 = p for r.
-5
Let z be (-9882)/(-729) - (-8)/18. Solve 3*a + 14 = -a - h, z = -a + 5*h for a.
-4
Suppose -3*y + 68*y = 388 - 63. Solve y*l = 4*m - m - 10, -l - 5*m - 30 = 0 for l.
-5
Suppose -264 = -24*k - 13*k + 15*k. Solve u = 2*u + 4*y + 14, -2*y = -2*u + k for u.
2
Let f(w) = 689*w - 5512. Let a be f(8). Solve -3 = -4*v - 3*x, a*v - 4*x = 3*v - 11 for v.
-3
Suppose -201*n = -192*n. Solve -3*c = 5*w + 19, 2*w - w + 2*c + 1 = n for w.
-5
Let d(o) = o**3 + 3*o**2 - 12*o - 10. Let c be d(-5). Suppose -19*q + c*q + 38 = 0. Solve 2*l = 4*f + 6, -6*l + 2*l + 12 = q*f for f.
0
Let z = 277 + -99. Let p = z - 178. Solve 3*l = 12, 5*l + p*l - 20 = -o for o.
0
Let b(k) = -k - 38. Let j = -39 + 11. Let w be b(j). Let s be 4*w/(-8) - 1. Solve -2*f = -s*o + 12, f - 2 = 5*o - 11 for o.
1
Suppose -6*m = -m - 10. Let p(g) = g - 3*g - 4 + 10. Let w be p(m). Solve 4*n + 20 = 3*t - 5*t, -n = w*t + 11 for t.
-4
Suppose 128*h - 106*h = 506. Solve -3*t - 9 = 6, -3*t - h = -4*g for g.
2
Let a(u) = -u**3 + 4*u**2 + 13*u - 3. Let z be a(6). Suppose -z = -3*i, -4*i = 4*v + i - 17. Solve 6*b - 18 = v*b + 3*q, 5*b + q - 12 = 0 for b.
3
Let l be (150/(-7))/(-3) + 23/(-161). Suppose 5*x + 4*o = 45, -2*x + o = -l*x + 30. Solve 0 = 4*u - 2*b, 6 + 6 = -4*u + x*b for u.
2
Let y be 15 - (-6 - (-8 - 11)). Solve -5*t + 13 = -v + y*v, -4*v - 2*t - 2 = 0 for v.
-2
Let a = -414 + 61. Let j = 357 + a. Solve 2*x + 4 = -j*b, -4*x = x - 20 for b.
-3
Let t = -2373 + 2379. Solve -3*g = -2*m, 6 = t*m - 8*m for g.
-2
Let v = 93 - 93. Suppose -27 = -5*a + 2*a. Suppose 16 = -h - v*t - 4*t, -h + t = -a. Solve -5*x = -4*y - 25 + 2, -x + 11 = -h*y for y.
-2
Let q(v) = -v**3 - v**2 - v. Let z(l) = 3*l**3 + 20*l**2 + 35*l + 13. Let m(o) = -2*q(o) - z(o). Let i be m(-16). Solve 0 = 5*b + 5, i*w + w - b - 17 = 0 for w.
4
Let f = -250 + 253. Let o(a) = -a**3 + 5*a**2 + 4*a + 5. Let y be (5 - 1) + 9 + -8. Let r be o(y). Solve f*u = -4*g - r, -g - 23 = 4*g + u for g.
-4
Suppose c - 4 = -3*z + z - 0, 0 = 3*z. Solve 3*n = 3*x - 6, x - c = -x for n.
0
Let o = -9 + 21. Suppose 2*v - 2*x = -v + 17, 2*x + 20 = 4*v. Solve u = -3*u - 5*a + 20, u + o = v*a for u.
0
Let c(o) = -o**2 + 144*o - 282. Let f be c(2). Solve 3*u = 6*u - 4*t + 23, -t + 3 = f*u for u.
-1
Suppose 0 = -0*s - 15*s - 6*s. Let b be (-51)/(-4) + 1/4. Let l be b + -7 - (1 + 0). Solve l*z + 4*o + 13 = 0, 2*z + 2*o - 5*o - 4 = s for z.
-1
Let a be 6/(-33) - ((-520)/(-143))/(-20). Solve 0 = -5*k - 36*p + 40*p, a = -3*p - 15 for k.
-4
Suppose 342*j + 29*j = -372 + 4824. Solve -4*g + j = 8*y - 4*y, y + 5*g = -5 for y.
5
Let y be (-2)/8 + 484/16. Let n be (25 - 40)/((-3)/(1 - 0)). Suppose -5*s + 30 = -n*c, 2*c + 2 = -s - 4. Solve s*u + 2*h = 16, u + 5*h = -2*u + y for u.
5
Suppose 2*f - 3*n + 4*n = -5, -20 = f + 4*n. Suppose 5*l + 10 = -5*t, f*t + t = 3*l + 14. Solve 2*k = -s - 4*s + 13, -6 = t*s - 2*k for s.
1
Let t be (-574)/(-492) - (-87)/18. Solve -3*o + 9 = -5*q, 7 = -3*q - t*o + 7*o for q.
-3
Let s = 72120 + -72115. Suppose -3*v + 5*v - 65 = -3*w, -3*w = -3*v + 60. Suppose -2*x - 10 = -c - c, 4*c - 5*x = v. Solve c = 5*q + 10, s*h - 7 = q + 15 for h.
4
Let h = -2001 - -2009. Let s be 10/65 - (-76)/13. Let x be 304/96 - 1/s. Solve -x*z = -t - h, 4*t + 19 = t + 4*z for t.
-5
Let j(x) = -2*x**3 - 54*x**2. Let g be j(-27). Let u be 7 - g*5/20. Solve 4 = -2*o - 5*a, -a = 2*o - u*o - 10 for o.
-2
Let r(v) = -v - 36. Let m(s) = 1. Let j(f) = -4*m(f) - r(f). Let y be j(-26). Solve 5*i = d + 4*d - 15, -4*d + i = -y for d.
1
Let s(p) = -77*p + 858. Let w be s(11). Solve 5*l - 10*o + w*o = 14, -3*o + 14 = l for l.
2
Let u(l) = -4*l + 66. Let j be u(-12). Let d = j + -109. Solve 5*g = 10, -6*g = -d*n - 3*g - 6 for n.
0
Let c = -8059 + 8061. Solve 3*i - x - 3*x = 15, -5*i - x = -c for i.
1
Let o(c) = -22*c**2 - 4*c**2 + c**3 - 7 + 5*c**2 - 3*c + 23*c. Let v be o(20). Let d be (-2)/(-4)*(3 + -31)/v. Solve 2*m - d*k + 2 = -2*m, 5*k + 25 = 0 for m.
-3
Suppose 0 = -2*g + 14*g + 36. Let r be (g/12*0)/3. Solve -4*j + 5*i = r, -2*i - 2 = 6 for j.
-5
Suppose -8 = a + 2*m, 3*m + 16 = a + m. Solve 3*n = a*r - 18, 16 + 3 = -5*n + 3*r for n.
-2
Let q = -1824 - -1835. Solve 6*g - 5*g - q = -3*i, 5*i - 30 = -4*g for g.
5
Let o = 189 - 204. Let b be (-171)/6*10/o. Solve 3*l = -2*a - b, a = 5*l + 5*a + 33 for l.
-5
Let h be 33 - 27 - (1 - 10). Let i be (176/(-55))/((-6)/h). Solve 0 = -4*p + 2*d - i, 4*p + 2*d = 6*d - 8 for p.
-2
Suppose -5*y + 5*d + 45 = 0, 2*d - 5 = -3*d. Let c(f) = f**3 - 11*f**2 + 13*f + 3. Let l be c(y). Solve 3*i - 5*v - l = 5*i, 0 = -2*i - 3*v - 23 for i.
-4
Let u = -500 - -505. Solve m + 4 = z, -26*z = -28*z + u*m + 2 for z.
6
Let x be (-20)/(-6) + ((-26)/(-12) - 12/8). Let f be 1 + -2*(0 + -1). Let r be 2 + -3 + (4 - -2). Solve -r*p = -2*i + 30, x = 2*p - f*i + 27 for p.
-4
Let f be (-21)/2 - -4*4/32. Let b be (92/f)/(-2) - (-150)/375. Solve 4 = u - 5*s + 7, -b*u = -s - 9 for u.
2
Let j be ((-1782)/648)/(2/(-16)). Solve -j*i + 27*i = a - 3, -4*a - 3 = -5*i for a.
-2
Suppose 5*p = 2*a - 33, 5*a - 25 = -39*p + 40*p. Let o = 61 + -57. Solve -a*t = -5*f - 24, -o*t = -5*f + f - 20 for f.
-4
Let z be (11 - (-19)/((-57)/24))/(2/42). Solve 0 = -5*r - 4*p - 6, z*r - 2*p = 65*r + 2 for r.
-2
Let f(b) = 31*b - 234. Let g be 2 + (11 - (-5 - -10)). Let a be f(g). Solve 0 = 4*v - 8, -4*w + a = -0*v + 3*v for w.
2
Let k(y) = -2*y**3 - 40*y**2 + 26*y - 322. Let d be k(-21). Solve 5*u + 31 = -4*p, 2*p - 9 = -u - d for p.
1
Let o(q) = q**2 - 47*q - 34. Let i be o(16). Let z = i - -531. Solve -w - 4*x = -8*x + 6, -w - 3*x + z = 0 for w.
-2
Let j(y) = -14*y**3 + 1. Let a be j(1). Let o 