t l, x, 1/2 in decreasing order.
1/2, x, l
Let v be (5/(-15))/((-38)/9). Let o = -143/114 - v. Put 4, -2/5, 0.4, o in increasing order.
o, -2/5, 0.4, 4
Let c = -0.12988 - -0.22988. Let k = 0 - 0.2. Put c, 9/10, k in increasing order.
k, c, 9/10
Let i(x) = 7*x + 233. Let m be i(-34). Sort 1, 0.4, m, 1/2 in increasing order.
m, 0.4, 1/2, 1
Let d(k) = 9*k - 76. Let b be d(5). Sort 0, b, 2, 3 in decreasing order.
3, 2, 0, b
Let q be 410/(-3) + (-5)/15. Sort -4, q, 1.
q, -4, 1
Suppose 0 = -4*u + 45 - 17. Suppose -2*c - 18 = -3*n + 2*c, -5*n = c - u. Suppose l + 2*a + 3 = 0, 5*l + a - n*a = -26. Put 16, l, 2 in increasing order.
l, 2, 16
Let y = 131.34 + -131. Let l be 5/(-15) - ((-20)/(-21))/(-2). Sort -1, l, y in increasing order.
-1, l, y
Let h(v) = -v**3 + 14*v**2 - 2*v + 17. Let x be h(14). Let w be (x - -11) + (-1 + 2 - 0). Sort w, 0, -5.
-5, 0, w
Let j(s) = -s + 2. Let a be j(6). Suppose 2*n = 2*t + 12, 2*t + 10 - 26 = -5*n. Sort a, t, 3, 15.
a, t, 3, 15
Let d be ((-6)/(-21))/((-96)/(-56))*3. Put d, 0, 0.1 in descending order.
d, 0.1, 0
Let z = 9146 + -795692/87. Let y = z + -331/609. Let c be (-9)/(-6) - (1 - -3). Put y, c, 1/4 in ascending order.
c, y, 1/4
Let p be 7*(2/(-12) + 78/252). Put 2, -3, p in decreasing order.
2, p, -3
Let q(n) = 29*n - 106. Let w be q(-8). Put 3, w, 0 in decreasing order.
3, 0, w
Let y = -50.2 + 49.799. Put 1, y, -1 in descending order.
1, y, -1
Let c(b) = 8*b - 213. Let n be c(27). Sort n, -2/5, 2, -3/2 in increasing order.
-3/2, -2/5, 2, n
Let n be (0 - -1) + (-18 - -17). Put n, 46, 8 in descending order.
46, 8, n
Let v be (0 - -1)*18/12*2. Suppose 1 = -4*r + 5. Sort r, v, -1 in descending order.
v, r, -1
Let p = -653 + 658. Sort 0, p, -3, -12 in increasing order.
-12, -3, 0, p
Let h(x) = -x**2 - 22*x - 17. Let i be h(-21). Suppose i*n = j, -3*n = 5*j + 2*n + 25. Sort j, -2, 5, 0 in decreasing order.
5, 0, -2, j
Let u be (-4 + (-5 - -10))*(1 - -4). Let h be (-107)/678*(2 - 0). Let f = h - 2/113. Sort 1/3, f, u.
f, 1/3, u
Suppose -t + 0 = -2*j - 5, 0 = -j + t. Suppose 2*x = -3*w - 9 - 9, 3*x + 15 = -3*w. Let g be (-1 - 3)*(-30)/w. Put j, g, 2 in ascending order.
g, j, 2
Let k = -4736 + 4737. Let q = 5 + -9. Let f = -1 + 0. Put f, k, q in ascending order.
q, f, k
Let b be (-7)/((-7)/4)*(11 + -10). Sort b, 5, 92 in decreasing order.
92, 5, b
Let h = -1867 - -1871. Let l = 8/7 - 1. Sort l, 5, h, -5/4 in decreasing order.
5, h, l, -5/4
Let d = 2.47 + -0.45. Let v = -0.02 + d. Sort 0.03, v, -0.5 in ascending order.
-0.5, 0.03, v
Let q = 3.24 - 3.19. Put q, 0.1, -2, -4 in increasing order.
-4, -2, q, 0.1
Let r = -3 + 8. Suppose -3*q = -2*q + r. Let g = -1.7 - -1.3. Sort 2/7, q, g in descending order.
2/7, g, q
Let h(t) = -53*t + 3. Let q be h(3). Let d be (q/75 + 2)*10. Let m = 71 - 74. Put d, 2, m in descending order.
2, d, m
Let d = -17 - -17. Put -0.6, -2/9, d, 5 in decreasing order.
5, d, -2/9, -0.6
Suppose 2 = -4*l + 10. Let p(d) = 4 - d**l - 5*d - 1 + 7*d. Let u be p(3). Put -1/4, u, 1/7 in ascending order.
-1/4, u, 1/7
Let v(h) = h**3 - 2*h**2 - 7*h + 4. Let y be v(4). Put y, 0, -3, -2 in descending order.
y, 0, -2, -3
Let r = -36.1 + 23.1. Let h = -1/576 + -85/192. Put -3/2, r, h, 2/5 in descending order.
2/5, h, -3/2, r
Let t = 45 - 40. Suppose -t = 2*y - 7*y, 24 = 2*u - 2*y. Sort -5, u, 3, -3.
-5, -3, 3, u
Suppose b - 3*f = -18, 14 = -b + 2*f - 0*f. Sort b, 14, 0 in decreasing order.
14, 0, b
Let b = -5.017 - 0.083. Let m = 0.1 + b. Let r be 4/(-6) + 40/4 + -8. Sort m, r, 4.
m, r, 4
Let z(c) = -c**2 - 8*c + 50. Let v be z(-12). Let j = 17 + -13. Sort -2, v, -4, j in decreasing order.
j, v, -2, -4
Suppose -16 = -7*o - 2. Let b be (13/(-39))/(o/(-6)) + 3. Sort 1, b, -25 in ascending order.
-25, 1, b
Let w be (2 - 6) + (2 - (-28)/20). Let u be (63/(-15) - -3)*(-2)/12. Sort w, 1, u in ascending order.
w, u, 1
Let k(n) = -n + 3. Let g(l) = -l - 6. Let r be g(-11). Let a be k(r). Let s(v) = -5*v**3 - v - 1. Let q be s(-1). Put 2, q, a in decreasing order.
q, 2, a
Let j be 6 - (6 - 0) - -2. Sort -3, 0, j, -5 in decreasing order.
j, 0, -3, -5
Let b(q) = -9 + 13 - 3*q + 7*q - 6. Let y be b(1). Sort -3, -14, y in descending order.
y, -3, -14
Let q = -26 + 31. Suppose k + 3*d = -0*d - 13, 0 = -k - 4*d - 16. Put -0.2, k, q in ascending order.
k, -0.2, q
Let g be 72/(-9)*(-6)/(-48). Sort g, -18, -4 in ascending order.
-18, -4, g
Suppose -4*t - 18 = w, -3*w - 3 = t + 7. Let g(o) = -o**2 + o + 1. Let n be g(w). Let p be (-2 - 22/(-6)) + -1. Put n, p, 1 in decreasing order.
1, p, n
Suppose -h + 3*d = 2*h - 9, 0 = -2*h - d + 6. Suppose -h*n = n - 8. Put n, 6, 1 in increasing order.
1, n, 6
Let n = -0.007 + -0.053. Let c = 0.2 + -0.06. Let r = c - n. Sort -0.3, 1/3, r in increasing order.
-0.3, r, 1/3
Let n = -7.78 + 7.28. Sort -0.82, 0.1, n in decreasing order.
0.1, n, -0.82
Let n(w) = -3*w**2 + w + 1. Let h(q) = 7*q**2 - q - 2. Let p(k) = 2*h(k) + 5*n(k). Let b be p(3). Let g be (-26)/(-5) - (-1)/(-5). Sort b, g, 4.
b, 4, g
Let y be -4 + 2/(-3)*-3. Let h be y/(-4) - (-745)/10. Let a = h - 295/4. Sort a, 0.4, 1 in descending order.
a, 1, 0.4
Let g(j) = 2*j + 18. Let u be g(-8). Put -6, 4, u in decreasing order.
4, u, -6
Let p be 2 - (6 - (-2 - -3)). Let k = 4665 - 4670. Sort p, k, 8 in descending order.
8, p, k
Let w(n) = -3*n. Let k be w(1). Let j(c) = -c**2 - 22*c - 52. Let s be j(-19). Let i be 8/(-10)*(-5)/2. Put s, k, i in ascending order.
k, i, s
Let a = 634 + -635.3. Sort 2/7, a, 0.08, -5 in descending order.
2/7, 0.08, a, -5
Let z = -35 - -30. Suppose -4*h - 20 = -d, 4*h + 3 = 3*d - 25. Put 2, d, z in decreasing order.
d, 2, z
Let w = -216 + 214. Sort 7, 0.5, w, -7 in descending order.
7, 0.5, w, -7
Let r = 0.22 - -0.07. Let x = 0.21 + r. Put -3/2, 3/5, x in decreasing order.
3/5, x, -3/2
Let z be 4/14 - (-52)/14. Let l(k) = -k**2 - 2*k - 3. Let w be l(-3). Sort w, z, 1 in increasing order.
w, 1, z
Let d(m) = 6*m + 56. Let r be d(-10). Put r, 1, -5 in decreasing order.
1, r, -5
Suppose 6*j + 20*j = -10*j. Sort j, -13, -2 in ascending order.
-13, -2, j
Let c = 1106 - 1101. Let u = -26.13 - -26. Sort 2/5, -5, u, c.
-5, u, 2/5, c
Suppose 4*f + 3*r - 2*r = -10, -5*f = 5*r + 20. Let k be 14/f + (-6 - -3). Let v be 16/20*k/(-4). Sort -3, v, -1 in decreasing order.
v, -1, -3
Suppose -6*w + 1 = 7. Let q be 1/(20/(-25) - w). Sort 3, -4, q in decreasing order.
q, 3, -4
Let w(f) = f**2 - 11*f + 2. Let t be w(11). Suppose 4 = -t*r + 8. Put 4, 0.03, r in increasing order.
0.03, r, 4
Suppose 2*n + 3*f = -22, 5*n + f = -2*f - 37. Let b = 32 - 5. Let s = -22 + b. Sort n, 0, s in decreasing order.
s, 0, n
Let m = 217 + -155. Let b = -72.8 + m. Let x = -11 - b. Sort 1, 5, x in ascending order.
x, 1, 5
Let y be ((-10)/(-8))/((-7)/(-28)). Suppose -9 - 3 = -2*g. Sort 4, y, g in descending order.
g, y, 4
Let x(r) = -2*r**2 + 84*r - 84. Let v be x(1). Let n = 0 + 5. Put 4, n, v in increasing order.
v, 4, n
Let b = -1 + 1. Let l(v) = -5*v + 15. Let t(s) = -4*s + 12. Let m(x) = 5*l(x) - 6*t(x). Let r be m(b). Put r, -2, 2 in decreasing order.
r, 2, -2
Suppose 164 - 26 = 3*u. Let g = u + -65. Let v = g + 16. Put -5, 1, v in ascending order.
-5, v, 1
Let d = 4.88 + 0.12. Let l = 94 - 66. Let u = -28.2 + l. Put 3, d, u in decreasing order.
d, 3, u
Let t = -183 - -183.5. Put -2/9, t, -2/11, -0.5 in decreasing order.
t, -2/11, -2/9, -0.5
Let i = 4.08 + -0.08. Let a = 8 + -22. Let f = -7 - a. Sort i, f, 0.4 in increasing order.
0.4, i, f
Let a = 127/390 + 1/130. Suppose 0 = -2*i - 0*i. Sort i, a, 2/5, 2.
i, a, 2/5, 2
Suppose -z + 4*z - 6 = 0. Suppose 0 = 5*v - 5, 5*r - v - 19 = -0*r. Put r, z, -4 in decreasing order.
r, z, -4
Let f = 98 - 94. Sort -4, f, -1 in descending order.
f, -1, -4
Suppose 32 - 30 = 2*j - 3*y, 4*y + 26 = -2*j. Suppose 4*f + 5 + 7 = 0. Sort f, 16, j, 5 in decreasing order.
16, 5, f, j
Let m(t) = -t**3 + 5*t**2 + 3*t + 6. Let l be m(6). Let p be (-20)/6 + (-4)/l. Sort 8, p, 2 in decreasing order.
8, 2, p
Let m(v) = -3*v**2 + 10*v - 29. Let n(p) = p**2 + 1. Let h(k) = -m(k) - 4*n(k). Let o be h(-12). Put -2, o, 7 in decreasing order.
7, o, -2
Suppose -4*k - 4*y = 4, -27 = -5*k + 4*y + 4. Put k, -1, -0.8, -1/4 in increasing order.
-1, -0.8, -1/4, k
Suppose 5*b - 9 = -4. Let a be (2/(-4))/((-6)/(-24)). Sort b, a, -4 in ascen