Let m be i(-16). Sort 1, m, -70 in decreasing order.
m, 1, -70
Let o = -3931835/1797 + 2188. Put o, 0, 2 in increasing order.
0, o, 2
Suppose -4*o - 6*o = 15*o. Sort 82, o, -2/25 in increasing order.
-2/25, o, 82
Let p(c) = c**3 + 8*c**2 + 18*c + 33. Let y be p(-6). Let n = -88 - -94. Sort 4, y, n in increasing order.
y, 4, n
Let f = 78 - 70. Let a = 0 - f. Let k(y) = y**3 + 8*y**2 + 2*y + 8. Let l be k(a). Sort 5, l, 4 in ascending order.
l, 4, 5
Let u = -264 + 304. Let c be (-5)/u*4*52. Put c, -3, -1 in ascending order.
c, -3, -1
Suppose 6*d + 8 = 8*d. Suppose 17 = -d*y - 13*y. Suppose -4 = -2*s + 3*s. Sort s, y, 5.
s, y, 5
Let q be (-150)/(-80)*(-16)/(-2) - (11 - 0). Let k(x) = x - 4. Let i be k(6). Let n be i/(1 + (-21)/15). Sort -2, q, n, 2 in decreasing order.
q, 2, -2, n
Suppose 6*o = 7*o - 10. Let f = 24 + o. Suppose -2 - f = 9*x. Sort 5, 2, x in descending order.
5, 2, x
Let w(s) = s**2 - 15*s - 6. Suppose -5*o + 338 + 259 = x, o - 105 = -5*x. Suppose 7*j + j = o. Let i be w(j). Sort -3, -5, i in descending order.
-3, -5, i
Suppose 29 = -4*l + l - 5*t, 0 = -4*l + 2*t - 4. Let z = -162 - -156. Let n be (-10)/z - (2/(-6) + 1). Sort n, 5, l in ascending order.
l, n, 5
Suppose n = 14 - 11. Suppose n*u - 6*u = -4*o, 0 = -3*o + 4*u. Let q(p) = -5*p**2 - 31*p - 11. Let k be q(-6). Sort o, -7, k in descending order.
o, k, -7
Let k(l) = -6*l**2 + 2*l - 6. Let i be k(7). Let r be 12558/(-5796)*(-4)/39. Sort r, -2/15, i in ascending order.
i, -2/15, r
Let z be -1 - (-13)/((-104)/(-24)). Suppose -3*t + 3*t = -z*t. Put t, -1, 5 in increasing order.
-1, t, 5
Let j = -22.5 + 23.5. Let n = 991/4 + -248. Sort n, 2, 0.1, j in increasing order.
n, 0.1, j, 2
Suppose -r + 2*r - 14 = 3*a - 7, -4*r = 20. Let g be 4*9 - (-2 + 0). Sort 5, g, a in ascending order.
a, 5, g
Let n = 63.69 + -63.6. Let b = 1.1 + -1.4. Put -4, b, n in decreasing order.
n, b, -4
Let s = 2.3 - 2.24. Let v = -207 + 206.681. Let g = v + 0.019. Put 0.5, s, g in decreasing order.
0.5, s, g
Let b = -78 - -78.14. Let y = -12.6 + 12.1. Sort y, b, 4 in increasing order.
y, b, 4
Let x = 95/441 + 52/441. Sort 2/5, 0, -1, x, 221.
-1, 0, x, 2/5, 221
Let a = 87.2 - 120.2. Sort -2, -0.5, a, -3 in descending order.
-0.5, -2, -3, a
Let v = 84.676 + 0.024. Let f = -85 + v. Sort -0.9, 0.04, f in decreasing order.
0.04, f, -0.9
Suppose -3*o + 2*v + 14 = 0, -2*o - 19*v - 8 = -16*v. Sort 2/11, 16, o, -1/6, 0.4.
-1/6, 2/11, 0.4, o, 16
Suppose 4*h = -2*q - 2, -4*h + 8*h - 5*q + 37 = 0. Let z = -14223 + 14225. Put z, -1, h, 1 in decreasing order.
z, 1, -1, h
Let s be -4 - (-7 + -4 + 11 + -3). Let f be s/(-6) - 55/132. Let y = -1.5 + 2. Sort f, y, 3 in decreasing order.
3, y, f
Let f be ((-4074)/(-23))/(36/(-63)). Let s = f - -310. Put s, -0.5, -2/9 in decreasing order.
s, -2/9, -0.5
Let m = -26684/40017 + 2/13339. Let q be 5*2/(-8) - -2. Let b be -1*(7 - (-5)/(-5)). Sort q, b, m in ascending order.
b, m, q
Let h(o) = -339*o**3 + 3*o - 2. Let q be h(1). Let v be (-65520)/q - (-1*3 - 0). Let j = -197 + v. Sort 4, j, -0.1, 0 in descending order.
4, 0, -0.1, j
Let v = 87878 + -87874. Let g be -21 - 0/(1 - 3). Put g, 2, 1, v in ascending order.
g, 1, 2, v
Suppose -2*u - 4*d = -18, u + 3*d = 5*u + 19. Suppose -l + 4 = 4*v, -32*l + v = -35*l - 10. Suppose 5*i - 2*i - 12 = 0. Sort l, i, u in decreasing order.
i, u, l
Let g(a) = -45*a**3 - 2*a - 1. Let p be g(-1). Let v = p + -38. Let j be (-26)/v - (-4)/16. Sort j, 2/7, -2/5 in descending order.
2/7, -2/5, j
Let u = -28 + 10. Let s = 310224/1085833 - -2/155119. Sort s, -2/3, u in ascending order.
u, -2/3, s
Let k = -13543 + 13562. Put -5, -4, 2, k, -1 in descending order.
k, 2, -1, -4, -5
Let s = -4.5 + 53.5. Let i = -48.9 + s. Let u(d) = -d**2 - 8*d - 3. Let l be u(-8). Sort l, 5/3, i in increasing order.
l, i, 5/3
Suppose -81 - 41 = 2*o. Let j = o + 66. Let u = -12 + 7. Sort -8, u, j.
-8, u, j
Let g be -1*12/28 - 59/(-413). Put g, -0.2, -2, 0, -31 in decreasing order.
0, -0.2, g, -2, -31
Let m = 63 - 66. Let g = 37357/9 + -4151. Sort 10, g, m in descending order.
10, g, m
Let y = -8273.04 - -8273. Sort y, 4/5, -4/5, 4, -1 in decreasing order.
4, 4/5, y, -4/5, -1
Suppose 10*r - 22*r = 156. Let f be (-2)/(-2)*(r + 14)*5. Let m(u) = u**3 - 3*u**2 + 3*u - 3. Let s be m(2). Put 1, f, s, 2 in increasing order.
s, 1, 2, f
Suppose 0 = -4*n + 1065 - 4493. Let x = 860 + n. Sort 10, 0, 2, x in decreasing order.
10, x, 2, 0
Suppose -2 = -29*d + 30*d, -17 = 3*h + d. Let n be (-1)/(-3)*18/(-8). Sort -12, n, h in descending order.
n, h, -12
Let w be (-126)/189*54/4. Sort w, 4, 24 in decreasing order.
24, 4, w
Let w = 13559 - 13555. Sort -2, -0.01, 0, w, 37 in descending order.
37, w, 0, -0.01, -2
Let d = 47 - 18.6. Let f = d - 40.3. Let i = 12 + f. Put -0.1, i, -3 in ascending order.
-3, -0.1, i
Let d(y) = -4*y + 53. Let n be d(12). Let g be n - (2 + (-30)/(-5)). Suppose -3 = -3*s + p, -5*s + 3*p + 1 = -4. Sort -8, g, s.
-8, g, s
Let k = -37.7 + 32.76. Let y = 4.34 + k. Sort y, -1.5, 0.4 in increasing order.
-1.5, y, 0.4
Let u be 928/348*3/(-28). Sort 0.01, 1, -1/3, u, -2 in ascending order.
-2, -1/3, u, 0.01, 1
Suppose -8 = 2*z - 0*z. Let o = -5257 - -5271. Sort o, -1, z in ascending order.
z, -1, o
Let c(x) = x**3 + 15*x**2 + 13*x - 16. Let p be c(-14). Let w be -6 - -3*(4 + p). Sort -3, w, 5, -2 in increasing order.
-3, -2, w, 5
Let l = 757 + -754. Sort -1, -71, l in descending order.
l, -1, -71
Let z = 0.2451 + -0.3051. Sort 68, -2, z, 1/3.
-2, z, 1/3, 68
Let r = -0.4176 - -0.2176. Let f = 11 - 6. Sort f, 1/2, r in descending order.
f, 1/2, r
Let m be (-3)/(6 + (8 + 55)/(-7)). Let q = 2 + -2. Put -19, q, m, -1 in decreasing order.
m, q, -1, -19
Let i = -112 + 117. Suppose -i*l - 23 = 4*a, 5*l + 13 = -3*a + 4*a. Let c be (((-10)/(-15))/(-1))/(a + 4). Sort c, 3/4, 30 in decreasing order.
30, 3/4, c
Let a = -3608 - -3630. Put 1, a, -20, 3/7 in descending order.
a, 1, 3/7, -20
Let x = -3 - -3. Let q = -60 + 64. Suppose -9*r = 5 + q. Put -4, x, r in increasing order.
-4, r, x
Let g = 43 - 41. Let m be 2*-2*(3 - 2). Put g, m, 0 in descending order.
g, 0, m
Let j = -1290.4 - -1290. Let m = 3.9 - 4. Let o = -0.08 - m. Put 0, j, o in descending order.
o, 0, j
Let g be (700/8)/(-5)*(-390)/25. Let v = g - 271. Sort -2, -32, v in descending order.
v, -2, -32
Suppose -2*f - 3*h + 1 = -0*h, -f + h = 2. Let y(a) be the second derivative of -a**4/12 - 2*a**3/3 + 13*a**2/2 - 14*a. Let p be y(-6). Sort -5, p, f.
-5, f, p
Let a = 6 - 6.2. Let i = -3669/7 - -14655/28. Sort -3/7, 0.12, i, a.
i, -3/7, a, 0.12
Let m = 2272.3 - 2272. Put -2/7, 2/15, -3/8, m, -256 in decreasing order.
m, 2/15, -2/7, -3/8, -256
Let s(b) = -228 - 7*b**2 - b**2 + b**3 + 241 - 10*b. Let w be s(9). Let v be ((-36)/45)/(118/(-5)). Put w, v, -2/9 in descending order.
w, v, -2/9
Let v = -51036 - -51041. Suppose 2*p + 2 = -0*p. Suppose -4*w + 28 = 2*h, 0 = -3*w - 2*w + 20. Put v, h, p in decreasing order.
h, v, p
Let x be ((-9)/6)/((-960)/1408). Sort 2, 1/2, -27, x in ascending order.
-27, 1/2, 2, x
Let g(a) = 9*a - 11. Let k be g(6). Let x be 17/(-51) - k/(-3). Suppose w - 4*v - 11 = 10, -w - 3*v = x. Put 5, 0, w, 3 in ascending order.
0, w, 3, 5
Let w be (-8)/14 + -4 + 522/(-42). Let z = -22 - w. Put 3, 1, -2, z in ascending order.
z, -2, 1, 3
Let c(b) = -b + 3. Suppose -5*o + 0*o = -3*p + 8, -4*p + 4*o + 16 = 0. Let v be c(p). Suppose 5*w = 2*d + 34, 511*d = 509*d + w - 10. Sort v, d, 22.
v, d, 22
Suppose 9 = 4*f - 7. Let o be (f/(-10))/(136/255). Sort 2, 0, o in ascending order.
o, 0, 2
Let j = 5213 - 5251. Sort -0.5, j, 2, 0.3 in increasing order.
j, -0.5, 0.3, 2
Let q(k) = -k**2 + 13*k + 51. Let y be q(8). Suppose -4*l = -b + y, -5*l + 5*b - 26 = 69. Sort -2, -5, l, 5.
l, -5, -2, 5
Let s = -4622 + 4624. Sort 1, -2, -5, 4, s.
-5, -2, 1, s, 4
Suppose 0 = 2*w + 4*t + 22, t + 18 = 46*w - 49*w. Sort 3, 2/11, -0.002, 0, w in increasing order.
w, -0.002, 0, 2/11, 3
Let x = -7299 - -7300. Put 14, x, -9 in decreasing order.
14, x, -9
Let c be 5 + (-2)/2 + -1 + -3. Let x = -61 + 69. Put -5, c, -3, x in descending order.
x, c, -3, -5
Let q(n) = 6 + 36*n**2 - 20*n**2 - 15*n - 15*n**2. Let u be q(13). Let m = -17 - u. Sort -4, 1, m in decreasing order.
m, 1, -4
Let s be 0*(0 - 1) + (-1462)/(-663). Let h = -33/13 + s. Sort -0.