0 = -g*k - 7 + 3 for k.
-1
Suppose 63 = -p - 0*p. Let c be 51/7 - (-18)/p. Solve -c = -2*z - 3 for z.
2
Let p be ((-64)/(-12))/(6/9). Let x(s) = s**3 - 7*s**2 - 6*s - 11. Let n be x(p). Solve 2*d - 7*d - n = 0 for d.
-1
Suppose 0*g = -4*u + g - 5, -25 = 5*u - 5*g. Let n be u + 1 + 2 + 1. Solve k - 2 = -n for k.
-2
Let c = 3 + 0. Solve -5 = -c*l + 1 for l.
2
Suppose 0 = -4*d + 12 + 24. Let l(f) = -f + 11. Let w be l(d). Solve -s = -w*s + 1 for s.
1
Suppose 0 = j + 4*t + t + 3, 4*j - 2*t = -34. Let f be (j - -3)/((-1)/3). Let u = 22 - f. Solve 0 = 3*i - u*i + 8 for i.
2
Suppose 16 - 6 = 3*i - 2*m, -7 = -i - 3*m. Suppose 10 = 9*f + f. Solve -f = -d + i for d.
5
Suppose 0*b - 3*b + 2*d + 28 = 0, -d = -3*b + 23. Suppose -3*v - 90 = -f, -2*f - b*v + 125 = -v. Suppose 0 = -0*x + 5*x - f. Solve -5*l + 2*l - x = 0 for l.
-5
Let l be 2/(-8) - 99/(-12). Suppose 0*q = -2*q + l. Solve -2 = -2*y + q for y.
3
Suppose -12 = -4*d, s - 5*s = d - 19. Suppose 5*a - s*a = 2. Solve a*z - z = 2 for z.
2
Let o(z) = z**3 - 10*z**2 + 9*z + 5. Let m be o(9). Let k(s) = s - 1. Let p be k(m). Suppose -4*y - p*l + 2*l = -10, -3*y - 2*l = -8. Solve 8 = -y*c + 18 for c.
5
Suppose -3*u + 96 = -2*h, h + 24 = u + 3*h. Suppose -5*w + 10*w - u = 0. Solve -3*y + w = -y for y.
3
Suppose 10 = 4*r + 2*a, -1 = -4*r + 3*a + 4. Solve -r*y - 1 = -3 for y.
1
Let u = 2 + -2. Suppose u = 5*f + 5*y + 25, 10 = -3*f - 2*y - 0*y. Suppose -3*c - 9 = -3*z, 4*z - c + f*c - 12 = 0. Solve r + 2 = z*r for r.
1
Let i(z) = -5*z - 14. Let j be i(-3). Solve -j = 5*g + 9 for g.
-2
Suppose -n - 16 = -2*n + 2*g, -3*n + 4*g = -38. Suppose -n = -2*y - 0*y. Let m = 23 + -21. Solve 8 = y*z + m for z.
2
Let a = -3 - -10. Let y = a - 5. Solve p + 9 = -y*p for p.
-3
Let p be (0 - 2)/((-8)/20). Solve 1 = -u + p for u.
4
Let f(p) be the first derivative of -p**4/4 + 5*p**3/3 + 4*p**2 - 6*p + 2. Let y be f(6). Let k = y - 4. Solve -k*v + 9 = v for v.
3
Let w = -7 + 8. Let q be (0 + w)/((-2)/(-4)). Solve 0 = -0*z - q*z + 10 for z.
5
Suppose 0 = -t + 5*t - 16. Let s = -5 + 15. Suppose -w + s = 4*w. Solve -6*i - w = -t*i for i.
-1
Let j = -67 - -71. Solve 0 = 3*b + j - 16 for b.
4
Suppose -7*s + 11 = -3. Solve 0 = c - s*c for c.
0
Let x be ((-5)/(-15))/((-1)/(-15)). Suppose 0 = -k - 3*p + 2*p, 0 = -2*k - x*p - 12. Solve 0 = -k*r - 0*r - 16 for r.
-4
Let a be 1/2 - (-44)/(-8). Let i be a*2/(-2*1). Suppose 5*b - 10 = -5*x, -5*x + 6 = 4*b - 4. Solve 3*n - x*n = -i for n.
-5
Let s(d) be the second derivative of -d**4/12 - 5*d**3/6 - 2*d. Let c = -14 - -9. Let h be s(c). Solve -g + h*g = -4 for g.
4
Suppose -o + 34 = j - 4*o, 8 = -4*o. Suppose u + 36 = 4*l + 4*u, -j = -2*l - 4*u. Solve 0 = -l*f + f for f.
0
Suppose -4*i = 5*v - 0*i - 19, 0 = 5*v - 4*i - 51. Solve v*b = 2*b for b.
0
Suppose -12*t + 10*t = 0. Solve 5*m - 5 - 10 = t for m.
3
Let p = -13 + 13. Solve 3*f - 2 - 1 = p for f.
1
Suppose 4*d - 5*d = -2. Suppose 4*j = 5*r - 17, -3*j + 18 = j + d*r. Solve 0 = -5*b + j + 8 for b.
2
Suppose -14 = -4*z + 10. Solve -3*c + 0*c - z = 0 for c.
-2
Suppose -2*d + 4*u + 18 = 0, -4*u = -d + 4 + 11. Suppose -6 = -4*k + 14. Suppose -5*t + 4*t + k*q + 19 = 0, 5*t + 5*q - 5 = 0. Solve -d*o + 4*o + t = 0 for o.
-4
Suppose -6 = 5*r - 26. Solve -2*w = -r + 14 for w.
-5
Let h(w) = -w**3 + w**2 - w + 8. Let d be h(0). Suppose b = -b - d. Let a be 2/(b/18)*-1. Solve -g = 2*g + a for g.
-3
Suppose 0 = -3*h + 36 - 30. Suppose 0 = 3*c + 6 - 0. Let p = 2 + c. Solve p = 5*n - h*n - 12 for n.
4
Let x(w) = 4*w**2 + 0*w**3 + w**2 - w**3 + 4 + 0*w**2. Let r be x(5). Solve 6 + 2 = -r*h for h.
-2
Let u = 21 + -15. Suppose -120 = -0*j + 2*j. Let h be 4/14 + j/(-35). Solve -u = h*r - 2 for r.
-2
Suppose 3*z = 11*z - 88. Solve 1 = -2*h + z for h.
5
Let y = -1 - -11. Suppose 4*v - 4*d - y = 2, 0 = 4*v - 3*d - 9. Solve -p - 4 + 6 = v for p.
2
Let q(g) = -g. Let x(p) = p**3 + 6*p**2 - p - 5. Let m(k) = -5*q(k) + x(k). Let o be m(-5). Let s be -1*(o/3 + -8). Solve s = -j - j for j.
-4
Let a be (-1)/((-3)/(-120)*-2). Solve -a + 4 = 4*v for v.
-4
Let m be (-164)/(-9) - (-4)/(-18). Let w be ((-6)/m)/((-1)/3). Let r = 1 + w. Solve 3*j = r*j + 1 for j.
1
Let j = 79 - 66. Solve 12 + j = -5*p for p.
-5
Suppose -5*q + 8 = -22. Let v = q + -4. Let w be (6 - -3)*v/6. Solve 8 = w*c + 2 for c.
2
Let h = 10 - 6. Suppose -s + 8 = 4*l, l + l = s + h. Let m = 0 + 0. Solve s = -m*g - g + 4 for g.
4
Suppose -2*f - 4*b = 6, -3*f + 15 = f - b. Solve f = 5*i - 2 for i.
1
Let g = 34 + -33. Solve m - g = 2 for m.
3
Let o be -2*((0 - 2) + -1). Let h = 6 - o. Solve h*t - 2 = -t for t.
2
Let z be (-24)/(-16) - (-14)/4. Let c = -5 + z. Solve 2*h + 2 + 2 = c for h.
-2
Suppose 0 = -2*w - 3*q + 49, -5*q = -3*w - q + 48. Solve -4*j = -0*j + w for j.
-5
Suppose -56 = 9*v - 5*v. Let n = 16 + v. Solve n*l + l = -12 for l.
-4
Suppose 2*o = -b - 22, 5*b - 2 + 4 = 2*o. Let a = 11 + o. Solve n + 2 = a*n for n.
2
Suppose -12 = -4*x, 3*d = -2*d + 2*x + 19. Suppose -24 = -d*g - 2*j - 2, -3*g - j + 13 = 0. Solve g = -3*y + 7*y for y.
1
Let x = 2 + -6. Let c be (-19)/x + (-5)/(-20). Let u(g) = g + 8. Let y be u(-6). Solve y*o = c*o - 3 for o.
1
Let p(d) = d**2 + 16*d + 44. Let v be p(-13). Solve -9 - 1 = -v*n for n.
2
Suppose 2*u + 2*u = -2*k, -4*k - 60 = -4*u. Let w = k - -12. Let v be 4/14 + (-2)/7. Solve 2*j + w + 0 = v for j.
-1
Suppose 0*x + 5*s = 4*x - 36, -4 = -4*x - 3*s. Solve -n + x*n = 0 for n.
0
Let a be (-5 - 1)/(3/(-2)). Let h(w) = -4*w - w**2 - 2*w + 2*w - a - 4*w. Let l be h(-7). Solve -1 = l*i + 2 for i.
-1
Suppose -v = -3 - 0. Let t = 10 - v. Solve t*n + 20 = 2*n for n.
-4
Let t = 20 + -28. Let r = t + 11. Let o be ((-1)/(-3)*0)/(-2). Solve o = 2*s + r*s + 15 for s.
-3
Let p = 40 + -28. Solve s + p = -3*s for s.
-3
Suppose 0 = s - 4*s + 12. Solve -3*t = 11 + s for t.
-5
Let h(i) = 3*i - 3*i + i. Let y be h(5). Suppose -4*o - 18 = -2*t - y*o, -2*t + 4*o + 28 = 0. Solve 0 = 3*d + 2*d - t for d.
2
Let d = -2 + 16. Let r be 4/d + 25/35. Suppose -u - 13 = -3*o, -4*o - 4*u - r = o. Solve -3*b + o = -4*b for b.
-3
Suppose -2*n - 3 = -19. Solve n = a - 5*a for a.
-2
Let a = -2 - -5. Suppose 0 = -2*m + 4*q + 2, q = a*m + 6*q - 25. Suppose -4*p + 5 = m*w - 17, w + 5*p = 17. Solve 0 = h + h + w for h.
-1
Let t = 80 + -74. Solve 0 = -3*a + 6*a + t for a.
-2
Let k(n) = 53*n**3 + n**2 + 3*n + 2. Let y be k(-2). Let x be y/(-16) - (-1)/(-2). Suppose 4*c = -2*l + 4*l + 14, 3*c = -2*l - 7. Solve 5*h = c - x for h.
-5
Let m(v) = -v**3 + 9*v**2 + 3. Let z be m(9). Solve z = -3*a + 15 for a.
4
Let t(c) = -7*c - 2 + 4*c + 0*c**2 + 24*c**2 + 0*c. Let u be t(-1). Solve 6*v = v - u for v.
-5
Let o(y) = -3*y - 6. Let n be o(-4). Let s = -1 - -4. Suppose -m - 6 = -3*m + s*a, -3*m + 2*a = -9. Solve 3*v - n = -m for v.
1
Let r be -1*((-2)/(-10) + (-11)/5). Solve 0 = -3*w - r*w - 25 for w.
-5
Let w(s) = s - 5. Let u be w(9). Solve -u*z = -0*z for z.
0
Let z(v) = -1. Let p(k) = -9*k + 1. Let q(w) = -p(w) - 2*z(w). Let d be q(2). Let u = -5 + 5. Solve u = -4*c + d + 1 for c.
5
Suppose -39 = -4*u + 3*c - 0*c, 2*c - 7 = -u. Solve 3*g + u = -0*g for g.
-3
Let v = 4 + 5. Let j = v + 2. Solve -5*m + 14 = -j for m.
5
Suppose -w - f = f - 1, 2*f = 2*w - 14. Let n = -5 - -9. Solve 0 = -n*y + w*y + 4 for y.
-4
Suppose -4 = -3*d + 2. Suppose 2*o = 5*c + 12, -5*o + 3 = -d. Let b be 10 + (1 + c - 1). Solve 0 = -4*w - b - 12 for w.
-5
Let u = 103 - 93. Solve u*a = 7*a for a.
0
Let c = -609 + 611. Suppose -5*t + 5*n + 10 = 0, -t - 3*n = -0 - 2. Solve -t*r + 2 = -c for r.
2
Let h(s) = 3*s**2 + 2*s + 2. Let i be h(-2). Solve -2 = 4*a + i for a.
-3
Let s(l) = -4*l - 1. Let u be s(-1). Suppose 15 = 2*x - 5*x, g + u*x = -20. Let z = g - -8. Solve 2*q - z*q = 4 for q.
-4
Let m be 4/16 - (-2)/(-8). Let a = -20 - -30. Solve p - 6*p + a = m for p.
2
Let t be 2/3 - (-58)/(-6). Let h = 3 + t. Let p be (h/(-3))/(2/4). Solve -4 - p = 4*f for f.
-2
Let y be -6*(-8)/12 + -2. Solve -x - 6 = -y for x.
-4
Let t(c) = c**3 - 6*c**2 + 5*c + 5. Let d be t(5). Suppose 3 = -l + d. Solve -5*b + l*b - 9 = 0 for b.
-3
Let t be (-1 - (1 + -2)) + 2. Suppose t*z + 3*o + 4 = 5, -3*z + 4*o = -27. Suppose 6 = -z*h + 16. Solve h*p = -p - 6 for p.
-2
Let v(k) = k**3 - 7*k**2 - 9*k + 8. Let s(w) = -2*w - 6. Let a be s(-7). Let n be v(a). Solve -2*g + n = 2 f