pose 0 = 6*m - 4*m - m. Let u(q) = q**2 - 5*q - 19. Let l be u(7). Put l, 8, m in descending order.
8, m, l
Let x = 11 - 6. Let n = -1119 + 1121. Sort x, 9, n, -0.5 in descending order.
9, x, n, -0.5
Suppose 2*s - 5*q + 10 = -16, 3*s = 5*q - 29. Suppose -3*w + 16*w - 8*w + 18*w = 0. Put 1, w, s, -5 in decreasing order.
1, w, s, -5
Let v = -0.3 + 0.2. Sort 2/11, -18/5, -3/4, v in descending order.
2/11, v, -3/4, -18/5
Let j = -1988 - -1990. Sort -1, -25, j in ascending order.
-25, -1, j
Let l = -181.8 + 182.8. Let c = -4 - -3.9. Put l, -4, c in decreasing order.
l, c, -4
Suppose 0 = -85*j + 90*j - 30. Sort -8, 0, j.
-8, 0, j
Let i = 0.05 + 1.95. Let h = -0.23 + -1.17. Let b = h - -0.4. Put i, b, -0.3 in increasing order.
b, -0.3, i
Let t = -0.9 + 37.9. Let v = t + -32. Sort 0.1, -3, v, -6.
-6, -3, 0.1, v
Let x be (-3)/(-2)*(-3 - (-570)/198). Put -1, x, -2 in decreasing order.
x, -1, -2
Let d = 1894 + -1893.9. Sort -1/4, d, -6/25 in descending order.
d, -6/25, -1/4
Suppose l - 8 - 2 = 0. Suppose 7*k = -l - 11. Put k, -1/5, -4/5 in increasing order.
k, -4/5, -1/5
Suppose 46*i - 42*i = -5*v - 8, i - 3*v = -19. Sort -4, 19, -3, i in decreasing order.
19, -3, -4, i
Let l be (6*(-6)/(-18))/2. Sort l, -5, 8 in descending order.
8, l, -5
Suppose f = 3*f - 14. Let d be 330/14 - 1*(-6)/14. Suppose -f*j - d = -j. Sort -1, j, -3.
j, -3, -1
Suppose 5*v + q = 5*q - 33, 2*v + q + 8 = 0. Sort 1, v, 0.2, 3/7 in descending order.
1, 3/7, 0.2, v
Suppose 0 = 4*g - 5*w + 29, 3*g = -4*w - 13 + 30. Suppose 0 = -5*z + 3*j - 39, 0 = -3*j - 8 + 2. Let x be -2 - -4 - (-1)/(-1). Sort z, g, x.
z, g, x
Let b = 162 - 96. Let o = -63 + b. Sort o, 0.2, 2 in decreasing order.
o, 2, 0.2
Let o = -113 - -113.5. Let n = -4 + 3.5. Sort n, 5, o in descending order.
5, o, n
Suppose 12*j + 51 = -5*j. Put -1, 0, j in decreasing order.
0, -1, j
Suppose -253*t = -256*t - 3. Put t, -14, 0, 4 in decreasing order.
4, 0, t, -14
Let s = -89.7 + 90.1. Let o = -115/3 - -38. Put s, -5, o, -4/5 in ascending order.
-5, -4/5, o, s
Let x = -287 + 274. Let r(w) = w**3 + 2*w**2 - 1. Let c be r(1). Put c, -2, x, 5 in decreasing order.
5, c, -2, x
Let r(m) = m**3 + 2*m**2 - 9*m - 9. Suppose -57*i = -59*i - 8. Let o be r(i). Sort o, 0, 2, -1 in descending order.
2, 0, -1, o
Let l be -2*(-15)/(-6)*48/(-60). Let x = 6 - 4. Let o = x + -1.5. Put l, o, -1 in descending order.
l, o, -1
Let s = -399.2 - -399. Let n(m) = m**3 - 5*m**2 + 4*m - 3. Let u be n(4). Put u, s, 3, 1 in increasing order.
u, s, 1, 3
Let z = 1 - 6. Let s = 26 + -23. Suppose -2*p + 5 = 5*h - 4, -2*p - 3*h + s = 0. Sort p, -4, z.
z, -4, p
Let k(v) = -10*v - 416. Let q be k(-41). Put q, -2, 15, 4 in descending order.
15, 4, -2, q
Let c = -264 + 559/2. Let a = c + -16. Suppose -1 = -7*m - 8. Sort 4, m, a in decreasing order.
4, a, m
Let x(v) = -v**2 + v. Let q be x(2). Let f(z) = z**2 - 119*z - 2001. Let y be f(-15). Let u = 3 - 6. Sort q, y, u in descending order.
y, q, u
Let i = -180 - -177.12. Let x = -1 + 1.12. Let l = i - x. Sort 1, l, 0.5 in ascending order.
l, 0.5, 1
Let g be 10/(-25) + (-9)/(-10). Sort 5, 0.2, 50, g in decreasing order.
50, 5, g, 0.2
Let n = 4.8 + -49.8. Let v = 38 + n. Sort -0.2, v, 5 in decreasing order.
5, -0.2, v
Suppose 0*t = -4*t. Suppose -2 = 3*i + 10. Suppose 501 - 519 = 6*n. Sort t, n, i.
i, n, t
Suppose -8*d - 52 = -12. Sort -1, d, -7 in decreasing order.
-1, d, -7
Let j(l) = -2*l**2 - 48*l + 1. Let r be j(-24). Put r, 0.2, -0.3, 16 in ascending order.
-0.3, 0.2, r, 16
Suppose -11*r + 15*r + 16 = 0. Let q(h) = -3*h - 15. Let s be q(r). Sort -5, -6, s in ascending order.
-6, -5, s
Let i = -22 - -20. Suppose 0 = 2*s - 3*s + 5. Let g(b) = -b**3 + 6*b**2 - 2*b + 8. Let o be g(6). Sort i, s, o in descending order.
s, i, o
Let u = 1/5 + -7/10. Let m = -5104 - -15310/3. Sort m, u, -2.
-2, m, u
Let w = 148 + -146. Put w, 6, 0 in increasing order.
0, w, 6
Suppose 3*v + 5*o + 0*o - 9 = 0, -3*v = -2*o - 9. Let p(k) = k**2 - 4*k - 9. Let a be p(5). Sort -3, a, 2, v.
a, -3, 2, v
Suppose 0*f - 20 = -5*f. Suppose -7 = -5*y - f*p + p, -4*p = -y + 6. Let v = -1 - -1. Put y, v, -0.5 in decreasing order.
y, v, -0.5
Suppose 3*s + 3*r + 8 = -2*r, -5*s + 2*r = 3. Suppose 0 = -5*v + 3 + 7. Sort 10, s, v.
s, v, 10
Suppose -2*r - 17 = -5*y, 0*r = -4*r - 4*y - 20. Put 5, r, -4 in ascending order.
r, -4, 5
Suppose d - 5*u = -24, 5*d - u = -19 - 5. Sort -1, -16, d.
-16, d, -1
Let t = -358 - -353. Sort 0.1, t, 0.5, 1/6.
t, 0.1, 1/6, 0.5
Let t(g) = -g**3 - 32*g**2 + 29*g - 129. Let i be t(-33). Put i, 4, 351 in descending order.
351, 4, i
Let u = 130 - 1169/9. Suppose 2*a = -2*m + 5*a + 6, 2*a = 0. Put 2, u, m in descending order.
m, 2, u
Let s = -19319711/263109 + -1/37587. Let k = 74 + s. Sort k, -3, 1/4 in increasing order.
-3, 1/4, k
Let y(m) = -m**3 - 4*m**2 + 3*m - 10. Let p be y(-5). Let w be 1/4 + 90/24. Put w, p, 6, -1 in descending order.
6, w, p, -1
Suppose 4*n = -r + 46, -7*r = -5*n - 3*r + 47. Let m = 10 - n. Sort -5, m, 5 in descending order.
5, m, -5
Suppose 43*i - 265 = 308*i. Let a = 13 - 18. Sort a, i, -3, 5 in ascending order.
a, -3, i, 5
Suppose -14*z - 9*z = -18*z. Let t = -2 + 3. Put 8, z, t in decreasing order.
8, t, z
Let o = -64 + 64. Suppose -3*q - 7 + 10 = o. Put q, -1, 4 in decreasing order.
4, q, -1
Let w = 3 - 9. Let a be 2*9/w*-1. Let v(t) = t**2 - 3*t + 4. Let c be v(3). Sort a, c, -1 in increasing order.
-1, a, c
Let q be 2/((-144)/20)*(-87)/(-145). Put 0.3, -5.61, q in increasing order.
-5.61, q, 0.3
Let l(u) = u**3 - 7*u**2 + 11*u - 21. Let r be l(6). Let w(f) = -2*f**2 + 16*f + 18. Let v be w(r). Put 2, -2, v, -5 in descending order.
2, v, -2, -5
Let u = -2.6338 + 0.0338. Sort 3, 1, u, 0.4.
u, 0.4, 1, 3
Suppose -2*x - 70 = 4*l, -31 = l - 0*x - 4*x. Let k = -24 - l. Put -3, k, 3 in decreasing order.
3, -3, k
Suppose -19 + 22 = b. Sort 1, b, 5 in increasing order.
1, b, 5
Let o = -0.8 + 3.3. Let z = -0.5 - o. Let f = -953 + 953. Sort z, f, 0.5.
z, f, 0.5
Let x(d) = d**2 + 2*d - 17. Let i be x(-4). Sort 5, 0, i in increasing order.
i, 0, 5
Let m = 0.136 + 0.064. Put 2, m, -0.5 in ascending order.
-0.5, m, 2
Suppose -27*a = m - 22*a + 10, -9 = m + 4*a. Let w be -1 - 0 - (-6 - -1). Sort -23, w, m in decreasing order.
w, m, -23
Let f = 5 + -5.4. Let s = 1490.5 + -1490. Let k = -209/4 + 52. Sort s, k, f.
f, k, s
Let i(c) = 20*c - 83. Let a be i(4). Put -2, -1, -5, a in decreasing order.
-1, -2, a, -5
Let d = 1111 + -7773/7. Put d, -0.049, -2/7 in decreasing order.
d, -0.049, -2/7
Let k = -131.8 + 132.8. Sort 8/13, 1/2, k in increasing order.
1/2, 8/13, k
Suppose -11*w = -15*w + 24. Suppose -w = 5*i + 4, 13 = 3*u - 2*i. Sort 0.5, 0.6, u.
0.5, 0.6, u
Let y = -1256.7 + 1257. Sort y, 1, 0.22, 0.5.
0.22, y, 0.5, 1
Let f be 126/(-488) + 2/8. Let p = f - -251/854. Suppose -12*s - 44 = -s. Put p, s, 3 in ascending order.
s, p, 3
Suppose -45*t = -35*t - 50. Let y(q) = q**2 - 4*q + 3. Let i be y(3). Put i, 4, t, -4 in descending order.
t, 4, i, -4
Let y = 6.84 + -1.14. Let w = -5.2 + y. Sort 4, -3/10, w in ascending order.
-3/10, w, 4
Let i = 2210 + -2207. Put i, 0.1, -0.3, -4 in decreasing order.
i, 0.1, -0.3, -4
Let j = 3.3 + -13.3. Let s = -14 - j. Put 0, -2/5, s in descending order.
0, -2/5, s
Let x be (1 - -2)*12/(-9). Suppose -4*d - 53 = 78*u - 81*u, -4*d = -4*u + 56. Put x, -5, d in decreasing order.
x, -5, d
Let q = -10 - -11. Let t(s) = s**2 + s - 1. Suppose 4*f - 16 = 0, 0*h + f = -4*h + 12. Let b be t(h). Sort b, q, -1 in increasing order.
-1, q, b
Let j = -1.9 - -1.5. Let c = -141/4 + 283/8. Sort -4, c, j, 0.2.
-4, j, c, 0.2
Let t = 0.46 - -0.04. Let a = -10.24 + 0.24. Let k = a + 15. Put k, -2, t in descending order.
k, t, -2
Let o = -3 + 2.5. Let v = 1/16 - 5/16. Sort -6, v, -0.3, o in increasing order.
-6, o, -0.3, v
Let q = 80 - 86. Suppose -w - 2*x = -12, -3*x + 0*x = -4*w - 7. Suppose w*u = -2 + 4. Put -2, q, u in decreasing order.
u, -2, q
Suppose -25 = -2*g + 13. Let n = -15 + g. Suppose 3*d - 4 = 11. Sort n, d, 6 in decreasing order.
6, d, n
Let m = 295 - 325. Put -5, 0, m, 2 in descending order.
2, 0, -5, m
Let b = -6613/6 + 1102. Suppose 2*q - 1 = 3*q. Put 2, q, b, -0.2 in decreasing order.
2, b, -0.2, q
Suppose -r = 3*b - 8*b + 5, -5*r - 2*b = 25. Let w = 38 - 38. Let v be 0 + (w - -4) - 1. 