= 15, 0 = s + 3*x - 3. Put s, 5, -3/4, 1, -0.1 in descending order.
5, 1, -0.1, -3/4, s
Suppose 7*t = 28*t + 126. Let m be (2/t)/((-4)/12). Put 0.3, m, -2/3, -2/7 in decreasing order.
m, 0.3, -2/7, -2/3
Let k = -14380 + 14379.927. Sort k, 2, 1/2, -2, 0.2 in descending order.
2, 1/2, 0.2, k, -2
Let d be (24/(-14) - -2)/(2101/1337). Let i = -0.5 - 2.5. Sort d, 1, -1, i.
i, -1, d, 1
Let k = -70.1 + 74. Let s = k - -1.9. Let w = s - 3.8. Sort 0.3, -3, w, 3 in increasing order.
-3, 0.3, w, 3
Let p(w) = -9 + 7*w + 6 - 3 + 65. Let f be p(-8). Let q = 3 + -7/2. Put 2/5, q, f in increasing order.
q, 2/5, f
Let g = 26077 + -26109. Put 2, g, 4/5 in descending order.
2, 4/5, g
Let j be 5 + 188/(-45) + 78/(-130). Sort -1/42, 5, j, -3/5 in decreasing order.
5, j, -1/42, -3/5
Suppose -3*g + 6 = 0, 5*z + 0*g - 22 = -g. Suppose b - 32 = -z*q, b + 5*q + 41 = 2*b. Let n be (-8)/52 + b/(-273). Sort -0.3, 0, n in decreasing order.
0, n, -0.3
Let r = 8 - 33/4. Let x = 1761 - 902. Let d = x + -857. Put d, 2/3, 6, r in descending order.
6, d, 2/3, r
Let g = -0.6193 + 0.4193. Put g, 9, -0.3, 3/17 in decreasing order.
9, 3/17, g, -0.3
Let l(z) = z - 16. Let g be l(7). Let k(y) = -94*y + 98. Let j be k(1). Put g, -19, j in increasing order.
-19, g, j
Let v(f) = -f**3 - 7*f**2 - 6*f. Let r(l) = -l**3 - 7*l**2 - 7*l - 1. Let c(w) = -6*r(w) + 5*v(w). Let u be c(-5). Sort u, 0, 5, 3.
u, 0, 3, 5
Suppose -85*b + 79*b = 0. Sort b, -2/15, -2/11, 2, 13 in ascending order.
-2/11, -2/15, b, 2, 13
Suppose -2 = 2*j + u, 2*u - 71 = -j - 84. Let w be 6/(-9) + 2/(-6). Sort -3, j, w, -4 in descending order.
j, w, -3, -4
Let o = -58 - -54. Let u = -466 + 466. Sort u, -2, o, 10 in ascending order.
o, -2, u, 10
Let p(z) = z - 9. Let u be p(13). Suppose -27*x = -29*x - 5*n + 7, 2 = x + 2*n. Sort -1/5, 5, u, x.
x, -1/5, u, 5
Let h be (-6)/(-10)*11*(-24)/(-396). Let l = 4 - 2. Let z = -211.3 + 211. Sort z, l, h.
z, h, l
Suppose -6 = 3*c + 4*d + 2, c - 4 = 2*d. Let s = 16/5 - 37/10. Let z = 9270/19 - 488. Put s, 5, z, c in descending order.
5, c, z, s
Let x(l) = -l**3 - 45*l**2 + 2. Let u be x(-45). Let k(b) = b**2 - 14*b + 16. Let q be k(11). Sort 1, q, u in descending order.
u, 1, q
Let u = 3.92 + 0.08. Suppose -21*d + 29*d = 208. Let p be 80/d - (-78)/(-26). Put u, p, 1 in ascending order.
p, 1, u
Let n be (8/(-28))/(12/14). Let j = 401 + -698. Put 4, j, n in increasing order.
j, n, 4
Let b(j) = -239*j - 243. Let o be b(-1). Suppose -3*t + 4 + 2 = 0. Suppose -q = -t*q. Sort o, -2, q in decreasing order.
q, -2, o
Let v = -10240 - -10240.1. Sort 3/16, -4, -0.2, v.
-4, -0.2, v, 3/16
Suppose -61 - 30 = 7*x. Let l(c) = -c**3 + 42*c**2 - 80*c + 5. Let p be l(40). Put -3, p, x, -5 in descending order.
p, -3, -5, x
Let q = -70.8565 - -0.1565. Let l = q - -57.7. Put -3/2, l, -3, 8 in descending order.
8, -3/2, -3, l
Suppose -2*x + 30 = 4*o, -5*x - 127*o + 125*o = -67. Sort -3, x, 3, -17 in increasing order.
-17, -3, 3, x
Let n be (-14549619)/(-1437) + 0/(-2). Let k = n - 10125. Let z = k - 1902/3353. Put z, -0.6, 3 in increasing order.
-0.6, z, 3
Let z = 36 + -36.4. Let n be ((-11 - -11)/(-8))/6. Sort n, -5/4, z.
-5/4, z, n
Let x = -2554 + 2554. Sort -24, 2, 1, x in descending order.
2, 1, x, -24
Suppose -16 = -4*o - s, 5*s + 16 = -o + 5*o. Let x = 230827 + -230826.9. Suppose -i - 1 = k, -2*i = -4*k + 2 + 6. Sort o, k, x in decreasing order.
o, k, x
Suppose -4438 = 576*k + 58*k. Put k, 1/4, 38/5 in increasing order.
k, 1/4, 38/5
Suppose 14 = -2*r - 2*b, 5*b = 5*r + 40 + 15. Let h be (-43)/(0 - (0 - -1)). Let s = h + -47. Sort s, -2, r in ascending order.
r, s, -2
Let y = -0.07 - 0.03. Let a be 8/9*(-166)/(-1328). Sort 0.07, y, -1, a in decreasing order.
a, 0.07, y, -1
Let t = 11779 + -20150. Put t, 0, 4 in descending order.
4, 0, t
Let h = 224958.833 + -225054. Let g = h + 0.167. Let v = g - -95.5. Put v, 16, -5 in descending order.
16, v, -5
Let n(g) = 41*g + 77. Let a be n(-2). Let m be 4/(a*2/(-10)). Let v = -2 + 2. Put v, -4, m, 2 in decreasing order.
m, 2, v, -4
Let v = 11.9 - 236.9. Let w = v - -229.95. Let j = w - -0.05. Put -1/5, 3, j in decreasing order.
j, 3, -1/5
Suppose 4*a = 5*v + 5423, a - 1086 = 18*v - 17*v. Put 2, v, -3 in increasing order.
v, -3, 2
Let h = 3185 - 3194. Put -1, 1, -4, h, 13 in ascending order.
h, -4, -1, 1, 13
Let d(q) = -521*q - 511. Let v be d(-1). Put 0.3, -5, v in decreasing order.
v, 0.3, -5
Let a = -7754 - -7755. Sort a, -70, 0.
-70, 0, a
Let k(l) = -2*l**2 - 20*l - 37. Let m be k(-7). Suppose 0 = -7*t - 26 - 9. Put 2, 0, t, m in decreasing order.
m, 2, 0, t
Let l = 5 - 2. Let z = 273339 + -273371. Sort l, -4, z.
z, -4, l
Suppose -4*m = 3*w - 6*w - 171, m + 2*w = 40. Let z be (-66)/m + (-6)/14. Sort 6, z, 0, 5.
z, 0, 5, 6
Suppose -4*s = 3*s - 35. Let q(c) = 48*c + 3. Let k be q(-1). Let o = k - -40. Sort s, o, 11.
o, s, 11
Let s(t) = -3*t - 26. Let m(x) = -5*x - 25. Let f(z) = 4*m(z) - 5*s(z). Let w be f(7). Put -56, 3, w in descending order.
3, w, -56
Let m = 119.9 + -796.9. Let l = 676 + m. Put l, 10, 2, -4 in decreasing order.
10, 2, l, -4
Let s(k) = -k**3 + 10*k**2 + 63*k - 73. Let w be s(14). Sort w, 1, -7, -5 in descending order.
w, 1, -5, -7
Let v = 386.8 - 387. Let u = -0.65 - -2. Let d = -0.65 - u. Sort v, d, -4.
-4, d, v
Let k = -2 - 0. Let q = -1402 + 1401.6. Let a be (-18)/30 + (-16)/(-60). Sort a, -3/8, k, q in decreasing order.
a, -3/8, q, k
Let q = -2742 + 2744. Sort 2/9, q, 4, -1, -23 in increasing order.
-23, -1, 2/9, q, 4
Suppose -5*h + 2 - 22 = 0, -12 = -3*n + 3*h. Suppose j + 5*v - 1 = -2, 0 = 2*j + 2*v + 2. Put 12, n, 1, j in increasing order.
j, n, 1, 12
Let c = 79/114 + 8/57. Let q = 122592.5 + -122592. Put q, c, 0 in decreasing order.
c, q, 0
Let b = 17020 - 17025. Sort -1, -86, b, 0, 3 in decreasing order.
3, 0, -1, b, -86
Let w = -24.8 + -88.2. Let n = 401 - 396. Sort 3/5, w, n.
w, 3/5, n
Let t(l) = -5*l**2 - 432*l - 177. Let r be t(-86). Let x(d) = -d**2 + 4*d + 6. Let b be x(5). Sort 5, -3, r, b in ascending order.
r, -3, b, 5
Let i = 500335 + -500328. Let x = -3 - -5. Put x, -13, 1/3, i in decreasing order.
i, x, 1/3, -13
Suppose -58*w + 12 = -17*w - 29. Sort -16, w, 4, 3 in ascending order.
-16, w, 3, 4
Suppose 4*s - 76 = -3*n, -9*s + 3*n = -4*s - 68. Let r = 6 - s. Let o = -51 - -53. Sort r, 4, o in decreasing order.
4, o, r
Let q be 11/(55/15) + -93. Let a be (-6)/(-33) - q/594. Sort a, 14, 3, -0.2.
-0.2, a, 3, 14
Let p be ((-13)/39*-15)/(-1). Put -3, 1, -2, p, -46 in descending order.
1, -2, -3, p, -46
Suppose -2*u = v + 3, u + 3*v = 4*v + 3. Suppose u = 678*o - 674*o. Suppose 0 = 3*m + p + 16, -2*p = 5*m - 6*p + 21. Sort 18, m, o in increasing order.
m, o, 18
Let a = -3294 - -3294. Sort 2, 14, 5, -3, a in ascending order.
-3, a, 2, 5, 14
Let o = -0.01 - -4.01. Let q = o + -2. Let g = -20099 - -20087. Put 1, q, g, 4 in descending order.
4, q, 1, g
Let w be (-5 - (9 + -8))/(3 - 1). Sort -2, 8, 2, w, 0 in increasing order.
w, -2, 0, 2, 8
Let n = -111 - -99.2. Let p = n - -3.8. Let v = p + 7.6. Put v, -5, -3 in decreasing order.
v, -3, -5
Suppose -2*j + 17 = -3*r, 408 = -r + 405. Sort 1/9, j, -2 in descending order.
j, 1/9, -2
Let t = -497 + 325. Let a be 2 + (0/(-2) - t/(-2)). Put 0.2, a, 2 in decreasing order.
2, 0.2, a
Let k(v) be the second derivative of 13*v**3/6 - 87*v**2/2 - 3*v + 5. Let o be k(7). Sort -3, -5, o in increasing order.
-5, -3, o
Suppose 439 = -296*q - 153. Put 0, 3, 0.03, 1, q in decreasing order.
3, 1, 0.03, 0, q
Let i = 887/5 + -6224/35. Sort i, 9, -54, 0.4 in decreasing order.
9, 0.4, i, -54
Let u = -0.16 + -7.84. Let x = u - -11. Let j be (8/(-44))/(17/((-1309)/140)). Sort -3/7, j, x, 5 in decreasing order.
5, x, j, -3/7
Let k = 10619 + -3779. Sort -2/3, k, 5 in increasing order.
-2/3, 5, k
Suppose 12*x = 65 - 42 + 37. Put x, 0, -3, 76 in decreasing order.
76, x, 0, -3
Let g = -4 - -10. Suppose 5*t = -s + 5*s - g, 4*s = 16. Suppose t*a = -6 + 14. Put a, 8, 5, -3 in increasing order.
-3, a, 5, 8
Let y = 43 + -43.112. Let m = y - -0.012. Let i = m - 0.6. Put 4, -4, i in increasing order.
-4, i, 4
Suppose q = 5*q + 12, 4*u - 2*q - 158 = 0. Let v = 40 - u. Let h be 0/2 - -42*(-1)/v. Sort h, 4, -2.
h, -2, 4
Let h be (-27)/(-5) + 6/(-15). Let l be 0 + ((-6)/h)/(-3). Let m = 28/15 + -2. Put l, -1, m in ascen