= -4*u - 4 for u.
-1
Let u(s) be the third derivative of 1/30*s**5 + 8*s**2 + 0 + 0*s + 13/60*s**6 + 1/6*s**3 - 1/8*s**4. Let n be u(1). Solve 10 = -4*d + n for d.
4
Let h(a) be the third derivative of -a**5/60 - 17*a**4/24 - 8*a**3/3 - a**2. Let v be h(-16). Solve 0 = -4*j - v - 20 for j.
-5
Let s be -1*(-3 + 0 + -2). Suppose s*z - 13 - 7 = 4*c, -2*c - 10 = 0. Suppose -3*j + 2 = -7. Solve 2*v + j*v = z for v.
0
Suppose 0 = 21*k - 160 - 8. Solve 116*n + k = 114*n for n.
-4
Let s(z) = 11*z**2 - 5*z**2 + 14*z - 5*z**2 + 17. Let w(h) = 13*h. Let y be w(-1). Let m be s(y). Solve 5*g = m*g - 4 for g.
-4
Suppose -94*i + 92*i = 0. Let y be 16 + (i - -2) + -3. Solve 3*u = -0*u + y for u.
5
Suppose 2*b + 3*b + 3*x = 6, 2*b - 10 = -5*x. Suppose -5*q - r = 3*r + 1, 2*q + r - 2 = b. Solve 0*t = 3*t + q for t.
-1
Suppose -u + 41 = 23*r - 19*r, r - 34 = -5*u. Solve -r*x = 8*x - 85 for x.
5
Let k(a) = -2*a**2 + 7*a - 1. Suppose 17*n - 18*n = -1. Let v be k(n). Solve 15 = v*q - 1 for q.
4
Let d = 2087 - 2083. Suppose t - 1 - 13 = 0. Let q be -2*-2*t/8. Solve d = f + q for f.
-3
Let r = -414 + 424. Solve 0 = 9*g - r*g for g.
0
Suppose -2*w + 12 = -4*i + 4, 2*i - 12 = -3*w. Suppose -3*h = -2*l + h + 10, -w*h + 12 = 0. Solve -3*m + 4 = -l for m.
5
Let y(s) = -s**2 + 45*s - 164. Let h be y(41). Solve h = -9*b + 4*b for b.
0
Suppose -2*m + 0*m = 2*m. Solve 7*q - 3*q + 12 = m for q.
-3
Let f = 413 - 408. Solve 20 = i - f*i for i.
-5
Let k = 25 + -15. Suppose -a - 13 = 3*c, -2*a = 3*c + 1 + k. Suppose 5*g = -3*m - 2 - 0, -3*g + a*m + 14 = 0. Solve g*x + 0 = -2 for x.
-1
Suppose -2*c - 2 = -6. Let j be 43/c + 2/4. Let n = 8 + -5. Solve n = 5*i - j for i.
5
Suppose b + 12*b + 10*b = 0. Solve b - 5 = -i for i.
5
Let i(h) = -h**2 + 9*h + 12. Let p be i(10). Suppose -6*z = -5*w - p*z + 13, 10 = 4*w - 3*z. Solve -q - w + 2 = 0 for q.
1
Suppose -5*v + 5 = w - 0*w, 0 = 3*w - v - 15. Suppose w*a + 2*d + 5 = 12, -4*a - 3*d = 0. Solve -3*u = -2*u + a for u.
-3
Suppose -z + 6*z - 700 = 0. Suppose -10*x + z = -3*x. Solve 8*t = 3*t - x for t.
-4
Let l = 736 + -685. Solve -l + 36 = 3*a for a.
-5
Let f be (60/10)/(-3)*-12. Solve -2 = -f*b + 25*b for b.
-2
Let z(f) = f**2 + 10*f + 18. Suppose -5*j + 5 = -5, -3*v = 5*j + 14. Let c be z(v). Solve h + c*h = 6 for h.
2
Let c(u) = u**2 + 9*u - 9. Let v be c(-11). Suppose 4*d = -i + 7, -5*i + v = d - i. Let b be 1 + -3 + (d - -2). Solve -b = -5*w + 4*w for w.
1
Let f(i) = 2*i**3 - 4*i**2 + 2*i. Let t be f(2). Suppose -3*g - 4 = -t*g. Solve -g*h + 17 = 5 for h.
3
Let s = 11 - 7. Suppose -305*c = -300*c. Solve c = -s*q - 4 for q.
-1
Let t(b) be the third derivative of 0 - b**3 + 0*b + 5*b**2 + 2/15*b**5 - 11/24*b**4 + 1/120*b**6. Let v be t(-9). Solve 3*p - v = -p for p.
3
Let h = 49 + -45. Suppose h*k = -4*d + 16, 0 = 5*k + 2*d + d - 20. Solve -7*f = -3*f - k for f.
1
Let q(s) = -s**3 + 5*s**2 - 3*s + 1. Let j be q(2). Let i be 1*(3 - 0/(-1)). Suppose -4 = -i*z - z. Solve 2*w + j = z for w.
-3
Suppose -50 = 2*s + 2*f - 0*f, s = -2*f - 23. Let u = s - -30. Solve 6 = -u*q + 18 for q.
4
Let j = -91 + 2. Let u = -75 - j. Solve -u*b + 11*b = 6 for b.
-2
Let n = -2 - -4. Suppose -2*y - n*v - 6 = -0*y, -5*y - 3*v = 7. Solve y + 2 = 3*x for x.
1
Let l = -6 - -41. Let x = 38 - l. Solve -x*h = 2*h + 15 for h.
-3
Suppose -6*n + 8*n - 4 = 0. Suppose 10 = n*u + 3*u. Suppose -u*o - 2*d = o, 2*o = -d. Solve -5 = -5*h - o for h.
1
Let b = 3 + -4. Let p be b/((-20)/8 + 2). Solve -p*x + 9 = -1 for x.
5
Let y = -43 + 43. Suppose y = -2*w - w. Solve 2*r - 6*r = w for r.
0
Let o be ((-13)/15 - -1) + 53167/1185. Solve 8*i - o = -5 for i.
5
Let w(s) = s**2 + 30*s + 233. Let v be w(-13). Solve v*p - 15*p = 0 for p.
0
Suppose 5*o + 0*o = -5*q + 45, 4*q + 3*o = 32. Solve -1 = 2*k + q for k.
-3
Let l(n) = -n**3 - 26*n**2 - 47*n + 24. Let a be l(-24). Solve a = -3*r - 43 + 52 for r.
3
Let a = 90 + -89. Let y be (a*(-4)/12)/((-2)/6). Solve c = -0*c + y for c.
1
Let j(r) = 2*r**2 - 10*r - 37. Let u be j(8). Solve -6*l = -17*l - u for l.
-1
Let k be 2*(2/(-5) + 294/35). Solve -1 = 5*i - k for i.
3
Let y = 7 + -3. Suppose -r - 3 + 8 = 0. Suppose -108 = 681*c - 717*c. Solve -c*f + r = -y*f for f.
-5
Suppose 11*a - 20*a + 126 = 0. Solve -19*m + a*m = 10 for m.
-2
Let n = -53 + 58. Suppose -2*g = 3*o + 4, -3*g + n*o = -2*g - 11. Solve -g = -4*l - 17 for l.
-4
Let a be ((-232)/(-145))/((-1)/10*-2). Solve -a*o + 13*o = 15 for o.
3
Let y be (0/(-5) - 0)/(-1). Let m be 1 + 21/1 + -2. Let p be 1/(-1)*m/(-4). Solve 3*k + p + 1 = y for k.
-2
Let x = -544 - -548. Solve l = 3*l + x for l.
-2
Let b be (-4)/(-2) - 1*-3. Suppose 0 = 2*j + 3*j - b. Let s be (-1)/(j*2/(-30)). Solve 0 = 5*h - 2*h + s for h.
-5
Let m(y) = -y**2 + 15. Let d be m(0). Solve d*s = 18*s + 15 for s.
-5
Suppose 6*s + 33 = 9*s + 3*b, -2*b - 27 = -5*s. Solve s = -3*y - 8 for y.
-5
Let p = 1803 - 1797. Solve 127*z + p = 125*z for z.
-3
Suppose 5*a + 12 = 67. Solve 5 - 5 = a*r for r.
0
Suppose b = -2*b + 15. Let p be 18/30 - 3/b. Suppose p = 5*s - 0*s - 50. Solve 0*k + s = 5*k for k.
2
Suppose 0 = 3*r - w - 11, 0*r - 5*w = -2*r + 16. Let z be r + 16/(-4) + 4. Let i = -3 + z. Solve 0 = f - i*f + 5 for f.
-5
Let c(m) = -m + 3. Let o be c(1). Let t(k) = 2*k**2 - 4*k + 2. Let i be t(o). Suppose -4*n = i*a - 6, -18 = -5*n + a - 0*a. Solve 12 = -n*u - 0*u for u.
-4
Let x be 36/2*(-3 - -1). Let l = x + 42. Solve l*y + 12 = 2*y for y.
-3
Let f = -3 + -4. Let j be (-15)/2*36/27. Let i = f - j. Solve i*a = -2*a for a.
0
Let r = -24 + 24. Suppose 0*u + 6*u - 36 = r. Suppose -6 - 6 = -u*q. Solve -q*w + 7*w + 15 = 0 for w.
-3
Suppose 0 = -c + f + 2, 6*f = -2*c + 2*f + 28. Solve -3*p + c - 21 = 0 for p.
-5
Let h be 2 + -1 + (6 - 6)/1. Let l = 3 - 5. Let y be (h - -2 - l) + -2. Solve 0 = m - y + 1 for m.
2
Suppose -158 = y + 15. Let o = y + 175. Solve -1 = -o*r + 3 for r.
2
Suppose -5*s = b - 0*s - 12, 0 = -b - 2*s + 6. Solve -b*j = 5 - 13 for j.
4
Let m be (-507)/(-15) + 7 - (-6)/5. Solve v + 41 - m = 0 for v.
1
Let z be (-88)/(-198) + (-118)/(-18). Solve -z*v = -v - v for v.
0
Suppose 0 = -4*f - 4*z + 9*z + 43, 37 = 3*f + z. Solve 0 = 21*o - 25*o + f for o.
3
Let w = 788 + -788. Solve w = -z + 19 - 14 for z.
5
Let f be (-6)/(-45) - 232/(-60). Solve -4*g = 16 + f for g.
-5
Let i = -18 - -18. Let r = i + 8. Suppose -2*l - f = -r, -4*l + 11 = -3*l - 3*f. Solve l*b = b - 8 for b.
-2
Suppose 0*k = k + 15. Let s be (-138)/(-30) - (-9)/k. Solve -4*j = -3*j - s for j.
4
Suppose -2*n + 3*f + 265 = 0, 0 = -3*n + 6*n - 2*f - 390. Let q = n - 128. Solve 10*x - 6*x + 16 = q for x.
-4
Let k(p) = -41*p + 123. Let u be k(3). Solve u = r - 15*r + 70 for r.
5
Suppose -3*h - 3*w = -18 - 12, -5*w - 40 = -4*h. Suppose f - h - 2 = 0. Suppose 0 = -3*b - 4*t + 21, b + 2*t + t - f = 0. Solve -a = b - 1 for a.
-2
Let g(i) = 23*i + 382. Let k be g(-13). Solve -k = 12*p - 23 for p.
-5
Suppose -5*h + 12 + 3 = 0. Suppose 5*q - 55 = -5*x, h*q + 2*q + 3*x - 51 = 0. Suppose 0 = -q*f + 4*f + 20. Solve 2*k - f*k - 10 = 0 for k.
-5
Let h be 2/7 + 514/14. Let y = -21 + h. Solve -2*c + y = 2*c for c.
4
Let s(v) = v**2 - 38*v + 72. Let u be s(36). Solve u = -3*l + 8 + 1 for l.
3
Let m be (-1096)/(-14) + 2/7*-1. Solve m*l - 77*l = -3 for l.
-3
Let u = 5 + -1. Suppose -3*j - 20*j + 5*j + 126 = 0. Solve -j*w - u = -3*w for w.
-1
Suppose 0 = -4*v - 2*a - 61 + 103, -4*v + 48 = -4*a. Solve 24 = -7*w - v for w.
-5
Let c = 839 + -770. Solve -19*x = c - 164 for x.
5
Let b(a) = -a**3 + 8*a**2 + 10*a + 4. Let k be b(9). Let l = k - 8. Solve 4*i + l - 1 = 0 for i.
-1
Let v(u) = -7*u - 1. Let m(l) = -6*l - 2. Let r(a) = -5*m(a) + 6*v(a). Let n be r(5). Let j = 82 + n. Solve 5*o - j = -1 for o.
5
Let w be (1 + -2)*(-163 - -7). Solve 0 = -2*c + 146 - w for c.
-5
Let i = 485 + -482. Solve -i*k - 6 = -k for k.
-3
Let t = 221 + -218. Solve 2*q = q - t for q.
-3
Let i = 0 + -2. Let u be (-1 - -1)/(i/1). Suppose -600 = -14*l - 16*l. Solve u*q + 4*q = -l for q.
-5
Let z = 42 - 11. Let o = 41 - z. Solve -2*y + 0 = -o for y.
5
Suppose -6*y + 2*y = 0. Let a(o) = -8*o - 4. Let d be a(-2). Let p(u) = u**3 - 12*u**2 + u - 8. Let m be p(d). Solve -2*l = -y*l + m for l.
-2
Let c = -5 + 8. Let w(f) = -2*f**2 + 12*f + 9. Let d(p) = p**2 - 6*p - 4. Let l(j) = 9*d(j) + 4*w(j). Let k be l(6). Sol