 0 for g.
3
Let o(k) be the first derivative of k**4/12 + 7*k**3/6 + 4*k + 2. Let l(g) be the first derivative of o(g). Let y be l(-7). Solve -r - 3*r + 12 = y for r.
3
Let r(u) = u - 7. Suppose -2*n - n + 36 = 3*j, 0 = -2*n + 10. Let w be r(j). Solve 0*x - x - 1 = w for x.
-1
Suppose 18 = 3*g + 12. Solve t = g - 7 for t.
-5
Suppose -13 = -7*b - 6. Solve 3 - b = -h for h.
-2
Suppose -p + 3*z = -3 + 11, -4*z = p - 20. Suppose 14*h - 10*h = 3*m, h = -3*m. Solve m = p*a - 3*a + 4 for a.
-4
Suppose 3 = 83*u - 82*u. Solve 0 = u*h - 4*h - 5 for h.
-5
Let f = 34 - 34. Solve 20 = 5*m - f for m.
4
Suppose -4*x - 5 = x. Let r(f) = -f**3 + f**2 + 1. Let s be r(1). Let g = s - x. Solve -2*u - 6 = g for u.
-4
Let k(x) = -2*x**2 - 6*x. Let s be k(-3). Solve s = 5*v - 0*v + 20 for v.
-4
Let m(f) = 45 - 8*f - 45. Let h be m(-1). Suppose 2*j - 3*k - 12 = -6*k, 2*k = -4*j + h. Solve 2*w + 2*w - 8 = j for w.
2
Suppose 3*t + 5*g - 3*g - 26 = 0, 68 = 4*t - 4*g. Solve t + 13 = 5*z for z.
5
Suppose 3*u - 10 = 2. Let a be 18/(-8)*16/(-6). Suppose 3*r - 6 = -0. Solve -u*w - a = r for w.
-2
Suppose 4*w - 168 = -3*w. Solve -6*j = -0*j + w for j.
-4
Let a(y) = 2*y + 6. Let t be a(-1). Solve 8*k - t*k = 8 for k.
2
Suppose 7*r = 3*r + 8. Solve -r*w + 2 - 6 = 0 for w.
-2
Let p be ((-8)/3 - -1)*-3. Suppose q - 8 = p*q, 0 = 2*k - 5*q - 4. Let b = -3 - k. Solve -6*u + 3*u - 9 = b for u.
-3
Suppose -11*u = -26 - 62. Let q(f) = f**2 + 5*f - 1. Let r be q(-5). Let k = r - -4. Solve k*a + u = -a for a.
-2
Suppose -16*k = -19*k. Solve k = -3*l - 3 for l.
-1
Let d(w) = 2*w + 1. Let k(i) = 8*i + 5. Let u(s) = 9*d(s) - 2*k(s). Let p be u(3). Solve -o - 3 = -p for o.
2
Let o(p) = p - 1. Let h be o(4). Suppose -h*k + 2 = -2*k. Suppose -4*d = 3*a + 2, 0 = 5*d + 3*a + k - 1. Solve -y + 0*y + d = 0 for y.
1
Suppose -m - 2*m = -9. Let f = m - 1. Solve 0*q + f*q = 0 for q.
0
Suppose -2*a - 5*r + 70 = 3*a, -2*r + 18 = a. Solve 10 = -a*q + 5*q for q.
-2
Let a be (1 - 0 - 0) + 3. Let h be 3 + 5/(10/a). Suppose 0 = -h*w - 2*t - 3 + 19, 4*t - 2 = 5*w. Solve 3*r - w*r = 0 for r.
0
Let o(h) be the second derivative of -h**4/12 + 3*h**3/2 - 5*h. Let v be o(6). Suppose 5*q = 5*g, q - 3*g + 4 = -0*g. Solve 0 = -5*p - v - q for p.
-4
Let z(v) = 5*v - 2. Let p(l) = -11*l + 4. Let i(j) = -6*p(j) - 13*z(j). Let n be i(6). Let h = -6 + n. Solve -h*k = -3*k - 2 for k.
-2
Let l = -24 - -27. Solve -l*z = -z + 2 for z.
-1
Suppose 14*w + 12 = 16*w. Solve -4*g + w = -g for g.
2
Let z(u) be the second derivative of -u**5/20 - 7*u**4/12 - u**3/6 - 3*u**2/2 + 2*u. Suppose -7*y - 40 = 9. Let s be z(y). Solve 1 - s = i for i.
-3
Let o be 5*3/(-1*3). Let g = o - -4. Let q be g*(2 - 2)/2. Solve -s + q = 4 for s.
-4
Suppose 15*f + 36 = 19*f. Solve 4*w - w = -f for w.
-3
Let w(m) = m**2 - 2*m. Let i be w(3). Let g be 1/(i/(-6)) - -4. Let d be (g + -3)*(-6 - -3). Solve -f = d*f for f.
0
Suppose -3*h + 4*v + 8 = 3*v, -3*h = v - 4. Solve -1 + h = p for p.
1
Let f = 48 + -46. Solve r + f = -2 for r.
-4
Suppose -z + 45 = 4*z. Solve 0*h = 3*h - z for h.
3
Let i(c) = c**2 - 4*c + 4. Let j be i(4). Suppose 3*m = 8 + j. Solve -k = m*k for k.
0
Let y = -2 + 6. Suppose -y*v + 8 = -3*w, 4*w - 8 = -3*v - v. Solve v*g - 3 = 5 for g.
4
Let c = 26 + -26. Suppose c*x = -x. Solve 2*y + x = -2 for y.
-1
Let u be 162/(-36)*8/(-3). Solve -u*z = -8*z + 12 for z.
-3
Let s be ((-4)/4 + 5)/2. Let a(k) be the third derivative of k**6/120 - k**5/30 + k**4/24 + k**3/6 - k**2. Let i be a(s). Solve i + 2 = m for m.
5
Let m = -6 - 6. Let v = m + 12. Solve v = 2*y + 2*y for y.
0
Let q be ((-4)/8)/((-1)/10). Suppose -q*u + 1 = -14. Solve 0 = u*p - 8 - 4 for p.
4
Let l be 36*-3*1/(-9). Solve y + 2*y = l for y.
4
Let t be (-1)/3 - 10/(-3). Let k(f) = -4*f + 9. Let w be k(3). Let s = t + w. Solve i - 5*i = s for i.
0
Suppose 4*m + 4*b - 36 = 0, 0*m + b + 6 = 2*m. Suppose 0 = -0*n + 3*n + 9. Let q be 1 + n + 1 + 3. Solve -l = -q*l + m for l.
5
Let m(z) = -z**2 + z + 4. Let k be m(0). Suppose -2*g + 5 = -3*g, 75 = -k*x + g. Let i be (x/25)/((-4)/10). Solve 0 = i*l + 3*l - 5 for l.
1
Suppose -u = 4*i + 3, 2*u + i = 5*u - 4. Let h be 1 - -1*(u + 0). Suppose 0 = -h*q + 3*q. Solve -z = -q*z for z.
0
Let y be -1 - -3*3/9. Solve -2*f - f + 9 = y for f.
3
Let b = 12 + -17. Let g = b + 7. Solve -d + g = 3 for d.
-1
Let w = 4 - -3. Let d = w + -8. Let r be 1*(1 - -3) - d. Solve 2*f = f - r for f.
-5
Let n(z) = z - 3 - 6 - 4*z. Let i be n(-6). Let w = i + 1. Solve -f - f - w = 0 for f.
-5
Suppose i + 0*i = 2. Suppose 5*n - 31 = -2*r + 174, 0 = n + 5*r - 18. Let w = -23 + n. Solve -i*o - 3*o = w for o.
-4
Let a = -15 + 35. Suppose 2 = 5*u - 2*y - 0, 0 = -3*u + 3*y + 3. Solve c - 5*c - a = u for c.
-5
Let y be (-2 + 1)/(2/(-10)). Suppose 5 = y*g - 0. Suppose -2 = -2*d + 3*d, 3*d = 4*p - 26. Solve g - 6 = -p*b for b.
1
Let r = 0 - -2. Suppose 0 = -7*g + 3*g - 3*d + 15, -r*d = -2. Solve g*t = -t for t.
0
Let l(m) = -5*m - 23. Let h be l(-5). Solve 2 = -2*y - h for y.
-2
Let c = -15 + 15. Suppose b + 4*y + 4 = 0, 0*y - 4*y = -2*b + 16. Suppose -2*x - 16 = -b*x. Solve c*u + 2*u + x = 0 for u.
-4
Let b(g) = -g**2 + 15*g - 9. Let k be b(14). Solve 2 = -x + k for x.
3
Let l be 10/(-3)*6/(-4). Suppose -l*q + 18 = -2*f, 2*q - f = 4*f + 24. Suppose g - q = 3*j, 0 = -4*j - 4*g + g + 19. Solve 26 - j = 5*n for n.
5
Suppose i + 7 - 1 = 0. Let q = i + 7. Solve -16 + q = -3*b for b.
5
Let w = 19 - 42. Let d = w - -32. Let r(y) = y**3 - 3*y**2 - y + 3. Let l be r(3). Solve -d = 3*i - l for i.
-3
Let y(d) = 4*d**2 + 1. Let f be y(-2). Let r = f - 9. Solve 3*b + r = -4 for b.
-4
Suppose -2*f + 2 = n, -10 + 4 = -3*n - 5*f. Solve -5*h = 22 - n for h.
-4
Let m(p) = 3*p**2 + p + 1. Let d be m(-1). Suppose d*r = r. Solve 6*g - g = r for g.
0
Suppose -2*a + 2*z = -2, -a + 2*z - 3 = -3*z. Solve g + a*g = -12 for g.
-4
Suppose 2*s + 0*s = -4*s. Solve -3*j + s*j = -15 for j.
5
Let a(i) = -2*i - 40. Let g be a(-22). Solve p + 5 = -g*p for p.
-1
Let l = -3 - -8. Let p be (-4)/(-14) + (-12)/(-7). Solve j = l - p for j.
3
Suppose -d + 5 = -1. Solve 3*u + 15 = d*u for u.
5
Let q(x) = x**3 - x**2 - x. Let u be q(2). Let r be u + 0*(-3)/(-9). Solve -r*d + 1 - 7 = 0 for d.
-3
Suppose 2*a + 2*j = -0*j + 2, j = -4*a + 13. Let l = a + -1. Solve 0 = 2*f + l*f - 5 for f.
1
Let r = -21 - -25. Solve -r*d = -9 + 1 for d.
2
Let f(n) = -2*n - 14. Let h be f(-9). Solve h*o + 1 + 15 = 0 for o.
-4
Suppose 0 = 7*c - 3*c - 36. Suppose i - 2*i = 0. Let h(x) = x**2 + 6*x + 3. Let u be h(-6). Solve -c = -i*q + u*q for q.
-3
Suppose -x - 1 = 1. Let o = x - -4. Let n be (-1)/(-3) + 22/6. Solve 4 = n*u - o*u for u.
2
Suppose 0 = 2*k - 2*p - 18, -k = 4*k + 3*p - 53. Solve -k = -5*d + 3*d for d.
5
Suppose -5 = i + 4. Let d be 2/(-9) + (-2)/i. Solve d = 3*h - 2 + 5 for h.
-1
Let u(h) be the third derivative of -h**6/120 + h**4/24 - h**2. Let b(i) be the second derivative of u(i). Let o be b(-1). Solve o = c + 2*c for c.
2
Let j(f) = -2*f + 8. Let b be j(8). Let w be (4/b)/((-1)/(-2)). Let c = 10 + w. Solve 3*p = c - 0 for p.
3
Suppose 5*l + 12 = 42. Solve -d = -l*d + 15 for d.
3
Let g(x) = -2*x + 4*x + 0*x - 7 - 3*x. Let c be g(-9). Solve 0*t + 10 = -c*t for t.
-5
Let z = 37 + -25. Solve -6*q + z = -2*q for q.
3
Let u be (-7 - 0)*(-4)/28. Solve -3 + u = -2*z for z.
1
Let t be (2/(-5))/(44/(-330)). Solve -19 = -t*j - 34 for j.
-5
Let a(m) be the third derivative of m**6/120 + m**5/12 + m**4/6 + 3*m**2. Let j be a(-4). Suppose -4*u + 12 = 0, j*t + 3*t + 2*u = 15. Solve 5 = 2*x + t for x.
1
Let o = -15 - -29. Let g = -1 + 2. Let j be (1 + -2)*(-3 + g). Solve -j = -4*v + o for v.
4
Let i be (-2)/6 - (-110)/6. Let u = -3 - -5. Solve 0 = 4*r - i - u for r.
5
Let z = 11 + -8. Suppose -z = -2*a + 9. Suppose 0 = -2*t - t + 3*q - a, -3*t + 18 = 3*q. Solve t*j - 1 = j for j.
1
Let j be (-5 - -2)/(-12) - 7/(-4). Solve 0*m + j*m = 0 for m.
0
Suppose 3*p - 9 - 6 = -4*h, -16 = -4*h - 4*p. Suppose 0 = -3*r + c + c - 4, -40 = -5*r - 6*c. Solve d + h = -r*d for d.
-1
Suppose -f = -0*f - 4. Solve 3*h = -h + f for h.
1
Suppose -21 - 10 = -3*h - 4*w, -3*h + 19 = w. Solve 0 = -2*q + h*q + 6 for q.
-2
Let o be (-6)/((-3)/(-8)*4). Let w(n) = -n - 2. Let k be w(o). Solve -k*r = 3*r + 25 for r.
-5
Let x(k) = -11 - 7 + 4 + 2 - k. Let a be x(-13). So