5*n + 6 = 1. Put u, 0, n in decreasing order.
u, n, 0
Let v = 10.472 + -16.472. Sort -0.2, v, -2, 0.5, -6/47 in increasing order.
v, -2, -0.2, -6/47, 0.5
Let g(z) = z - 1. Let b be g(5). Let m be (1/3)/(-3*b/36). Let v(w) = 2*w - 6. Let i be v(4). Sort i, 1, m in descending order.
i, 1, m
Let j = 5180.5 + -5181. Let t = -1 - -0.6. Let g = t + 0.6. Sort j, 0.09, -2/3, g in descending order.
g, 0.09, j, -2/3
Let g = -6787/23975 + -9/3425. Let x = 0.009 + -0.969. Sort g, x, 4 in descending order.
4, g, x
Let c = -2747 + 2746. Put c, 5, -1.36 in ascending order.
-1.36, c, 5
Suppose -13 + 8 = 2*k + 3*s, -k + 17 = -5*s. Let f(h) = 2*h**3 - 5*h - 3. Let x be f(k). Put -4, 1, 27, x in ascending order.
-4, 1, x, 27
Let z = -0.04 + 0.44. Let t = -25488665/42 + 606943. Let n = -421/6 + t. Put n, z, 3 in descending order.
3, z, n
Let t(u) = -149*u + 1. Let g be t(0). Put 47, 6, g in increasing order.
g, 6, 47
Suppose 173*g + 599 + 508 = 415. Sort g, -1, -3, 5, 19 in ascending order.
g, -3, -1, 5, 19
Suppose 4*y = 5*x + 9, 21*x = -5*y + 24*x + 8. Let i = 1 + -2. Let a = -4 + i. Sort 3, y, a.
a, y, 3
Let n = -461 + 553. Let j = 54 + -51. Put n, 0, j in ascending order.
0, j, n
Let i be ((144/(-20))/(-12))/((-9)/25). Put 2, 1, 82, i, 4 in increasing order.
i, 1, 2, 4, 82
Let k(f) = 143*f**3 + 3*f**2 - 2. Let o be k(1). Put -4, 10, o in decreasing order.
o, 10, -4
Let b be (-15)/(-3) - (14 - 22). Suppose 10*c = -b + 33. Sort c, -5, 7 in descending order.
7, c, -5
Suppose -24*o - 10831 + 2983 = 0. Put 0.3, 3, 0.2, -3, o in decreasing order.
3, 0.3, 0.2, -3, o
Let m = 7152.9 + -7152. Sort -3/5, m, 0.25, 1/6 in ascending order.
-3/5, 1/6, 0.25, m
Let n = -3039 - -3038.92. Put -5, n, 0.07, 0.1 in ascending order.
-5, n, 0.07, 0.1
Let w = -5 - -3. Let k = 45887 - 46063. Put w, k, 3/4 in descending order.
3/4, w, k
Let r be -16 + 0 - (-20500)/1230. Put 3/2, 3/5, -2/11, r in decreasing order.
3/2, r, 3/5, -2/11
Let p(q) = -q**3 - 34*q**2 - 278*q - 7. Let g be p(-20). Sort 3, 1, g, -13 in increasing order.
g, -13, 1, 3
Let v = 8 + -23. Let g be 20/(-25) - (118/(-5))/2. Let k be g/44 + (-9)/(-12). Put v, 5, k in decreasing order.
5, k, v
Let l = -4062 + 4059. Put 1, -9, l, 13 in decreasing order.
13, 1, l, -9
Suppose y - 12*z + 24 = -8*z, 95 = -5*y - 5*z. Let j be 40/48*8/y. Put -4, j, 2, 0.07 in increasing order.
-4, j, 0.07, 2
Suppose 5 = -3*g - 4. Let b(f) = -f**2 - 18*f - 1. Let l(r) = -r**2 - 38*r - 2. Let c(d) = -9*b(d) + 4*l(d). Let x be c(-2). Sort g, x, -4.
-4, g, x
Let q = 13609 - 13550. Sort -4, q, 1, 4, -2.
-4, -2, 1, 4, q
Let r = 5.0349 + -0.0349. Let j = 22.2 + -73.2. Sort j, r, 0 in ascending order.
j, 0, r
Suppose 6 = -t - 1. Let m = 7883 - 7886. Put t, m, -13 in decreasing order.
m, t, -13
Let g = -4 + 2. Let q = 657 + -575.3. Let x = q - 82. Sort x, -2/7, g in decreasing order.
-2/7, x, g
Suppose 2*g = -g - 6, 0 = 5*f - 4*g - 133. Let h = f - 121/5. Let u = 204 - 1431/7. Sort u, h, -31.
-31, u, h
Let b = -91.85 + 1.85. Let c = b + 91. Put c, -3/47, -5 in descending order.
c, -3/47, -5
Let d = -31.9 + 32.4. Put d, -2/193, 3, -5 in increasing order.
-5, -2/193, d, 3
Let f = -14.1 + -2.2. Let r = f - -16.6. Put 4, 2, r, -2/5 in increasing order.
-2/5, r, 2, 4
Suppose -21 = 3*u - 9. Let h = 895 - 891. Sort u, 0, 3, h in ascending order.
u, 0, 3, h
Suppose -19*j = -61*j - 3024. Let f be j/21 + 4 + 201/(-21). Suppose -u = 2*u - 9. Put u, f, -3 in descending order.
u, -3, f
Suppose 13 - 3 = 2*j. Suppose 0 = -j*x + 3*x. Suppose 0 = 142*q - 148*q - 30. Sort 2, q, x, 1 in descending order.
2, 1, x, q
Let q(l) be the third derivative of -25*l**4/12 - 49*l**3/6 + 48*l**2. Let y be q(-1). Sort -4, y, 2, 9 in ascending order.
-4, y, 2, 9
Suppose 2*w = 4*n + 2, 0 = -2*n + 2*w + 3*w - 21. Let h be 4/(-14) - 276/161. Let v be 7/h*((-30)/21 + n). Sort v, 14, -5.
-5, v, 14
Let r(i) = -i**3 - i**2 - i + 5. Let n be 0/((-3)/(3 + -6)). Let t be r(n). Suppose 0 = 5*l - 4*x + 9, -5*l + 2*x - 3 = -4*l. Sort t, l, 9 in descending order.
9, t, l
Let w = 0.05886 - -0.24114. Sort 8/9, -2, 0.1, 3/2, w in descending order.
3/2, 8/9, w, 0.1, -2
Let q = 3.889 + -4.362. Put q, 3/5, -0.1 in decreasing order.
3/5, -0.1, q
Let q be 3*(-1 + 16/12). Suppose -374*y - q = -375*y. Put 28, 0, y in ascending order.
0, y, 28
Suppose 0 = 3*h - 37 + 34. Let w = -3154 + 3156. Sort w, -1, h, -4 in increasing order.
-4, -1, h, w
Let d be -2 - (-1*(-990)/(-520) - (-8)/52). Put 5, d, 0.1, -4 in increasing order.
-4, d, 0.1, 5
Let d be (-20)/(-2340)*57 + 2/(-13). Sort 0.2, -2.5, 2/9, d in descending order.
d, 2/9, 0.2, -2.5
Let r = -70 + 97. Let y = r + -27.02. Let t = -0.1 - 0.2. Put t, y, 1 in ascending order.
t, y, 1
Let z(p) = -p**2 + 10*p - 27. Let r be z(7). Let t(l) = 10*l + 58. Let x be t(r). Suppose a - 4 = -0*a. Sort a, -3, 1, x in decreasing order.
a, 1, x, -3
Let c = -6339 - -6334. Put c, -3, 16, 19/2, -1 in descending order.
16, 19/2, -1, -3, c
Suppose 541 = 5*d + 531. Put -3, d, -2 in descending order.
d, -2, -3
Let i = 103715 + -103720. Let a be (-2)/7 - (-34)/168. Suppose y + 1 = 2. Sort i, y, -1/3, a.
i, -1/3, a, y
Let w(j) = j**3 + 7*j**2 + 6*j + 6. Let q(a) = -a + 2. Let h be q(8). Let y be w(h). Suppose -289 = 85*v - 119 + 170. Put y, v, 4 in descending order.
y, 4, v
Let h(v) = 2*v - 7*v + 3*v - 55. Let o(i) = -i - 18. Let r(s) = 2*h(s) - 7*o(s). Let b be r(-6). Sort b, 4, 2, 2/19 in ascending order.
b, 2/19, 2, 4
Let f = 367/28 + -57/4. Let r = -9.88 - -14.88. Put f, r, 0.1, -2/13 in decreasing order.
r, 0.1, -2/13, f
Suppose -72*w + 4522 - 4882 = 0. Let r = 0.3 - 0.4. Put w, r, -6 in ascending order.
-6, w, r
Suppose j = -3*k - 10, -k + 4*j = 12 - 26. Sort k, -3, 2, 1, 20.
-3, k, 1, 2, 20
Let q = -0.6 + 3.5. Let g = q - 3. Let w be 3/(-8) - 4/((-576)/(-2250)). Put g, 1/4, w, 3 in ascending order.
w, g, 1/4, 3
Suppose 198*x + 207*x = 405. Sort 764, 5, -3, x in descending order.
764, 5, x, -3
Let g = 1.357 + -0.857. Sort -265, g, -0.3, 0 in descending order.
g, 0, -0.3, -265
Let q(c) = c**3 - 9*c**2 + 17*c - 3. Let r be q(7). Let y be r + (9/6)/3*0. Suppose 5*k - 4*j = 0, 25 = -6*j + j. Put 4, y, k in increasing order.
k, 4, y
Let i = 322027.94 - 324826. Let b = -2845 - i. Let f = 47 + b. Sort 2/3, 2, 0.1, f in decreasing order.
2, 2/3, 0.1, f
Let q be (-2073)/4142 + 17/(-442)*-13. Sort 0.5, -4, q in descending order.
0.5, q, -4
Let i = 1628 + -1673.55. Let w = i + -0.45. Let x = w + 42. Sort 2/27, x, -5.
-5, x, 2/27
Let k = 5 - 5.3. Let r = 30 + -26. Suppose 3*j = 3*a - 21, r*a = 5*j + 33 - 3. Sort k, -1, a in increasing order.
-1, k, a
Let y(l) = -2*l**2 - 8*l - 3. Let p be y(-4). Let u be (1 - 3) + 3 + -13. Let s = u + 14. Sort s, p, -4, 0.
-4, p, 0, s
Let o(m) = 11*m + 1432. Let u be o(-130). Suppose 3 - 1 = 2*x. Sort 4, 24, u, x in descending order.
24, 4, u, x
Let a = 58.81 - 56.4. Let k = -2.91 + a. Let p = 0.7 + -0.6. Sort p, -6, -1/8, k in descending order.
p, -1/8, k, -6
Let i = 0.81 + -0.51. Let g = 0.65 - 0.03. Let a = -1.62 + g. Sort i, a, -68 in decreasing order.
i, a, -68
Let r = -495 + 474.1. Let p = r - -20.5. Put p, -0.5, 0.4, 8 in increasing order.
-0.5, p, 0.4, 8
Let h(r) = -6*r + 126. Let t be h(21). Sort -4, -555, t, -1 in descending order.
t, -1, -4, -555
Let q(g) = -32*g + 92. Let d be q(3). Let j = -0.1 + 0.04. Let r = j + 0.06. Sort r, 5, -0.3, d in ascending order.
d, -0.3, r, 5
Let b be (93/(-9) - -2)/(-27 + 22). Put 3699, b, -2 in increasing order.
-2, b, 3699
Suppose g + a = 33, -5*a = -3*g - 0*g + 115. Let x = g + -32. Suppose -8*t = -5*t - x. Put 5, 3, t in ascending order.
t, 3, 5
Let z be 5/4*-4*1. Suppose -31*s - 237 = -3*r - 26*s, -529 = -5*r - 14*s. Sort z, r, 5, 2 in increasing order.
z, 2, 5, r
Suppose 3*s - 2479*q + 2484*q = -7, 5*q + 15 = 5*s. Put s, -5, -351, -1 in decreasing order.
s, -1, -5, -351
Suppose -8*u + 10*u - 4 = 0. Let q be (3 + 0 + -1)*1/u. Sort q, -2, -5 in ascending order.
-5, -2, q
Let l(y) = 2255*y + 9023. Let b be l(-4). Put b, 166, 27 in descending order.
166, 27, b
Let t be 2608/(-13040)*(1 - 1 - (-10)/4). Sort 1, 5, 0.4, t, -10 in decreasing order.
5, 1, 0.4, t, -10
Let u be 156/8*2/3. Let a = u + -15. Suppose -2*z = -2*n - 4, 2*n + 3 + 3 = z. Put n, 0, a in descending order.
0, a, n
Let x = 1001 + -997. Suppose 12