 + 23*n**2 + 21*n - 18. Let s be c(-22). Suppose 0 = -s*b + 2*b + 10. Solve 8 = -m - v - 3*v, 6 = b*m - 3*v for m.
0
Let a = 777 - 777. Solve 0 = x + 2*l + 6, 3*x + 5*l + 14 + 2 = a for x.
-2
Let s be (-2)/5 + (-144)/(-10). Let d = s - 17. Let f be (-13)/2*(1 + d). Solve -m - f = 3*m + 3*v, -v = 5*m + 8 for m.
-1
Suppose -2*r - 15 = -1. Let k = r + 47. Suppose -2*m + 3*x = -20, 6*m - 5*x - k = m. Solve i - m*t - 16 - 2 = 0, 3*i - 4*t - 14 = 0 for i.
-2
Let g be (-7)/28 + (82/8 - 3). Solve 5*w - g = -4*j + 3*j, 0 = 3*j - 6 for w.
1
Let q be ((-4)/10)/((-1)/5). Let s be (-5 - -14) + (2 - 8). Solve 2*y = q*b + 6, y + 2*y + 3*b = s for y.
2
Suppose -h + 9 = 2*d, -2*h - d = 2*d - 15. Solve 4*x - 4 + 13 = -i, h*x = 3*i - 18 for i.
3
Suppose -1 = -b + 2*j - 0*j, 0 = 5*b - 3*j - 12. Solve 2*m = w + b, -3*m + 7*m - 12 = 0 for w.
3
Let o = 34 - 65. Let f = o - -33. Solve -2*h = -3*t - 7*h - 10, -h = -f*t + 2 for t.
0
Let u(n) = -15*n - 275. Let d be u(-19). Solve 2*c - 7 = 5*g - 1, 0 = -5*g - d for c.
-2
Suppose -15*y = -5*y - 30. Solve -3*i + 0*j + 12 = -3*j, 5*i - 12 = y*j for i.
0
Suppose 13*n - 10*n = 15. Suppose -5 = 5*z - y, 0 = -n*z + y - 4*y + 15. Solve z = -2*k + 4*k + 5*u + 7, -4*u - 9 = 5*k for k.
-1
Let y = -6 - 15. Let n = y + 26. Suppose n*g - 15 = 5. Solve -5*t = -c - 27, -4*c - g*t = 4 - 16 for c.
-2
Suppose -2*i + 3 = 3*k, k = 2*i + 3 + 6. Solve k*u = -12, 3*u + 16 = -4*v + u for v.
-2
Let f(m) be the third derivative of -m**5/60 + 5*m**4/12 - 8*m**3/3 - 8*m**2. Let a be f(7). Solve -2*u = -7*u - 2*t - 28, 32 = -3*u - a*t for u.
-4
Let s(c) = 12*c + 78. Let x be s(-6). Solve 5*d - 9 = -n + x, -n = d + 1 for d.
4
Let o be (-8)/(-6) + 4/6. Suppose 5*q + o*r + 4 = 34, -5*r = -3*q + 49. Suppose 5*m + 16 = 3*f + f, m = -2*f + q. Solve 15 = f*p - u, -4*u + 25 = 5*p + u for p.
4
Suppose 89 - 11 = 2*j. Suppose 38*m = j*m - 5. Solve 5*z - 3*l = -10, -6 = -m*z + 2*l - 16 for z.
-2
Let b = 109 + -101. Solve -2*p - p - 5 = s, 2*s + 5*p + b = 0 for s.
1
Let p(n) = -7*n**2 - 75*n - 48. Let l be p(-10). Solve -4 = -3*z + c + c, 3*z + c = -l for z.
0
Let s be 72/15*(4 + -1 + 2). Suppose -i - 1 - 1 = 0, 11 = 5*d + 2*i. Solve d*u - 9 = 0, -4*x + x - s = -3*u for x.
-5
Suppose o - 82 = -5*r, -2*r + 5*o + 18 = -4. Solve -5*m - 3*y = 20, r = -4*m - 4*y - 0*y for m.
-4
Let q(o) = -o**3 - 11*o**2 - 24*o + 9. Let d be q(-8). Solve -4*i + 6*h - h - 27 = 0, 0 = -3*h + d for i.
-3
Suppose 17*i = 19*i - 8. Solve 3*d + i = 3*p - p, 2*p + d - 4 = 0 for p.
2
Suppose 14 = 5*k - 31. Let v = -4 + k. Suppose 5*q - 107 = -27. Solve 16 = 4*b, -v*b = -0*r - r - q for r.
4
Suppose 17*p = 2*p + 75. Solve p*z - l + 9 - 2 = 0, -4*z + 6 = 5*l for z.
-1
Let t be (8 - 5)/1 - -8. Suppose -t*p = -13*p + 4. Solve -3*y - 4 = -4*r, 0*y - 20 = -3*r - p*y for r.
4
Suppose -4*c - 4*x + 21 = -3*c, 0 = -5*c - x + 10. Let s be (-5 - 50/(-5))*(c + 0). Solve d - 11 = 5*d + p, -4*d = s*p - 9 for d.
-4
Let o(l) = 2*l + 8. Let x be o(-10). Let s be (4/(-12))/((-2)/x). Let d be 3/(-1 + 0 - s). Solve -d*q - 13 = 3*n - 5*q, 5 = q for n.
-1
Let z(q) = -q**3 - q + 4. Let m be z(0). Suppose -m*u + 2*f - 87 = -221, u - 16 = -3*f. Solve 0 = -5*s + 2*i - u, -3*i = -s - 3*s - 29 for s.
-5
Let s = 13 - 13. Suppose -3*i - x + 8 = -0*i, -5*i - 5*x = s. Let t(n) = n**2 - 5. Let b be t(-4). Solve -3*q + i*d + b = -6, -10 = 5*q + d for q.
-1
Suppose 0 = -x - 2*g + 2, -3*g + 5*g = -4*x + 14. Suppose c = -x*c + 115. Let a = c + -14. Solve -4*d + i - 18 = -0*d, 2*i = -d - a for d.
-5
Let a be -1 + ((-7)/14)/(1/(-10)). Solve a*w = -5*n + 10, -4*n + 7 + 1 = -w for n.
2
Let s = -339 + 343. Solve -y = 4*n - 0*n + 4, -20 = -s*n + 5*y for n.
0
Let j(h) = h**2 - 14*h - 57. Suppose 0 = -6*p + 33 + 75. Let i be j(p). Solve 3*w = -3*m + i, 4*w + 4*m = m + 18 for w.
3
Let r be ((-2)/8*-4)/(34/136). Solve -r = 3*o + 5*z - 12, 3*z = -4*o + 7 for o.
1
Suppose -w + 4*w - 72 = 0. Let a be (w/5)/((-10)/(-25)). Solve 4*f + 21 = -3*z, 3*z - z + a = -2*f for f.
-3
Let s(w) = -w - 1. Let b(x) = -9*x - 19. Let n(o) = b(o) - 6*s(o). Let a be n(-6). Solve -3*h - m + 5 = -a*m, 2*h - 4*m = 6 for h.
-1
Suppose 33*j = 39*j - 30. Solve 5*m - 3*k - 16 = 0, -j*m + 4*k + 10 = -k for m.
5
Suppose 25*o - 22 = 28. Solve 24 = -o*x - 4*s, -2*x + 2*s = -8 + 2 for x.
-2
Let o = -76 + 103. Suppose o*k - 24*k - 12 = 0. Suppose -s + 0*s = b, -2*s - 14 = -5*b. Solve -k*m = 4*g - 8, -2*g + b*m - 2 = 10 for g.
-2
Let c(u) = -35*u + 529. Let t be c(15). Solve -4*r = t*g + 8, -g + r + 1 = -5 for g.
2
Suppose 21 = 5*f + 2*v, -12 + 35 = 3*f - 4*v. Solve 0 = -2*s - 5*d - 18, -f*s - d - 3 = d for s.
1
Let h = 1474 + -1471. Solve -h*r + 2*n - 2 = 0, 2*n = -3*r + 6*n + 8 for r.
-4
Let y(l) = -2*l - l - 3 + 5*l + 8. Let j be y(1). Solve 4*m - j = m - 4*d, -m + 5 = 2*d for m.
-3
Let z(w) = -w**3 + 4*w**2 + 5*w + 2. Let v be z(5). Let h(q) = 9*q**2 - 5*q + 4. Let s be h(v). Solve -o + 4*g + s = o, 0 = 4*o + g - 15 for o.
5
Suppose -11*a + 29*a - 252 = 0. Solve 4*k = 2*c - a, -5 = -2*c - 5*k - 0*k for c.
5
Let h be (-1 - -3) + 2/2. Let v(r) = 2*r**2 - 60*r + 2. Let c be v(30). Solve 0 = c*a - h*b - 2, a - 3 + 2 = 3*b for a.
1
Suppose 0 = n + 3*a + 112, -3*n - 27 - 269 = -a. Let g be ((-32)/40)/((-2)/n). Let r = 42 + g. Solve p + r*k = -3, 4*p - 2*k - 7 = 11 for p.
3
Suppose -18*b = -22*b + 12. Let z(u) = -u**2 + 8*u - 4. Let p be 2/(-2)*1 - -8. Let g be z(p). Solve 6 - 5 = -4*h - l, b*h + g*l = 6 for h.
-1
Let j = -8 - -12. Suppose 9*o = 10*o. Let s be (3 - (6 - 3))/(-1). Solve s = 5*f + 2*h + 2 + 12, o = 5*f - 3*h + j for f.
-2
Let n be (192/(-64))/(1 + 1*-2). Solve p = -3, -s - n = -p - 2 for s.
-4
Let j be (-22)/(-33)*-21*1. Let b = j + 34. Solve 0*v = v + 5*c - b, -v - 2*c = -11 for v.
5
Let j = -55 - -42. Let i = 16 + j. Let m(k) = k**2 - 2*k - 2. Let n be m(4). Solve 11 = -3*l - 5*r, i*l - n = 5*l + 2*r for l.
-2
Suppose -2*d = -5*t + 4*t - 1, -d - 7 = -2*t. Solve -c = -4, 5*c = -t*k + 2*k + 11 for k.
-3
Let u(s) be the third derivative of s**5/60 + s**4/24 - s**3/2 + 5*s**2. Let g be u(4). Solve -5*l + 7 + 9 = -2*t, 4*l = 3*t + g for l.
2
Suppose -3*j + 20 = -5*t, -48*t + 53*t + 25 = 4*j. Suppose p = 6*p - 15. Let s be (p/2)/(1/12). Solve -z + l = -3*l - s, -j*z + 4*l = -10 for z.
-2
Suppose -51*s = 179 - 1097. Solve 0 = -2*j + 3*z + 15, -5*z = s + 7 for j.
0
Let r be (4 - (-11 - -2)) + (0 - 2). Solve 3*l + 2*z = -r, 13 = -l - 0*l + 4*z for l.
-5
Suppose 26*d = 122 - 70. Let j(k) = k**3 - 7*k**2 + 8*k - 9. Let z be j(6). Solve 2*m - 2 = -4*i, -d*i - 2*m = -1 - z for i.
-1
Suppose 14*r + 3*r - 85 = 0. Solve 5*g = f - 30, -r*f + 8 + 2 = 3*g for f.
5
Suppose -28*l - 23*l = 0. Let u = 14 + -10. Suppose 0*i - u = -5*i + 3*k, -5*i - 4*k = -18. Solve 10 = i*j, l = 2*s + j - 1 for s.
-2
Suppose d - 9 = -2*d. Suppose -3*l + 3*v = 15, -6*l - v = -5*l - 5. Solve l = -8*r + 4*r - d*h + 3, h - 8 = r for r.
-3
Let v = -1614 - -1617. Solve -4*c + v*y = -5*c - 6, 5*c + y = -2 for c.
0
Let r(z) be the third derivative of z**4/3 - z**3/3 + 36*z**2. Let p be r(2). Solve -5*x = -4 + p, 3*f = -5*x - 22 for f.
-4
Suppose -2 = -3*d - 3*q + 28, -d = 4*q - 25. Suppose -5*n = -3*i, 13*n - 16*n = -i. Solve 2*z + z = 4*a - d, n = z + 4*a - 25 for z.
5
Let u(x) = -x**3 + 3*x**2 + 5*x + 2. Let r be u(4). Suppose 0 = r*a + a - 14. Solve -7*k + 3*h = -3*k - 15, a*k - 3*h = 15 for k.
0
Let s be (-5)/((-33)/15 - -2). Suppose 4*r - 9 - 11 = -2*l, -3*l - s = -5*r. Suppose l = d + d. Solve 4*v + 6 = -2*b, d*b - 15 = v + 5*b for v.
0
Let h = -12 + 31. Let k = h + -17. Let d be k + 1 + (-1 - -2). Solve 0 = 4*n - 2*g - 0 - 10, -d*n + 5*g = -19 for n.
1
Let o be 26/2 - (3 - (11 - 12)). Solve -5*q - d = 2 + o, 5*d = 20 for q.
-3
Suppose -251*u = -250*u. Solve -11*s - 25 = -6*s, u = v - 3*s - 19 for v.
4
Suppose 37*x - 21*x - 144 = 0. Solve -x*j + 12*j + 13 = -w, 13 = j - 4*w for j.
-3
Let w be (-2)/4 + (-1)/(-2). Suppose 3*f = 6*f - 12. Suppose -7 + 103 = f*b. Solve w = -4*h + 2*j - 4, -5*j - 7 = -3*h - b for h.
1
Suppose 0*o = 5*o. Suppose 2*t = -2*t. Suppose 19*y = -28 + 28. Solve -5*f + q + t*q - 28 = o, -4*q + 12 = y for f.
-5
Suppose -2*i - 5*v = -42, -3*i + 4*v + 20 - 3 = 0. Solve 5*d = n + i - 5, 4*d - 3*n - 7 = 0 for d.
1
Suppose -3*z - 60 = 4*h, -2*z + 50 = -5*h - 2. Let d = 15 + h. Solve -d