 = 0. Let o be 3 - 5 - t/3. Solve -2*x + 3 = -o*x for x.
-1
Let g(m) be the second derivative of -m**3/6 + 5*m**2 + 3*m. Let i be g(10). Let c be 2/(i + -1) + 2. Solve -5 + c = -5*a for a.
1
Let d = 42 - 42. Solve -s + d*s = -4 for s.
4
Let g be (-24)/16*((-4)/2 - 0). Solve -g*o = o + 8 for o.
-2
Let t(z) = 3*z - 1. Let g be t(2). Suppose -4*o - 8 + g = -5*n, 0 = o - 2*n + 3. Let i be ((-2)/6)/((-1)/o). Solve 2 = y - i for y.
3
Let p(c) = c**2 + 4*c - 3. Let a be p(-4). Let h(w) = w**3 + 4*w**2 + w - 3. Let i be h(a). Solve 0 = -f + i - 1 for f.
2
Suppose -3*k - 24 = -7*k. Let w(b) = 2*b - 7. Let v be w(k). Suppose v + 2 = -2*i - 3*o, 4*i - 7 = o. Solve a = -i - 3 for a.
-4
Suppose 5*s + 60 = 4*y + 8*s, 0 = 5*s. Solve -6*z - y = -z for z.
-3
Suppose 3*z - 32 = 4*o, z - 5*o - 19 = -2*o. Let w = -20 + 22. Solve w = z*p - 18 for p.
5
Suppose 2*m = -3*l - 3, 5*l = 5*m + 3*l - 2. Solve m = 4*x - 5*x + 5 for x.
5
Let r(k) = -k**3 - 2*k**2 + 2. Let w be r(-2). Suppose 5*t - 2*c + 15 = 0, -w*t - 2*c = 2*c - 18. Let h be ((-1 - t)/(-3))/2. Solve h - 2 = -2*v for v.
1
Let s = 70 + -67. Solve -3 - s = 2*h for h.
-3
Let l(j) = -j**3 - 24*j**2 - 20*j + 77. Let k be l(-23). Solve 0 = -2*n - 12 + k for n.
-2
Let f be -2 - (-3 + 6 - 7). Solve 3*c - f = c for c.
1
Suppose 3*x - x = -18. Let i = x - -14. Suppose 4*v - 2*s = -i*s, -3*v = 2*s. Solve v = -f - f for f.
0
Let a(p) = -2*p - 1. Let x be a(2). Let u(o) = 5*o**2 + 2*o - 2*o - 2*o + o**3 - 6. Let n be u(x). Solve -4 = 2*k - n*k for k.
2
Let y(p) = -p**2 - p. Let u(w) = 5*w**2 - w + 1. Let m(c) = -u(c) + 3*y(c). Let k be m(-1). Let d = 7 + k. Solve d = -4*o - o for o.
0
Let x be (2 - 1)*(-4)/12*-6. Solve -x*g + 3*g - 2 = 0 for g.
2
Let t = 2 + -1. Let i be -1*(3 - 2/t). Let w = 10 + i. Solve w = -0*l - 3*l for l.
-3
Let y(m) = m - 2. Let v be y(4). Suppose a = v - 1. Let d = -6 - -8. Solve d = -j - a for j.
-3
Let h = -15 + 18. Solve 0 = 7*x - h*x + 20 for x.
-5
Let z(i) = i - 2. Let s be z(11). Let l be s/2 + (-1)/2. Solve 0*d - 4*d - l = 0 for d.
-1
Let z = 4 - 2. Let j(g) = g**3 - 3*g**2 + 3*g - 2. Let u be j(z). Suppose u*f = f + t, 3*f + 4*t = 0. Solve y + 3 + 2 = f for y.
-5
Let i(k) be the second derivative of -k**5/20 + k**4/3 - 2*k. Let l be 3/(-3 + (6 - 2)). Let y be i(l). Solve 0 = q - 4*q - y for q.
-3
Suppose 0*a + 6 = 3*a. Let p be a/8 + (-45)/20. Let x be p/(-4) + (-29)/(-2). Solve 0*r = -3*r + x for r.
5
Suppose 2*k - o + 18 = o, 0 = o + 2. Let f = k + 16. Suppose -h - 4*h = f*s - 30, -3*h - 14 = -5*s. Solve 0 = -y + 1 - h for y.
-1
Let a be -4 + -1 + 7 + -2. Solve a*d + 12 = -3*d for d.
-4
Let i(z) be the first derivative of -z**4/4 + 4*z**3/3 + z**2 - 2. Let f be i(4). Let q = 13 - f. Solve -k + q = -2*k for k.
-5
Let u(m) = m**2 + 3*m - 2. Let d be u(2). Solve n + d = -n for n.
-4
Let c(m) = -m + 4. Let u be c(-1). Solve 4*a = u*a for a.
0
Let i(p) = p**3 - 8*p**2 - 9*p + 1. Suppose -f + 1 = -8. Let o be i(f). Solve 3*b - o = 2*b for b.
1
Let j(r) = 4*r - 5. Let h be j(-6). Let p = -45 - h. Let y = -8 - p. Solve -c = 3*c + y for c.
-2
Suppose 3*v = 2*i - 16, 3*v + 5*i = -0*v + 19. Let r = v - -4. Let x(o) = o**3 + 5*o**2 + 5*o. Let s be x(-2). Solve s*p - r = p for p.
2
Let h = -3 + 7. Solve h = 2*r - 0*r for r.
2
Let c be (-1 - 1)*1 + (-1 - -4). Solve 3*x - 5 - c = 0 for x.
2
Let k be 3*4/18*9. Suppose -k*c = -3*c. Solve 2*g + 4 = -c*g for g.
-2
Let d = -167 + 177. Solve -d*s = -8*s for s.
0
Let r = -14 + 26. Let n be (r*1)/(3/2). Let k be 95/20 - (-2)/n. Solve 2*d = d - k for d.
-5
Let g be 174/15 - (-2)/5. Let m be (-6)/(-2 - 0/2). Suppose m*c + 0 = 9. Solve g = -c*v - v for v.
-3
Let g = -14 + 10. Let v be (0/2)/((-4)/g). Suppose v = -3*h + 2*u + 18, -5*u - 11 = h - 0*h. Solve 3*n = h*n for n.
0
Let p = -6 + 19. Suppose -2*i + 8 = 3*x, -3*i + p = -x + 1. Let n be ((2 - -2) + -2)/((-1)/(-2)). Solve x = n*u - u - 6 for u.
2
Let o(v) be the third derivative of 1/60*v**5 + 0 + 1/12*v**4 - 5/6*v**3 + 0*v + 2*v**2. Let f be o(-4). Solve 1 + f = -j for j.
-4
Let g = 58 - 18. Let t = 12 - g. Let r be t/(-6) + (-2)/3. Solve -r*w = -w + 12 for w.
-4
Let m(d) = -d**3 + 4*d**2 + 2*d - 5. Let y be m(4). Suppose -4*g - 10 = -u, -y*u - 4*g + 6*g = -20. Solve z = u*z for z.
0
Let l be (0/2)/(2 - 0). Solve l = -d + 1 - 6 for d.
-5
Let y = 5 - 11. Let q = y - -8. Solve q = -2*a - 2 for a.
-2
Let v(y) = -y**2 + 3*y. Let d be v(3). Suppose r + 4 - 16 = d. Suppose -g - 2*g = -r, 0 = -4*c + 4*g - 4. Solve c*f = -f for f.
0
Suppose 0 = -f + 1 - 10. Let w = f + 14. Solve 0 = -w*c + 3*c for c.
0
Let q = 1 + 1. Solve 2*l = l - q for l.
-2
Let y be (-10)/5 + (0 - -10). Let d be (0 - 1) + -2 + 0. Let c be (18/(-8))/d*32. Solve 4*p = y - c for p.
-4
Let a(b) = 10*b**2 + 2*b - 1. Let q = -7 + 8. Let o be a(q). Suppose -o*f = -6*f - 10. Solve -u + 1 = f for u.
-1
Let k(x) = -x**2 + x. Let a be k(0). Let w be (-10)/(-1 - (-3)/(-3)). Suppose -w*t + 4*g = 5, a = -8*t + 3*t - 4*g + 35. Solve 0 = 2*n - t*n for n.
0
Suppose 69 = 4*n + 3*m, -132 + 22 = -5*n + m. Let x = n + -19. Solve x*u + u + 3 = 0 for u.
-1
Let w(a) be the third derivative of a**5/60 + 5*a**4/24 + a**3/2 + a**2. Let q be w(-3). Let j be (-40)/(-12) + 1/q. Solve j*m + 12 = -m for m.
-3
Let x(p) = 2*p. Let h be x(2). Let d = -10 - -16. Suppose -t + d*t = 10. Solve 2*c = -t*c + h for c.
1
Suppose -1 = 3*x - 7. Suppose -x*n = -n - 4. Solve -n*m - m = 25 for m.
-5
Suppose 5*p + 0*p = 10. Suppose 3*v + v - 28 = -4*s, -v - p*s = -10. Let k = v + -1. Solve -k*o = 7 - 1 for o.
-2
Suppose -5*l + l + 16 = 0, -l + 13 = 3*k. Suppose 5*n - 32 = k*w, 0 = 5*n - 2*w + 7*w. Solve 2*f + n = -0*f for f.
-2
Suppose s + 0*s = 0. Suppose -c + 5*c = s. Suppose 0*b = -4*j + 2*b - 2, c = -4*j - 5*b + 19. Solve -11 = -3*i + j for i.
4
Let s = -4 - -7. Suppose 3*l - 2*l = s. Suppose 2*u - 2*b + 17 = 7, 4*b - 20 = -4*u. Solve u = 2*c + l*c for c.
0
Let q = 0 + 6. Solve -3*x - q = -6*x for x.
2
Let n be 3 + (-10 - -6) + 4 + -1. Let s(q) = -q + 6. Let k be s(3). Solve -k = n*x + 3 for x.
-3
Let l(y) = -y**2 - 32*y - 53. Let d be l(-30). Solve d*t + 15 = 2*t for t.
-3
Suppose 5*b + 90 = -0*b. Let h be 2/(4/b*-3). Solve f + h*f = -16 for f.
-4
Let m(a) = -a**2 - 19*a + 45. Let h be m(-21). Solve 16 = -7*u + h*u for u.
-4
Suppose j - 3 = 8. Let m(p) = p - 5. Let z be m(j). Suppose -z = -4*o + o + 3*k, -5*o + k = -22. Solve 3*i = o + 4 for i.
3
Suppose 0 = -3*c + 7 + 11. Suppose y = -y + c. Solve 4*j = -1 - y for j.
-1
Let w = 49 - 44. Solve -w*z - 31 = -11 for z.
-4
Let y = -16 + 24. Solve q = 3*q + y for q.
-4
Let u = -8 - -11. Let k(x) = u + 5*x - 2*x + 2*x**2 - x**2. Let y be k(-3). Solve y*o = o + 6 for o.
3
Let g = 26 - 24. Solve -g*m - 4 = -2 for m.
-1
Let o(u) = u**3 - 5*u**2 + 7*u - 10. Let x be o(4). Solve 0 = 5*k - 23 - x for k.
5
Suppose k = 3*p - 6*p - 23, -3*p = -4*k + 13. Let x be 0/2 - (p + 4). Suppose -x*f + 6 = -2*f. Solve f - 3 = 3*i for i.
1
Suppose -d = -6 + 1. Suppose 2*j + j = -d*r + 12, 0 = r. Let l = -4 + j. Solve 2*k + 2*k - 12 = l for k.
3
Let p(y) = -y**3 + 3*y**2 - 2*y + 2. Let k be p(2). Solve 0*o - k = -2*o for o.
1
Let h be (24/10)/((-6)/(-20)). Let u(j) = j + 10. Let w be u(-7). Suppose 2*i = -w*i + 125. Solve 3*o - i = h*o for o.
-5
Suppose 6*z = -0*z. Solve 0 = q - z*q for q.
0
Let z be (-3)/(-2) + 52/(-8). Let w = -9 - -16. Let y = w + z. Solve t - y*t = -3 for t.
3
Let b be 1*3 + 4 + -2. Suppose -b*d = -5*j - 35, 6*d - 3*d = -5*j + 5. Let l be (j/(-6))/(8/48). Solve -l*k = 12 - 2 for k.
-5
Let t = -7 - -9. Suppose 0*c = -t*c. Solve r + c + 5 = 0 for r.
-5
Let a(i) = i**2 - i. Let t be a(2). Solve 3 = f + t*f for f.
1
Suppose 0 = i - 3 - 2. Solve 0 = i*m + 17 - 7 for m.
-2
Suppose 0 = -12*o - 5*o + 6*o. Solve o*a + 2 = a for a.
2
Suppose 88 = 3*o + o. Let n be 40/22 + 4/o. Solve -n*s + 4 = 10 for s.
-3
Suppose 0 = 2*z - z + 2, -4*j + 12 = 2*z. Suppose j*b - 2*b = v - 9, -4*b = 2*v + 14. Let q be (1 + -6)/(1/b). Solve 2*f + q = 7*f for f.
4
Suppose 0 = -3*b + 4*p - 90, 5*b + p = 4*p - 139. Let z = -11 - b. Solve i = -2*i - z for i.
-5
Let v(x) = -2*x + 30. Let i be v(16). Let o(u) = -u**3 - 4*u**2 - 4. Let c be o(-4). Let h = i - c. Solve 4*t - h*t - 2 = 0 for t.
1
Suppose 16*d - 30 = 10*d. Solve 3*y + 2 = d*y for y.
1
Let n = 30 + -30. Solve n 