. Let d = -202 + p. Sort -2/3, d, y.
-2/3, y, d
Let v be 1*(-12)/(-3) + 12. Suppose 0 = 5*t - v + 1. Suppose 0 = 3*f - 4*f + t. Put -1, -2/5, f, 12 in increasing order.
-1, -2/5, f, 12
Let u = 1359 - 1346. Let q = 7.5 + -8. Put q, -0.3, 0.3, u in increasing order.
q, -0.3, 0.3, u
Let b = -190 - -190.4. Sort 2, 0.05, b, 0.3 in decreasing order.
2, b, 0.3, 0.05
Let b be (-2 + (-19)/(-9))*-1. Let v be (52/(-12) + 5)/(2/975). Let s = 321 - v. Sort 4/7, s, 7, b.
s, b, 4/7, 7
Let t(k) = -6*k + 4*k**2 - 5*k + 30 - 3*k**2. Let r be t(4). Put -15, -0.3, r in ascending order.
-15, -0.3, r
Let b = -19256.979 - -19245. Let k = 0.121 - b. Let y = 12 - k. Put y, 0.2, 0.1 in decreasing order.
0.2, 0.1, y
Let w be 35/49 + (-4288)/(-112). Put -2/15, w, 0.5, 2/17 in decreasing order.
w, 0.5, 2/17, -2/15
Suppose 0*z - k = 5*z - 5, k - 5 = -3*z. Suppose z = -5*l - 5*g - 64 + 14, -5*g = -5*l - 30. Sort -3, -2, l.
l, -3, -2
Let v = 973 + -974. Suppose 0 = 5*c + 4*f, -5*c + c - 2*f = 0. Put 232, v, c in descending order.
232, c, v
Let r(m) = m**2 - 4*m + 3. Let d be r(4). Let f = -3 - -4. Suppose -d*c = -19 + f. Sort 4, 0, c in decreasing order.
c, 4, 0
Let l(p) = -p**3 - 12*p**2 + 17*p + 16. Let c be l(-15). Sort 5, c, 0 in descending order.
c, 5, 0
Let q(j) = -35*j + 443. Let c be q(13). Sort c, -3, 0, -2 in decreasing order.
0, -2, -3, c
Let b(h) = -151*h + 15593. Let l be b(103). Sort -18, -5, 3, l.
-18, -5, 3, l
Suppose -10 = -5*u - 0*u. Let y = 153.66 + -1.66. Let o = y + -151.99. Put 0, 1, u, o in decreasing order.
u, 1, o, 0
Let w = 336 + -196. Let u = 143 - w. Let m(g) = g**3 + 3*g**2 - 1. Let p be m(-3). Sort 2/23, p, u, -0.5 in increasing order.
p, -0.5, 2/23, u
Suppose 3*q + 2*p + 2*p + 3 = 0, -4*q + 5*p + 27 = 0. Suppose 5*t - q*z = -26, 3*z = -3*t + 2*t - 16. Let n = 0.1 - 0.3. Put t, n, -4, 0.2 in descending order.
0.2, n, -4, t
Let q = 60 + -101. Let m = 35.04 + q. Let y = 0.04 - m. Sort -2/11, -4, y, 2/13 in descending order.
y, 2/13, -2/11, -4
Suppose d - 6*d = 17*d - 44. Sort d, -3, 5, -8, -2.
-8, -3, -2, d, 5
Let p = 9755.3 + -9755. Sort p, 1, 9, 3.9 in ascending order.
p, 1, 3.9, 9
Let r = -6 + 3. Let z = -0.73963 - -5.73963. Put r, 1.4, z, 1 in decreasing order.
z, 1.4, 1, r
Suppose -288*n - 24398 = 6130. Sort 3, 2, n, -5 in increasing order.
n, -5, 2, 3
Let k = 242.98 - -3.02. Let p = k + -155. Let r = -89 + p. Sort 5, 1.5, 1/4, r in increasing order.
1/4, 1.5, r, 5
Let q = 53 - 53.02. Let s = q + 0.42. Let a = -0.6 + s. Sort -3/4, a, 4 in increasing order.
-3/4, a, 4
Let v = 0.24 + -0.04. Let z be 10/3 - 7/(21/(-2)). Suppose -z*o + 7*f = 4*f + 6, 0 = -5*f - 10. Sort v, o, 1, -2 in ascending order.
o, -2, v, 1
Let v = 2.05 - 2. Let c = 8.9516 + -9.0516. Sort c, -0.5, -2/5, v in decreasing order.
v, c, -2/5, -0.5
Suppose 0*f = 5*f - 5, 5*l + f - 21 = 0. Suppose 0 = -5*h + 2*h + 3*q + 282, 4*h - 383 = -3*q. Suppose -56 = -103*d + h*d. Sort -4, d, l in ascending order.
-4, l, d
Suppose 5 = 4*v + 20*f - 15*f, 5*f - 20 = -v. Sort 4, v, 1, -7.
-7, v, 1, 4
Suppose -82 + 50 = 8*g. Put g, 0.4, 3/4, -0.5, 1.6 in descending order.
1.6, 3/4, 0.4, -0.5, g
Let p = 73.86 + -74. Suppose -4*a + 29 = -4*z - 7, -13 = z - 2*a. Sort -1, p, z, -2/5 in descending order.
p, -2/5, -1, z
Let y(f) = 5*f**2 - 48*f + 27. Let i be y(9). Sort i, -460, -4, -5 in decreasing order.
i, -4, -5, -460
Suppose -5*j - 21 = -6*j. Let h be 28/j + (-222)/126. Put -5, h, 3/26 in increasing order.
-5, h, 3/26
Suppose 2*o - 37*g - 8 = -38*g, 2*g = 8. Put -6, 6, o, 5 in descending order.
6, 5, o, -6
Let b = -1161 + 2323/2. Sort 0, 2, -1, b in descending order.
2, b, 0, -1
Let h = 0.2 - 0.7. Let p = 126809 - 126814. Sort -3, h, p, 0.11 in decreasing order.
0.11, h, -3, p
Let q be (2 - -2)*(-11 + (-468)/(-48)). Put 0.5, 3, q, -103 in ascending order.
-103, q, 0.5, 3
Suppose 0 = -4*o - 0*o + 32. Let v(k) = -k**2 + 50*k + 336. Let h be v(-6). Sort -5, o, h in increasing order.
-5, h, o
Let p = 1886.2 + -1886.6. Put 0.4, p, -5, -1/3 in descending order.
0.4, -1/3, p, -5
Let j(h) = 10*h**2 - 74*h - 187. Let c be j(-2). Put -5, -2, -3, c, -6 in ascending order.
-6, -5, -3, -2, c
Let k(c) = -c - 6. Let r be k(-7). Let n be (-2*2/(-12))/(-10 - 2299/(-231)). Sort n, -2, -4, r in increasing order.
n, -4, -2, r
Suppose -4*p + 12 = -2*v, 0 = -p - 2*p - 5*v + 22. Let u be (-6)/165*-5 + p/(-22). Suppose 2*m - 144 + 138 = u. Sort -1, m, -0.03 in increasing order.
-1, -0.03, m
Suppose 2*d + 3*d + 3595 = 5*s, 5*d - s + 3599 = 0. Let i = d - -719. Put -3, 4, 14, i in ascending order.
-3, i, 4, 14
Let c = 2997 - 3003. Sort c, -2, -8, 3/7, 63 in decreasing order.
63, 3/7, -2, c, -8
Let n(m) = -74*m + 5309. Let v be n(72). Sort -1, -3, v in descending order.
-1, -3, v
Let n = 17.163 + -12.163. Let z be (2/(-30))/((-11)/33). Put -0.04, z, n in decreasing order.
n, z, -0.04
Let h = -1039/6174 + 5/3087. Put 8/7, 3, -4/3, 1, h in decreasing order.
3, 8/7, 1, h, -4/3
Let h = -62512/3 + 20836. Put h, 0.3, 0.038, -5 in increasing order.
-5, h, 0.038, 0.3
Suppose 0*j - 8*j = -136. Let k = -9042 - -9042. Put j, k, -3 in decreasing order.
j, k, -3
Let f = -28.18 - -27.68. Put f, -8, 0.15, -3 in descending order.
0.15, f, -3, -8
Let p = -28 - -28. Let b = 41 + -40.949. Let g = b - -0.149. Sort p, g, -1.6 in descending order.
g, p, -1.6
Suppose -1 = 4*q - 5. Let x be 312/9*(-18)/(-6). Let z = 103 - x. Sort z, q, 10, 5 in decreasing order.
10, 5, q, z
Let c = -753.3 - -751.3. Put 0, -2/11, c, -15 in descending order.
0, -2/11, c, -15
Let p = 307 + -292. Suppose -4*u + 48 = -f, -20 - 40 = -5*u + 2*f. Let j be u/p - -18*3/(-30). Sort j, 5, -4 in decreasing order.
5, j, -4
Suppose -2*w + u - 4 = 0, w - 889 = -4*u - 882. Sort 2, w, -5, -339, 3 in descending order.
3, 2, w, -5, -339
Let r = -2494.51 + 2494.61. Suppose 0 = 2*g - 6 - 2. Put g, -1, 14, r in ascending order.
-1, r, g, 14
Let x be 11 + 1315/(-145) - 2/(-29). Put x, -23, -2, -9, 0 in decreasing order.
x, 0, -2, -9, -23
Suppose 7 = -3*u + 2*g - 4, 0 = 5*u - 3*g + 20. Put u, 4, 0, -1, -2 in descending order.
4, 0, -1, -2, u
Let w = 84.3 + -949.3. Let o = w + 865.4. Sort 5, -5, -1, o in increasing order.
-5, -1, o, 5
Let j = 46 + -38. Suppose -4*b = -j*b + v + 3, -v - 3 = 4*b. Sort -2, -11, b.
-11, -2, b
Suppose 73*k - 209*k = 680. Sort 1, 4, 0, 5, k in increasing order.
k, 0, 1, 4, 5
Let w = -15 + 4. Let c = w + 10.8. Let u = 16459/31 + -531. Put 0.3, u, c in ascending order.
c, u, 0.3
Suppose 4*o - 10613 = -10621. Let g = 15 - -4. Sort 0, 2, o, g in ascending order.
o, 0, 2, g
Let t(c) = -c**2 + 21*c - 18. Let h be 2*11 - (-48)/(-24). Let w be t(h). Sort 38, w, 5 in descending order.
38, 5, w
Let l = -0.205 - -0.177. Let t = l - 4.972. Put 3/4, t, -7 in descending order.
3/4, t, -7
Let r = -0.043 + 212.043. Let v = -211.8 + r. Put -0.3, -5, -0.2, v in decreasing order.
v, -0.2, -0.3, -5
Let m = 21347 - 21346.5. Put 3, -15, m, -2, -7/6 in decreasing order.
3, m, -7/6, -2, -15
Suppose 218 = -5*l + 7*g, 4*g + 27 = 23. Sort l, 0.2, -0.01 in descending order.
0.2, -0.01, l
Let i be ((-4)/5)/((2/10)/(-1)). Suppose -22*o + 84 + i = 0. Sort -2, 6, o in ascending order.
-2, o, 6
Suppose 38*x - 31*x = 28, 64 = -4*w + 4*x. Sort w, 2, -13, 0 in ascending order.
-13, w, 0, 2
Let v = 9 + -11. Let c(f) = 33*f - 1076. Let u be c(33). Sort -3, v, u in decreasing order.
u, v, -3
Let l = 2 - 3. Let s = -6616 - -6608. Sort -5, s, 5, l in decreasing order.
5, l, -5, s
Let z(y) = -y + 27. Let u be z(26). Suppose 4*o + 4*h - u = -17, -4*h = 5*o + 17. Let f = -6 - -3. Sort 3, o, f in ascending order.
f, o, 3
Let n(l) = 3*l + 83. Let j be n(-26). Let f be (-5)/(-2) + (-294)/(-196). Sort -71, -1, f, j in decreasing order.
j, f, -1, -71
Let s = -25 + 24.926. Let v = s - -0.014. Let w = -1.06 - v. Sort w, 4, -2/19 in decreasing order.
4, -2/19, w
Let c be (16/(-4))/((-20)/(-75)). Sort c, -4, 1, -2 in ascending order.
c, -4, -2, 1
Suppose 4*i = -160*m + 162*m + 26, 2*m + 4*i - 30 = 0. Let o = -0.4 + 0.4. Let f = -0.1 + o. Put -5, 3, m, f in decreasing order.
3, m, f, -5
Let o(k) = -53. Let i(y) = -27*y + 54 + 12*y + 8*y + 6*y. Let r(j) = -3*i(j) - 4*o(j). Let l be r(-18). Sort 26, l, 4 in increasing order.
l, 4, 26
Let a be ((-1)/((-21)/49))/((-12)/(-36)). Sort 5, -6, a, -5, 2.
-6, -5, 2, 5, 