 Let d be m(-5). Let w = 5 - 2. Suppose 4*n + 3 + 5 = 0, -w*t + 4*n + 32 = 0. Solve -d*u + t = -2*u for u.
2
Let s = -28 - -31. Let w = 12 - 8. Let c = w - 1. Solve 0 = -s*t + 9 - c for t.
2
Let p = -25 - -40. Solve -3*d + 0*d + p = 0 for d.
5
Let h(x) = x**2 - 10*x - 8. Let q be 2/((-4)/(-11))*2. Let l be h(q). Solve -l*b + 5 = -8*b for b.
-1
Let s be (-2)/((-1)/((-2)/(-2))). Solve 5*i = 3 + s for i.
1
Let d(p) = 3*p + 1. Let g be d(3). Let c = 6 - 2. Suppose 0 = -c*b - b. Solve y + y + g = b for y.
-5
Suppose 4*s = -4*i + 44, 3*s + 7 - 46 = -5*i. Suppose 6*m - s = 2*m. Solve -6 = 2*b + m for b.
-4
Let f be ((-105)/25 - -4) + 2/10. Solve -3 = -h - f for h.
3
Suppose 6 = 2*y - 4*y. Let w(u) be the third derivative of -u**6/120 - u**5/30 + u**4/24 - u**3/6 - u**2. Let f be w(y). Solve -f*p = -0*p for p.
0
Suppose 0*z = 5*z - 10. Let c(g) = -5 + g + z*g + 4 + g. Let d be c(1). Solve -d*p - p = -4 for p.
1
Suppose 4*d - 41 = -1. Solve -4*c - 6 = d for c.
-4
Let b(u) = -u**3 + 8*u**2 + 10*u + 1. Let p = -18 - -27. Let n be b(p). Solve -n = m - 3*m for m.
5
Let c = -9 + 11. Suppose 0 = -c*l + 15 - 5. Solve -3*r = -l*r - 6 for r.
-3
Let m(u) = u**3 - 5*u**2 - 7*u + 7. Let l be m(6). Solve c = -4 - l for c.
-5
Let a = -2 + 4. Let f be (0/a)/(2 - -1). Let s(g) = g**2 + 1. Let i be s(f). Solve i = -z - 2 for z.
-3
Let v = 4 - 4. Suppose n + 1 = v, -g - g - 3*n = -5. Solve g = -4*o - 0 for o.
-1
Let y(b) = -4*b**2 + 2*b**2 + 3*b**2 + b. Let r be y(3). Suppose -2*o = l - 4, r = -o + 6*o + 3*l. Solve o = -v + 3 for v.
3
Suppose 87 + 45 = 3*p. Suppose -9 = l - 3*g, -4*l + 8*g - 4*g - p = 0. Let j be (-6)/4*l/9. Solve -j*i - 15 = i for i.
-5
Let g = 0 + 2. Let q = g + 2. Solve 2*h = 4 + q for h.
4
Let i be (1/(-3))/((-6)/108*3). Solve b + 0 = i for b.
2
Suppose -84 + 16 = -17*v. Solve 0*r = -r - v for r.
-4
Let o(m) = -m**3 + 5*m**2 + 5*m + 10. Let w be o(6). Solve -w + 2 = -2*u for u.
1
Let a(b) = -b**3 + 6*b**2 + 2*b - 9. Let z be a(6). Let l be (z/(-2))/(1/(-4)). Let r = -4 + l. Solve -r*p + 4 = -2 for p.
3
Let w be (-3 - -1)*(3 + -12). Let d be 3 + -2 + w/2. Solve -5*c + d = -10 for c.
4
Let x be 0 + 1 + (-15)/(-3). Solve 5*t = 2*t + x for t.
2
Let h = 13 - 1. Let v = h - 18. Let c = v - -13. Solve -3*o = c + 8 for o.
-5
Let j = -4 - -3. Let x(a) = a. Let g be x(j). Let n be -1 - (g + -1)/1. Solve -2*m - n = 7 for m.
-4
Suppose 0*x + 9 = 3*x. Solve b = -x + 1 for b.
-2
Let r(m) = m. Let u be r(1). Let q = 5 - 4. Let s = u - q. Solve -o - 2*o - 15 = s for o.
-5
Let p(b) be the third derivative of -b**6/120 + b**5/10 - b**4/6 - b**3/3 - 2*b**2. Let t be p(5). Solve t = -4*a - 1 for a.
-1
Suppose -n = -6*n + 25. Suppose 4*f - 5*r + 17 = 0, 3*r = n*f + r. Solve f*x + 2 + 4 = 0 for x.
-3
Suppose -n = n. Solve n = 4*k - k + 6 for k.
-2
Let x(b) = 2*b**3 + b**2. Let g be x(-1). Let k = g - -5. Solve -k = -5*z - 14 for z.
-2
Let b(r) = -r**3 + 10*r**2. Let t be b(10). Suppose -5*d - 43 = -2*c - 0*c, 4*c - 16 = t. Let v = -5 - d. Solve -v*u - 5 = -1 for u.
-2
Suppose 3*q - 6 = 0, -4*q + 20 = -2*z + q. Let f be 6/(1 - 3) - z. Solve 0*i + f*i = 2 for i.
1
Let m be -1*3/(6/(-4)). Solve m*f - 5 = 3*f for f.
-5
Let t(w) = w**3 + 8*w**2 - 9*w + 3. Let f be ((-3)/(-4))/(3/(-36)). Let g be t(f). Solve -g*q = q for q.
0
Let w = 14 - 20. Let q = -4 - w. Let x(d) = -d**2 + 6*d - 4. Let r be x(5). Solve y + r = q for y.
1
Suppose 4*t + 0*l - 67 = l, -t + 3*l + 25 = 0. Suppose 0 = 3*v + 1 - 7. Suppose t = 4*h - v*u, -h = 4*h + u - 27. Solve 10 + h = -5*d for d.
-3
Let r(p) = 2*p**3 - 11*p**2 - 8*p + 12. Let x be r(6). Solve -y + 5*y = x for y.
0
Let q(o) = -o**3 + 4*o**2 - 3*o + 2. Let z be q(3). Solve w = z*w for w.
0
Suppose 4*z + 17 = -7. Let f be (2/(-3))/(z/45). Suppose 4*m = h + 14, 4*h - m = -2*m + 12. Solve f*y + 9 = h*y for y.
-3
Suppose -d = 5*m - 0*m + 2, 5*d + 2*m = -10. Let h = 4 + d. Solve -h = 4*w + 2 for w.
-1
Let g(a) = 5*a**2 - 2*a + 1. Let t be g(-2). Solve 0 = 3*p + 2*p - t for p.
5
Suppose -2*x = -t - 0*t - 5, 13 = 5*x - 3*t. Suppose k - 17 + x = 0. Let v = k - -5. Solve -5*u - v = -0*u for u.
-4
Let m = 14 + -10. Solve -5*h + h = m for h.
-1
Let j(p) = -p**2 + 6*p - 4. Let a be j(4). Solve -8 + 0 = a*h for h.
-2
Let u(f) = -f**2 - 5*f - 4. Let q be u(-4). Solve q = -n + 4*n + 12 for n.
-4
Let n(r) = -r**3 + 6*r**2 + 7*r. Let p be n(7). Suppose p*g - 4*g = 0. Let m = 10 + -9. Solve g = u - m + 4 for u.
-3
Suppose 11*c - 33 = 44. Suppose -2*z + 3*d = -15, -2*d - 10 = -2*z - 0*d. Solve 3*l + 1 - c = z for l.
2
Let f be (-15)/3*36/(-10). Let j be f/4*8/12. Suppose -1 = j*k - 7. Solve 2*w + k = w for w.
-2
Suppose 0 = -4*v - v, -3*u + 12 = -3*v. Suppose 2*i - 7*i = 0, f = u*i + 3. Solve 0 = 2*r - f - 7 for r.
5
Suppose 5*s + 3*l - 140 = 0, 5*l = -3*s - 7 + 107. Suppose -c - s = 4*c. Let k = 5 + c. Solve k = -z - 0 - 2 for z.
-2
Suppose -6 = 4*b + 2. Let o = b - -4. Solve 2*y + 0 - o = 0 for y.
1
Let u(d) = d**3 - 9*d**2 - 2. Let i be u(9). Let z = i - -2. Solve z = r + r - 8 for r.
4
Suppose 0 = 4*s - 12 + 4. Let y(v) = 0 - v + 1 + 1. Let i be y(s). Solve i = 7*h - 2*h + 20 for h.
-4
Suppose -c - 3*j - 11 = 0, 0*c + 3*c - 19 = 4*j. Let l be (-2)/c - 10/(-2). Solve l*f - 4 = 2 for f.
2
Let p be (-2 - -2)/2 + 17. Suppose 0 = 3*w - 5*l - p + 5, 4*w - 3*l = 16. Solve c = 3 - w for c.
-1
Suppose 3*c - 5 = 2*c. Let m = 11 - c. Solve -k + m*k - 10 = 0 for k.
2
Let o(g) = -g**3 + 3*g**2 + 3*g + 3. Let t be o(4). Let x(a) = 2*a**3 - a**2 + 1. Let z be x(t). Let k be -1*((2 - 0) + z). Solve k = -3*j - 6 - 9 for j.
-5
Suppose -3*b + 2*z = -z + 15, -3*b + 10 = 2*z. Suppose 5*n = -3*g + 29, 17 = -0*g - g + 5*n. Solve b = g*r + 5 + 7 for r.
-4
Let m(p) = p**2 + 8*p + 7. Let k be m(-7). Let c(j) = -j**3 + j**2 + 1. Let t be c(k). Let i be ((-15)/2)/(t/(-2)). Solve -5*o + i = -2*o for o.
5
Let g = 5 - -2. Suppose -g = -4*z + 9. Solve 0 = -0*q - z*q + 8 for q.
2
Suppose 9*x = 8*x + 12. Suppose -3*n - 4*g + 1 = -15, 3*n + g = 13. Suppose n*d - d = -2*v, -3*d = -2*v - 12. Solve d*i + i = -x for i.
-4
Suppose 0 = -3*b + 8*b - 20. Suppose -7 = b*c - 5*c. Let a = c + -4. Solve 7 = a*v - 2 for v.
3
Suppose 2*k = 1 + 9. Suppose 0 = -2*j + k*j - 60. Suppose 2*h - j = -3*h. Solve h*d + 0*d - 20 = 0 for d.
5
Suppose -9*k + 4*k = 0. Solve k = -5*y + 3*y for y.
0
Let a = 7 + -3. Let z(b) = -b**3 + 3*b**2 + 5*b - 2. Let y be z(a). Solve y*s + 0 = 4 for s.
2
Let c = 23 + -14. Let h be (1 + 1)/((-2)/(-12)). Let j = -6 + h. Solve -j = -3*t + c for t.
5
Let z(j) = -j**2 + j + 42. Let n be z(7). Solve n = -2*x + 3*x + 2 for x.
-2
Suppose -3*g - 30 = -3*s, 0 = -3*g - 12 - 3. Solve q + 4*q + s = 0 for q.
-1
Let r(b) = b**2 + 6*b + 7. Let z be r(-5). Let h(y) = y**3 - 13*y**2 - 13*y - 13. Let s = -7 + 21. Let d be h(s). Solve c - z + d = 0 for c.
1
Let j(k) = k**3 - 4*k**2 - 5*k + 7. Let f be j(5). Suppose -i = -0*i - f. Solve 2*s = i*s for s.
0
Suppose 2*o = -i - 4 + 15, o = 5*i - 11. Suppose p - 3*n = 14, -i*p + 2*n + 18 = -n. Solve -6 = -p*r - 0*r for r.
3
Let a(s) = -s**2 - 5*s + 20. Let z be a(-7). Solve 0 = -0*g + 3*g + z for g.
-2
Let l(y) = 3 + 3 - 1 - 3 - y. Let v be l(2). Let q be 2/6 - (-25)/15. Solve v = -q*p + p for p.
0
Suppose 12 = 3*b + 5*g - 18, b - g - 10 = 0. Suppose -3*w + w + b = 0. Suppose -y = -0*y - w. Solve 0*a = a + y for a.
-5
Let f be (5*-1)/(3/(-3)). Suppose -f = -0*j - j. Suppose 8 = 2*w + 2*o - 10, 30 = j*w + 2*o. Solve -r - 20 = w*r for r.
-4
Let s(i) = -2*i + 50. Let n be s(24). Solve 0 = k + 3 + n for k.
-5
Let o(u) be the third derivative of 0 + 0*u - 3*u**2 - 1/60*u**5 - 1/12*u**4 + 1/120*u**6 + 0*u**3. Let q be o(2). Solve g - 4*g - 9 = q for g.
-3
Let w = -2 - -3. Let j = 3 - w. Solve 25 = j*q + 3*q for q.
5
Let q be 2/7 + 2/((-56)/(-244)). Solve -4*x = -x + q for x.
-3
Suppose -4*z + 6 = -2*z. Let c(j) = -6*j**2 + 6 - j**2 + 5*j + 4*j**z - 3*j**3. Let m be c(6). Solve 1 = p - m*p for p.
1
Suppose m + 2 = -0, -3*m = -5*t - 9. Let k = t + 8. Suppose -4*s - 28 = -5*f - 8, -3*f - s = k. Solve -p + 4*p + 9 = f for p.
-3
Suppose -1 = 5*n + 2*p, n - 7 = 3*n + 3*p. Suppose 3*c = -2*c. Suppose -4*j = -2*j. Solve j = -c*k - k - n for k.
-1
Let j(r) = r**2 + 5*r + 3. Let l be j(-5). Suppose -4*q + 13 = -l. Suppose -t = 3*t. Solve 0*h + h + q = t for h.
-4
Let k b