pose 6 = 5*u + 21. Let z = 197381.6 - 197383. Sort u, 2, z in descending order.
2, z, u
Let s = -2.93773 + -0.06227. Put s, 0.5, 2.11 in descending order.
2.11, 0.5, s
Let o = -0.1 - 0. Let z = 2.78543 - 1.48543. Sort -0.2, o, z in descending order.
z, o, -0.2
Suppose -4*w - 9864 = -2*x, -42*w + 40*w = -3*x + 4920. Put w, 3, 0.2 in descending order.
3, 0.2, w
Suppose 834*y - 831*y + 17 = 2*m, 18 = -3*y + 3*m. Put -37, 0, 7, y in ascending order.
-37, y, 0, 7
Suppose 7*q + 313985 - 313950 = 0. Let z be -4*(2/(-4))/(-1). Let w = 5 + -1. Sort w, z, q.
q, z, w
Suppose 4*m + 2*w + 3*w = 45, 5*m - 30 = -w. Suppose 8*a + 17 = -2*x + 3*a, m*x = a + 25. Put -2, x, -5 in ascending order.
-5, -2, x
Suppose -w = -3*l + 26, -97*w + 64 = -100*w + 2*l. Suppose 0 = 4*t - 21 + 1. Put w, t, 4 in descending order.
t, 4, w
Let w(t) = t**3 + 10*t**2 + 18*t - 13. Let p be w(-5). Let s(i) = -i**3 + 9*i**2 + 10*i + 5. Let g be s(10). Sort g, p, -2, -4 in decreasing order.
p, g, -2, -4
Let c = 0.53546 + 0.06454. Sort -1, 2/5, -28, c in decreasing order.
c, 2/5, -1, -28
Let f be 2 + 490/30 + -15. Sort -0.2, -0.03, f, 4/5 in increasing order.
-0.2, -0.03, 4/5, f
Let x be 1696/(-426) + (-40)/(80/(-8)). Put 2, -1/3, x in descending order.
2, x, -1/3
Suppose -7*b - 5*b - 72 = 0. Let u(v) = -3*v**3 - v**2 + 2*v - 1. Let y be u(1). Let x = b - y. Put x, 5, -2, 1 in ascending order.
x, -2, 1, 5
Suppose 0 = 4*k - 12, o + k + 345 - 339 = 0. Let u be 1 - 0 - (-1 + 0). Put 0.3, u, o in increasing order.
o, 0.3, u
Let k = -292 + 291.7. Suppose 4*b - 5 = 3. Let d be 1/b*15/10. Sort k, d, -5 in descending order.
d, k, -5
Let a = -8589 + 8584. Sort a, 5, 3, 0, 6 in decreasing order.
6, 5, 3, 0, a
Let z = 28 + -30. Let y = -2 - 16. Let t be y/63 - (-8)/77. Put -0.3, z, t in decreasing order.
t, -0.3, z
Let m(b) = -3*b + 9. Let h be m(8). Suppose -54 = -7*n - 173. Let z = n - h. Put 11, 3, z, 5 in ascending order.
z, 3, 5, 11
Let l = 1573 + -1568. Put -3, 2, 0, -4, l in descending order.
l, 2, 0, -3, -4
Let p be (-6 - (4 - 6))/(-1). Let o be (91/14)/(-2 - -4) - p. Sort o, -6, -4 in increasing order.
-6, -4, o
Let h(x) = -x - 7. Let u(a) = a - 23 - 20 + 49. Let c(r) = -3*h(r) - 4*u(r). Let z be c(-7). Sort -2, -4, z, 10 in ascending order.
-4, -2, z, 10
Let m = 12.8 - -4.1. Let d = 89.9 - m. Let h = -72 + d. Put -6, h, 2/17 in decreasing order.
h, 2/17, -6
Suppose -3*c - 5*d = 7, 0 = -c - 0*d - 3*d - 1. Let x = -1726 - -1718. Let o be (x - 248/(-28))*7. Put c, o, 4 in decreasing order.
o, 4, c
Let h = -67/8 + 79/8. Let c = -5.01 - -0.01. Put 3, c, 1, h in decreasing order.
3, h, 1, c
Let u = 3378 + -3378.3. Put -0.9, 4, u, 1 in increasing order.
-0.9, u, 1, 4
Let l be (-1 - (-282)/(-42))/((-6)/196). Let c be l/216 - 1/6. Put -16, 2, c, -1 in descending order.
2, c, -1, -16
Let z = -16184 - -16183. Sort -0.3, -0.4, 0.4, 110, z in decreasing order.
110, 0.4, -0.3, -0.4, z
Let b be (-15886)/130 - 3/(-15). Sort b, -4, 5 in decreasing order.
5, -4, b
Let z = -0.281742 + 0.381742. Let r = 48.997 + 0.003. Sort r, -1, z in descending order.
r, z, -1
Let v = -191 - -511. Let r = v + -320. Sort -0.4, -3, 7/4, r in descending order.
7/4, r, -0.4, -3
Let q = -13 - -18. Let k = -51 - -60. Put q, 0.1, -5, k in ascending order.
-5, 0.1, q, k
Let f = -3107 + 3105. Sort -6, -49, f, -4.
-49, -6, -4, f
Let n(y) = -5*y**2 + 18*y - 4. Let f(a) = -9*a**2 + 36*a - 7. Let z(x) = -3*f(x) + 5*n(x). Let v be z(8). Sort -5, 5, v in decreasing order.
5, -5, v
Suppose 220*x + 24 = 226*x. Sort x, 1032, 2.
2, x, 1032
Let o be -8*(-75)/60 + (-36)/(-20)*-6. Let x be 2 + -2*32/33. Sort x, o, -3 in ascending order.
-3, o, x
Let f = -229 - -1153. Let p = -925 + f. Sort -5, 7.3, p in decreasing order.
7.3, p, -5
Suppose -o - 123 = -2*p, 2*o - 2*p - p + 247 = 0. Let c = -120 - o. Sort 5/2, -41, c in increasing order.
-41, 5/2, c
Let q be (-90)/(-54) - (-4)/3 - -1. Suppose q*v = -j + 1, -4*v - 2 = -j - 1. Sort 3, j, -14, 0 in descending order.
3, j, 0, -14
Let n = 0 + 1. Suppose -7*v + 87 = 73. Suppose -2*w + v*b + 22 = w, b = -4*w + 11. Sort n, 3, w, -3 in decreasing order.
w, 3, n, -3
Let f = 142 - 143. Let y = 1541/8 + -193. Sort f, -3, y in decreasing order.
y, f, -3
Let k = 4.1 + -4.4. Let h be -2 + (8 - (1 - 1)). Let a = h + -10. Put a, k, 7 in ascending order.
a, k, 7
Let a(p) = 2*p**2 - 21*p + 62. Let x be a(9). Let o be 203/(-49) - (-5)/x. Put 1, o, 6 in decreasing order.
6, 1, o
Let m(v) = -4*v + 17. Let z be m(-3). Let s = z - 30. Suppose 2*o = 4*c - 12, 3*o + 2*c + 0*c + 18 = 0. Sort -3, s, o, -5 in ascending order.
o, -5, -3, s
Let j be -18 - (-39 - (-35 + 19)). Sort 35, j, -110.
-110, j, 35
Suppose -4*u + 0 = 16. Let z(g) = -4*g + 45. Let o be z(9). Suppose 0 = 5*c + 4*d + o, -3*c = -c + 3*d + 5. Put u, c, 2, -2 in ascending order.
u, -2, c, 2
Let o = 1654 + -1660. Sort -12, o, 4, -4, 2 in ascending order.
-12, o, -4, 2, 4
Let p = -4.0087 - 8.9913. Let x = -3 + 1. Sort 0.4, 0, x, p in descending order.
0.4, 0, x, p
Let c be 9/(-28) + 8/(-32). Let x be (-9 - (-1 - 1))*(7 - 9). Let r be 2 + (-24)/9 + x/12. Sort c, r, 17 in increasing order.
c, r, 17
Let z be 17 + (-7 - 943/(-115))/(6/10). Sort z, -3, -12, -2, 0 in ascending order.
-12, -3, -2, 0, z
Let l = -4708 - -4655. Sort l, -0.3, -0.06.
l, -0.3, -0.06
Let y = 1221 - 1194. Sort y, -9/7, -3 in decreasing order.
y, -9/7, -3
Let p = 473 + -698. Let l = -225 - p. Suppose -b = -5*v - 4*b - 4, b = 5*v + 12. Put l, v, -1/2 in increasing order.
v, -1/2, l
Let s = -0.037 + 0.102. Let c = -0.43 + s. Let w = -0.065 - c. Sort w, -4, 1/7 in increasing order.
-4, 1/7, w
Let q be (20/(-6)*-3 + 30 + -35)*1. Put 1173, q, -1 in descending order.
1173, q, -1
Let x = 255312 + -255313. Suppose -4*j + 3*q + q + 8 = 0, 0 = 5*q + 25. Put x, j, 11 in decreasing order.
11, x, j
Suppose 270*f - 135*f + 1254 = -74*f. Put 258, 4, f in decreasing order.
258, 4, f
Let b = -26683/14 - -1906. Put 1/12, b, -0.13 in ascending order.
-0.13, b, 1/12
Let d be -70*(5 - 3) + 2. Let p = d + 140. Let m(n) = -6*n**3 + n**2 + n - 1. Let u be m(1). Sort 1, u, 3, p in increasing order.
u, 1, p, 3
Suppose 3*d - 6 = -0. Let s(w) be the third derivative of -7*w**4/24 + 10*w**3 + 41*w**2 + 2. Let f be s(7). Put d, f, 1 in decreasing order.
f, d, 1
Let o = -1799.41 + 1799. Put o, -4, -7/3 in decreasing order.
o, -7/3, -4
Let y = 3.272 - -3.728. Sort -7, 0.3, y.
-7, 0.3, y
Let o = 269.376 - 270. Let d = o + 0.124. Sort -1/11, -2, 1/4, d in increasing order.
-2, d, -1/11, 1/4
Suppose -2*y + 21 = -7. Suppose 322*g - 1 = 244*g - 157. Let o(n) = -n**3 + 2*n**2 + 2*n + 2. Let z be o(3). Put g, z, y in ascending order.
g, z, y
Suppose 0 = 5*i - 12*i - 7. Let j be i/(-4)*-2*8/(-2). Suppose c = -2*p + 10, 2*p - 1 = 2*c - p. Sort -10, c, j in increasing order.
-10, j, c
Let w(v) = v**2 - 27*v + 19. Let a = -460 - -487. Let s be w(a). Put s, 0, 5 in decreasing order.
s, 5, 0
Let v(j) = -43*j + 3184. Let z be v(74). Sort 0, -5, z, 6, -4 in ascending order.
-5, -4, 0, z, 6
Let r(q) = q**3 + 11*q**2 + 8*q + 31. Suppose -17*l = -21*l - 32. Let c be r(l). Sort -2, c, 4.
-2, 4, c
Suppose -3*a + 2*r - 4 = -5*a, 3*r + 6 = a. Let m(y) = 3*y**2 - y**a - 3*y + 5*y - y**2 - 4. Let x be m(0). Sort -1, -0.2, -2/5, x in increasing order.
x, -1, -2/5, -0.2
Let v be (266 - 266)/((-1)/1 + 3). Sort v, 5, 902 in ascending order.
v, 5, 902
Let q be (-1)/(-2)*(2 - 0). Let s = -97398 - -97400. Suppose 5*u + 21 = 1. Sort q, u, s, 12 in decreasing order.
12, s, q, u
Let d = 15719 + -15719.02. Put -5, 1/4, d, 16 in descending order.
16, 1/4, d, -5
Suppose -13*y + 20*y + 21 = 0. Let s = 3 - 3.4. Let i = 202 - 199. Put i, y, -0.1, s in increasing order.
y, s, -0.1, i
Let v(f) = -164*f + 3619. Let m be v(22). Put 1, 15, m, -3 in descending order.
15, m, 1, -3
Let z(c) = c**3 - 22*c**2 - 2*c + 40. Let s be z(22). Let p = -1 - -1. Sort p, -0.1, s, -8 in decreasing order.
p, -0.1, s, -8
Let c = 508 - 509. Put c, -6/5, -4/11 in descending order.
-4/11, c, -6/5
Suppose -33 = 21*x - 39 + 90. Sort 2, 5, 0.1, x, 1/5 in ascending order.
x, 0.1, 1/5, 2, 5
Let i = -164 - -169. Let h be (4 - (-12)/(-8))*(-1)/i. Let a = -171/2 + 87. Sort -0.1, a, -1/5, h.
h, -1/5, -0.1, a
Let a = 166 - 146. Let j = 17 - a. Put 5, j, 1, -1 in ascending order.
j, -1, 1, 5
Let