2*n**2 - 12*n + 2. Let t be m(0). Solve 4*a = 4*w + 11 - 3, 14 = -4*w - t*a for w.
-3
Suppose 2*s + 3 = k + 11, -5*s - 2*k = -2. Solve s*u + 26 = -5*y, 1 = -3*u - y + 3*y for u.
-3
Let q = -60 - 75. Let f = q + 140. Solve 5*i - 2*h = -25, f*h + 0*h = -4*i + 13 for i.
-3
Let v(c) = -c**2 + 10*c - 11. Let z(b) = 4*b**2 - 41*b + 43. Let d(y) = -9*v(y) - 2*z(y). Let n be d(7). Solve w = q - 0*q - n, -4*q + 5*w = -29 for q.
1
Suppose 29*q = 49*q. Solve q = -5*w + k, -5*k - 3 - 23 = w for w.
-1
Suppose 5*h + 28 = 48. Suppose 2*j = h*j + z - 8, 5*z + 4 = j. Solve 3*f + j*i + 9 = -i, 2*f + 4*i + 8 = 0 for f.
2
Suppose 0 = -37*w + 61*w - 240. Solve 2*a + 3*j = -2*a - w, -5*a - 22 = -j for a.
-4
Suppose -2*s + 32 = -4*p - 6*s, -p = 5*s + 8. Let k = -243 - -237. Let b = k - p. Solve b*l + 2*t = 0, -3*l - t + 4*t + 12 = 0 for l.
2
Suppose -416*g = -435*g + 171. Solve -3*c + 17 = 2*y + 5, g = 5*y - 3*c for y.
3
Suppose o = -5*a - 3*o + 33, -3*a + 19 = 2*o. Suppose -3*n + 6 = 3*s, n - a*n + 38 = -2*s. Solve -2*r = -4*k - n*r + 19, 4 = k + r for k.
1
Suppose 5*h = 5*p - 0 + 5, 4*h + 4*p = -4. Let l = h - -14. Let j = l - 12. Solve -4*q - 4*w = 12, 4*w + 2 = -j*q - 12 for q.
1
Suppose -74*p + 186 = -36. Let g be 1/4 - (-35)/4. Solve 3*k + g = -3*m, k - 4*m = -p*k - 4 for k.
-2
Let k be (-10)/20 - ((-1890)/4)/(-5). Let w = -95 - k. Solve 0 = o - f - 3, -3*o = 5*f - w*f + 31 for o.
-2
Let b be (3/2)/(36/96). Solve -b*a - 19 = 5*m, 3*m + 11 = -3*a + a for m.
-3
Let n be 1*0*(-2)/(-4). Suppose 3*w = w + 6. Suppose -d + h + w = 0, -4*d - 2*h + 10 = -7*h. Solve 2*f + 11 = -d*q + 1, n = -q + 2*f - 14 for q.
-4
Let o be (-14)/(-28) - (-2)/(-4). Let w = 20 + -18. Solve -k - y = 10, 5*k + w*y + 35 = -o*k for k.
-5
Let r be 4/2 - (-4 - -1). Solve -t = 5*p - 25, r*p - 15 - 10 = t for p.
5
Let q(m) = -3*m + 149. Let i be q(48). Solve 2*a + i*b = -10, -2*b = -0 + 4 for a.
0
Suppose -53*i - 45*i = -196. Solve 0 = -2*w - 5*s - 3, -i*w - 4*s = -w for w.
-4
Suppose -2*p - 6 + 18 = 0. Let n(j) = j**2 - 2*j - 20. Let f be n(p). Solve 4*d = -3*v + 4*v + 3, -d = f*v - 5 for d.
1
Suppose 0 = -10*s + 365 + 235. Let r = s + -58. Solve -4 = -r*m - v, -3*v = -5*v - 8 for m.
4
Let h(r) = r**3 - 4*r**2 - 1. Let o be h(5). Suppose -4*t + 197 - o = w, 5*w - 193 = -4*t. Let b be 12/t + 24/14. Solve 0*g = -b*y - g, g = 4*y for y.
0
Let h = 21 + -16. Suppose 3*m - h = -c + 2, 3*m - 2*c = 22. Solve m*s = -5*j + 4*j + 23, 4*s - 14 = 2*j for j.
3
Suppose 0 = -a - 2*k + 6, -6*a + 2*k + 2 = -5*a. Let j = 2 + -1. Let s = j + a. Solve -s*g = w, 5*g + 2*w = 2*g for g.
0
Suppose 3*y = 4 + 20. Suppose 5*a - 8 = 2*z, 4*a - 3*a + y = -2*z. Solve 6 = -3*c, a = -0*j + j - 5*c - 13 for j.
3
Suppose -2*x - 4*x = -90. Let c = 17 - x. Suppose 3*d + c*d - 2*n = 12, 4*n = -4. Solve 2*v - 6 = -d*k, 2*k + 3*v + 0*v = 7 for k.
2
Suppose 0*a - 7 = x + 4*a, -5*x + 4*a = -13. Solve 5*m - 12 = 3*i, 5*m + x + 3 = -i for m.
0
Let y = -2719 - -2719. Let o(p) = p + 1. Let a be o(7). Solve y = -2*k + a, -2*x = -k + 5 + 9 for x.
-5
Let l be ((-458)/(-60) + (-6)/45)*10. Let m = 80 - l. Solve -3*u - 29 = 5*c, 0 = -m*c - 4*u - 53 + 21 for c.
-4
Suppose 0 = -k + 4*s - 9 - 8, 17 = 4*k + s. Solve -k*b = -2*u - 4*b - 3, u - 4*b = -15 for u.
-3
Let g(m) = -m + 21. Let b be 3 + (-4)/4 + 5. Let r be ((-20)/b)/((-8)/28). Let u be g(r). Solve -3*i + u = -5*v + 4*v, i = v + 5 for v.
-2
Let s = -19 - -21. Let l be 1/(-2) + 77/22. Solve l*q + k - s = -0, -2*q - 2*k - 4 = 0 for q.
2
Let q(o) = o**3 + 16*o**2 + 2. Let z be q(-16). Solve 0 = 2*j - g + 8, -16 = z*j + 2*g + g for j.
-5
Let v = 592 + -592. Solve 2*s - 17 = 3*u, v = -4*s + 5*u + 32 - 3 for s.
1
Let k(n) = 6*n**2 + 20*n - 22. Let f be k(1). Solve 9 = 4*x - x + 3*v, 0 = -f*x - v + 6 for x.
1
Suppose -j - 18 = -4*m + 4, j = -m + 3. Solve -2*a + 8*w - 4*w = 18, m*a = -4*w - 17 for a.
-5
Suppose -3*c + 3*a = -27, -c + 4*c - 37 = 5*a. Suppose 4*j = 5*m + 10, c*m = -3*j + j + 18. Solve 0*g + 25 = 5*r - g, -28 = -m*r + 4*g for r.
4
Suppose -4*k = -a + 2, 5*a = -k + 6 + 4. Solve 3*l + 2 + k = 2*u, 5*l - 3 = -3*u for l.
0
Suppose 159 = -8*w + 199. Solve 0 = 4*h + h + 2*y + 35, -w*y - 25 = 0 for h.
-5
Let q(l) = 4*l - 16. Let y be q(5). Let a be (3 - y)/((-3)/21). Solve 5*b = -5*d + 20, a*d - 2*d - 27 = 2*b for d.
5
Suppose -n - 12 = -5*f - 1, 2*f + n = 10. Suppose -4 = 5*k - 14. Solve f*t - 2 - 5 = l, 5*l - 16 = -k*t for l.
2
Let r(q) = -q**3 + 13*q**2 - 4*q - 18. Let s be r(12). Let y = 80 - s. Solve -4*u + y*p + 2 = 0, -16 = u + p + 4*p for u.
-1
Let y = -103 + 161. Let n be y/5*(-15)/(-6). Solve u = -2, x - 2*u - n = -4*x for x.
5
Suppose -7*y + 82 - 68 = 0. Solve 3*m - x = 13 - 1, -y*m + 2*x + 12 = 0 for m.
3
Let p be (-6)/(-12)*(-5 + 5). Suppose -4*c - 1 = -3*s + 6, 0 = -2*c - 4*s + 24. Solve -c*v - 2 = -2*m - 0, p = -2*m + 3*v - 2 for m.
5
Let q(z) = 30*z - 150. Let l be q(5). Let k = 7 + -4. Solve p - 20 = -6*x + x, l = k*x + 4*p - 29 for x.
3
Let g = 74 + -66. Let x be (2 + 52/(-8))/((-6)/g). Solve -l = 4*y - x, 6*y = 3*l + y - 1 for l.
2
Let m(x) = -x**3 - 2*x**2 - 2*x + 2. Let a be m(0). Let z be -1*a*(1 + -3). Solve -4*o = z*b - 16, -4*o - o = -2*b - 27 for o.
5
Let r = -261 - -282. Solve n = 4*f - 4 + r, -5*n = -3*f for n.
-3
Let z be 16/(-24) + 70/15. Solve 5*y - 25 = -5*b, -8 = -z*y + 8 for b.
1
Suppose -2*x = 5*g - 43, -g + 23 = -0*g + 4*x. Solve 0*i = 4*r + 5*i + 22, -g = -r + 5*i for r.
-3
Suppose 129 = -6*u - 25*u + 501. Suppose -5*s + 9 = -6. Solve -3*v = s*k - u, 2 + 6 = -2*k + 2*v for k.
0
Let h = -1894 - -1896. Solve 5*k - 30 = s, -h*k + s = -3*k for k.
5
Suppose 0 = 4*o + 2*q - 100, 0*o + 2*o + 5*q = 66. Suppose 25*j = o*j. Suppose 5*r - g = 9, 3 = -r - 5*g + 10. Solve 3*b - b - 6 = j, -4*t - 10 = -r*b for t.
-1
Let u = 0 + 0. Suppose 7*w - 10*w = u. Suppose -h + 0*h + 5 = w. Solve 3*x + i + 3 = 0, 3*i - h = -14 for x.
0
Let r = 20 + -18. Let s = 4 + r. Let o = s - 3. Solve -5*n - z = o + 6, 4*z = 5*n + 14 for n.
-2
Let n(s) = -59*s + 64. Let x be n(1). Solve -x*f + o = -0*f + 22, -2*f - 5*o = -2 for f.
-4
Let d = 38 - 33. Suppose 5*w - 1 = -0*w - 3*y, w - d = y. Solve w*j - a = 2 - 5, -5 = 3*j - 2*a for j.
-1
Let d(y) = 2*y - 6. Let o = 6 + -1. Let s be d(o). Let w = 652 - 650. Solve -k - w = j + 5, 0 = s*j + 12 for k.
-4
Let t be 2/(10/5) - -34. Let k be ((-1)/(2/3))/(30/(-100)). Let i = 13 + -1. Solve k*u = 5*y - t, y = 2*u - 0*u + i for u.
-5
Let i(k) = -k**2 + 23*k - 19. Let u be i(22). Solve u*g + b = -6, -8 = 2*g + 2*g - b for g.
-2
Let y(n) = -7*n + 2. Let k be y(1). Let r = k - 3. Let v = r + 9. Solve o = 2*q - 8, 0 = -5*o - 2*q + v + 19 for o.
2
Let p(k) be the second derivative of k**5/4 - k**3/6 + k. Let y be p(1). Suppose -i - 6 = -y*i. Solve 0 = 4*v + 4*j - 4, -v + i*j - j = -7 for v.
4
Let c(v) = -v**2 + 5*v + 2. Let d be c(5). Let o(u) = -u + 14. Let z = -38 - -52. Let a be o(z). Solve m - 3*l - 8 + 3 = a, d*l + 6 = -2*m for m.
-1
Let n(k) = 3*k + 3*k - 5*k - 1 + 13. Let t be n(-8). Solve 4*f - 16 = 0, -5*y + 3*f - 3 = t for y.
1
Let b = -1750 - -1753. Let r be (-2)/4*(1 - 1). Solve k + 0*k + t - 2 = r, 0 = t + b for k.
5
Let s(z) = z**3 - 7*z**2 + 13*z - 11. Let y be s(5). Suppose 0 = y*d - d - 6. Solve -d*n + 3*n - 9 = -h, 5*n - 5 = 5*h for n.
5
Suppose 0 = -4*t - m + 57, m + 64 = 3*t + 6*m. Let f = 16 - t. Suppose -2 - 7 = -f*p. Solve -b + 3*b = p*a + 4, 5*a - 3*b = -5 for a.
2
Let z = 36 - 36. Suppose z = -4*b + 5*b. Solve b = -5*c + 2*v - 0*v, c = -3*v for c.
0
Suppose 0 = 3*y - 7 - 11. Suppose -4*t = -18 + y. Let j be (3/1 + -3)/1. Solve 0*g - g = -l + t, -4*g + l - 15 = j for g.
-4
Let t = 74 + -35. Let f be 72/t + 4/26. Solve 5*s = 2*w - 17, -w = s + 11 - f for w.
-4
Suppose -2*u + 20 = -3*w, 0 = -5*w - 14 - 6. Suppose 0*q - 2*q + 16 = -3*l, 2*q + u*l = -12. Solve -11 = -q*n + d, -d - 4*d = -5*n + 40 for n.
3
Suppose -n - b - 5 = 0, 2*n - b - 5 = -n. Solve x - o = -1, -5*o - 3 + n = -x for x.
-2
Let x be (-6)/(-3*(-2)/(-42)). Let a be (29 - -1)*x/63. Solve i - 25 = -3*h + 6*i, -h = 4*i + a for h.
0
Suppose 4*f = f + 6. Let z be (7 - f)*(2 + -1). Let l(q) = -q**3 + 3*q**2 + 10*q - 5. Let k be l(4). Solve -i + 6*h - h = -k, -z*i + 8 = 4*h for i.
4
Let f(k) = k**2 + k + 3. Let i be f(-3). Let t = i - 4. Let h = -494 - -494. Solve c + d - 5*d