 -3*z + 12, -5*r = 5*z - 7 - 3. Sort -1, r, 2/27 in decreasing order.
2/27, -1, r
Let l = -43 - -45. Put 1, l, -3 in decreasing order.
l, 1, -3
Suppose 0*q + 3*q + 5 = -5*o, -2*q + 3*o = -3. Let g be (2/1 - 0) + 1. Suppose 0 = -g*y + 4*p + 2, 4*y + p = -q*y - 10. Put -3/7, 2/3, y in descending order.
2/3, -3/7, y
Let v = -15 - -16. Let z be (-1)/(v/(-4))*-1. Let b = 5 - 1. Put z, b, 2 in decreasing order.
b, 2, z
Let h = 12 + -13. Sort 1, -3, h in ascending order.
-3, h, 1
Let r(l) = l**2 + 2*l - 3. Let b be r(2). Suppose -2*n = 3*n + 5*a + 30, 0 = -b*n + 3*a - 6. Sort 3, n, -1 in decreasing order.
3, -1, n
Let d = -0.7 + 5.7. Let h = d + -8. Sort -4, h, -0.5.
-4, h, -0.5
Let i = 18 - 20. Let f = 4.4 - 0.4. Sort -4, i, f in decreasing order.
f, i, -4
Suppose -2*u = -7*u + 15. Let d = 11 + 1. Let n = d + -12.1. Sort u, n, 1/3 in decreasing order.
u, 1/3, n
Let j = -5.9 + 6. Let y = -14 - -23. Suppose 3*f = -y - 0. Sort 0.4, f, j in descending order.
0.4, j, f
Let f = -13 + 10. Sort f, -7, -4, 1 in decreasing order.
1, f, -4, -7
Let p = 6 + -5.96. Let r = 6.04 - p. Sort r, -2, -0.5.
-2, -0.5, r
Let z = 13 - 12. Let l = 5 - 8. Sort l, -5, z in descending order.
z, l, -5
Let h = 3 - 2.5. Let v be 4/6 - (-3)/36. Let q be (2/9)/(3/(-6)). Sort v, q, h in decreasing order.
v, h, q
Let c = 26 + -26.5. Put c, -3, 1, -1/4 in ascending order.
-3, c, -1/4, 1
Let s = -0.039 - 0.021. Sort 2, -2, s, -0.2.
-2, -0.2, s, 2
Let q be 2/(-1) + 10 + -3. Let d = q - 3. Sort 3, d, -3 in descending order.
3, d, -3
Let n be (-3)/((-5)/(-2) - 3). Let v(p) = p**2 - 4*p - 8. Let r be v(n). Sort 0.5, r, 4/5 in increasing order.
0.5, 4/5, r
Let n be (20/5 - 1) + -5. Sort 0, -1, 2/5, n in descending order.
2/5, 0, -1, n
Let g = -74459224974005026955623/63041160 - -1181120794319219. Let d = g + 951/182728. Let k = d - -2/897. Put -3, 1, k in decreasing order.
1, k, -3
Let m = 5 + -7. Sort -1/5, 2/3, m in descending order.
2/3, -1/5, m
Let p be 21/9 + 4/6. Sort 2/3, p, 4, 0.4 in decreasing order.
4, p, 2/3, 0.4
Let b = 4 - 5. Let k be (-21)/(-12) - (-2)/8. Put b, -1/4, k in increasing order.
b, -1/4, k
Let u(r) = -r - 15. Let y be u(-10). Let h = 2 + 0. Put y, h, 3 in descending order.
3, h, y
Let a = 0.9 + -5.9. Let w = 27 + -27. Let h = w - a. Sort h, -4/3, -2 in increasing order.
-2, -4/3, h
Let a(n) = n**2 - 2*n - 6. Let q be a(3). Let s = 0.3 + -0.4. Put s, q, 0 in descending order.
0, s, q
Suppose b - 8 + 21 = 0. Sort -1, b, -4.
b, -4, -1
Suppose 2 = -2*k, -2*k - 4 = -u + 2*k. Let r(y) = y**3 - 6*y**2 + 4*y + 6. Let w be r(5). Let o = -3 - w. Sort o, u, -5 in increasing order.
-5, o, u
Let v = -0.04 - -0.24. Suppose -2*w + 5*w = 15. Put 4, v, w in decreasing order.
w, 4, v
Let z(s) = s**3 + 26*s**2 + 23*s - 45. Let c be z(-25). Sort 3/5, c, 1/4 in descending order.
c, 3/5, 1/4
Let a(b) = 3*b**2. Let t be a(-1). Let g be (-3 - (t - -1)) + 2. Put -1/5, -6, g in descending order.
-1/5, g, -6
Let c = 128 - 133. Sort c, 1/4, -1 in decreasing order.
1/4, -1, c
Suppose 3*f = -30 + 15. Sort -2, -2/3, f in increasing order.
f, -2, -2/3
Suppose 4 = 5*s - 21. Suppose 0*i = 2*r - 2*i - 6, s*r = 2*i. Sort 5, r, 0 in ascending order.
r, 0, 5
Let q be (-5)/1*(2 + 24/(-10)). Put q, 0, 1, -1 in decreasing order.
q, 1, 0, -1
Suppose -2*w - 4*u + 12 = w, 2*w - 4*u + 12 = 0. Suppose r = -b + 22, w = b - 4*r - 13 + 1. Suppose q + 4*q = b. Sort q, 1, -5 in increasing order.
-5, 1, q
Let k = 3 - 2. Let m = 3 - k. Let a = -7 + m. Sort -0.3, -4/5, a.
a, -4/5, -0.3
Let r = -2.69 + 2.8. Let u = 0.01 - r. Put -0.07, u, 2/9 in descending order.
2/9, -0.07, u
Let w = -52 - -52.8. Sort w, -5, 0, 4 in decreasing order.
4, w, 0, -5
Let k be (-1 - -2)*(-11 + 10). Put 6, k, 5 in descending order.
6, 5, k
Let p(o) = o**3 + 11*o**2 + 12*o + 18. Let h be p(-10). Put 2, h, 0, -3 in decreasing order.
2, 0, h, -3
Suppose -27 = -3*f + 3. Sort -1, -3, f in descending order.
f, -1, -3
Suppose 5 - 11 = 2*r. Sort r, 5, 3, -5 in decreasing order.
5, 3, r, -5
Let b = 12 - 22. Put b, 5, 0 in decreasing order.
5, 0, b
Let f = -3.5 + 3. Let k = -0.158 + -0.042. Put 4, k, f in descending order.
4, k, f
Let t be 15/(-2)*26/(-65). Let n = 10 + -8. Sort n, -5, t in increasing order.
-5, n, t
Let x(s) = -s + 1. Let u be x(-1). Let m = -16 - -14. Put m, 3, u in decreasing order.
3, u, m
Let j be (-8)/(-28) - 16/7. Let a be 1/2*(j - 6). Put -5, a, 3 in decreasing order.
3, a, -5
Let s = -11.5 + 6.5. Sort -4/7, s, 0.4, 1 in ascending order.
s, -4/7, 0.4, 1
Let r = 0.2 + -0.3. Let z = 5.2 - -1. Let b = -6 + z. Sort r, b, -0.3 in decreasing order.
b, r, -0.3
Let v(c) = -3*c**2 - 3*c + 11. Let g(q) = -2*q**2 - 2*q + 10. Let y(o) = -4*g(o) + 3*v(o). Let x be y(0). Let k = x + 2. Put k, 1, 3 in increasing order.
k, 1, 3
Let v be ((-26)/(-65))/((-1)/(-5)). Put 3, v, -5, -6 in decreasing order.
3, v, -5, -6
Let g = 1.05 - 0.05. Let h = g - -1. Let y = 0.1 - 0.2. Put -1, y, h in descending order.
h, y, -1
Let p = 0.57 - 0.6. Let v = p + 2.03. Let q = v + -1. Put q, -1, 0.2 in increasing order.
-1, 0.2, q
Let o = -22 - -21.82. Let q = -2.18 - o. Sort q, -0.01, 3/8 in decreasing order.
3/8, -0.01, q
Suppose 3*r - 23 - 13 = 0. Suppose 4*y = -i + 3*i + r, 3*i - 22 = -4*y. Suppose -6 = -5*c + y. Sort 4, c, 5 in increasing order.
c, 4, 5
Let c = 2/135 + 221/270. Sort -0.2, c, -1 in ascending order.
-1, -0.2, c
Let a = -0.6 + 1. Let k = 0.006 + 0.994. Sort -1, k, a.
-1, a, k
Let r = 0.3 + -1.3. Let x = 2 + r. Put 0.3, x, -0.4 in ascending order.
-0.4, 0.3, x
Let t = -6.03 - -0.03. Let u = t + 6.2. Put -2/7, u, -3 in decreasing order.
u, -2/7, -3
Let h = 2.2 - 2.6. Sort h, -0.1, -4 in increasing order.
-4, h, -0.1
Let m = -1028 - -1028.3. Let h = 2 - 1.5. Sort m, h, -0.4 in decreasing order.
h, m, -0.4
Let w be (-10)/1 - 1/(-1). Sort 3, w, 4.
w, 3, 4
Let o = 0.522 + -0.122. Sort o, -4, 5, 0 in increasing order.
-4, 0, o, 5
Let u = 10 + -5. Suppose p - 6 = -3. Put u, p, 2 in descending order.
u, p, 2
Let u(q) = 5*q**2 - q + 1. Let m(i) = -9*i**2 + i - 2. Let o(t) = 4*m(t) + 7*u(t). Let h be o(-4). Let d be (0 - -1)*4/(-2). Sort 4, h, d in descending order.
4, d, h
Let l = -0.0605 + 5.0005. Let k = -0.06 - l. Let u = 229/30 - 39/5. Put k, 0.4, u in decreasing order.
0.4, u, k
Let h = 209 + -213.96. Let u = 0.04 - h. Let q be 1/10 + (-2)/(-5). Sort 1, q, u in decreasing order.
u, 1, q
Let g = 0.46 - 0.06. Let o = g + 0.6. Let h = o - 4. Sort -1, h, -0.4 in increasing order.
h, -1, -0.4
Suppose 4*p = 16, -8 = -4*k + 6*k - 4*p. Let f = 13 - 13. Put k, -3, f in decreasing order.
k, f, -3
Let k be (3 - (-1 + 2))/(-7). Sort k, 4, -1/4.
k, -1/4, 4
Let v = -15 + 15. Let a be (-4)/16 + 30/(-8). Put a, 5, v in descending order.
5, v, a
Suppose h + 3 = 8. Suppose 3*g + 2*r + 10 = 0, -4*g - 10 + 30 = -4*r. Let d = 2 - 2.4. Put h, g, d in decreasing order.
h, g, d
Let t = -9 + 10. Sort 2, t, 6/5 in increasing order.
t, 6/5, 2
Suppose 0 = -3*y - 3*q + 12, -2*y + 2*q + q + 8 = 0. Sort -1, y, -5, -2.
-5, -2, -1, y
Let p(d) = -d**2 - 11*d - 9. Suppose -4*r - 62 = 2*v - 16, -5*r - 62 = 4*v. Let h be p(r). Sort -5, 0, h in descending order.
h, 0, -5
Let x = 0.188 + 4.812. Let h = 6 - 5.7. Sort h, x, -2/13 in decreasing order.
x, h, -2/13
Suppose 1 = -3*n + 1. Put -11, -1, n in increasing order.
-11, -1, n
Let t = 80.33 - 80. Let k = t + -0.03. Put k, 3, 0.2 in decreasing order.
3, k, 0.2
Let j(o) = -o**3 - 8*o**2 - 2*o - 19. Let t be j(-8). Put 2, t, -16 in increasing order.
-16, t, 2
Let l(s) = s**2 - 6*s + 8. Let u be l(8). Let n be 104/u + 2/(-6). Sort 5, n, -2 in ascending order.
-2, n, 5
Let b be (12/10)/((-6)/20). Suppose -3*q - q = 12. Let j be (28/(-8) + 4)/((-1)/2). Sort q, b, j in ascending order.
b, q, j
Let c(r) = -4*r + 26. Let h be c(7). Put h, -4, 0, 26 in descending order.
26, 0, h, -4
Let r = -1 + 0. Let p = -9 - -5. Let m = 0.07 + 3.93. Sort r, p, m in descending order.
m, r, p
Suppose y = -4*y - 5. Let c = y + 4. Sort -2, -4, c.
-4, -2, c
Let x = -25 - -46. Suppose -3*c = -0*c - x. Let g = c - 2. Sort -4, 4, g.
-4, 4, g
Let j = 14.87 + 0.13. Let n = -16 + j. Let s be ((-6)/10)/(6/(-4)). Sort n, s, -2.
-2, n, s
Let y = 10 + -7. Let s be (4*-1)/(-4) - -4. Suppose 0 = -2*b - s - 1. Sort y, b, 1 in increasing order.
b, 1, y
Let k = -3.05 + 0.05. 