-3*f + n for f.
2
Let o be ((-7)/21)/((-1)/6). Solve 0 = 3*b - 2*b, o = n + 2*b for n.
2
Let q = 45 + -42. Solve 0 = 2*l - 2, 0 = q*c - 4*l + 3 + 7 for c.
-2
Let r be 8 + (0 - 1) + -2. Let d(z) = 10 - r*z + 4*z**3 - 4*z + 9*z**2 - 5*z**3. Let m be d(8). Solve -5*i - 8 = -m*y, i - 2*y + 0*y = -8 for i.
0
Suppose 5*v = 4*v. Suppose v*i = -4*i + 12. Solve 0*p = -i*p, -4*d = -4*p for d.
0
Suppose 4*d = -4*q + 12, -7 = -3*q - 2*d + 7. Let i(v) = v - 5. Let m be i(q). Solve j + 10 = m*p, -p + 5*p + 3*j - 22 = 0 for p.
4
Let o(n) be the first derivative of -n**3/3 + n + 2. Let q be o(0). Let h be (0/((-2)/(-2)))/q. Solve -5*u + 3*p = -p + 17, h = -3*u + 3*p - 12 for u.
-1
Let i = -7 + 20. Solve -3*t = -3*a - 15, 2*a + 0*t = 3*t - i for a.
-2
Suppose -s + 23 = -3*y + 7*y, 3*s - 14 = -y. Let l = y - 3. Solve -l*u + n = -9, -2*u = 2*n + 2*n + 6 for u.
3
Suppose -2*n - 12 = -6*n. Suppose 0 = -5*u - 2*v + 42, 0 = -n*u - 3*v + 4 + 14. Solve 0 = -3*j - 2*j - u, -f - 9 = 4*j for f.
-1
Let f be ((-10)/(-4) + -2)*-2. Let l = 1 - f. Suppose -l*t = 2*t - 16. Solve -25 = 5*w, v = -t*v + w + 30 for v.
5
Let j(m) = -m - 4. Let d be j(-7). Solve 3*o + 12 = d*b + 3, 5*b - 6 = 2*o for o.
-3
Let v be (-1)/(-3) - 14/(-3). Let o = v - 1. Solve 4*u + 2*d + 12 = 0, d - 2*d = -o*u - 24 for u.
-5
Let a(o) = o**3. Let b(w) = -5*w**3 - 6*w**2 - 7*w. Let l(q) = -6*a(q) - b(q). Let i be l(7). Solve -5*u - c - 17 = i, 0*u + 4*c = -3*u for u.
-4
Let m(b) = 9*b**2 + 2*b + 1. Let n be m(-1). Let y = n + -3. Solve y*o = 3*c + 16, c = 3*o - 0*o - 8 for c.
-2
Let h(p) = 1. Let m(x) = -x + 6. Let z(n) = -2*h(n) + m(n). Let r be z(6). Let u be r*((-7)/2 + 1). Solve f + 2*f = -4*t - 21, -u*f - 2*t - 21 = 0 for f.
-3
Let n be (2/(-2))/(-2 - -1). Let s(f) = f + 7. Let g be s(-5). Suppose -6*m = -0*m - 66. Solve 4 = -2*h - 3*v + n, m = -g*h + 5*v for h.
-3
Suppose -c + 10 + 0 = 0. Let p be (-5)/c*2*2. Let n be p - 0 - 2/(-1). Solve 8 = -a + 5*s, a + n = -5*s + 2 for a.
-3
Let i(h) = -h + 2. Let o be i(-2). Let z be (2/o)/(3/90). Solve 0 = 4*y + 20, -y + z = 6*m - m for m.
4
Suppose 7*t - 94 = 102. Solve o + p = 8, 2*o + 6*p = p + t for o.
4
Let r be (0 + -28)*7/(-28). Solve -4*j - 37 = 4*p - 9*j, -2*j = p - r for p.
-3
Let u(v) = -v + v**3 - 2*v + 2 - v - 4*v**2. Suppose 0*i - 25 = -5*i. Let y be u(i). Solve -9 = 2*s + 3*n, 5*s + 21 = n + y for s.
-3
Let p(s) = 3*s + 9. Let t be p(-2). Solve t*i + h = 5*i - 12, -3 = -i - h for i.
5
Suppose 0 = -3*a + 2 + 4. Let o(z) = 3*z + 19. Let m be o(-5). Solve 0 = a*d + 3*d + 4*x + 18, d - m*x = 6 for d.
-2
Let q = 2 - 0. Let p be (-12)/(3/3 - 3). Suppose -3*a + 2*a + p = 0. Solve a = -5*f + q*u - 7, 4*f + 8 = 4*u for f.
-3
Let h(k) = k**2 + k + 2. Let g be h(-3). Suppose -u - 5 = 0, -5*n + 4*n = -u - g. Solve 2*t = 5*c - 17 - n, -16 = -3*c + 2*t for c.
2
Let y = 11 - 8. Suppose 0 = 5*h - 0*b + y*b - 13, -2 = -2*b. Suppose 4*f + 5*x = -8, 5*f - 4*x = 18 + 13. Solve f*n + 2*d = 6, -n + d + h = 3*d for n.
2
Suppose 5*n - 3*a = -38 - 76, 3*a - 9 = 0. Let q = n - -41. Solve -y + 4*g + g = q, -20 = -5*g for y.
0
Let n(z) = 3*z**2 + 2*z - 1. Suppose 4*r + r = 0. Suppose 2*p + 0 - 2 = r. Let l be n(p). Solve u = 2*g + 9, 2 = -0*g + l*g + 2*u for g.
-2
Let h be ((-2)/(-6))/((-2)/(-12)). Let i(f) = -3*f**2 + 1 + 0*f**h + 3 + 4*f**2. Let q be i(0). Solve -2*n = -5*n + q*c + 10, 0 = 3*n + 4*c + 22 for n.
-2
Let n(x) = 2*x**2 - 2. Let p be n(2). Let m(c) = c**2 + c - 6. Let g be m(0). Let b be (g/4)/(3/(-10)). Solve b*h + 4*s = -1, 3*h + 2 = 5*s - p for h.
-1
Suppose 3*x - 73 - 47 = 0. Suppose 3*q - 4*q = -x. Solve -2*c - w = -3*w, 5*w + q = -5*c for c.
-4
Suppose 4*o = 3*l + 66, 6*o - o - 4*l = 82. Suppose 0 = -4*a + 16, -4*a = -5*h - 6*a + o. Solve 0 = -h*y - 3*y + 3*t - 22, y = 5*t for y.
-5
Suppose 5*h - 21 = -1. Suppose -w + 2*w = -h*z + 53, 5*z - 66 = -w. Solve 3*k - o - 8 = 3*o, -o + z = 3*k for k.
4
Let w(v) = 2*v**3 + 2*v**2 - v. Let x be w(-2). Let i be (9/2)/(x/8). Let k be (-8)/i*(-3)/(-2). Solve k*y = -b + 4 - 5, -3*b + 5*y - 3 = 0 for b.
-1
Let p = 11 - 9. Solve -p*i = s + s - 2, -s = -2*i - 7 for i.
-2
Suppose 0 = 5*u - 12 - 13. Let z be (-6)/(-27) - 10/45. Suppose z = -3*v - 28 + 88. Solve 2*c - 18 = -4*s + 2, -4*s + v = u*c for s.
5
Let t(o) = o + 3. Let n be t(-2). Let w = n - -4. Solve -4*f + r = -0*r + w, 4*f - 20 = -4*r for f.
0
Let c be (1 - 2 - 0)/(-1). Let p(r) = -c + 2 - 4*r + 0*r + 5*r - r**3 + 9*r**2. Let y be p(9). Solve -4*t = 2*x + y + 2, -2*t - 10 = 0 for x.
4
Let g(z) = z**2 - 8*z + 7. Let b be g(7). Suppose -3*i + 3 + 0 = b. Solve 0 = -2*j + y - 1 - i, 4*y = j - 6 for j.
-2
Let r(l) = l**3 - 4*l**2 - 3*l - 6. Let q be r(5). Suppose p + 2*p = q*u + 3, 2*u = -3*p + 21. Solve -5*c - 16 = -2*h, -3*h - 25 = u*c - 7 for c.
-4
Let i be (-16)/(-6)*(-168)/(-32). Suppose 3*b - 7*b = -16. Suppose 5*x + b*n - 37 = 0, 5*x + 3*n = 4*x + i. Solve -p + 4*p = -x*f + 26, 18 = 2*f + 5*p for f.
4
Suppose 6*r - 8*r = -4. Let b be (-14)/10 + 4/10. Let f = b + 4. Solve -r*m + f*x + x = 12, -2*x = -3*m - 14 for m.
-4
Let b be (24/(-15))/((-4)/10). Solve 15 + 1 = -b*h, -7 = 5*f - 2*h for f.
-3
Let f(w) = w**3 + 6*w**2 - 17*w - 5. Let i be f(-8). Solve 0 = -4*s - 3*m + 16, -s - 2*m = i*m - 21 for s.
1
Let w be 3 + 7/1 + -4. Let j be (-26)/(-6) - 4/12. Suppose 3*t + 0*t = 5*i - 18, -i - 1 = j*t. Solve -2 = -4*f + m, i*m - 6 = -3*f + w*m for f.
0
Let f be ((-4 + 1)/6)/((-1)/8). Solve 0*h + 2*h - 30 = -f*u, -4*u = h - 25 for u.
5
Let c(o) = o**2 + o - 36. Let h be c(7). Solve h + 10 = -5*n - 5*y, 14 = -5*n - y for n.
-2
Let w = -3 - -7. Suppose -3*p + w*r + 38 = -p, 5*r = -5. Solve 5*s - p = 2*h, -11 = -h - s - 2 for h.
4
Let q = -15 + 7. Let n be (-182)/(-9) + q/36. Solve -j + 4*u + n = -0*u, u = j - 5 for j.
0
Let y = 6 - 9. Let f = y + -3. Let s be f/(-15) + 4/(-10). Solve s*a + 2*a + 3*w + 8 = 0, 0 = 3*w + 12 for a.
2
Let c = 9 + -5. Suppose d + 1 = -0*d + w, w - 5 = 0. Suppose 4*x + 4 = -3*f, 2*f - 4*f + d = -4*x. Solve -c*h - 8 = f, -11 = 4*q - 5*h - 1 for q.
-5
Let b(i) = -i. Let c be b(-4). Let m be ((-2 - 1) + 0)/(-1). Suppose -4*t = s, 4*s - t - t = 0. Solve 5 = -2*k - 3*o, s = k + c*k + m*o + 17 for k.
-4
Let l be 5 + 0*3/6. Suppose 2*z + 3*r + 66 = 0, -5*z = -0*z + l*r + 170. Let k be z/(-16) + (-1)/4. Solve 4*u + 0*q - 4*q + 28 = 0, 4*u = -k*q - 4 for u.
-3
Suppose -5*y = -y. Solve o + 4*o - 12 = -z, 3*o + 3*z = y for o.
3
Suppose -5*q = 5*r - 20, 4*r - 4*q + 5*q - 10 = 0. Let d = 15 - 8. Solve 8 - r = 2*j, 4*c = j - d for c.
-1
Let d(n) = n**2 + 13*n + 28. Let w be d(-13). Let s(j) = -2*j - 6 + 0 + 3*j. Let p be s(7). Solve -4*f = -4*l - w, f + p = -l + 4 for l.
-2
Let p be (1 + (-1 - -1))*0. Solve p = -v + f + 1, -2*f + 26 = 5*v - 0*f for v.
4
Suppose -3*v = -u - 2, 0 = -2*u + v + v - 20. Let w be (-32)/u - 18/63. Solve r = -5*h - 5, h + 0 + w = 0 for r.
5
Suppose 2*a + 54 = 2*y, -3*y + 0*a + 89 = -5*a. Solve 0 = -t + 4, 0*x + 5*t = -x + y for x.
3
Let r(a) be the second derivative of -1/2*a**2 + 0*a**3 + 0 + 1/4*a**4 - 1/20*a**5 + a. Let g be r(2). Solve 1 = b + 3*m, b - g*m = -2*b + 3 for b.
1
Suppose -3*t = t. Suppose -13 = -k - u, 4*k + u = 54 + 10. Solve -4*g = -s - t - 10, 3*g = -4*s + k for s.
2
Let d(s) = -s**3 + 6*s**2 + 2*s - 9. Let g be d(6). Solve w = g*u + 8, -4*u + 3*w = -w for u.
-4
Suppose 35*y - 12 = 32*y. Solve -i + 5 = -4*o, 7 - 27 = -y*i for o.
0
Let t(d) = -7*d - 1. Let l(c) = 4*c + 1. Let h(u) = 5*l(u) + 3*t(u). Let n = 1 - 1. Let b be h(n). Solve 4*z + v = -z + 16, 2*v + 4 = b*z for z.
3
Suppose 0 = -2*s + 2, -2*a - 4 = -2*s - 0*s. Let i be (-20)/(-5)*(1 - a). Solve i = -2*h - h + 5*p, -2*h - 8 = -4*p for h.
4
Suppose 5*j = -0*j + 20. Let g be j + 1 + -2 + -1. Solve 0 = 2*x + g*z + 2, x + 3*x - 5*z + 13 = 0 for x.
-2
Let j = -27 - -42. Solve -5*v + m = 3*m - 10, -5*v = 3*m - j for v.
0
Suppose -4*s + 7 = g, 0*s - 3*s - 69 = -2*g. Solve 3*z - 15 = 4*v - 4, -g = -2*v - 5*z for v.
1
Suppose -5*d + 3*d = -10. Let g(s) = -3*s**3 - s**2 + 1. Let p be g(-1). Suppose 2*l = p*l. Solve -2*q + d*f = -2 - 10, l = q + 5*f + 9 for q.
1
Suppose 0 = b - 2*b - 4*g - 3, -4*b + 78 = -2*g. Solve -h - 2 - b = -5*u, 7 = -5*h + 3*u for h.
1
Let n(a) be the first derivative of -a**3/3 + a**2 - 2. Let x be n(2). Suppose -2*b = 4*p, x = 3*p - 