Let n = 997.4 + -997.2. Suppose f - 3 = 0, 8 + 7 = 3*u + f. Let l = 5 - u. Put n, l, 4, -23 in increasing order.
-23, n, l, 4
Let d = 13340 + -13341. Sort d, -11, 5, 73 in increasing order.
-11, d, 5, 73
Suppose -6*p + p = 25. Let n be -1*1 - (4 - 1). Let u(r) = -4*r**2 + 67*r + 244. Let m be u(20). Sort m, p, n in ascending order.
m, p, n
Suppose 65*n = 69*n - 2*b - 8, 0 = -n + 3*b - 3. Sort n, 91, -6 in increasing order.
-6, n, 91
Let y = -28 - -31. Let k = -8180 - -8182. Put 1, y, k in descending order.
y, k, 1
Let v = 505 + -510.78. Let b = v + 4.2. Let c = -0.42 + b. Put -5, c, 4, 5 in descending order.
5, 4, c, -5
Let j be (30/6 - 1) + -2. Suppose -4*i - j*i = -30. Suppose -2 = 5*t - 3*y, 2*y - 4 = 4. Sort i, 11, 1, t in ascending order.
1, t, i, 11
Let p be 2 + 4/(-4 - -8)*-3. Let z be (-304)/56 - 5/p. Put z, -0.3, -18/7, 4 in descending order.
4, -0.3, z, -18/7
Let s = 23591.979 + -23592. Put 2/3, 2/7, s, -0.5, 0.4 in descending order.
2/3, 0.4, 2/7, s, -0.5
Let n be (3*1 - 18/12)*-2. Sort 5, 149, n, 4 in descending order.
149, 5, 4, n
Let y = -1.3703 + 1.8703. Let f be (-1)/(-4) - 17/20. Put 5, 0.4, y, f in descending order.
5, y, 0.4, f
Let j(n) = n**3 - 6*n**2 - 6*n - 13. Let b be j(10). Let c = b - 982/3. Sort c, -23, 5 in increasing order.
-23, c, 5
Suppose -9*b + 3*b - 342 = 0. Let i be b/(-21) - (-2)/7. Suppose 0 = 7*g - i*g - 5*a - 41, 0 = -5*a - 25. Put 3, g, -14 in increasing order.
-14, 3, g
Let z(g) = -g**2 - 16*g + 782. Let y be z(-37). Put y, -4, 43, 1 in decreasing order.
43, y, 1, -4
Suppose 6 = 5*a - 3*r, -6 = -a + 2*r - 3*r. Suppose -321*f = -372*f - 102. Put f, 399, a in ascending order.
f, a, 399
Suppose -m + 3*m = 4*y + 2, -m = 2*y + 7. Let s = 34966 + -34990. Sort s, y, 1 in decreasing order.
1, y, s
Let c be (-904)/339*6/104. Sort -2/7, -23, 3/2, 4, c in ascending order.
-23, -2/7, c, 3/2, 4
Let y = 0.057 - -2.073. Let l = 4.27 + y. Sort 5, 2/3, -0.5, l in decreasing order.
l, 5, 2/3, -0.5
Let i be 1/2*2 - (-5 + 5). Suppose -5*t + 4*t - s - 7 = 0, -t - i = -s. Let x(f) = -f + 4. Let q be x(t). Put 1, -5, 2, q in descending order.
q, 2, 1, -5
Suppose 5*b + 4 = 6*b. Let l be (-37 + 4)/((4 - 2)/b). Let i be (-2)/(-3) + l/18 + 6. Put -4, -3, i, 4 in decreasing order.
4, i, -3, -4
Let c(o) = -o**3 - 14*o**2 + 68*o - 69. Let z be c(-18). Put z, 12, 1, 0 in descending order.
12, z, 1, 0
Let u = 8/7 - 106/105. Let r = 3015 + -3019. Let o be ((-2)/(-6))/(4/9). Put r, o, u in increasing order.
r, u, o
Suppose 83*m + 18 = -4*w + 88*m, -3*w + 2*m = 3. Put w, -2, -5, 0 in descending order.
w, 0, -2, -5
Suppose -d = 2*d + 12. Let l = -204.6 + 223. Let x = l + -18. Put d, -2, x in decreasing order.
x, -2, d
Let x = 401.7 + -401.9. Sort 1/9, -5, x, 5, -6 in ascending order.
-6, -5, x, 1/9, 5
Let v = 1.808 + 2.192. Put v, -0.05, 0.3, -5 in ascending order.
-5, -0.05, 0.3, v
Let h = 124 - 274. Let l = h - -211. Let f = 69 - l. Sort 1/5, 0.3, f in decreasing order.
f, 0.3, 1/5
Let x(y) = 9*y - 17. Let n(a) = -16*a + 34. Let w(c) = -4*n(c) - 7*x(c). Let h be w(14). Suppose -4 - 12 = 4*g. Sort h, 4, g, 5.
g, h, 4, 5
Let c(i) = -2*i**3 + 56*i**2 - 192*i - 5. Let g be c(4). Suppose 5*b - 28 = -8. Sort b, 2, g, 5 in decreasing order.
5, b, 2, g
Suppose 2889 = -2*x + 20*p - 23*p, 0 = 4*x - p + 5757. Sort x, 5, 2 in descending order.
5, 2, x
Suppose -q - 2*q = -q - 0*q. Put 11, -20, q in descending order.
11, q, -20
Let o(f) = -31*f + 64. Let w be o(13). Let n = w + 677/2. Put n, 0, 1/22 in decreasing order.
1/22, 0, n
Let q be 6/15 + (-592)/(-20). Suppose 0 = -4*n - 0*n - 4*r + 12, -4*n + 5*r = -q. Sort 2, 1, n.
1, 2, n
Let v = 1554 + -1552. Sort 0, v, -4, 1 in increasing order.
-4, 0, 1, v
Let o = -7.24 - -7. Let d = 0.06 - o. Let m = -43.67 + 42.67. Put d, 3, m in decreasing order.
3, d, m
Let y = 5.95 + -388.95. Let a = -380 - y. Sort 5, a, 1.8, -3.
-3, 1.8, a, 5
Let n = -14178 + 14173. Let y(j) = -j**2 + 5*j + 8. Let h be y(7). Let z = 10 + h. Sort z, n, -2 in descending order.
z, -2, n
Let x(y) = -y**2 - 4*y + 7. Let d be x(-6). Let k(q) = -q. Let u be k(0). Let a = -1971 + 1968. Put a, d, u, -2 in ascending order.
d, a, -2, u
Let r(f) = -2*f**2 + 25*f - 9. Let w be r(7). Suppose w = 10*n + 18. Suppose 2*p - 5 - 3 = 0. Put p, n, 0.3 in increasing order.
0.3, p, n
Let v(w) = w - 2. Let h be v(6). Suppose 2*c + 405 = 3*j, 0 = 3*j - 2*c + 3*c - 405. Let i = j + -135. Put h, -3, i in descending order.
h, i, -3
Let p(q) = -12*q + 59. Let g be p(5). Sort -5, g, -24 in decreasing order.
g, -5, -24
Let w = -2 - 3. Suppose 0 = -6862*f + 6864*f - 8. Put w, f, 3/7 in descending order.
f, 3/7, w
Suppose -318*c + 60*c - 522 = -6. Suppose 5 = -2*m + 1. Let b(v) = v**3 - 2*v**2 - 4*v - 2. Let h be b(m). Put 5, h, c in decreasing order.
5, c, h
Let o = -4627 + 4627. Sort -5, -17, 8, 3, o.
-17, -5, o, 3, 8
Let n be (-1 - 1/4)*(19 + -23). Suppose -m = -2*m + 3*k + 16, 0 = 5*k + n. Sort m, 5, -5 in ascending order.
-5, 5, m
Let h(p) = 50*p - 1699. Let f be h(34). Sort f, 1795, 5 in descending order.
1795, 5, f
Let l = -4058 + 4057.95. Sort l, 39, 0.1.
l, 0.1, 39
Let y(g) = -2*g**2 + 89. Let k be y(0). Suppose 3*w = -k + 104. Put 8, -3, w in ascending order.
-3, w, 8
Let o = 0.089 + -0.05. Let f(y) = 2*y**3 + 73*y**2 + 330*y - 340. Let a be f(-31). Sort -0.1, o, -4, a in decreasing order.
a, o, -0.1, -4
Let d = -108 - -125. Put d, -2, -0.1 in ascending order.
-2, -0.1, d
Let y = 16669/183601 + 2/16691. Sort 2/9, 31/2, y, -4, -0.1 in increasing order.
-4, -0.1, y, 2/9, 31/2
Let h = 0.108 - -0.142. Put 0.3, 9, h in descending order.
9, 0.3, h
Let v(a) = 74*a + 3696. Let q be v(-50). Sort 3, -2454, q, -1 in ascending order.
-2454, q, -1, 3
Let t = -144 + 138. Let w = 55/48 - 1/48. Sort -0.3, t, w.
t, -0.3, w
Let l = 663823 + -663826. Let d = 29/105 - -2/35. Sort l, d, 1/12 in increasing order.
l, 1/12, d
Let c = 1019.1 - 1018.6. Sort c, -4/5, -4/9, -1 in ascending order.
-1, -4/5, -4/9, c
Let c be ((-7)/(-3) + (-15)/5)*(-297)/792. Sort 1/6, c, 30 in ascending order.
1/6, c, 30
Let k = 105.2 + 10.6. Let a = k + -116. Let t = -27/5 - -86/15. Put t, 4, a in increasing order.
a, t, 4
Let l be (6/5)/(6/15). Let y = -6453 + 6453. Let k be 10/15*(-15)/(-4). Sort l, y, k, -0.07 in decreasing order.
l, k, y, -0.07
Let j = -3913.2 - -3917. Put 0.1, j, -3/8 in ascending order.
-3/8, 0.1, j
Let w = -3701 + 3706. Sort w, 0.2, -2, -5, -184 in descending order.
w, 0.2, -2, -5, -184
Suppose 0*r - 1 = -r. Suppose 0 = 5*w - 7*a + 11, 33*a = w + 28*a + 13. Sort 54, r, w in ascending order.
r, w, 54
Let q = -2587 - -2425. Sort -5, 4, q.
q, -5, 4
Let w(j) = j**3 - 25*j**2 + 2*j - 14. Let b be w(25). Let g be ((-3)/(-4))/(297/b + -8). Suppose -5*n = -3*n + 10. Sort -2, g, n, 0 in descending order.
g, 0, -2, n
Let k = 5743/15 - 383. Let s = 1390057 + -1390053. Put -3, s, -104, k in descending order.
s, k, -3, -104
Let d = 131 - 127. Sort -31, d, 2 in ascending order.
-31, 2, d
Let j be -3 - (2 - 10 - -4). Let g(k) = -6*k - 46. Let s be g(-8). Let d be 8/(-12) + 4/6. Sort d, j, s, 5 in descending order.
5, s, j, d
Let h = 428 - 432. Put -27, h, 0 in increasing order.
-27, h, 0
Suppose -25 + 0 = -5*x. Let h be (261/(-90))/(824/30). Let m = 2/103 - h. Put x, m, 5/2 in increasing order.
m, 5/2, x
Let z = -11 - -3. Let c = z - -11. Let s = -3/7 - 1/14. Sort s, c, 1/4 in ascending order.
s, 1/4, c
Let b(g) = -g**3 + g**2 + 2*g + 3. Let x be b(3). Let t be (-6)/4*(16/x)/(-4). Suppose 5*j - 14 = -z, -4*z + 10 = 3*j - 3*z. Sort t, 9, j, 3.
t, j, 3, 9
Let c = 101.8 + -2.8. Let y = c - 101. Sort -24, -1, y.
-24, y, -1
Let t = -39291/5 + 7860. Sort 0.06, t, -5/4, 11, -5 in descending order.
11, t, 0.06, -5/4, -5
Let w = 38.05 + -38. Let g = w + 4.95. Let b = 33 - 33.08. Sort -5, g, b in decreasing order.
g, b, -5
Let n = -0.10626 + 6.10626. Put -5/4, n, 0.1 in ascending order.
-5/4, 0.1, n
Let h(k) = k**2 - 14*k - 71. Let g be h(18). Suppose -g - 5 = n. Put 0, n, 5, 1 in descending order.
5, 1, 0, n
Let u = 86095 + -86100. Suppose -2*w - 35 = -2*r + r, 0 = -3*r - 2*w + 65. Put 0, r, -2/5, u in increasing order.
u, -2/5, 0, r
Let x = -17 - -10. Let t = -6.94 - 1.06. Sort 0.1, x, -0.5, t in decreasing order.
0.1, -0.5, x, t
Suppose 0 = 3*z - 4*f + 431, 4*z + 5*f = 94 - 648. Let p = z - 