Let l be d(-1). Suppose -l*b = -5 - 10. Suppose -5*f + 51 = -9. Solve -n - f = b*n for n.
-3
Let y(w) be the third derivative of w**6/360 - w**5/15 - w**3/6 + w**2. Let l(d) be the first derivative of y(d). Let t be l(8). Solve 6*z - z - 20 = t for z.
4
Let p(i) = -11*i - 23. Let l be p(-5). Suppose 0*x = 4*x - 16. Solve -x*c + 12 = l for c.
-5
Let r(p) = 2*p**3 - p**2 + 3*p - 3. Let x be r(2). Let s = -27 - -29. Solve x = s*c + c for c.
5
Let z = 12 - 4. Let n = 25 + 11. Suppose 2*t + 4 = n. Solve -4*q = -z*q + t for q.
4
Let b(h) = -h + 1. Let v be b(-1). Let w be (4*v/(-4))/(-2). Let c be (w/(-1))/(3/(-9)). Solve 0 = y + 1 + c for y.
-4
Let u = 31 - 19. Let a = u + -10. Solve 2*b = -a*b - 8 for b.
-2
Let h = 3 + -12. Let d = h + 16. Suppose d + 2 = 3*y. Solve -y*o + 3 + 3 = 0 for o.
2
Suppose 0 = j - 3*j. Suppose j = 3*w - 4*l + 5, -w - l = w - 15. Solve 1 = w*n - 4*n for n.
1
Let w be (-6 - -9) + 0/(-2). Suppose 3*k - 18 = -w*r, -8 = -3*k - 5*r + 6. Solve -3*s - k = -s for s.
-4
Let k be -12*((-3)/4 + -1). Let t(s) = s**2 + 4*s + 2. Let l be t(-6). Let h = k - l. Solve -3*n - 8 = h for n.
-5
Suppose 20 = 5*g - 0. Solve -5 = g*w - 1 for w.
-1
Suppose -s - s = -4. Suppose -3*n + 25 = s*n. Solve 0*g = -n*g for g.
0
Let i(k) = k**2 - 1. Let d be i(-1). Let v(g) = 11 + 12*g**2 + d*g - 10*g - 2*g - g**3. Let u be v(11). Solve u = 2*p - 0 + 2 for p.
-1
Suppose 3*b - 4*s - 31 = -2*b, 0 = 4*b - s - 16. Let o be (-4)/(-5) + 222/10. Solve -5*m - b + o = 0 for m.
4
Suppose 5*o = 2*o - 6. Let r be 1/((-2)/6) - -4. Let t = r - o. Solve t*y = -2*y + 25 for y.
5
Let o(c) be the third derivative of -c**5/60 + c**4/8 - c**3/6 + 2*c**2. Let r be o(2). Let a be ((-12)/(-8))/(1/6). Solve 5*z = -a - r for z.
-2
Suppose -3*j - 10 = 3*l + 2*l, 2*j + 8 = -4*l. Let f be (-18)/l*(-5)/(-15). Solve -f*v - v - 8 = 0 for v.
-2
Let l be 65/(-7) + 6/21. Let g be ((-6)/l)/((-2)/(-12)). Suppose 2*f - 16 + g = 0. Solve -2*w = w + f for w.
-2
Suppose 5*v - 3 = 2*c + 2, -2*c = -3*v + 3. Solve 5*w - 5 = -c*w for w.
1
Let i = 37 + -25. Solve i + 0 = -3*u for u.
-4
Let b(n) = 5*n - 1. Let u be b(1). Suppose -4*f - 2*h + 0 + u = 0, h + 16 = 4*f. Suppose 8*z - 10 = f*z. Solve 4*o + z = -6 for o.
-2
Suppose -18 = -10*z + 2. Solve 3*o = o - z for o.
-1
Let f(y) = -y**3 - 2*y**2 - 2*y. Let d be f(-3). Suppose 5*g = -n + 4*n + 12, 0 = 3*g + 4*n - 13. Let m be (g + -3)*(1 - 0). Solve m*w + d = 3*w for w.
5
Suppose -6*u + 2*u = 0. Let l(z) = -z**2 + 9*z - 7. Let w be l(3). Suppose u = -5*o - 1 + w. Solve o*r = 5 + 1 for r.
3
Suppose -2 = -2*f - y - 0, -y = -f + 4. Solve -f*a = -4*a - 8 for a.
-4
Suppose 8 = -r + 5*r. Suppose -11 = -4*z - 35. Let t be 6*-8*r/z. Solve t = 2*h + 2*h for h.
4
Suppose 5*w + 16 + 9 = 0. Let v = -3 - w. Let l(u) = u**3 + 6*u**2 - u - 6. Let p be l(-6). Solve -3*o + v*o - 5 = p for o.
-5
Suppose -88 = -3*o + o. Suppose -3*w - o + 13 = -5*j, -3*j - w = -13. Solve -j*b - 4 = 6 for b.
-2
Suppose 0 = -2*s + 4, 2*q + 3*s - 26 = -3*q. Solve -b + 10 = q*b for b.
2
Suppose 0 = -3*g - 5*t + 27, 4*g - 4*t = 2 + 2. Let j = -4 + g. Suppose 2*w - 5*y - 18 = 0, 0 = -y - 0*y - 2. Solve j = -w*m + 4 for m.
1
Suppose 2*w + 3 = -l + 1, 2*l = w + 1. Suppose 4*d + 0*s - s - 6 = l, 0 = -3*s + 6. Solve -5*y - d = -3*y for y.
-1
Let t(f) = -3*f + 51. Let u be t(17). Suppose 0 = -0*w - 3*w. Solve z + u + 2 = w for z.
-2
Suppose -3*o + o + 54 = -2*i, 5*o = i + 47. Let r = i - -22. Solve 6*b - 3*b + 6 = r for b.
-2
Suppose -c - 3*c = -28. Solve 3*h = 22 - c for h.
5
Suppose -3*o = 4*r - 7 - 19, 3*r - 19 = -2*o. Let f(c) = 3*c**2 - 4*c**2 + 4 + 2*c**o - 3. Let p be f(0). Solve -w = p + 1 for w.
-2
Suppose -5 = -w + 1. Let x be (26/39)/((-1)/6). Let o = x + w. Solve 0 = -o*y - 2 - 4 for y.
-3
Let w be (-8)/6*(-3)/2. Let s be (-33)/9 - w/(-3). Let z be (4 - -2)*(-1)/s. Solve z*g - 2 = -12 for g.
-5
Suppose 3*s + 0*j + 2*j = -3, 0 = 3*j + 9. Suppose 0 = -a - s + 16. Solve a - 3 = 3*r for r.
4
Suppose -3*k + 4 = -41. Solve 2*h + h = k for h.
5
Let c(j) = -2 + 4 + 5 - 2*j. Let n be c(-5). Solve -3*z = n - 2 for z.
-5
Suppose 0 = -v + 3*v. Suppose -2*t - 3*m = -5, -t = 2*m + 2*m - 10. Let b = 3 - t. Solve b = -5*q - v for q.
-1
Suppose 0*i = -4*i + 8. Solve 0 = -f + i for f.
2
Let v = 82 + -81. Let u = -1 + 3. Solve -u*z - 11 = -v for z.
-5
Suppose 2*d = -d. Solve d*y + y = 5 for y.
5
Let c be 30/8*(-8)/(-3). Solve g = -g + c for g.
5
Let k = 9 + -2. Solve 0 = -2*a + 1 - k for a.
-3
Suppose 34 = 6*s - 8. Let t be (-2)/8 - (-2)/8. Let g be 3 + t + 1/1. Solve -g*i = -s*i - 9 for i.
-3
Suppose x = -3*s + 17, -4*s + s + x + 13 = 0. Let i be -3 - s/(-1) - -2. Suppose 0 = -i*r + 9 + 3. Solve r*z + 12 = -z for z.
-3
Suppose 2*h + y + 3*y = 24, -5*h + 36 = 4*y. Suppose -h*j + 4 = -4. Suppose -n + 6 = k, -2*k = -5*n - j - 17. Solve 2*i = k*i for i.
0
Let v = -6 - -9. Suppose -2*c + 3*k = -11, v*k = 3*c - 11 - 1. Solve 0*o + c = o for o.
1
Let h(l) be the second derivative of l**4/12 + 3*l**2/2 - 2*l. Let g be h(0). Solve -g*b + 6 = -9 for b.
5
Suppose r + 7 + 8 = -5*h, 3*r - 5*h = 35. Solve -10 = 3*v + r for v.
-5
Let s(m) be the third derivative of 2*m**2 + 1/10*m**5 - 1/120*m**6 + 0*m + 0 - 1/6*m**4 - 5/6*m**3. Let z be s(5). Solve z = 5*f - 5 for f.
1
Suppose 0 = -4*w + 8. Suppose 0 = 4*n - w*n - 40. Solve -n = -2*t - 3*t for t.
4
Suppose 5*c + 58 = -2*h - 69, 2*c + 46 = -2*h. Let d be c/(-6)*-2*-1. Solve 0 = -3*y - 0*y + d for y.
3
Let m = 56 - 32. Suppose -o - 2*o + m = 2*r, 0 = 4*r - 4*o - 8. Solve r*j = 4*j - 8 for j.
-4
Let m(o) = -o + o + 4*o - 5*o + 14. Suppose -i - 2*i + 30 = 0. Let r be m(i). Solve 3*s - r - 2 = 0 for s.
2
Let w(l) = l + 7. Let v(z) = 2*z - 3. Let g be v(-2). Let i be w(g). Solve i = 2*b - 4*b + 4 for b.
2
Let f = -20 - -23. Suppose -p + 40 = p. Solve f*j = -j - p for j.
-5
Let t(b) = -b - 5. Let x be t(-6). Let n be (5/10)/(x/(-2)). Let u be ((-6)/(-4))/(n/(-2)). Solve u = -c - 2 for c.
-5
Let k(s) = s**3 + 4*s**2 - 5*s - 4. Let z be k(-4). Solve z = -g - 3*g for g.
-4
Let s = 17 + -16. Suppose -2*d + 4 = -d. Solve g - d = s for g.
5
Let c(k) = k**3 + 3*k**2 - k + 2. Let t = 0 + -4. Let h be c(t). Let v be 2/(-5) + (-14)/h. Solve 8 + v = -3*l for l.
-3
Let n(h) = -h**2 - 5*h + 4. Let x(r) = -4*r - 1. Let q be x(1). Let t be n(q). Suppose -t*d - d + 75 = 0. Solve -2*g + d = g for g.
5
Suppose -m = -2*m + 20. Solve -3*i = 2*i + m for i.
-4
Let i(k) = -k**3 + 3*k**2 + 2*k - 2. Let n be i(3). Solve 2*m - m - n = 0 for m.
4
Let b = -10 - -10. Let f be -1 - (-2)/(1 - 0). Solve -f = -d - b for d.
1
Suppose -v = -4*p - p + 20, 5*p - 20 = -2*v. Solve v*q + q = 4 for q.
4
Let w = -48 + 53. Suppose 4*c + 4*t + 8 = 0, -4*c + 5*t - 15 = 2. Let h = c + w. Solve h*u = u for u.
0
Suppose -5*g + 25 = 5*l + 5, 0 = -l + 2*g - 8. Solve -5*z + 4*z - 4 = l for z.
-4
Let p be -2 - -2 - 0 - 0. Let o = -4 - -3. Let k be (-1 - (-2 - o)) + 4. Solve p = -g - g - k for g.
-2
Let i(a) = -2*a**3 - 4*a**2 - 3*a - 2. Let m be i(-3). Suppose 5*d - m = -0*d. Let x = d + -5. Solve -6*t + t + 10 = x for t.
2
Let y be (-255)/(-68)*(-4)/(-3). Solve y = 4*x - 15 for x.
5
Let k be (-2)/(-6) - (-55)/15. Solve k*n = -0*n - 20 for n.
-5
Suppose -9 = -4*q + 27. Suppose -3*j - 3 = -q. Solve j + 0 = -a for a.
-2
Suppose -2*c - 5*l + 15 = 0, -4*c + 6*l = l - 45. Solve 5*y - c = -0*y for y.
2
Suppose -4*u + u + r + 10 = 0, 22 = 3*u - 4*r. Suppose 3*x - 8 = -2*q + 2*x, 2*x = -u*q + 6. Solve -q*z = -1 - 4 for z.
1
Let v(m) = -m + 13. Let z be v(9). Solve -z*g = -7*g + 12 for g.
4
Let o be -9*3*(-6)/27. Suppose -b = q, -o*q = -q + 2*b - 9. Suppose 0*d - q = -d. Solve -d*n - 1 = -2*n for n.
-1
Let x(w) = -w**2 - 15*w - 12. Let m be x(-14). Solve 8 = -0*f - m*f for f.
-4
Suppose 0 = s - 2*c + 3, 21 = 5*s + c - 8. Solve 2*z - s + 1 = 0 for z.
2
Let j(x) be the first derivative of x**4/4 + 4*x**3/3 + 2*x**2 + 2*x - 1. Let i be j(-2). Solve 0*n - 2*n - i = 0 for n.
-1
Let q be (0 - 0)/(4/2). Solve 0 = -5*m - 15 - q for m.
-3
Let v be -8 - -8 - 0/(-3). Solve v*t = 5*t - 10 for t.
2
Suppose 23 = -5*v + 3. Let a = 5 + v. Let h be a/(1 + (-15)/18). Solve -21 + h = 3*b for b.
-5
Suppose m + 7 = -i, -3*i + 4*i - 3*m = -19. Let h = i + 28. Solve 5*s + h = 3 for s.
-3
Suppose -7*k + 2*k = -15. Let m be -6*(k - 0)/(-9). Suppose 2*u +