*b, -x*f + 3*b = 24 for f.
-4
Let s be 1 - (0 + -5 + 3). Solve 5*a - 23 = -2*m, -7 = s*m - m - a for m.
-1
Suppose 0*w - 8 = -2*w, w + 106 = -5*o. Let b = -21 - o. Solve 3 = l + f, f + b - 4 = -5*l for l.
0
Suppose -7 = -c - 3. Solve 0 = 2*k - c*w - 14, -k = 3*k + 3*w - 17 for k.
5
Let j = -14 + 19. Solve 0 = 3*t + m - 13, -4*m - 3 = -j*t - 4 for t.
3
Let g(d) be the first derivative of -d**3/3 + 3*d**2/2 + d + 1. Let i be g(2). Let x be i/(-3) - -2*3. Solve -s + 13 = 3*h, x*h = -s - s + 22 for s.
1
Let v = -1 - -3. Let z = -2 + v. Let p be 0/2 + z + 2. Solve 5*l = -2*s + 5*s - 5, -5*s + p*l = -21 for s.
5
Suppose 4*i + 10 = -6. Suppose -37 = 5*x - 7. Let c = i - x. Solve c*u = -2, 5*u + 8 + 2 = -a for a.
-5
Suppose -6*g = -8 - 4. Suppose 2*h = g*y + 6, y + 4*y + h - 15 = 0. Solve -3*x - 3*z = 2*x - 9, 4*z - 12 = -y*x for x.
0
Suppose 0 = -0*x - 2*x. Suppose x*a + a = 5. Suppose 3*h + 2 = a*h. Solve 5 = 3*c + 4*b + h, 0 = c - 5*b - 14 for c.
4
Let i(d) be the second derivative of d**3/6 + d**2/2 + 3*d. Let q be i(7). Solve u + 6 = 2*u - 3*c, 3*u + 4*c + q = 0 for u.
0
Suppose 15*o - 8 = 11*o. Solve o - 3 = -g - c, 5*g - 12 = 2*c for g.
2
Suppose 0 = 15*t - 10*t - 10. Solve 2*b + t*d = -3*d + 19, 3 = d for b.
2
Let n be 5 + (-1)/2*2. Let i be (0 + -4)*3/(-6). Let b = i - -26. Solve 3*w = 4*p + n, -5*w = 2*p + 2*p - b for p.
2
Let v be 3/(-3 - -6)*1. Solve -3*x = -3*s, -2*s - 3*x - 6 = -v for s.
-1
Let f(o) = -5 + 3*o + 2*o - 4*o. Let g be f(6). Let y = 0 + g. Solve -2*b + 5*j + 17 = -y, -3*j - 10 = -2*b for b.
-1
Suppose 7 = 5*s + 5*m - 3, -5*m + 24 = -2*s. Let t = s - -6. Solve -2*a + t*a + 2 = -c, 0 = -5*a - 10 for c.
2
Let n(w) = -w + 13. Let g be n(3). Suppose 2*z - z - 3 = 0. Suppose 0 = z*i - 8*i + g. Solve i*d + 4*m = 3*d + 3, 0 = -3*d - 4*m + 23 for d.
5
Suppose -103 = -3*a + 2*z, 2*z - 45 = -2*a + a. Let w = 48 - 69. Let m = a + w. Solve t - 3*j = m - 4, -3*t = 3*j for t.
3
Suppose -2*o = 0, 0 = 4*i - 0*o - 5*o - 8. Let f = i - 2. Solve f = -g + 4*g + 4*l - 1, 5*l = -3*g - 1 for g.
3
Let l(f) = 3*f + 6. Let w(z) = 4*z + 6. Let m(n) = -5*l(n) + 4*w(n). Let u be m(9). Solve u*s = -3, -2*s - 2 = p - 4*p for p.
0
Let c = -36 - -61. Suppose -q - q = 0. Suppose 4*y = q, -4*i - i + c = 5*y. Solve -i*z - 2 + 3 = -4*m, 5*m - 3*z + 11 = 0 for m.
-4
Suppose -5*k - 21 = -5*f - 6, 0 = 4*k. Suppose -2*u + 5*u + 9 = 0. Let w be 0 - (-1 - 0) - u. Solve -w*s = f*x, -3*x - 6*s + 3 = -s for x.
-4
Let f be 5 + (-1 - (-1)/(-1)). Solve -4*d - 4*n = 4, -4*n - 1 = -f*d - 3*n for d.
0
Suppose 9*l = 3*l. Solve 3*g - 5*u - 19 = l, 3*u + u = g - 11 for g.
3
Let v be 50/14 + 12/(-21). Solve i + 18 = 2*i + v*c, 3*i - 24 = -3*c for i.
3
Let c be -2 + 0 + (-13)/(-1). Let o = 15 - c. Let f(i) = -i**3 + 3*i**2 + 4*i + 2. Let t be f(o). Solve -3*n + 25 = 2*n, -3*x - t*n = -10 for x.
0
Let g = -55 - -60. Solve -q = 5*n + 27, -n - 5 = -2*n + g*q for n.
-5
Let f = -40 + 48. Solve s + 5*x = 3*x - f, 0 = 2*s + 5*x + 19 for s.
-2
Let f(h) = -20 - 2*h + 15 + h + 2*h. Let g be f(8). Solve 2*k + 2 = g*s, -5*s + 4 + 14 = 4*k for k.
2
Suppose w = -2*a + 3*w, 0 = 4*a - w - 15. Suppose 5*r = -3*b + 4, 0 = 2*r - 2*b - 1 - 7. Solve 0 = r*s - a*i + 20, -5*s - 25 - 6 = -3*i for s.
-5
Let x(s) = s**2 - 1. Let z be x(1). Suppose z = -4*c + 8*c - 40. Let f be 6/1 + 4/(-2). Solve w = -0*y + 3*y + c, f = -y + w for y.
-3
Let o = -35 + 54. Let d = 4 + o. Solve d = -3*w - 5*u - 14, -5*w = u + 25 for w.
-4
Let r(q) = -q**2 + 5*q. Let f be r(5). Solve -k + 0*k - 2*g = 0, f = -5*k + g + 22 for k.
4
Suppose 0 = -4*i + 51 - 7. Suppose z + i - 13 = 0. Solve 5 + z = -v + a, -v + 8 = 4*a for v.
-4
Let v be (3/9)/((-1)/(-33)). Solve -1 = 4*p - i - v, 2*p - 16 = -5*i for p.
3
Suppose -u + 2*i + 3*i = -11, -21 = 3*u + 3*i. Let p = u + 4. Solve -4*b + 2*b - 15 = -3*z, -b = p for z.
5
Let x(o) = -o**2 - o + 2. Suppose -v + 4*v = 0. Let b be x(v). Solve -2 + 10 = 4*w - 3*c, w = -2*c + b for w.
2
Let z(m) = m + 10. Let g be z(-8). Let k be (3/(-6))/(4/(-80)). Solve g*h - 3*j = j - k, -h - j = -1 for h.
-1
Let k(d) = d**3 + 19*d**2 - d - 17. Let r be k(-19). Solve 0 = -2*g - z, 5*g - z - r*z = -11 for g.
-1
Suppose -c + 29 = 5*p - 3*c, -5*p = -4*c - 33. Solve 5*g + 0 - p = 2*w, 0 = -w - 5*g + 5 for w.
0
Let a(r) = r**3 + 5*r**2 + 6*r + 10. Let c be a(-4). Solve -5*m = 25, 0*t = c*t + 3*m + 17 for t.
-1
Let w(v) = v**2 - 6*v + 3*v - v - 3*v + 6. Let q be w(6). Solve -25 = -4*g + 5*y, q = -3*g + 2*y + 4 + 6 for g.
0
Let f = 11 - 8. Suppose -1 = -5*v + 3*x - 0, -2*v - 5 = -f*x. Suppose 0 = -n + v + 2. Solve 2*o - 2*l = n + 6, -12 = 4*o + 4*l for o.
1
Suppose 4*p + 4 = -4. Let r = 5 + p. Solve 4*a + 5*y - r*y - 26 = 0, 5*y = -5*a + 45 for a.
4
Let c(i) = 0*i**2 - 5 + 6*i + 4*i**3 - 3*i**3 - 9*i**2. Let m be c(8). Let s be m/(-6) - 1/(-2). Solve 2*n - 4 = -s*l, -5*n + l - 3 = 20 for n.
-4
Let l = 71 - 65. Solve l*p = p - 2*z + 8, -3*p + 4*z - 16 = 0 for p.
0
Suppose -7*i + 11*i = 20. Solve -3*b - 22 = i*h, 2*h + 3*b = h - 14 for h.
-2
Let h(s) = s + 10. Suppose 0 = -5*f - 5 - 20. Let j be h(f). Solve 2*g = -p - 0*p - 10, 20 = -j*p for g.
-3
Let y be (3/4)/((-6)/144). Let h = y - -12. Let k = h + 8. Solve 3*i + 6 = -3*r, -k*r = 5*i - 0*r - 2 for i.
2
Let z(p) = p**2 - 5*p - 4. Let o be z(6). Solve 6*f - f - 7 = -o*j, -5*j + 5*f = 0 for j.
1
Let q = 3 - -8. Let d = 13 - q. Suppose -3*z - d*z = 0. Solve -5*y = -4*m + 7 - z, 0 = 5*y - 5*m + 5 for y.
-3
Let b = 15 - 15. Let i be (-6)/(-4)*2/1. Let j = i + b. Solve 3*s + j*a - 2*a = 11, 4*a - 12 = -4*s for s.
4
Suppose d - 2 - 1 = 0. Solve j - 5 = 0, 2*l + 15 = -d*j + 6*j for l.
0
Let a(q) = -q**3 - 4*q**2 - 2*q + 2. Let n be a(-4). Solve h = -h + 3*z + n, -25 = -5*h + 5*z for h.
5
Let i be (-1)/(-2) - 108/(-8). Let t = i - 10. Solve -j = l + 3, 3*l + 6 - t = 4*j for j.
-1
Let c be -5 + 1 + (-2 - -6). Solve 0 = -3*g + h - 15, c*g = -g - 2*h + 2 for g.
-4
Suppose 6*t + 2*c = 9*t - 4, 2*t - 4*c = 0. Solve -6 = -3*m - 4*g, -m + g + 3*g + t = 0 for m.
2
Suppose -5*l = -d + 1, -4*d - l - 2 + 6 = 0. Let n = d + 1. Solve 3*h - 2*h - n*c + 14 = 0, 0 = -3*h + 5*c - 37 for h.
-4
Let s = 74 - 74. Solve -5*p + 20 = -5*j, -2*p + s = -j - 3 for p.
-1
Let r(k) = -k**3 + 8*k**2 + 5. Let l be r(8). Suppose 6*f = f + l*a + 90, 3*f - 59 = -2*a. Solve -3*t + 27 = 5*p, -5*p + f = 5*t - 4*t for t.
4
Let z(q) = q - 6. Let c be z(9). Suppose -c*u = 2*n - 15, 15 = u + 3*u + n. Solve -2*h = -2*t - 1 + 7, u = -3*h - 3*t for h.
-2
Let v = 19 + -12. Let m = v + -5. Solve -2*l + m*t = t + 8, 3*t = 4*l + 20 for l.
-2
Let c be 1 + 5 - (-1 - -2). Suppose -1 - 4 = -c*z. Let v be 0/(z + 0/(-1)). Solve -5*f + 2*b + 21 = v, 5*f - 5*b - 30 = -0*f for f.
3
Let v = 0 + -1. Let w be (15/(-9))/(v/3). Suppose -4*q - 87 = w*x - 216, 0 = -2*x + 10. Solve 2 - q = -5*k + 4*m, -5*k + 3*m = -23 for k.
4
Let o(v) = v**3 + 3*v**2 + v - 1. Let q be o(-1). Let r be 10 - (-2)/(2 + q). Solve -3*j - k = -5, 0 = j - 2*j - 5*k + r for j.
1
Let m = -7 - -10. Solve d + 0 - 2 = 2*n, 13 = -d - m*n for d.
-4
Let n be 123/18 - (-2)/12. Suppose 4*w - 5*x - 8 = 0, -3*w + n*x + 6 = 3*x. Solve 18 = -5*k + p, w*p = 3*k + 13 - 5 for k.
-4
Suppose 3*x = -9 - 21. Let k(m) = m**2 + 10*m + 4. Let d be k(x). Solve -d*t = 4*g, 5*g = 3*t - 0*t - 32 for g.
-4
Suppose 0 = -2*t + 4*t. Let d be 0 + t + -2 + 7. Solve -2*v + 12 = n, -21 = 4*n - 2*n - d*v for n.
2
Let x(w) = -w + 3. Let y be x(0). Suppose f = -y*f + 8. Solve -3*j + 18 = -3*o, j = -f*o - 4 - 2 for j.
2
Let d = 0 - -3. Suppose -d*t - 4 = -16. Let p(q) = -q**3 + 4*q**2 + 5. Let i be p(t). Solve -3*l + l = -2*j - 20, 25 = i*l for j.
-5
Let u = 8 - 4. Suppose -m - 42 = -u*m. Let f = 83 - 64. Solve 5*a + 2*c + f = 6*c, 0 = -3*a + 5*c - m for a.
-3
Suppose i = 1 + 2. Suppose -8 - 8 = 4*g, s = -i*g + 14. Let c(r) = -r + 9. Let d be c(7). Solve -s = -5*m - 5*j - 1, d*m + 15 = 3*j for m.
0
Suppose 0 = 2*w - 3*w. Let m = 2 - w. Suppose -5*n + 12 = m. Solve 0 = n*y + 5*b - 22, 5*b - 22 = -2 for y.
1
Let m(t) = t**2 - 7*t - 36. Let k be m(12). Solve 4*a + 3*i + k = 2*i, -a + 5*i + 15 = 0 for a.
-5
Suppose 0 = 4*l + 1 + 7. Let i = 2 - l. Let g be (i/3)/(6/27). Solve 10 = 3*n - g*n + 4*s, 0 = -5*n - 5*s - 5 for n.
-2
Suppose 0*t - 3*t + 63 = 0. Suppose 5 - t = -4*q. Solve -3*f - i = 15, 0 = -4*f