ird derivative of s**6/120 + 8*s**5/15 - 5*s**4/4 + 103*s**3/6 + 76*s**2. Let o be c(-33). Put o, 1, 0, -3 in increasing order.
-3, 0, 1, o
Let n(m) = 8*m - 15. Let w be n(-20). Let r be (2/(-8) - w/100)*-4. Let t = 95 + -667/7. Put r, 0.2, t in ascending order.
r, t, 0.2
Suppose 0 = -28*s + 14*s + 1400. Suppose s*i - 96*i = 20. Suppose 5*t = -4*g - 0*t + i, 3*t - 3 = -2*g. Put -23, g, 1 in descending order.
1, g, -23
Let v = -48.52 - -48.48. Suppose -j - 4 = -3. Sort j, 0.1, v in decreasing order.
0.1, v, j
Suppose 2*a - 3*h + 5 = 0, 0 = a - 3*h + 11 - 4. Let w(d) = -9*d - 251. Let r(m) = -10*m - 251. Let x(k) = -3*r(k) + 2*w(k). Let i be x(-21). Sort i, a, 3.
i, a, 3
Let s be (2 + 8/(-3))*-69. Let t = -47 + s. Sort t, -36, -2 in ascending order.
-36, -2, t
Suppose -444 = -92*s + 1856. Sort -1/5, -1, s, -0.091 in increasing order.
-1, -1/5, -0.091, s
Suppose 5*i - 5*s + 70 = 0, 3*i = 6*i - 4*s + 38. Let y = 13 + i. Suppose -6 = 5*v + 3*a, -3*v + 5*a = v + 27. Put v, y, -4, 0 in descending order.
0, v, -4, y
Let k be (-8)/76*-1 - 837/(-171). Suppose 4*g = -5*q - 0*g - 13, 0 = -3*q - g - 12. Put k, q, 0 in ascending order.
q, 0, k
Suppose 882 = 11*x - 152. Let f = x + -90. Sort -1, 2/9, f in descending order.
f, 2/9, -1
Let z = 0 - 4. Let s = z + 4. Let j = 117381.3 + -117380. Put j, s, -4, 4 in ascending order.
-4, s, j, 4
Suppose -2*g + 5*g = -2*a + 22, 0 = -5*g + 3*a + 5. Let j = 750 - 637. Suppose 7*w - j + 141 = 0. Sort w, -1, g in descending order.
g, -1, w
Let a be (148/(-210) + 260/(-2730))*60. Put 3, 2, a in decreasing order.
3, 2, a
Let k = -13 - -15. Suppose 0 = -k*x + x + 1. Suppose -2*i - 3*i = 15. Sort -5, i, x in ascending order.
-5, i, x
Let j(s) be the first derivative of -s**3/3 + 7*s**2/2 - 16*s + 98. Let v be j(4). Sort v, 0.5, 0.4, -1.1 in decreasing order.
0.5, 0.4, -1.1, v
Let y = 181 + -183. Let l be 0/(-2)*y/(-2). Put l, 1, -1, 5 in ascending order.
-1, l, 1, 5
Let f = 326928 + -326929. Suppose -3*w - 5 = -17. Put f, -8, w, -4 in decreasing order.
w, f, -4, -8
Let i be 35/(350/80) + 30/(-3). Sort i, 2, 77 in ascending order.
i, 2, 77
Suppose -5*o - 5*k = 1883 - 2628, 0 = o - 4*k - 114. Sort 1, o, -5 in increasing order.
-5, 1, o
Let z be -4 - (1 + -1 + 1). Let y be (2 - (-1 + 3))/(-2). Let g(x) = x**2 - 209*x + 1803. Let k be g(9). Put 5, z, k, y in decreasing order.
5, k, y, z
Let m(b) = 2*b**2 + 2*b + 2. Let q be m(-2). Suppose 0 = a - 3*a - q. Let j(k) = -53*k - 1429. Let u be j(-27). Sort a, 3, u in decreasing order.
3, u, a
Let r = 4803 + -4803.24. Sort r, -0.3, 0.03, -0.2 in descending order.
0.03, -0.2, r, -0.3
Let g = 2793 - 2789. Suppose 3*h + 4*c + 34 - 6 = 0, -2*c - 10 = h. Let n(f) = -f - 11. Let k be n(h). Sort k, g, -5 in increasing order.
-5, k, g
Let v be (-16)/33 - 2/(-3). Suppose d = -5*c + 11, -4*c + 15 = 3. Let y be d + 5*(-15)/(-18). Sort v, y, 3 in ascending order.
y, v, 3
Let z = -202.8 - -203.2. Put -1/6, z, 1/5, 2 in decreasing order.
2, z, 1/5, -1/6
Let v = -1032 + 1032. Sort v, 9, 5, -2 in increasing order.
-2, v, 5, 9
Suppose 6*j + j = -3*z + 11, 0 = 5*j - z - 11. Put j, -2, 1, 3, -3 in increasing order.
-3, -2, 1, j, 3
Let l = 4.442 - -214.458. Let w = 219 - l. Let h = -0.19 - -0.2. Put 5, -2, w, h in increasing order.
-2, h, w, 5
Let f = 7747 - 7748. Sort -4, -22, f, 0.3, 3 in increasing order.
-22, -4, f, 0.3, 3
Suppose -5*p - 3*c - 275 = 2*c, p = 3*c - 59. Let u = p - -30. Let w = 21 + u. Sort -2, -11, w in decreasing order.
-2, w, -11
Let j = 1690.2 + -1698.2. Sort 0.1, j, 1/3, -2/47, 3 in ascending order.
j, -2/47, 0.1, 1/3, 3
Let w be (2/4)/(5/(-20)). Suppose 8*d + 1 = 57. Let s be 4/8*(-112)/d. Put 5, 1, s, w in descending order.
5, 1, w, s
Let h(j) = 135*j**2 + 542*j + 4. Let b be h(-4). Let r be ((-8)/30*-3)/(-1). Sort b, 2/5, r, 1/6 in descending order.
2/5, 1/6, r, b
Let p = 3019.7 + -2700. Let d = 320 - p. Put 0.1, d, -0.2, -2/15 in ascending order.
-0.2, -2/15, 0.1, d
Let j = 1270.7 - 34.1. Let v = j - 1237. Let g be (-4)/(-6) - (-10)/3. Sort v, -2/35, g, -1 in ascending order.
-1, v, -2/35, g
Let w be (-1 + 1 - 1998/(-481)) + -14 + 10. Put -4, w, 0.12 in descending order.
w, 0.12, -4
Suppose -5*f + n + 1962 = -2*n, f = 5*n + 410. Let k be (-208)/f*(-6)/(-8). Let i = 6.3 - 6. Sort -0.03, -1, i, k in increasing order.
-1, k, -0.03, i
Let f = 131.3 + -131.9. Let c = -89/1185 + 2/237. Let o = c - 3/5. Put -2/21, 1, f, o in decreasing order.
1, -2/21, f, o
Let l(a) = 21*a + 1243. Let m be l(-59). Let b = -14 + 29. Let y = 1.1 - 1.2. Put y, m, b in ascending order.
y, m, b
Let m = -11.61 - -15.61. Let j = 0.81 + -0.13. Put m, 3, j in decreasing order.
m, 3, j
Let o = -12290 + 12263. Sort -2, o, -3, 6 in increasing order.
o, -3, -2, 6
Let z be (-51)/(-7) - -8*(-1)/28. Suppose -z + 1 = -6*m. Let u be 0 + m/2*(-4 - 2). Put 4, u, 1 in ascending order.
u, 1, 4
Let j = 952 + -948. Let l = 129 - 122. Suppose z = d - 5 + 1, 4*d = -5*z + 25. Sort l, z, j.
z, j, l
Suppose -o - 3*k = 0, 0 = -3*o + k - 3 + 13. Let t = 4884 + -4884. Sort -3, 1, o, t in increasing order.
-3, t, 1, o
Let k be 1 - (-1 - 0) - 4. Suppose -5*c = -w - 1632 + 270, -5*c - 3*w + 1354 = 0. Let i = c + -288. Put i, k, -5 in descending order.
k, -5, i
Let s be 149 + -148 + 73/(-9). Put -3/7, s, 1/6 in ascending order.
s, -3/7, 1/6
Let v be 72/21 + -2 - 1. Let b = 39.12 + 134.18. Let w = -173 + b. Sort w, v, -1/3 in increasing order.
-1/3, w, v
Let p = 5883 + -5882.7. Put p, 4/7, 1, 0.04, -7 in decreasing order.
1, 4/7, p, 0.04, -7
Suppose 26*d = -8*d + 136. Let v = 12.2 + -10.2. Sort d, -3/8, v, 2/15.
-3/8, 2/15, v, d
Let t(z) = -z**3 + 29*z**2 - 55*z + 31. Let a be t(27). Let r(p) = -p**2 - 20*p - 29. Let o be r(-18). Suppose 22 = -o*s + 8. Sort -5, a, s.
-5, s, a
Suppose 2782 - 451 = -777*k. Put k, 15, 29, -4, 2 in decreasing order.
29, 15, 2, k, -4
Let c = 3927 + -3903. Put 3, -2, c, -5, 6 in descending order.
c, 6, 3, -2, -5
Let m(b) = 11*b + 787. Let t be m(-73). Sort t, 4, 52 in ascending order.
t, 4, 52
Let z be (12/4 - 4)/(5/10). Put 6, -7, 3, z in ascending order.
-7, z, 3, 6
Let t = 7 - 9. Suppose -2*k = z - 24, -5*k - 189 = z - 261. Sort -5, t, k, -3.
-5, -3, t, k
Let o = 26 + -30. Let u be 7 - ((-1 - -5) + o). Suppose 16 = 2*f + 2*r, u + 21 = 4*f + 3*r. Put f, 12, 3 in decreasing order.
12, f, 3
Let j = 744 - 391. Sort 2, j, 3, 0 in descending order.
j, 3, 2, 0
Let n be ((-12)/9)/((-5)/3 - -2). Suppose -5*u - u = 30. Sort 2, 5, n, u in decreasing order.
5, 2, n, u
Let t = 74744 - 74753. Let b be (-2)/((-6)/((-3)/(-1))). Let u(i) = i**2 - 1. Let c be u(b). Sort c, -1, t in decreasing order.
c, -1, t
Let b = 0.127 - 2.507. Let s = -4.15 - b. Let l = s + -0.23. Sort 1/3, 3, l.
l, 1/3, 3
Suppose 4*i = 4*o, 4*i - i = 4*o. Suppose o = -68*p + 72*p + 12. Let l = 2 - -2. Put p, -7, l in descending order.
l, p, -7
Let a = 22781 + -22789. Sort -0.3, -1.95, a in increasing order.
a, -1.95, -0.3
Suppose -3*b + 6*b + 5*x = 5, -20 = -2*b + 5*x. Suppose -b*i + 377 - 372 = 0. Sort 10, i, 2.
i, 2, 10
Let i = 2507.99 - 2508. Let x = -88 + 87.6. Put x, i, 5/2 in descending order.
5/2, i, x
Let z(i) = i**3 - 3*i**2 + 4*i - 12. Let r be z(4). Sort 0, 1, -2, 5, r.
-2, 0, 1, 5, r
Let q = 10.771 - 3.771. Let i = 3 + -3.5. Sort -1, -7, i, q.
-7, -1, i, q
Let m = -18089 - -18087. Sort 34, 5, 27, m.
m, 5, 27, 34
Let d = 6179 + -6181. Sort 2, 1, -17, d, 4.
-17, d, 1, 2, 4
Let g be (-23 - 1118/(-52))*2. Sort g, 32, 4, 1.
g, 1, 4, 32
Suppose 0 = -3*d + 8*w - 10*w, 3*d - 3 = -w. Sort -2, -3, d, -11 in decreasing order.
d, -2, -3, -11
Let x = 0 + -13. Suppose -3*n + 2*w + 4 - 65 = 0, 3*w - 103 = 5*n. Sort n, -1, x in descending order.
-1, x, n
Suppose 57*c + 13 = m + 54*c, m + 5*c = -11. Let g = 161 + -160. Put m, -146, g in ascending order.
-146, g, m
Let a(q) = 16*q**3 - 142*q**2 - 22*q + 31. Let g be a(9). Put g, -1, 4, -19 in decreasing order.
4, -1, g, -19
Suppose 5*c - 83 = -108. Suppose -6 = -3*i + 27. Let s(h) = h**2 + 2*h + 2. Let q be s(-2). Sort i, q, c in decreasing order.
i, q, c
Let b(l) be the second derivative of -l**4/6 - 29*l**3/6 - 17*l**2/2 - 2*l - 6. Let i be b(-14). Put i, -26, -0.3 in ascending order.
-26, i, -0.3
Let s(i) = -649*i - 29. Let q be s(1). Let u = q + 676. Let m(z) = z**3 - 8*z**2. Let d be m(8). Sort u, 