z, -3, 4
Let z = 2 + 3. Suppose -3*y + 12 = l, -2*l - 8 = -5*l + 5*y. Sort 7, 4, z, l in decreasing order.
7, l, z, 4
Let d(x) = x**3 - 10*x**2 + 41*x - 572. Let n be d(11). Suppose 7 = 5*w + 22. Sort n, w, 5, -1 in descending order.
5, n, -1, w
Let f(b) = -b**3 - 20*b**2 - 44*b - 19. Let d be f(-2). Sort -2, 5, 4, d in decreasing order.
5, 4, -2, d
Let r = -3/557662 - -3436452697/6970775. Let g = -493 + r. Sort -1/2, g, -5/4 in decreasing order.
g, -1/2, -5/4
Let c(y) = -y**3 + 5*y + 1. Let u be c(2). Suppose 3*d = g - 18, 6*g - u*d = 3*g + 42. Sort 3, 5, g in descending order.
g, 5, 3
Suppose 985*b - 20574 = -14*b + 1404. Let l be (6 + 0)*(-4)/(-8). Put l, b, -4 in decreasing order.
b, l, -4
Let z(w) = -92*w - 1008. Let p be z(-11). Suppose -5*q + 15 = 5*j, j - 4*q + 1 = -q. Sort 21, p, j, -7 in decreasing order.
21, p, j, -7
Suppose -119*m - 150 = -124*m. Suppose 0 = 18*f - m - 42. Put 1, f, -4 in ascending order.
-4, 1, f
Suppose -12 = 18*k - 17*k - 2*v, -7*k - 3*v = -1. Sort 9, -106, k, 4 in ascending order.
-106, k, 4, 9
Let j be 3/4 - (-4 - 55/(-20)). Suppose j*k + 0 - 8 = 4*g, -4*g - 32 = -4*k. Let v be (-3)/1 + -2*k/(-9). Put -0.2, v, 2/9 in ascending order.
v, -0.2, 2/9
Let b(m) = 5 - m**3 - 27 + 13*m**2 + 10 - 2 - 20*m. Let z be b(11). Sort 1, 4, z.
1, 4, z
Let f = 2 + -2.1. Let t = 0.02 + 0.28. Let i = -51/241 + 1219/1205. Put i, f, t, 2 in decreasing order.
2, i, t, f
Let i(t) = 42*t + 4 - 5 - 43*t. Let c(l) = -2*l + 10. Let v(r) = c(r) - 3*i(r). Let a be v(-6). Put -5, -3, a in increasing order.
-5, -3, a
Suppose j - 5*b = -5, 5*j + 29 = -3*b + 32. Let d be 5 + j + (-68 - -60). Sort 0.1, 1/3, -4, d.
-4, d, 0.1, 1/3
Let y be (-4)/(-6)*(-117)/260*-5. Sort 3, y, 17.
y, 3, 17
Let n be (0 - (-6)/4)*21988/(-138). Let c = -251 - n. Sort c, -4, 5 in ascending order.
c, -4, 5
Suppose 4*k - 2178 + 426 = 0. Let n be 5 + (k/(-54) - -3). Put n, 1/3, -5, 5 in ascending order.
-5, n, 1/3, 5
Suppose -2*q + 0*q - 14 = -4*m, 0 = -q - 5*m - 14. Let g = 228 + -223. Suppose g + 43 = -24*r. Put r, q, 3 in increasing order.
q, r, 3
Let j = 7.3 + -3.75. Let u = -5.05 + j. Sort -4, u, 0.6.
-4, u, 0.6
Let j = 2.079 - -0.431. Let m = j + -2.31. Put 4, m, -17, -0.3 in increasing order.
-17, -0.3, m, 4
Let d(f) = -39*f + 57 + 9*f**2 + 24 - 10*f**2. Let b be d(-41). Suppose m - 9 = -2*l + 5, -21 = -3*l + 3*m. Sort l, b, 5, -2.
-2, b, 5, l
Let o = -115 + 120. Suppose -4*a + 12 = 64. Let x = 9 + a. Put x, 3, o in ascending order.
x, 3, o
Suppose -5*j + k = 13, -44 = 43*j - 39*j + 4*k. Put 1, 8, -2, -1, j in decreasing order.
8, 1, -1, -2, j
Let q = -5 - -8. Let b be (-4)/(-24)*-10*234/(-195). Suppose q*i + 3 = b*i. Sort i, -4, 30 in ascending order.
-4, i, 30
Let h be (7 + -16 + 9)*1/2. Put -1, 4, 63, h, 2 in ascending order.
-1, h, 2, 4, 63
Let f(l) = -4*l**2 - 71*l - 69. Let g be f(-1). Sort g, 4, 179, 0 in ascending order.
g, 0, 4, 179
Let l be 2 - 0 - (0 + -2). Let g = -1 + l. Let s = 65044 - 65040. Put 2, g, s in increasing order.
2, g, s
Let a be (-4)/(-1)*(-4 - -1 - -4). Suppose -6*t = -2*t + 24. Sort a, 0, t, -1 in decreasing order.
a, 0, -1, t
Suppose -5*o = -5*v + 285, 33*v = 28*v + o + 305. Let m be (-53)/5 + v/(-155). Put 4, 10, m in decreasing order.
10, 4, m
Suppose -458 + 38 = -6*n. Suppose 0 = 3*k - n + 163. Let j be (-33)/11 + (k/(-11))/1. Sort j, 2/11, -4, 5.
-4, j, 2/11, 5
Let i = 0.1 + 2.9. Let l = 161.2 - 163. Let o = 1.6 + l. Put 5, i, o, -5 in decreasing order.
5, i, o, -5
Let n = 38 + -70. Let v be -36 + -4 + 26 + 14. Put 4, n, v in descending order.
4, v, n
Let j be (1 - 0)/(9 + (-176)/20). Suppose -j*m = 6*m. Sort 5, m, -12 in increasing order.
-12, m, 5
Suppose 4*z - 20 = u + 2*z, z - 55 = 5*u. Let s be ((-48)/u - 2) + 69/345. Let w be 5/((-5)/4)*1. Put 1, s, w in increasing order.
w, 1, s
Let d be (646 + -646)*(-3)/(-6)*1. Let t = -0.15 - 31.85. Put 3, t, d in descending order.
3, d, t
Let a = 245.4 - 213. Let x = -32.5 + a. Sort -2/3, -5, x in increasing order.
-5, -2/3, x
Let g be (-4 - 22/(-18)) + (-4)/18. Let c be ((-10)/35)/((-6)/21). Let l be c*(-1)/(-3)*15. Sort l, g, 1 in descending order.
l, 1, g
Let f = -11066 + 11081. Put -4, 3, -1, f in ascending order.
-4, -1, 3, f
Let i(p) = 2*p**2 + 24*p - 108. Let y be i(9). Let r = y + -267. Let b be ((-2)/(-8))/(1/4). Sort r, 4, b.
b, r, 4
Suppose -15*i - 39 = -144. Sort -5, -10, i, -4, 5 in ascending order.
-10, -5, -4, 5, i
Let v(g) = 2. Let n(s) = 3*s - 46. Let m(t) = n(t) - 3*v(t). Let i be m(16). Put i, 22, -3 in descending order.
22, -3, i
Let z be (-3 + (-105)/(-25))*(-800)/(-15). Suppose z*k = 61*k - 9. Sort -11, -2, k.
-11, k, -2
Let f = 2141 - 2026. Sort 5, f, 3 in ascending order.
3, 5, f
Let h be -33 + 35 + 36/(-16). Put h, 16/5, -0.2 in ascending order.
h, -0.2, 16/5
Suppose -6 = -19*p - 82. Sort p, 139, 0, -3.
p, -3, 0, 139
Suppose 3*p + 15 = m - 4, -32 = 4*p - 3*m. Let d = 7 + 6. Let i = -13 + d. Put i, -0.4, p in descending order.
i, -0.4, p
Let f(i) = -2*i**3 + 11*i**2 - 6*i. Let r be f(5). Let x be (45/12)/(r/20). Let j be 182/x - (-24)/180. Put j, -1, 5 in ascending order.
j, -1, 5
Suppose 160*s = 125*s - 210. Let z be 1 - -3 - (-494)/(-114). Sort -0.12, s, z.
s, z, -0.12
Let h = -39.1 + 73.9. Let c = h - 34. Let u = c + -0.7. Sort -3, 0.4, u in descending order.
0.4, u, -3
Let f be 0*(-4)/(4 + 0). Let v(k) = 2*k. Let t be v(2). Let p = 542 - 546. Put t, f, p, -0.5 in descending order.
t, f, -0.5, p
Let s(q) = q**2 - 900*q + 5359. Let b be s(6). Sort -1/4, -2.16, b, 1/4 in decreasing order.
1/4, -1/4, -2.16, b
Let o = 626/5 - 4231/30. Let h = -97/6 - o. Let n = 1/9 - 14/45. Sort -1, h, 3, n in increasing order.
-1, h, n, 3
Let b = -411 + 406.544. Let d = 0.495 - b. Let u = -0.049 - d. Put u, -1/3, -0.5, -2 in ascending order.
u, -2, -0.5, -1/3
Let g(i) = -47*i**2 + 30 + 30 + 51*i**2 - 138*i. Let w be g(34). Sort w, -1, 0, -25 in ascending order.
-25, w, -1, 0
Let r = 4 + -4. Suppose 3*c - 52 - 36 + 118 = 0. Put c, 2, r in decreasing order.
2, r, c
Let b be (2/(-6)*0)/(-1). Suppose b = p - 3, 3*t - 4*p = -0*p. Sort 0, 86, t, -1 in descending order.
86, t, 0, -1
Let r = -923/7 + 132. Sort -0.1, r, -3/4, 0.1 in decreasing order.
r, 0.1, -0.1, -3/4
Let c = 2 - 3. Suppose 5*n - 4 = 6*n. Let w(b) = -b**3 - 10*b**2 - 28*b - 10. Let q be w(n). Put 2, q, c in decreasing order.
q, 2, c
Let j(d) = -2*d**2 - 72*d - 395. Let g be j(-30). Let k = -42/515 - -161573/4635. Let m = k + g. Sort m, -2, 14 in descending order.
14, m, -2
Suppose 1 = -m + 2*m - 2*g, 0 = 2*m + g + 13. Let i = -130695 + 130694.94. Sort m, 1/7, i in descending order.
1/7, i, m
Let k = -5474 + 5469. Put 1, k, 5, -13 in decreasing order.
5, 1, k, -13
Let f be (0 + -1)/(2262/208 - 11). Let g be 4/(-18) - (-40)/18. Put 1, 4, g, f in ascending order.
1, g, 4, f
Let s = -6 + 6. Suppose s = -7*t + 25*t - 54. Put t, -1, 5 in descending order.
5, t, -1
Let y = 3 + 2. Suppose -3*g - 5*t = -y, t + 2 + 5 = g. Let h = -41 + 47. Put g, -3, h in descending order.
h, g, -3
Let b = 528.8 + -528.6. Sort b, -1, -1/12, -3/5, 0.3 in decreasing order.
0.3, b, -1/12, -3/5, -1
Let a = 3569 + -3582. Let v = -0.05 - 0.45. Let r = -6 + 3. Sort -1/4, v, r, a in descending order.
-1/4, v, r, a
Let w be (-2)/(1 + 1)*-3 - 0. Suppose -2*k = -v + w*v, -3*k - 35 = -4*v. Suppose -2*c + v*c = -4*a - 17, -4*a - 11 = c. Sort 4, a, 3, 10 in descending order.
10, 4, 3, a
Let o = -129 + 126. Let h(s) = s**3 - 12*s**2 + 22*s - 15. Let n be h(10). Put o, -2/35, n in decreasing order.
n, -2/35, o
Let k be (-14)/42 + (-2)/3. Sort 5, -354, 3, k.
-354, k, 3, 5
Let v = -20536 - -20550. Sort v, -13, 0.5, 0 in descending order.
v, 0.5, 0, -13
Let f = 47 + -77. Let k = f + 78. Let m = k + -44. Put 2/11, m, -67 in increasing order.
-67, 2/11, m
Suppose 343*d - 344*d + 3*g + 26 = 0, 0 = 5*g + 35. Put d, 2, 0, 1, 4 in increasing order.
0, 1, 2, 4, d
Let m = -75.84 + 76. Let s = 4.06 + -4. Let b = m - s. Sort 2/11, 4/9, b.
b, 2/11, 4/9
Suppose y = -3*n - 4, 2*n - 2*y - 2 = 5*n. Sort n, -439, 0.
-439, n, 0
Suppose 0 = -3*p + 5*h + 217, -2*p - 61 = -3*h - 204. Let b = p + -59. Suppose -2*a - b*l - 5 = -0*a, -5*l = 3*a + 5. Put a, 0.4, -3, 0.2 in increasing order.
-3, a, 0.2, 0.4
Let b(a) = -a**2 + 42*a + 87. Let n be b(39). Put 4, 3/4, n in ascending order.