120 = -3*z, 4*z + 3*q = 2*q + 155. Let o = 42 - z. Solve -5*j + 3*c - 37 = -3, -o*j = 2*c + 14 for j.
-5
Let u(y) = -5*y + 75. Let c be u(17). Let g be (205/c - -6)*-2. Solve 7*i - 4*i - g = 5*t, 4*i = 4*t + 28 for i.
3
Suppose 4*j + 3*w = 6, 4*j = 3*j + 3*w + 9. Suppose 0 = -2*v + 2*m - 3*m + j, 5*v = 4*m + 14. Solve a - 5*g - 5 = -v*g, -5*g = 10 for a.
-1
Let q be (-1)/2*(-23 + 23). Let t be -2 - (-7 + (0 - -2)). Solve 0 = 4*i + 2*v - q*v, 0 = -t*i - 2*v + 2 for i.
-2
Let c(n) = -n**3 - 6*n**2 - 8*n + 3. Let s be c(-3). Suppose s*j + 3 = j. Suppose -j*b + 14 = 8. Solve -13 = 5*u - 2*p, -2*p + 10 = -b*u - 2*u for u.
-3
Let u(m) = -m**3 - 12*m**2 - 18*m - 9. Let v be u(-12). Let h = 211 - v. Solve 4*l + 6 = 3*p, 0 = -0*p - 5*p - h*l - 22 for p.
-2
Let b be ((-2)/5)/((-10)/25). Let c be 0/b - -3 - -5. Suppose 0 = 3*a + 3*y - 24, 3*a - 2*y = -7*y + 32. Solve -3*t - l - a*l - c = 0, -4*t = -4*l - 32 for t.
4
Let i(a) = 3*a**2 + 3*a + 3. Let r be i(2). Let v be 14/r + ((-14)/(-6) - 1). Solve 0 = v*z - 8, 2*s - 6*s - 4*z = 0 for s.
-4
Let j = 14 - 70. Suppose 3*s - 2*a + a = 163, 0 = -4*s + a + 219. Let n = s + j. Solve -i = -4*m - 0*i - 13, m - 3*i - 5 = n for m.
-4
Let r(f) = -234*f + 1182. Let j be r(5). Solve s + j = -3*g, 4*s + g = -3*g - 16 for s.
0
Suppose 2*w = 95 - 21. Let n = -34 + w. Suppose -4 = n*m + 8, 5*j - 2*m = 13. Solve g = 5*x + 4, -3*x = x - 5*g - j for x.
-1
Suppose -3*l + 2*l - 369 = -5*a, 5*a + 4*l - 349 = 0. Suppose 28*x - 95 = a. Solve 11 = -c + 5*m, 4*c = -0*c + m - x for c.
-1
Let a = 5555 + -5551. Solve -a*q = -4*o - 12, -11 + 6 = -q for o.
2
Let s = 251 + -257. Let x be s/15 - (-675)/125. Let t(b) = b**2 - 2. Let w be t(2). Solve -3*l + x*z + w = 0, l = z + z for l.
4
Let d = 13560 + -13557. Solve 5*j = 4*o - 42, d*o + j = 25 - 22 for o.
3
Let y(w) = -w**2 - w + 5. Let p be y(0). Suppose 160 = 6*b + 4*b. Suppose -22*t = -b - 72. Solve -p*a - 24 + 8 = -t*f, -2*a = -3*f + 5 for f.
-1
Let w = -3 + 7. Let v(l) = l**3 + 9*l**2 - 17*l + 5. Let o be v(2). Suppose o*a - 77 = -32. Solve -a*u + 16 = -2*u + 5*z, 4*u - w*z + 32 = 0 for u.
-4
Let j(k) = 23*k - 11. Let l be j(2). Suppose 17*m + l = 24*m. Solve m = -c + 3*t, 0 = 2*c + 3*c + 5*t + 5 for c.
-2
Suppose 4*g - 33 = -4*m - 13, -6 = -m - 2*g. Solve 1 = -r + 4*k - 2, m*k = 2*r + 6 for r.
-3
Suppose -v + 10 = 2*n, 2*v - 4 + 24 = 6*n. Solve -2 = -3*p + 5*o, -4*o = 8*p - 11*p + n for p.
4
Let d be 614/6 - (-85)/51. Suppose 91*l + 26 = d*l. Solve 4*v + 3*i = -4, 20 = -4*v + l*i - i for v.
-4
Let i = -53 + 61. Suppose -3*k - 3*d = -k - 3, -3*k + 2*d = 28. Let j be ((-1)/k)/(2/6)*4. Solve -q = -0*q + j, 0 = -2*w - 3*q - i for w.
-1
Suppose 0 = 4*f - 4, 0*k + 40 = 3*k - 5*f. Let w(m) = -46*m + 381. Let r be w(8). Let b = k - r. Solve -b*i - 14 = -2*z, 0 = -5*z - 4*i - 0 - 1 for z.
3
Suppose 2*g = -g + 9. Suppose -s + g = -4*o, 2*s + 23*o - 19*o = 6. Solve s*w = -3*z + 24, 3*z - 50 = -4*w - 21 for w.
5
Let q(r) = r**2 - 2*r + 1. Let j be q(3). Let w be 2 + (9 - 13) - -14. Solve -f - 3*n = -w, -4 = j*f + 2*n - 3*n for f.
0
Let g(r) = -15*r**2 - 196*r - 13. Let d be g(-13). Solve 5*a + 2*p = 8 + 10, d = 2*a - 3*p + 8 for a.
2
Let g = -24345 - -24359. Solve 8 = -2*n - 4*m, 12*n = g*n - m + 3 for n.
-2
Suppose 18*l + 2873 - 3053 = 0. Solve -23*c - 3*u = -18*c - 2, 3*u - l = -c for c.
-2
Suppose a - 22 = -2*g - 0*a, 6 = g + 3*a. Suppose 6*l - 2*l = g. Solve 0 = -l*w + 5*d - 0*d - 17, -5*w = 3*d + 17 for w.
-4
Suppose -3*o + 288 = 5*k, -90 - 210 = -3*o - k. Let c = -86 + -13. Let m = o + c. Solve 0*p - 2*p - r - m = 0, 0 = 2*p + 5*r + 18 for p.
1
Let r be (-8)/7 - 184/(-161). Suppose 4*j - 6 = -2. Suppose r*k - k = -j. Solve 0 = c + b + k, -5*c + 2*b + 23 = 0 for c.
3
Let c(a) = -3*a**2 - 25*a - 25. Let h be c(-7). Solve -3*w + h = 5*n, 4*w + 9*n - 6*n = 4 for w.
1
Let t(x) = 6*x**2 - 7*x**2 - x**2 - 14 + 11*x + x**2. Let k be t(9). Solve -4*w - k*q = -2*w + 4, 5*w = -2*q + 14 for w.
4
Let d be (0*10/30)/(-11 + 12). Solve -2*s + 14*x - 12*x + 16 = d, -5*s + 2*x + 25 = 0 for s.
3
Let t(a) = -a**3 - 41*a**2 - 157*a + 136. Let u be t(-5). Suppose 0*j - w - 7 = -4*j, 0 = -2*j + 3*w + 1. Solve 3*o - 5*i = -u, 4*o - j*o - 3*i = -13 for o.
-2
Let m = 81 - 30. Suppose 6*y - m - 3 = 0. Solve -5*s + y = -3*q, 2*s + 2 = -4*q - 10 for q.
-3
Suppose 0 = -94*x + 2307 - 2025. Suppose 3*j + y = 19, -4*y - 22 = 3*j - 5*j. Solve l - 3*l = x*m - j, -5*l = -5*m + 45 for m.
5
Let q(g) = 27 - 54 + 23 + 33*g. Let w be q(3). Let o = -92 + w. Solve o*h + 0*h + l - 5 = 0, -5*h + 35 = -5*l for h.
3
Suppose -10*m - 4*f + 74 = 0, 0 = 2*m + 5*f + 27 - 67. Suppose -4*x + 24 = -x + 3*p, -2*x + 25 = 5*p. Solve -2*o = q + 3, m*o - o = -q - x for o.
-1
Let q be (4 - -6)*12/15. Let l be ((-4)/q)/((-6)/(-48)*-2). Solve -l*a = -2*n - 8, -2*a = -2*n - 4*a for n.
-2
Let g(d) = 17*d + 195. Let x be g(-11). Suppose 0 = x*p - 3*p - 5*t - 35, -t - 10 = -2*p. Solve -5 = -3*m - 2*m - p*b, -6 = -2*m - 2*b for m.
-2
Let n(s) = -s**2 - 8*s - 25. Let p be n(-8). Let d = p - -28. Solve 4*j - 29 = d*l, -4*j + 7*j = -2*l + 9 for l.
-3
Suppose -5*o - 29*o = 10*o + 11*o. Solve -4*p = -6*p + 6, o = 5*u - 5*p + 20 for u.
-1
Let f(o) = -5*o**2 + 25*o + 71. Let u be f(7). Solve v = c - 1, -79*c = 3*v - 81*c + u for v.
1
Suppose 11*h - 130 = 6*h. Let s = h - 24. Suppose -16 = -s*m + 3*l, 10*m - 5*l = 5*m + 50. Solve 1 = 4*r + 2*q + 17, -m = -r + 4*q for r.
-2
Let l = -1967 - -1979. Solve 3*b + 2 - 14 = 0, -l = -4*k - 2*b for k.
1
Let q(w) be the second derivative of -2*w**3/3 + 43*w**2/2 - 4*w. Let o = 207 + -197. Let i be q(o). Solve -2*r - 3*r - 35 = 2*j, 20 = -i*j - r for j.
-5
Let u = 1785 + -1774. Solve -5*l + v - u = 0, 0 = -5*l - 2*v - 1 - 7 for l.
-2
Let r = -9787 - -9790. Solve d - r = -3*x, 5*d + 2*x - 6*x + 23 = 0 for d.
-3
Suppose 60*z + 5*k - 31 = 56*z, 23 = 3*z + 4*k. Solve -z - 2 = 4*q - 5*u, -5*q - 2*u = 22 for q.
-4
Let s be 2*(-3)/(-6)*2. Suppose 3*l = -6, 12*y + 10 = 14*y - 2*l. Solve 5*c - 5 = -3*r + 10, 0 = y*r + s*c - 15 for r.
5
Let p = -5266 + 5278. Solve -4*x = -4*k, 3*k + 5*x - p = 2*x for k.
2
Suppose 54*h - g - 38 = 49*h, -16 = -4*h - 4*g. Let d be 1 + 5 + (5 - h). Solve 3*x + 5*f - 31 = 0, -x + 30 = d*x + 4*f for x.
2
Let x = -6 - -46. Suppose -15*o = -23*o + x. Solve u - 3*k + 18 = 0, -2*k = -o*u + 2*k - 35 for u.
-3
Let a be -1 - -1 - (-96)/6. Suppose -a*z = -250 - 86. Solve 4*t - y + z = 0, -y + 40 = -5*t + 3*y for t.
-4
Let l be (-9)/(-4) + -3 + (-4632)/(-32). Let y be l/28 - (-5)/(-35). Solve -4*t = -2*o - 0*t - 12, 30 = 5*o + y*t for o.
2
Let m(l) = l**3 + 6*l**2 - 8*l + 14. Let z = -15 + 22. Suppose 0*a = a + z. Let p be m(a). Solve 5*j - p = j + k, 0 = -2*j + k + 13 for j.
4
Suppose -6*j + 1291 = 1267. Solve -58 = -4*n + h - 66, 2*n = -4*h - j for n.
-2
Suppose 4*d - 249 = 183. Suppose 0 = 3*b - 2*b - 5*m - 18, 2*m = 4*b - d. Let r be (-27)/(-18)*b/6. Solve -16 = 5*h - 4*v, 3*h + r*v - 2*v + 17 = 0 for h.
-4
Let s(g) = -g**3 + 4*g**2 + g - 1. Let i be s(4). Suppose 29*j - 960 = -67*j. Solve 0*m + m + 3*z = 8, 2*m = -i*z + j for m.
2
Let u(w) be the first derivative of 7*w**2/2 - 19*w + 96. Let g be u(3). Solve 1 = g*q + m, -4 + 0 = 3*q - 4*m for q.
0
Suppose 0 = 4*w + w. Suppose -l + 1 + w = 0. Let f be l + -3 - (-8 + 1). Solve -5*z + f*r + 35 = 0, -2*z - 21 = 3*r + 2*r for z.
2
Let h(y) = -14*y - 1. Let q be h(-3). Let a = 14 - -25. Let k = q - a. Solve 3*p = x - 17, 4*p - k*x - 2*x = -28 for p.
-5
Suppose -64 = -2*b + 5*p, 5*b - 4*p + 105 - 265 = 0. Solve 4*l = -r + 3, 2*l - 14 = b*r - 30*r for l.
2
Let k be (-4)/(-6) - (-17 + 352/24). Solve -k*a + 17 = b, 5*b = b - 2*a + 28 for b.
5
Suppose -65 = 2*p + 4*r - 5, 0 = 4*p + r + 120. Let w be ((-4)/(-3))/(2*(-1)/p). Solve 0 = 5*t + 5*o + w, 3*t - 4*o = -9 - 3 for t.
-4
Suppose 4*v = -3*c + 4, 17*v = -3*c + 15*v + 8. Solve 0 = 2*n - c, 9*n - 8 = -4*w + 13*n for w.
4
Let j(d) = 6*d**2 - 28*d + 47. Let m(s) = 5*s**2 - 33*s + 46. Let b(a) = 3*j(a) - 4*m(a). Let l be b(23). Solve -2*h + 5*c + 15 = -0*h, 3*h = -l*c - 9 for h.
0
Let i = -5313 + 5335. Solve -2*f - i + 28 = -2*z, -2*f + 3*z + 5 = 0 for f.
4
Let l(b) = -b**3 + 10*b**2 + 6*b - 43. Let h be l(10). Solve -3*i + 3*c + 3 = 0, -i + c = -4*c - h for i.
-3
Let i(l) = -l**2 + 3*l + 2. Suppose -8*t = -6*t - 4, 