56. Let v be (6/t)/(-2)*2. Sort 12, v, 2/5 in ascending order.
v, 2/5, 12
Let l = -60 + 89. Suppose 3*f - 1 = -b, -4*b - l = b - 2*f. Let t be b/(-12) - (-4 + 17/4). Sort 0, t, -3, -5 in decreasing order.
t, 0, -3, -5
Let b(p) = -p**3 - 41*p**2 - 60*p - 808. Let c be b(-40). Sort 1, c, -0.1, -0.4, 3/7.
c, -0.4, -0.1, 3/7, 1
Let o(d) = -31 + 4*d**2 - d**3 + 2*d + 35 - 2*d**2. Let p be o(4). Let m be p/(-7)*49/14. Sort m, -4, 1, 4 in increasing order.
-4, 1, 4, m
Let k = -842 + 839. Let f = 276 - 1109/4. Sort f, k, -2/89 in increasing order.
k, f, -2/89
Let z = -0.0057 - 24.6943. Let l = 5.3 - z. Let w = l - 27. Put -1, 4, w in descending order.
4, w, -1
Let s be (3 + -3 - (-15)/(-6))*(-308)/55. Put -0.3, s, 39, 0.3 in descending order.
39, s, 0.3, -0.3
Let z = -6 + 5.5. Let y be (-25*2/18 + -6)*1 + 9. Put z, y, 1, 3 in ascending order.
z, y, 1, 3
Let p be ((-14)/2)/((2 - 3)*1). Suppose -5*m - 3*h = 9, p = 3*m - 3*h - 2. Sort 3, m, 4, 31 in descending order.
31, 4, 3, m
Suppose -h - 2*r - 28 = 0, -4*r = -h + 2 - 0. Let s(a) = -a**2 - 14*a + 5. Let p be s(-4). Let y be (-4)/h - 10/p. Put 1/4, y, -0.11 in increasing order.
-0.11, y, 1/4
Let a = -107.78 - -107. Let m = 0.98 + a. Let y = 73.3 + -73. Sort m, y, -1, -2 in decreasing order.
y, m, -1, -2
Let x = 8803.6 - 8804. Put 1/15, 1/7, x, 3 in descending order.
3, 1/7, 1/15, x
Let v = -800.79 - -800. Put v, 3, 1 in descending order.
3, 1, v
Let w = -18.455 + 18.418. Sort w, 5, 13/3 in increasing order.
w, 13/3, 5
Let n = -68283/5 - -13656. Put -2, 10, 0.5, n in decreasing order.
10, 0.5, n, -2
Let o be (-35)/20 - (-43)/(-3956)*115. Suppose 0 = i + 4*g - 4, 5 = -i - 2*g + 9. Sort 2, -5, i, o.
-5, o, 2, i
Suppose -117 = 3*v - 0*v + 3*z, 72 = -2*v - 5*z. Suppose -208 = 10*b + 42*b. Put 2, v, b in descending order.
2, b, v
Let n(m) = 332*m - m**2 - 5 - 349*m - 20. Let g be n(-15). Suppose 35 - 71 = -4*p. Sort -3, g, p in decreasing order.
p, g, -3
Let l be ((-1129)/(-2))/((-875)/500) - 20/(-35). Sort 2, -3, 5, l in decreasing order.
5, 2, -3, l
Let r be 3 + 1*((-3 - -5) + -4). Suppose -16*k = -8 + 56. Sort r, 7, k.
k, r, 7
Let d = 7741 - 7736. Let q = -5.04 - -5. Let l = q + -1.96. Sort l, -1/3, 0, d.
l, -1/3, 0, d
Let o = 19.09 + -47.09. Sort o, -4, -1/13, -0.2 in descending order.
-1/13, -0.2, -4, o
Let o be (7 - (-10 + 36)) + -10. Sort 4, o, -2, -1 in decreasing order.
4, -1, -2, o
Suppose 0 = 5*j, 8 = -210*k + 206*k - 4*j. Sort -1, -2803, 2, k in decreasing order.
2, -1, k, -2803
Let f = 1213 - 1214. Sort -3, f, 12, 29 in increasing order.
-3, f, 12, 29
Let x = 1765.05 - 1765. Put x, -3/5, 4/15 in ascending order.
-3/5, x, 4/15
Suppose -c + 0 = 1. Suppose 4*a + 3*q - 138 = 7, 2*q = a - 50. Suppose 0 = -5*v + 30 - a. Sort 2, c, v in decreasing order.
2, c, v
Let f = -167455 + 167478. Let p = -8 - -5. Sort p, -2, f, -4.
-4, p, -2, f
Let y(j) = -2*j**3 + 25*j**2 + j + 161. Let t be y(13). Sort -5, t, 254 in decreasing order.
254, t, -5
Let i be (-4 - (-18)/8)*-4. Let k be 8/(i/2 + -3). Let o = 477 - 479. Sort k, 1, o.
o, 1, k
Suppose 4*p = 8, 81*p - 79*p = -5*a - 1581. Sort a, -5, -2.
a, -5, -2
Suppose 16 = y + 3*y. Let d(f) = 2*f**3 + 4*f**2 + 3*f + 20. Let s be d(-3). Let r = -6 + 9. Sort r, s, y in descending order.
y, r, s
Let h be -1 + 4 - (1 - (2 + -10)). Let y be (-70)/6 - h/9. Let r be 25/(-35)*(-4)/10. Put r, y, -2/3 in descending order.
r, -2/3, y
Suppose 0*h = -0*h + 6*h. Sort -0.5, -1.4, -5, h in increasing order.
-5, -1.4, -0.5, h
Suppose 6*o - 3*o + 3*u - 36 = 0, -3*o + 2*u = -31. Suppose -19 - 14 = o*i. Sort -11, 2, i, -2 in descending order.
2, -2, i, -11
Let h = 0.3412 - 0.8412. Let m = 0.091 - -1.909. Put -2/9, m, h in ascending order.
h, -2/9, m
Let w be (2/(-5) - (-468)/(-30))*(-289)/1156. Let h = -0.162 - 70.838. Put 3/4, w, h in descending order.
w, 3/4, h
Let j = 5/9 - -2/45. Let v = -0.448 + -248.552. Let q = v + 253. Sort q, -1, j.
-1, j, q
Let i(z) = -z - 16. Let s be i(-15). Put s, 5, -4, 1, 4 in increasing order.
-4, s, 1, 4, 5
Let x(l) = -2*l**3 - 54*l**2 + 29*l + 782. Let j be x(-27). Sort 143, 4, 5, -5, j in increasing order.
-5, j, 4, 5, 143
Let k(r) = -13*r**3 - 4*r**2 + 3*r + 1. Let q be k(1). Let l(n) = 3*n + 38. Let u be l(q). Put 6, -4, 2, u in decreasing order.
6, 2, u, -4
Let k be 4/(-6) + -5 + 64/24. Suppose u - 12 = -2*r, 7*r - 15 = 5*u + 2*r. Suppose 4*d + d = -3*s + u, 0 = 3*d + 3*s. Put k, 3, -1, d in decreasing order.
3, d, -1, k
Suppose 0 - 24 = -3*q. Suppose 2*i = -5*u - 25, 2*u + q + 2 = 5*i. Sort -12, u, 1 in ascending order.
-12, u, 1
Suppose 2*s + 13 = -2*x - 15, -5*x - 66 = 3*s. Let w be ((-6)/4)/(x/(-16)). Put 5, -0.1, w in increasing order.
w, -0.1, 5
Suppose 168*g - 553 = -148 + 267. Sort g, 9, -68 in ascending order.
-68, g, 9
Suppose 4*k = 2*b - 20, 74*b = 78*b - 2*k + 2. Sort b, 8, -3, 4, 3.
b, -3, 3, 4, 8
Let v = -2533.6 + 2793. Let d = v - 259. Put -0.4, -2, d, -1/6 in increasing order.
-2, -0.4, -1/6, d
Let w = 220 + -218. Suppose 4*k = 2*a, -k - w*k - 13 = 5*a. Sort k, -2, 6, 0 in increasing order.
-2, k, 0, 6
Let t be 0*(48/10 + -5). Suppose t = -24*z + 39 + 33. Suppose 0 = 4*i + 20. Sort i, z, 0.4, 2/9.
i, 2/9, 0.4, z
Let p = -14827/19780 - 2/4945. Sort -2, 2/77, p, 2/17, 1 in decreasing order.
1, 2/17, 2/77, p, -2
Let a(y) = y - 20. Suppose 4*w = -2 + 38. Let n be a(w). Let v be (-10)/75 - 188/(-60) - -1. Sort v, 0, n in increasing order.
n, 0, v
Let q = -341.16 + 338.7. Sort -1, -0.4, q in ascending order.
q, -1, -0.4
Let h = -11449 + 11449.3. Sort 2/7, 5, h, 299, -3 in decreasing order.
299, 5, h, 2/7, -3
Let v be 4/3 - 13/3. Let d be (16/6)/((-2)/6). Let r be 128/(-28) + 100/175. Put 0, r, d, v in increasing order.
d, r, v, 0
Suppose 18 = -3*s, -g - 64*s + 66*s + 17 = 0. Suppose -p + 13 = 4*d, -p + 4*d = -0*p + 11. Put g, p, -8, 2 in decreasing order.
g, 2, p, -8
Let o = 655 - 171. Put o, 0, 2 in ascending order.
0, 2, o
Suppose 0 = -c - 2*i + 8, 0 = 5*c - 36*i + 37*i + 5. Sort c, -49, 4, -35 in ascending order.
-49, -35, c, 4
Suppose 0 = -8*w + 9*w - 6. Let l be (w/15)/((-8)/(-5)). Put l, 0.4, 68 in ascending order.
l, 0.4, 68
Suppose -4*v + 4*k = 24, 412*v - 414*v - 5*k = -2. Let q(f) = -f**3 - 4*f**2 + 4*f - 2. Let n be q(-5). Put v, n, 4, 0 in increasing order.
v, 0, n, 4
Let t(d) = -36*d - 71. Let m be t(-2). Sort m, 32, -4, 5, 0 in decreasing order.
32, 5, m, 0, -4
Suppose 10*m - 14*m - 5*v + 24 = 0, -2*m + v = 16. Let i = -4 - -3. Sort m, 57, 2, i in decreasing order.
57, 2, i, m
Suppose -2*n + h - 7 = 0, -4*h = 4*n + 8 - 24. Suppose -66 = -2*l - l. Sort l, 3, n in descending order.
l, 3, n
Let l(k) = 6*k + 14. Let b be l(7). Suppose 0 = n - 4*o - 13 - 7, 0 = 4*n - 4*o - b. Put 3, n, 4 in descending order.
n, 4, 3
Let a = -282438/11 + 25676. Sort 9, 93, 5, a.
a, 5, 9, 93
Let l be -257 + 261 - (-1 + -54). Sort 4, l, -7.
-7, 4, l
Let h = 18.3901 + -17.9901. Suppose -6*c + 38 = -3*p - 4*c, -2*p + 5*c - 18 = 0. Let b be ((-4)/p)/((-9)/(-7)). Sort b, -0.4, 4, h in decreasing order.
4, h, b, -0.4
Let r = -639 + 646. Suppose 9*z - 96 = z. Sort -3, z, r in increasing order.
-3, r, z
Let y = -3/124 + -51/1736. Let p = y + -11/840. Let m = p + 2/15. Sort 0.1, m, 3 in ascending order.
m, 0.1, 3
Suppose 0*b - 2 = 2*b. Let a = 571 - 554. Suppose -a = -18*l + 1. Sort 9, 5, b, l.
b, l, 5, 9
Let g = -0.235 + 160.235. Let v = g - 162. Sort -2/3, -41, v in descending order.
-2/3, v, -41
Suppose 4*a - 194 + 26 = 0. Suppose -h + 10 = 5*p, 4*p - 7*p + 6 = -h. Sort p, a, -4 in decreasing order.
a, p, -4
Let q = 199 + -128. Let v = 70.94 - q. Let h = 1.06 + v. Sort 2, h, -1 in ascending order.
-1, h, 2
Suppose -21*w - 99 = -24*w. Let z be -15*(-4)/w + (-4)/(-22). Put z, 5, -4 in increasing order.
-4, z, 5
Let s(l) = -4*l - 38. Let z be s(-13). Let j be (-24)/(-56)*z/2. Put -2, j, 1 in ascending order.
-2, 1, j
Suppose -11*x + 30 = -5*x. Let d(t) = -t**2 + 12*t + 7. Let f be d(13). Let b be ((-9)/(-6))/(f*(-2)/(-16)). Sort 1, b, x.
b, 1, x
Let l be ((-5)/8)/((5/8)/(-5)). Suppose -r = l*n - 15, 39*n + 4*r + 12 = 37*n. Put 5, n, -5, -4 in ascending order.
-5, -4, n, 5
Let n be -1 + 4 - (-2 - -8). Suppose 2*h = 2*z + 34, -1265 + 1235 = -5*z. Put h, -9, n in increasing order.
-9, n, h
Let n = 12399 - 12404. Put -0.115, 0.1, n, -3/7, 0.5 in ascending