 Let b be j(15). Put -4, u, -1, b in descending order.
u, -1, -4, b
Let m be 0 - 3*4/51. Let y = -17124 + 873353/51. Let n = y + m. Sort n, -1, 0.4 in decreasing order.
0.4, n, -1
Suppose 5*x - 4*t + 32 = -13, -x = 5*t - 20. Let g = -573 + 572. Sort g, 3, x.
x, g, 3
Let k = -52 + 52.3. Put 5, 6.7, k, 1 in increasing order.
k, 1, 5, 6.7
Let z = 10 - 19. Let v = -9.2 - z. Let f = -28 - -28. Put 4, f, v in ascending order.
v, f, 4
Let h(n) = 3*n**3 + 2*n - 1. Let l be h(1). Let o(w) = 8 - 4*w**2 - 7*w - w**2 + 6*w**2. Let j be o(7). Sort -2, j, l in descending order.
j, l, -2
Suppose 3*d = -d + 120. Let j(u) = u**3 + 7*u**2 + 7*u + 15. Let s be j(-4). Let k = d - s. Put k, 1, 3 in descending order.
3, 1, k
Suppose 2 = -d - 5*j + 31, -5*d = -j - 15. Suppose 0 = -d*k + 4 + 4. Let h = -2 + -2. Sort -0.2, k, h in ascending order.
h, -0.2, k
Suppose 0 = 5*u + 4*i - 23, -5*i = -4*u - i + 4. Let s be 2 + (u + -1)*-1. Let x be ((-24)/(-20))/(3/5 + -1). Put s, x, -5 in decreasing order.
s, x, -5
Let p = 608.8 - 609. Put p, -1/6, -2/13, 7.5 in decreasing order.
7.5, -2/13, -1/6, p
Let a(o) = 8*o - 403. Let q be a(50). Put 3, q, -2, -59 in ascending order.
-59, q, -2, 3
Suppose -9*r + 128 = 7*r. Put 1, -5, -1/10, r in decreasing order.
r, 1, -1/10, -5
Let r(a) = 2*a**3 + a**2 - 1. Let d be r(1). Suppose -4*b - 56 = -5*b. Let w = 55 - b. Put d, w, -3 in descending order.
d, w, -3
Let u = -0.3 - -0.3. Let f = -28 + -7. Let d = -32 - f. Sort d, -0.4, u in ascending order.
-0.4, u, d
Suppose -k + 3*v = 3*k + 2, 6 = 2*k + 2*v. Let g be (-1 - k) + 32 + -1. Suppose 5*j + g = 3*y, -4*y = j - 2*y - 2. Put 3, -2, j in descending order.
3, -2, j
Let y be 3*1*(280/15)/14. Suppose 30 = 5*f + 5. Sort y, 22, f.
y, f, 22
Suppose 0 = a - 0*a - 5. Suppose -5*j + 5*x = 25, -4*x = -3*j - 0*x - 18. Put j, -4, a in descending order.
a, j, -4
Let q be (-50)/105*(24 + 33). Sort -1, q, 2/7 in descending order.
2/7, -1, q
Let l = 42.4 - 41. Let f = 1 - 2. Let m = l + f. Sort m, -0.3, -2/5 in decreasing order.
m, -0.3, -2/5
Let h be (-2)/(-5) + 204/15. Let c be (35/42)/(5/(-30)). Put h, -2, c in increasing order.
c, -2, h
Suppose 0 = -5*v + 135 + 30. Let p = v - 35. Sort -5, 5, p in ascending order.
-5, p, 5
Let w(y) = 54*y + 594. Let c be w(-11). Sort -12, -18, c in increasing order.
-18, -12, c
Suppose k = 3, -5*d - 3*k + 15 = -14. Let i(m) = -m + 3. Let o be i(0). Sort o, d, -7.
-7, o, d
Suppose -2*b = 2*h + 3 - 5, 4*h + 4 = 4*b. Let q = 2 + 0. Suppose 7*d = 5*d - q. Put -3, d, h in descending order.
h, d, -3
Let z be ((-7)/14)/(-2 + 14/8). Suppose 48 = 6*w - z*w. Sort -3, w, -2 in decreasing order.
w, -2, -3
Suppose 6*g - 5 = 13. Let y(k) = k**2 + 18*k + 5. Let i be y(-18). Sort -3/2, g, i.
-3/2, g, i
Suppose -2*b = 431 - 433. Sort -11/5, b, -1/7 in ascending order.
-11/5, -1/7, b
Let u be 12/(-10)*(0 - 40/(-6)). Put u, 4, 1 in decreasing order.
4, 1, u
Let u be ((-6)/8)/((-140)/(-112)). Let s = -26 + 232/9. Put -1/6, s, u, -0.3 in decreasing order.
-1/6, s, -0.3, u
Let u be (11 - 2)/3 - 266/98. Put u, -1.7, 0.2 in increasing order.
-1.7, 0.2, u
Suppose 3*r = -25*s + 26*s + 1190, -3*s = -5*r + 1986. Sort -4, r, -5.
-5, -4, r
Suppose -13 = -4*q - 3*c, -5*q - 6*c = -2*c - 17. Suppose 0 = b - 0*b - q. Suppose -b = -i - 7. Put i, 2, 4 in decreasing order.
4, 2, i
Let o be -1*(4 + 0) - -1. Suppose 3*q - 18 = -3*y, -19 = 5*q - 3*y - 41. Put q, 8, o in increasing order.
o, q, 8
Let o = -1.358 - -1.448. Put o, 1/20, 2 in ascending order.
1/20, o, 2
Suppose 0 = -5*u + 2*u - 39. Suppose 2*a + 10 = 3*a. Let g = u + a. Sort -5, g, -6 in increasing order.
-6, -5, g
Suppose -4*w = -6 - 6. Suppose w*t + 14 - 5 = 0. Put t, 0, 2, 4 in decreasing order.
4, 2, 0, t
Let v be -52*((-18)/(-4) + -4). Let q be (v/(-65))/(16/10). Sort -1, -4, q in increasing order.
-4, -1, q
Suppose 24 = 3*g + 15. Suppose g*y + 10 = 16. Suppose -y*m - m + 12 = 0. Sort m, 3, -1.
-1, 3, m
Suppose 10*n - 10 = -2*l + 14*n, 4*n = -4*l - 4. Put l, 5, -1, 16 in decreasing order.
16, 5, l, -1
Let r = -1219 + 1995. Put 5, 0, r in descending order.
r, 5, 0
Let j = -17.64 - -17.52. Sort j, -1, -2/5 in decreasing order.
j, -2/5, -1
Let r = 110 - 115. Suppose q - 1 = -3. Sort q, 0, r, 1 in decreasing order.
1, 0, q, r
Let f = -1676 - -1680. Sort f, 9, -6.
-6, f, 9
Let c(u) = 10*u - 558. Let h be c(33). Sort 1, -2, h in descending order.
1, -2, h
Let a be (-4)/(-6) + 5/(-21). Let d = -2.983 + 0.023. Let u = 0.04 - d. Put 1, u, a in descending order.
u, 1, a
Suppose 0 = 2*d + 3*d - 10. Let p = 152 + -148. Let y = 20 - 17. Put d, y, p in ascending order.
d, y, p
Let t be -1*(-3 - 0)/15. Let n = -13 + 16. Sort 0.27, n, t in ascending order.
t, 0.27, n
Let r = -36 - -38. Suppose -3*g = 4*x + 13, -1 = -r*x - 3. Put g, 7, 3 in decreasing order.
7, 3, g
Suppose -30*f + 20 = -10*f. Let c be (2 - 1)*4 - 0. Suppose -c*h = -0*h - 20. Sort f, h, -3 in descending order.
h, f, -3
Let h = -0.07 + -9.93. Let f = -66 - -78. Let w = h + f. Sort -1, w, 3 in decreasing order.
3, w, -1
Let s = 1257 + -1205. Sort s, 1/2, -2.
-2, 1/2, s
Let g = -56 + 55. Let z(v) = -v**3 - 21*v**2 - 18*v + 29. Let y be z(-20). Sort y, g, -3.
y, -3, g
Let m = -0.069 - 0.031. Let h be -2 + ((-4)/1)/1. Let n = 0.2 + 0.3. Sort h, m, n in decreasing order.
n, m, h
Let c = 294.2 + -294. Let u be 0 - 4*3/(-54). Sort c, u, -4, 5.
-4, c, u, 5
Let a = -3 + 4. Suppose 8*x - 12*x + 8 = 0. Let r(p) = p**3 + p + 2. Let w be r(x). Sort w, a, -3.
-3, a, w
Let j be (4/3 - -2)*(-13344)/400. Let t = j - -111. Sort t, 0.1, 4, -4 in increasing order.
-4, t, 0.1, 4
Let q = 1872 + -7485/4. Sort -0.3, 0, q, 120 in descending order.
120, q, 0, -0.3
Let n(x) = -x**2 - 14*x - 10. Let q be n(-13). Suppose 70 - 66 = 4*j. Put 0, q, j in ascending order.
0, j, q
Let h = 184 - 176. Sort 5, h, 2 in descending order.
h, 5, 2
Let r = -191 - -186.008. Let n = 0.008 - r. Sort 13, -3, n in increasing order.
-3, n, 13
Suppose 0 = -4*w - 5 - 3, a = 4*w + 9. Let g = -0.09 - -0.29. Sort -6, g, a in descending order.
a, g, -6
Let o(c) = c**2 + 56*c + 6. Let i be o(-56). Let k = -8 - -5. Let h = 3 + k. Sort i, h, 5 in increasing order.
h, 5, i
Let t be (-5 - -5)/11*(2 + -3). Sort t, -3, 2, -9.
-9, -3, t, 2
Let m(p) = -p**3 + 3*p**2 + 3*p. Let i be m(3). Suppose 105 = 21*z - 20*z. Let j = z - 104. Sort 4, i, j in decreasing order.
i, 4, j
Let n be ((-16)/6)/(22/3). Let y = 0.3 - -0.2. Put -5, n, -1, y in decreasing order.
y, n, -1, -5
Let z = 125/6 - 20. Let c = 80 - 78. Put -1/2, c, z in ascending order.
-1/2, z, c
Let a = -304 - -310. Put -1, 3, 2, a in ascending order.
-1, 2, 3, a
Let s = -113 + 114. Sort -1, s, 2/17, -21/2 in ascending order.
-21/2, -1, 2/17, s
Suppose 4*g = -920 + 336. Let r = 151 + g. Sort r, -5, 6 in ascending order.
-5, r, 6
Suppose 4*i = 4*q - q - 12, 0 = -4*q - 4*i + 44. Suppose -q*w + 24 = -2*w. Sort w, -5, -1 in descending order.
w, -1, -5
Let x = -44 - -8. Let c = x + 36.2. Sort c, 5, 0.5 in descending order.
5, 0.5, c
Let w = -3636 - -3634. Let z be (4/6)/((-2)/(-15)). Sort z, -6, w in decreasing order.
z, w, -6
Let u = 162541/8645 - 3/1729. Let a = u + -19. Let y(h) = -h**2 + 5*h + 7. Let f be y(7). Put -0.1, a, f in decreasing order.
-0.1, a, f
Let q(w) = -w**2 + 11*w - 17. Let t be q(7). Let x be (6/(-2))/(8 - t). Sort -2, -1, x, 2.
-2, -1, x, 2
Let s = 19.5 + -19. Let m = 2/223 + -464/2007. Let z = 182 - 181. Put z, m, s in increasing order.
m, s, z
Suppose -7 = -25*x + 32*x. Suppose 65 = 3*l + 56. Put l, 2, x, -2 in decreasing order.
l, 2, x, -2
Let j be (-2)/(-5) - (-4)/(-60)*6. Suppose 3 = -f - 2. Let l be (f*1)/(-1) - 0. Sort l, j, 2 in decreasing order.
l, 2, j
Suppose -2*v - 9 = 2*n - 43, 2*n - 2*v - 30 = 0. Suppose n*x - 30 = 6*x. Let o be 1*(1 - 0) - 0. Sort 0, o, x in ascending order.
0, o, x
Suppose 3*t = 4*n + 4*t - 18, -4*n - 5*t = -10. Sort 0, -2, n in increasing order.
-2, 0, n
Let j = 165 - 105. Sort j, -5, -2, -3.
-5, -3, -2, j
Let d be 6/10 + (-255)/300. Let y be (-1)/(-9) + 8/(-18). Sort -4, d, y in ascending order.
-4, y, d
Let z be 15/(-40) - 18/(-48). Put z, 3, 5, -60 in ascending order.
-60, z, 3, 5
Let l = 50.1 - 45.1. Suppose 0 = -0*f - 4*f - 8. Put 3, l, f in increasing order.
f, 3, l
Let l be (-180)/54 - (-8)/(-12). Sort 16, -5, l in increasing order.
-