1, -2, s in decreasing order.
s, -2, -281
Let x(w) = -2*w**2 + 47*w + 139. Let r be x(22). Put -3, r, 6 in descending order.
r, 6, -3
Let c(o) = -o**2 + 289*o + 1473. Let a be c(-5). Put a, -7, 1, -13 in descending order.
a, 1, -7, -13
Let p = -8 - -11. Let j = -3195.1 + 3195.4. Sort j, 9, p, -5.
-5, j, p, 9
Suppose 2*m = -7*x - 1033, 66*m - 63*m = -5*x - 1577. Put m, 4, -8 in decreasing order.
4, -8, m
Suppose 37 = -5*n + f, 1 = -n + 124*f - 127*f. Sort -2, -5, 15, n, -4 in decreasing order.
15, -2, -4, -5, n
Let p be (1/6)/((-6)/2). Let t = 128923/15 - 8595. Sort t, p, -1, 3/2 in increasing order.
-1, t, p, 3/2
Suppose 5*q = -5*d + 5, -3*q = d + 2 + 5. Let y be -1 - (-1)/7 - 16*(-29)/(-406). Sort y, -4, d, -1 in descending order.
d, -1, y, -4
Let n(r) = -24*r - 139. Let k = -108 - -102. Let f be n(k). Sort -9, -4, f, -5 in decreasing order.
f, -4, -5, -9
Suppose -180 = -10*p - 35*p - 0. Put 9, p, -1, 3 in decreasing order.
9, p, 3, -1
Suppose -4*n - 5*v = 1, 12*n - v = 9*n + 23. Suppose 8*k + 4 = n*k. Let g(d) = d**2 + 9*d + 10. Let p be g(-7). Sort k, p, 2 in decreasing order.
2, k, p
Let f be 10/(-6) - -1 - 31713/3069. Sort -3, -22, -1, f.
-22, f, -3, -1
Let r = 88 - 103. Let c = 548 + -550. Put c, r, 0, -1 in descending order.
0, -1, c, r
Let x = 1.41 + -1.42. Let b = -0.829 + 0.429. Put -3/2, -0.9, b, x in decreasing order.
x, b, -0.9, -3/2
Let d be -3 + 4 - 0*6/(-6). Let j(a) = a**3 + 19*a**2 + 19*a + 30. Let u be j(-18). Put u, 0, d in descending order.
u, d, 0
Let s be 8/(-8) - (-2)/(2/(-2)). Put -62, -8, s, -4 in decreasing order.
s, -4, -8, -62
Let l be 1246/(-28) + (-45)/(-10) + -5. Sort 4, l, -44, 1.
l, -44, 1, 4
Let f = 32390 + -64783/2. Put f, 3/4, -64 in decreasing order.
3/4, f, -64
Let w = 3420 + -4335. Put w, -0.1, 0.1 in ascending order.
w, -0.1, 0.1
Let d = -86.73 - 1.27. Let h = d + 88.1. Let i = -16.8 - -17. Sort -2/5, h, i in descending order.
i, h, -2/5
Let h = 278 + -277. Let x(n) = -n**2 - 9*n - 1. Let y be x(-7). Suppose 4*p + p = -4*i, -2*p = -i + y. Put -4, h, i in ascending order.
-4, h, i
Let h = 31 - 3. Let c be 26/91 - 50/h. Let a = -4/63 - -79/252. Put a, -3, c, -5 in decreasing order.
a, c, -3, -5
Suppose 0 = p + 4*s - s + 33, -5*s = p + 37. Let o be 15/p*-3 + (0 - 2). Let a = -0.4 - -0.45. Sort o, -0.5, 4, a in descending order.
4, a, o, -0.5
Let h = -124/15 + 38/5. Let p(t) = t - 50. Let l be p(55). Let z be l/8*(-1 + -1). Sort z, 4, h, 1 in descending order.
4, 1, h, z
Suppose -10 = 5*v - 5. Let r(d) = -4*d**2 + 50*d - 28. Suppose -5*g + 26 = -34. Let n be r(g). Sort 2, n, v, -3 in descending order.
2, v, -3, n
Let r = -197 + 228. Suppose -30*z = -r*z. Sort z, -20, 2 in ascending order.
-20, z, 2
Let v be 7/((-28)/16) - 4/2. Let b be v - -1 - (-1827)/(-49). Let l = b + 42. Put 0.04, l, -5 in descending order.
0.04, l, -5
Let f = -4 + 9. Let v(h) = h**3 - 77*h**2 + 1136*h + 231. Let w be v(57). Sort w, 28, f in descending order.
28, f, w
Suppose -4*w + 18 = -p + 46, 14 = -4*p - 2*w. Put -121, 3, 6, p in decreasing order.
6, 3, p, -121
Let p be (-2176)/(-221) + -2 + -8. Sort 3, 0.2, -0.4, 5, p in decreasing order.
5, 3, 0.2, p, -0.4
Let m = 627 - 627.4. Put 3/4, 0, m, 0.235, 4 in ascending order.
m, 0, 0.235, 3/4, 4
Let g(b) = -b**3 + 6*b**2 + 9*b + 8. Let l be g(7). Suppose l*k = 23*k - 5. Let x(j) = j**2 - 5*j + 1. Let n be x(4). Sort k, 2, 1, n.
n, 1, 2, k
Let c be 549/(-135) - 10/(-150). Let v = 4 + -1. Sort v, -19, c in ascending order.
-19, c, v
Let t = 147 - 145. Let i be 1 + (t - 0/(-6)). Put i, 2, 43 in decreasing order.
43, i, 2
Let m be ((-18)/69)/((-114)/1311). Let w be (1 - 10)/((-2)/4). Sort w, m, -5.
-5, m, w
Let j = 4 - -1. Let r = -0.865667 + 0.365667. Sort j, r, 3/20.
r, 3/20, j
Suppose -2*l + 5 = -3*l. Let m(y) = -y**2 + 3*y + 3. Let a be m(4). Let z(f) = -2*f**2 + 8*f + 15. Let n be z(6). Sort a, n, l, 2.
n, l, a, 2
Let d be ((-3)/((-18)/12))/(2/3). Suppose -101 = d*p - 107. Put p, -5, -4, 3 in descending order.
3, p, -4, -5
Let q be 56/(-90) - 6/(-15). Let y = 0.0177 + 3.8073. Let r = y - -0.175. Sort r, q, -3 in descending order.
r, q, -3
Let d be ((-8)/96)/(175/40 + -4). Sort d, -133/3, -0.1.
-133/3, d, -0.1
Let f(t) = -62*t - 3902. Let p be f(-63). Put p, -153, -2, 2 in descending order.
p, 2, -2, -153
Suppose 2*n - 3*n + 2*q + 5 = 0, 0 = -5*n - 4*q - 31. Suppose p - 32 = 18. Suppose 0 = -12*k + 98 - p. Put 1, -5, n, k in decreasing order.
k, 1, n, -5
Let b(i) = i**2 - 3*i + 1. Let v be b(2). Suppose -6*q + 3*q + 5*a - 1 = 0, 3*q - 19 = -5*a. Sort v, 5, q, -5 in decreasing order.
5, q, v, -5
Let i(v) = v**3 - 9*v**2 + 10*v - 12. Let z be i(8). Let n = 8889 - 8871. Sort n, 0, z, 3 in ascending order.
0, 3, z, n
Let o = 1 + -3. Suppose -26 = -2*u - t + 14, 40 = 2*u + 2*t. Let w be u/7 - 24/28. Sort w, o, 6 in descending order.
6, w, o
Let o = -65 + 69. Suppose 0 = -o*u - 0 + 4. Suppose -19 = -3*p - u. Put 1, p, 4, 5 in decreasing order.
p, 5, 4, 1
Let r = -8511 - -8508. Sort r, 2078, -2/5 in increasing order.
r, -2/5, 2078
Let a(k) be the first derivative of k**2/2 + k + 1. Let u be a(-4). Let y = 360680 - 360682. Put u, y, -9 in ascending order.
-9, u, y
Let f be (-328*1)/(-8) - (-1 - -3). Suppose h = -f + 37. Put -3, 4, 1, h in ascending order.
-3, h, 1, 4
Let r = 86 + -75. Suppose 0 = r*m - 5*m - 30. Put m, -3, 1 in ascending order.
-3, 1, m
Let i = 2.44 + -106.44. Let z = 220 - 326. Let n = z - i. Put n, -2/15, 0.3 in ascending order.
n, -2/15, 0.3
Let k = 5.9 + -3.9. Let w(l) be the first derivative of -l**4/4 - 4*l**3 + 6*l**2 - 18*l + 11. Let c be w(-13). Sort c, 11, k, 3 in ascending order.
c, k, 3, 11
Let b = -835 + 835. Sort b, -3, 1, -10, 2 in descending order.
2, 1, b, -3, -10
Let k = 0.3 - 5.3. Let y = -259/18 + 643/45. Put k, 4/5, 1/3, y in decreasing order.
4/5, 1/3, y, k
Let s = 202/19 + -385/38. Let k = 0.07 - -1.13. Let i = 0.2 - k. Sort s, i, -2/15 in ascending order.
i, -2/15, s
Suppose -m + 15 = -2*j - 6*m, 3*j = -m - 16. Let p = -5 - j. Let c = -23/6 - -3. Put 1/10, p, c in descending order.
1/10, p, c
Let u = 12153 + -12133. Put 3/2, u, -0.2, -0.31 in decreasing order.
u, 3/2, -0.2, -0.31
Let k = -6026 + 6030. Sort k, 0.2, -1/4, -0.65 in ascending order.
-0.65, -1/4, 0.2, k
Suppose 0 = -27*t + 26*t + 5, 5*t = 2*i + 41. Put 12, i, 6 in decreasing order.
12, 6, i
Let s = -30 - -37. Suppose s*t - 7 = -0*t. Let g = 139 - 139. Sort -2/11, t, 4, g in decreasing order.
4, t, g, -2/11
Let u = -8651 - -8656. Put u, 18, -3, -72 in decreasing order.
18, u, -3, -72
Let q = 1.19555 - 0.49555. Sort -10, q, 2, -4.
-10, -4, q, 2
Let k be (21 - 32) + (6 - 1/(-1)). Put -136, 5, k in ascending order.
-136, k, 5
Suppose 2*k = 6*k - 332. Suppose x - k = -86. Put -38, x, 3 in decreasing order.
3, x, -38
Suppose -39*f + 37*f = -4. Suppose 2*c - 5*g + f*g = -9, -g + 4 = -c. Sort 4, -2, 3, c in increasing order.
c, -2, 3, 4
Let l = 4426.948 + -4450. Let k = l - -0.052. Let q = k - -22.93. Put q, -4, -2 in increasing order.
-4, -2, q
Let u(x) be the first derivative of -25*x**2/2 - 448*x - 52. Let b be u(-21). Sort 0, b, 3.
0, 3, b
Suppose 2*y = 5*c + 6, -2*y - y = 2*c - 9. Suppose 4*g = 8 - 0. Let h = 4 + -6. Put g, y, h in descending order.
y, g, h
Let t(s) = -s**3 - 6*s**2 + 23*s - 31. Let n(w) = -w**3 - 8*w**2 - 9*w - 23. Let f be n(-7). Let u be t(f). Put -3, u, 1, -33 in ascending order.
-33, -3, 1, u
Let j = -1870 - -1911. Put j, -3/5, -7 in decreasing order.
j, -3/5, -7
Suppose 5 = -w + 10. Let u(f) = -2*f**3 - 22*f**2 - 32*f + 8. Let p be u(-2). Let t be (-21)/27 - (-6)/(-27). Sort t, 1, w, p in increasing order.
t, p, 1, w
Let p be (3 - 1) + 2 + -5. Let m be (-2 + p + 2)*2. Let o be (42/(-35) + (-8)/10)/(-2). Sort o, m, 12 in descending order.
12, o, m
Suppose 69 = -3*z + 26*z. Let m be 1/1*1*z. Sort m, -5, 6 in increasing order.
-5, m, 6
Let g(x) = -x**2 + 363*x - 1439. Let c be g(4). Put c, 3, -1, 485 in ascending order.
c, -1, 3, 485
Suppose -2*y = -4*p - 42, 17*p = 21*p - 5*y + 63. Sort 15, p, 4, -4 in decreasing order.
15, 4, -4, p
Let s = -1842 + 23944/13. Sort -3, -0.5, -18, s in ascending order.
-18, -3, -0.5, s
Let r be (-4 + 0 + 8)/(-2) + (-27)/(-12). Put -11, r, -2/15, -1/2, 5 in increasing order.
-11, -1/2, -2/15, r, 5
Let f = 2283 - 2283.939. Let p = -0.061 + f