(27/6 + -4). Let x be t/(-20) - 18/(-30). Sort 5, x, 0.4 in increasing order.
0.4, x, 5
Let i = -54 + 67. Suppose -4*d + i - 45 = 0. Let t be (-3)/(((-6)/(-4))/1). Sort t, d, -4 in decreasing order.
t, -4, d
Let u = 23 + -19. Suppose -3*s - 2*d = -14, -3*s + u*d - 6 = d. Sort s, 1, -1 in descending order.
s, 1, -1
Let g = -8.9 + -0.1. Let f = g - -5. Let b = -250/3 + 1738/21. Put -1, f, b in increasing order.
f, -1, b
Let t = 20 + -21. Sort t, 4, 8 in increasing order.
t, 4, 8
Let a = 17/2 - 9. Let h = 19 - 34. Let s = h - -13. Put s, a, 0.2 in decreasing order.
0.2, a, s
Let m = 3383 + -3386. Suppose 1 - 17 = -4*x - 5*z, 0 = 2*x - 2*z + 10. Let s(j) = 2*j**3 + j + 1. Let w be s(x). Sort w, 0, m in decreasing order.
0, w, m
Let z be ((4 - 8)/(-28))/1. Suppose q + 13*d + 8 = 16*d, 6 = -q + d. Sort z, 2/3, -6, q in decreasing order.
2/3, z, q, -6
Let r be -2*(1*-4)/2. Let k(m) = -m**3 + 19*m**2 - 59*m - 12. Let t be k(15). Sort 9, r, t in ascending order.
t, r, 9
Let v be (-6)/3 + 3 - -1. Suppose v*x - 7*x = 20. Sort x, 4, -2 in increasing order.
x, -2, 4
Let f = -15 + 14.97. Let t = f - 0.17. Sort t, 4, -0.5 in descending order.
4, t, -0.5
Let f = 297/5 - 179/3. Let h = f + -2/105. Sort 1/4, -14/5, h, -1 in increasing order.
-14/5, -1, h, 1/4
Let t = 0 - 3. Suppose 6*y - 20 = 10*y. Put 0, t, y in increasing order.
y, t, 0
Let g = -0.0011 + -4.9989. Let c = 7.8 + -7. Let q = -0.2 - c. Sort q, -6, g in ascending order.
-6, g, q
Let s be 108/10 - 2 - 6. Put -0.5, -0.4, s, 0 in ascending order.
-0.5, -0.4, 0, s
Let s = 8 - 4. Let z = -2424/7 - -348. Put z, s, 0 in ascending order.
0, z, s
Let v(i) = -2*i + 20. Let o be v(9). Let y be -2 + (-6)/(-2) - o. Suppose -2*c + 7 = -t - 3, 4*t - 4 = -3*c. Put y, c, 0 in decreasing order.
c, 0, y
Let p be (15/10)/3 + 25/(-58). Sort 1/2, 2/19, p in decreasing order.
1/2, 2/19, p
Let b be (-418)/2*(3 - 2). Let y = -307 - b. Let k be ((-10)/(-3))/(y/(-42)). Put -5, k, 5 in increasing order.
-5, k, 5
Suppose 0 = -l + u + 13, 0 = -7*l + 5*l + 4*u + 32. Sort 1, 5, l in increasing order.
1, 5, l
Let k(n) = 2*n**2 - 3*n - 193. Let l be k(-9). Put 2, 36, l in ascending order.
l, 2, 36
Let o = 150.5 - 151. Sort o, -7, 1/6 in descending order.
1/6, o, -7
Let d(n) = -n**2 - 16*n + 84. Let k be d(-20). Put 77, k, -2 in decreasing order.
77, k, -2
Let f(g) = -4*g + 53. Let y be f(13). Let r be -8 + (-3 + 1)/y. Put 2, r, -5 in decreasing order.
2, -5, r
Let b = -411 + 415. Put -1, -5, 5, b in descending order.
5, b, -1, -5
Let t be (1 - (-26)/(-22)) + (-6)/330. Sort 0, -0.3, -1, t in ascending order.
-1, -0.3, t, 0
Let h = 0.0591 - 0.0591. Sort h, 7, -2/13, 0.2 in increasing order.
-2/13, h, 0.2, 7
Suppose 4*r - 3*q + 19 = 0, -4*q = 4*r + 52 - 12. Let k = -8 + 4. Sort 1, k, r in descending order.
1, k, r
Let a = -5.01 - -5. Let w = a + 5.01. Let j = -0.7 - 4.3. Sort 2/19, w, j.
j, 2/19, w
Let w(y) = 6*y - 1. Let i be w(1). Suppose i - 1 = -2*a. Sort 1, a, -3.
-3, a, 1
Let l = -172 + 159. Put 3, l, 0 in decreasing order.
3, 0, l
Let o = -0.01 - 0.99. Let b = -0.7 - o. Let q(r) = -r**2 - 4*r + 4. Let v be q(-5). Sort v, b, 0.5.
v, b, 0.5
Suppose 2*q = q + 2. Suppose g + 4*u - 4 = 3*g, -q*u - 2 = 0. Put 5, g, 2, 0 in increasing order.
g, 0, 2, 5
Suppose 4*d - 12 = -4. Let l be (-114)/(-14) + d/(-14). Suppose 28 + 20 = -l*f. Put -5, -0.2, f in decreasing order.
-0.2, -5, f
Let b = 216.6 + -189. Let d = b + -28. Sort 0, 2/7, 3, d.
d, 0, 2/7, 3
Let j = 1.623 + -1.673. Let d = 0.8 - 2.8. Sort d, j, -4/9 in decreasing order.
j, -4/9, d
Let k = 1239 - 1424. Put 3, k, -2 in increasing order.
k, -2, 3
Let h = 6.8 - 14. Let a = -12.2 - h. Put a, 1, 16 in increasing order.
a, 1, 16
Let m = -1/64 - 317/192. Suppose 2*u + 22 = 16. Put -2, u, m, -4/5 in decreasing order.
-4/5, m, -2, u
Let c = -39 - -56. Let z = c + -12. Let h be 4/(-16)*(-1 + -1). Put -1/5, z, h in decreasing order.
z, h, -1/5
Suppose -22*m + 380 = 270. Put -4, 4, -24, m in increasing order.
-24, -4, 4, m
Let u = 203 + -205. Sort 8, u, 5 in increasing order.
u, 5, 8
Let s be (-36)/(-19) + (-22)/11. Let g = 12 + -7. Sort s, 0.4, g in descending order.
g, 0.4, s
Let f be 1/((3/(-3))/(-2)). Suppose -2*g - 10 = 36. Let n = -22 - g. Sort f, n, -2 in descending order.
f, n, -2
Suppose -3*r + 7*r = 12. Suppose -5*z = -4*q + r, 0 = -2*z + 5*z - 4*q + 5. Sort -29, -1, z in increasing order.
-29, -1, z
Let y = 32 - 33. Let u = -113 - -118. Sort 2, -5/4, u, y in ascending order.
-5/4, y, 2, u
Let n = -499 + 503. Put 5, n, 49 in increasing order.
n, 5, 49
Suppose 2*i - 71 + 67 = 0. Suppose 0 = 2*c + i*c + 8. Let b = 4 - 2. Sort c, b, 2/11 in ascending order.
c, 2/11, b
Let i = 11/140 - 39/140. Let u = -2.94 - 0.06. Sort -0.04, u, 0.3, i in decreasing order.
0.3, -0.04, i, u
Let r be (-4 - (-3 + 0))*(9 - 7). Sort 3/4, 2, r, -5/3 in descending order.
2, 3/4, -5/3, r
Let o(v) = v**2 - 4*v - 4. Let m be o(5). Let f be 2/6 + 41/3. Let i = 16 - f. Sort i, m, -4 in decreasing order.
i, m, -4
Let w be 4/18 + (-331)/(-9). Suppose -3*g - w = 5*d + 3, 2*d = -3*g - 25. Suppose 0*h + h - 3 = 0. Sort 0, g, h.
g, 0, h
Let v be (-16180)/16*1*(-2)/(-20). Let r = 101 + v. Sort 1, r, -1/3 in ascending order.
-1/3, r, 1
Suppose -a - 16 = -5*j, -4*j + 7 = 4*a + a. Suppose 6 = -j*d - 0. Suppose 15 = -2*t + 5. Put t, 4, d in ascending order.
t, d, 4
Let n be 374/18 + 6*(-4)/(-108). Suppose -6*i = i - n. Sort i, 2, 0 in descending order.
i, 2, 0
Let z = 3.529 - 3.5. Let d = -2.971 - z. Sort 2/7, 3, d, 2 in descending order.
3, 2, 2/7, d
Let c = -3.52 - 27.18. Let t = c + 31. Put t, -3, 1/3 in decreasing order.
1/3, t, -3
Suppose 177*c = 181*c + 20. Put c, -31, 5 in ascending order.
-31, c, 5
Suppose 0 = -4*k + 3*z + 18, -5*k + 5*z + 7 = -18. Sort k, 0, 0.4.
0, 0.4, k
Let d = 5.66 + -30.96. Let i = 3.3 + d. Suppose -32 = -3*w + 4*y, 5*w + 0*y = y + 25. Put i, w, -3/7 in descending order.
w, -3/7, i
Let f = 15187/23 - 6609542/10005. Let o = 462407/145 + -3189. Let i = o - f. Sort i, -0.4, -17 in descending order.
i, -0.4, -17
Let p(c) = -c**3. Let t be p(-1). Suppose 16*u = 14*u + 6. Let b be 1/((9/15)/u). Put t, 0, b in decreasing order.
b, t, 0
Let c(v) = -v**2 - 61*v - 119. Let z be c(-2). Let d(t) = -2*t + 1. Let i be d(3). Sort z, 3, i in decreasing order.
3, z, i
Let u = 107 - 105. Suppose -j - 24 = -3*b + u*j, 0 = 2*j + 6. Sort 0, -4, b.
-4, 0, b
Let s be 1 - 0*(-6)/(-18). Let d be 2/4*(-1 - 1). Sort s, d, -2 in descending order.
s, d, -2
Let t be 1890/(-1750) + 2/25. Sort t, 13, -20, -5 in decreasing order.
13, t, -5, -20
Let q be (-2)/7 + (-4552)/(-56). Let g be (-3)/24 + q/(-120). Sort 4, g, -2, -1.
-2, -1, g, 4
Let s = 1.43 - 1.53. Let z = 7 - 11. Put -1, -1/5, s, z in decreasing order.
s, -1/5, -1, z
Let a(n) = -n - 1. Let o be a(-3). Let p = -393 + 244. Let w = p + 145. Sort w, o, 0.2 in increasing order.
w, 0.2, o
Let d = 3.55 + -3.47. Sort 11, 3, 0, d.
0, d, 3, 11
Suppose 7 = 3*h + b + 1, 2*b = 0. Suppose -2 + 5 = 3*u + 5*w, 2 = h*u + 4*w. Let s(o) = o**3 - 15*o - 7. Let r be s(4). Put 0, r, u in decreasing order.
u, 0, r
Let c = 11.7 + -16.7. Sort c, -63, 1/5 in descending order.
1/5, c, -63
Let p = 3.5 - 4. Let t = 0.892 - -0.108. Let u = t + p. Sort u, 4, 0.4 in descending order.
4, u, 0.4
Let a be (-4)/(-6)*(-27)/(-6). Suppose -a*j = -6*j - 6. Let o be (-2)/4 + (-2)/20. Sort o, j, -1 in descending order.
o, -1, j
Let u be (-20 + 14)/(6/4). Suppose 5*t = d + 27, -5*t + 3 = 5*d - 12. Sort -3, t, u.
u, -3, t
Let k(z) = 3*z - 45. Let p be k(15). Put p, 1, 5 in decreasing order.
5, 1, p
Let j = -3 - -8. Suppose 0 = -2*d + 127 - 121. Sort d, -11, j, -5 in decreasing order.
j, d, -5, -11
Let o = -21 + 24. Let b(j) = -3*j**2 + 40*j - 9. Let f be b(13). Put o, f, 2, 5 in ascending order.
2, o, f, 5
Let n = -12 - -17. Let m be -1 + 5 + -1 + (-7 - -3). Sort 1, n, m.
m, 1, n
Let i = -49 + 48.51. Let j = i - -0.79. Put -0.4, 1, j in descending order.
1, j, -0.4
Suppose 5*l + 19 - 4 = -5*c, -5*l = -3*c - 9. Sort -5, -7, 4, c in increasing order.
-7, -5, c, 4
Let z = 1 + -1.3. Let w = -0.0519 + -0.3481. Sort 3, z, -1/5, w in increasing order.
w, z, -1/5, 3
Let r be (-9)/(-4) + (-1)/4. Suppose -2*z - r = -4*z. Suppose -7*s + 6*s - z = 0. Sort -2/5, 0.3, s in decreasing order.
0.3, -2/5, s
Let a = 307 