 Suppose 4*k = 5*i - 5, -i + 2 = k - 2*k. Sort -3, k, m.
k, -3, m
Let q = -923/8 - -115. Put 0, q, 1, 5 in increasing order.
q, 0, 1, 5
Let y = 32 + -45. Let w = 8.02 - 0.02. Let v = y + w. Sort v, 1, 5 in ascending order.
v, 1, 5
Let k(u) = -u**2 - 7*u - 4. Let w be k(-6). Let g(c) = -c**2 - 6*c - 12. Let z be g(-5). Let v = z - -12. Put 0, v, w in ascending order.
0, w, v
Suppose -14 = 4*a + 2*t, -3*a + 3*t = -4*a - 6. Put 0, a, 3, 2 in ascending order.
a, 0, 2, 3
Let b = -0.181 + 0.081. Suppose 3*a = -3*t - 18 + 3, -3*a = -5*t - 9. Sort b, a, 0 in increasing order.
a, b, 0
Let u = -1.39 - -0.89. Put -1/7, -2/7, u, 2 in decreasing order.
2, -1/7, -2/7, u
Let r = -9 - -9.56. Let m = 0.06 - r. Let g = -0.2 - 0.2. Put m, -3/2, g in ascending order.
-3/2, m, g
Suppose 4 = -u + 5*c - 2, -3 = 2*u - c. Let g = -3 - u. Let w = -5 - -6. Sort 5, g, w in ascending order.
g, w, 5
Let k = 0.9 - 1.9. Let g be (-2 - (-2)/2)/3. Sort g, -0.1, k in decreasing order.
-0.1, g, k
Let z = 21.7 + -22. Put 7, z, 3 in increasing order.
z, 3, 7
Let c be 1/(-1 - (-2 + 3)). Let i be 9/(-21)*6/9. Suppose -l = 0, 3*p - 2*l - 2*l = -3. Sort i, c, p in ascending order.
p, c, i
Let y = -5.7 + 6. Sort -6, -0.4, y in ascending order.
-6, -0.4, y
Let j(l) = -l**2 - 6*l. Let o be j(-6). Suppose o*a = -5*a + 5. Sort a, 5, 4 in descending order.
5, 4, a
Let g = -433/32509 - 2/551. Let c = 4/22099 + -1194526/6519205. Let l = g + c. Put -1/7, l, 2 in decreasing order.
2, -1/7, l
Suppose -5*l + 4*j - 41 = 0, 4*j - j + 13 = -5*l. Let o be (32/(-20))/(2/l). Put 0.5, o, -3 in decreasing order.
o, 0.5, -3
Suppose -5*q = 3*m + 28, -3*m + 8*m = 2*q - 26. Let k be (12/153)/(4/m). Sort -2, -2/15, k.
-2, -2/15, k
Suppose 3*r - 6 = -v, 0 = 4*r - 4*v - 0*v - 24. Suppose 0 = r*a - 5*a + 6. Sort 0, a, 4 in descending order.
4, a, 0
Suppose 0 = -k - 2*k + 6. Let t be 0 + 1 - (0 + 1). Sort -4, t, k in decreasing order.
k, t, -4
Let q = -0.1 + 9.1. Let i = -8 + q. Let z = i - -1. Sort 1, 0.1, z in ascending order.
0.1, 1, z
Let u(b) = b**3 + 7*b**2 + 7*b + 8. Let t be u(-6). Sort 5, 0, -3, t.
-3, 0, t, 5
Let u = 113 - 117. Put 10, u, -1, 0.3 in increasing order.
u, -1, 0.3, 10
Suppose 4*k + 6 = 2*k. Sort k, 3/2, 0.07 in descending order.
3/2, 0.07, k
Let g be (-2)/(-7) + 90/(-21). Put g, -3, 5, 1 in ascending order.
g, -3, 1, 5
Suppose 4*n - 6 = 6. Sort 0, n, -1 in decreasing order.
n, 0, -1
Let s = 0.04 - -4.96. Let x = -4 - -3. Put s, 0.4, x in increasing order.
x, 0.4, s
Suppose 6*b = 2*b. Let g = 10 - 6. Put 3, b, g in ascending order.
b, 3, g
Let n = 28 - 23. Let y = 0 + -0.5. Put n, -2, y in increasing order.
-2, y, n
Let x = 5 + 0. Sort -4/5, x, -0.3 in descending order.
x, -0.3, -4/5
Let v(r) = 3*r + 43. Let y be v(-14). Suppose i + 3*i = -3*w - 10, 5*w + 14 = -4*i. Suppose -16 = -4*j - 0. Put y, w, j in descending order.
j, y, w
Let o be ((-9)/(-6))/((-9)/(-12)). Put -1, -5, o in decreasing order.
o, -1, -5
Let d be 3*(-4)/6 - 1. Let l be d + 4/2*2. Put -3, l, 4 in decreasing order.
4, l, -3
Let x(k) = k**3 + 4*k**2 - 4*k - 1. Let s be x(-4). Suppose 3*h = -5*p, -6*p + p - s = 0. Sort 2, 1, h in increasing order.
1, 2, h
Let d be ((-12)/18)/(2/(-33)). Suppose 4*q + 2*w = 1 + 1, -4*q + w = -d. Put q, -2, 1 in descending order.
q, 1, -2
Let k(t) = t**3 + 3*t**2 + 4. Let z be k(-3). Sort 5, z, -4.
-4, z, 5
Let a = -313/5 + 63. Let s = -0.2 + -0.1. Let y = -0.1 - s. Sort y, a, 5 in decreasing order.
5, a, y
Let s(d) = -d**3 - d + 11. Let z be s(0). Let x = 67 + -65. Sort x, -2, z.
-2, x, z
Let i = 4.62 + -0.12. Let r = -0.02 - 4.98. Let v = i + r. Put v, 3, 0.1 in increasing order.
v, 0.1, 3
Let h(v) = -4*v - 4. Let i be h(-4). Suppose 5*k - 5*f - i - 18 = 0, 4*k + f - 24 = 0. Suppose -k*z = -2*z. Put -5, -4, z in ascending order.
-5, -4, z
Let n = -0.32 - -2.32. Sort -0.5, 1/6, n.
-0.5, 1/6, n
Let m = 1.5 - -0.5. Let n = -5 + m. Let f be 2/(-12)*9/((-108)/(-16)). Put n, -0.3, f in decreasing order.
f, -0.3, n
Let j = 4 - 2. Sort j, 5, 1 in ascending order.
1, j, 5
Let j = 35 - 29. Put 2, 2/7, j in decreasing order.
j, 2, 2/7
Suppose 0 = 15*g - 522 + 57. Put 2, g, 4 in descending order.
g, 4, 2
Suppose 5*b + 15 = 0, -5*b - 19 = -5*s - 4. Let c be ((-4)/(-3))/(1/(-3)). Let q be s/(1 + 1) - c. Put -4, q, 0 in increasing order.
-4, 0, q
Let t be -4 - -7 - 2/1. Let d = -9 - -6. Let r(k) = k**3 + 4*k**2 + 5*k + 4. Let n be r(d). Sort n, t, 4.
n, t, 4
Let k = 9 + -5. Let o(h) = h**3 - 5*h**2 + 4*h - 5. Let g be o(k). Let w = -5 + 8. Sort w, 2, g in ascending order.
g, 2, w
Let b be (-2)/(-5) + 24/(-35). Let a = -568 - -566. Put a, b, -4 in increasing order.
-4, a, b
Let z be 4/14 - 145/140. Let g be -6*(-1)/(-14 + 0). Put z, g, 2 in increasing order.
z, g, 2
Let q = -611/3 - -202. Let h = 0.4 + -0.4. Sort 2, q, h.
q, h, 2
Let i(l) = l - 13. Let q(o) = 12*o**3 - 1. Let s be q(1). Let u be i(s). Let m be (-3 - u)*1*2. Sort m, -5, 5.
-5, m, 5
Let m = 0.07 + -4.07. Let v = -14 - -69/5. Put m, v, 1/5 in increasing order.
m, v, 1/5
Let k = 2.86 + 0.14. Sort 0, k, -5.
-5, 0, k
Let t = -229/495 + 1/55. Let c = -0.5 - -3. Let r = c + -2. Put t, -0.3, r in decreasing order.
r, -0.3, t
Let d = -6 + 3. Let q be (-2)/(-6) + (-14)/6. Sort 0, q, d.
d, q, 0
Let a be (-2)/(0 + (-6)/9). Suppose 5*x + a = -17. Put 15, -5, x in descending order.
15, x, -5
Let h(f) = -2*f - 12. Let s be h(4). Put s, 2/23, -1 in decreasing order.
2/23, -1, s
Let s = -2 + 3. Let p = s - 3. Put 2, p, -5 in decreasing order.
2, p, -5
Let o = -4/45 - 56/45. Let d = -0.7 - -0.69. Let t = d + -2.99. Sort t, 0.4, o.
t, o, 0.4
Suppose 13 = 5*i - 2. Let u = 3 + -3.2. Let m = -0.7 - u. Sort m, i, 0.4 in descending order.
i, 0.4, m
Let g = 9.06 + -0.06. Let r = 4 - g. Put r, 5, 2 in ascending order.
r, 2, 5
Let b be 4/(-8)*(-5)/5. Sort -4, 2, 0.1, b in ascending order.
-4, 0.1, b, 2
Let k be (-2)/(-3) - (-12)/9. Sort 4, 5, k.
k, 4, 5
Suppose -q = -3*q. Suppose -5*j + 3*d + 5 = -11, -j - 3*d + 14 = q. Suppose j*s - 7 = -17. Put -4, s, 3 in decreasing order.
3, s, -4
Let k = 7 + -7.5. Let p = 4 + -7. Put p, k, 1/2 in decreasing order.
1/2, k, p
Let v = -55 + 57. Sort -2/7, v, -4, 0.2 in ascending order.
-4, -2/7, 0.2, v
Let n = -4.8 + 5. Let t(h) = -h**2 + 9*h - 5. Let f be t(8). Suppose -4*l + 3*s + 32 = 0, -s - f*s - 41 = -5*l. Sort l, -2, n in descending order.
l, n, -2
Let i = -30.5 + 24.31. Let s = -1.14 - i. Let l = s + -0.05. Sort l, 3, 2 in decreasing order.
l, 3, 2
Let q = 5 + -3. Suppose 0 = -2*w - q*w - 12. Let r = 1.11 - 1.21. Sort w, 5, r in descending order.
5, r, w
Let s = -59 - -61. Sort 0, s, -1, -24 in ascending order.
-24, -1, 0, s
Suppose r = 2*r + 5. Sort r, -1, 1, -3 in decreasing order.
1, -1, -3, r
Let l(o) = 2*o + 5. Let s be l(-4). Let x = 7 + -11. Let u be ((-2)/(-3))/((-2)/3). Sort x, s, u.
x, s, u
Let f = 5 - 2. Suppose n + 3 = w - 0*w, 1 = -2*n - f*w. Let s be (-2)/6 + n/(-4). Put -1/6, -2, s in descending order.
s, -1/6, -2
Let z(y) = -y**3 - 5*y**2 - 5*y - 3. Let f be 1 - 3 - -4 - 6. Let n be z(f). Suppose 2*b = 3*r - 12, 0*r + 25 = -5*b + 5*r. Put n, b, -5 in descending order.
n, b, -5
Let p = -67.6 - -61. Let s = p + -1.4. Let b = s - -13. Sort 2, -2/13, b in decreasing order.
b, 2, -2/13
Let c = 8 - -6. Let a = -14 + c. Put -5, a, -1 in decreasing order.
a, -1, -5
Let q be (-42)/(-24) + 3/12. Put 3, q, -2 in increasing order.
-2, q, 3
Let q be ((-2)/(-4))/(2/8). Let z = 0 + q. Sort z, 0, 4.
0, z, 4
Suppose -4*m - 4 = 4. Let y = m + 6. Suppose 13 = k - 4*l, k + 3*l = l + 1. Sort k, y, -1/2 in increasing order.
-1/2, y, k
Let n = 27.2 - 22.2. Put 0, -5, 1, n in descending order.
n, 1, 0, -5
Let g(o) = o**2 - 12*o - 3. Let p be g(11). Sort 4, p, 3 in descending order.
4, 3, p
Let u = 6.2 + -6.1. Sort u, -2, 5 in increasing order.
-2, u, 5
Let j = 101 - 509/5. Put 2, j, 3/4 in decreasing order.
2, 3/4, j
Let k be 16/(-33) + (-4)/(-6). Let r = -5.2 - -5. Let d = 0.5 + r. Put k, d, -3 in descending order.
d, k, -3
Let q = 377/6 + -63. Sort q, -0.4, -2/11 in descending order.
q, -2/11, -0.4
Suppose -2*o = 2*v - v - 5, -12 = -5*o - 3*v. Suppose 0 = z - o*z. Sort z, 2, -5 in ascending order.
-5, z, 2
Let j be 3/2*24/9. Let r = 3 + -3. Let p = -2 - r. Sort j, -2/9, p in ascending order.
p, -2/9, j
Suppose q = 4*h + 24, 0