2 + s. Let x = l - -142.6. Sort 3, 5, 7/3, x in increasing order.
x, 7/3, 3, 5
Let a = 0.07754 + -3.07754. Sort a, 2, 283 in descending order.
283, 2, a
Let w = -7 + 12. Let i(q) = 457*q + 4113. Let y be i(-9). Sort 4, y, w.
y, 4, w
Suppose -3*a - 41 = -3*f - 11, -3*a + 4*f = 34. Let w be (-195)/(-10)*(-25 - -7). Let j = w + 699/2. Sort a, -1/4, j, -5.
a, -5, j, -1/4
Let s = -188/153 - -10/9. Let q be 45/567*3*3. Put s, q, 10 in descending order.
10, q, s
Let p be 40/(-12)*(-45)/13. Let x = p + -561/52. Put -3/7, 5, x in decreasing order.
5, x, -3/7
Let o(g) = -g**2 + 6*g. Let v be o(6). Let k(q) = 670*q + 4021. Let p be k(-6). Sort 4, p, v in increasing order.
v, p, 4
Let y = 11883 - 11883.1. Put y, -4, 3/4, -0.72 in descending order.
3/4, y, -0.72, -4
Let n = -235 + 229. Let w(t) = -3*t**2 - 13*t + 20. Let g be w(n). Sort g, -5, 0, 1 in decreasing order.
1, 0, -5, g
Let z be -5 - 5 - (-2 - -1). Let m = -8 - z. Suppose 29*i + 88 = 30. Sort 4, i, m.
i, m, 4
Let t be 4 - ((-168)/(-264))/(-4 - (-230)/55). Put t, -7/10, -4, -2 in ascending order.
-4, -2, -7/10, t
Let w = -5.1029 - -2.1029. Let t be (-69)/(-90) - (-6)/(-9). Sort -11/3, t, 3, w in increasing order.
-11/3, w, t, 3
Let d = -14892 - -14887. Put 108, -19, d in descending order.
108, d, -19
Let w = 4944/763 - -10/109. Sort 2/3, w, -0.1, -3/5 in decreasing order.
w, 2/3, -0.1, -3/5
Let q be (4/8)/((-7)/(-28)). Sort 0.5, 4/5, 0.7, q, 5 in decreasing order.
5, q, 4/5, 0.7, 0.5
Let u = -84.8 - -79.8. Sort 1, -212, u in ascending order.
-212, u, 1
Let h = -310.2 + 312.2. Put -0.3, 0.3, 0.01, h, -15 in increasing order.
-15, -0.3, 0.01, 0.3, h
Let m(f) = -2*f**2 - 91*f + 387. Let v be m(-50). Put 10, 2, v in decreasing order.
10, 2, v
Suppose 0 = -3*p - 12, -1216 = -6*g + 4*g + 3*p. Let n = 584 - g. Sort n, -16, 0 in decreasing order.
0, -16, n
Let h(j) = -68*j - 2717. Let y be h(-40). Put y, -0.2, 2, 25, 3/5 in ascending order.
-0.2, 3/5, 2, y, 25
Let h be (-1)/(-7) - 22890/(-294). Suppose h - 8 = 14*y. Sort -5, y, -40 in increasing order.
-40, -5, y
Let k = 2056 + -2056. Let m(u) = -u**3 + u**2 - u + 2. Let r be m(2). Sort k, 4, r, -5 in descending order.
4, k, r, -5
Let s = -48954 + 49249. Sort -1, -7, s in descending order.
s, -1, -7
Let k = -20495 + 20460. Put -4, k, -36 in increasing order.
-36, k, -4
Let a be ((-48)/(-32))/((-3)/(-74)). Let y = a + -14. Let i = y - 27. Put 6, i, 1 in ascending order.
i, 1, 6
Suppose -31 = 2580*f - 2549*f. Let w = -50 - -251/5. Put -1/47, w, f in decreasing order.
w, -1/47, f
Let i = -380 + 345. Let w = -35.4 - i. Sort 9, 4, w in descending order.
9, 4, w
Let w be (-293)/(-2344) - 34/16. Sort w, 1, 4, -6, -1 in descending order.
4, 1, -1, w, -6
Suppose 41*i - 54*i + 13 = 0. Suppose -s - 24 = -16. Sort -4, s, i in decreasing order.
i, -4, s
Let z be (-1*10/(-3))/((1798/(-957))/31). Sort 1, -5, z, 0, -1 in descending order.
1, 0, -1, -5, z
Let l be -4 + 2 + 14/2. Suppose -c + 0*t - 31 = -l*t, -4*t + 38 = -3*c. Let w be (-156)/(-42) - c/21. Sort -6, 5, w in increasing order.
-6, w, 5
Let o = -327079 + 327084. Let q = 37 - 69/2. Sort o, 2, q, -0.4 in decreasing order.
o, q, 2, -0.4
Suppose 219*o = -5*o + 448. Put 4, 1/4, -2, -3/4, o in decreasing order.
4, o, 1/4, -3/4, -2
Let c be ((-1)/2)/(11/396). Let k be (-3 - (357/c)/7)*2. Sort -5, k, -6/11 in decreasing order.
k, -6/11, -5
Let x = 14371.5 + -14371. Sort -5, x, 0.1, 1, 348 in ascending order.
-5, 0.1, x, 1, 348
Suppose 86 = 3*q + l + 56, 8*q - 2*l = 52. Put -4, -5, q, 1, 2 in increasing order.
-5, -4, 1, 2, q
Let j be (35 - 139)/(-26) + 29/(-8). Let r = 0.1 - 0.3. Sort r, -5, j in increasing order.
-5, r, j
Let u = 10430 + -10449. Let s(w) = -w**2 - 5*w. Let m be s(-5). Put 3, m, 5, u in decreasing order.
5, 3, m, u
Suppose 14*i + 1231 = 6*i + 1703. Put -5, 5, i, 0, 6 in descending order.
i, 6, 5, 0, -5
Suppose -2*o = 2*g - 814, -o + 0*g = 4*g - 419. Let h = o + -384. Put -5, h, -1/2, 3 in decreasing order.
h, 3, -1/2, -5
Let n = -0.2 + 3. Let c = 1524.8 + -1522. Let g = c - n. Sort -0.3, -0.5, -5, g in decreasing order.
g, -0.3, -0.5, -5
Let r = -177 + 168. Let u(k) = -2*k**2 - 14*k + 40. Let o be u(r). Put o, 3, 1 in decreasing order.
o, 3, 1
Let c(h) = 2*h**2 + 98*h - 662. Let w be c(-55). Let b be ((-4)/6)/(2/12). Sort 0, b, w, 6 in descending order.
6, 0, w, b
Let j = -10 - -13. Suppose 0 = 21*q + 159 + 30. Sort j, 1, q, 0 in descending order.
j, 1, 0, q
Suppose -5*a - 18 = -43. Let w = -1996 - -1007982/505. Let l = w - -984/6565. Sort 4, a, -2/3, l in descending order.
a, 4, l, -2/3
Suppose 3*y + v = -0*v + 17, 2*y - v - 8 = 0. Let m be 4/4 - 3 - 75/25. Sort y, m, -57.
-57, m, y
Suppose 12*r = -0*r + 36. Let m(q) = -q**3 + 4*q**2 + 3*q + 8. Let v be m(5). Let f be (0/(0 - 4))/v. Sort -3, f, 5, r.
-3, f, r, 5
Let r(k) = k**2 - 9*k + 3. Let z be r(8). Suppose 855*d - 860*d - 2*g = -118, -2*d + 64 = 5*g. Put z, d, -3 in decreasing order.
d, -3, z
Let i = 1914 - 1918. Let p be (6/(-16))/3*-6. Let z = -371 + 371. Sort z, i, 4, p.
i, z, p, 4
Let b = 0.0834 + -0.2234. Put -3, b, -4/7, -0.5 in increasing order.
-3, -4/7, -0.5, b
Let k = 27622 + -27621.95. Sort k, 1.1, -2, -1 in ascending order.
-2, -1, k, 1.1
Let t(b) = 2*b**2 - 7*b + 4. Let g(w) = 2*w - 28. Let z be g(16). Let j be t(z). Let q(n) = n**2 - 4*n - 21. Let u be q(j). Sort -4, 2, u in decreasing order.
u, 2, -4
Let u be 270/81*(-12)/(-8). Sort u, -18, 4, -3 in decreasing order.
u, 4, -3, -18
Let r = -6.1 - -6.24. Let b = -11.77 + -0.23. Let l = b - -15. Put r, l, -0.5 in descending order.
l, r, -0.5
Let c be (-1 - 0)/(17/(-374)). Suppose 23*o - 1 = c*o. Let u be 1/(-3) - (-80)/6. Put u, -1, -4, o in decreasing order.
u, o, -1, -4
Let n = -2677 + 2680. Sort 2, -9, -5, -1, n in decreasing order.
n, 2, -1, -5, -9
Suppose -5*k = 15 + 25. Let n(m) = -82*m + 570. Let s be n(7). Put k, s, -1 in increasing order.
k, s, -1
Let n be (1221/(-165) - -27)/((-18)/10 - -2). Sort 13, n, -3/4 in descending order.
n, 13, -3/4
Let v(a) = a**3 + 2*a**2 - 17*a - 11. Let g be (-2)/3*(-15)/(-2). Let s be v(g). Sort -2, -4, s, -5.
-5, -4, -2, s
Let y be 2/3 + (-8)/3. Let m be 9/(-6)*(88/1 - 0). Let u = m - -129. Sort u, y, 2 in descending order.
2, y, u
Let y = -47551 - -47555. Let c(d) = d + 8. Let m be c(-6). Sort y, -4, m, -7.
-7, -4, m, y
Let i = 19413 + -19412.9. Suppose -2*z + 2*p - 4*p + 6 = 0, -z = -5*p + 3. Sort z, -0.06, i in increasing order.
-0.06, i, z
Let u = 3138 + -3128. Sort u, 0.07, -2/9, -3 in decreasing order.
u, 0.07, -2/9, -3
Let l be (-247)/(-76) + (-1)/(-4) + (-10)/(-20). Sort -0.01, l, 33, 1/3 in decreasing order.
33, l, 1/3, -0.01
Let b(j) = -9*j + 19. Let l be b(-2). Suppose l*h + 4 = 35*h. Sort h, 1, 4, -1 in descending order.
4, 1, -1, h
Let t(s) = -6*s**2 + s - 1. Let y be t(1). Suppose -115364*b = -115356*b. Put -2, b, y in descending order.
b, -2, y
Let i = -3586 - -3586. Let p = -1/13 - -16/39. Suppose 5 = 2*a + 3. Put i, p, -1/3, a in ascending order.
-1/3, i, p, a
Let n = -6390 - -25557/4. Put 0.2, 2/13, 3/4, n in increasing order.
n, 2/13, 0.2, 3/4
Let c = -7 + 13. Let h = c - 6. Let j = -3932 + 3928. Sort h, -2, j, 3/4 in descending order.
3/4, h, -2, j
Let a = -4211 + 4198. Put 5, a, -46 in ascending order.
-46, a, 5
Suppose 262*a + 26 = 288*a. Sort a, 75, 0, -6 in decreasing order.
75, a, 0, -6
Let z = -701.45437 + 0.15437. Let r = -701 - z. Sort 2/9, r, -1/63, -0.5.
-0.5, -1/63, 2/9, r
Let t be ((-1256)/1413)/((-16)/6). Sort t, 5/4, -1, 1, -1/7.
-1, -1/7, t, 1, 5/4
Let b(c) = 14*c**2 - 6*c - 6. Let d be b(1). Sort 5, -5, -34, -1, d in ascending order.
-34, -5, -1, d, 5
Let p = -19.14 + 18.14. Sort p, -4/5, 3/88, -0.1, -4 in decreasing order.
3/88, -0.1, -4/5, p, -4
Let x = -42 - -27. Let i = x - -15.24. Let n = 0.16 + i. Put n, 2/9, -5 in increasing order.
-5, 2/9, n
Let l(q) = -2*q**2 + 3*q - 1. Let v = 9 - 28. Let y = 21 + v. Let h be l(y). Sort 3, h, -1.
h, -1, 3
Let z(k) = k**3 + 15*k**2 - 15*k + 25. Let d be z(-16). Suppose -d*x = 101 + 79. Sort 2, 5, 0, x in descending order.
5, 2, 0, x
Let u = 2 - 2. Let l = 222163 - 222162.97. Put 1, l, -0.2, u in decreasing order.
1, l, u, -0.2
Let q = -98 - -101. Suppose 4*m = -m. Suppose 2*f + 8 = -m*f. Put q, 4, f in increasing order.
f, q, 4
Let s(h) = h**2 - 115*h + 1142. 