 c = 1189 + -901. Let x = -291 + c. Put t, 0, x in decreasing order.
t, 0, x
Let z = 53514 + -53515. Let k(p) = -2*p - 1. Suppose 0 = -2*q - 2*y + 4, -2*y + 0 = 3*q - 3. Let x be k(q). Sort 2, x, z.
z, x, 2
Let u(z) be the second derivative of z**5/20 + 5*z**4/12 - 5*z**3/6 - 3*z**2/2 - 35*z. Let i be u(-6). Suppose 2*a + 15 = -a. Sort i, a, -1, 3.
i, a, -1, 3
Let x(w) = -31*w + 3589. Let n be x(116). Sort 0, 2, n, -3, 5 in decreasing order.
5, 2, 0, -3, n
Let r(d) = 2*d**3 + 10*d**2 - 24*d - 71. Let w be r(-6). Sort -4, w, -3/4, -0.3, -3/2 in descending order.
w, -0.3, -3/4, -3/2, -4
Let y = -96215 + 96219. Let h = -3.97 + -0.03. Sort 0, 0.3, h, y in increasing order.
h, 0, 0.3, y
Let j = -22428 - -22430. Let z = -1 + 1. Put j, z, -8 in decreasing order.
j, z, -8
Let m(r) = -10*r + 6. Let w be m(-6). Suppose 0 = 7*a + 4*a - w. Let z be 2/a + (-1)/3. Sort z, 3, -78 in descending order.
3, z, -78
Let h = 16.07 - 16.07. Let l = 5 + -2. Let z = -1.9 - -2.9. Sort z, l, h, 0.2 in descending order.
l, z, 0.2, h
Let k = 27665 + -27664.9. Let n = 3.3 + 0.7. Sort -0.1, -11, n, k in ascending order.
-11, -0.1, k, n
Let p(m) = 4*m - 14. Let r be p(3). Let j = -6971 - -6973. Put -16, -5, j, r in descending order.
j, r, -5, -16
Suppose -7 = -3*f + 2. Suppose -f*p = 2*z + 9, -4*z - p = p - 2. Let i(s) = s**2 + 16*s + 4. Let u be i(-16). Put u, z, 5, 1 in decreasing order.
5, u, z, 1
Let t(w) = w**3 - 25*w**2 + 71*w - 112. Let p be t(22). Put -5, p, 4, -434 in ascending order.
-434, -5, p, 4
Let y(w) = w**3 - 12*w**2 - w + 13. Let f be y(12). Let m = -2225 + 2223. Sort f, -16, m in ascending order.
-16, m, f
Let c = -432.5 - -450.5. Sort 4, -4, 2, c in decreasing order.
c, 4, 2, -4
Let w = 216.97 - 217. Let z be 3/(-5) - (-8)/(-320)*-8. Put w, z, 2/3 in increasing order.
z, w, 2/3
Suppose -25*v - 1 = 24. Let p be (-6 - -4)/(5/(-10)*v). Put -2, 6, p in increasing order.
p, -2, 6
Suppose 2*u - 46 = 4*r, 11*r = 15*r + u + 37. Let k be r*(-3)/36 + 136/(-102). Let q = 0.2 - -0.3. Put -2, 0.02, k, q in descending order.
q, 0.02, k, -2
Suppose -74*m + 75*m = -3*w - 6, m + 1 = 2*w. Put -93, w, 0 in decreasing order.
0, w, -93
Let f be (-14)/2 + 186 + -180. Sort f, 4, -3, 0 in decreasing order.
4, 0, f, -3
Let b = -2260 - -2259.8. Let t = -3 + 11. Sort -3, t, 1, b in descending order.
t, 1, b, -3
Let u = -1546 - -1545.8. Sort u, -5, 1/3, -70, 0.
-70, -5, u, 0, 1/3
Let g = -4370 + 4370. Sort g, 3, 2/359 in ascending order.
g, 2/359, 3
Let t = -6422 - -6430. Put -19, 11, t in descending order.
11, t, -19
Let m(k) = -k**3 + 117*k**2 + 2*k - 236. Let i be m(117). Sort 2, -19, -3, -4, i in ascending order.
-19, -4, -3, i, 2
Suppose 5 = r, 27 = 7*c + 6*r - 2*r. Sort c, -4, 3, -22 in descending order.
3, c, -4, -22
Let w(l) = -336*l + 3363. Let s be w(10). Sort 4, s, -183 in descending order.
4, s, -183
Let j = 461.6 + -457.6. Sort 0.1, -2.1, j, 1, -4 in increasing order.
-4, -2.1, 0.1, 1, j
Let z = 150.51 - 150.5. Sort 5, 21, z in ascending order.
z, 5, 21
Let n = 15.13 + -14.83. Let w be (9/(-15))/(2/5). Sort 1/6, w, 2/11, n in descending order.
n, 2/11, 1/6, w
Let m = -244 + 244. Suppose m = 128*t - 122*t + 12. Sort 0, t, 8, -5 in descending order.
8, 0, t, -5
Let o = 3116 + -3118. Sort 2, 1/11, o.
o, 1/11, 2
Let w = -0.37 + 0.57. Let x = -24 + -10. Let o = x - -37. Sort o, 0.11, w in descending order.
o, w, 0.11
Let f = -19 + 161. Let x = f + -140. Sort 0.077, -2/5, x in decreasing order.
x, 0.077, -2/5
Let h be (-1 + 1)/(-4 + 6). Let d(a) = -7*a - 569. Let l be d(-81). Sort h, l, -10.
-10, l, h
Let x(i) = 3*i**2 + 165*i + 122. Let q be x(-32). Sort q, 4, -2 in increasing order.
q, -2, 4
Suppose -4*d - p = 86, -80 - 41 = 5*d - p. Put -27, -4, 4, d in descending order.
4, -4, d, -27
Suppose -2*y = -2, -4*n - 8*y + 24 = -0*y. Sort -11, n, 2, -2, -6 in ascending order.
-11, -6, -2, 2, n
Let n = -944 - -949. Suppose 3*t + n*m - 68 = 29, -114 = -4*t + m. Put t, -4, -2 in increasing order.
-4, -2, t
Suppose 48 = 5*s + 93. Let w be 3/s - (-4)/12 - -36. Let y be 3/12*w/3. Sort y, 2/15, 0.14.
2/15, 0.14, y
Let p = 181 + -310. Let c = -126 - p. Put 2, c, 4 in descending order.
4, c, 2
Let y = 63 + 14. Let q be -2 + 22/8 + y/132. Let t = -0.26 + 0.66. Sort -0.4, q, t.
-0.4, t, q
Let n be 15/2*-27*(-14)/567. Sort 0.4, -2/3, 0.07, n, 0.21 in descending order.
n, 0.4, 0.21, 0.07, -2/3
Let t(j) = -6*j + 80. Let i be t(10). Suppose 0 = 22*g - i*g - 30. Let f(n) = n - 2. Let o be f(6). Put 0.4, g, o in descending order.
g, o, 0.4
Let a = 0.363 - -0.717. Let v = a - 14.08. Sort -1, v, -11, 0.1 in decreasing order.
0.1, -1, -11, v
Let b = 291 - 291. Sort 3, b, -3, -9, -39 in descending order.
3, b, -3, -9, -39
Let g be -2*(-1)/2*12/60. Let r = -66 - -65.88. Let j = -0.08 + r. Put g, j, 0, 2/5 in descending order.
2/5, g, 0, j
Suppose -2*l - 4*w + w + 63 = 0, -5*l + 2*w + 129 = 0. Let d be 10/36 - (-6)/l. Let a = -10.2 - -1.2. Sort d, a, 0 in descending order.
d, 0, a
Let x = 2748 - 2746. Let d be 0/((-6)/(-2) - 1). Put x, -0.3, d, 0.4 in decreasing order.
x, 0.4, d, -0.3
Suppose -5*r = -20 + 200. Let h(p) = 5*p + 185. Let f be h(r). Put 1, 14, 2, f in increasing order.
1, 2, f, 14
Let a(p) = 2*p**2 + 21*p + 67. Let o be a(-3). Suppose -3*h + 0*k + 5*k - 67 = 0, 0 = -3*k + 15. Let m be o/h + 6/(-14). Sort m, 4, 2 in descending order.
4, 2, m
Suppose -157*u + 2511 = 122*u. Sort 2, u, 5, -7, -5 in increasing order.
-7, -5, 2, 5, u
Let x = -186 - -225. Let i = -38 + x. Put i, -1.6, -6 in ascending order.
-6, -1.6, i
Suppose 0*w = 57*w - 57. Put 300, -1, w in descending order.
300, w, -1
Let i = -171 + 133. Let d = i - -37.5. Sort d, 2/5, 3.
d, 2/5, 3
Let r(q) = q**3 + 5*q**2 - 7*q - 6. Let b be r(-6). Let x = 270 + -288. Let j be (-10)/8 + 1/(24/x). Put b, j, -1, 4 in decreasing order.
4, b, -1, j
Let t(f) = -f**3 + 5*f**2 - 4*f - 2. Let p be t(4). Let v be p/1 + (0 - 0). Let j = 157710 + -157715. Sort v, 1, j, 2 in increasing order.
j, v, 1, 2
Let y be (4/(-3))/(-3*2). Let l = 1.03 - -246.97. Let g = l + -248.3. Sort -2/13, g, y in descending order.
y, -2/13, g
Let c = 0.1044 - -0.0956. Let s = -14 - -14.66. Let n = s - 0.6. Put n, c, 0 in ascending order.
0, n, c
Let q = 384 + -339. Let a = q + -44.95. Sort 0.2, 13, a in ascending order.
a, 0.2, 13
Let y = -10988 + 10989. Put y, -5, 11 in ascending order.
-5, y, 11
Let l = 21512.09 - 21514. Put -3, l, 0.01 in decreasing order.
0.01, l, -3
Let m = 1765.6 + -1766. Put m, -1/3, -13 in decreasing order.
-1/3, m, -13
Let c = 220 + -220.095. Let m = -2.095 - c. Sort 0.2, -5, 0, m in increasing order.
-5, m, 0, 0.2
Let k = 18961 + -18961.67. Sort 0.3, k, 1/4, 0.4 in ascending order.
k, 1/4, 0.3, 0.4
Let g = 2/99 - -20/99. Let c = 7 - 6.56. Let j = 0.14 - c. Put g, j, -1, -5 in ascending order.
-5, -1, j, g
Suppose 5*d - 12 = f, 3*f + 2*f + d + 8 = 0. Let r(w) = -2*w**2 + 3*w + 13. Let q be r(3). Sort -4, q, 0, f in decreasing order.
q, 0, f, -4
Let h = -5 - -5.3. Let i = h - 1.1. Suppose -78*m + 183*m = -105. Put -3, 1/2, i, m in descending order.
1/2, i, m, -3
Let o = 736 - 733. Let g = 5.059 + -0.059. Sort o, 2, g, 0.
0, 2, o, g
Let o be (-7 + 5 + -4 - (-254)/42)*3. Put 1, 28, 3/5, 1/2, o in ascending order.
o, 1/2, 3/5, 1, 28
Let s = -34117/6 + 5691. Put 0.3, 0, 5, -2, s in descending order.
5, s, 0.3, 0, -2
Let y be (-1440)/710 + 6/213. Let a = -2 - -4. Suppose -3*u = 4*b - 22, -a*u - 8 = -b - 2*b. Sort b, -12, y.
-12, y, b
Let w = -1.4142 + 1.7142. Put w, 133, 1, 0 in descending order.
133, 1, w, 0
Suppose 37*v = -z + 39*v + 10, -z = 4*v + 8. Sort z, -7, 6 in decreasing order.
6, z, -7
Let u = 792 + -788.995. Let c = -0.085 + 0.08. Let h = c + u. Put h, 1/6, 2/15, 0.3 in ascending order.
2/15, 1/6, 0.3, h
Let i be ((-245)/10 - -26)/((-2)/4). Put -4, 4, i, 5, -1 in descending order.
5, 4, -1, i, -4
Suppose -3*y = 143 + 163. Let l = -106 - y. Let m be (6/7)/((-1)/7). Sort m, l, 5 in decreasing order.
5, l, m
Let f = 9.115 + -5.115. Let y be ((-6)/9)/(16/(-6)). Sort f, -3, y, 1 in increasing order.
-3, y, 1, f
Let s be (5 - 19)/(-2) + -3. Sort 165, 1, s, 5.
1, s, 5, 165
Let r = -77 + 109. Let q be 14/3*(r/14)/(-8). Let x = 52 - 54. Put -3, 4/5, q, x in ascending order.
-3, x, q, 4/5
Let o = -6 - -8. Let v = -84 + 85. Let u = 495 - 498. Sort