 be s(5). Sort d, 5, 4, 0 in increasing order.
d, 0, 4, 5
Let k = -7230 + 7240. Sort k, 1, 149.
1, k, 149
Let i be (8528/(-123))/(4/(-30)). Let b = i + -517. Put 31, b, 2 in decreasing order.
31, b, 2
Suppose -5*u - 240 + 988 = -3*b, -5*b - 2*u = 1195. Let x = -240 - b. Suppose -5*h - 5*o = -25, 5*o + 20 = 4*h + o. Put h, x, -2, 0 in increasing order.
-2, 0, x, h
Let x = 17 - 20. Suppose -23 = 3*k - 29. Let h(w) = w**2 - 2*w - 5. Let u be h(k). Put 12, u, x in decreasing order.
12, x, u
Let s = -18/559 - 498/559. Put s, 4/107, 1/2 in decreasing order.
1/2, 4/107, s
Suppose i + 3*g = g + 28, -5*i - 3*g = -105. Suppose -17*y = -i*y - 2. Let s be 15/20*2/3. Put s, -0.5, 2/5, y in decreasing order.
s, 2/5, -0.5, y
Let w = -3151 - -3148. Sort 1, -0.4, -1, -40, w.
-40, w, -1, -0.4, 1
Let q be 5/(6*30/(-24)). Put 4, q, 1/15, 2/11 in increasing order.
q, 1/15, 2/11, 4
Let q = -15388 - -15389. Put q, 0.018, -78 in increasing order.
-78, 0.018, q
Let f = 5.4 - -14.1. Let v = f + -1.5. Let i = 33 - v. Sort 1/4, -5, 0.1, i in ascending order.
-5, 0.1, 1/4, i
Let t = -4.67 + 4.7264. Let f = 0.1436 + t. Put -3, f, -31 in increasing order.
-31, -3, f
Let v = 0.2 + -0.5. Let o = 5.8112 + 0.1888. Sort 0.2, v, o.
v, 0.2, o
Suppose 0 = -81*a + 87*a - 12. Suppose a*o - 4 = -0*o - 4*f, -4*f = -12. Sort -6, o, 5 in decreasing order.
5, o, -6
Let c = -2.2 + 2.6. Let t = -0.6 - -3.21. Let f = 2.71 - t. Sort 0.04, f, c, 3 in decreasing order.
3, c, f, 0.04
Let h = 1842.8 + -1842.8. Put h, 3, -0.1, 11.72 in increasing order.
-0.1, h, 3, 11.72
Let h = -11.3 + 11. Let l = 10398 - 10394. Put h, l, 5, 1/5 in descending order.
5, l, 1/5, h
Let b be 4/10 - (-18)/5. Suppose 0 = -y - 2*w, b = 3*y + 3*w + 1. Let t(r) = -2*r**2 + 18*r + 30. Let k be t(10). Sort y, 3, k in increasing order.
y, 3, k
Let m = -0.1 - -0.1. Let r = -6.5 - -3. Let c = -3.51 - r. Put m, c, -4 in decreasing order.
m, c, -4
Suppose -21 = -2*q - 2*q - 3*v, 3*q = -5*v + 2. Let n be 15/20 - q/60. Let a = -0.968 + 0.868. Sort n, a, -1 in increasing order.
-1, a, n
Let c be (-92 - -84) + ((-2)/4 - (-3900)/(-8)). Put 4, -2, c in decreasing order.
4, -2, c
Suppose -k - 13 = -10. Let m(w) = -4*w**3 + w**2 - 2*w + 1. Let o(t) = t**2 + 4*t + 4. Let b be o(-3). Let u be m(b). Put u, -2, k in descending order.
-2, k, u
Let h = -98712 + 16583569/168. Let r = h - -17/24. Sort r, 2/25, -2/11 in descending order.
r, 2/25, -2/11
Let v = 55/42 - 10/21. Let w = -226.9 - -195. Let q = w - -32. Sort 0.2, v, q in descending order.
v, 0.2, q
Let w = 9 + -13. Let o be 5*(-506)/440 - (3 - (11 + -2)). Put 3, o, w in ascending order.
w, o, 3
Let j = 16/21 + 1/14. Let m = 19.4 + -19. Sort j, 30, m, -2/5.
-2/5, m, j, 30
Let r(w) = -6*w - 38. Let x be r(-8). Suppose -7*j - 4 = x. Sort 1, -5, 5, j in increasing order.
-5, j, 1, 5
Let x(h) = 31*h + 304. Let k(c) = 16*c + 152. Let f(b) = 7*k(b) - 4*x(b). Let v be f(-11). Sort 2, v, -2, 1.
v, -2, 1, 2
Let y = 14 - 10. Suppose -2*g = -z + g - 14, y*z + 35 = 5*g. Let p(t) = -t**3 - 7*t**2 - 7*t - 5. Let o be p(-6). Sort 0, z, o in increasing order.
z, 0, o
Let m = 40 + -34. Suppose -m = -4*p - 2*p. Suppose -3*d = 13 - p. Put d, -1, 0 in descending order.
0, -1, d
Let l be (-133)/(-7185)*52/(-7). Let j = -2/479 - l. Let v = -3.1 + 3. Sort 1/2, 4, j, v in descending order.
4, 1/2, j, v
Suppose -15*x + x = -4*x - 830. Put x, -3, -2 in decreasing order.
x, -2, -3
Suppose -5*l + 32 = -113. Let v = 25 + -23. Let x(y) = y**2 - y - 3. Let b be x(v). Put l, b, 0 in descending order.
l, 0, b
Let c = 3 + -2. Let z = 377 - 372. Suppose 3*p + 30 = 3*o, -2*o - p + z + 18 = 0. Put c, 0, o, -2 in ascending order.
-2, 0, c, o
Let a be (9 + -3)/3 - 27/12. Let j be (-1)/(-4 + 22*(-3)/(-18)). Put a, 43, j in decreasing order.
43, j, a
Let j(m) = -4*m + 42. Let a be j(11). Let c be 0/(7 + a + -3) + -3. Put -1, c, 1, -4 in decreasing order.
1, -1, c, -4
Suppose 12 = -5*m + 57. Suppose -2*a + 2*p = -14, -m = 3*a + 5*p + 2. Sort a, -0.04, -0.5 in increasing order.
-0.5, -0.04, a
Let k(q) = 224*q - 1117. Let n be k(5). Put 1, 90, 5, n in decreasing order.
90, 5, n, 1
Let p = 0.3 + -0.6. Suppose 5*r = r - 3*q - 29, 0 = -4*r + 3*q - 11. Sort r, 0.3, p, 3 in decreasing order.
3, 0.3, p, r
Suppose -3*q + 4*d + 5 = -4*q, -2*q = d + 3. Let a be -3 + 1 + 2 + -2. Let u = -496 - -501. Put a, q, 3, u in increasing order.
a, q, 3, u
Suppose -2*d = -d - 2. Suppose z = 2*z + d. Let w be 1*(-3 - z) - 4. Sort w, -3, 0, -4 in descending order.
0, -3, -4, w
Let m = -3.812 + 1.812. Put 6, -17/4, m in increasing order.
-17/4, m, 6
Suppose -5*v = 2*g + g - 115, 4*v = -4. Let h = g - 16. Let y be (10/(-3))/1*h/20. Put y, 4, -2, 2/3 in descending order.
4, 2/3, -2, y
Let g be (-3)/((-38)/(-1463)*-11). Put 1/5, 8/3, 5, g in descending order.
g, 5, 8/3, 1/5
Let u = 1897/4 + -2491/4. Let i = u - -149. Sort i, -5, 0.1, -1/7 in increasing order.
-5, -1/7, 0.1, i
Let o = -271.1 + 271.5. Sort 0.3, -12/7, o, 0.
-12/7, 0, 0.3, o
Suppose -2*q + 7*q = q. Put q, 39, 1, 4 in descending order.
39, 4, 1, q
Suppose 6134 = -416*g + 65 + 661. Sort -7, g, -2, 4, 8 in decreasing order.
8, 4, -2, -7, g
Let d = -692 + 690. Suppose 5*b + 8 = -7. Suppose 0 = -2*k + 799 - 807. Sort d, k, 2, b in decreasing order.
2, d, b, k
Let f(n) = 8*n. Let t be f(-2). Let k = -16 - t. Suppose 2*p + 115 = 127. Sort -4, -2, p, k in descending order.
p, k, -2, -4
Let m = -3291.14 - -3291.1. Sort -5, -4/3, 14, -1, m in descending order.
14, m, -1, -4/3, -5
Suppose 124*x + 22*x = 64*x + 33*x + 637. Let k be 6*2/2 + -2. Sort k, -3, x in increasing order.
-3, k, x
Let t = 5/2702 + -1163/2702. Put 13, 0.3, t in decreasing order.
13, 0.3, t
Let m be (-5 - (-100)/24)*9/60. Sort 1/9, m, 3/11, -16 in descending order.
3/11, 1/9, m, -16
Let d(h) = h**2 - h - 2. Let r be d(3). Suppose 17*x + 250*x - 267 = 0. Put -4, 3, x, r in decreasing order.
r, 3, x, -4
Suppose 12 = -2*h + 2*s, 5*s = 4*h + 16 + 11. Let j = h + 3. Suppose 3*z - 24 + 15 = j. Put z, -2, -3 in increasing order.
-3, -2, z
Let b(y) = -5*y + 41. Let t(v) = -v - 3. Let q be t(-12). Let a be b(q). Put a, -3, -8 in decreasing order.
-3, a, -8
Let l = 253 + -248. Suppose 60 = 20*y - l*y. Put -1, y, -7 in descending order.
y, -1, -7
Let d be (-5)/((-95)/2) - (-105)/(-456). Sort d, -0.2, -1/7 in increasing order.
-0.2, -1/7, d
Let a(j) = j**2 + 15*j + 5. Let m = 23 + 19. Suppose -5*v + 8*v = -m. Let q be a(v). Sort -1, q, 3.
q, -1, 3
Let p = -56 + 106. Let t = 4.431 + -4.831. Sort t, p, -0.2.
t, -0.2, p
Let f(l) = -l**3 + 2*l**2 + 2*l - 2. Let i be f(2). Let m be -12*(i - 4/3). Let s be 4/(-10)*(9 - 4). Sort 0, s, m in descending order.
0, s, m
Let t = -3 + 5. Suppose -t*o + k = 4*k - 21, -3*o = k - 14. Suppose -48 = -135*i - 0*i + 87. Sort o, i, 2, 0 in increasing order.
0, i, 2, o
Let o(m) = m**3 + 7*m**2 + 4. Let z be o(-7). Suppose -2*d + 2 = 4*p, 17 = z*p - 4*d + d. Sort 5, p, 4, -4.
-4, p, 4, 5
Suppose 30*o = -292*o - 850 + 2138. Sort 0.2, o, -0.02, 9, 2.
-0.02, 0.2, 2, o, 9
Let b = 343 + -341. Suppose a - 5*v = 21, 0 = 32*a - 29*a - 2*v + 2. Sort 5, a, b, 30 in descending order.
30, 5, b, a
Let v = -7980/73 - -216190/1971. Let b = 5.2 - 0.2. Put v, 1/8, b in decreasing order.
b, v, 1/8
Let p(l) = l**3 + 4*l**2 - 18*l + 14. Let n be (7/3*(-9 + 12))/(-1). Let q be p(n). Sort -2/7, 0, q.
q, -2/7, 0
Suppose -153 - 155 = -44*b. Let g be 1 + 5/(10/4). Suppose -x - 14 = 4*w, -4*x + 3*x + b = -g*w. Sort 9, x, 0.
x, 0, 9
Suppose -7 = s - 30*x + 34*x, -5*x = -5*s + 15. Let h(f) = f**3 - 7*f**2 + 8*f - 8. Let w be h(6). Sort w, s, -5.
-5, s, w
Suppose -5*l - 4*p + 10 = 0, -11*l + 6 = -8*l - 5*p. Put l, -5, 1, 5, 21 in descending order.
21, 5, l, 1, -5
Let h be (20 - (-4 + 27)) + -5 + 13. Let z = -16 + 10. Sort -4, z, -1, h in descending order.
h, -1, -4, z
Let x = -5 - -3. Let f = -4/15 - 7/30. Let y = 0.45374 + -0.15374. Put f, -4, y, x in ascending order.
-4, x, f, y
Let k = 24.114 - 0.114. Let b = k + -43. Let g = b + 19.06. Sort 2, 0.1, g in decreasing order.
2, 0.1, g
Let p(b) = -b**3 + 20*b**2 - 66*b + 3. Let r be p(4). Sort 6, 18, r, 2.
r, 2, 6, 18
Let t = 742 - 471. Let c = t - 271.5. Sort -1/4, -3, 0.2, c.
-3, c, -1/4, 0.2
Let j = 24.14 - 53.14. Sort -3/4, -0.1, j.
j, -3/4, -0.1
Let v be (-1)/(-4 - 0)*(-445)/(-445). Let 