). Put -5, h, 4 in decreasing order.
4, h, -5
Let u = 3 + -8. Let q = -6 - u. Let w = 0.8 + q. Put w, 0.2, 0.3 in decreasing order.
0.3, 0.2, w
Let j = -0.4 + 0.32. Let y = 3.08 + j. Let z = y + -6. Sort 0.3, z, -0.5 in decreasing order.
0.3, -0.5, z
Let h = -4 - -7. Let j(t) = -t**2 - 10*t + 6. Let w be j(-11). Let x(o) = -o**3 - 7*o**2 - 6*o + 1. Let l be x(-6). Sort l, w, h in decreasing order.
h, l, w
Let t = 0 - 6. Let y = t + 11. Sort -1, 3, y in ascending order.
-1, 3, y
Let n = 1378.07 + -1385. Let u = -0.07 + n. Let d = -7.3 - u. Put -4, d, 3 in increasing order.
-4, d, 3
Let i be -1 - 0 - (4 - 1). Sort 0, i, 63.
i, 0, 63
Let o be 1 - (-1 - (-17)/9). Let z = 401 - 404. Put o, 1/10, z in ascending order.
z, 1/10, o
Let s(p) = -p**3 + 9*p**2 + 10*p + 8. Let u be s(10). Suppose r - 1 = t, -2*r = -t - 4*r + u. Sort -2, 5, t in increasing order.
-2, t, 5
Suppose 2*i + 2*y = -3*y - 16, 0 = -2*i + 4*y + 20. Suppose -4*t + i*t = 0. Suppose 0 = -3*m - h + 11, -5*m + 1 - 11 = -4*h. Put -1, m, t in descending order.
m, t, -1
Let u = -74/533 + 12/41. Sort 2/9, 4, u.
u, 2/9, 4
Let r = -0.03 - -8.03. Let s = -8.2 + r. Put s, -1/4, -1/6 in increasing order.
-1/4, s, -1/6
Let g be -3 + 5*3/5. Put 0.2, g, 3/7 in decreasing order.
3/7, 0.2, g
Let u = -59 + 49. Sort -1, 1, u in increasing order.
u, -1, 1
Suppose -5 = 4*q - 13. Suppose 0 = -q*p - 2*p + 4. Put 2, p, -1 in increasing order.
-1, p, 2
Let z = -2 + 7. Let y = -19 - -7. Let r = y - -14. Sort -5, z, r in increasing order.
-5, r, z
Let p(w) = w**3 - w**2 + w. Let n = -5 - -1. Let t = n - -5. Let y be p(t). Sort -1, -2, y in ascending order.
-2, -1, y
Suppose -4*c = -c - 6. Suppose -14 - 11 = 5*i. Let p be 0/((3 + -4)*2). Sort i, p, c in increasing order.
i, p, c
Let d = -6 - -11. Let x = 0.044 + 0.356. Let w = -0.3 + 4.3. Sort x, d, w.
x, w, d
Suppose 3*g - g + 4 = 0. Let d be 16/9 + g/(-9). Put d, -4, -2/7 in decreasing order.
d, -2/7, -4
Suppose 0 = -2*x - 17 - 9. Let p be -3 + -2*x/6. Put -0.5, p, -0.1 in descending order.
p, -0.1, -0.5
Let t = -6 + 8. Let z = -1 - t. Let q = 476 - 472. Sort 2/3, q, z.
z, 2/3, q
Let o = 26 + -26.27. Let j = -0.2 - o. Put -4, 3, j in descending order.
3, j, -4
Let v = 2 - 3.5. Let d = -12.5 - v. Let s = -16 - d. Sort 5, s, -3 in increasing order.
s, -3, 5
Suppose 4*i + 2 = 3*t + 2*i, -t - 5*i = -12. Suppose -4 = -2*n + 2. Let y = 1 + n. Sort t, 1, y in decreasing order.
y, t, 1
Let u be 8/4 - (-1 - 0). Sort 4, u, 12 in descending order.
12, 4, u
Let w = -9 - -6. Let b = 7 - 2. Sort w, -2, b in decreasing order.
b, -2, w
Let t = -10 - -8. Let k be (-4)/(0 - t) - 0. Sort 3, 0, k in decreasing order.
3, 0, k
Let s(a) = -a**3 + 3*a**2 + 5*a - 6. Let l be s(4). Let m = l + 5. Suppose -2*q = -1 - m. Sort q, 5, -2 in ascending order.
-2, q, 5
Let r(f) = -f**3 + 2*f + 4. Let p be r(0). Suppose 4 - 12 = -h - 3*x, -4*h = -3*x - 17. Sort -4, p, h in descending order.
h, p, -4
Suppose 4*n = 3*n + 5*o - 17, -12 = -4*o. Sort -3, 5, n in ascending order.
-3, n, 5
Let l = -3 - -6. Let x = -25 - -24. Sort -5, l, x in descending order.
l, x, -5
Let c = 3.1 - 0.1. Sort 1/4, -2, c.
-2, 1/4, c
Let d be 3/((-6)/2) + 2. Let r(a) = -a - 1. Let u be r(d). Let p be u/(-10) + 16/(-5). Put 3, p, 5 in decreasing order.
5, 3, p
Suppose 2*r = 2*p + 20, 0 = -2*r + 2 + 2. Let q be 2/4*4/p. Sort 3, -2/9, q in descending order.
3, -2/9, q
Let c be 2/(-3) + (-6)/(-10). Sort -2, c, 1/3 in decreasing order.
1/3, c, -2
Let h = -1.7 - -2. Let p = -3/113 - -259/1243. Sort p, -0.2, h in descending order.
h, p, -0.2
Suppose -4*x - 2*r + 3*r = 0, -3*x = -r + 1. Put x, -4, -3 in ascending order.
-4, -3, x
Let x = -63.6 + 64. Let d be ((-25)/8)/((-1)/(-10)). Let i = d - -1367/44. Sort 2, x, i in descending order.
2, x, i
Let x = -0.1 + 0.08. Let a = -276 - -273.02. Let m = a + x. Put -0.4, m, 5 in decreasing order.
5, -0.4, m
Let y = -5 - -6. Let r = 0.02 + 2.98. Let h = 2.9 - r. Sort -3, h, y in ascending order.
-3, h, y
Let c = 0.04 + 0.26. Let i = -33 - -29.7. Let w = c + i. Sort w, 3/5, 2.
w, 3/5, 2
Let t = 0.2 - 0. Let l be (2 - 0)/(7 + 0). Let c = 10.5 - 10. Put l, c, t in descending order.
c, l, t
Let d = 49.6 + -57. Let h = 7 + d. Sort h, 0.5, -3 in decreasing order.
0.5, h, -3
Let f = 121 + -121.5. Let t(h) = 3*h**2 - 2*h - 1. Let z be t(-1). Put z, f, 2/3 in decreasing order.
z, 2/3, f
Let g be ((-2)/(-14))/(1/3). Let o(h) = h**2 - 7*h - 6. Let f be o(-5). Let l be (1/(-3))/(21/f). Put l, -5, g in descending order.
g, l, -5
Suppose -28 = -4*p - 0*p - 3*w, 0 = 3*p - 3*w. Suppose -2*s + 2 = p*n, s - 4*s = n - 8. Put n, -3, 1 in increasing order.
-3, n, 1
Suppose 5*l = -q, 0 = q + 7*l - 3*l. Let d = -1 - -3. Let k be (4/(-3))/(d/6). Sort 2, q, k in decreasing order.
2, q, k
Let i be (-9)/15 + 39/15. Sort 8, i, 1/3 in descending order.
8, i, 1/3
Suppose -5*x = -2*z + 7, -z + 0*x + 2 = -2*x. Let g(h) = -h - 2. Let a be g(0). Sort a, z, -3 in increasing order.
z, -3, a
Let k = 128017/480 + -799/3. Let x = k + 1/32. Let g(s) = 2*s**2 - s + 1. Let v be g(1). Sort x, -0.4, v in descending order.
v, x, -0.4
Let k be 9/30*5/6. Let b = 14 + -13.96. Let j = 0.54 - b. Sort k, j, -1/2 in increasing order.
-1/2, k, j
Suppose u - 289 = -0*n - 3*n, -101 = -n - 5*u. Let i be n/(-30) + 2/10. Let v(h) = -h**2 - h - 4. Let x be v(0). Put i, x, 3 in descending order.
3, i, x
Let c(f) = f**2 - 4*f - 2. Let t be c(4). Let s = 4 + t. Suppose 0*j = -j - s. Put j, -3, 5 in descending order.
5, j, -3
Let m be ((-6)/(-9))/((-2)/(-9)). Let t(z) = -z**2 + 17*z - 12. Let f be t(16). Put -4, f, m in decreasing order.
f, m, -4
Let p be (-5 + -1)*(-2)/22. Let u(b) = 2*b. Let h be u(-1). Sort -5, h, p.
-5, h, p
Suppose 8*o = 10*o + 8. Sort 3, o, -2, 0.5 in decreasing order.
3, 0.5, -2, o
Let v = 23/82 + -2143/2378. Let f = v + -84/145. Let a = -0.03 - -3.03. Sort f, 6/5, a in decreasing order.
a, 6/5, f
Let s = 1 - 0. Suppose 4*l + 4 + 12 = 0. Suppose j + 5*f - 9 - 8 = 0, 3*j - 4*f = -6. Sort s, j, l in increasing order.
l, s, j
Let a(j) = -j**2 - 8*j + 6. Let f be a(-8). Suppose 2*k + f = 2. Let m = 8 - 12. Sort k, m, 2/3 in increasing order.
m, k, 2/3
Let l = 13.7 - 2.7. Let o = -12 + l. Sort o, 2/11, 0.
o, 0, 2/11
Let s(v) = -2*v + 0*v + 3*v + 0*v. Let h be s(2). Put 1, -2, h in ascending order.
-2, 1, h
Let z = 2 + -6. Let l(i) = i**2 + 3. Let r be l(0). Suppose -v + 6 = 2*d, -3*v + d - 3 = v. Sort v, r, z.
z, v, r
Let u = 5 - 0. Let j(f) = -f**3 - 10*f**2 + 23*f - 8. Let i be j(-12). Sort 3, u, i in ascending order.
3, i, u
Let f be 88/(-33) - (6/9)/2. Sort 11, f, -2, 1 in ascending order.
f, -2, 1, 11
Let v(j) = j**3 - 3*j + 2. Let o be v(2). Let t = -0.8 - 2.2. Let x be 0 + 0 + (-6)/(-9). Put o, t, x in decreasing order.
o, x, t
Let p = 45.2 + -45. Let g = 0 - 0.3. Let w = g - 0.2. Put 2/5, p, w in ascending order.
w, p, 2/5
Suppose -2*x - q - 7 = 0, x + 0*x - q = -8. Suppose 6*d = d + 4*p + 48, -5*d - 5*p + 30 = 0. Let o = 11 - d. Put o, 1, x in descending order.
o, 1, x
Let s = 5.11 + -0.11. Let r = -20.8 - -21. Put s, r, -2/3 in decreasing order.
s, r, -2/3
Suppose -2*g + 5 = -3*l - 2, 2*g = -2*l + 2. Suppose 4*b - 110 = 2*b - g*c, 0 = 3*c - 15. Let f be 15/6*(-8)/b. Sort -1/2, f, -2 in increasing order.
-2, -1/2, f
Let i = -1.83 - 0.27. Let g = -5.1 - i. Put -5, 4, g in descending order.
4, g, -5
Suppose 3 + 1 = u. Let l be (u/(-6))/((-6)/(-9)). Let o = l - -4. Sort -1, 4, o in ascending order.
-1, o, 4
Let r be (-7)/5 + (-3)/9. Let b = r + 7/5. Let o = -0.9 - -0.6. Sort b, o, -2/11 in decreasing order.
-2/11, o, b
Let j(m) = m - 15. Let f be j(8). Put f, -3, 2 in ascending order.
f, -3, 2
Let o = 0.137 + 0.973. Let w = o + -0.11. Put w, -0.1, 0.1 in increasing order.
-0.1, 0.1, w
Let w(m) = -m - 12. Let r be w(-10). Sort r, 3, 5, 0 in decreasing order.
5, 3, 0, r
Let f(a) = -a**3 - 4*a**2 + 11*a - 8. Let v be f(-6). Let q be 2/5 + (-13)/(-5). Suppose q*b + 1 = -2. Put v, b, -4 in decreasing order.
b, v, -4
Suppose -5*a = 4*i + 2, -i = -0*i + a. Suppose 12 - 8 = -i*k. Put 2, k, 3 in descending order.
3, 2, k
Suppose -4*v - 13 = 59. Suppose 4*h - 1 + 69 = a, 52 = -4*h + 5*a. Let b be (-76)/v - (-4)/h. Sort b, 3, -3 in decreasing order.
b, 3, -3
Suppose 5*y - 4*x - 2 - 13 = 0, 20 = 4*x. Sort 2, 3, y in decreasing orde