
Let n(g) be the third derivative of g**5/60 - g**4/3 + 3*g**3/2 + 9*g**2. Let z be n(7). Solve 0*q - z*q + 2 = 0 for q.
1
Suppose 0 = 2*g - 3*g + 3*z + 2, -6 = -3*g - 3*z. Suppose -g*x - f + 2 = 0, x - 3*f + 6 = 2*x. Solve -q + 4 + 1 = x for q.
5
Suppose 0 = -3*t + 2*t - o, 50 = 5*t - 5*o. Suppose t*u - 3 + 3 = 0. Solve 3*v - 9 = -u*v for v.
3
Let d(p) = -5 + 2*p - 2*p**2 - 2 - 16*p. Let m be d(-6). Solve 0 = -m*k + 2 + 3 for k.
1
Suppose 43*q - 14 = 42*q. Let r = 14 - q. Solve 0 = -3*x - r*x for x.
0
Let g(h) = h**3 - 16*h**2 + 37*h + 28. Let d be g(13). Solve 6 = -d*b - 4 for b.
-5
Let j = 236 - 184. Solve -k + 55 = j for k.
3
Let k = 0 + 1. Let t be (6/2)/k + -2. Let r be 6 + 0 + (0 - 6). Solve -n + t = -r*n for n.
1
Suppose -5 = -3*v + m - 3, 0 = 3*v - 2*m + 2. Suppose 0 = -4*h + 4*r - 8, 9*h - 15 = 2*r - 5. Solve v*s - h = 2 for s.
2
Suppose 0 = -2*g - 8 + 2, -2*g = -s + 10. Solve -s*h = -8*h + 8 for h.
2
Let w(q) be the second derivative of -q**3/6 - 2*q**2 + 3*q. Let c be w(-4). Suppose 2*b - b - 25 = c. Solve -4*p + b = -9*p for p.
-5
Let j = 78 + -70. Solve 0 = -4*k + 16 - j for k.
2
Let j(v) = -2*v**3 - 28*v**2 - 3*v - 35. Let a be j(-14). Solve -13 - a = -4*d for d.
5
Let z = 805 - 799. Solve z = h + 3 for h.
3
Let r(l) = -l**3 + 13*l + 21. Let t be r(-2). Solve -t*p + 0 = -6 for p.
2
Let l = -13 - -6. Let n = l - 0. Let m be n*(-1 - 0/2). Solve m = -5*v - 8 for v.
-3
Let z = -29 + 34. Suppose z*h - 35 = -0*h - 5*g, 0 = h + 5*g - 19. Solve -3 = -n - h for n.
-1
Suppose -5*t = -4*t - 4*n + 2, 4*t - 10 = -2*n. Let v be 13/5 + (-6)/(-15). Suppose l + 0*l = -v*l. Solve l = t*r + 2*r for r.
0
Let q = 693 - 596. Solve -2*l - q = -91 for l.
-3
Suppose 4 = 3*k + i, -3*k + 5 = 2*i - 3. Let s be k + 15 + (0 - -1). Let x = -1 + s. Solve -2*h + x = -7*h for h.
-3
Let h(y) = 14*y - 3 - 22*y + 5*y. Let f be h(-2). Solve 0 = 2*n - 5 + f for n.
1
Let n be 4/30 + 716/30. Suppose -n*k - 26 = -25*k. Let p = k + -26. Solve 0 = 3*j + 15 - p for j.
-5
Suppose -6*q = -q - 25. Suppose 0 = 7*d - q*d - 4. Solve 2 = -d*n + 4 for n.
1
Let t(j) = j**3 - 7*j**2 + 5*j + 6. Let y be t(6). Let x be (18/24)/(6/16). Suppose x = -m + 7. Solve -m*i + y = 10 for i.
-2
Suppose -14*v + 42 = -7*v. Solve 3*y + 3*y - v = 0 for y.
1
Let g = 1017 + -1012. Let c(x) = -3*x - 5. Let h be c(-4). Solve g*n - h - 8 = 0 for n.
3
Suppose -11*z + 9*z = 0. Solve -y + 2 - 3 = z for y.
-1
Let y(j) = -j**3 - 9*j + 2 + 4*j - 8*j - 14*j**2. Let d be y(-13). Solve d*z + 25 = -3*z for z.
-5
Let g = 32 - -9. Suppose -2*i = -g + 37. Solve i*x - 2 - 2 = 0 for x.
2
Let l = 19 - 27. Let o(x) = -3*x - 23. Let i be o(l). Solve 0 = -5*p + i - 6 for p.
-1
Let n be ((-5)/2)/((-3)/12). Let c be (-4 - -1)*n/(-6). Suppose -2*k = -c*k. Solve 0 = -4*p - k - 4 for p.
-1
Let p = -204 - -208. Solve p*i = 8*i + 4 for i.
-1
Suppose -4*q = 5*q - 738. Solve -q*p + 6 = -84*p for p.
-3
Let q be (-3)/(-4) - (-2)/(8/17). Suppose 0 = -y - q + 15. Solve -30 + y = 4*d for d.
-5
Let m(d) = d**3 - 2*d**2 - 6. Let v be m(3). Let k(q) = -q**2 + 10*q - 15. Let p be k(8). Solve -14 = -v*y + p for y.
5
Let l be 20*4/(-6)*(-18)/30. Solve 0 = l*d - 3 + 43 for d.
-5
Let o = -64 - -66. Let t be (-2)/o*0/(-1). Solve 8*n - 3*n = t for n.
0
Let j be (-15)/(-3*4/24). Let n = 40 - j. Solve 4*g + n = -g for g.
-2
Suppose 0 = -3*u + 5*j + 41, 3*u + 4*j + 3 - 8 = 0. Suppose 0*v + 2*v + 3*b - 8 = 0, -2*b = 0. Suppose -w - v = -14. Solve 2*t - w = u*t for t.
-2
Let j = -407 - -567. Solve -j*l = -155*l + 10 for l.
-2
Let y be (-1 - 14)*(1/3 + 1). Let w(i) = i + 25. Let p be w(y). Solve p*o = -0*o - 15 for o.
-3
Suppose l + 2406 = 2413. Solve -2*i + l*i = 5 for i.
1
Suppose -v + 2 = -8. Solve -t + v = -6*t for t.
-2
Let g = -2205 - -2216. Solve 14 = g*c - 30 for c.
4
Let x = -3 - -5. Suppose -70 = -9*r - r. Let q = r + x. Solve 4*d - d + q = 0 for d.
-3
Suppose 6 = 3*u - 0. Suppose 0 = u*d - 6*d. Solve 2*g - 8 = -d for g.
4
Let d = 13 + 44. Let r = d + -57. Solve r = -3*q + q for q.
0
Let l = -12926 + 12928. Let w = 0 + 3. Solve 1 = -w*q - l for q.
-1
Let m(u) = -3*u + 24. Let o be m(4). Solve -19*j - 28 = -o*j for j.
-4
Let g be 2/((-14)/35*(-2)/4). Suppose 4*u + 3*b + 2 - g = 0, -5*u + 2*b + 10 = 0. Solve 3 = u*s + 13 for s.
-5
Suppose -234 = -44*r + 5*r. Let z = 2 - -1. Suppose 0 = -q - 2, z*o = -9*q + 4*q + 2. Solve -o*t + r = -t for t.
2
Let h be (-1556)/(-26) - (-18)/117. Let i = -57 + h. Solve -6*v - 15 = -i*v for v.
-5
Let y = 975 - 953. Solve y*w - 24 = 16*w for w.
4
Let m(v) = 2*v**3 - 26*v**2 - v + 16. Let j be m(13). Solve 0 = -j*t + 5*t - 10 for t.
5
Let h = -417 - -417. Solve h = 4*g - 8 for g.
2
Suppose -4*i + 4*w + 52 = 0, 3*i + 0*w + w - 27 = 0. Suppose 148*d - i = 143*d. Suppose 0 = 5*x - 5 - 10. Solve x = d*q - 7 for q.
5
Let s(g) = 14*g**2 + 41*g + 150. Let n(j) = -5*j**2 - 14*j - 50. Let a(u) = 17*n(u) + 6*s(u). Let q be a(12). Solve 3*b - q = 4*b for b.
-2
Let r(o) = -o**3 + o**2 + 14*o - 8. Let n be r(4). Let b be (-2)/10 - (-33)/15. Suppose b*z - 3*z = n. Solve z = 5*d + 4 + 1 for d.
-1
Let i(d) = 3*d**3 + d**2 - 5*d + 3. Let o(c) = -4*c**3 - 2*c**2 + 5*c - 3. Let x(l) = 3*i(l) + 2*o(l). Let t be x(3). Solve -t*b = -b for b.
0
Suppose 4 = 2*s - 0. Suppose 0 = 4*q + 5*i - 21, -q + i + 1 + s = 0. Suppose 19 = -m - 5*j, -5*j = 3*m + 2*m + 15. Solve -m + 5 = -q*u for u.
-1
Let u(j) = 11*j**2 + 5*j - 5*j**2 - j - 4*j**2 + 4. Let y be u(-2). Solve y*s = s + 6 for s.
2
Let n(p) = -p**3 + 9*p**2 - 8*p + 12. Let q be n(8). Let h(l) = -3*l. Let z be h(0). Solve r + 2*r - q = z for r.
4
Let x(w) = 8*w + 10. Let r(c) = 7*c + 9. Let o(v) = 7*r(v) - 6*x(v). Let l be o(2). Solve l*b + 11 = -14 for b.
-5
Suppose 0 = -3*l + 59 - 2. Let h = l - 17. Solve 4 = -h*y - 6 for y.
-5
Let p(j) = -4*j + 16. Let s be p(-3). Suppose -2*f + s = -3*d - 18, -4*f = 5*d - 92. Solve -3*q + f - 8 = 0 for q.
5
Suppose 4 = -2*i, 5*r + 3*i + 21 = 5. Let b be r*((-20)/(-8) - 4). Let g = b - 3. Solve g = 2*x + 2*x - 16 for x.
4
Suppose 7*h - 5 - 9 = 0. Suppose -12 = -6*z + 3*z. Suppose z*p = 5*a - 52, -a + 22 = a - p. Solve a = -h*j - j for j.
-4
Suppose 5*i = 15, -8*b + 5*i - 147 = -5*b. Let l = b - -48. Solve -l*s + 10 = s for s.
2
Let j be ((-3)/(-6))/(1/(-42)*-3). Suppose -4*m + 6*l - 2*l = -8, -2*m + 5*l = -j. Solve d + 0*d = m for d.
1
Suppose -2*n = -98 + 30. Suppose -3*o + n = 4. Suppose -2*w = -4 + 2. Solve -3*q + o - w = 0 for q.
3
Let h be 4*((-10)/(-8) - -1). Suppose 6*r - h*r + 6 = 0. Suppose 3*n = -0*q + r*q + 18, 2*n - 2 = -2*q. Solve n*t - 3*t = 0 for t.
0
Let s(i) = i - 11. Let f be s(14). Let p be (-10)/5 - (0 - 3). Let m = 4 - p. Solve 3*k - m = f for k.
2
Let f = -6 + 14. Let k be (-26)/(-6) - f/24. Suppose c - 6 = -k. Solve -c*z - 2 = -4 for z.
1
Suppose -3*f + 17 = 2*f - 2*x, 4*f = 4*x + 4. Solve f*z + 138 = 158 for z.
4
Let j be 15/(-6)*6/(-5). Suppose -6 = j*w - 0*w. Let q be ((-28)/6)/(w/3). Solve -q = l - 3 for l.
-4
Suppose 0 = -3*z - 2*p + 71, 3*p = 4*p - 4. Let w = -23 + 27. Solve z = 5*y - w for y.
5
Let q be (-2 + 5/2)*6. Suppose 4*n - a = -2, 3*n - 5*a + 1 = -9. Let c be 10 - 4*(n + 1). Solve -c = -3*x - q for x.
1
Suppose 5*a + 7 = -5*q + 57, 5*a + 3*q - 58 = 0. Let s = -230 - -219. Let g = a + s. Solve -6 - g = -3*x for x.
3
Let m = 448 + -436. Solve -m*c + 14*c + 8 = 0 for c.
-4
Suppose 2*p = 4*r - 4, 4*p + 3*r + r = -32. Let f = p - -9. Solve -f*c = 2*c + 10 for c.
-2
Let o(h) = 6*h - 16. Let q(t) = 17*t - 48. Let m(n) = 11*o(n) - 4*q(n). Let l be m(8). Solve 0 = a + 3 - l for a.
-3
Let d = -343 + 352. Solve -3*q + 18 = -d*q for q.
-3
Suppose 47*i = -15*i + 682. Solve i*m = -5*m - 48 for m.
-3
Suppose 4*x = -3*f + 12, 15*f + 2*x = 16*f - 4. Let i be -1 - 2/(4/(-2)). Solve i*q = f*q - 12 for q.
3
Let q = 48 - 44. Suppose 5*b = 9 - 24, 0 = -x + 3*b + 17. Suppose x*p = q*p + 32. Solve p = -2*k + 6*k for k.
2
Suppose -2*o + 8 = -4*u + 6*u, 2*o - u - 2 = 0. Suppose -o*s - 8 = 2*r, -4*s + 3 = -r - 1. Solve s = -q - 4 for q.
-4
Let x = -754 + 754. Solve 4*t - 11 - 9 = x for t.
5
Let m(w) = 17*w + 28. Let i(g) = -g + 2. Let u(q) = -6*i(q) - m(q). Let r be u(-5). Solve -5 - r = 5*h for h.
-4
Let u be (-5)/(-6) + (0 - 3/(-18)). Let t be (4 + -9)*(-5)/u. Solve 9*p = 4*p - t for p.
-5
Suppose 837 = m + 834. Solve 0 = -10*w + 9*w - 