 - g**4/12 + g**3 + 8*g**2. Let r be h(0). Solve -j = -r*j for j.
0
Suppose 0 = 9*u - 7*u. Suppose -3*g + 53 = 14. Suppose u = -l - 0*l + g. Solve l = 3*q + 4 for q.
3
Suppose n + 0*p = 5*p + 5, 0 = -3*n - 2*p - 2. Suppose 15 = 4*j - 3*s, -j - 2*s + n = 10. Solve -5*c + 10 + 0 = j for c.
2
Suppose -2*p = -4, 2*j + 5*p - 12 = 2*p. Solve -8*f = -j*f + 10 for f.
-2
Suppose -7*y - 48 = -4*j - 3*y, 0 = -4*j + y + 42. Solve -2*h + j = 3*h for h.
2
Let x = 36 + -36. Solve 0*t - t = x for t.
0
Let b = -5 - -7. Solve 0 = b*a + 2*a + 8 for a.
-2
Let g = -3 - -7. Let a be 0 + 7 - (2 + -3). Let c = a - 3. Solve -29 + g = -c*n for n.
5
Suppose 0 = -u + 2*u - 1. Let m(y) = 3*y**2 + 5*y - 4*y**2 + u + 2*y**2 + 4. Let w be m(-4). Solve -4*n + 11 = -w for n.
3
Let b be (-4)/6 - 44/(-3). Suppose -5*t + 9 = -4*x - 0*x, -x - 2*t = -b. Solve 6 = -r + x*r for r.
2
Let c = 1 + 19. Let j be (-6)/(-9) - c/(-6). Solve j*m + 5 + 3 = 0 for m.
-2
Suppose -18 = -3*n - 0*n. Let m be (-25)/(3/n*-2). Suppose 0 = -0*a - 4*a + 16. Solve 9 - m = -a*g for g.
4
Suppose c = -2*f + 4*c + 18, 4*f = -2*c + 4. Suppose 4*w = y + 19, w + y - 4 = -f. Suppose 0 = -5*m - 0*m + 100. Solve m = -w*b + 8*b for b.
5
Suppose 9 = -4*j + 29. Suppose s = 2*q - 5*q + 1, -3*s - j*q = -7. Solve -s*x - 1 = -17 for x.
4
Suppose 4*k - 64 = -24. Solve 0 = 3*q - 8*q - k for q.
-2
Let k = 2 - -4. Suppose 5*i - k = -4*h, 2*i + 8 + 12 = 4*h. Let a be (-2*1)/i + 2. Solve 2*o - a = o for o.
3
Let j be (-2)/8 - 26/(-8). Suppose 9 = j*y - 6. Suppose 0*b = y*b - 85. Solve 3*f + b = 5 for f.
-4
Let h(b) = b**3 - 12*b**2 + 12*b - 9. Let s be h(11). Solve -s = -4*n + 18 for n.
5
Let c(f) = -4*f - 55. Let g be c(-15). Solve -g*m = 11 + 14 for m.
-5
Let o(z) = 4*z - 1. Let x(i) = -i. Let w(h) = -2*o(h) - 6*x(h). Let a be w(-1). Solve a*y - 1 = -9 for y.
-2
Suppose 4*l - 12 = 3*q - 5*q, -q - 12 = -4*l. Solve l*h + 16 = 4 for h.
-4
Let q = -7 + 9. Suppose -o = q*o - 12. Suppose 0 = -5*h + o + 11. Solve -h*w = -w for w.
0
Let v(p) = -p**3 - 11*p**2 + 10*p + 21. Let x(t) = t - 1. Let b(f) = -v(f) - 4*x(f). Let j be b(-12). Solve 3*i = -j - 8 for i.
-5
Let k(b) be the second derivative of b**6/720 + b**5/60 - b**4/6 - 4*b. Let o(s) be the third derivative of k(s). Let q be o(2). Solve 6 - 22 = -q*h for h.
4
Let a(j) = -4*j + 63. Let c be a(15). Solve 7*x - c*x = 0 for x.
0
Let p(v) = -9*v**2 + v - 1. Let o(j) = 5*j**2 + 1. Let k(w) = -5*o(w) - 3*p(w). Let u be k(4). Solve 0 = -5*n - u + 3 for n.
-3
Let l be 1 + -1 + (-4 - -4). Let z(s) = -s + 2. Let t be z(l). Solve -t*g + 15 = g for g.
5
Let n(a) = -55*a**2 - 2*a + 2. Let w be n(-2). Let y be w/(-9) - (-6)/27. Solve -4*m + 8 = y for m.
-4
Let v = 8 - 16. Let h = v + 8. Solve 0*n + 3*n + 15 = h for n.
-5
Let o(n) = -n**3 + 11*n**2 + 11*n + 15. Let m be o(12). Solve 5 = -m*f + 2 for f.
-1
Let y = -23 - -31. Solve y = a + a for a.
4
Let f(a) = a**3 - 8*a**2 + 9*a - 10. Let z be f(7). Solve 10 = z*j - 6 for j.
4
Suppose 3*s - 2*u + 6*u = 2, 2*u = 4*s - 10. Solve -3*q - 15 = s*q for q.
-3
Let s(t) = 6*t - 3. Let y be s(2). Suppose 3*c - y = 4*j, 4*c - 3*j - 14 = -2. Solve 3*k = -0 + c for k.
1
Let w(f) = -f**3 - 14*f**2 + f + 9. Let v be w(-14). Let a be v/(-1)*(-26)/(-5). Solve -5*j + a - 1 = 0 for j.
5
Let c = -6 + -3. Let k = c - -9. Solve i = -k*i for i.
0
Suppose q = -5*o + 4*q + 37, -5*q = 4*o. Suppose 2*i = 3 + o. Solve w = -i*w for w.
0
Suppose 45 = w + 4*w. Let t = w - 7. Solve -t*l = -3*l - 2 for l.
-2
Let x = 3 - 6. Let v(p) be the first derivative of -p**2 - 3*p + 1. Let b be v(x). Solve 3 = 4*m - b*m for m.
3
Let q be (-6)/9 - 154/(-6). Solve -8*i = -3*i + q for i.
-5
Let v = 4 + 0. Let f = -4 + v. Solve f = r + r - 8 for r.
4
Suppose -6 = -7*v + 15. Solve -s = -v*s for s.
0
Let i(p) = -4*p**3 + 7*p**2 + 5*p + 5. Let n(c) = 7*c**3 - 13*c**2 - 10*c - 9. Let r(m) = -5*i(m) - 3*n(m). Let q be r(5). Solve 5*k = q*k for k.
0
Suppose 3*f - 1 - 44 = 0. Suppose 3*i = -i + 4*q - 16, -3*i = q - 4. Solve 5*y + i*y = f for y.
3
Let z(s) = s - 9. Let t(o) = 2*o - 1 - 2*o + 5*o. Let h be t(2). Let r be z(h). Solve r = m - 5 for m.
5
Let c(x) = x - 3. Let k be c(3). Let n = 5 - 4. Suppose n = -b + 4. Solve -3*l + k = -b for l.
1
Let n be 2 + 2 - (2 - 5). Solve 2*q = n*q - 10 for q.
2
Let n be 8/(-12)*3 - 6. Let j(a) = a**3 + 7*a**2 - 9*a - 5. Let k be j(n). Solve -2*q - q = -k for q.
1
Suppose -10 = p + 4*q, -2*p + 8 = -q + 2*q. Suppose -k + d - p = 1, 3*k - 4*d = -22. Let i be ((-3)/(-9) - 1)*k. Solve 0*u = -i*u + 16 for u.
4
Let t = 22 - 22. Solve t = 7*u - 2*u for u.
0
Let h(q) = q + 6. Let t be h(-4). Suppose 0 = -5*g - 3*r + 1, t*g + 4*r = -6 - 2. Solve f - 6 = -g*f for f.
2
Let m = -70 + 83. Solve -33 + m = -4*t for t.
5
Let g = -25 + 11. Let t = g - -15. Solve -4 - t = v for v.
-5
Let i = -4 + 3. Let a = i - 0. Let s = 1 - a. Solve -2*p + s = -0 for p.
1
Suppose b + 17 = 3*t - 8*t, 0 = b + 2*t + 2. Solve -7 - b = -3*s for s.
5
Suppose -4 = 2*w - 30. Solve -4*i - 5 = -w for i.
2
Suppose -p + 3 + 3 = 0. Let y be p/9 - (-38)/(-3). Let r be (y/(-9))/((-4)/(-6)). Solve -9 = r*t + t for t.
-3
Suppose 0 = y + 7*y. Solve 0 = -6*z - y*z + 30 for z.
5
Let s be 4/10 - 46/(-10). Suppose -s*t + 2*g = -10, 4*t + 4*g = g - 15. Solve 4*n + t*n + 20 = 0 for n.
-5
Suppose 4*v + 4 = -4*i - 0, 2*i - 3*v - 18 = 0. Suppose -j + i = 2*j. Suppose 2*o = j + 5. Solve -4*y = -y + o for y.
-1
Let w = -208 - -212. Solve -7 + 19 = -w*q for q.
-3
Suppose 14 = 3*h - 0*h + x, -18 = -3*h - 3*x. Solve 9 = l - h*l for l.
-3
Let x(y) be the first derivative of y**2/2 + 10*y - 1. Let g be x(-7). Suppose 0 = 2*w - g*w. Solve -4 = 2*m - w for m.
-2
Suppose c - 41 = -4*s, -2*c = -3*s - s + 26. Solve -4 = k - s for k.
5
Let x = -3 - -6. Solve x*k - 5 = 4 for k.
3
Let g(a) = a + 11. Let x be g(-10). Let o(f) = -f + 1. Let i be o(x). Suppose -u + 3*u = i. Solve 2*b - 2 - 4 = u for b.
3
Let m(h) = -h**2 + 9*h. Let u be m(9). Let c(z) = -z**3 - z**2 + 2. Let l be c(u). Suppose x - 5*i - 23 = 0, -2*x + 3*i = -l*i - 26. Solve -x*f - 4 = f for f.
-1
Let a(r) be the second derivative of -r**3/6 - 2*r**2 + 3*r. Let i be a(-2). Let p be i + 2 - 1 - -2. Solve 4*c - p = 11 for c.
3
Suppose 3*z - 5*h - 57 = 0, -h + 53 = -3*z + 7*z. Let y be ((-24)/(-20))/((-3)/(-10)). Solve -6 - z = -y*m for m.
5
Let x be 6/2 + -2 + 1. Let v be (-12)/(-3) - x - -13. Solve -2*y - y - v = 0 for y.
-5
Suppose 3*g - 12 - 6 = 3*k, -4*k = 2*g - 6. Suppose 4*c - 29 = -3*t + 9*c, -g*t + 73 = 4*c. Solve 0 = -3*n + t - 1 for n.
4
Let w = 9 - -19. Suppose -3 - 23 = -2*v + 4*z, -v + 5*z = -w. Suppose 0 = -7*j + v*j - 8, -4*j - 23 = -3*b. Solve -b - 1 = -2*p for p.
3
Suppose 3*n - 7*n = -8. Solve -5*g - 15 = -n*g for g.
-5
Let t(h) = -h**3 + 10*h**2 + 4*h - 33. Let y be t(10). Solve -2*g = -y*g - 10 for g.
-2
Let m(l) = l**2 + l - 1. Let y be m(2). Let w(u) = 3*u - 3. Let i be w(3). Suppose k + 6 = a, a + 2*k - 3 = i. Solve a = 4*b - y for b.
3
Let d(y) = y**2 - 5*y - 2. Let s be d(6). Solve -x - s*x = 0 for x.
0
Let g(l) = -2*l + 5. Let w be g(0). Suppose -5*t + 2 = h - 2, 0 = w*t + 3*h - 12. Solve 2*z + 8 = -t*z for z.
-4
Let r = -15 - -32. Let g = -13 + r. Let i = 31 - 19. Solve -4 = -g*b - i for b.
-2
Suppose 2*f = 3*f - 30. Let c be (6/5)/(12/f). Suppose 0 = -4*u - 3*b + 12, 2*u - c*u = 3*b - 3. Solve 0*m - u = -m for m.
3
Let p = -12 - -16. Suppose -5*i = -i + 2*m - 38, 0 = 2*i + p*m - 28. Solve -5*t - i + 28 = 0 for t.
4
Let q = -26 + 15. Let z = 16 + q. Solve z*h + 6 - 16 = 0 for h.
2
Let s be 1/((-3 - -2)/(-2)). Let g be 5 - ((-2)/(-2) - s). Solve -15 = g*q - 3*q for q.
-5
Let n = 0 - -3. Let h = 6 - 3. Let g = h + n. Solve 2*u - 14 = -g for u.
4
Suppose 5 = 7*r - 2. Solve r + 9 = -2*g for g.
-5
Let p(q) = -q**3 + 8*q**2 - 7*q + 5. Let k be p(7). Solve 0*n - k*n = 20 for n.
-4
Let w = 48 + -44. Solve h - w = 5*h for h.
-1
Let b be 6*(-5)/40*-4. Solve -5*c + b*c = 2 for c.
-1
Let r(u) = u**2 - 3*u - 10. Let f be r(-2). Solve -n - n + 10 = f for n.
5
Let r(x) = x**2 + 7*x + 6. Let w be r(-6). Let u be (1/(-4))/((-7)/56). Suppose 2*c - l = w, -4*c + 5*c = -u*l + 10. Solve f = 2*f - c for f.
2
Suppose -5*a = -7*a + 2. Solve 1 + a = 2*c for c.
1
Let o(l) = l**2 - l. Let a be o(1). Suppose q - 1 = a, 3*m + 2*m - 14 = -4*q. Let r be 47/5 + 2/(-5). So