 be z(1). Put 1, b, d in descending order.
1, b, d
Suppose -4*w = 5*l - 8*w + 15, l = 3*w - 3. Suppose -r - 4*a + 0*a = 0, 5*a = -r. Let u be (r/(-2))/((-9)/3). Sort -1, -5, l, u in ascending order.
-5, l, -1, u
Let t = -41 + 41. Suppose -2*c - 2*r + 6*r + 2 = t, 0 = -r + 2. Suppose -2*h + 43 = -c*a, 3*a + 0*a + h = -28. Put a, 3, -4 in decreasing order.
3, -4, a
Suppose -27*d + 26*d + 19 = 3*q, -7 = 2*d - 3*q. Put d, -0.07, -26/17 in increasing order.
-26/17, -0.07, d
Let x = -1648 + 1653. Put 4, 2, x, -46, -3 in decreasing order.
x, 4, 2, -3, -46
Let m = -2699 - -2697. Suppose 40 + 26 = -22*w. Put 3, -133, m, w in decreasing order.
3, m, w, -133
Suppose 0 = 38*y + 8*y - 90 - 140. Put y, 42, 18 in descending order.
42, 18, y
Let p(t) = 4*t**3 - t**2 + t - 1. Let a be p(1). Suppose 0*k + 15 = a*k + v, -5*v = -3*k + 15. Let b be 1*(12/(-4))/(-2 + 1). Sort 0, k, -0.3, b.
-0.3, 0, b, k
Let t(n) = -1. Let f(d) = d - 18. Let a(q) = f(q) - 2*t(q). Let u(j) = -17. Let c(y) = 3*a(y) - 2*u(y). Let r be c(5). Sort 9, 5, r in ascending order.
r, 5, 9
Let q be (-1 - (-7)/(-2)) + (-19 - -23). Sort q, 0, -117, -2, -0.3 in descending order.
0, -0.3, q, -2, -117
Let j = 7 + -7.26. Let y = -0.02782 + 1.28782. Let u = y + j. Put u, -0.5, -1/3, -4 in descending order.
u, -1/3, -0.5, -4
Let z = -72 + 77. Let j = -22.014 - -0.014. Let o = j - -26. Put o, -0.2, z, -3 in increasing order.
-3, -0.2, o, z
Let z = -168848/145 - -5822/5. Sort 9/2, 3/7, z, 0.4 in decreasing order.
9/2, 3/7, 0.4, z
Let m be (-4102)/21*(-1)/(-4) - (-9)/(-54). Sort -1, 1, m in decreasing order.
1, -1, m
Let f = 24 + -24. Let x be (-2)/(-1) + f/2. Let y be (-18)/99 - (x/(-11) + 0). Sort -2, y, 3 in increasing order.
-2, y, 3
Suppose 3*x + 96 = 7*x + 4*g, -5*x = 2*g - 114. Suppose -x*r + 14*r + 40 = 0. Sort 11, -1, r, -4.
-4, -1, r, 11
Suppose -39*s - 134 = -5*s + 36. Suppose -4*z = 2*o + 8, o + 20 = -4*o + 3*z. Sort s, 2, o in ascending order.
s, o, 2
Suppose 2*x = 12 + 4. Suppose 0 = 21*s - 23*s. Suppose s*o - 40 = -x*o. Put o, 2, 3 in decreasing order.
o, 3, 2
Let h = -35/9 + 11/3. Let c = -1274 - -1121.1. Let p = 153 + c. Sort h, p, -13.
-13, h, p
Let n = 1.677 - -0.323. Let g = 0.36 + 0.04. Sort 5, n, 3/22, g in decreasing order.
5, n, g, 3/22
Suppose n - 4*o - 44 = 0, 5*n - 137 = o + 45. Suppose 2*h = 6*h - n. Let j = -13 - -8. Sort h, j, -1 in decreasing order.
h, -1, j
Let a = 46.36 - 43.6. Let v = a - 0.76. Put v, -6, -7 in increasing order.
-7, -6, v
Let f be 4/(-14) + (-5000)/(-105). Let w = f - 47. Let l = 1069 + -1068.8. Sort l, w, -1 in descending order.
w, l, -1
Let i = -3491 - -3496. Sort -1/4, 431, i in descending order.
431, i, -1/4
Suppose 2*i + 29 = 3*v, -82 = i + 1425*v - 1431*v. Suppose -3*o + 2*o = -3, 3*o = -3*m + 12. Put m, 1/2, i, -1 in decreasing order.
i, m, 1/2, -1
Suppose -3*o - 107 + 116 = 0. Suppose -27*p + 30*p = -12. Sort -5, o, p in decreasing order.
o, p, -5
Let h be (4/54)/(6/(-18)). Let l = 942 - 479. Let i = -465 + l. Put i, 0, h, -0.3 in increasing order.
i, -0.3, h, 0
Let l be (-1)/(4*1/4). Let r = -149 - -137. Let v(p) = -p**3 - 15*p**2 - 36*p - 3. Let s be v(r). Sort s, l, -8 in ascending order.
-8, s, l
Suppose 0 = -5*p - 15, 2*p + 6 = -2*c + 3*c. Suppose c = 5*a + 18 - 3. Let t = -755 - -759. Sort -2, t, 2, a in ascending order.
a, -2, 2, t
Let s = 36565 + -36564.9. Put s, 0.5, -18/5, 17 in increasing order.
-18/5, s, 0.5, 17
Suppose 24*l - 4 = 25*l, -l = 3*f + 13. Sort f, -10, -6, 1, 4 in decreasing order.
4, 1, f, -6, -10
Let f = 1/2378 + -10721/47560. Let d = f - 1/40. Suppose -2*j - 5*o + 45 = 0, 0 = -176*j + 179*j + 5*o - 50. Put 1/2, 2, j, d in increasing order.
d, 1/2, 2, j
Let d(j) = -j**3 + 79*j**2 + 81*j - 72. Let f be d(80). Sort 11, 2, f, 1.
1, 2, f, 11
Let j be (-14 - (-2463)/102) + -10. Put 0.5, 0, j in increasing order.
0, j, 0.5
Let o(i) = -5*i - 94. Let x(k) = 36*k + 660. Let m(f) = 15*o(f) + 2*x(f). Let g be m(-30). Put -6, g, 4, -2 in decreasing order.
4, g, -2, -6
Let q = 14 - 17. Let b(g) = 3*g + 118. Let s be b(-4). Let i = -105 + s. Put -2, q, i, -4 in decreasing order.
i, -2, q, -4
Let i = -80 + 85. Suppose 0 = -4*t + 3*m - 1, 4*t = 4*m - 5*m - 5. Put t, 4, i in ascending order.
t, 4, i
Let p be (156/(-15))/((-14)/(-1015)). Let x = 747 + p. Sort 1, 5, 4, x in increasing order.
x, 1, 4, 5
Suppose 6 = p, -5*t - 5*p - 4659 = -4704. Let q be -2*(-1 + 3/(-2)). Sort q, t, -25 in descending order.
q, t, -25
Let u = -155503 - -155501. Let g = -5 - -1. Sort -18, 0.5, u, g in increasing order.
-18, g, u, 0.5
Let x(u) = -u. Let p be x(-2). Let t(d) = d**2 - 13*d - 12. Let w be t(14). Suppose -4*z = 2*v - v - w, 4*v - z + 43 = 0. Put -1, 1, v, p in increasing order.
v, -1, 1, p
Let z be (-48)/(-16) - 17/(-1). Let y = 15 - z. Sort -16, -4, y, 3 in increasing order.
-16, y, -4, 3
Let x = -2161/4 - -6487/12. Sort -0.803, x, 4 in ascending order.
-0.803, x, 4
Let y be 1/3 + -21 + 20. Let q = -282 + 284. Put 1, q, y, -5 in descending order.
q, 1, y, -5
Let l = 0.067 - 3.96. Let u = l + -0.107. Sort u, -24, 2/5 in ascending order.
-24, u, 2/5
Let d = 1273.6 - 1143. Let y = -131 + d. Sort 1, y, -9, -0.1.
-9, y, -0.1, 1
Suppose -5*w - 2*l = -0*l + 4, -3*w - 4*l = 8. Suppose 8*z - 3*z = -75. Let v be 33/15 + 3/z. Put v, w, -3 in descending order.
v, w, -3
Let i = -92069 - -92074. Suppose 0 = -5*n + 6 + 4. Sort -4, 1, n, i in increasing order.
-4, 1, n, i
Let u = -1877 + 20645/11. Let a = 6 - 6.3. Let i = -39.25 + 39. Put i, u, a in descending order.
u, i, a
Let v(d) = d**3 + 9*d**2 + 8*d - 43. Let s be v(-7). Suppose 4*q - 1 = 3*q. Sort -2, s, q, 5 in ascending order.
-2, s, q, 5
Let f = 30497 - 30497. Let j = -5 - 0. Put f, -4, 5, j in increasing order.
j, -4, f, 5
Let b = -19597 + 19593. Sort b, 2, -698, -3 in ascending order.
-698, b, -3, 2
Let t = -2720 - -2719.7. Put -2, -15, t, -4 in ascending order.
-15, -4, -2, t
Let j = -458 - -1128. Let g = 669 - j. Put -4, g, -2, 24 in ascending order.
-4, -2, g, 24
Let q(b) = 12*b + 350. Let m be q(-29). Put m, 4, 42 in descending order.
42, 4, m
Let r = 402/5 - 80. Let h = 10/7 - 12/7. Put r, -0.2, h, 3 in decreasing order.
3, r, -0.2, h
Let l = -241 + 511. Let y = 809/3 - l. Sort 3/5, 27, y, 0.2 in descending order.
27, 3/5, 0.2, y
Let y = 20 + -99/5. Let t = -3.954 + -0.046. Let q = t - -4. Sort -0.3, 2, y, q in decreasing order.
2, y, q, -0.3
Let s be (-2)/(-14)*(2 + -1). Let a = -15673 + 15674. Suppose d = 5*x - 5, 4*x = -d + 2*d + 3. Sort a, s, x in increasing order.
s, a, x
Let t be 6/(-15)*5/1. Let q = 630 - 327. Let z = q - 297. Put t, z, 0 in increasing order.
t, 0, z
Suppose -46*p + 773 = 543. Sort -9, -104, p in decreasing order.
p, -9, -104
Suppose 3*t + 7 = -n + 14, -2*t + 4 = n. Let b be (-15)/16445*-3116 - t. Let i = 1/253 + b. Put -1, 4, i in increasing order.
-1, i, 4
Let b = -8983 - -8931. Put b, -206, 5 in decreasing order.
5, b, -206
Suppose -u = -2 - 21. Suppose -m - 28 = -y - 7, -y - m = -u. Suppose 0 = 5*d - 3*d - y. Sort d, 3, 1.
1, 3, d
Let k = 4763 - 4758. Put 2, -0.09, 12/11, k in increasing order.
-0.09, 12/11, 2, k
Let s(u) = -u**2 - 1. Let g be s(0). Let n(f) = f**2 - 12*f + 36. Let w be n(9). Suppose k - 16 = w*k. Sort k, 3, 1, g.
k, g, 1, 3
Let z(o) = o**2 - 14*o + 43. Let m be z(9). Let i be 2 + (-5)/10*m. Suppose -15 = -5*n + 2*n. Put -4, n, i, 0 in increasing order.
-4, 0, i, n
Suppose -4*r + 2*m - 1287 = 635, -5*m = -2*r - 941. Let y = -3867/8 - r. Put -4/7, -0.3, y in descending order.
-0.3, y, -4/7
Suppose -2*g + 2*a = 8, -g + a = 4*g + 20. Suppose -14 = 2*n - 5*z, 4*n - 7*n + 3*z = 12. Put n, g, -5, -3 in increasing order.
-5, g, -3, n
Let c be 18/(-40)*30/(-18). Let w = 20194/5 + -4039. Sort c, -3, w.
-3, w, c
Let s = 2.729 - 2.829. Sort -68, -2/9, s in decreasing order.
s, -2/9, -68
Let b = -12890 - -12895. Sort -31, 3, b, 4, 6 in ascending order.
-31, 3, 4, b, 6
Let a be 0 + (-285)/(-55) + 4/(-22). Suppose 21 = -3*r - z + 4*z, 14 = 2*r + a*z. Put -3/8, r, -4/13, -1 in descending order.
-4/13, -3/8, -1, r
Let i(f) = -f**3 + 18*f**2 + 43*f - 57. Let s be i(20). Suppose -5*n + 6*u = 5*u - 3, -s*n + 4*u - 5 = 0. Sort n, -1, -118 in ascending order.
-118, -1, n
Let p be -1 - 3 - (-8)/2. Suppose s + 9 = -2*s. Let w = p + s. Sort w, -2, -5 in decreasing order.