.
k, 0, f
Let g = 887 + -888.2. Put -2/17, -2/7, g, 2/13 in increasing order.
g, -2/7, -2/17, 2/13
Let b = -0.0328 - 7.3772. Let z = b + 7.2. Sort 4/5, -2/5, z in descending order.
4/5, z, -2/5
Suppose 2*h + 8 = -4*s, -2*h = -26*s + 25*s + 3. Let o = 9 + -14. Sort h, o, 0, 2.
o, h, 0, 2
Let g(k) = -k**3 + 6*k**2 + 8*k - 2. Let x be g(7). Suppose -x*o + b - 3*b + 15 = 0, -5*o = -5*b - 15. Sort 1, o, 2, 0.
0, 1, 2, o
Let d = 4 - 4. Let w(c) = c - 13. Let j be w(9). Let g be (j/(-6))/((-4)/6). Put -4, g, d in descending order.
d, g, -4
Let r = 38.9 + -28.9. Sort -0.2, 0.04, r in increasing order.
-0.2, 0.04, r
Let z = 34 - 37. Sort 0, 3, z, -1 in increasing order.
z, -1, 0, 3
Let j = 230 + -227. Sort 4, 27, j, -3 in descending order.
27, 4, j, -3
Let d be (8/54)/((-4)/(-6)). Let k be -61 + 0 + -3 - (-10)/35. Let z = 64 + k. Sort d, -2/13, z in decreasing order.
z, d, -2/13
Let j be -1 + 2 + (2 - 5). Suppose -179 + 175 = -h. Sort h, 5, 2, j.
j, 2, h, 5
Let s = -7 - -4. Suppose -q + 6 - 2 = 0. Suppose 0 = 4*y - q*m + 4, -1 = 4*y - 3*m + 6. Put s, y, 4 in ascending order.
y, s, 4
Let m be (-142)/(-12) + (-5)/(-30). Let q be ((-4)/(-10))/(m/60). Suppose 3 - q = -t. Put -5, t, -2 in ascending order.
-5, -2, t
Suppose 0 = -7*s - 96 - 2. Sort 2, s, -15.
-15, s, 2
Let r = 834 + -834.1. Let z = -0.1 - 0.2. Sort r, -5, 0.4, z.
-5, z, r, 0.4
Let y = 1/146 - -283/1314. Put y, -3/8, -22 in descending order.
y, -3/8, -22
Let d = 5 + 7. Let m = d - 7. Put 3, m, 8 in ascending order.
3, m, 8
Let p = -9 + 0.4. Let r = -1.9 + p. Let i = r - -11. Sort 0, i, -1 in descending order.
i, 0, -1
Let a be (-9)/((-9)/(-2)) + 41. Suppose a - 15 = -8*r. Let c be 2 + -1*(0 - -3). Put -4, r, c in descending order.
c, r, -4
Let n = 199 + -188. Put -3, n, -2 in decreasing order.
n, -2, -3
Let p be -2 + (-4)/(32/(-15)). Let d = 27.36 + -0.36. Let q = d - 23. Sort -3/7, q, p in decreasing order.
q, p, -3/7
Suppose 0*q + 14 = -2*q. Suppose -13 = -2*v + 5. Let n be 1 + -1 + v + q. Put 4, 1, n in decreasing order.
4, n, 1
Let r = -37 + 187/5. Let l = -3 - -4. Let s = -93 + 96. Put l, s, r in increasing order.
r, l, s
Suppose 0 = -4*y + 2*q - 28, y - 3*q + 11 = -6. Suppose -2 = -11*u + 13*u. Let d be (u + 3)/(-2)*12/(-4). Sort y, -1, d.
y, -1, d
Suppose 3*l + b + 3*b = 21, -5*l - 2*b = -21. Suppose l*r + 24 = -2*p - 3*p, r - 3 = 2*p. Put -7, r, -5 in descending order.
r, -5, -7
Let s be (-16)/(-6) - (-90)/270. Put s, 4, 5, -34 in decreasing order.
5, 4, s, -34
Let i = 0.1561 - -0.1439. Put 11, i, -0.5, -11 in increasing order.
-11, -0.5, i, 11
Let r = 11 + -6. Let u = 197 - 198.57. Let p = u + 1.49. Put r, p, -2/7 in increasing order.
-2/7, p, r
Let c be (4896/156)/4 + -6 + -2. Sort -0.3, -2/219, c, 0.3.
-0.3, c, -2/219, 0.3
Suppose 0 = -h + 4*k - 9, 3*k - 12 = 2*h - 2*k. Put -4, h, -2 in ascending order.
-4, -2, h
Let g = -44.3 + -0.7. Let u = -47 - g. Let x = 3 + -1. Sort x, 1, u.
u, 1, x
Suppose -2*a - 4 = x, 3*a + 4*x = -0*x - 6. Let r(k) = 27*k - 241. Let i be r(9). Put i, a, 0 in decreasing order.
i, 0, a
Let q = -4.26 + 0.26. Let a = 2 + q. Put a, -3, 0.4 in decreasing order.
0.4, a, -3
Let t be 8/20 - 39/(-15). Suppose -5*o + 20 = -0*o. Suppose t*c - 1 = -o. Put -3, -2, c in ascending order.
-3, -2, c
Let b = 23 + -19. Let v = 3 - b. Sort v, 5/3, 3, -5 in descending order.
3, 5/3, v, -5
Let t = 35 + -32. Suppose -t = -2*d + 5. Sort 1, 7, d in decreasing order.
7, d, 1
Let g = 343 + -339. Sort g, -1, -14 in decreasing order.
g, -1, -14
Suppose 1618*t - 1625*t = -14. Sort t, 3, -1.
-1, t, 3
Let a(y) = -y. Let k be a(6). Let w = -274 - -282. Sort k, w, 3/2 in decreasing order.
w, 3/2, k
Let y(p) = p**2 - 5*p - 2. Let u be y(6). Let d be (2 + -46)*(-1)/4. Suppose -12*t + d*t - 5 = 0. Put -3, u, t in decreasing order.
u, -3, t
Let y = 2 + 0. Let g be 78/24 + 84/112. Sort -18, 1, g, y in descending order.
g, y, 1, -18
Let b = 185 + -166. Put b, 1/4, -0.1 in descending order.
b, 1/4, -0.1
Let k be (-14)/2 + 2 + (3 - 1). Let j be (-2)/(-9) - 114/27. Sort k, j, 6.
j, k, 6
Let a = -906 - -905.2. Sort -14, -2, a in increasing order.
-14, -2, a
Let g be 14/1 + (-1)/(-1). Let p = -6 + g. Let z = 11 - p. Sort z, 5, -5 in decreasing order.
5, z, -5
Let q = 0.2 + -4. Let s = q + -0.2. Let t be (-3)/12 - (-11)/4. Sort s, t, -3 in descending order.
t, -3, s
Let v = 0.495 - 2.395. Put 2/3, v, 3 in ascending order.
v, 2/3, 3
Let m(j) = j**3 + 2*j**2 - 3*j - 2. Let y = 38 + -41. Let b be m(y). Sort -9, b, -4.
-9, -4, b
Let i = 37 + -70. Sort -4, -1, i, -2 in ascending order.
i, -4, -2, -1
Let n(g) = g**2 - 2*g + 30. Let i be n(8). Let z = i - 74. Sort -5, z, -11, -3 in ascending order.
-11, -5, -3, z
Let p(h) = 2*h + 6. Let f be p(-11). Let k = -17 + f. Let o be 6/k + 171/33. Sort -3, o, -5.
-5, -3, o
Suppose 345*n = 340*n + 185. Sort n, 2, -5 in decreasing order.
n, 2, -5
Let g(m) = m**3 - 14*m**2 - 2*m + 31. Let v be g(14). Sort v, 2, -20 in descending order.
v, 2, -20
Let k be ((-2)/(-20))/((-6)/12). Let y = -110 + 1428/13. Sort y, -3, k, -1 in ascending order.
-3, -1, k, y
Let a(t) = t**3 - 9*t**2 + 7*t + 3. Let b be a(8). Let i = -102 - -99. Sort i, 1, -1, b in increasing order.
b, i, -1, 1
Let h = 737 + -745. Sort h, -1/2, -0.24 in increasing order.
h, -1/2, -0.24
Suppose 0 = 3*y + 12*y - 75. Put -38, y, 4 in descending order.
y, 4, -38
Let m = 0.418 - 0.728. Sort -1, m, 5, -3 in decreasing order.
5, m, -1, -3
Let g = 1097.2011 + -25.2111. Let u = -1086 + g. Let p = u - -14. Put -0.2, p, 0.2 in increasing order.
-0.2, p, 0.2
Suppose 2 = -2*i - 14. Let y(k) = k**3 - 3*k**2 + k - 1. Let f be y(2). Let g = i - f. Put 5, g, -1 in ascending order.
g, -1, 5
Let h = -253 - -248. Sort 0, h, -3, 4 in increasing order.
h, -3, 0, 4
Let k be (0 - 2*2) + 0. Let x be 2/(-6) + 8/6. Suppose -s - x = -2*s. Sort s, k, 2 in increasing order.
k, s, 2
Let k be (83 + -88)*1*(3 + -2). Suppose 5*i + 1 = v, v + 2*i - 5*i = -1. Let s(n) = -n + 9. Let o be s(12). Sort k, o, v in ascending order.
k, v, o
Let c = -3/277 + 843/1108. Let l = 0.2 + 0. Let t = l - 0.22. Put 0.4, t, c in increasing order.
t, 0.4, c
Let y(g) = g**3 - 5*g**2 - 5*g - 4. Let s be y(6). Let d be s/(-7) - (-32)/14. Let j be (-63)/(-156) - d/8. Sort 0.4, 1/2, j.
j, 0.4, 1/2
Let q be (9 - 6)/((-6)/4). Let h = q + 4. Suppose h*f - 4*f = 6. Sort 0, f, -2 in decreasing order.
0, -2, f
Let v = 1/2 + -7/6. Let r = -7015 - -7016. Suppose -2*f - 20 = 2*f. Put f, r, v in decreasing order.
r, v, f
Let t(z) = -2*z**2 + z + 2. Let w be t(-1). Let b be -2 + 1 - (1 - 6 - -4). Sort b, -2, w.
-2, w, b
Suppose -2*v - p + 16 = 3*p, 0 = 4*v + p - 18. Suppose 2*m + 20 = v*j - 0*m, 5*j - 25 = m. Put 2, j, -2 in descending order.
j, 2, -2
Let q = -62881/6 + 10437. Let f(n) = -7*n + 1. Let z be f(-6). Let w = q + z. Put 5, w, 0.5 in decreasing order.
5, 0.5, w
Let k = -362 + 365. Sort -1, 29, k.
-1, k, 29
Let c = 752 + -752.4. Put 366, 3, c, 0 in ascending order.
c, 0, 3, 366
Let w(c) = 12 + c**3 - 5*c**2 - 2*c - 13 - 3*c**3. Let t be w(-2). Sort -3, t, 4.
-3, t, 4
Let i(q) = -q + 2. Let f be i(3). Suppose 11 + 4 = 5*y. Suppose u = 5*a - 0*a + 17, -5*u - 27 = y*a. Put u, f, -2 in ascending order.
u, -2, f
Let z = -164 + 1150/7. Let s be -5*10/150*(-18)/2. Sort s, 2, z, 1/4.
1/4, z, 2, s
Suppose 5*b = 5*c, 5 - 14 = -5*c - 4*b. Sort c, -2, 4, -6 in descending order.
4, c, -2, -6
Suppose -8*b + 11*b - 4*c = 26, -3*b + 2*c = -28. Sort 2, 1, b in descending order.
b, 2, 1
Let v be 0 - -1 - -5*2. Let l = v + -8. Let g(x) = 4*x + 51. Let f be g(-13). Sort l, -2, f.
-2, f, l
Let u = -50.9 - -50. Let w = u - -0.4. Put -1, -2, w in ascending order.
-2, -1, w
Let n = 5 - 5.05. Suppose 4*p + 18 = 2*a, -2*a = -5*p - 27 + 4. Let x = -4 - a. Put 2, n, x in descending order.
2, n, x
Let w(d) = -d**2 + d + 1. Let g be w(1). Let q be 27/(-18)*(3 - g). Sort -16, 0, q.
-16, q, 0
Let q(j) = -j**3 + 4*j**2 + 3*j + 11. Suppose -2 = -4*g + 18. Let k be q(g). Sort k, 2, 4 in ascending order.
k, 2, 4
Let m = -0.037 + 0.367. Sort -5, m, 6 in decreasing order.
6, m, -5
Let f = -1 - 2. Let o = -0.4528 - -0.0528. Sort f, o, -6 in decreasing order.
o, f, -6
Suppose 11 = -9*h - 2*h. Let p = 3 + -2.8. Sort -8/7, p, h, 1/6 in decreasing order.
p, 1/6, h, -8/7
Let w = -2753 - -2752. Put 1, w, 15 in i