 Let b be (-1)/(-2)*8/u. Let w = 18 + -17.6. Sort w, b, -2.
-2, b, w
Let n = 32.1 + -32. Sort 2/11, 5, -2/5, n in increasing order.
-2/5, n, 2/11, 5
Let b = -40 - -22. Let x be (-13)/(-2) + b/12. Sort x, 0.01, 0 in decreasing order.
x, 0.01, 0
Let h(p) = -2*p - 3. Let y be h(-3). Suppose -z - y*b + 10 = -5*b, 3*z - 14 = 2*b. Let c = z - 3. Sort 3, -4, c in decreasing order.
3, c, -4
Let n = 31.3 + -33. Let s = 1.7 + n. Sort 2, 3/8, s in ascending order.
s, 3/8, 2
Let p = -20 + 21. Put 3, -7, p in descending order.
3, p, -7
Let g = 9 + -6. Suppose 2*m + g*t + 6 = t, 0 = -2*m + t + 9. Put m, 0, 1 in decreasing order.
m, 1, 0
Let t(q) = q**3 - 3*q**2 + q. Let n be t(4). Suppose 0 = 5*f + 3*s - n, -s - 17 = -f + s. Let u be f/(-2) + 2/4. Sort u, 0, -4 in ascending order.
-4, u, 0
Let h = -19.3 - -20.3. Let b = -0.4 + -0.6. Put b, 10, h in decreasing order.
10, h, b
Let y = 87 + -86. Put -1, -5, y, 4 in descending order.
4, y, -1, -5
Let c(g) = -3*g + 20. Let u be c(5). Let b = 8/7 - 37/14. Sort u, b, 0.5 in descending order.
u, 0.5, b
Let c be ((-2)/10)/((-2)/4). Put 1, -0.5, 3/8, c in ascending order.
-0.5, 3/8, c, 1
Let l(i) = -i**2 - 2*i - 1. Let g be l(-4). Put 4, 1, g, 0 in ascending order.
g, 0, 1, 4
Let s be 2/3*3/(-11). Let i = -0.2 + 0.9. Let w = -2.3 - i. Sort s, 1/5, w in increasing order.
w, s, 1/5
Let j be 10/4*16/(-48). Put 0.5, j, -0.3 in increasing order.
j, -0.3, 0.5
Let k = -78 + 309/4. Sort 0, k, -1/8.
k, -1/8, 0
Suppose -5 = 3*k + 4. Let i = k - -2. Let d(p) = p - 8. Let r be d(5). Sort 1, r, i.
r, i, 1
Suppose -7*a - 14 + 0 = 0. Sort -4, -3, 7, a in ascending order.
-4, -3, a, 7
Let h = 3.3 - 5.6. Let f = h - -1.9. Sort f, -4/7, 2/23.
-4/7, f, 2/23
Let m(h) = h**2 + 15*h + 13. Let j be m(-14). Sort j, -3, -0.5, 5 in descending order.
5, -0.5, j, -3
Let x = 0 - -2. Let v = 1 - x. Let o = -38 + 36. Put v, 1, o in decreasing order.
1, v, o
Let x = -0.3 + 0.8. Let k = 0.3 - x. Put 0.4, k, 2/3 in decreasing order.
2/3, 0.4, k
Let g = 64.6 - 65. Let d = 4.152 + 0.778. Let l = -0.07 - d. Sort l, g, 4.
l, g, 4
Let b(p) = p**3 + 5*p**2 + 3*p - 3. Let c(o) = o**3 + 10*o**2 + 10*o + 5. Let h be c(-9). Let a be b(h). Sort -3, a, 4 in decreasing order.
4, a, -3
Suppose 3 - 5 = -r. Let i be (2/12)/((-9)/(-54)). Let b = r - i. Sort b, -3, 4.
-3, b, 4
Suppose -5*h = o + 3*o + 40, 20 = -4*o. Let l be ((-1)/(-10))/(15/25). Sort l, 1, h in increasing order.
h, l, 1
Let b be 72/(-33) - 2*(-1)/11. Sort 11, b, 4 in descending order.
11, 4, b
Let a = -17 - -19. Let i = -15 + 39. Suppose i = -4*q - 2*d - d, 5*q + 2*d + 23 = 0. Sort q, 1/3, a in descending order.
a, 1/3, q
Let s = -64/5 - -13. Suppose -3*b - 15 = -0*v - 2*v, -v - 5 = b. Sort v, s, 2/15.
v, 2/15, s
Suppose -5 = -4*a + 5*k - 52, 2*k = a + 14. Let p be -4 - 3/(9/6). Let q = p - a. Put -4, q, 1 in decreasing order.
q, 1, -4
Let z(t) = -t**3 - t + 3. Let b = -1 - -1. Let i be z(b). Sort 0.2, 5, i in descending order.
5, i, 0.2
Let j(v) = -v**3 + 2*v**2 + 7*v + 4. Let t be j(4). Put t, 2, 4 in ascending order.
t, 2, 4
Let v = -1 - -5. Let z be 52/(-16) + (2 - -1). Sort z, 3, v in ascending order.
z, 3, v
Suppose 2*i - 3*i = 3. Let l = 0 + 0. Suppose 4*p = 3*p + 4. Put l, i, p in decreasing order.
p, l, i
Suppose 0 = -k - 3*k. Let r(c) = -c**3 - 7*c**2 + 2*c + 9. Let s be r(-7). Suppose 7 = 5*h - 18. Sort k, s, h in ascending order.
s, k, h
Let v be (-7)/(21/6) + 0. Sort -7, v, 0.3.
-7, v, 0.3
Let y be (2 - (-21)/(-9))*-3. Let b(j) = -j**2 - j. Let u be b(1). Let d = y + u. Sort 2, d, 5 in ascending order.
d, 2, 5
Let m be 338/(-18) + (-2)/9. Put 4, m, 5 in ascending order.
m, 4, 5
Let j(r) = 5*r**3 - 1. Let z be j(1). Suppose -p + z = p. Sort 1, -7, p.
-7, 1, p
Let v be (0 - -1) + 0/4. Suppose 0 = 3*s + 4*a - 4, -3*s + a + 9 + 5 = 0. Sort 0, s, v.
0, v, s
Let w be -6*2/14*-14. Let u(f) = f**2 - 13*f + 8. Let o be u(w). Sort o, -1, 2.
o, -1, 2
Suppose -6*u + 2*u - d = -55, u = -3*d + 22. Suppose 13 = -2*c - 3*a, a + u = 3*c - a. Put 4, -1, c in descending order.
4, c, -1
Suppose 0 = -3*y - 2*y - 20. Sort y, -2, 1, -5 in descending order.
1, -2, y, -5
Let o be (-9)/(-6) + (-1)/(-2). Suppose o*z = 5*z. Let d = 7 + -10. Sort 5, z, d in decreasing order.
5, z, d
Suppose -4*f - 3*k - 15 = -0*f, -2*k = 2*f + 10. Sort 7, f, -1, -5 in ascending order.
-5, -1, f, 7
Let a(y) = 2*y - 6. Let u be a(7). Suppose -5*s + 12 = -u. Sort 5, -1, s in decreasing order.
5, s, -1
Suppose 3*l + 0*l = 3. Let u = 2 - 2. Suppose -o = 2, 2*a + u*o = -3*o + 2. Sort a, l, 0 in increasing order.
0, l, a
Suppose 0 = -0*k + 4*k + 2*c + 112, 0 = -3*k + 3*c - 93. Let r = -19 - k. Let h = 15 - r. Put 1, 0, h in increasing order.
0, 1, h
Suppose 0 = 3*h - 169 - 251. Let o = h - 978/7. Put 1, -3, o in ascending order.
-3, o, 1
Suppose -7*q + 100 = -3*q. Suppose 7*y = 2*y - q. Let r be (-32)/14 + (-4)/(-14). Put r, y, 5 in descending order.
5, r, y
Let i = 9 + -9. Put i, -1, -4 in descending order.
i, -1, -4
Let b = -3 - -2.9. Let y = 193/2 - 73. Let q = -23 + y. Put q, b, 5 in decreasing order.
5, q, b
Let c = -0.06 - 4.94. Sort 4, c, 2 in decreasing order.
4, 2, c
Let x = 0 + 1. Let p = 2087941 - 5173917625/2478. Let r = p - -3/118. Put r, x, 2/9 in descending order.
x, 2/9, r
Let f = -197/4 + 49. Let r = 49/2 - 25. Let v = f - r. Put v, 0.5, 2/9 in ascending order.
2/9, v, 0.5
Let x(w) = w**3 - w - 19. Let b be x(0). Let o = 229/12 + b. Suppose -4*f + 2 = -2. Put o, -2, f in ascending order.
-2, o, f
Let h be 1/(4/24) + -2. Suppose 3*r - 9 - 10 = 5*b, -3*b + 3*r = 15. Sort h, 0, b in decreasing order.
h, 0, b
Let p be 22/(-4) + (-3)/(-2). Suppose -w + d = 0, d = -5*w - 3*d - 27. Sort p, 4, w in decreasing order.
4, w, p
Suppose 2*h - 6 = -h. Suppose c + 4*c + 5 = 5*d, h*d = -3*c + 17. Put d, -5, 5 in descending order.
5, d, -5
Suppose 121*f = 125*f. Sort 3, -6, -4, f in ascending order.
-6, -4, f, 3
Let x be (-1)/((-1)/(-1)) - -3. Suppose -3 + 11 = 2*h + 2*i, h = 3*i. Sort h, -4, x in ascending order.
-4, x, h
Let c = 0.1 - 0.1. Let h = -1 - c. Let m = -1054 + 1054. Sort h, -0.5, m in increasing order.
h, -0.5, m
Suppose -4*o = -5*u - 3 - 12, 15 = -5*u. Suppose 0*w - 2*w = -2. Sort o, 4, w in increasing order.
o, w, 4
Let o = -1 - -1.96. Let c = o - -0.04. Sort 0.5, c, -0.2 in descending order.
c, 0.5, -0.2
Let r = 9 - 15. Let u be 8/(-12) - 16/r. Suppose u*x = -4*y + 2, 0 = -4*x - 7 + 19. Put y, 5, -2 in ascending order.
-2, y, 5
Let n = -43/84 + 5/28. Let m = -0.1 - -4.1. Put m, 0.3, n in increasing order.
n, 0.3, m
Let r = 56 + -56. Sort 6, 0.5, r in descending order.
6, 0.5, r
Suppose 0 = -3*s - s + 5*c, -s + 4*c = 0. Let g = 5 + s. Sort g, -0.1, 3 in descending order.
g, 3, -0.1
Let r = -1.969 - 0.031. Sort 3, 0.2, r, -2/11.
r, -2/11, 0.2, 3
Let c be (3/(-27))/(5/(-2) + 2). Put 3, -4, c, -47 in decreasing order.
3, c, -4, -47
Let a(k) = -k**2 - 12*k - 3. Let x be a(-12). Put -4, x, -15 in descending order.
x, -4, -15
Let z = 1/4 + -15/44. Put -0.3, 5, z, -4 in increasing order.
-4, -0.3, z, 5
Let c = -115 - -114.7. Sort c, 4, 2/9, -2 in increasing order.
-2, c, 2/9, 4
Let b = -5 - -4. Let r be (-9)/(-3) + -1 - 1. Let n be 2/(-24)*(-16)/6. Sort n, b, r in decreasing order.
r, n, b
Let t be (8/(-7) - 0)/(-2). Let a = 175/3 - 59. Put -5, t, a in ascending order.
-5, a, t
Let k be 0 - 0 - 20/35. Put 1/16, k, 3/2 in ascending order.
k, 1/16, 3/2
Suppose -3*b = 203 - 215. Sort b, -16, -3, -1 in descending order.
b, -1, -3, -16
Suppose v + 1 = 5. Let u be 1 - 6/v*2. Sort 1, u, -4 in descending order.
1, u, -4
Let a = 13 + -17. Let u(i) = i**2 + 5*i + 4. Let z be u(a). Sort z, 2/9, -1/4 in increasing order.
-1/4, z, 2/9
Suppose 0 = 2*t - 2. Let y = 339 - 339. Put -0.5, t, y in descending order.
t, y, -0.5
Let d = -383/143 + 36/13. Put d, -1/4, 0.01, -4 in decreasing order.
d, 0.01, -1/4, -4
Let b(h) = h**2 - 5*h - 2. Let k be b(6). Suppose k*i + 12 + 16 = -4*s, i - 8 = 4*s. Sort s, -2, 2 in increasing order.
s, -2, 2
Let p = -24 - -15. Let j = p + 6. Let r = 8 - 42/5. Sort 2, j, r in descending order.
2, r, j
Suppose -4*a - 3 - 1 = 0. Put 0, 5, a, -2 in ascending order.
-2, a, 0, 5
Let o = 5 + 0. Let k be (-4)/4 + (1 - 0). Suppose -2*r = 3*v - 2, 3*r = -4*v - k*v + 1. Sort o, r, 4 in increasing order.
r, 4, o
Let c(h) = -h**