. Put -0.4, t, w in descending order.
w, t, -0.4
Let m = -35 - -31.9. Let q = 1.9 - m. Put -4, 2, q in ascending order.
-4, 2, q
Let v be 8/(-6)*(-3)/2. Let g be (-2)/6 - v/(-2). Let c = 2.9 - 3.9. Put g, c, -1/2 in decreasing order.
g, -1/2, c
Suppose 0 = 2*f + 6, -4*u + 14 + 5 = -f. Let h(w) = w**2 + 5*w - 4. Suppose 2*g + 5 = g. Let p be h(g). Put u, -1, p in ascending order.
p, -1, u
Let z(b) = b**2 + 5*b + 4. Let t be z(-4). Suppose 2*a - 2 + 4 = t. Let q be ((-12)/(-50))/(6/(-20)). Sort a, q, -0.1 in decreasing order.
-0.1, q, a
Let t = -47 + 49.8. Sort -5, 0.2, t in descending order.
t, 0.2, -5
Suppose -11 + 3 = 2*q, 0 = -5*t - 4*q - 6. Put 0, -1, t, 1 in ascending order.
-1, 0, 1, t
Suppose -3*v + 5*v + 4 = 0. Let y be 2/(-6)*v/4. Let t = 4.3 - -0.7. Sort t, y, -1/12 in decreasing order.
t, y, -1/12
Let y be 77/28 - 6/8. Suppose -w = y*o + w - 8, -4*w = 3*o - 13. Let z = -0.05 - 2.95. Sort z, 0, o.
z, 0, o
Suppose m + m + 2 = 0. Suppose -2*r + 4*r = -4. Put 5, m, r in increasing order.
r, m, 5
Suppose -2*u - 34 = -2*m - 12, -2*u - 14 = -m. Sort m, -4, 1 in ascending order.
-4, 1, m
Let n = -6 - -8. Suppose 4*s + 5*r + 0 = 3, -s - 9 = -n*r. Let g = -13 - -13. Put 5, s, g in ascending order.
s, g, 5
Suppose 2*l + 7 = -3*u - 10, 3*l = -2*u - 13. Sort 5, l, 1 in decreasing order.
5, 1, l
Let l(t) = 3*t**2 - 8*t + 7. Let z be l(1). Sort -0.3, 0.3, z, -2/7.
-0.3, -2/7, 0.3, z
Let u = 4 - 3.6. Suppose 5*y = 8*y - 15. Sort u, 0.3, y.
0.3, u, y
Suppose c + 1 = -1. Suppose -r - 4 = -3. Let i = r - -6. Sort c, 3, i in decreasing order.
i, 3, c
Let o = -3.57 - -0.57. Put o, 2/7, 1, -5 in decreasing order.
1, 2/7, o, -5
Let o = 0.7 + 0. Let y = o + -0.2. Let h = 0.9 - 1. Put 5, h, y in increasing order.
h, y, 5
Suppose 0 = -o + 6*o. Let u = 0.17 - 1.97. Let x = u - -2. Sort x, 4, o in ascending order.
o, x, 4
Suppose 4*s - 5*x = 3, -3*s - 5 = -2*x - 2. Put -7, 4, s in descending order.
4, s, -7
Let k = -1.9 - -9.9. Let b = 7 - k. Let s = -1 + 4. Put s, 5, b in decreasing order.
5, s, b
Let r = 0.2 + -0.18. Let d = r + -0.02. Put d, 1, 4/9 in decreasing order.
1, 4/9, d
Let k = 0.3 + -4.3. Let z = 4.3 - 4. Put k, z, -0.4 in ascending order.
k, -0.4, z
Let c = -1156.99 + 1152. Let o = 8.99 + -9. Let n = c + o. Sort n, 0.2, 4/3 in decreasing order.
4/3, 0.2, n
Let a(h) = -2*h**2 - 12*h + 11. Let t be a(-9). Let z = -128/3 - t. Let b(d) = d - 1. Let u be b(-3). Sort u, z, -3/8.
u, -3/8, z
Let a = -1 + 0. Let h(w) = 3*w**3 + 2*w**2 + 2*w + 1. Let l be h(a). Let c be l/(-2) + (-15)/21. Sort c, -3/2, 0.4 in increasing order.
-3/2, c, 0.4
Let q be (-12)/9*(0 + -3). Let f(y) = y**3 - 8*y**2 + 7*y + 5. Let c be f(7). Put c, q, 0 in descending order.
c, q, 0
Let s = 4.5 + -5. Let r be 1*(-1 - -2 - 0). Let h be 4/(-3)*r/(-6). Sort s, 1, h in ascending order.
s, h, 1
Let i = -0.19 + -5.41. Let y = 6 + i. Let g = -10 - -11. Sort y, -1, g in decreasing order.
g, y, -1
Let u be -1*(-1 + 4/8). Sort 0.4, u, -0.1 in descending order.
u, 0.4, -0.1
Suppose 0 = -8*z + 3*z + 40. Sort 5, z, -2 in decreasing order.
z, 5, -2
Let r = -13.6 - -14. Sort 0, r, 26 in descending order.
26, r, 0
Let u be (-3)/12 + (-26)/(-8). Suppose 0*b - 18 = -b - 4*m, -2*b + m = 0. Suppose 4*v - 3 = -g, -b*v = -4*v - g + 3. Sort u, -4, v.
-4, v, u
Suppose -f = -5*f. Let u be ((-3)/(-39))/(3/6). Let b(n) = -n**3 + 3*n**2 - 2*n + 4. Let y be b(3). Sort u, f, y in decreasing order.
u, f, y
Let o be (9/(-6)*2)/46. Let c = -101/138 - o. Let i = 0.2 - -0.8. Put i, c, 0.5 in decreasing order.
i, 0.5, c
Let f = 239 + -951/4. Put f, -2, 0.1, -5 in descending order.
f, 0.1, -2, -5
Let o = 3 + 0. Let s(u) = u**2 - 3*u + 1. Let z be s(4). Let m(w) = -w**2 + 8*w - 10. Let r be m(7). Sort z, r, o in descending order.
z, o, r
Let r be ((-4)/6)/(10/(-6)). Let k = -0.016 - -21.016. Let q = 22 - k. Sort r, 4, q in ascending order.
r, q, 4
Let a = -1 + -1. Let p(o) = -o - 4. Let w be p(-5). Sort w, a, 4.
a, w, 4
Suppose 6*u - 3*u = 0. Suppose -5*j = -u*j. Put 2, -3, j in increasing order.
-3, j, 2
Let v = 12.9 + -13. Let d = 2.1 + v. Sort 4, -1, d in descending order.
4, d, -1
Let f = 19 + -18. Let a = 0 - -3. Put 3/4, f, a in descending order.
a, f, 3/4
Let z = -2 + 4. Suppose -z*c + p = -2*p - 13, -10 = -c + 5*p. Suppose 0 = 5*o - 8*o + 5*l - 3, 0 = 5*l. Put c, 0, o in decreasing order.
c, 0, o
Let j be ((0/(-4))/4)/(-3). Put j, 3, -3 in increasing order.
-3, j, 3
Let y be 3*(-3)/(-9) - 85. Let x be -2 - -1 - 22/y. Let j = x - -4/7. Put j, 0, -5 in descending order.
0, j, -5
Let y = -16.4 + 9.4. Sort y, 4, 3 in ascending order.
y, 3, 4
Let a be 3/(-6)*2 - -1. Suppose -4*c = -c + 9. Let w(i) = -4*i**3 - 2*i**2 + i. Let s be w(1). Put s, c, a in decreasing order.
a, c, s
Let o = -1 + -2. Let j be (-8)/(-6)*o/(-2). Sort 0, 3, j in increasing order.
0, j, 3
Suppose -4*a - 22 = 3*n - 3*a, 10 = 5*a. Let c be ((-5)/2)/((-4)/n). Suppose 4*l + 8 = 2*l. Put -1, l, c in increasing order.
c, l, -1
Let h(l) = l**3 + 5 + 7*l**2 - 8*l + 8*l. Let o be h(-7). Put 0.5, o, 0.2 in descending order.
o, 0.5, 0.2
Let j = 0.4 + 0.1. Let y = 3.9 + -4. Put -0.2, j, y in ascending order.
-0.2, y, j
Let z(k) = k**2 - 5*k - 7. Let b be z(5). Let j = -6 - b. Put 2, 0, j in ascending order.
0, j, 2
Let a = 0.2 - 0.4. Let r = a - 0.3. Let x = -0.53 + 0.43. Sort -4, x, r.
-4, r, x
Let u = 16 + -15.3. Let w = 0.76 - u. Let s = 0.36 - w. Sort -4, s, 0.4.
-4, s, 0.4
Let q = 19 + -22. Sort -2, -4, q, 4 in increasing order.
-4, q, -2, 4
Let a = -21 - -127/6. Let o = -2 - -3.1. Let f = o - 1. Put f, a, 1/4 in descending order.
1/4, a, f
Let v be (3 - -41)/(0 + 1). Suppose -g = -4*x - 0*g + 50, -4*x - 2*g = -v. Let y = x + -7. Sort 2, -1, y in ascending order.
-1, 2, y
Let x = 7205/17 + -424. Sort -2, 5, x.
-2, x, 5
Let b(f) = -2*f**2 - f. Let g be b(1). Sort -4, g, 9 in descending order.
9, g, -4
Suppose 2*d - 33 + 3 = 0. Let n be (-6)/d + (-22)/(-5). Sort n, -9, -5 in decreasing order.
n, -5, -9
Suppose 0 = -4*k + 9 - 1, -4*n = 5*k - 6. Sort n, -4, 4.
-4, n, 4
Let f be (-1)/6 - (-155)/30. Put -6, -5, f in ascending order.
-6, -5, f
Let c(d) = 2*d**2 + 2*d - 2. Let x be c(2). Let t = -3 - -5. Put t, x, 3 in descending order.
x, 3, t
Let a = 5 - 5. Let k = a + 0.4. Put -5, k, 2/19 in decreasing order.
k, 2/19, -5
Let p = 8 - 14. Let x = -6.2 - p. Put x, -0.3, -0.1 in decreasing order.
-0.1, x, -0.3
Let y = 0.11 + -0.04. Let m = y + -0.37. Sort m, -3, 5 in decreasing order.
5, m, -3
Let b(u) = -2*u + 51. Let m be b(23). Let s be 11/8 - (-1)/(-1). Sort -2, m, s in ascending order.
-2, s, m
Suppose 2 + 2 = p. Suppose p*z - 3*r - 13 = 3*z, -2*z - 5*r - 29 = 0. Let l = 1 - z. Sort -4, l, 4 in descending order.
4, l, -4
Let w(c) = c**2 - 5*c + 2. Let p be w(3). Let h(n) = 5*n + 14. Let x be h(-6). Let r = 17 + x. Put 4, p, r in decreasing order.
4, r, p
Let r = -14/29 - -195/464. Sort r, 0.4, -1 in descending order.
0.4, r, -1
Let d = -8 - -39/5. Sort -0.4, d, -3.
-3, -0.4, d
Let i = 6 + -11. Let g be 4 + -2 - (-9)/(-3). Sort 1, i, g.
i, g, 1
Let b(m) = m**3 - 2*m**2 - 2*m - 2. Let r be b(3). Put -9, 2, r in ascending order.
-9, r, 2
Let q = -7 - -7.2. Sort 0.1, 6, q in descending order.
6, q, 0.1
Let t = -13 - -9. Suppose -s + 0*s = -4*i - 12, 4*s + i = -3. Put t, s, -3 in ascending order.
t, -3, s
Suppose -2*d - 8 = -40. Let g = 47/3 - d. Put g, -1/2, 3 in descending order.
3, g, -1/2
Let v = 2/43 + 76/215. Sort 0, 0.2, -2, v in descending order.
v, 0.2, 0, -2
Let p = -0.0422 + 10.2022. Let o = p - 0.16. Sort o, 4, -3 in decreasing order.
o, 4, -3
Let k = 0.8 + -1.8. Let x be -2 + 1 + (-8)/(-2). Sort x, k, 2/15 in decreasing order.
x, 2/15, k
Let r(s) = s**3 + 21*s**2 - 10*s - 213. Let k be r(-21). Let l = -8 - -4. Suppose 0 = -x - 3*x + 4, 4 = m + 2*x. Sort k, l, m in ascending order.
l, k, m
Let b = 3 - 1. Let h = 6 - 3. Let t = h + -2.9. Sort b, t, -2 in descending order.
b, t, -2
Let t be (0 + 2)*(-6 + 5). Sort 1, t, 4.
t, 1, 4
Let s = -13 + 9. Put -0.3, -0.5, s in ascending order.
s, -0.5, -0.3
Suppose 0*i - 25 = -4*h - i, -5*i + 35 = 5*h. Let a = -8 + 20. Suppose -p = 5*p + a. Sort p, h, -1 in ascending order.
p, -1, h
Let q be (112/(-64))/((-2)/8). Suppose 4*r = -2*o - o + 3, -4*r - o = q. Sort r, 0.2, 3/2.
r, 0.2, 3/2
Let s(k) be the first d