= l - 31. Solve -j + a - 6 = 0 for j.
-4
Let a(s) be the third derivative of -s**5/60 - 3*s**4/4 + s**3/2 - 4*s**2. Let x be a(-18). Solve -x*g + 0*g + 3 = 0 for g.
1
Let s = 8 + -5. Let z be 12/5 + 2/(40/12). Suppose 0 = 3*t, z*f + t = -3*t + s. Solve 11 = 5*a + f for a.
2
Suppose -5*s + 2 = -4*s. Suppose -j = 3*v + 15, 3*v = 5*j + s*v - 5. Solve 2*q + j + 6 = 0 for q.
-3
Let c be (672/784)/((-2)/(-28)). Suppose -4*w - 1 = 3*b, -3*w = 5*b + w - 9. Let h be (-3 - -2)*(-3 - -1). Solve -b*n = -h*n - c for n.
4
Let o = -164 + 166. Suppose 0 = -o*t + 15*t - 26. Solve -4 + t = v for v.
-2
Suppose 3*m - 2*d + 54 = 0, -3*m - 5*d + 85 = -8*m. Let v = -16 - m. Solve c - v = 2*c for c.
-4
Suppose 4*u = -0*u + 4*p + 28, 3 = u + p. Solve -18 = 11*v - u*v for v.
-3
Let k be (-170)/(-8) + -1 + (-363)/(-484). Solve -18*b + k*b - 3 = 0 for b.
1
Let j be ((-3)/(-5))/((-39)/(-715)). Solve -9 = -g - j for g.
-2
Let b be ((-18)/4)/(3/(-6)). Suppose 4*q - 25 = -5. Suppose -b*s = -4*s - q. Solve 2 = -i + s for i.
-1
Let h be -1 - ((-1 - -4) + -7). Suppose m - 5*m - 2*b + 2 = 0, 5*b - 5 = h*m. Solve m = -2*v - v - 3 for v.
-1
Let y(g) = -5 - 4 - 12 + 4*g + 1. Let h be y(6). Solve -h = 2*w + 2 for w.
-3
Let l = -56 - -48. Let t be (-6)/(-8)*l/(1 - 3). Solve 0 = -0*p + t*p + 3 for p.
-1
Suppose -5*o + o = x + 16, -3*x = o + 4. Suppose -7*a - 49 = -0*a. Let w = o - a. Solve -w*c - 2*c + 20 = 0 for c.
4
Suppose 2*p - 3 - 6 = -5*h, -h = 5*p - 57. Suppose 24*w - 25*w = y, -5*w + 6 = 2*y. Solve p = 2*l + w for l.
5
Suppose 5*z + 43 = 63. Solve 68 - 64 = z*x for x.
1
Let r(q) = -q**3 + 8*q**2 - 11*q - 5. Let o = 7 - 2. Let v be r(o). Solve 0*g + 3*g - v = 0 for g.
5
Let r(c) = -c**2 + 18*c - 9. Let s be r(15). Let o = s + -33. Solve 0*b + o*b = -15 for b.
-5
Let y = 740 - 734. Solve -y*b = -5*b + 4 for b.
-4
Let g(l) = l**3 - 12*l**2 + 30*l + 13. Let v be g(10). Let m = v - 104. Solve -4*n = -n + m for n.
-3
Let d(n) = 5*n**2 + 25*n + 16. Let b(g) = 3*g**2 + 13*g + 8. Let y(i) = 7*b(i) - 4*d(i). Let s be y(10). Solve 3*k + s = -4 for k.
-2
Let b(p) = -26 + 0*p**2 - 8 + p**2 - 16*p. Let n be b(18). Solve 4*j + n = 6*j for j.
1
Let a(l) = l**2 - 4*l. Let o be a(5). Suppose -m + 8 + 16 = 0. Suppose -o*w + w = -m. Solve -4*g = -2*g + w for g.
-3
Let g = -391 + 397. Let f = 2 - 2. Suppose -h + 0 + 1 = f. Solve h - g = -5*c for c.
1
Let i be ((-8)/34)/2 - 22969/(-1751). Solve -12 = 5*r + i for r.
-5
Let y be (161 - -1)*(-12)/(-36). Solve 44 = 5*f + y for f.
-2
Let t be 2/(-6 - 264/(-42)). Let j(h) = 7*h - 8*h**2 + h**3 + h + 5 - 4. Let f be j(t). Solve 4*s = -f + 24 for s.
4
Let f be (-2)/1*(-2 - -1). Suppose -2*k + 18 = k. Suppose 5*h - 2*t = -10, 5 = k*t - 5*t. Solve f*x + 4 - 14 = h for x.
5
Let n(j) be the second derivative of -j**4/6 - 7*j**3/3 - 9*j**2 + 2*j. Let o be n(-5). Solve q + 4 = o*q for q.
4
Suppose -410*p - 2 = -411*p. Solve -2*y = -p + 6 for y.
-2
Suppose -13 = w - 19. Let c(z) = -z - 2. Let p be c(-6). Suppose -2*b = 4*j + b - 18, p*j - 4*b = 4. Solve 0 = -3*v + w + j for v.
3
Let u be (-5)/(-1) + (-4 - -3) + -2. Solve 6 = -2*p - u for p.
-4
Suppose -2*w = -18 + 8. Suppose 2*d + y = 0, 4*y - w*y = d. Solve -2*v + 1 + 5 = d for v.
3
Let z be (5 + -5 + 5)/(5/14). Solve 0 = -z*i + 8*i + 18 for i.
3
Let n(z) = z**2 - 15. Let b be n(5). Solve -5*q = -20 + b for q.
2
Let g(n) = n**3 + n**2 - 6*n - 12. Let x be g(-4). Let t = x - -46. Solve -4*z = -2 - t for z.
3
Let v = -4 + 3. Suppose -8*n = 6 - 30. Let b be v - 2*(-3)/n. Solve b = p + 3 for p.
-2
Let t = -30 + 38. Solve 0 = -5*p + t*p + 6 for p.
-2
Suppose 5*m - 5*d - 170 = 0, 22*d - 167 = -5*m + 24*d. Solve 39 = 3*o + m for o.
2
Suppose 3*y + 5 = m, 4*m + 2*y - 11 = 5*y. Solve 38*b - 39*b = m for b.
-2
Suppose -5*r = -w - 105, w - 25 = -2*r - 2*w. Suppose 0*h - r = -2*h. Solve -4*m - 2 = h for m.
-3
Suppose 0 = 7*x - 0. Let a(m) = -6*m + 3. Let c be a(x). Solve -2 = -c*t + t for t.
1
Let r(j) = j**2 - 4. Let m be r(-3). Let f = -3 + m. Let a(x) = x**2 + x - 1. Let h be a(f). Solve -8 = -g + h*g for g.
-2
Let a = 0 - -3. Suppose 2*i + a = l - 10, -l + 25 = -5*i. Let c(s) = -s - 2. Let u be c(i). Solve u = z - 2 for z.
4
Suppose 0 = 3*w - 4*r - 18 - 6, -5*r - 8 = -w. Let j = -6 + w. Solve -3*i - 5 = -j*i for i.
-5
Let l = -51 - -60. Solve -32 = -y + l*y for y.
-4
Let x(k) = -k**2 - 10*k + 5. Let y = -9 + -1. Let h be x(y). Suppose -w + 62 = 4*q, -5*w = h*q - 12 - 73. Solve b = 4*b + q for b.
-5
Let h(r) = -r**3 + 4*r**2 - 3*r. Let q = 49 + -46. Let g be h(q). Solve g*k = -2*k for k.
0
Suppose h + 6 + 9 = 0. Let y = -10 - h. Suppose 3*z = -z. Solve -v - 1 + y = z for v.
4
Suppose -12*f + 17*f - 90 = 0. Suppose 14*s - f*s + 124 = 0. Let j = -16 + s. Solve 0 = 6*v - 3*v + j for v.
-5
Suppose -4984*u = -4987*u + 39. Solve u = -6*m + 25 for m.
2
Let v be 8/(-6)*3*-1. Suppose -h = -v*h. Suppose h = 5*z - 7 - 13. Solve k + 10 = -z*k for k.
-2
Let r be 3/9 - 266/(-21). Solve 0 = -15*b + r*b for b.
0
Let h be 4/(-3)*30/(-10). Suppose 2*g = h*g. Suppose g = 4*m + 2*k - 12, -m + 6 = k + k. Solve -m*p = p for p.
0
Let z be (-5 - 5)*(-10)/25. Solve z*k - 20 = -28 for k.
-2
Let c = 42 - 38. Suppose 4*a = c*f + 12, 5*a - f = 2*f + 13. Solve -3 + a = -j for j.
1
Suppose -14 = -n - 8. Let y(a) = a**3 + 3*a**2 - 2. Let d be y(-2). Solve -x = d*x - n for x.
2
Let u be 0*(-2)/(-8)*-2. Suppose -v + 65 = 6*j - 3*j, -3*j - 4*v + 71 = 0. Let a be (14/j)/(4/6). Solve -t + 3 - a = u for t.
2
Let f be 8*((-16)/(-4))/(-8) - -7. Solve -3*o = f - 18 for o.
5
Let f(s) = 32*s**2 + 415*s - 7. Let k be f(-13). Let c = 0 - 0. Suppose -7*a + 12 = -3*a. Solve c - k = a*h for h.
-2
Let c = 72 + -114. Let k = -34 - c. Solve 24 = 4*x + k for x.
4
Let b(w) = w**2 + 10*w - 5. Let i be b(-11). Let d(v) = 11*v**2 + v. Let r be d(-1). Suppose -k = -i*k + r. Solve -k*f = -3*f + 2 for f.
2
Let t(b) = 5*b - 7. Let n be t(-7). Let r = 46 + n. Solve 0 + r = 2*j for j.
2
Suppose -5*g - 50 = -0*g. Let u be (g - -9) + (-6)/(-2). Solve -3 = -u*s - s for s.
1
Let s be (-25)/(-10)*(2 - -4). Let o = 13 - 8. Solve s - o = 2*n for n.
5
Suppose -1 + 31 = 5*m. Let p = 12 - m. Solve p*u - 10*u = 20 for u.
-5
Let w = -79 - -84. Let p be w/((-7)/(-2) + (-6)/2). Solve -6 = 4*z + p for z.
-4
Suppose 5*g - 51 = 4*d, -41*g + 45*g - 44 = 4*d. Solve -g*s = 13*s - 60 for s.
3
Let p = 2 - 11. Let x be 4/2 + 18/p. Let u be (3/6 + x)*0. Solve u*j + 6 = -3*j for j.
-2
Let h(q) = -3*q + 29. Let z be h(8). Suppose 3*v = 2*p - p - 14, 2 = -z*p - 3*v. Solve p*f + 9 = 5*f for f.
3
Let c(g) = -4*g**3 + 32*g**2 + 69*g + 57. Let w(r) = 3*r**3 - 21*r**2 - 46*r - 38. Let q(k) = 5*c(k) + 7*w(k). Let i be q(-11). Solve 3*s - i = -s for s.
2
Suppose -2*x - 31 = 4*a + 37, 3*a - 5*x + 77 = 0. Let d = a + 24. Solve 0 = -d*o + 25 for o.
5
Suppose 38*b + 5 - 5 = 0. Solve 19*x + 1 + 37 = b for x.
-2
Suppose -5*f + 27 = 7. Suppose -4*l - l + 56 = -f*z, 2 = 2*z. Let w(u) = u**3 - 11*u**2 - 13*u + 15. Let d be w(l). Solve d*a = -a - 16 for a.
-4
Suppose -n = -3*n + 4. Suppose -2*x = m - n - 4, 17 = 5*x + 3*m. Let k be 0/(3 - x) - 0. Solve -5*a - 20 = -k for a.
-4
Suppose 0 = -14*d + 20*d - 12. Solve -5*k - 3 = d for k.
-1
Suppose -5*p = -4*d + 100, -2*p - 53 + 45 = 0. Solve -15 = -j - d for j.
-5
Let i = -3 + 15. Suppose 29*q = 28*q + i. Let g be (15/30)/(1/q). Solve g*f = 2*f for f.
0
Suppose -1237*k - 30 = -1252*k. Solve -k*r - 2 + 4 = 0 for r.
1
Suppose -7*k - 8 = -22. Solve 0 = -4*c + k - 14 for c.
-3
Let q(m) = -19*m - 30. Let u be q(-5). Suppose 59 - u = -3*v. Solve 0*w - 2 = -v*w for w.
1
Let q = 181 + -170. Solve -4*p - q = 9 for p.
-5
Suppose 10 = -3*g + 25. Let w be (-3)/((-6)/2)*-1. Let s be 2/(w + -1) + (4 - 3). Solve s = 3*x + g + 10 for x.
-5
Suppose 4*m - 3 = 4*k + 5, 0 = -5*m + k + 18. Suppose 5*z - 5 = -p, z = 4*z. Suppose w - 11 = -2*b, -5*b + 6*b - 8 = -w. Solve b + p = m*d for d.
2
Let j be 1*(-40)/12*3. Let g = j - -12. Solve -3 = 5*w + g for w.
-1
Suppose 18*f - 336 = 20*f. Let m be f/(-72) + (-2)/6. Solve 4*o + 18 + m = 0 for o.
-5
Let c be (-2)/(-21)*7*6. Suppose 0 = -5*k + c + 1. Let h be ((-4)/(-6))/((-1)/(-3)). Solve t = h - k for t.
1
Suppose 0 = -4*l - 0*l. Solve l = -r - 3 - 2 for r.
-5
Let j be (-3)/(-1 + 17/20). Suppose -20 = -w - 13. Suppose -4*t + w*t - 2*q - 6 = 0, 3*t + 