= 172.418 - 0.418. Let n = m + -171.5. Put -4, 11, n in decreasing order.
11, n, -4
Let z be (-5 + 0)/(3/(18/(-30))). Let o be 3/(-1) + 4 - -3. Sort o, 5, 7, z.
z, o, 5, 7
Let q be ((-18)/(-5))/(22/55). Let a be (-115)/q + 6/(-27). Let l(n) = n + 13. Let p be l(a). Sort -2, p, -4 in descending order.
p, -2, -4
Let x = -4.1 + 0.1. Suppose 0 = -u + 3*t - 3, -10*t + 7*t - 33 = 3*u. Let r(g) = g**3 + 10*g**2 + 7*g - 5. Let y be r(u). Sort 3, x, y in descending order.
y, 3, x
Let k = -0.113 + 0.013. Let v = -15.9 - -16. Sort v, 0.5, 3, k in ascending order.
k, v, 0.5, 3
Suppose 405*s - 412*s = -14. Sort -1, -2, 4, s.
-2, -1, s, 4
Let o be (-124*(-2)/84)/((-1)/3). Let g = o + 241/28. Let l = 1.9 - -0.1. Sort -0.4, l, g.
-0.4, g, l
Suppose 0 = -4*p + c + 7, 3*p + 0 = 3*c - 6. Let x = 0.2 - 0.2. Let j = 0.5 + x. Sort j, -2, p.
-2, j, p
Suppose -q - 11 = -3*s, 2*s - 5 = q + 4. Put 5, q, -4, -2 in increasing order.
q, -4, -2, 5
Suppose -2*f - 5*v + 24 + 9 = 0, -4*f = -3*v - 27. Suppose -3 = 4*y + f. Sort 5, y, 4 in ascending order.
y, 4, 5
Let l = 5 - 1. Let h = -8.945 + -0.055. Put h, 2/5, l in decreasing order.
l, 2/5, h
Let b = 39 + -39. Let h be (-3)/(-24)*26 + -3. Sort b, h, 0.3 in decreasing order.
0.3, h, b
Suppose -w + 20 = 2*d + 21, 0 = -5*w - 5*d - 5. Sort 4, -9, 2, w in descending order.
4, 2, w, -9
Let q(r) = -r**3 + 11*r + 3. Let b be q(-3). Sort 6, b, -72 in descending order.
6, b, -72
Let y = 277.9 - 290. Let p = y - 3.9. Let n = -13 - p. Sort n, -3, -1/4.
-3, -1/4, n
Suppose 4*m = -10 - 2. Sort -41, m, -4, -5 in ascending order.
-41, -5, -4, m
Let d = -0.1 + 0.1. Let b = -274.5 + 130.4. Let l = b - -144. Sort l, 4/5, d in descending order.
4/5, d, l
Let a be 36/54 + (-14)/3. Sort a, 3, 4, -17 in descending order.
4, 3, a, -17
Let o(h) = h + 8. Let d be o(-5). Suppose -2 = d*m + 4. Let r be 126/28 - m/(-4). Sort -1, r, -3 in descending order.
r, -1, -3
Suppose 5*g - 3*o + 47 = 0, 4*g - 5*g - 23 = -4*o. Let h = 14 + -12. Suppose h*p = -2*p. Sort p, 4, g.
g, p, 4
Let v(m) = -m + 11. Let n be v(0). Let f = n - 13. Suppose s - 6*s = 0. Sort f, -4, s.
-4, f, s
Let g = 3.6 - -1. Let o = g - 4.1. Sort -2, o, -3 in increasing order.
-3, -2, o
Let v = -1651 - -1650. Put v, 9, 42 in decreasing order.
42, 9, v
Let m be (4/(-12))/(4*3/(-18)). Let i be (-34)/42 - ((-16)/(-6))/(-4). Sort -0.4, m, -5, i in increasing order.
-5, -0.4, i, m
Let z = 74 - 16. Sort 1/2, 1, z.
1/2, 1, z
Let i be 5*(-21)/(-70)*(-8)/(-3). Suppose 5*f - 32 = -4*n + f, -4*f + 16 = 0. Let s be 1 + 1 - 2 - n. Put i, -3, s in descending order.
i, -3, s
Let w be (-3)/(-2)*8/6. Let h be -1 - (-2)/(-4)*w. Sort -3, -1, h in increasing order.
-3, h, -1
Suppose -4*r + 10 = -6, -8 = -4*h - 2*r. Let w(q) = 2*q + 5. Let u be w(-4). Put 1, h, -12, u in increasing order.
-12, u, h, 1
Suppose u - 3*u - 4 = 0. Let a = 0.54 + -0.28. Let v = a + 0.04. Sort u, v, 0.5 in increasing order.
u, v, 0.5
Let i(f) = -2*f**2 + 8*f + 2. Let r be i(3). Suppose 0 = 14*c - r*c. Let z = 5 + -9. Sort z, c, 1 in increasing order.
z, c, 1
Let z = -13 + 14. Let h be 6/(-17)*6/18. Let s = 0 + 0.5. Sort h, s, z in decreasing order.
z, s, h
Let h = 1 + 1. Suppose d = -h + 5. Let s = 20 + -22. Put d, s, -1 in descending order.
d, -1, s
Let q = -0.0876 + -0.1124. Sort q, -3/7, 10, -2 in increasing order.
-2, -3/7, q, 10
Let k be -2*(-2)/(-8)*10. Let v = 37 - 44. Let q be 6/3*v/(-14). Sort q, 0, k.
k, 0, q
Suppose -z - 8 = -2*w - 2*w, -z - 5*w + 19 = 0. Sort z, 2, 3 in decreasing order.
z, 3, 2
Let b = -5 + 2. Let l = 0.008 - -3.892. Let j = l - 3.4. Sort b, -0.2, j in decreasing order.
j, -0.2, b
Let r = 48.7 - 53.7. Let y = 1 + -2. Let u = r - y. Put 0.3, u, -5 in decreasing order.
0.3, u, -5
Suppose 17*g + 14*g + 155 = 0. Sort g, 4, 7, -0.03 in descending order.
7, 4, -0.03, g
Let q(a) be the first derivative of a**3/3 + 2*a**2 + 3*a + 7. Let t be q(-4). Put t, -3, 1 in ascending order.
-3, 1, t
Let u = 0 - -0.2. Let c = -0.7 + u. Let y be 6/(-9)*5/(-10). Sort c, 0, y in decreasing order.
y, 0, c
Let b be (-2)/5 - (10 + 603/(-45)). Put b, -6, 5 in ascending order.
-6, b, 5
Suppose -19 = -7*z - 26. Put z, -237, -4 in increasing order.
-237, -4, z
Suppose -3*x - 7 = 2. Suppose 4*j - 3 - 5 = 0. Suppose j*n + 6 = 2*q + 2, -3*n = -q + 6. Sort x, q, 1 in increasing order.
x, q, 1
Let r(n) = -3*n**3 - n**2 + n - 1. Let a be r(1). Let i be 9/21 + (-26)/28. Sort -1, i, a in descending order.
i, -1, a
Let j = -32 + 23. Let v = j - -7. Sort -6, 0.5, v in decreasing order.
0.5, v, -6
Let o = -14.7 - -3.7. Let v = -16 - o. Sort -0.4, v, 3/4, 0.1 in increasing order.
v, -0.4, 0.1, 3/4
Let z(o) = o - 7. Let a be z(6). Let t(f) = f**3 + 1. Let d be t(a). Suppose 5*q + 3*h = -19, 3*q + 8*q + 51 = -2*h. Put q, d, -1 in decreasing order.
d, -1, q
Let l(k) = k**2 - 6*k + 4. Let g be l(6). Let n be g/(-9) + (2 - 2). Put n, -0.3, 1/6 in ascending order.
n, -0.3, 1/6
Let b = 83 - 94. Sort 3/4, b, -4 in descending order.
3/4, -4, b
Let f = -433/2 + 218. Put -215, f, -4 in increasing order.
-215, -4, f
Suppose -3 = -3*b, 32 = -2*g - b - 13. Let t = 19 + g. Sort 2, 0, -3, t in increasing order.
t, -3, 0, 2
Suppose 26*o + 4 = 30*o. Put 4, 5, o, -2 in descending order.
5, 4, o, -2
Let g = 6 + -11. Suppose -511*x + 509*x + 2*q = -4, 3*q - 10 = -5*x. Let u(s) = -s**3 + 2*s**2 - 2. Let j be u(2). Put j, x, g in decreasing order.
x, j, g
Let b be (2/(-2) - 1) + 5. Let f be (b + -1)/((-2)/(-4)). Let r be 1 - 3 - (0 - 1). Sort r, f, 0 in decreasing order.
f, 0, r
Let x be (-240)/(-1200) - 8/(-10). Let f = 2 + -4. Sort -1, f, x, 5.
f, -1, x, 5
Let z = -34 - -41.2. Let i = 7.6 - z. Put 3/7, i, 0.2 in decreasing order.
3/7, i, 0.2
Let m be (-1)/(26/(-84) + (-11)/(-66)). Sort -5, m, -3, 5 in increasing order.
-5, -3, 5, m
Suppose 0 = -2*v - 5*l + 11 - 2, -3*v + 61 = -2*l. Suppose -k - k + 6 = 2*n, 3*n + 5*k = v. Suppose 3*f = -2*f. Sort 2, f, n in decreasing order.
2, f, n
Let m(v) = 3*v**3 - v. Let z be m(-1). Suppose 5*s + 15 = 0, -3*w = w + 2*s + 22. Put z, w, 4, -5 in descending order.
4, z, w, -5
Suppose -10*m + 23 = 3. Suppose 0 = -m*h - 8, -4*s - 12 = h - 3*h. Suppose -6 = -3*b - 0*b. Put b, s, 4 in descending order.
4, b, s
Let p = -1.7 - -2.1. Let a = 41 + -36. Sort -5, a, p.
-5, p, a
Suppose -3*r = 3*q + 6, 11*r - 5*q = 8*r - 22. Put r, 2, -125 in decreasing order.
2, r, -125
Suppose 0*g - 2*g = 0. Suppose 4*i - 60 = 3*m + m, -2*i = 0. Let p = m - -76/5. Put p, g, 1 in ascending order.
g, p, 1
Let x = 6.17 - 6.67. Put 1, x, 10/9, 0.2 in decreasing order.
10/9, 1, 0.2, x
Let q(j) = j**3 - 10*j**2 + 8*j + 11. Let i be q(9). Suppose 6*x - 4*x = -i. Put 5, x, 4 in ascending order.
x, 4, 5
Let r be 462/66 + (-5 - 2). Suppose 4*t - 4 = -t - 4*s, 0 = 4*s + 16. Put t, -17, r, -4 in descending order.
t, r, -4, -17
Let i(d) = -2*d**2 - 16*d. Let l be i(-8). Suppose -3*n + 17 = 4*k + 4, l = 3*k - 3. Sort n, -1, 4, -2 in decreasing order.
4, n, -1, -2
Let c be (-57)/38*52/(-6). Let f = -4 - 0. Let u be (-6)/9 - 5/(-3). Put f, u, c in descending order.
c, u, f
Suppose -5*z + 2*h + 143 = -122, 0 = -2*z - 3*h + 106. Let x = -29 + z. Let t = -29 + x. Put -4, t, 4 in decreasing order.
4, -4, t
Let c be ((-8)/3)/(16/(-24)). Suppose -5*p = 2*u - 5 + 2, -c*p + 16 = 5*u. Sort p, -4, 0 in ascending order.
-4, p, 0
Suppose 2*g = 5*o - 2*o + 19, -o + 5*g - 15 = 0. Put 0, 2, o in descending order.
2, 0, o
Let g be 5 - (-4 - 16/(-8)). Sort 3, 12, g in descending order.
12, g, 3
Let n = -2 + 2.3. Let a = -1.04 + 0.332. Let g = -0.008 - a. Put n, -3, g in ascending order.
-3, n, g
Suppose 4*y + 0*y + 2*t = 16, 2*y = t. Suppose 5*v = 2*m + 3, -3*v + 0 = m - 4. Sort -3, y, m.
-3, m, y
Let j(s) = s**2 + 4*s - 3. Let l be j(-5). Sort l, -0.05, -2/3, 1.
-2/3, -0.05, 1, l
Suppose 14*o = -771 + 729. Sort 833, o, -1 in increasing order.
o, -1, 833
Let h = -264 - -151. Sort h, -0.1, 5 in ascending order.
h, -0.1, 5
Let a be 4/3*3/(-2). Put -0.1, -2/7, a, -25 in decreasing order.
-0.1, -2/7, a, -25
Let g = -0.07 + -11.93. Let i = g - -8. Let n = -27 - -31. Sort i, -1/2, n.
i, -1/2, n
Let o = 14 + -10. Suppose -5*a + 18*j - 14*j + 63 = 0, 5*a - 53 = -j. Sort a, 3, 0, o.
0, 3, o, a
Let v = 21 + -41. Let h = 22 + v. Sort -0.05, 3/7, h in ascending order.
-0.05, 3/7, h
Let y be (-4)