 91 = -3*b, -431 = -5*b - 2*s. Let j = -40 + b. Let a be j/4 - 18/24. Solve -5*i + a = -4*w - 0*w, 2*w = -5*i - 13 for i.
-1
Let p(g) = -g**3 + 4*g**2 - 3*g + 2. Suppose 0 = 5*k - 4 - 11. Let z be p(k). Solve -z*u + 3 = -3, 2*x - 3*u + 11 = 0 for x.
-1
Let k(c) be the first derivative of 1/2*c**2 + 3 + 2*c - 1/3*c**3. Let a be k(0). Solve 0 = -3*n + 2*w - 1, -n + 3*n = w - a for n.
-3
Let x(u) = -3*u + 2. Let f be 2/(4 - 2)*-1. Let w be x(f). Solve -5*s + 3*g = 11, 0 = -w*s + 3*s - 2*g - 14 for s.
-4
Suppose -2*i - 5 = 3. Let b be -2 - (0 + i - 0). Let t = 7 - b. Solve t*p + 3*u - 13 = -u, 23 = 4*p - u for p.
5
Let v(c) = c**3 + 9*c**2 + 12*c + 12. Let u be v(-8). Let x = -9 - u. Let m = x + -9. Solve -3*t + i + 0*i - 6 = 0, m*i = -2*t - 4 for t.
-2
Let k(p) = -p**3 + 5*p**2 + 4. Let i be k(5). Let m be 68/3*12/(-8). Let g be m/(-2) + (-1 - -4). Solve 3*q + 4*t = -16, -i*q - 5*t - g = -3*q for q.
0
Let g = 10 + -6. Suppose -20 = r - 6*r. Let q be r/16 + 63/4. Solve -q = -2*p - 4*c, -g*c - 2 + 18 = 0 for p.
0
Let w(u) = u**2 + u + 4. Let k be w(0). Suppose -k*v + 26 = 3*a - 0*a, 0 = -a + 5*v - 4. Solve -2*r + 3*y = -19, -2*r + a*r - y = 23 for r.
5
Let r(w) = w**2 + 10. Let l be r(0). Let x = -5 + 7. Suppose l + 0 = x*i, 5*q = -3*i + 30. Solve -5*j = 5*k, -4*k - 5*j - 7 = -q for k.
4
Suppose 4*j + 2*w - 4*w - 30 = 0, -21 = -j + 5*w. Let t(m) = m**3 - 6*m**2 + 2*m - 6. Let i be t(j). Solve -4*v - k = 2*k + i, -4*v - k - 10 = 0 for v.
-3
Let y(b) = 2*b**2 + 10*b - 8. Let u be y(-6). Solve -17 = a + u*a + w, -2*a - 2 = 2*w for a.
-4
Let y(a) = -4*a - 58. Let j be y(-15). Solve j*s + 3 = 2*o - 3, 0 = 4*o + s + 3 for o.
0
Suppose 11 + 20 = 4*r - 5*b, 2*r + b - 5 = 0. Let u = 8 + -4. Solve -n - u = 0, 0 = -2*v - r*n - 0 - 12 for v.
2
Let i = 6 - 3. Suppose i*p - 8*p + 20 = 0. Solve -b + 12 = p*u, 24 = 4*b + 5*u - u for b.
4
Let j be (-2)/(-3)*(-5 + 8). Suppose n = 4*k + j*n - 22, n - 17 = -3*k. Solve -2*y = 3*i - 5*i + 14, -k*i + 31 = -3*y for y.
-2
Let d(t) = t**2. Let o be d(1). Suppose -2*p + 5 = -o. Suppose 3*n + y - p*y = 4, y - 3 = -n. Solve 3*m + 5*i + 1 = -4, 0 = -2*m - 2*i - n for m.
0
Suppose 2*t - 6 = -0*t. Suppose 0 = -6*v + t*v + 27. Solve 2*m - 7*m = -n - v, 2*m = n + 3 for n.
1
Suppose 3*m + 12 = i - 0, 9 = -3*m. Let w(z) = -2 - i*z**2 - 3*z**2 + 5*z**2 + 3. Let v be w(1). Solve s = -v*s, 4*s + 6 = 2*n for n.
3
Let u = -36 - -47. Solve 0 = -2*q - 3*n - u, 3*n - 6*n = -2*q + 19 for q.
2
Let k be ((-11)/4)/(3/(-12)). Suppose 31 = 5*m + k. Let p be 2*5*8/5. Solve 0 = -5*x + 25, m*s + 4*x - p = 8 for s.
1
Suppose 4*y - 2*w - 2*w = 8, -w = -2*y + 2. Let x = 4 - 7. Let c be 2*(-4 + 1)/x. Solve c*m - 3*i + 9 = y, -2*m + 4*i - 12 = -5*m for m.
0
Suppose 4*m - 6*m + 48 = 0. Solve -4*z - 7*c + 2*c - 29 = 0, -4*z = 4*c + m for z.
-1
Suppose -4*d + 8 = 0, -3*y + 34 = 2*y + 2*d. Solve -r - 3*i + y = 2, -3*i = 2*r - 5 for r.
1
Let x = -21 - -9. Let k = -1 - x. Let y = -8 + 13. Solve -s - y*o = -29, -2*o = -4*s - o + k for s.
4
Suppose -2*f + 5 = t + 12, 5*t - f - 9 = 0. Let z(o) = o**3 - 4*o**2 - 9*o + 3. Let k be z(6). Solve s - y = -t, 3*s + 4*y = k - 3 for s.
2
Suppose 3*f = 5 + 1. Suppose -f*y + 4*t + 6 = 0, 9 = -y + 4*y + 5*t. Solve 0 = 3*j - y*b, 3*b + 21 = -3*j - b for j.
-3
Let f be 2 + 0 + -2 + 3. Solve 6*a - 5*a = -3*g - 17, -4*g - 26 = f*a for g.
-5
Suppose -12 = -c + 4*r + 2, -4*c + r + 11 = 0. Solve 2*m = -c*g - 2, 0*g + 5*m + 29 = g for g.
4
Suppose j + 15 = -5*l, 20 = 4*j - l - 4. Let z = j - 5. Solve z*g - 5*g - 19 = -4*i, g - 2 = -5*i for g.
-3
Let l(w) = -w**3 + 2*w**2 - 2*w + 1. Let a be l(1). Solve q - 2*o = 1, -4 + a = q + 3*o for q.
-1
Let q(h) = -h**2 + 6*h - 1. Let z be q(5). Suppose j = -2*j - 2*g - 7, 4*g + 16 = -4*j. Let m be (1/7 - j)*-7. Solve s + 4 = -3*o, -z*o - 3*s + m = 13 for o.
-1
Let x = -4 - -4. Solve -3*a + 6 = 3*u, a + 0*a + 4*u + 1 = x for a.
3
Let n be 1*-3 - (0 + -3). Suppose n = 2*g - g. Suppose 0 = c + 5*t + 23, 0 = 5*c + 2*t - g*t. Solve o + 3 = 2*o + 3*i, -4*o = 2*i - c for o.
0
Let c(y) = -13*y - 2. Let l be c(-1). Solve -4*h = -u - l, -h - 2*h = u - 10 for h.
3
Let f = 9 - 2. Suppose 3*s - 165 = -8*s. Solve -5*k - 20 = 4*y + f, y + 4*k = -s for y.
-3
Let f be 4/12 - 20/(-3). Let t(i) = 6 + 2 - 1 - i. Let c be t(f). Solve -3*r - 20 = -2*o, c = r - 0*r + 3*o - 8 for r.
-4
Suppose -l + 6 = -13. Suppose 0 = 2*z - k - 30, 0 = z + 2*k - 0*k - 5. Solve -g + z = 4*h, 3*h - 5*h - 3*g = -l for h.
2
Suppose 10 = -2*b + 7*b. Suppose b*d - 6 = 2. Solve -5*f + d*f - 2 = 3*q, 4*q = -3*f - 1 for q.
-1
Suppose 3*o + 49 = 4*u, -3*u + 3*o + 18 = -18. Let p = -5 + u. Solve -3*i + 4*g = 8, i + 2*g + p = -2*g for i.
-4
Let x(h) = h**2 - 7*h + 5. Let r be x(4). Let j = r - -9. Let c be (-13)/(-3) + j/3. Solve 0 = -5*p + 3*v - 5, -4*p - p + c*v - 15 = 0 for p.
2
Let s(d) = 2*d - 4*d + 5 - 1. Let b(f) = -f**2 + 2*f. Let q be b(4). Let o be s(q). Solve 0 = -3*x + 3*v + 2*v - o, 12 = -3*x - 3*v for x.
-5
Let x = -38 + 74. Solve 0 = w + 4*r - 20, -5*r = -2*w + 6*w - x for w.
4
Let r(w) = w**2 - 3*w - 1. Let h be r(4). Suppose 0 = 4*c - c - 48. Suppose -j + 2*j = -n, n = -5*j. Solve 4*f + 4*i + c = n, -8 = i - h for f.
1
Let x(m) = -3*m + 7. Let z(j) = -9*j + 20. Let o(k) = 8*x(k) - 3*z(k). Let g be o(3). Solve -4*l + 3*q = -7 + 26, 2*l + 3*q + g = 0 for l.
-4
Let t be (2 + -4)/((-1)/1). Solve t*h + 9 = -5*n - 11, 4*n - 7 = 3*h for h.
-5
Let f(t) = t**3 + t + 36. Let w(p) = -p**3 + 3*p**2. Let s be w(3). Let v be f(s). Let k be 4/6*v/8. Solve -27 = 3*x + k*n, 2*x - 4 = -2*x + 4*n for x.
-4
Let k(f) = -1 - 2*f + 1 + f - 4. Let h be k(-4). Suppose 4*x - 6 - 10 = 0. Solve -2*g = -2*n + x, n + 0*n - 3*g - 10 = h for n.
-2
Suppose -c - 5 = 0, -4*z + 46 = -z - 5*c. Suppose -z - 8 = -f. Suppose f = 4*j - 1. Solve -6 = 4*x + 4*u + 14, -16 = j*u for x.
-1
Suppose 2*q = 5*q. Let l be (-1)/(-1)*-1*q. Suppose 46 = -7*h + 81. Solve 5*w - 3*p = h - 1, 4*w + 5*p - 18 = l for w.
2
Let d = -66 + 143. Let y be 2/11 + (-14)/d. Solve -h + 6 = -j, -j = -y*j + 2*h - 3 for j.
-3
Let x be (-4)/6 - 33/(-9). Solve 5*g - 28 = -2*k, x*g + 7 = 5*k - 1 for g.
4
Let k be 2 + (-1 - (-3 + 1)). Suppose k*r - 7 - 5 = 0. Solve -2*w = -w - 3*o, r*w - 3*o - 9 = 0 for w.
3
Let j(t) = t + 12 - 12*t - 4*t**2 + 0*t**2. Let w(q) = q**2. Let h(p) = j(p) + 5*w(p). Let c be h(10). Solve 14 = -0*v + 4*v + c*s, -10 = 5*v - 3*s for v.
1
Let x = -36 + 55. Solve 5*a - x = -2*t + 2*a, -3*t + 26 = 4*a for t.
2
Let u(c) = c**3 - 4*c**2 - 6*c + 7. Let f be u(5). Let s(x) = x**2 + x + 4. Let z be s(0). Suppose -2*d + 9 = 3. Solve -4*g - 1 = 3*b + d, -z*b - f = 2*g for b.
0
Suppose 25 = 4*x - 55. Suppose -4 = -5*l + 6. Suppose 6*z - l*z - x = 0. Solve 5*y - 3 = 2*w - 11, -3*w = -z*y - 12 for y.
0
Let d = 28 - 16. Solve 2*c = -2*i - 2, -4*c = i - d + 28 for c.
-5
Suppose l - 12 = -2*l. Suppose -l*i + 1 = -11. Solve -3*u - b - 9 = 0, 0 = i*b + 15 - 6 for u.
-2
Suppose 2*i - 12 = -2*g, -2*i + 9 = -i + 2*g. Suppose s - 4 = 4. Solve a - w = 0, -6*w + w = i*a + s for a.
-1
Let q(i) = -3 + i**2 - 10*i + 0*i - 2*i**2. Let n be q(-9). Suppose 11*v = n*v + 15. Solve 8*r - 10 = v*r, 2*r = -4*g + 12 for g.
2
Let d(t) = -t**2 - 9*t + 26. Let w be d(-11). Solve w*o + 1 - 5 = -3*a, 5*a + 3*o = -8 for a.
-4
Let m be (-1)/4 + 3/12. Let q be (-3)/(9/(-12) - m). Solve -12 = 3*j + 2*z, -4*j - q*z = -0*j + 16 for j.
-4
Let i = -8 - -9. Let c be (-10 + i)*8/(-24). Solve 0*t = -c*t - 9, -3*t - 14 = -j for j.
5
Suppose 4 = 2*m - 0. Suppose 0 = -2*o - 2*k + k + 9, 5*o - m*k - 36 = 0. Solve 2*b + 0*t = -5*t - 17, -2*t = 4*b - o for b.
4
Suppose -7 = -f + 5*x, 9*f - 4*f - 5*x + 45 = 0. Let m = -3 - f. Suppose 0 = -0*n - 5*n + m, 5*d = -5*n + 20. Solve -d*q + 5 = 3*q, -l = -4*q - 1 for l.
5
Suppose 6*i - 6 = 3*i. Suppose 2*f + 3*y - 2 = 2, 5*y = -i*f. Solve b + 4*g - 5 = 0, -3*g + 4*g - f = b for b.
-3
Let n = -1 + 8. Solve -n*x = 3*u - 3*x + 2, -4*x = 8 for u.
2
Let h(p) = -p**3 + 4*p**2 + p - 1. Let d be h(4). Solve 2*k = d*t - 9, -t + 3*k + 11 = 3*t for t.
5
Suppose -5*f = -b + 13, -5*b + 8 = 4*f + 1. Suppose 3*p - 9 = -3*q, -2*p + 2*q = -2 - 12. Solve 4*w - y + b = 7, 0 = p*w + 2*y - 5 for w.
1
Let b = 0 - -2. Suppose -16 + 2 = -2*l - b*v, -v = -5. Solve -u = c - 2*u - 1, -c = -l*u - 6 for c.
-4
Let q(m) 