cond derivative of -d**5/20 - d**4/2 + 2*d**3 + 37*d**2/2 - 28*d. Let a be z(-7). Solve 0 = -a*l + 7*l for l.
0
Suppose 8*m + 106 - 210 = 0. Solve m = l + 18 for l.
-5
Suppose -301*t + 305*t = 112. Suppose -4*w - 4 = 5*j, 5*j + 0*j = 2*w - t. Solve -w*a - 25 = a for a.
-5
Let q(y) = 9*y**2 + 19. Let g be q(4). Suppose -g*a + 170*a - 63 = 0. Solve -5*t + 6 = -a for t.
3
Let p = 535 + -530. Suppose 6 = -5*l + 7*l, 2*k - 3*l - p = 0. Solve k*g - 15*g = 32 for g.
-4
Suppose g + g = 5*g. Let b be -1 - (2 + g - (0 + 8)). Let m be -1 - (b + (-5 - 1)). Solve 0*y + y + 5 = m for y.
-5
Let n be 6 - 3/4*-8. Solve n = 9*x - 3*x for x.
2
Suppose 342*a - 352*a = 0. Solve 9*m = -a*m - 54 for m.
-6
Let c(b) = 4*b - 15. Suppose -33 = -5*u + 3*i + i, 0 = -3*u - 5*i + 5. Suppose -9 = -k - 5*w, -w - 11 = -u*k + 2*k. Let f be c(k). Solve d + f = -0 for d.
-1
Suppose 16*x = 11395 - 10675. Solve -349 + x = 38*n for n.
-8
Suppose 9*y - 119 = 133. Suppose 14*o = 21*o - y. Solve -14 + 26 = o*l for l.
3
Let l = 447 + -445. Suppose -3*b + 11 = h, -b + l*h - 12 = -5*b. Solve b*t = 47 - 32 for t.
3
Let g be 553 - 47/((-611)/(-130)). Solve g*a + 24 = 549*a for a.
4
Let f(k) = -10*k - 25. Let z be f(-4). Let p = -2 - -5. Let w(q) = q - 4. Let x be w(4). Solve x*d = -p*d + z for d.
5
Suppose 28 = -5*m + i, m = 2*m + 3*i + 12. Let h be (-21)/(-14)*(-8)/m. Let a be -3 + h - (-4 - 1). Solve -3*b = -b + a for b.
-2
Let s(w) = -w**2 - 25*w + 28. Suppose 4*c = -h - 105, -c - 2*h = 2*h + 30. Let u be s(c). Suppose n - u*n = -9. Solve -i = 2*i - n for i.
3
Let n = 347 + -342. Suppose 5*q + n*q - 170 = 0. Solve 4*l + 29 - q = 0 for l.
-3
Let y = -10385 + 10389. Let s = 37 + -22. Solve 0 = -s*t + 13*t - y for t.
-2
Let u be (1 - 40/19) + 6/57. Let z be (8 - 11)/(1/u). Solve 3*y = -6 - z for y.
-3
Let c = -12877 - -12886. Solve 67 = c*m + 58 for m.
1
Suppose -6 + 5 = s. Let h be (5 - 2) + (s - -3). Suppose 6 = -h*p + 16. Solve -p = -3*n + 7 for n.
3
Let t(c) = -c**2 + 6. Let r be t(0). Let b = 517093 - 517089. Solve -b*y - r = -7*y for y.
2
Suppose -14*t + 25 = -115. Suppose 0 = -299*r + 300*r - t. Solve 5*m + 35 - r = 0 for m.
-5
Suppose -2*s = -4*s + 5*c + 81, 69 = 3*s + 3*c. Suppose k - 4*u = s, k = 5*u - 42 + 72. Solve -k = -4*m + 8*m for m.
-5
Let r(k) = -k**2 - 9*k + 17. Let y be r(-7). Suppose 65 + y = 6*h. Suppose 0 = 4*d - 4*i - h, -3*d = 2*i + 9 - 1. Solve v + 4*v = d for v.
0
Let t = -7983 + 7985. Suppose -2*i = -3*i + 1. Suppose 0 = -0*r + r - i. Solve -t = 3*s + r for s.
-1
Suppose -2*r + 50*t = 46*t - 178, -4*r = 5*t - 395. Solve r*q - 36 = 83*q for q.
3
Suppose -5*r + 12*g - 2838 = 14*g, -4*r = -3*g + 2275. Let u = -565 - r. Solve -u*k - 3*k = -30 for k.
5
Suppose 3*d - 7*d + 5*l = -41, 0 = l + 5. Suppose -d*c = -4*c - 9*c. Suppose -2*k - 3*b = -c*b - 8, 3*b - 3 = 3*k. Solve -2*a - 7 = -k for a.
-3
Suppose -90*g - 16*g = 64*g - 20400. Solve -49*f = -69*f - g for f.
-6
Let d(i) = 3*i - 3. Let g be d(2). Suppose 0*l + g = l. Let f be (-24)/54*18/(-4). Solve 0 = -l*u - f*u - 5 for u.
-1
Let b(g) = 106*g + 4. Let w be b(1). Suppose w = 9*o - 25. Let k(i) = -i + 1. Let d be k(-4). Solve d*q - 10 = o for q.
5
Let f(s) = -4*s - 20 + 5*s + 6*s - 11*s - s. Let o be f(-4). Solve o = 124*g - 120*g - 20 for g.
5
Let r = 27 - 16. Let b = r - 11. Suppose b + 9 = 3*u. Solve -3 = -u*m + 9 for m.
4
Suppose 25*r = 21*r + 2*j, 0 = -5*r - 3*j + 33. Solve 8 = -r*i + 17 for i.
3
Let q be -1*0*(-2)/6. Solve -35 = 7*m - q*m for m.
-5
Let s = -3525 - -3542. Solve 0 = -35*o + 18*o + s for o.
1
Let m be (-18)/4*(27 - (-3012)/(-108)). Solve -7*a + m*a + 9 = 0 for a.
3
Suppose 2*j - 34 = -26. Let o be 243/18 + -8 + (-2)/j. Solve -5*s = o + 10 for s.
-3
Let m(t) = t**3 - 10*t**2 + 5*t + 41. Let x be m(9). Suppose w + w - 23 = x*u, -u = -3*w + 15. Solve 5*f = 6 + w for f.
2
Suppose 5*f + 132 = 2*m, -2*m = -m + 2*f - 48. Suppose 82 = 46*l - m. Solve 73 - 70 = -l*q for q.
-1
Suppose -288 = 29*h + 3*h. Let n(v) = v**2 + 6*v - 22. Let p be n(h). Solve 0 = -0*q - p*q + 15 for q.
3
Let u be (-12)/(-14) + 3705/455. Solve 0 = 34*x - 31*x - u for x.
3
Let f be (4 - 7/2)/((-1)/(-6)). Let x be 3/(6/8) - (f + -3). Solve -x*t + 20 = 4 for t.
4
Let n = 41 + -21. Let x(u) = -9*u - 6*u**2 + u**3 - 7*u + 22 + 17*u - 4*u. Let b be x(6). Solve -j - b*j = n for j.
-4
Let u be 4/3 + (-9)/(108/(-3992)). Let f = 336 - u. Solve f*w = -11 + 21 for w.
5
Suppose -3*i = 2*s - 7, -24 = -4*s + 3*i - 1. Solve 0 = 5*t + s*t - 20 for t.
2
Let k = 23 + 50. Let j(o) = 15*o**3 - 3*o**2 - o + 2. Let a be j(1). Suppose 6*d + a = k. Solve -2 = -3*x + d for x.
4
Let c be 1866/4665 + (0 - 16/(-10)) - 0. Solve -14 = -2*w - c for w.
6
Let q = -2461 - -2462. Solve -25*h = -26*h + q for h.
1
Let p(a) = a**3 - 7*a**2 - 5*a + 16. Let q be 2 + 4 - (1 + -3). Let i be p(q). Suppose 6*j - i = -2*j. Solve m = j - 2 for m.
3
Let m = -802 + 808. Let f(r) = 2*r + 29. Let p be f(-7). Solve 9*s - m*s = p for s.
5
Let z be (21 - (-7 - (1 - 11))) + 10. Solve -190 = -66*b + z*b for b.
5
Suppose x - 3*x + 158 = g, 0 = -2*g - 3*x + 320. Let b = g - 162. Solve -b*t + 0 = 12 for t.
-3
Suppose -f - 240 = 2*f - z, f - z = -78. Let a = 85 + f. Solve 0*m = a*m + 8 for m.
-2
Suppose -244 = -4*t - 2*f, -3*f + 225 - 174 = t. Solve t = 33*c - 69 for c.
4
Let w(g) = -g**2 + 6*g + 1. Let h(m) = m**3 - m**2 - m + 6. Let f be h(0). Let p be w(f). Let a = 2910 + -2910. Solve a = b - 4 + p for b.
3
Let m be (-33)/(-2)*(-8)/(-6). Suppose 21*q - m*q = 64. Let j = 66 + q. Solve 0*y - 4 = j*y for y.
-2
Suppose -55669 - 20219 = -204*b. Solve 13*u = -49*u - b for u.
-6
Let d be (-1 + -3)/(11/(-110)). Suppose -15*u + 11*u + d = 0. Let j(s) = 31*s + 66. Let c be j(-2). Solve -2*x - u + c = 0 for x.
-3
Suppose -2*l + 16 = -4*d + 2, 0 = 5*l - 3*d - 42. Let v be ((-88)/132)/((-2)/l). Solve -v*o - 1 = -4 for o.
1
Let s = 1409 - 1416. Let v(z) = z**3 + 6*z**2 - 5*z + 14. Let x be v(s). Let o(t) = -3*t - 1. Let c be o(-1). Solve -2*a - c*a = x for a.
0
Suppose 0 = -20*i + 249 + 151. Suppose 0 = i*g + 7*g - 405. Suppose 2*x - 3 = 1. Solve -g = o + x*o for o.
-5
Suppose -4*c - 134 = -3*b + 115, 5*c = -3*b + 276. Suppose -4*u - 14 = -2*m - 130, -3*u = 2*m - b. Solve 3*x + u = 14 for x.
-5
Let p be (-9 - 376/(-40))*(-450)/(-12) + -6. Solve -740 = -p*u - 803 for u.
-7
Suppose -13*x + 2*k - 34 = -15*x, 5*k = -15. Solve -10*r - x = -20*r for r.
2
Let s be 26/(-91) + (-60)/(-14). Suppose 0 = s*k - 39 + 31. Solve -k*f + 0*f - 6 = 0 for f.
-3
Let x(t) = -t**3 - 4*t**2 - 1. Let k be x(-5). Suppose -k = -6*o + 2*o. Let b be o*2*1/6. Solve r = -b*r for r.
0
Let w be 1170/360*4/(-6)*-6. Solve -w*c + 8*c = -10 for c.
2
Suppose -b = 5*r + 9, -5*b + 6*r - 18 = 4*r. Let d(p) = -2*p**2 - 6*p + 12. Let h be d(b). Let j(a) = a**2 - 7*a + 14. Let s be j(h). Solve 0*n = -n - s for n.
-2
Suppose -5 = -s - 3. Let l = 15618 - 15618. Suppose 0 = -5*j + m + 5, 0 = -s*j - m - l*m + 9. Solve -j*c + c = 0 for c.
0
Let x(q) = 196*q**2 - 638*q + 6. Let s be x(4). Solve 0 = -5*c + s - 590 for c.
0
Let a = 3 - 3. Suppose 16 = 4*j - w, -22*j + 17*j - 5*w - 5 = 0. Solve a = -j*q - q for q.
0
Let d = -490 - -492. Let t be (5 - 1)/((24/d)/12). Solve 30 = 2*z + t*z for z.
5
Let d(j) = -5*j - 19. Let s(b) = -b**3 + 7*b**2 - 8*b + 7. Let z be s(6). Let v be d(z). Let r be 26/16 + v/16. Solve 1 = r*k - 1 for k.
1
Suppose -2*o + 9722 = 9712. Suppose -3*k - 9 = 3*j, -4*k + 2*j + 23 = -j. Solve k*l - o*l = 0 for l.
0
Suppose 2*l - 3168 = -21*l - l. Solve 0 = 19*k - 18 + l for k.
-6
Let s = 3845 - 3820. Solve s = 36*f - 31*f for f.
5
Let w = 117 - 111. Suppose -k + w*k - 86 = -2*x, x - 3 = 0. Suppose 0 = -3*r - 4*o + 32, 0*r + k = -r + 4*o. Solve r*v = -v for v.
0
Let m = -16501 - -16549. Solve 64*a = 48*a + m for a.
3
Let r = 50 - 45. Suppose 22 = 2*x + r*m, -2*x + 5*m = 4*m - 10. Solve -32 = -x*p + 14*p for p.
-4
Suppose 4*r + 51 = -3*c, -c - 13 = r - 1. Let z be (-54)/r + (-2)/(-5). Let y(d) = -d**2 - 8*d - 3. Let w be y(-3). Solve -z*p + p = w for p.
-4
Let t(o) = 45*o - 22. Let d be t(3). Let z = -111 + d. Solve 8 = z*s + 2 for s.
3
Let y be 1 + 12 + (-50)/(120/(-12)). Suppose -z = -10*j + 7*j - 7, -2*z + 2*j = -y. Solve -5*p + z = -3*p for p.
5
Suppose 5*h - 572 = 293. Let l = -120 + h. Let s = l + -48. Solve -s*i + 0 = 10 for 