 n - 5. Let t = 1 + n. Suppose 3*m - 23 - 28 = t. Solve 4*c + c - 26 = d, 0 = 4*c + 3*d - m for c.
5
Let u(a) = a + 9. Let z(v) = v**2 - 6*v. Let t be z(5). Let c be u(t). Solve -c*i + 2*w + 6 = 0, i + w + 1 = 4 for i.
2
Let g(n) = n**2 - n - 1. Let h be g(-2). Solve -h*a + 20 = 5*y, -a = 4*y + a - 14 for y.
3
Suppose c + 3 = -2*c. Let f = -3 - c. Let i be f*(2*-1)/1. Solve -i*h + 5*s = -2, 3*h + 4 = 5*s - 4*s for h.
-2
Let o be -8 + 4 + (1 - -1). Let f be 0 - 0 - (o + -2). Solve 5*m - f*b = 7, 4 = 4*m - b - 3*b for m.
3
Suppose 2*q + 2*q = 16. Suppose -g + 8*z = 4*z + q, 0 = -2*g - 5*z + 5. Solve g = -3*h - y - 5, -h + 6*y = 2*y + 19 for h.
-3
Let h = -49 + 70. Solve 3*v - 7*v + 5*k = -27, 0 = 5*v - 2*k - h for v.
3
Let i(x) = x**2 - 4*x - 4. Let r be i(4). Let y = r + -14. Let f = y - -38. Solve j - 3*m = -4*j + f, -4*j + 16 = 2*m for j.
4
Let b(s) = s**2 + s + 7. Let d be b(0). Solve -2*c = -3*v - 0*v - d, -2*v - 5*c + 27 = 0 for v.
1
Let g be (-2)/(-11) + 46/(-11). Let f be (1 + 0 - 2)*g. Solve -r + f*d - 13 = 0, 4*d = 2*r + 16 - 2 for r.
-1
Suppose 2*g - 3*b = -6, -3*b - b = -16. Suppose s - 2 = 3*n, g*n + s - 2 = n. Suppose 3*z - 7*z = -12. Solve z*h - 18 = 4*m, n*h + 25 = -5*m + 5*h for m.
-3
Let q(m) = -m**2 - 8*m + 8. Let t be q(-8). Suppose 3*k = -u + 12, 7*u - 2*u + 4*k - 115 = 0. Solve 0 = -b - 4*b - g + u, 0 = -4*g + t for b.
5
Suppose 0 = -4*h - 5*w + 35, -6*w + 5*w = 1. Solve -h = -5*a + z, -5*a + 2*z + 0 = -5 for a.
3
Let v be (-216)/(-32) + (-2)/(-8). Suppose r + v*c = 2*c + 15, -5*c = -2*r - 15. Let q = 14 + -11. Solve q*i + 4 = 4*j - r, 1 = -i + j for i.
0
Let y = -12 - -16. Solve g - 13 = y*w, -3*w - 7 = g + g for g.
1
Let v(a) be the first derivative of -4 + 1/4*a**4 - 2/3*a**3 - a**2 - 3*a. Let g be v(4). Solve d + 3*l - g = -3*d, 0 = -4*d + 2*l + 6 for d.
3
Let k(u) = -u**2 + 10*u - 5. Let f be k(9). Solve -2*s + g - 1 = -6, 0 = -s + f*g + 6 for s.
2
Let o(p) = -p**2 - 4*p + 5. Let t be o(-5). Let j be (1 + 4/(-2))*t. Solve 0 = -3*n + 3*u - 12, -n = -j*u + 3*u - 4 for n.
-2
Let w(n) = -n + 11. Let g be (-5)/25 + 1/5. Let r be w(g). Solve 5*c - r = 4*u, 0*u + c = 5*u - 2 for u.
1
Let q = -1 - -4. Let h(r) = r**3 - 3*r**2 + 5*r - 3. Let l be h(q). Suppose -5*a + l = -3*a + 4*n, -2*n + 2 = -a. Solve -4*p - 8 = 0, 3*x + 0*x = a*p + 4 for x.
0
Suppose 0 = k - 5*x - 29, -x + 4*x = 5*k - 35. Let s = 7 - k. Solve 5*y - 4*a = 22, 3*a + s = 3*y + 4*a for y.
2
Suppose -9 = -q - 5. Let d be (-1)/(2 + -1) + -1. Let g = 2 - d. Solve 1 - 17 = -g*y, f + 21 = q*y for f.
-5
Suppose a + 2*a = 6. Let w be (a + -5 - 1)/(-2). Solve -r = f - 3*f + w, 4*f + 5*r + 10 = 0 for f.
0
Suppose 2*l + 4 = 16. Solve y = -5*o + l*y + 25, 2*y = -o - 10 for o.
0
Let s be (-11)/(-77) + (-40)/(-14). Suppose 0 = d - 17 + s. Solve -2*m = 4*i + d, 2*i + 22 = -m - 3*m for i.
-1
Let h = -16 + 18. Solve 3 = -0*g + g + h*s, -5*g - 3*s + 15 = 0 for g.
3
Suppose k = 4*k - 33. Suppose 5*o - a = k + 4, -5*o - 4*a = -40. Solve 2*y - 7 = q + y, o*y = -3*q for q.
-4
Suppose 0*g = 3*g - 2*p - 3, g = -5*p + 18. Let u(i) = 14*i**2 - 1. Let v be u(-1). Suppose 4*m = v - 5. Solve g*y - m*j - 4 = 0, -5 = -2*y + y - 3*j for y.
2
Let m(h) = -h**3 + 4*h**2 + 2*h + 2. Let o be m(4). Suppose 2*r = -5*q - r + 60, -q = 5*r + o. Solve -2*a = 2*t + 3*t - q, 20 = -3*a + t for a.
-5
Suppose c - 3 + 5 = r, 0 = 4*r + c + 2. Suppose -m + 3 = -r*m. Let n(k) = k**2 + 1. Let v be n(1). Solve 0 = -5*i + v*l - 25, 0*l = -m*l + 15 for i.
-3
Let w(d) = d**3 + 8*d**2 + 5*d - 8. Let b be w(-7). Suppose 5*c = 4 + b. Solve -j - 3 = 4*g + 1, 0 = 3*j + c*g - 8 for j.
4
Let g be 52*(-5)/(-60) + (-4)/(-6). Solve -5*p - 8 = -3*v - 3, 10 = -g*p + 4*v for p.
2
Let j(p) = 5*p - 5. Let s be j(-5). Let v = s + 129. Let w = v + -69. Solve -4*g - w = 4*a + g, -3*g - 1 = -a for a.
-5
Let p(a) = -1 + 2*a**3 - 3*a**3 - 6 - 5*a**2 - 2*a - a**2. Let k be p(-6). Solve -3*o + k*j = -29, -5*o + 2*o = -2*j - 17 for o.
3
Suppose 2*l + 0 = -2*x + 10, 16 = 4*x + 2*l. Solve 2 + x = 5*t - 5*u, 0 = -5*t - 2*u - 30 for t.
-4
Suppose 0 = 4*i + 4 - 24. Solve 0 = -i*s + 25, 0*s + 3*s = -4*o - 1 for o.
-4
Suppose -5*i = -1 - 24. Solve n + i = -2*f - 1, -5*f - 2 = -4*n for f.
-2
Let g(o) = -o - 4. Let w be g(-5). Solve 0 = -3*d + b + 8, -2*b = d + 1 + w for d.
2
Let p = 9 + -27. Let q be (p/12)/(1/(-2)). Solve t + 10 = q*t + 3*s, 3*t = 3*s for t.
2
Let w(c) = -2*c + 4. Let l be w(0). Suppose 4*a - 2*f - 10 = 0, -3*a - 3*f = -l*a. Solve t = 3*q - 5*q + 2, -3*q = a for t.
4
Let s(x) = x**2 - 5*x - 2. Let a be s(6). Solve 0 = -3*d + 7*d - 2*w + 14, 0 = 2*d + a*w + 22 for d.
-5
Let s(j) = -j**3 + 1. Let h be s(-2). Suppose -5*v - 40 = -4*o, 0 = 4*o + 2*v - 3 - h. Suppose 3*a - o = 1. Solve 21 = -5*d - a*f, -f = 2*d - 3*f for d.
-3
Let r = 7 + -5. Let v be r/10 - 63/(-35). Solve s - l = -4, -5*l = s + v*s - 20 for s.
0
Let z be 2/(-6) + 20/6. Suppose -h + j = -3, 2*h + 5*j + 8 = -0*j. Let a be ((-10)/4)/h*-2. Solve -2*l = -z*o, 3*o + 4*l = a*o for o.
0
Let r(a) = -a**3 + 6*a**2 - 6*a + 2. Let g be r(3). Solve -3*p - 4*z - 10 = -5*p, 0 = -5*p - 4*z + g for p.
3
Let u be (6/(-5))/(2/(-50)). Let y = 0 + u. Solve 5*m - y = 4*v - 3*v, 2*v + 2*m = 0 for v.
-5
Let o(l) = -l**3 + l + 2*l - 9 - 4*l + 8*l**2 - 3*l. Let r be o(7). Let d = r + -8. Solve -4*f = -d*v + 22 + 18, 0 = -5*f + 3*v - 40 for f.
-5
Let f be -3 + (-3 - -2 - -2). Let u(v) = -6*v. Let b be u(f). Solve 3*h = 4*h, 4*x - 2*h = b for x.
3
Suppose -23 = -5*q + 4*u, 2*u = 2*q + u - 8. Let k be (-1)/(-2 + 5/q). Suppose 4*t = 19 - 3. Solve 12 = -t*c, -n + k*c = -0*n - 11 for n.
2
Let k = 29 - 19. Solve -k = -5*v - o, -4*v = -2*o + 6 - 0 for v.
1
Suppose 2 = -3*a - 4*h + 5, -3*a + 18 = -h. Let t(z) = 2*z + 12. Let q be t(-4). Solve 5*r - q*c + 13 = -c, -a*r + 4*c - 9 = 0 for r.
-5
Suppose -3*o + 5 = -2*o. Suppose -o*z + 3 = -2. Suppose -c + z = -2. Solve a = -k + 3, -5*k - 3*a + c = -a for k.
-1
Let u = -7 - -10. Let h = u + 0. Let w be (-6)/4*(-4)/3. Solve -w*d = m + 3 - 4, h*d - 24 = 3*m for d.
3
Let a be 1 - (-4)/4 - 0. Solve -2 = w + 2*k, -a*w + k = 2*k - 5 for w.
4
Suppose 0 = 4*j - 20, -2*j + 4*j = 2*v + 8. Let f(u) = -5*u - v - 2*u + 4*u. Let y be f(-4). Solve 4*q - 13 = -3*o, 3*o - y = -0*o - 2*q for o.
3
Suppose -66 = -2*n - 2*n + 3*q, 5*q = -10. Suppose -4*r + n = -r. Suppose 4*u - 2*l = 26, -r = 2*u + 4*l + l. Solve -3*f + x = 12, -5*f = u*x - 0*x for f.
-3
Let a = 3 + -1. Suppose -2*m - 3*k = -3*m + 11, -2*m - k + 1 = 0. Solve m*g = 2, a*s = 4*s + 4*g for s.
-2
Let r = 10 - 27. Let p = 17 + r. Solve -4*d = -5*g - p + 4, 0 = d + 2*g + 1 for d.
-1
Suppose -3*v - 3 + 6 = 3*z, 0 = 3*z + v - 7. Suppose m = z*m - 14. Solve u - m = -a - 4*a, -3*u - 15 = -3*a for a.
2
Suppose 4*a + 3*l = 39, -2*a - l + 35 = 3*a. Let n be 24/9 - a/9. Let u = n + 1. Solve -m + 1 = 3*r, -5*m = -2*r - u*m - 10 for r.
-1
Suppose r + 5 = -2*q + 4*q, 45 = 4*q + 5*r. Suppose 4*t - 59 = 5*w, -t - 2*w - 17 = -2*t. Solve 3*s + m + 0 = 9, q*s - t = -3*m for s.
4
Suppose -5*m = -3*c - 30, 4*m - 6 = -c + 1. Suppose -m*n + y = -17, -y + 2*y = -2*n + 8. Solve 0 = -n*f + z + 25, -2*f - 5 = 3*f + 5*z for f.
4
Let o be 8/20 - 13/(-5). Solve p = o*a + 13, -5*a - 5*p + 4*p = 11 for a.
-3
Suppose -4*i + 113 = -23. Suppose -5*p + i = -16. Solve -u - 2*j + 15 = -0*u, u + j = p for u.
5
Let a be 398/10 + 5/25. Solve -4*z = 5*h - 5, -4*h + 5*z + a = -5 for h.
5
Let w be (-1)/(-1) + (14 - 3). Suppose a = i - 1, 5*i + a - 11 = w. Solve -2*q + 0 = 5*r - 2, 0 = i*r + 5*q + 12 for r.
2
Let m(q) = q**3 + 3*q**2 - 5*q - 4. Suppose 0*d + 2*d + 12 = 0. Let h = 2 + d. Let c be m(h). Solve -16 = -4*t + 3*n, 4*n + 24 - 8 = c for t.
1
Suppose 11 = 6*m - 13. Solve -v - 2*k = -4*v + 17, 5*v = m*k + 31 for v.
3
Suppose 43 + 9 = 2*s. Suppose 3*c + 4*r - s - 1 = 0, 5*r + 5 = 4*c. Solve c*x = 3*k + 20 - 7, -4*k - 3*x = -2 for k.
-1
Suppose -9*p = -0*p. Solve -k + 2*s + 3 = p, 0*s - 9 = -3*k - s for k.
3
Let f = 6 + -4. Suppose -2*u = -4*h + 12, 24 = -f*u + 3*u + 4*h. Suppose 10 = -3*j - 5*v, 4*j - 3*v - v - 40 = 0. Solve 6 = -u*l + 2*l - z, -12 = l + j*z for l.
-2
Suppose 4*p + 4 - 24 = 0. Solve 3*x - 4 - 5 = 4*u, -p*x - 4*u - 17 = 0 for x.
-1
Let z be (-42)/4*((-30)/(-9))/(-5). Solve -z + 0 = -2*a - 3*j, 3*a = 4*j + 2 for a.
2
Let s(r) = 3*r