pose -u - 8 = -3*u. Let i = -9396 - -9395. Sort u, i, p, 0 in ascending order.
p, i, 0, u
Suppose -m - 3*m + 2*m = 0. Suppose 4*z - 9*z - 55 = m. Sort -5, -4, z in increasing order.
z, -5, -4
Let z be 4*((-141)/(-156) + 14/(-91)). Let i(r) = -r**2 - 6*r - 5. Let u be i(-4). Suppose l = -u*l. Put z, l, -8 in decreasing order.
z, l, -8
Let k be (0 - (-4)/2) + 160. Suppose 0 = -5*t + 2*o + 102 - 467, 2*t - 4*o = -k. Put 4, t, 1 in decreasing order.
4, 1, t
Suppose 0 = -6*n + n - 215 + 205. Sort n, -5, -2/5, 0, -2/93 in decreasing order.
0, -2/93, -2/5, n, -5
Let o(c) = -2*c**2 + c - 4. Let i = -95 + 92. Let p be o(i). Let j = -20 - p. Sort 0.4, j, -4/7 in decreasing order.
j, 0.4, -4/7
Suppose 5*q + 43*v - 29 = 42*v, 5*v - 65 = -5*q. Put 5, q, -652, 1, 0 in decreasing order.
5, q, 1, 0, -652
Suppose -48*w - 781 = -119*w. Put 5, -64, w in ascending order.
-64, 5, w
Let h be -1*(-2)/(-14 + 2). Suppose -5*a - 3*l = -a + 19, -3*l = 15. Let z = 53 + -53. Put z, 0.1, h, a in decreasing order.
0.1, z, h, a
Let z be (2702/(-21) - -9)/(0 - -1). Let c = z + 119. Put 2/5, c, -18 in increasing order.
-18, c, 2/5
Let z be 1/3 + (-118)/(-6). Let w(b) = 2*b**2 + 3*b - 53. Let g be w(-6). Put z, 2, g in decreasing order.
z, 2, g
Suppose 17*o - 7*o = -360. Let s = -14 - 18. Let z = s - o. Sort z, -10, 2 in increasing order.
-10, 2, z
Suppose -5*w - 81 - 154 = -5*d, -4*d - 3*w = -167. Let j = d - 40. Suppose -u = -3*s + 12, 2*s - j*u = -2*u + 12. Put -2, 5, s in ascending order.
-2, s, 5
Suppose 4*u - 44*a = -39*a + 43, -27 = -3*u + 3*a. Put -4, u, -407 in descending order.
u, -4, -407
Let x = 138 + -138.292. Let m = -0.008 + x. Let d = m + -1.7. Sort -5, d, -0.4 in ascending order.
-5, d, -0.4
Suppose -40 - 180 = -10*f. Let o be f/165 + (-52)/165. Let k = -5.1 - -0.1. Sort k, o, 3 in descending order.
3, o, k
Let b = -16693 + 717802/43. Sort b, 3, 0.5, -3.
-3, b, 0.5, 3
Let s = 4.43 + -6.43. Put 2/5, s, 3 in descending order.
3, 2/5, s
Let s = -0.07 - -5.07. Let u = -144.7 - 7.3. Let z = u - -152.2. Sort s, z, -0.4.
-0.4, z, s
Let p = 6/1183 + -1195/2366. Put 1.5, p, 0.008, -0.3 in decreasing order.
1.5, 0.008, -0.3, p
Let k = 490 + -293. Let q = -196 + k. Let u(w) = -w**3 + 3*w - 3. Let r be u(2). Sort q, r, -1, 2 in decreasing order.
2, q, -1, r
Let c be 5/2*(192/70)/12. Sort -11/7, 0.05, 3/2, c in ascending order.
-11/7, 0.05, c, 3/2
Let t(p) = -p**3 - 32*p**2 - 64*p - 123. Let w be t(-30). Sort 0, -13, 1, w, -5.
-13, -5, w, 0, 1
Suppose 13*d - 15 = 6*d + 13. Sort d, 3, -2/369 in decreasing order.
d, 3, -2/369
Let u = -96 + -134. Let r = 230.2 + u. Put r, -4, 0.5 in increasing order.
-4, r, 0.5
Suppose -3*m - 5*s + 22 = 0, 5*m - 3*s - 1 + 21 = 0. Let k = -354 - -362. Suppose -q = -o - k, -o = 3*q - q - 4. Sort m, q, -2, 3.
-2, m, 3, q
Let b be (10/2)/(-10 + 21). Sort -2, 2/11, b, -5.
-5, -2, 2/11, b
Let c = 2924/3 + -213455/219. Sort -1/5, c, 5 in descending order.
5, c, -1/5
Let m = 57282 + -57280. Let p = -1 - -1.3. Let o = -0.05 - 0.45. Sort m, o, p in decreasing order.
m, p, o
Let n(g) = g + 3. Let y be n(0). Let i be (4 - (-140)/(-49))*(-7)/(-2). Suppose i*t = 3*w + 10, 2*t = w - t + 10. Sort -6, y, w in descending order.
y, w, -6
Let m = -42673/3 - -14224. Put m, 0.21, -0.1, -1/4, 4 in increasing order.
m, -1/4, -0.1, 0.21, 4
Let z(c) = -c**2 + 13*c + 142. Let x be z(-7). Suppose 4*m = 3*r + 2, -5*m = -2*r + 6 + x. Sort 4, -3, 1, r.
r, -3, 1, 4
Suppose 0 = -4*m + 12, 5*m = 2*g + 7*m + 4. Sort -15, g, 37.
-15, g, 37
Suppose -19*h = -25*h - 22*h + 1176. Put 13, -4, h, 4 in ascending order.
-4, 4, 13, h
Suppose -10*z - 16 = -9*z - 10*s, -s = -2*z + 6. Sort 20, 5, z, -3.
-3, z, 5, 20
Let m = -3204 + 3209. Put 28, m, -15 in increasing order.
-15, m, 28
Let u = -4.6701 - 0.3299. Sort u, 1/5, 0.4, -0.1, -1 in ascending order.
u, -1, -0.1, 1/5, 0.4
Let y = 3828 + -3833. Sort 373, -3, y.
y, -3, 373
Suppose -3*o + 2 = 5*l - 11, -3*o - 7*l = -17. Let y = -14 + 2. Put 2, o, y in descending order.
2, o, y
Let r = 0.152 - 4.452. Let j = -4.6 - r. Sort 0.3, j, -1/2, -1.
-1, -1/2, j, 0.3
Let i(f) = 122*f + 4881. Let n be i(-40). Sort 52, n, 5, 2.
n, 2, 5, 52
Let u(s) = s**3 + 7*s**2 - 7*s + 3. Let z be u(-8). Suppose 172*o - 2023 = 165*o. Let w = o - 291. Sort -4, z, w in ascending order.
z, -4, w
Let b = -1.823 - -2.023. Sort b, -0.24, -0.4 in descending order.
b, -0.24, -0.4
Let k = -295 - -465. Let s = -171 + k. Let t = -4 + 2. Sort t, 4, 0.3, s in decreasing order.
4, 0.3, s, t
Let i be 135/(-15) - 0/(5 + -2). Let m be ((-40)/(-5) + i)/((-3)/(-2)). Sort m, -2/7, 1/6.
m, -2/7, 1/6
Suppose 33*w - 4 = 32*w, -5*a + 2*w = -1292. Let d = 1304/5 - a. Sort -0.42, d, -1 in decreasing order.
d, -0.42, -1
Let i = 13 - 18. Let y(r) = -r**3 - 19*r**2 - 50*r - 33. Let f be y(-17). Let b = -243 + f. Sort b, -2, i.
i, b, -2
Suppose -2*y + 3*u = 3*y, 2*u = y. Suppose y = -4*q - 25*q - 58. Put 9, q, 0, -1 in increasing order.
q, -1, 0, 9
Suppose -4*b - 12 = -2*b + 4*l, 58 = -3*b + 2*l. Let v = -414 + 417. Sort b, 2, v.
b, 2, v
Let b be (-1)/(-2) + (0 - (-2)/4). Suppose b + 17 = a - 3*w, 14 = 3*a - w. Sort 1, -1, -3, a in descending order.
a, 1, -1, -3
Let y = 172.44 - 27.44. Sort 0.1, -0.2, y.
-0.2, 0.1, y
Let b = 1 + 149. Let q be 10/(b/(-3))*-3. Let u = 2.06 - 0.06. Put -0.2, 2/5, u, q in decreasing order.
u, q, 2/5, -0.2
Let a = 393 + -381. Let m be ((-19)/(-57))/((-25)/a + 2). Sort 1/19, m, 5.
m, 1/19, 5
Let u = 4 - 4.3. Let j be 1*(9 + -5 + -3)*1. Suppose 0 = -2*t - 3 + 9. Put u, j, t in ascending order.
u, j, t
Suppose 0 = -50*h + 53*h - 2*v - 237, 0 = -h - v + 69. Put 1, 3, -3, h, 5 in increasing order.
-3, 1, 3, 5, h
Let m(l) = -l**2 + 690*l + 1386. Let i be m(-2). Let k(s) = -s**2 - 6*s - 2. Let u be k(-5). Sort i, u, -5, 5 in descending order.
5, u, i, -5
Let s be (7 - 14 - -11)/(10/(-5)). Sort 18, -3, s, -1, 3.
-3, s, -1, 3, 18
Suppose -4*k = v + 3*v, 0 = 3*k. Suppose 4*s - 49 + 33 = v. Suppose -s*f = -u - 0 + 1, 4*u + 3*f = 4. Sort 4, u, -1 in increasing order.
-1, u, 4
Let u = -9592 + 9592.05. Put -2/3, u, -1/25, 2 in ascending order.
-2/3, -1/25, u, 2
Let a(m) = m**3 + 5*m**2 + 4*m + 11. Let s be a(-5). Sort s, 3, -22, -1 in ascending order.
-22, s, -1, 3
Let n be 12/(25/(225/36)). Sort n, -1, -36.
-36, -1, n
Let r = -2259 - -2261. Let f(h) = -h**2 + 4*h + 1. Let t be f(3). Sort r, 5, t, 7 in ascending order.
r, t, 5, 7
Let z be 10/(-12) - (-218)/(-327). Put -1, z, -0.123 in increasing order.
z, -1, -0.123
Let r be 24/60*(-10)/4. Let w(l) = -2*l - 13. Let g be w(-7). Sort g, r, 7, 5 in increasing order.
r, g, 5, 7
Let q = 4/5 + -38/35. Let g = 1.019 - -2.981. Sort g, 82, q in ascending order.
q, g, 82
Suppose 3*i - 26*y + 28*y - 2386 = 0, 4*y - 3188 = -4*i. Let g be 342/i + 4/(-22). Sort g, -0.2, 0.3, 14.
-0.2, g, 0.3, 14
Suppose q + q = 3*t + 13, -4*q + 25 = -5*t. Let d = -24 - -33. Let k = d + -8.9. Put k, -2, 0, q in increasing order.
-2, 0, k, q
Let s = -1428 - -1426. Put 5, s, -27 in increasing order.
-27, s, 5
Let v = -59.6 - -120.7. Let w = v + -60.1. Sort 3/4, 0, 2/7, w in increasing order.
0, 2/7, 3/4, w
Suppose 4*q + 78 = q. Let g be ((-6)/14 - 8/(-14))*(-42)/4. Sort g, 0.2, q in ascending order.
q, g, 0.2
Let a = 9820 - 9823. Sort -1, -0.6, -2/15, a, 4 in descending order.
4, -2/15, -0.6, -1, a
Let k = 1172 - 1174. Let r = 0.02 - -1.98. Let t = r + 1. Sort k, 2, t in decreasing order.
t, 2, k
Let k(g) be the first derivative of -g**4/4 - 2*g**3 - g + 1. Let f be k(-6). Let z = -11116 + 11112. Sort -3, 5, z, f.
z, -3, f, 5
Let h = -165 + 179. Suppose h*x + 1 = -13. Sort -0.04, -4, x, 4 in ascending order.
-4, x, -0.04, 4
Let i = -1854 + 1853.173. Let t = 0.027 + i. Let s = -0.8 - t. Put 5, s, -14 in descending order.
5, s, -14
Let o be (26/10 + -2)/(14/140). Put o, 2, -66 in increasing order.
-66, 2, o
Let g = 66 - 131/2. Put -1/9, g, -0.197 in increasing order.
-0.197, -1/9, g
Let n = 272 - 271. Let b(d) = -d**2 + 1. Let k be b(-2). Sort 4, n, k, -6 in decreasing order.
4, n, k, -6
Let t = 11 - -31. Let g = t - 44. Suppose 73 = -17*f + 22. Put g, 2, f in descending order.
2, g, f
Let o = 1 - 5. Let d be (-6)/1*o/(-8). Suppose 4*v = 4*a + 16, 0 = -3*v - a - 3*a + 5. Sort 2, v, d in decreasing order.
v, 2, d
Suppose c = -a - 4, -2*a + 4 = -25*c + 30*c. Put