e 2*m = -f - 8 for m.
-5
Suppose 0 = -12*a + 124 - 28. Solve -s = -10 + a for s.
2
Suppose -c = 2 - 3. Suppose 2*f = -5*a - 8, 0 = 2*a - 7*a - 10. Let t = f - 0. Solve -t = -p + c for p.
2
Suppose -5*l - 73 + 88 = 0. Solve h - 7 = -l for h.
4
Let g be -1 + (-1)/(3/(-6)). Let v = g - -1. Let u(c) = -3*c - 4. Let b be u(-6). Solve -4*j + v = -b for j.
4
Let k be 2 + 2/(-3 + 2). Suppose k = -s + 4*s. Let y(c) = -c**3 - c**2. Let t be y(s). Solve 5*l + 7 + 8 = t for l.
-3
Let p be (-4)/10 + 102/30. Let k be 31/p + (-1)/3. Suppose -y - k = -30. Solve -n = -5*n - y for n.
-5
Let d(r) = 21*r + 136. Let y be d(-6). Solve -y*t + 30 = -4*t for t.
5
Let q(y) = 3*y**2 - 6*y + 5. Let f be q(2). Suppose 7*w - 3*w - 20 = f*o, -5*o = -5*w + 30. Solve w*c = 12*c - 8 for c.
4
Let a be 72 + -5 + (-5)/(-1). Let i = a - 54. Solve 3*f = -i + 9 for f.
-3
Let v be 42/2 + (45 - 52). Solve -v*i - 47 = -5 for i.
-3
Let o = 0 - 14. Let y = o - -16. Solve 0 = y*x - 1 - 5 for x.
3
Let j be (344/(-14))/(-4) + 1/(-7). Let u = 6 - j. Solve -z + 1 = -u for z.
1
Let u(c) = -c**3 + 6*c**2 + 2*c - 6. Let i be (-2)/6 - (-51)/(-9). Let b = 12 + i. Let f be u(b). Solve 5*n + f = 3*n for n.
-3
Let y(m) = -m**2 + 10*m - 7. Suppose 0 = -19*f + 17*f + 18. Let p be y(f). Solve u - p = 1 for u.
3
Suppose -150 = 9*s - 3*s. Let u = 27 + s. Solve u*w - 6*w = 16 for w.
-4
Let h = 165 + -148. Solve 13 = -2*c + h for c.
2
Let p = 23 - 27. Let t be (-3)/p + 114/8. Solve -6*w + w + t = 0 for w.
3
Let n(l) = -l**2 + 9*l - 15. Let y be n(7). Let t be y + 12 + -4 + 4. Solve -t = -2*x - 3 for x.
4
Let x(r) = r**3 + 13*r**2 - 4*r - 44. Let z be x(-13). Solve 0 = 9*l - 7*l - z for l.
4
Suppose 0*h + 2*h - 64 = -4*k, 0 = -2*k + 2*h + 44. Solve 16*o = 10*o + k for o.
3
Let j(u) = -38*u + 15. Let f be j(-4). Let q = f + -162. Solve 0 = -0*k - k + q for k.
5
Let z(a) = 12*a - a**3 + a + 0*a**3 + 12*a**2 + 3 + 1. Let n be z(13). Solve 3 = -n*v - 1 for v.
-1
Let v(z) = z**3 - 2*z**2 - 7*z + 3. Let i be v(3). Let u be ((-3)/i)/(3/18). Solve 0 = 4*y - u - 10 for y.
3
Let k(n) = 3*n**3 - 9*n**3 + 11 + 5 + 5*n**3 + 16*n - 15*n**2. Let u be k(-16). Solve 0 = -2*r - 2*r + u for r.
4
Let r(c) = c**3 + c**2 - 6*c. Let s be r(-3). Suppose s = -0*g - 3*g + 12. Suppose -3*q + g*q - 6 = 0. Solve -u + q = 7 for u.
-1
Let u be (-4 + 9)*(-4)/(-10). Suppose -15 = -w - 5*h, -u*h + 3 = 5*w - 3. Suppose w = -5*k + k. Solve g - 3 - 2 = k for g.
5
Let h(b) = -b**3 - 17*b**2 - 29*b + 17. Let k be h(-15). Solve 11 = -k*o + 19 for o.
4
Let l = -992 + 992. Solve 6 = 2*m - l for m.
3
Suppose -4*c + 64 = -x, 4*c - 5*c = 3. Let l = x - -79. Solve -w + 16 = l*w for w.
4
Let c be (-324)/45*(-20)/6. Suppose 0 = 2*a + a - c. Solve y - a = -y for y.
4
Suppose 0 = 4*w + w - 30. Let i be w*5*(-3)/(-18). Suppose -11 + i = -3*d. Solve 0 = -3*y + d + 4 for y.
2
Suppose -8 - 19 = r + 4*v, r + 5*v = -32. Let o = 69 + -58. Let x = o + r. Solve -x*s + 2*s = 0 for s.
0
Let s(a) = -6*a**3 + 50*a**2 + 61*a + 19. Let l(b) = b**3 - 10*b**2 - 12*b - 4. Let w(c) = 11*l(c) + 2*s(c). Let p be w(-9). Solve -2*m + p*m - 3 = 0 for m.
3
Suppose -43 = q - 24. Let s = 28 + q. Solve -m + s = 2*m for m.
3
Suppose 31 = 9*u - 59. Suppose 6*t - 2 = u. Solve -4 + t = -m for m.
2
Let t(y) = -y**3 - 9*y**2 + 8*y - 18. Suppose -1 = -6*s - 61. Let f be t(s). Solve 2*o + f = -4 for o.
-3
Suppose -2*c + 3*j + 18 = 4*j, 5*j = 2*c - 18. Let s = c + -8. Solve u = -s - 0 for u.
-1
Suppose -2*a - 26 = -3*a - 5*i, -4*a = i - 47. Solve h = a*h + 30 for h.
-3
Let u(b) = -3*b**3 - 41*b**2 + 25*b - 37. Let v(c) = -c**3 - 14*c**2 + 8*c - 12. Let a(h) = -3*u(h) + 8*v(h). Let y be a(-12). Solve 4*n + y = n for n.
-1
Suppose -4*p + 40 = -108. Let k = -27 + p. Suppose 0 = -k*c + 5*c. Solve c + 5 = 5*y for y.
1
Suppose 15*w - 14*w = 33*w. Solve w = 2*n - n + 4 for n.
-4
Let x = -325 - -503. Suppose 179*h = x*h + 3. Solve 0 = h*l - l for l.
0
Let g = 15 + 0. Suppose -13*c - 4 = -g*c. Let o be 1*(-2)/(2/(-3)). Solve o*b = -c*b + 15 for b.
3
Suppose 6*v - 11*v + 50 = 0. Solve -4*x - v = x for x.
-2
Suppose -7*y + 5*y = -4. Let b be (-5)/(-15)*(10 - 1). Solve y = -b*x + x for x.
-1
Let p be (-39)/(-4) + (52/16)/13. Solve 7 = -x + p for x.
3
Let l be 1 + 1 - (-5 - (1 - 4)). Suppose l*r = -r + 5. Solve r = w - 2*w for w.
-1
Let h = -8798 + 8800. Let i(p) be the second derivative of p**4/6 + p**3/2 + p**2 + 2*p. Let q be i(-2). Solve 0 = -q*l - 2 - h for l.
-1
Suppose -3*t - 4 = 3*h - 22, -18 = -3*h + 5*t. Suppose 0 = -i + h*i. Let s(m) = m**3 - 20*m**2 + 17*m + 38. Let f be s(19). Solve i = u - f*u + 5 for u.
-5
Suppose -y + 133 - 28 = 0. Suppose -3*w = 4*w - y. Solve w = -4*f + f for f.
-5
Let k = -531 - -540. Solve k = 9*w + 36 for w.
-3
Let b be 8/6 + ((-100)/(-15) - 2). Solve -8*h + 6*h = b for h.
-3
Let a = -622 + 634. Solve 8*s - a*s = -8 for s.
2
Let u(k) = 15*k**2 + 5*k + 4. Let o(n) = 7*n**2 + 2*n + 2. Let z(h) = -13*o(h) + 6*u(h). Let x be z(5). Let l be (-200)/(-35) - 2/x. Solve -l*a = -a - 20 for a.
4
Let q(p) = -51 - p + 23 + 26. Let o be q(-5). Solve -o*g = g - 4 for g.
1
Suppose 4*v + 5*g + 32 = 0, 20 = -3*v - v - 2*g. Let f be (-10)/30 + (-25)/v. Solve -3*d - f = 7 for d.
-5
Let x = 1451 + -1441. Solve x*u - 26 = 14 for u.
4
Suppose 99 = 14*f + 19*f. Solve 0*q + q = f for q.
3
Let h = -60 + 86. Let f = -24 + h. Suppose -f*r = -5*i, -9 = -2*i + 2*r - 3*r. Solve 0 = -2*p - 10 + i for p.
-4
Let k be (-30 + 32)*3/(-6)*-1. Solve q = k + 3 for q.
4
Let g = 406 - 397. Solve -3 = -6*n - g for n.
-1
Let w = -21 + 27. Suppose -3*x = -t - 1, -w*x + 10 = -x. Solve -1 - t = 2*k for k.
-3
Let w = -12 - 6. Let n = 22 + w. Solve -1 = -n*i + 19 for i.
5
Suppose 0 = -o - 1, -7*c - 5 = -9*c - 5*o. Solve c*l + 14 = -1 for l.
-3
Suppose -4*q = -21 - 7. Let o be (-3)/q - 30/(-70). Solve 4*n + o*n + 20 = 0 for n.
-5
Suppose 0 = -21*m + 596 + 1651. Solve 0 = -b - 110 + m for b.
-3
Let i be 2/(-8) + 1/4. Suppose 45*n - 4*d = 50*n - 37, -32 = -4*d. Solve -2*t + n + 1 = i for t.
1
Suppose 47 + 1 = -8*p. Let o be (-4)/p + 10/(-6) + 7. Solve -5*w = -4 - o for w.
2
Suppose 261*a = 257*a + 40. Suppose 15 = -3*q, 14*c + a = 18*c - 2*q. Let x(u) = -u**2 + 5*u. Let z be x(5). Solve c*t + t - 2 = z for t.
2
Let d(b) be the first derivative of -b**2/2 + b + 9. Let v be d(-10). Solve v*f = 6*f - 10 for f.
-2
Let j be (68/8 + -9)*-74. Solve -j*c = -40*c - 3 for c.
-1
Let n = -93 + 103. Solve n = 3*r + 7 for r.
1
Let y(x) be the second derivative of x**5/20 + 7*x**4/12 + x**3/6 + 7*x**2/2 + 35*x. Let z be y(-7). Solve 0*w + 2*w + 6 = z for w.
-3
Suppose 3*j = -3, -2*s + 9 = 5*j - 2*j. Solve -3 = s*n + 3 for n.
-1
Suppose 5*k - z + 5*z - 23 = 0, -2*k + 14 = 4*z. Suppose -n + 3*b = -22, k*b + 1 = -14. Suppose -n*x + 3*x + 12 = 0. Solve r = -x*r - 20 for r.
-5
Let k = -22 - -19. Let v(b) = -b**2 - 4*b - 3. Let s be v(k). Suppose 4*r = -s + 16. Solve -3*o = -2 - r for o.
2
Let q(x) = x**3 - 13*x**2 + 10*x + 18. Let g be q(12). Let s be (3 + -2 + -1)/(-3 - g). Solve -p + 4 - 1 = s for p.
3
Let g be 45/27*12/10. Suppose -5*f + 2 = 17, -3*w - 6 = g*f. Solve w = v + 3 - 6 for v.
3
Let b = 135 - 134. Let h be (3 + -1)/(-2) + (2 - b). Solve h = -2*u + 12 - 4 for u.
4
Let r(o) = o**2 - 3*o - 1. Let y be r(5). Suppose y*l - 4*l = 0. Solve 0*h + 2*h + 10 = l for h.
-5
Let h(r) = -r**3 + 7*r**2 + 12*r - 12. Let z be h(8). Let d(q) = -q**3 + 3*q - 1. Let f be d(2). Let x = 0 - f. Solve 0 = -x*t - t + z for t.
5
Let r(n) = -8*n + 310. Let s be r(38). Solve s*u + 8 = -16 for u.
-4
Suppose 3*u + 0*u = -4*b, -2*b - 3*u = 0. Let i be (-6)/9 - 16/(-6). Suppose b = 3*a - i*a + 3*k + 12, 5*a - 2*k = 8. Solve a*l + 10 = -2*l for l.
-5
Let o be (-4)/12 - 340/(-12). Let a = -20 + o. Solve -a = -y + 3*y for y.
-4
Let k = 108 - 97. Suppose 4 = k*a - 10*a. Solve -a*g = -20 + 4 for g.
4
Let s be ((-2)/(-2))/((-7)/105). Let p = 16 + s. Let r be (-2)/10 - p/(-5). Solve -2*o = -r*o + 4 for o.
-2
Let a = -21 + 25. Let z = -5 + 5. Solve a = 4*k - z*k for k.
1
Suppose 2*r - 29 = -77. Let n be (1 + 2)/((-18)/r). Let q = 12 - 9. Solve q*b - n*b = 4 for b.
-4
Let c = 56 + -50. Solve 2 - 2 = -c*w for w.
0
Let m(l) = 5*l**2 - 28*l - 45. Let r be m(7). Solve 0*h - r*h + 16 = 0 for h.
4
Let t be (9/(-2) - -4)*0. Let i = 46 + -44. Suppose -v = -t - i. Solve 