Put -4, s, 3, -10, 1 in decreasing order.
3, 1, -4, s, -10
Let x = 86831/5 - 17294. Let h = x + -727/10. Put 25, h, 3 in descending order.
25, 3, h
Let y = -3 - -7. Suppose 4*i - 6*i - 5*u = -145, 2*u + 59 = i. Let p = i - 67. Put 7, p, y in decreasing order.
7, y, p
Let x(n) = n**2 - 67*n + 306. Let l be x(62). Sort 5, l, 124 in descending order.
124, 5, l
Suppose 24 = -r + 5*f, 5*r - 3*f = -21 - 33. Let q = 60.2 + -59. Let j = 1.3 - q. Sort 2/9, r, j, 2/13 in decreasing order.
2/9, 2/13, j, r
Let r(j) = j**2 - j - 1. Let f be r(3). Let m(v) = -16*v - 72. Let q be m(-7). Suppose 3*l = q - 28. Put l, -11, f in descending order.
f, l, -11
Suppose 2*y - 2 = 2*f, 2*y - 18 + 22 = -4*f. Sort 0, -37, f, -4 in increasing order.
-37, -4, f, 0
Let w(z) = -z**3 + 9*z**2 - 7*z - 9. Let m be w(7). Let r be (12/m)/1*24. Let o = r - 386/55. Sort -1/5, o, 0 in decreasing order.
o, 0, -1/5
Suppose -3*i - a = -2*i, -5*i - a = 0. Suppose 3*t - q - 5 = i, 5*t - 3 - 4 = q. Put -4, t, -46 in decreasing order.
t, -4, -46
Let d be 6/(-25 + 35 - 8). Let i(x) = 2*x + 0 + 2 - 8. Let p be i(-5). Sort p, d, 2.
p, 2, d
Suppose 0 = -q - 4, 5*g - 6 = -16*q + 15*q. Let p be (36/(-144))/(g/(-32)*-38). Sort p, 0.5, -13, -0.2 in ascending order.
-13, -0.2, p, 0.5
Let q = 0 - -1. Let a be 135 - (-15)/6*8/(-10). Suppose -a = -2*u - 141. Sort -2, u, 2, q in descending order.
2, q, -2, u
Let a = 92 - 92.332. Let d = -49.068 + a. Let q = -49 - d. Sort q, 8, 2/11 in decreasing order.
8, q, 2/11
Let u(p) = p**2 - 55*p + 111. Let n be u(2). Sort -8, n, 9.
-8, n, 9
Let o(f) = -f**2 + 76*f + 861. Let a be o(-10). Sort 3, a, 646 in ascending order.
a, 3, 646
Let g = 60 + -62. Sort g, 3, 196, 1 in increasing order.
g, 1, 3, 196
Let v(z) = z + 20. Let c be v(-5). Suppose -u + 1 = a + a, 5*a + c = u. Let b = 51 + -56. Put u, 11, b in ascending order.
b, u, 11
Let z(x) = x - 2. Let j be z(-3). Let v = 96 - 84. Let w be ((-2)/12 - (-14)/v)*0. Sort -1, w, j in descending order.
w, -1, j
Let m be (18/(-10))/(2856/(-4760)). Put -1, m, 5, 116, 4 in descending order.
116, 5, 4, m, -1
Let s = -2.05 + 0.05. Let y = s - -3. Let k = -3445 - -3444.5. Sort y, 0.1, k in decreasing order.
y, 0.1, k
Let m(v) = -4*v + 1. Let f be m(1). Let x = 2.73 - 2.23. Sort 3, -0.3, x, f in increasing order.
f, -0.3, x, 3
Let z = 0.996 - 10.266. Let g = -11.2 - z. Let r = g - 0.07. Sort 8, r, -0.3 in decreasing order.
8, -0.3, r
Let x(l) = -2*l**3 - 6*l**2 - 15*l - 20. Let u be x(-2). Let f be 1*-2 + 12/2. Suppose -v + 14 = h - 4*h, 0 = 3*v + 5*h. Sort f, u, v, 3 in descending order.
v, f, 3, u
Suppose 1183*g + 2*v - 214 = 1182*g, -2*g + 435 = 3*v. Put g, -6, 5 in ascending order.
-6, 5, g
Let p = 2322.8333 + -2323. Let t = p + 0.0667. Sort t, -44, -4 in descending order.
t, -4, -44
Suppose -377 + 970 = -406*p - 4685. Put -4, 23, p in descending order.
23, -4, p
Let p be (420/(-2520))/((-11)/30 - 1/(-3)). Put p, -2, 97 in increasing order.
-2, p, 97
Let g(m) = 3*m - 98. Let n be g(6). Sort 2, 0, -1, n in increasing order.
n, -1, 0, 2
Let c = 20.6 + -20.1. Let r be (-1)/7 + 108/315. Put 8, c, -0.3, r in increasing order.
-0.3, r, c, 8
Let c(o) = -3*o - 11. Suppose -x - 2 = -2*s, 5*x - 3*x - 5*s + 3 = 0. Let f be c(x). Sort -5, f, -1 in decreasing order.
f, -1, -5
Let i = 552 - 550. Suppose -i*y - 10 = 0, -k - 6 = 3*y + 9. Let u be -1 + 0/(-1 - -2). Put -2, -3, u, k in ascending order.
-3, -2, u, k
Suppose c = 3, -h - 5*c = 2*h + 84. Let j = h - -38. Put 1, -1, -3, j in ascending order.
-3, -1, 1, j
Let p = -0.3 - -0.32. Let n be (40/(-44) + 512/176)/(14/1). Put p, -3, n in increasing order.
-3, p, n
Suppose -15*b = -16*b - 3. Let f be (b - -3) + 8/(24/(-3)). Sort 4, -2, -17, f in descending order.
4, f, -2, -17
Let y(z) = z + 7. Let v be y(-4). Suppose -23 + v = -5*k. Let x = -10067 + 30202/3. Put -1/3, k, x in descending order.
k, x, -1/3
Let i = 14557 + -14542. Let u be -1 - (-2)/(-4)*8. Put u, i, 0 in descending order.
i, 0, u
Suppose 4*z + 3*x - 25 = 0, 20*x + 7 = 21*x. Sort -5, 0, z, -10 in decreasing order.
z, 0, -5, -10
Let h = -0.134 - 0.048. Let b = h - -0.109. Let y = -0.273 - b. Put -24, y, -0.5, 2/11 in descending order.
2/11, y, -0.5, -24
Let d = -6203 - -6208. Put -3, 2, d, -17 in decreasing order.
d, 2, -3, -17
Suppose -12*a + 121 - 13 = 0. Suppose 6 + 30 = a*i. Sort -2, 3, i.
-2, 3, i
Let u(d) be the first derivative of d**3/3 - 4*d**2 + 12*d + 22. Let n be u(4). Sort n, 2, -2, -1.
n, -2, -1, 2
Let r be 345/598 - (-11)/(-22). Sort 3, r, 0.4, 1, -3.
-3, r, 0.4, 1, 3
Suppose 8*n - 17 = -9*n. Let g be n - (1/3 - 88/66). Sort -3, -2, g, -7.
-7, -3, -2, g
Suppose 0 = 4*q + 20, 4*m - 6 = 2*m + 2*q. Let u = 28511 + -28504. Put m, -4, u in ascending order.
-4, m, u
Let t = -24.5 + 24.9. Suppose 131*b + 345 = 62*b. Sort 5, b, 33, t in ascending order.
b, t, 5, 33
Let p be (-3)/(-1)*(-4)/(-6). Suppose 2*k + 23 - 63 = 2*m, k - 5*m - 48 = 0. Sort p, k, -1 in descending order.
k, p, -1
Suppose -1539*j + 1425*j + 153145 = -134135. Put j, 0, -2 in decreasing order.
j, 0, -2
Let s = -514 - -487. Let a be (s/(-108))/(2/16). Sort 19, 1, a, 4.
1, a, 4, 19
Let g = 24701 + -24680. Put 4, 6, 5, g in descending order.
g, 6, 5, 4
Let y(c) = -c**3 + 8*c**2 - 12*c + 7. Let v be y(5). Let k be -2 + (-30)/(-18) + v/102. Sort -0.5, k, 0.4, -2/15 in increasing order.
-0.5, -2/15, k, 0.4
Let i = 8070 - 8118. Sort -1, i, -7, 4, 0 in descending order.
4, 0, -1, -7, i
Let b = -23.66 + 24. Let r = 0.088 - 2.428. Let g = r + b. Put g, -0.3, -2/11 in decreasing order.
-2/11, -0.3, g
Let d be 6*(-4)/32*(0 + 1). Let i be ((-63)/6)/(27/(-8)). Let b = i + -103/36. Sort d, b, -2/5 in descending order.
b, -2/5, d
Let l be -5 - (372 + (91/35 - 3/5)). Sort -2, -4, -5, l.
l, -5, -4, -2
Let t be (-2)/29 - (-186)/2697. Let j(r) = -r**2 - 1. Let k be j(0). Sort -17, t, k, -4 in ascending order.
-17, -4, k, t
Let p = -1077 + 1076. Put p, -0.1, 4, -6 in increasing order.
-6, p, -0.1, 4
Suppose 6 = -2*l - 3*g, -5 + 1 = -5*l + 2*g. Suppose l = -p + 5 + 5. Let n = 7529 + -7533. Sort n, -1, p.
n, -1, p
Suppose -p = -12 + 8. Let i be 0/((-1)/2*(-8 + 2)). Sort 3, 58, p, i.
i, 3, p, 58
Let d = -6 - -6.03. Let g = 168496/5 - 33699. Put d, 5, g, -0.3 in descending order.
5, g, d, -0.3
Let q = 66 + -80. Let j be (-4 - (-64)/14) + 78/q. Suppose 3*z = 3*v - 15, -2*v + 15 = z + v. Put 9, -3, z, j in increasing order.
j, -3, z, 9
Let u = -492 + 252. Let j = 239.9 + u. Sort -1/3, -1/4, j in ascending order.
-1/3, -1/4, j
Let x(v) = v**2 - 35*v - 241. Let d be x(-6). Let f = 0 - -1. Put d, 41, f, -4 in increasing order.
-4, f, d, 41
Let f be -19 + 0 - (-144)/9. Put 4, f, 67, -10 in descending order.
67, 4, f, -10
Let i be 16/(-42) - (-2)/(-7). Let o = -280291.3 + 280291. Let n = -0.6 - 1. Put i, 3, o, n in descending order.
3, o, i, n
Let i be (0/(-1))/(-1 - -2). Let l(w) = -2*w + 22. Let o(c) = -1. Let y(k) = l(k) + 5*o(k). Let q be y(7). Sort i, q, 1 in descending order.
q, 1, i
Suppose -22 - 20 = -6*g. Let y be (-4)/(-6)*168/(-448). Sort -0.5, 3, y, g in decreasing order.
g, 3, y, -0.5
Let r(k) = 9*k + 17. Let j be r(8). Suppose j*y - 85*y - 120 = 0. Let s be ((-36)/y)/((-2)/5) - -4. Sort -1/4, -1/3, s, 2 in decreasing order.
s, 2, -1/4, -1/3
Suppose 17*j + 118 - 307 = 899. Sort j, -5, 7 in increasing order.
-5, 7, j
Let u = -0.01823 + -15.98177. Put u, 15, 5 in increasing order.
u, 5, 15
Let c = 5354 + -91016/17. Sort 5/6, c, 5, 3, 0.1 in ascending order.
0.1, c, 5/6, 3, 5
Let h = 180811 - 180814. Let l(q) = -q**3 - q**2. Let w be l(0). Sort 3, 1, w, h in ascending order.
h, w, 1, 3
Suppose 684*v = 661*v + 253. Sort 6, -11, v in descending order.
v, 6, -11
Let y = -4174 - -4173. Sort 71, 3, -2/11, 0.4, y.
y, -2/11, 0.4, 3, 71
Let s be -51 + (-21644)/(-420) + 1/5*-2. Sort s, -2/7, -2, 0.3, -119.
-119, -2, -2/7, s, 0.3
Let l be (17 + -18)/((-1)/(-1)). Let f = -4298 - -4303. Suppose -2*n + 5*n = 6. Put n, f, 2/5, l in increasing order.
l, 2/5, n, f
Suppose 16 = 4*z - 0*z. Let g = 418 - 414. Suppose -12 = -6*r + 9*r, -g*r - 22 = 2*a. Sort z, a, -25 in descending order.
z, a, -25
Let o = -1627 - -1639. Sort -2, -4, -1, o, 5 in descending order.
o, 5, -1, -2, -4
Suppose 0 = 43*f - 41*f + u - 9, -3*u + 7 = 2*f. Put 6, 13, -5, f in increasing order.
-5, f, 6, 13
Let d = 