pose 2*m + 6 = -2. Let p(y) = y**3 + 3*y**2 - 5*y + 1. Let r be p(m). Solve 5*c - 4*c = -r for c.
-5
Suppose 0 = s - 5*s + 12. Suppose 17*b = 16*b + 19. Solve s*z + 4 = b for z.
5
Let q(b) = 12*b - 19. Let g be q(2). Solve -g*x - 8 + 3 = 0 for x.
-1
Let o = -2 + -5. Let x = o - -9. Solve 0*s - x*s = 0 for s.
0
Suppose -5*d + 15 = 0, 3*i - 21 = -2*i + 3*d. Suppose i*g = 3*g + 6. Suppose 3*x - 4*j - 10 = -3*j, -g*j - 11 = -3*x. Solve -4*c = -x*c - 2 for c.
2
Let y(w) = 3*w - 3. Let q be y(2). Let z be (-301)/13 - (-8)/52. Let k = -11 - z. Solve q*m + 0*m = k for m.
4
Suppose 4 = o + o. Solve -o = -5*k - 12 for k.
-2
Suppose c - 32 = -c. Let z = 28 - c. Solve 0 = 5*u - 2*u + z for u.
-4
Suppose 3*t + f = 8, t - f = -2*t + 16. Let z be t/(-7)*7/(-2). Suppose z*k = -k + 6. Solve k*d - d = -2 for d.
-2
Suppose 4 = 3*o - 2. Solve -3*s = o*s + 20 for s.
-4
Let d = 9 + -14. Let q(z) = z**3 + 4*z**2 - 5*z + 4. Let a be q(d). Solve -13 = a*r + 3 for r.
-4
Let v(p) be the first derivative of -p**2 - 5*p + 6. Let a be v(-5). Solve 1 = -j + a for j.
4
Suppose 8*n - 9 = 7. Solve 4 = n*w - 4 for w.
4
Suppose 4*f = f + 3. Let b = 0 + f. Solve 0 = -y - 0*y + b for y.
1
Let k = -1 + 0. Let a = k - -5. Suppose a*p - 7 = 1. Solve 0 = z - p*z for z.
0
Let s = -4 + 4. Suppose z + s*z = 2. Let o be (-14)/(-6) + (-1)/3. Solve -z*j + 4*j - o = 0 for j.
1
Let n(c) = 3*c - 25. Let f be n(11). Solve f*i - 5 = 7*i for i.
5
Suppose 10 = -2*o + 34. Suppose 5*b - o = 13. Solve b + 11 = -4*d for d.
-4
Suppose -2*t + 2*n + 1 + 19 = 0, n - 25 = -4*t. Suppose -2*p - p + 96 = 0. Suppose -3*w - p = -t*w. Solve -w*c + 20 = -4*c for c.
5
Suppose -3*r = 4*y - 3, 32 = 2*y - 5*r + 11. Suppose y*c = 10 - 4. Suppose 0 = 4*x + c - 34. Solve 0 = x*w - 3*w for w.
0
Let c(x) = 2*x + 13. Let m be c(-8). Let y be 0/m*5/(-10). Solve 4*l = -y*l for l.
0
Let n be 2/(-3) - (-31)/(-3). Let h(c) = -c**3 - 11*c**2 - 5*c + 1. Let l be h(n). Let q be (-2)/(-6) + l/21. Solve 5*z - 2 = q for z.
1
Let j(c) = -4*c - 6. Let y be j(-7). Suppose 5*o + 2 = y. Solve a = o*a for a.
0
Let u = 1 + -1. Suppose 0 = 4*v + 5*v - 36. Solve u*s + s = -v for s.
-4
Let u(q) = -q**2 - 8*q + 1. Let p be u(-7). Solve 2*l - p + 2 = 0 for l.
3
Suppose 54 = 3*j - j. Let k be (-20)/(-9) - 6/j. Solve -2*c = k*c + 16 for c.
-4
Let h(p) = p**3 - 3*p**2 + 3*p - 2. Let i be h(3). Suppose -6*y = -2*y - 12, -i = -2*z - y. Let s = 15 + -10. Solve z*l + 12 = s*l for l.
4
Let q = -13 - -19. Solve 3*l = 6*l - q for l.
2
Suppose -3*g = -7*g + 20. Solve -g*b = -b for b.
0
Let o(j) = 6*j - 1. Let t be o(2). Let c = t + -4. Solve 17 = -5*p + c for p.
-2
Suppose 15 = 3*i + 2*i. Suppose 0 = 5*a - 3*r - 7, 2*r = 2*a + r - i. Solve g + a*g = 9 for g.
3
Suppose 16 = -5*t - 9. Let u = 5 + t. Solve 2*n - 4*n - 2 = u for n.
-1
Suppose 3*x = 32 + 7. Let d(s) = -s**2 + 20*s + 23. Let l be d(21). Solve x = 5*g - l for g.
3
Suppose 0 = -5*x - l + 20, -12 = -3*x - l + 5*l. Solve -a = x - 3 for a.
-1
Suppose 5*d + 16 = 51. Suppose 2*i + 1 = d. Suppose -5*y + 0*y = -10. Solve i = -y*n - n for n.
-1
Let r(p) = -p**3 + 21*p**2 - p + 25. Let i be r(21). Solve -1 = 5*v - i*v for v.
-1
Suppose -15 = -3*n - f, 0 = -3*n - 0*n + 3*f + 15. Let d be n + 1*3/(-3). Solve 2*k = -0*k + d for k.
2
Let x be 1/(-1 + (-12)/(-10)). Suppose -v + d = -6, 4*v - 27 = 2*d - x. Solve -v = -4*m - 1 for m.
1
Let y(d) = d**3 + 5*d**2 - 3*d - 13. Let a be y(-5). Solve -n = -a*n + 1 for n.
1
Let n = 10 + -7. Let j be (-7 + 4)*1/1. Let w = j + n. Solve w = -z - 4*z - 5 for z.
-1
Suppose -3*m = -1 - 5. Suppose u = -m*u. Suppose y - 35 = -4*y + 5*i, -5*y - 4*i + 17 = u. Solve -1 = -2*g + y for g.
3
Let s be 24/14 + 14/49. Suppose 2*g = s*o - 4*o + 24, -2*o + 15 = g. Let y = g - 7. Solve -2*m + 2 = -y for m.
2
Let f(z) = z**2 - 8*z + 10. Let g be f(7). Suppose b + 10 = g*b. Suppose w - 17 = -15. Solve -b*n = -3*n + w for n.
-1
Let g(u) be the first derivative of u**5/30 - u**4/12 - u**3/6 + u**2/2 - 2. Let k(p) be the second derivative of g(p). Let l be k(-1). Solve -2*r = l*r for r.
0
Let s be 2*(2 + 14/(-4)). Let n = 6 + s. Suppose 2*i + 3 = 5. Solve -v - n - i = 0 for v.
-4
Let i(q) = 16*q**2. Let c be i(-1). Suppose 0 = 4*v - 16, 2*v - c = 4*w - 0*v. Let m = w + 2. Solve -2*t = -m*t - 10 for t.
5
Suppose -23 = -5*k - 8. Suppose -2*m = k*l - 14, 10 + 2 = 2*l + 2*m. Suppose -v - 22 = -5*v - 2*r, 3*v - l*r = -1. Solve 0 = -v*i + 7 + 8 for i.
5
Suppose h = -10 - 38. Let u = h + 68. Let t = -10 + u. Solve 2*c = 7*c - t for c.
2
Suppose -4*t + 213 - 77 = 0. Suppose n - 2*b = 4, 2*b = -0*n + 4*n - t. Solve n = -y + 3*y for y.
5
Let x(y) = y + 18. Let r be x(-16). Solve -4*n = -r*n - 4 for n.
2
Let h be (-1)/2*(1 + 7). Let x be (h/(-6))/((-4)/(-24)). Solve 15 = -x*u - u for u.
-3
Let q(z) = -z**2 + 8*z + 7. Let r be q(7). Let t = -6 + r. Let b be (-14)/(-3)*12/t. Solve b = -4*w + 23 for w.
4
Let c(d) = d**3 - 4*d**2 - 2*d + 3. Let r be c(4). Let u = 5 + r. Solve u = -2*b + 4*b + 6 for b.
-3
Let g = 15 - 10. Suppose -3*q = 5*x - 59, 4*q - g*q = -3. Solve -6*c - x = -c for c.
-2
Let m = 13 + -16. Let r be (m + 4)/1 + 3. Solve -p = r*p for p.
0
Let s = -155 - -155. Solve -16 = -4*x - s for x.
4
Let y(o) = -5*o**2 - 27*o + 4. Let g(d) = 3*d**2 + 14*d - 2. Let n(f) = -7*g(f) - 4*y(f). Suppose 0 = -2*b + 21 - 3. Let v be n(b). Solve -1 = 4*s + v for s.
-2
Let v = 11 - 3. Let y(s) = s**3 + s**2 - 1. Let c(x) = 6*x**3 - 2*x**2 - 7*x - 16. Let l(k) = -c(k) + 5*y(k). Let o be l(v). Solve 1 = o*z - 4*z for z.
-1
Suppose 19*l + 12 = 23*l. Solve 15 = -6*c - l for c.
-3
Suppose 6*w = w + 25. Let c(o) = -o**3 + 5*o**2 + 6*o + 4. Let a be c(6). Suppose p = -a*p + 25. Solve w = p*n - 20 for n.
5
Let j = 4 - 2. Suppose -4*n = -18 + 2. Solve n*x + 6 = j*x for x.
-3
Let u(h) = -4*h - 4. Let i be u(-3). Let w = -6 + i. Solve 0*k = -w*k + 4 for k.
2
Let x = 4 - 2. Let d(j) = 6*j**2 + j. Let r be d(1). Solve 0 = x*l + r - 1 for l.
-3
Let c be ((-1)/4)/(((-20)/112)/5). Solve -c - 1 = 2*b for b.
-4
Let t = 1 + -2. Let x be -16 - (t + -2 + 2). Let k be x/(-6) - 1/2. Solve 0 = -k*o - 0*o + 4 for o.
2
Let m = 5 - 5. Suppose m = -3*l + 2 - 11. Let n be 1 - (-2 - l - 0). Solve n = -5*x + 4 + 1 for x.
1
Let f(a) be the second derivative of -a**3/6 - 7*a**2/2 - 3*a. Let y be f(-7). Solve y*p - p = -4 for p.
4
Suppose -4*q - 8 = -4, u - 3 = 5*q. Let d be 3 + (-44)/(2/u). Suppose -2*i = 3*r - d, -r + 30 = r + i. Solve 12 = -5*b - r for b.
-5
Let m = -36 - -42. Solve b + m = 3*b for b.
3
Let t = -21 - -38. Suppose 0*d = -3*d. Let x be (-8)/(-2) + (d - -1). Solve 0 = -x*m - t - 3 for m.
-4
Suppose -h - 3*h = 4*g, -3 = g. Suppose -3 = -c - 2*z + 3*z, -9 = -2*c + h*z. Solve -v - v - 4 = c for v.
-2
Let f be 1/(-2)*4/2. Let q be (f - -2)/(-2 - -1). Let r be 0 + q + 0 + 2. Solve 0 = -v + 6 - r for v.
5
Suppose -3*l + 382 = w, 5*l = -5*w + 243 + 387. Suppose -4*o - 24 + l = 0. Let p(j) = 4*j**3 + j**2 - 3*j + 2. Let x be p(1). Solve -o = x*z - 10 for z.
-4
Let m(z) = z**2 + 7*z - 16. Let s be m(-9). Solve -s = 5*c - 7 for c.
1
Suppose -2*l = l. Solve l = f - 6*f for f.
0
Suppose v - 3 + 1 = -h, -4 = h + 4*v. Let l(j) = -2*j - 2. Let p be l(-5). Let a = -2 - -2. Solve 0 = -h*q - a*q - p for q.
-2
Suppose j = -4*j - 530. Let c be -5*(2 + j/10). Solve -c = 5*v - 18 for v.
-5
Let f = -30 - -32. Solve f*g = 5 + 1 for g.
3
Let i(d) = -d + 5. Suppose -p = p. Let b be i(p). Solve -4 = -b*s + s for s.
1
Let r be (-30)/14 + 6/42 + 17. Solve 0*z = 5*z - r for z.
3
Let p(b) = 9 + 0 + 1 + 2*b - 2. Let i be p(-4). Let r(m) = -m - 1. Let c be r(-4). Solve 15 = -c*o - i*o for o.
-5
Let c = 2 + 0. Suppose -8 = z + 3*r - 4, 2*z - 12 = -r. Solve z = -c*x - 2 for x.
-5
Let k = -53 + 73. Solve -c = 3*c + k for c.
-5
Let h(b) = b**3 + 6*b**2 - b + 5. Let f be h(-6). Solve -5*p + f - 1 = 0 for p.
2
Let u be 1*(1 - -2) + 0. Let x be (-1 - -2)/1 + u. Solve -g - x*g - 25 = 0 for g.
-5
Suppose -3*v - 3 = -9. Solve x - v = -7 for x.
-5
Let u be (7 + -4)/(0 + 1). Suppose 1 = -c + u. Solve -c*i + 6 = -0*i for i.
3
Let n(a) be the second derivative of a**5/10 - 2*a**4/3 + 2*a**2 - 6*a. Let g be n(4). Solve -g*m + 3 = -5 for m.
2
Let f(j) = j**2 - 7*j + 4. Let u be f(7). Let t = u - 4. Solve 2*b = -t*b for b.
0
Let q(z) = -z**3 - z**2 + z + 2. Let r(w) = w**2 + 8