pose -275 = -21*v + 82. Suppose j = -2, 6*o - v = 9*o - 5*j. Let d be 4/(-2)*(1 - 0). Sort 2, d, o, -5.
o, -5, d, 2
Suppose 0 = 4*r - 7*r + 12. Suppose p + 6 = -3*t - r, 4*t + 15 = -p. Let s be (4032/(-27))/(-14)*21/28. Put t, 5, -4, s in decreasing order.
s, 5, -4, t
Let d = -672 + 684. Let g be (-144)/32*8/d. Sort g, -34, 2 in descending order.
2, g, -34
Let n = -8.0067 + 0.0067. Sort n, -4, -5, -3/8, -2/9 in decreasing order.
-2/9, -3/8, -4, -5, n
Let t = 2.678 - 2.6. Let f = t - -4.922. Sort 27, f, 3, -2 in decreasing order.
27, f, 3, -2
Let c = 388.5 + -76.5. Let l = c - 312.2. Sort -0.5, l, 5, -1.2 in increasing order.
-1.2, -0.5, l, 5
Let k = 52 - 59. Let h = -2.7 - 4.3. Let a = k - h. Put -0.2, -3/8, a, -4 in descending order.
a, -0.2, -3/8, -4
Let t = 3079 - 3081. Sort -5, t, 0, 134 in increasing order.
-5, t, 0, 134
Let y(d) = -780*d + 5997. Let b be y(5). Put -4, b, -5 in descending order.
b, -4, -5
Let c be ((-56)/(-84))/(-2 - 36/(-15)). Let o = -5.2 + -1.8. Put c, o, -2, -0.1 in ascending order.
o, -2, -0.1, c
Let z be ((-120)/(-48))/(-3 + 21/6) + -8. Sort -194, z, 0 in decreasing order.
0, z, -194
Let a be 165/(-42) - (-57)/(-798). Sort -3, 34, a in decreasing order.
34, -3, a
Let t(z) = 95*z + 190. Let q be t(-2). Sort 3, 186, -3, q, 1 in decreasing order.
186, 3, 1, q, -3
Let x = 3185 - 2888. Sort -4/3, x, 3, 4 in descending order.
x, 4, 3, -4/3
Let q = -49 + 44. Let f = -11 + 13. Sort f, q, -0.02 in increasing order.
q, -0.02, f
Let f(y) = -11*y**2 + 144*y - 13. Let n be f(13). Sort -1, n, -168, -5.
-168, -5, -1, n
Let x be ((-35)/10)/((-42)/36). Suppose -9*d - 35 = -4*d. Sort 1, d, x, 2 in descending order.
x, 2, 1, d
Let b(c) = -22*c - 269. Let u(d) = d**3 - 9*d**2 + 5*d + 12. Let r be u(8). Let i be b(r). Sort i, -2, -3, 16 in decreasing order.
16, -2, -3, i
Let s be (-49)/(-7) + 24 + -32. Sort 5, s, 3, -5 in ascending order.
-5, s, 3, 5
Let k = 19943 - 19941.2. Sort -3/5, k, 4, 0.07, 0.3.
-3/5, 0.07, 0.3, k, 4
Let t = 26.27 + -25.66. Let r = 0.14 - -0.17. Let j = t - r. Put -0.5, 14, j in decreasing order.
14, j, -0.5
Let f(x) = x**3 + 4*x**2 + 7*x + 6. Let l be f(-2). Let r be -7 + 6 + 6 - l. Let t = 4 - 1. Put t, -1, r in ascending order.
-1, t, r
Let f = 11480 + -11483. Let g be (1 + (-17)/(-1))/1. Put 6, g, f in descending order.
g, 6, f
Let o = 38.5 + -23.2. Let u = o - 22.3. Sort 4/5, -1, -1/5, u in ascending order.
u, -1, -1/5, 4/5
Let v = -284 + 288. Let k(q) = q**3 - q**2 - 11*q + 14. Let h be k(3). Put v, -11, h in decreasing order.
v, h, -11
Suppose -10*o = -3*o - 35. Suppose 0*a - u = 2*a + 9, -a = o*u. Sort a, 4, 1 in decreasing order.
4, 1, a
Let d = -1/2491 + -32380/7473. Put 1/9, 2/11, d, 3, 0.2 in ascending order.
d, 1/9, 2/11, 0.2, 3
Suppose -1856*f - 184 = -1810*f. Sort f, -1, -470, -5 in descending order.
-1, f, -5, -470
Let w be (-2 + 1)/(1 + 4). Let r = 38485 - 38482. Sort r, 7, w, -1/7.
w, -1/7, r, 7
Suppose 4*i + 44 + 8 = 0. Suppose 3*p + 492 = 3*c, -3*c - 2*p + 480 = p. Let k = c - 162. Put k, 2, i in decreasing order.
2, k, i
Let w = 0.05438 + 2.94562. Let r be ((-12)/63)/((-4)/24). Sort 2, r, -4/9, w.
-4/9, r, 2, w
Suppose 2*v = -12, 28*m + 18 = 26*m - 4*v. Sort m, -2, -3, -40, -26 in decreasing order.
m, -2, -3, -26, -40
Let u be 0 + -2 + (2/(-7) - (-6348)/1932). Sort u, -3013, 4 in ascending order.
-3013, u, 4
Suppose 57*t + 5980 = 172*t. Sort -21, -3, t in descending order.
t, -3, -21
Let q be 13 + (85/(-15) - 7). Sort -3/31, q, -1.8 in decreasing order.
q, -3/31, -1.8
Suppose 17*w - 4858 = -11*w + 35*w. Sort 5, w, 0 in descending order.
5, 0, w
Let p(s) = -s**2 + 6*s - 2. Let h(b) = 6*b**3 + 2*b**2 - 9*b + 7. Let t be h(1). Let d be p(t). Let z be 20/(-6) + 1/3. Sort z, d, 2, 1 in decreasing order.
2, 1, d, z
Let x be (-155)/75 + 4/10. Sort 5, -5/8, -2, x in ascending order.
-2, x, -5/8, 5
Suppose 2*c + 586 = -2*v, 0*c = -v - 3*c - 299. Let y = v + 285. Sort y, 0, 28, 3 in descending order.
28, 3, 0, y
Let r = -1294 + 1295. Suppose 0 - 4 = 4*a. Let b be 4/6*(-3 - -9). Sort a, b, 5, r in decreasing order.
5, b, r, a
Suppose 0 = x - 47 - 195. Let y = x + -241. Sort 0.0546, y, 4.
0.0546, y, 4
Let w be ((9 + (-264)/32)/((-2)/8))/1. Put 446, -5, w in ascending order.
-5, w, 446
Let a = 6146.0276 + -6146. Put 0.4, 0, -2, a, -0.1 in descending order.
0.4, a, 0, -0.1, -2
Suppose 13*x - 58 - 30 + 23 = 0. Put x, -3, 0, 4 in increasing order.
-3, 0, 4, x
Let s be (-1 - (-26)/(-6))/((-2015)/93). Let u = s + 2/13. Let b be 2 + 1*(-2 - -3). Put -1/4, b, u, -2 in increasing order.
-2, -1/4, u, b
Let b be 8/(-36) + (-34)/9. Let h(f) = 4*f + 155. Let a be h(-38). Put b, -2, a in descending order.
a, -2, b
Let y be (63/33 + (-10 - -8))*(1 + 1)/(-2). Let m = 13 - 8. Let b = -0.4 + 1. Put b, m, y, 0.2 in descending order.
m, b, 0.2, y
Let i = 1033 - 1037. Put i, -8, 37 in increasing order.
-8, i, 37
Let s be 1 + (90/(-24) - -3). Let h = -201 + 200.7. Sort s, h, -22/3 in descending order.
s, h, -22/3
Let n(z) = -86*z + 3252. Let g be n(37). Let k be 3*1*(-2)/(-6). Sort g, 5, -2, k.
-2, k, 5, g
Let v be 1/(-2)*(1 - -1). Let h(w) = -w**3 + 19*w**2 + 5*w - 26. Let l be h(19). Suppose 0*s + l = -23*s. Sort s, v, -5 in descending order.
v, s, -5
Let l(u) = -22*u + 106. Let p be l(5). Sort -11, 6, 1, p in decreasing order.
6, 1, p, -11
Let q(u) = -u**3 - u**2 + u + 3. Let p be q(0). Let i = -47894.7 + 47895. Sort 4/3, p, i in decreasing order.
p, 4/3, i
Let z = -1868.8 + 1868. Sort 0.2, 0.1, 2, 0.31, z in increasing order.
z, 0.1, 0.2, 0.31, 2
Let p be -79 - -73 - -8*(-2)/(-2). Sort 4, p, 1156 in descending order.
1156, 4, p
Let b(g) = -g + 3. Let x be b(3). Suppose -3*q + 5*l = -57, -38*l + 41*l = 5*q - 31. Sort -7, q, x in increasing order.
-7, q, x
Suppose 4321 = 7*k - 1167. Suppose k + 593 = 17*y. Put y, 0.4, 2 in decreasing order.
y, 2, 0.4
Let z = -1083.633 + 1089.5. Let n = -0.133 - z. Put 1/7, 4, n, -3/7 in decreasing order.
4, 1/7, -3/7, n
Let v = -1555 + 10879/7. Sort 3, v, -39, 3/46.
-39, v, 3/46, 3
Let m(h) = -3*h - 38. Let q be m(-10). Let j = -93 + 97. Sort -5, q, j, 0 in descending order.
j, 0, -5, q
Suppose -9*c + 135 + 108 = 0. Suppose 4*d - 3*n = -c, -4*d + 5*d + 28 = 5*n. Sort d, -27, 0 in descending order.
0, d, -27
Let w = -81859/23 + 3559. Sort -10, w, -0.2 in descending order.
w, -0.2, -10
Let o = -17043 - -17012. Put o, 5, -82 in descending order.
5, o, -82
Let r = 45908 - 32119. Put 3/7, r, 0.1 in ascending order.
0.1, 3/7, r
Let y = 567.5 + -428. Let t = y + -139. Sort 2/15, 5, 0.041, t in increasing order.
0.041, 2/15, t, 5
Let p = 26052 + -26049. Sort 3/2, p, -6/37, -2/9, 1/7 in ascending order.
-2/9, -6/37, 1/7, 3/2, p
Suppose 5*r - 2*m = -15, -40*m + 36*m - 15 = -r. Put 141, r, 1, 5 in increasing order.
r, 1, 5, 141
Let l = -2.669 + 2.969. Sort -3, -5, l, 140/3.
-5, -3, l, 140/3
Suppose -15*p = -30*p. Let h be (-18)/6 + -11*2. Let r = h + 23. Sort r, p, 3, 1 in increasing order.
r, p, 1, 3
Let u = 90 + -86. Suppose -3*r = -r + u. Let g be (-2 + r)*(-1 - 2/(-4)). Sort 3, g, 0 in decreasing order.
3, g, 0
Let p be (2 - 0)/((-44)/(-1738)). Let o = -77 + p. Let c(m) = m**2 + m - 3. Let q be c(0). Sort 10, q, o.
q, o, 10
Suppose 0 = p - 69 - 6. Suppose 2*b - 21 = -3*k, k = -6*b + 9*b - 4. Put 0, k, p in ascending order.
0, k, p
Let c be (-80)/336 + 0 + 4/6. Let v = -2.5 + 2.4. Put c, v, 2, -0.3 in ascending order.
-0.3, v, c, 2
Let c = 2.53 - 4.62. Let x = c + -0.91. Let d = -17.11 + 17. Sort x, d, 4 in ascending order.
x, d, 4
Let q be 420/840*(-312)/1. Put 3, q, 5, 1 in decreasing order.
5, 3, 1, q
Let k = -88.061 + 84.71. Put 3/2, 0, k in ascending order.
k, 0, 3/2
Let l = -11482.92 - -11482. Put 0.03, -1/5, l, -1, 0 in descending order.
0.03, 0, -1/5, l, -1
Suppose -f - 5*p - 13 = 0, -5 = 95*f - 99*f - p. Sort 1, f, 4 in decreasing order.
4, f, 1
Let w = 715.56 - 710. Let i = w + -3.26. Put 2, i, -5/2, 0.4 in descending order.
i, 2, 0.4, -5/2
Suppose -96*y = -21*y - 150. Sort 15, 2/13, y in decreasing order.
15, y, 2/13
Let k = 8.294 + -8.414. Sort 1, -0.5, k, 55/2 in decreasing order.
55/2, 1, k, -0.5
Let x(a) = -17*a**2 - 128*a + 64. Let q be x(-8). Suppose -2*b - 9 = 5. Sort -4, b, q.
b, -4, q
Let j(c) = -2*c - 126. Let p be j(0). Let k be (-10 - -2) + 144 - 5. Let x = k + p. Sort 1