 = -t**2 - t + 3. Let x be b(0). Let u(c) = x*c**2 - 6 + 2*c + c - 2*c**2. Let v be u(-5). Solve -q - 11 = -v*i, 8 = -0*i + i - 2*q for i.
2
Let n be (-1)/2*(-1 + 1). Solve n = 3*m + 3*c - 11 - 10, 2*m - 3*c = 4 for m.
5
Let g = -24 - -24. Solve 2*w - 5*s + 24 = w, g = w + s - 6 for w.
1
Let o(j) = j**2 - 3*j + 1. Let k(p) = p**2 + 4. Let q be k(0). Let f be o(q). Solve 2*u + 18 = 4*s, 0*s = -3*s - f*u - 19 for s.
2
Let p = -78 - -97. Solve 0 = -f - f - 5*b - 5, 3*f = 4*b - p for f.
-5
Let j = 3 - -1. Suppose 12 + 3 = 3*q. Suppose -3*u = 4*w - 0*u - 35, w - 3*u = q. Solve 3*a - 4*z = 5 + 3, w = -2*a - j*z for a.
0
Let u = -57 - -90. Solve -u = -5*i + 2*g, -5*i - 4*g = -13 + 4 for i.
5
Let b(w) = w**3 - 3*w**2 + 3*w + 3. Let d be b(2). Solve -3*l + 2*x = -l + 20, 3*l = -2*x - d for l.
-5
Suppose 5*q + 5*l = 15, 7*l = 2*l. Suppose w - 21 = a, q*w - 5*w = -4*a - 48. Solve 4*b - 5*u = -4*u + 17, 5*b - w = -2*u for b.
4
Suppose -3*v = -5*v + 4. Solve -r = -3*x - 2 - v, 5*r = 5*x - 10 for r.
-5
Let r be ((-2)/4)/((-2)/8). Suppose 13 = r*s + 5. Solve 3 = -5*n - 2*m, -3*n + 0 = -s*m + 7 for n.
-1
Let h(g) = -g**2 + 8*g + 5. Suppose 0 = 4*x - 0*x - 32. Let p be h(x). Suppose -p*a + 25 = 5. Solve 5*r = 2*j + 6, -a*j - 13 = r - 1 for r.
0
Suppose -9*d = 2*d. Solve -2*j + 12 = -4*f, f + f + 4*j + 6 = d for f.
-3
Let t = -135 - -158. Solve m = -5*g + 4*m - t, 11 = -3*g - m for g.
-4
Let t(j) = 24*j + 1. Let x be t(1). Solve 0 = -5*w - 5*y + 9 + 1, 0 = -5*y + x for w.
-3
Suppose -5*p - p + 24 = 0. Let m = 17 + -12. Solve -12 = p*j + 4*s, -5*j + s - 2*s + m = 0 for j.
2
Let o(y) = y**2 + 6*y - 5. Let c be o(-7). Solve 17 = -c*i - 3*v, -3*i - v + 17 = -5*v for i.
-1
Let y be (-4)/(-6) + (-2)/3. Suppose -h - 2 + 9 = y. Suppose 5*a = 4*t + h, -4*t + 13 + 10 = 5*a. Solve -a*x = -3*b - 4 - 8, 0 = 4*b + 2*x + 4 for b.
-2
Let q be (-20)/(-6)*(-18)/(-15). Suppose 0 = -0*w - 5*w - 25, -q*n = 3*w - 5. Solve -4*h = -g + 6, n*h = 3*h + g - 2 for h.
-2
Suppose -6 = -l - 2*l. Let z = -1 - -3. Let h = -4 + 6. Solve 4*s = 2*f, 0*s - h*f = -z*s - l for s.
1
Let o be 3/1 - 0/(1 + -4). Let q(a) = 3*a**2 - a. Let l be q(-1). Solve l*p = -4*v, p - 14 = 3*v - o*p for v.
-2
Let k(n) = 5*n + n + n + 16 - 6*n. Suppose -10 = -2*x, 4*x + 23 = -4*q + 3*x. Let b be k(q). Solve 24 = -4*u + 4*s, b = 2*u - 5*s + 33 for u.
-2
Let v = -92 - -94. Solve -v*l = -b + 5, 0*b - 15 = 3*l - 3*b for l.
0
Let i = 14 + -12. Solve 0 = -4*h + 5*y + 18, -2*h = i*h - 3*y - 14 for h.
2
Suppose k + 3 = 22. Solve -m - 3*m - k = -3*f, -4 = -4*f for m.
-4
Let b = -25 + 13. Let v = 32 + b. Suppose -18 = -2*z - 5*i, -2*i - 10 = -4*z + 2. Solve 2*k + 0*k = -z*s + v, -5*k - 5 = -s for s.
5
Suppose -6*h + 10*h = 8. Solve h*w = -4*b - 22, -7 = w + w - b for w.
-5
Let b(c) = 4*c**2 - 3*c - 2. Let f be b(-3). Suppose 3*g + 32 = -4*a, -5*g - 4*a + 3 = f. Let p = g - -4. Solve 0*v - 3*v + 2 = -n, p = v + 4*n + 8 for v.
0
Suppose 4*n = 4*v + 4, n = -4*v - 15 + 36. Suppose v*u = 5*o + 80, 2*o + 38 = 2*u - 0*u. Let c = u + -11. Solve j - 35 = -4*x - 2*j, x + c*j = 25 for x.
5
Let h(w) = -w + 2. Let m be (-40)/(-16)*(-4)/(-5). Let s be h(m). Solve 4*a - 20 = s, 3*a = -f - 4*f for f.
-3
Let c = 14 + -5. Let n be 3/(c/6 - 2). Let j(s) = s + 6. Let g be j(n). Solve -2*q + 0*q + 8 = 4*i, -q + 5*i - 17 = g for q.
-2
Let f be (3 - 78/(-4))*2. Let z be f/27*(-36)/(-10). Solve -2*v + 2 = -2*b, -5*v - 5 = -b + z*b for v.
0
Let n = -10 - -21. Suppose n = 5*f - 19. Solve -4*h - 8 = 3*k, 4*k - 2*k + f = -2*h for h.
1
Let y be 8 + (1 - 2) + -2. Solve k = 3*g + 16, -y*k - g - 5 = g for k.
1
Suppose p = -4*q + 1, -3*p - 3 = -2*p. Let a = -11 + 7. Let b(f) = f + 9. Let w be b(a). Solve 3*t - 2*t - w = k, 5*t = -k + q for k.
-4
Let p = -1 - -1. Let d = 12 - 10. Solve 0 = d*q + l - 14, p = -q + l + 1 for q.
5
Suppose -4*n + n + 6 = 0. Suppose 0 = -4*m + z + 11, -n*m - 2*z = 3*z - 33. Solve m*l = -3*h + 24, -5*h + 4*l - 5*l = -23 for h.
4
Suppose -4 = -3*n - 5*y - 18, -20 = -4*n + 3*y. Solve -2*a - n*h - 12 = 0, 26 = -4*a + a - 5*h for a.
-2
Let i be 7 + -2*(0 - -1). Solve -i*q + 0*r = 3*r + 10, -2*q - 2*r = 8 for q.
1
Suppose 2*d + 5*i - 6 = -2, -3*d + i = 11. Let y be 6/9*d + 11. Solve -9 = -a + 5*j, -a = -4*j - y + 2 for a.
-1
Suppose 3*q + 19 = 5*l, -3*l + 16 + 7 = 4*q. Suppose -l*z + 21 = 3*o, 2*z - 3 + 5 = 4*o. Solve 0*r - r + 10 = 3*w, 0 = -o*r - w + 5 for r.
1
Let o be (-6)/(-2) - -5*1. Let h = o + -4. Solve 5*k = 4*l - 8, -3*k + 2*l - h = -0*l for k.
0
Let i(d) = 6*d**3 - 2*d + 1. Let m be i(1). Let n(s) = s**2 - 5*s - 5. Let x be n(m). Let y = -1 - x. Solve u = -4*c + 11, -2*u + 4*c = 2*u - y for u.
3
Suppose 4*f - 9*f = -35. Solve -f*y + 3*y + 5*c - 20 = 0, 4*y = -3*c - 20 for y.
-5
Let x = 1 - -1. Solve x*u - 4*w + 5 - 3 = 0, 5*w - 1 = 4*u for u.
1
Let b(o) = 6*o - 1. Let c be b(-1). Let u = 12 + c. Suppose 2*h - 3*h = -u. Solve d = h*l - 28, -4*l + 2*l = 4*d + 2 for l.
5
Suppose o + 2 = -a + 4, 2*o = 4*a - 32. Let x = a + -4. Solve -2*k + h - 1 = 11, -x*k - 4 = h for k.
-4
Let m(o) = o + 13. Let l = 1 - 12. Let i be m(l). Solve -2*s + 10 = 3*f, 2*f + s = -i*f + 15 for f.
4
Let l = 0 + 2. Let g be 0/l - 6/(-3). Suppose -g*h + 20 = -h. Solve 4*n = -o - h, -3 = n + 3*o + 2 for n.
-5
Suppose 0 = -9*d + 38 - 2. Solve -11 = -5*a + 4*f, -f + 7 = d*a - 6*f for a.
3
Let l(o) = -o**2 - 6*o - 4. Let k be l(-4). Suppose s = -s + k. Suppose s*j + 4*v = -v + 34, 0 = 4*v - 8. Solve j - 38 = 4*r - 5*f, -2 = 3*r + 5*f for r.
-4
Let g(w) = w**2 + 7*w - 6. Let u be g(-8). Let b(n) = 2*n - 1. Let i be b(1). Let p be (0 - i)/((-2)/10). Solve -u*x + p*r - 5 = 0, -4*r + 0*r = -4*x + 8 for x.
5
Suppose 0 = -11*z + 3*z + 24. Solve -4*l = l + 2*t - 9, -3*l = z*t - 9 for l.
1
Let w be 1/(-2) + (-22)/(-4). Suppose -2*i - 3*i = 0. Suppose i = 4*r - 15 - 1. Solve r*y = -3*d - 19, 9*y = 4*y + w*d - 15 for y.
-4
Let f = -9 - -10. Let d be (-1)/2 + f/2. Suppose 6 = -4*l + 4*w + 2, -4*l - 5*w + 23 = d. Solve r + 3*r - 4*u = 24, -r = -l*u - 10 for r.
2
Let z = -10 + 3. Let k(n) be the third derivative of n**5/60 + n**4/3 + 5*n**3/3 + 2*n**2. Let f be k(z). Solve 6 = -h - a, 4*h + h - f*a + 22 = 0 for h.
-5
Let z = -19 + 22. Solve 0*k - 3 = z*k - q, -2*q + 6 = k for k.
0
Let i(g) = -g**3 + 4*g**2 - 2*g - 2. Let v be i(2). Let z = 6 + -6. Suppose z = 5*d - 14 - 6. Solve 0*f - f = -2*o - 2, d*f = -2*o - v for o.
-1
Suppose 0 = -c + 6*c - 25. Let l(h) = h - 1 - c + h. Let x be l(4). Solve -k + x*u - 11 = -u, 5*k + 5*u + 15 = 0 for k.
-5
Let n be ((-15)/(-21))/((-5)/(-35)). Solve 12 = 3*v - l, 0 = 4*v - 4*l + n*l - 9 for v.
3
Suppose 0*l = -2*l + 4. Solve 5*v + 7*r - 25 = l*r, 15 = 5*r for v.
2
Suppose x - 2*m + 8 = 0, -3*x = 2*x - 4*m + 10. Solve -x*n + 7*n + 15 = 0, 2*b + 18 = -4*n for b.
-3
Let v(l) = l + 1. Let d be v(1). Let k = 0 + 10. Let u be (-4)/k + 64/10. Solve -5*x = -4*j - 11, j - d*x = -u + 1 for j.
1
Let z be (4/(-6))/((-8)/48). Suppose 3*y - 32 = -2*w + w, -z*w = -2*y + 12. Solve -3*i = -x - y, 7*x - 40 = -3*i + 2*x for i.
5
Let o(n) = 5*n - 4. Let a be o(4). Suppose -3*r = r - a, 4*t - 3*r = 24. Let m = 9 - t. Solve m = -3*d + 2*g + 5, 1 - 2 = 3*d + 4*g for d.
1
Let w be 40 + (2 + -1 - 3). Suppose 0 = 3*k - 22 - w. Solve 4*z + v - 16 = -3*v, -k = 2*z - 5*v for z.
0
Let y be (-2 - 1)/((-6)/10). Solve -12 = 2*o + y*m, -5*o + 0*o = -m + 3 for o.
-1
Let b be 5*(-3 + (-18)/(-5)). Let o be (-6)/b + (-4)/(-2). Solve -k + 2 + o = 0, 0 = 2*q + 3*k for q.
-3
Let x = 169 - 159. Solve 5*c = 2*t - x, 3*t + c + 35 = -4*c for t.
-5
Let k be (-6)/(-8) - 18/24. Solve -3*u + w = 9, k*w - 2*w + 16 = -5*u for u.
-2
Suppose 0*c + 4*c + 4*z = 20, 3*c - 2*z = -10. Suppose -w - d + 10 = 0, 3*d + 2*d - 25 = c. Suppose -g = -w - 7. Solve g = -4*v + 5*f + 4, -3*f = -12 for v.
3
Let u(r) = -r**3 + 12*r**2 - 14*r + 37. Let h be u(11). Solve v + 8 = -3*v - h*k, 6 = 3*v - 3*k for v.
0
Let z be ((-33)/(-6))/(2/(-4)). Let f = z - -14. Solve 0 = -f*q - 2*g - 12, 0 = -4*q - 5*g - 7 - 16 for q.
-2
Let o be 30/9 - (-8)/12. Let l(c) = -c**3 + 6*c**2 + 11*c - 6. Let t be l(7). Solve 0*y + o*y + 2*n + t = 0, 2*y = 3*n + 1 for y.
-4
Let x = 0 - -1. Let p be -1*(-2 + x + -2). Suppose 3 = -k + 4*c, -7*k + 12 = -p*k - 4*c. Solve -4*t = -4*q, -3*q - 5*t = -k*q + 9 for q.
-3
Suppose 6*v - v + 