cond derivative of -b**3/6 - b**2 - 27*b. Let o be i(-2). Solve -k + o = -1 for k.
1
Let m be -1 - (4/1 - 7). Suppose -2*n - 2*n + 4 = 0. Suppose m*v + y = 4 + 5, -n = v - 5*y. Solve -u - 12 = -v*u for u.
4
Suppose 3*k - 4 = 2*k. Suppose 0 = -z + 3, k*w - z = 2*z + 15. Solve -4*i = -w*i + 4 for i.
2
Let q(s) = s**2 + 9*s + 2. Let z be q(-9). Let v be 8/z + -11 + 9. Solve -p = v*p - 9 for p.
3
Suppose 5*c - 2*r - 2 = 0, -11 = -2*r - 3. Let v(w) = w**3 + 6*w**2 + 5*w - 2. Let z be v(-4). Let m = -5 + z. Solve k + m = c*k for k.
5
Let i(v) = v**2 + 7*v + 13. Let t be i(-4). Let w(x) = 5*x**2 - x - 1. Let l be w(t). Solve 5*a - l*a = -8 for a.
-4
Suppose 9*u - 8*u = 0. Suppose i + 2 = 3*x, -4*x - 2*i + 6 + u = 0. Let s(b) = b**2 + b - 1. Let k be s(x). Solve -2*z = -k - 3 for z.
2
Let l(g) = g**3 - 8*g**2 - 10*g + 9. Let a be l(9). Suppose 1 = -v - 5*f, 2*v - 5*v + 13 = -f. Solve a*m = m + v for m.
-4
Let d be (-90)/(-25) + 6/(-10). Suppose 0 = -d*t - 3 + 6. Suppose 2*a - 1 = t. Solve -7 - a = 4*i for i.
-2
Let v = 13 - 5. Let w(y) = -y**3 - 10 + 0*y**3 + 10*y**2 - v*y - 4 + 5. Let m be w(9). Solve k - 4 = -m for k.
4
Let m = -1 - -5. Suppose 0 = -y + m*j - 9, -3*j + 7 = -2. Solve -z + y = -4*z for z.
-1
Let z(d) = -4*d - 13. Let k be z(-4). Suppose 6 = -23*g + 26*g. Solve -k*a - g = -a for a.
-1
Suppose 4*b - 10 = -3*w, 4*w + b + 3*b = 8. Let a be -1 + (-52)/(2*w). Let y = 14 - a. Solve 4 = -r + y*r for r.
4
Suppose 3*y = 68 - 56. Solve -y*k - 5 = -5*k for k.
5
Let d(v) = -15*v**3 - v**2 - 5*v**2 - 7*v + 16*v**3 + 3. Let a be d(7). Let b = a - 1. Solve -b*i = i for i.
0
Let c(k) = -k**3 + 5*k**2 - 2*k - 5. Let t be c(4). Let b(d) = 31 - 2*d - 9 + d + 0*d. Let s be b(15). Solve t = 5*u - s for u.
2
Suppose -5 = -41*y + 39*y + u, y = 5*u - 11. Solve 3 - 23 = -y*o for o.
5
Let y(d) be the third derivative of 5*d**4/24 + 9*d**3/2 + 18*d**2. Let k be y(-5). Solve -k*l = -4*l + 8 for l.
4
Let g be ((-16)/10)/(-4 + (-90)/(-25)). Suppose -3*h + g = 5*n - 0*n, 0 = -5*h - 10. Solve 3*d - 1 = n*d for d.
1
Let i be (10/12)/(-10 - 305/(-30)). Solve 0*x = x + i for x.
-5
Let s(f) = f - 9. Suppose -5*h = 5*x - 75, -3*h = -5*x + 10 - 39. Let w be s(h). Solve 5*g = w*g - 4 for g.
-4
Let i(d) = -d**3 + 4*d**2 + 7*d - 2. Let z be i(5). Suppose -o - 7 = -3*o - n, -o + 4*n = -17. Suppose 0 = o*h - 9 - 21. Solve -4*g - z = -h*g for g.
4
Suppose -5*a + 13*p = 16*p - 290, -5*p = 0. Solve 2 = -12*n - a for n.
-5
Let l be 3/(15/290*2/1). Solve -l = -6*w + 1 for w.
5
Let c = -11 + 7. Let y be c - (-1 - 1)/(-2). Let d = y - -11. Solve -d*f = -2*f for f.
0
Suppose 0 = -2*n + n - 15. Let f be 98/10 - ((-9)/n)/(-3). Solve 8*h = 3*h + f for h.
2
Suppose 5*o - 12*o = -21. Suppose 0*c - o*c + 9 = 3*g, 0 = 2*g - 4*c + 12. Solve 0*m + 5*m - 20 = g for m.
4
Let g = -36 - -40. Solve g*i - 10 = -i for i.
2
Suppose 1282 = 7*v + 1282. Solve -4*k - 25 + 21 = v for k.
-1
Let b(y) = -2*y - 10. Let z be b(-13). Let r = z - 10. Solve r = -3*q - 0 for q.
-2
Let m(w) = w**2 - 11*w + 24. Let t(z) = -z + 2. Let r be t(-6). Let q be m(r). Solve -5*o + 25 + q = 0 for o.
5
Let w = -76 + 91. Solve 0 = 5*o - 8*o + w for o.
5
Suppose 0 = -12*f + 27*f - 30. Solve -6 - 2 = -f*q for q.
4
Let r = -62 - -39. Let d = r + 29. Solve -2*w + d*w = -8 for w.
-2
Suppose -3*f = -2*c + 4*c - 8, -4*f + 12 = 3*c. Solve f = -3*r - 12 + 18 for r.
2
Let d = 188 - 184. Let b be ((-12)/6)/(1 - 6/4). Solve -d*w + b = 24 for w.
-5
Suppose 0 = -3*d - 3*x - 14 - 37, 3*d - 4*x + 58 = 0. Let c be (d/(-10))/(30/50). Solve 4*k = 5*k - c for k.
3
Suppose 0 = -l - l. Let m = 5 + l. Solve -4*h = -m - 3 for h.
2
Let k be (-3 + 2)/((-3)/18). Suppose k + 2 = 2*x. Let q(m) = -m**2 + 3*m + 8. Let l be q(x). Solve 0 = -l*z - 7 + 19 for z.
3
Suppose 4*r + 44 - 52 = 0. Solve -r*c + 2 = 4 for c.
-1
Let k(u) = -u**3 - 10*u**2 + 4. Let l be k(-10). Solve -3*a + 1 - l = 0 for a.
-1
Let v(y) = y**2 - 54*y + 81. Let o be v(53). Solve -14*z + o = -0*z for z.
2
Let s = -27 - -27. Let r be (-23 + 22)*(-2 - (s + 0)). Solve 4 = -2*w - r for w.
-3
Suppose 9*z - 56 = 79. Suppose b = -5*s - 0 + 10, 5*s = -2*b + z. Solve r + b = 3 for r.
-2
Let d(z) = -2*z + 16. Let p = 3 - -4. Let c be d(p). Solve 4 = c*w - 4 for w.
4
Let h = 118 + -75. Let q = h - 40. Solve z = -2*z + q for z.
1
Let t = -641 - -647. Solve -5*b = -t*b for b.
0
Let i be 1 - (-6 + 3 + 1). Suppose i*s - 3*j = -1 - 5, -s = j - 6. Suppose -s*c + 18 = 4*c. Solve c = 4*q - q for q.
1
Let q be (-80)/((-3 - -4) + 0). Let y = q + 82. Solve -12 = -y*u - u for u.
4
Let m be (34/(-6) - 1)*(-18)/15. Solve 3*p + m + 7 = 0 for p.
-5
Suppose 10*a = 8*a + v + 31, -5*a - 3*v + 72 = 0. Solve -59*s + 54*s - a = 0 for s.
-3
Suppose 10*u + 126 = 226. Solve 2*d = 18 - u for d.
4
Let b(s) = -s**2 - 7*s - 9. Let v be b(-4). Suppose -3*x + v*g - g = -8, 0 = -4*x + g + 4. Solve 3*z = -x + 9 for z.
3
Let u be 894/42 + 6/(-21). Solve -8*r + r = -u for r.
3
Suppose -11*o + 165 = 55. Suppose 16*t - 21*t + o = 0. Solve 0*m + 10 = t*m for m.
5
Let c be (25 + (0 - -1))*(-4)/(-8). Let w(j) = -j**3 + 12*j**2 + 12*j + 29. Let i be w(c). Solve 4 = -4*q + i for q.
3
Let t = 4 - -2. Let y(k) = 7*k + 1. Let u be y(1). Suppose -p + u = p. Solve 6 = p*a - t for a.
3
Let k(p) = p**2 + 8*p + 7. Let z be k(-7). Let d be z/((3/1)/3). Suppose -r = -d*r. Solve s = -r*s - 3 for s.
-3
Let r = 21 + -16. Suppose -l - 43 = -0*t - 5*t, 2*t = r*l + 31. Suppose -t = -v - 3*v. Solve -v*x = 4 + 4 for x.
-4
Let n(r) = r**2 + 20*r + 21. Let a be n(-19). Suppose -a*o + 4*o + 4 = -4*t, -3*o = -3*t - 30. Solve -4*i = -o*i for i.
0
Let u(p) = -5*p + 1 - 7*p + 4 + 8*p**2 - 7*p**2. Let t be u(12). Solve -2*y + 1 = -t for y.
3
Suppose 3*y = -3*k + 75, 0 = 7*k - 5*k - 2*y - 30. Solve 4*f + 64 = k*f for f.
4
Suppose -22*f = 5*f - 513. Solve 0 = f*b - 20*b + 3 for b.
3
Let b be -1*3 - 24/((-4)/1). Suppose -3*l - b = h - 11, 5*l - 12 = -h. Solve u = -h*u - 9 for u.
-3
Let z(v) = v**2 - 7*v - 8. Suppose c = -4*c + 40. Let h be z(c). Solve h*q = -4*q - 4 for q.
-1
Let u = -6 + 12. Let z = -64 + 60. Let l be z - 19*(-2 + 1). Solve t = u*t - l for t.
3
Suppose 5*v - 12 = 2*v. Suppose -2*c + 3*t = -4, -v*c - t = 1 - 9. Let g be (-1)/(-2) + c/(-4). Solve 3*z + z = g for z.
0
Suppose 4*i + 2*m = 80, -5*m - 21 - 109 = -5*i. Solve -i*h + 12 = -16*h for h.
2
Let z = 40 + 17. Let u = 63 - z. Solve 4*j = u*j - 10 for j.
5
Let q be 2*(0 + 6) - 5. Solve q*t + 10 = 5*t for t.
-5
Let f(x) = 3*x**2 - 33*x - 225. Let j be f(-5). Solve 4*u = j*u - 22 for u.
2
Let m(b) = -b**3 - 5*b**2 - b - 2. Let f be 30/(-3)*2/(-5). Suppose -5*t - 19 = 3*r - t, -25 = f*r + 5*t. Let u be m(r). Solve -2*y - 1 = -u for y.
1
Let k(j) = 20*j + 43. Let s be k(-2). Solve 4 - s = -c for c.
-1
Suppose 5*w + 9 = 39. Solve 0 = 11*m - 5*m + w for m.
-1
Let n = 30 - 45. Let c be (1/3)/(-1)*-57. Let t = c + n. Solve -b - t*b = -10 for b.
2
Suppose 422 + 403 = 33*c. Solve c*d = 29*d + 4 for d.
-1
Suppose 0 = 239*p - 246*p + 35. Solve -p*h - 4 = 6 for h.
-2
Let z be 468/90 - 2/10. Solve 0 = 18*i - 13*i - z for i.
1
Suppose -m + 12 - 3 = 0. Let v(s) = -2*s + 1. Let b be v(-1). Suppose -2*l = -7*l + 20. Solve -l*u - b = m for u.
-3
Let j = 1422 + -1407. Solve 22*k - 25*k = j for k.
-5
Suppose -3*r - 5*l = -20, l + 22 = 2*r - 0. Solve 7*v - r*v = 0 for v.
0
Let b be (-9)/12 + 1204/112. Solve 0 = 9*v - 14*v + b for v.
2
Let r(h) = h**3 - 48*h**2 - 3*h + 157. Let o be r(48). Solve 12*i - 35 - o = 0 for i.
4
Let w = -51 + 51. Suppose 4*y - 1 = 5*t + 20, w = -2*y - 2*t + 6. Solve 10 = -y*a - a for a.
-2
Let m(a) = -29*a - 3. Let s be m(-3). Let y be ((-1)/(-2))/(1/s). Let b be ((-4)/6)/((-14)/y). Solve -b*c + 2 = -3*c for c.
-2
Let a be 4/(-12)*-9 + 14/2. Let g be 26/a + 16/40. Solve w - g + 5 = 0 for w.
-2
Suppose -6*g - 84 = 78. Let t = g - -30. Solve t = 4*l - 5 for l.
2
Let k be (0 - (-2 + 3))*-16. Suppose -k = -w - w. Suppose 0 = -4*r + w*r + 5*l + 16, -5*r + 9 = -l. Solve -b + r + 2 = 0 for b.
3
Let h(x) = -x**2 - 2*x - 12. Let g be h(0). Let k be (-4)/g + 84/18. Solve 0 = -k*q - 1 - 4 for q.
-1
Suppose 7 = -9*t + 12*t - i, -3*i = 3. Solve 3 = -t*z - z for z.
-1
Let h be (2/(-6))/((-3)/36). Let t(w) = w**2 - 2*w - 6. Let r be t(h). Solve r*n + 0 - 2 = 0 for n.
1
Let l = -1 - 22. Let d = l + 25. Solve -3*