 15 = 0 for i.
-5
Let m(h) = h + 4. Let k be m(-6). Let g(l) = -l**3 - 3*l**2 - 3*l. Let x be g(k). Let w(s) = s + 5. Let c be w(-2). Solve 7 + c = -x*f for f.
-5
Let q be (-39)/(-18) - 2/12. Solve 7*f = q*f for f.
0
Let g = -24 - -27. Solve 0 = g*s - s for s.
0
Let g(q) = -q + 6. Let m be g(5). Let n = 3 - 3. Let u be (1 - -5) + n + -1. Solve 6 - m = -u*c for c.
-1
Suppose 0 = 5*j + 28 + 47. Suppose 3*i = -2*a + 4*i + 12, -4*i = -3*a + 18. Let b be ((-8)/a - -1)*j. Solve -b*z = -0*z + 20 for z.
-4
Let b(z) be the third derivative of -z**6/120 - 2*z**5/15 + z**4/3 - 13*z**3/6 + 2*z**2. Let q be b(-9). Let j = q - -4. Solve j*w = -2*w + 2 for w.
1
Suppose -f + 2*f = 2. Let x be ((-8)/(-6))/((-1)/(-36)). Suppose 2*r - f*o + 0*o = 46, -3*o - x = -2*r. Solve -3*z - r = -6 for z.
-5
Let q(k) = -k - 11. Let o be q(-14). Suppose 0 = -o*s - s. Solve s = 5*f - 7 + 2 for f.
1
Let k = 10 - 7. Solve 2*p = -k*p + 15 for p.
3
Let k = 2 + 0. Let t(o) = 2*o**3 - 3*o**2 + 2*o - 2. Let q be t(k). Suppose q = -0*s + 3*s. Solve -w = s*w for w.
0
Let b be (4 + 27/(-6))*-34 - 2. Solve 0*x = 5*x - b for x.
3
Let j be (-1 + (6 - 3))*-1. Let w be 11 + (1 + j - -1). Solve 4*s - 9 - w = 0 for s.
5
Let p = 7 + -28. Let z be (-4)/(-6) + (-91)/p. Let s(n) = n**2 - 2*n - 3. Let r be s(3). Solve r = -0*k - z*k - 20 for k.
-4
Let i be (1*2/4)/(10/80). Solve 0*o + i*o = 12 for o.
3
Let w = -35 + 38. Suppose -9 = -2*z - 1. Solve -w*h + 2*h = -z for h.
4
Let v be (-2)/3 + (-1448)/(-12). Suppose 7*x + 2*p = 2*x + 108, -v = -5*x - 5*p. Solve -x = 3*d - 5 for d.
-5
Let m be (-4)/(-2) + -2 + 2. Let r(x) = 2*x - 3. Let p be r(m). Let g be (-1 + -1)/p + 2. Solve g = 2*o - o for o.
0
Suppose 5*f - 11 = 3*x, -3*f - x + 3 = 2. Solve y = -f - 2 for y.
-3
Suppose 6*q - 2*q = 0. Suppose 0 = p - 5*d + 3*d + 6, -p + 5*d - 15 = q. Solve 2*v + v - 12 = p for v.
4
Let r(x) = 3*x + 8. Let a(h) = -5*h - 16. Let n(j) = 4*a(j) + 7*r(j). Let w be n(8). Solve -4*o + 3*o + 5 = w for o.
5
Let h(i) = i. Let g(p) = -p**3 + 6*p**2 + 4*p - 4. Let j(b) = g(b) - 3*h(b). Let y be j(6). Solve -2*v - y = -3*v for v.
2
Let i = 9 - 5. Solve 0*s + 4*s = i for s.
1
Let x be (8 + -5)/((-6)/(-8)). Let c = -3 + 5. Solve -c*r = -2 + x for r.
-1
Let t(n) = n**3 + 8*n**2 - 10*n + 2. Let a be t(-9). Solve -a = 3*v + 4 for v.
-5
Suppose 3*d - 4*v - 22 = 0, 2*d - 4*v - 6 = 14. Suppose d*c + 0*c = 10. Suppose -c*g - 13 = -5*h + 12, -4*h + 20 = 2*g. Solve 3*u - 12 = -g*u for u.
4
Let m(f) = -f**3 + f + 3. Let h be 1/((1/4)/1). Let g(v) = -v**3 + 5*v**2 - 4*v. Let x be g(h). Let r be m(x). Solve u + 8 = -r*u for u.
-2
Suppose -2*a - 20 = -4*a. Solve 0 = 4*q + 2 - a for q.
2
Let y = 2 - 0. Suppose 6 = 3*z - 6. Suppose -z*a = -6 - 6. Solve a*q - y = 4 for q.
2
Let y be ((-20)/6)/(4/12). Let n = 14 + y. Suppose -x - 2*x + 6 = 0. Solve 6 = n*z + x for z.
1
Let w(g) = -g + 18. Let s be w(8). Solve s = 3*u - u for u.
5
Suppose 0 = 5*i - 3*z - 2*z - 80, z - 4 = 0. Let y be (-77)/(-5) + (-8)/i. Let r be (-6)/12 - y/(-2). Solve 2*b - r = 3 for b.
5
Suppose 5*z = 16*z - 33. Solve -m + 6 = z for m.
3
Let f(t) = -t**2 + 14*t - 46. Let h be f(7). Let k = 20 - 14. Solve -c = -h*c + k for c.
3
Suppose 4*m - 34 = -5*f, 3*m - 4*f = -2*f + 14. Solve m = -3*r + 6*r for r.
2
Suppose 4 + 4 = -2*m. Let c be (0 - m)/(4/2). Solve -4*s = c - 6 for s.
1
Let g(c) = c**3 - 4*c**2 - 11*c - 4. Let i be g(6). Solve -i*j = j - 3 for j.
1
Suppose -5*b + l = 3, 0 = -0*l + 4*l - 12. Suppose b = -2*t + 5*t - 9. Solve t*w - w + 10 = 0 for w.
-5
Suppose -130 = -4*u - 2*z, 0 = 2*u + 2*z - 8 - 58. Suppose -2*h - 2*h - 16 = 0, u = 4*x - 3*h. Solve -x*p - 6 = 19 for p.
-5
Let g(n) be the first derivative of -n**2/2 + 11*n - 3. Let d be g(6). Let s(r) = r**3 - 5*r**2 - 5*r + 9. Let t be s(6). Solve d = -5*o - t for o.
-4
Let y = -5 + 6. Solve 0 = 2*g + 5 + y for g.
-3
Suppose 0 = 3*x + 2*u - 24, 2*x + u - 1 - 15 = 0. Let h = 8 - x. Solve -3*l - 2*l - 10 = h for l.
-2
Let b be (1*-2 + -21)/1. Let m = 55 + b. Suppose x = 3*x - m. Solve 0 = 5*z - 4 - x for z.
4
Let v(k) = -k**3 - 2*k**2 + k. Let i be v(-3). Solve i*c - 3*c = 0 for c.
0
Suppose 3*n - 3*y = -18, 3*y + 13 = -3*n + y. Let v = n + 3. Let i be 17/4 + v/8. Solve 0*a = -i*a for a.
0
Suppose 3*i + 5*h = -1, -3*i + 3*h = -i - 12. Let n = 4 + 5. Let b be n*2/(-4)*-2. Solve b = -i*q + 3 for q.
-2
Let r be -12*(7/(-2) - -3). Solve 4 + r = 2*v for v.
5
Let l be 4*(-1)/4*5. Let m = -5 - l. Solve m = -3*y - 3 for y.
-1
Suppose -6 + 0 = -3*s. Solve -s*q - 3*q = 15 for q.
-3
Suppose -2*w = -w - 6. Solve 4*o - o = -w for o.
-2
Suppose 10*x - 10 = 5*x. Let i be 9/6 + 1/x. Solve 2 = i*v - 3*v for v.
-2
Let f = -3 - 4. Let x = 7 + f. Solve x + 15 = 5*b for b.
3
Let o be (4 - 6) + (-12)/(-3). Solve -o*w = -0*w for w.
0
Let u = 17 + -15. Suppose -4 = -3*n + q + 2, 0 = n + 5*q - u. Solve 0*p = -2*p - n for p.
-1
Suppose 3*o = 2 + 13. Suppose 2*m = 6*m + 5*v - 5, 3*v - 3 = -o*m. Let x be 2*(0 + (-27)/(-6)). Solve 3*t + m*t = x for t.
3
Let m(h) be the second derivative of h**3/6 - 3*h**2 - h. Let j be m(6). Suppose -5*u - 3*g + 21 = 0, 2*u + 2*g - 10 = -j*u. Solve 6*z - u*z = 0 for z.
0
Let p(f) = f**2 - 6*f - 4. Let z be p(7). Solve -2*d - z - 1 = 0 for d.
-2
Let y = -15 + 24. Solve 0 = 5*m + y + 11 for m.
-4
Let r(c) = -c**3 - c**2 + c - 49. Let y be r(0). Let s = -24 - y. Solve 5*w = -0*w - s for w.
-5
Suppose g - 4*g = -15, s + 3*g = 26. Suppose c - 1 = -s. Let v be c*(-3 + 2) + 0. Solve h + v = -h for h.
-5
Suppose -3 = d, 4*d + 62 = -5*c - 0*c. Let m be (-26)/c + 2/5. Solve -m*o + 2 = -o for o.
1
Let a(m) = 3*m**2 + 3*m + 2. Let z be a(-1). Suppose 4*v - x = 11, 0 = -3*v - z*v - 3*x + 1. Solve t = v*t for t.
0
Let w(y) = y**3 - 7*y**2 + 6*y + 2. Let v = -10 - -16. Let h be w(v). Solve 0 = h*b - 7 + 1 for b.
3
Suppose -2*h - 6 = -0*h, 3*a + 4*h = 36. Suppose i = -3*c - 2*i - 27, c = 4*i + a. Let j = c + 7. Solve -j*m = 4 - 7 for m.
1
Let a(r) be the third derivative of -r**6/120 - 7*r**5/60 + 7*r**4/24 - 2*r**3/3 + 5*r**2. Let i be a(-8). Solve 4*f + i = 2*f for f.
-2
Let y be 10 + (-4 - -3) + -3. Solve -5*k = -y*k for k.
0
Let h(o) = o + 10. Let c be h(-6). Solve 0 = -3*d - 11 - c for d.
-5
Suppose 0 = 5*b - 2*o - 72, 0 = b - 3*b - o + 27. Solve 4*q - 2 - b = 0 for q.
4
Let l(v) = 13*v + 2. Let b be l(-1). Let j = 21 + b. Solve j = -5*d - 10 for d.
-4
Let b = 26 + -22. Solve -b*s - 7 = 1 for s.
-2
Let j(x) = x**2 - 2. Let t be j(2). Suppose t*o - 4*k = 5*o + 6, -o + 4*k = -14. Suppose -5*n + f = 3 - 11, -o*n + f = -2. Solve n*l - l = 4 for l.
4
Let w(t) = t**2 - 6*t + 4. Let m be w(6). Suppose 0 = -2*h - 3 + 11, -m*h + 16 = 5*z. Solve c + 3 = -z for c.
-3
Suppose 20 + 40 = 3*u + 3*s, -5*u = s - 120. Let i(t) = t + 2. Let b be i(2). Let f = b - 4. Solve -5*h = -f*h + u for h.
-5
Suppose 0*k - 30 = -10*k. Solve -3*q + 4*q + k = 0 for q.
-3
Suppose -g - 35 = 4*u, 4*u + g + 39 = 4*g. Suppose -8*l - 78 = 90. Let s = u - l. Solve s = -4*b + 8*b for b.
3
Let r be 1/(-3) + 70/30. Solve 0 = 5*o - 3 - r for o.
1
Let w(z) = 2*z + 41. Let y be w(-19). Solve y*l - 5 = 1 for l.
2
Let m(c) be the third derivative of -c**5/60 - c**4/3 - c**3 - 2*c**2. Let f be m(-6). Suppose 6*p - 3*p - f = 0. Solve p - 1 = -j for j.
-1
Suppose 14 = -5*b + 34. Solve -2*u + b*u = 0 for u.
0
Let z(c) = -4*c + 5. Let h be z(0). Solve 8*i - 3*i + h = 0 for i.
-1
Let j = -6 - -8. Suppose j*p - 3*p + 2 = -x, 0 = -x - 2. Solve 0 = 5*w - p*w for w.
0
Suppose -5*l - 3*o = -10 - 34, -2*l + 23 = 3*o. Suppose -4 + l = u. Solve 0*g + 15 = u*g for g.
5
Let x(m) = m**3 - 3*m**2 - 4*m + 4. Let h be x(4). Suppose 2*q - 8 = -0. Let t be (-8)/10*-1*10. Solve -q*v + h = -t for v.
3
Let d(f) = -4*f - 1. Let u be 0 + (0 + 6)/(-3). Let p be ((-1)/u)/(1/(-2)). Let b be d(p). Solve -g + 0 = -b for g.
3
Suppose -z + 45 = 2*z. Solve v = 4*v + z for v.
-5
Suppose 20 + 0 = 4*x. Solve -x = -4*u - u for u.
1
Let n(p) = -8 - 2*p - p**2 - 3*p - 2*p - p. Let a be (-3 - 0)*(4 + -2). Let j be n(a). Solve -o = j*o for o.
0
Suppose -9 = -5*c - 2*r - r, 5*r = 2*c + 15. Suppose 2*j = -c*j + 14. Suppose -j = -o - 3. Solve -o*l - 6 = -2*l for l.
-3
Let x(w) = 3*w - 6. Let u be x(5). Solve -5*v - u = -2*v for v.
-3
Let z(i) = -i - 6. Let q be z(-6). Solve q*r = 2*r for r.
0
Suppose -4*r + 14 = 2