Let b be (-3)/2*(-5 + 19). Put 0, 4, b, n in descending order.
4, n, 0, b
Suppose 0 = 2*g + 3*j - 4, 0 = -6*j - 10 + 22. Sort 0, g, -4, 1, 300 in ascending order.
-4, g, 0, 1, 300
Let g = -429 - 83. Sort g, 4, -4 in ascending order.
g, -4, 4
Suppose n - 2*r = 435, 0*n + r = -5*n + 2120. Suppose -436 = -s - n. Sort s, 2, -3 in increasing order.
-3, 2, s
Let b = -5 - -2. Let v = 0.325 + 0.175. Let c = 1/452 + 891/5876. Sort v, b, c.
b, c, v
Let x = -305 + 307. Suppose 4*v = 10 + x. Sort -1, 8, v in decreasing order.
8, v, -1
Suppose -3*u + 233*o - 15 = 232*o, 16 = u + 2*o. Put 25, -2/3, u, -0.5 in ascending order.
u, -2/3, -0.5, 25
Suppose -2*a = 3*h - 5, -3*h - 4*a + 3 + 4 = 0. Let i(b) = b**3 + 5*b**2 - 2*b - 6. Let k = -163 - -158. Let u be i(k). Sort h, 5, -3, u in decreasing order.
5, u, h, -3
Suppose -322*j + 227 = -92*j - 1153. Put -279, j, 0, 1 in ascending order.
-279, 0, 1, j
Let q = 307 + -307. Suppose q = -5*p + 5 - 20. Sort -16, -7, p.
-16, -7, p
Let r = -15 + 10. Let v = -0.17 - -1.57. Let k = 3.4 - v. Put r, -0.3, k in increasing order.
r, -0.3, k
Let b = -4.728 - 19.272. Sort -22, b, -2 in descending order.
-2, -22, b
Suppose 1 + 1 = -r. Let u be 25/3*((-56)/(-35) - (-90)/(-225)). Suppose 0 = 7*t - 2*t. Sort u, t, r in decreasing order.
u, t, r
Suppose 119*j - 125*j - 132 = 0. Sort 68, 2, j in descending order.
68, 2, j
Let l = 6037 - 5692.1. Let v = l + -345. Sort -36/7, v, -1 in descending order.
v, -1, -36/7
Suppose -2*f + 4*p = -24, 5*f - 2*p = 2*f + 16. Let d = 0.014641 - -0.285359. Sort d, f, 38 in increasing order.
d, f, 38
Let d be (-595)/5100 + (-1)/(-4). Let g be (-2)/(-3) - (-34)/(-24). Let z = -11/20 - g. Sort 10, d, z, 4 in decreasing order.
10, 4, z, d
Let l be (42/(-8) - -5)*0 + 26/(-8). Put 0.7, 0, l in ascending order.
l, 0, 0.7
Let g be 9/(-5) - (-928)/(-290). Sort g, 5, -45, 3, 4 in ascending order.
-45, g, 3, 4, 5
Let m = -4 - 10. Let j = -0.2781 + -0.0319. Let d = 4.69 - j. Put d, 0.2, m in descending order.
d, 0.2, m
Suppose b + 25 = 3*s + 5, b = 4*s - 25. Suppose 96 = -2*g - 4*u, -3*g + 4*u = -2*g + 30. Put -1, s, g in descending order.
s, -1, g
Let s(g) = g + 1. Let k be s(0). Suppose 4*u = -2*c - 60, -90*u + 87*u + 4*c - 45 = 0. Let j be (260/u)/((-8)/12). Put -1, j, k in decreasing order.
j, k, -1
Let z(v) = -v**3 + 16*v**2 - 11*v + 21. Let d be z(16). Let o = -152 - d. Sort 0, -14, o in ascending order.
-14, 0, o
Let j = 526 + -188. Let y = -335 + j. Sort 7, -3, y in descending order.
7, y, -3
Suppose p + 5 + 1 = 0. Let d(y) = -y**2 - 5*y + 1. Let j be d(p). Let r(z) = 2*z**3 + 2*z**2 + z. Let l be r(-1). Put j, l, 5, 2 in decreasing order.
5, 2, l, j
Let v = -50 + 46. Let g = 2 - 8. Let t = 5 + -3. Put v, g, t in increasing order.
g, v, t
Let m = 110 + -219/2. Let y be (-2)/(-45)*(9 + -4). Let w = 1/2 - 1. Sort 0.1, y, m, w in ascending order.
w, 0.1, y, m
Let m = 38 - 203. Let i = m - -163. Let p = -3 + 6. Sort -4, p, i in ascending order.
-4, i, p
Let w = 9.537 - 9.037. Put 3, -54, 2/3, w in descending order.
3, 2/3, w, -54
Let q = 0.3 + -0.1. Let h = -657/28 + 1915/84. Sort q, 3, h, -2/11 in increasing order.
h, -2/11, q, 3
Let b(u) = -2*u**3 - 18*u**2 - 28*u + 1. Suppose 401 + 26 = -61*s. Let h be b(s). Let d = 223/136 - 30/17. Put h, d, -1/6 in descending order.
h, d, -1/6
Suppose 426*u - 84 = 510*u. Sort 0, u, -15, 2 in ascending order.
-15, u, 0, 2
Suppose -4*n - 8 = -5*n + 3*s, 0 = -n + 2*s + 4. Let k = 120.6 + -34.6. Put k, -5, n in ascending order.
-5, n, k
Suppose 4*k + 16 = 12. Let v(b) = -17*b + 37. Let s be v(2). Sort 1, -3, k, s in descending order.
s, 1, k, -3
Suppose -3*t + 2*t = 0. Let n(o) = -o**3 + 227*o**2 + 461*o - 688. Let s be n(229). Put -5, 40, s, t in ascending order.
-5, s, t, 40
Let u = 81 + -47. Let i = -0.09 - 4.91. Let j = i - -4.8. Sort 3/8, j, u in descending order.
u, 3/8, j
Let c(d) = d**2 - 12*d + 28. Let y be c(2). Suppose -8*v + y*v - v = 0. Sort -11, 4, v in ascending order.
-11, v, 4
Let c = -19 + -51. Let q = 0 - -2. Let u be (q - c/(-18)) + 2. Put u, 1, 1/4 in increasing order.
u, 1/4, 1
Suppose 1 = -s, -5*y - s - 9 = -3*y. Let i = 277 - 289. Let z be ((-3)/2)/(6 - (-78)/i). Sort z, -9, y in descending order.
z, y, -9
Suppose 5303 - 5369 = -22*s. Sort -55, -9, -5, s in increasing order.
-55, -9, -5, s
Let m be (6/(-4))/((-27)/(-4)). Let d(a) = a - 10. Let j be d(8). Let t be (-6 - (-8)/2)*j/8. Sort t, -0.2, m, 8 in increasing order.
m, -0.2, t, 8
Let u = 1 - -7. Let l = -0.469 + 0.169. Put -1/3, u, l in descending order.
u, l, -1/3
Let g = -0.35 + 0.3. Suppose 2*z - 6 + 22 = -4*v, 3*v + z = -13. Put v, g, -4 in ascending order.
v, -4, g
Let l = -23171 + 23171.4. Sort 40, -2, l, -4, 3 in decreasing order.
40, 3, l, -2, -4
Let h = -7 - -6. Suppose -4*d - 5*f - 25 = 0, 25 = -2*d - 2*f - 3*f. Put d, -3, h in descending order.
d, h, -3
Let c = 5544 + -5545.1. Put 1, c, 0.05, 0.04 in ascending order.
c, 0.04, 0.05, 1
Let o(y) = -y**3 - y**2 + y + 2. Let q be o(-2). Suppose -n + 3 = 2*m - q*m, -m - 4*n = 6. Suppose 153*v = 159*v - 6. Sort -5, v, m.
-5, m, v
Let q = 145.36 - 145.31. Put -1, -2/5, 1, -9, q in ascending order.
-9, -1, -2/5, q, 1
Suppose 0 = 3*t + 4 + 2. Let j be (-6)/t - (-9)/(-2). Let v = 367/5 + -73. Put j, -4/9, v in decreasing order.
v, -4/9, j
Let q = -1906 - -1943. Put -2, 6.1, q in descending order.
q, 6.1, -2
Let p be (-9)/(468/(-8)) + (-150)/(-39). Let c = 47 + -46. Suppose -c + 5 = 4*r. Put r, -4, -5, p in increasing order.
-5, -4, r, p
Let x be 96/24 + -1 + -3. Suppose -57*y + 4*y + 106 = x. Sort 77, 4, y.
y, 4, 77
Let t be (-40)/(-32) - 6/(-8). Let s be 4 - -4 - -4 - 2. Suppose 4*j = s*j + 24. Sort -2, t, j, -5.
-5, j, -2, t
Suppose -g - 2*p + 0*p = 13, 5*g = 5*p - 140. Let y = -19 - g. Suppose -42 = 4*w - 14. Put -1, w, y in decreasing order.
y, -1, w
Let z(h) = -h**3 - 5*h**2 - 31*h - 160. Let d be z(-5). Put -8, 2, 13, -2, d in descending order.
13, 2, -2, d, -8
Let j = 0.16797 - 0.17097. Put j, 5, 3/4 in descending order.
5, 3/4, j
Suppose 5*m - 13 = y, 0*m - 2 = -4*m + 5*y. Let b be m - 170/25 - 4/20. Let c be 4 - 5/((-5)/(-17)). Put b, -3, c in ascending order.
c, b, -3
Suppose 134 - 89 = -15*w. Put w, 527, 0.5 in descending order.
527, 0.5, w
Let a(y) = 17*y - 5. Let m be a(-4). Let l(r) = r**3 + r**2 - 81*r + 174. Let k be l(7). Put 2, k, m in increasing order.
m, k, 2
Let p be 23/(506/66) + 1 + 1. Put 1, p, 18 in descending order.
18, p, 1
Let p = 48/55 - 3/11. Let b = 3/20 + p. Let j be (-1 + 5 + -6)/(2 - -4). Sort 2/15, b, j in ascending order.
j, 2/15, b
Let u(d) = -d**3 + 24*d**2 + 431*d + 8. Let q be u(36). Put -5, q, -0.8 in decreasing order.
-0.8, -5, q
Let b be 61/427 + 39/21. Let w be -2 + (1 - -1) + 13. Suppose -2*d + 0*d - w = -n, 0 = -n + 3. Sort d, -2, b in increasing order.
d, -2, b
Let f be (8/10)/((-1)/5). Suppose 95 + 395 = 70*t. Sort -5, 6, t, f in decreasing order.
t, 6, f, -5
Let o(y) = -y**2 - 8*y - 45. Let r be o(-13). Let d = 103 + r. Put -3, d, 2, 1 in ascending order.
d, -3, 1, 2
Let q = -27.111 - -27.111. Let u = -3.9 + 4. Put u, -51, q in descending order.
u, q, -51
Let o(a) = -a**2 - 13*a + 68. Let f be o(-16). Suppose 5*b - p - p = f, 2*b + 5*p = -21. Put -6, -4, b, -2 in decreasing order.
b, -2, -4, -6
Let l = 2/57 + 88/741. Let g = 0.5 + -0.47. Let i = 3542 + -3540. Sort g, l, i.
g, l, i
Let w(q) = -25*q**2 - 97*q - 23. Let y be w(-4). Put 4, 3, y, -4 in descending order.
4, 3, -4, y
Let g = 968 - 949. Sort g, 1, -15, 3, -0.3 in descending order.
g, 3, 1, -0.3, -15
Let b be 5 + 1 + -7 + (-27)/(-27). Suppose 0 = m - 3*r + 3 + 4, 0 = 3*m + 5*r - 35. Sort -8, b, m, 3 in decreasing order.
m, 3, b, -8
Let r be 344/10 - ((-140)/25 - -6). Suppose -42 = r*t - 212. Suppose 0 = -b + 3*y + 12, 2*b - 4*y = -2*b + 16. Sort 2, b, t, -1 in descending order.
t, 2, b, -1
Let a = 74238/5 - 14848. Put 1.2, a, -10, -0.5 in increasing order.
-10, -0.5, a, 1.2
Let w = 1474 + -1479. Sort -22, -1/3, -7, w.
-22, -7, w, -1/3
Let d = -0.2626 - -0.6626. Put 1, d, -4, 18 in ascending order.
-4, d, 1, 18
Suppose 0 = 3*z - 0*z - 570. Let m = z - 192. Sort -4/7, m, -0.2 in decreasing order.
-0.2, -4/7, m
Let m = 2072 + -2087. Sort m, 3, 2 in ascending order.
m, 2, 3
Let b = -16.017 + 16. Let i = 12.983 - b. Put i, 0.5, 2 in asce