et w = y - 8. Put 2, w, 5 in ascending order.
w, 2, 5
Suppose 7*f + 16 = -5. Put f, 3, 1, -1 in descending order.
3, 1, -1, f
Let a = -17 - -9. Let y be (2/(-20))/((-2)/a). Sort -3, y, 1 in decreasing order.
1, y, -3
Let j = 177 + -174. Suppose -r + 25 = -6*r. Sort j, r, -4 in ascending order.
r, -4, j
Let i = 0.153 - 0.053. Put 0.4, -3, i, 2/31 in descending order.
0.4, i, 2/31, -3
Let b(t) = -t**3 + 6*t**2 - 1. Let j be b(6). Suppose 5*v = -5, -2*v + v = -m + 7. Suppose 5*l = m*l + 3. Put l, 4, j in decreasing order.
4, j, l
Let j = -15.8 + 2.8. Let n = j - -8. Sort -0.2, n, 0.5 in ascending order.
n, -0.2, 0.5
Let n = -0.27 + -0.63. Sort n, 1, 4 in ascending order.
n, 1, 4
Suppose 0 = -q - q + 2. Let r = -5 + 1. Sort r, q, 2 in descending order.
2, q, r
Let b = 13 + -13. Let k(r) = -r**3 + r**2 - r + 2. Let p be k(b). Sort p, -4, 14 in descending order.
14, p, -4
Suppose 7 = 2*d + 1. Suppose 2*h - d*c = 21, -4*h - 5 = 2*c - 7. Sort -1, -1/4, h in decreasing order.
h, -1/4, -1
Let c = 24 + -23.6. Sort -5, c, 0.05, -0.5 in descending order.
c, 0.05, -0.5, -5
Let n be (-22)/(-26) - 10/(-65). Suppose -i = -3*i. Let t(c) = c**3 + 4*c**2 - c - 2. Let l be t(-4). Sort n, i, l in ascending order.
i, n, l
Let p(a) = a**3 - 2*a**2 + a - 2. Let g be p(2). Let u = -4 + 6. Suppose -2*v + 6 = -u. Sort 2, v, g in decreasing order.
v, 2, g
Let v(x) = x**2 + 10*x - 6. Let s be v(-11). Let m = s - 13. Let w = 4 - 7. Put m, -1, w in decreasing order.
-1, w, m
Suppose 72 = q + 5*q. Sort q, 4, 3.
3, 4, q
Let i = -3538/15 - -236. Put i, 0.3, -3, 0.9 in descending order.
0.9, 0.3, i, -3
Suppose -2*x + 5*a - 6 = 0, -6 = x - 2*a - 3. Suppose -4*g + 1 = 5. Let r(j) = -j + 6. Let d be r(3). Sort x, d, g in decreasing order.
d, g, x
Let k = 1.6 + -1.1. Sort k, 3, -1/4 in increasing order.
-1/4, k, 3
Let a be (-1)/8*(10 + -457). Let p = a - 56. Let v = -2 + 0. Sort -0.1, v, p.
v, p, -0.1
Let x(u) be the first derivative of u**4/4 + 4*u**3/3 - 5*u**2/2 - 5*u - 1. Let k be x(-5). Sort 4, k, -2 in decreasing order.
4, -2, k
Let z be 50/4*8/5. Suppose 0*s = -5*s + z. Suppose c = -1 - 2. Put c, s, -2 in increasing order.
c, -2, s
Suppose 94*s + 2 = 95*s. Let t = -14 - -10. Sort t, -3, s in descending order.
s, -3, t
Let c = -1.79 - 0.21. Let j = 1508074/45 + -33511. Let s = 14/9 - j. Sort 2, s, c in descending order.
2, s, c
Let f be 56/21*3/2. Let y = 0 + 1. Suppose -3*w = 5 + 4. Sort w, f, y in decreasing order.
f, y, w
Let o = -10 + 5. Sort 1/2, o, -2/9 in descending order.
1/2, -2/9, o
Let s(v) = v**2 + 7*v - 2. Suppose -35 = 8*c - 3*c. Let f be s(c). Put -5, 2, f in decreasing order.
2, f, -5
Let x = 4.6 + -5. Let l = -49.8 - -46. Let a = 0.8 + l. Sort -0.2, a, x in increasing order.
a, x, -0.2
Suppose -s - 13 + 6 = -3*v, 5*v = 5*s - 5. Sort s, -2, 1 in descending order.
s, 1, -2
Suppose -2*u - 2 = -3*u, 0 = 3*o - 2*u + 10. Suppose -g - 2 = -5. Sort -4, g, o in ascending order.
-4, o, g
Let b = -4 + 8. Suppose 0 = 3*j + 5 + b. Sort 2/3, j, 0 in increasing order.
j, 0, 2/3
Let q = 0.02 + -0.07. Let n = q + -2.95. Put n, 0.4, 0 in decreasing order.
0.4, 0, n
Let t = 18 - 8. Suppose 3 = -13*c + t*c. Put -5, c, 5 in ascending order.
-5, c, 5
Let l = 1471/13 - 113. Sort -0.4, 0.15, l in decreasing order.
l, 0.15, -0.4
Let h be 1/3 + 20/(-6). Suppose 16*v = 21*v - 25. Sort v, h, 3 in increasing order.
h, 3, v
Let p be 2/(-8) - 162/24. Let f(k) = -k**2 - 6*k + 10. Let q be f(p). Put q, -2/19, -4 in ascending order.
-4, -2/19, q
Let p(f) = -f**3 + 5*f**2 + 7*f - 7. Let x be p(6). Let r be (-95)/20 - x/(-4). Let o(z) = z - 10. Let g be o(7). Sort -1, r, g.
r, g, -1
Let f be (-4)/(-12)*(-1 + -2). Put 0, f, 5, -2 in descending order.
5, 0, f, -2
Suppose 0 = 2*d - 6*d + 20. Let r = -3 - -6. Let x = r - 2.9. Put 1, d, x in decreasing order.
d, 1, x
Suppose 3*w - 10 = q, 5*q + 0*w + 67 = -2*w. Put -5, -4, q in descending order.
-4, -5, q
Let d = 24 + -29. Sort d, -1, 1 in ascending order.
d, -1, 1
Let w(g) = -10*g**3 + 3*g**2 - 2. Let y be w(1). Put y, -5, 1 in decreasing order.
1, -5, y
Let w(v) = v + 12. Let j be w(-11). Let s = 0 + 0.2. Put j, s, -4 in decreasing order.
j, s, -4
Let w(f) = -f + 5. Let y be -2 - ((-2)/(-1) + -9). Let k be w(y). Suppose 5*i - 9*i = k. Sort 3, 4, i in decreasing order.
4, 3, i
Let w = 1 + -6. Let d(o) = -o**2 - 6*o - 3. Let z be d(w). Let k = -7 + 4. Put -5, k, z in decreasing order.
z, k, -5
Let h be (-2)/7 + 26/91. Put h, -7, -4 in descending order.
h, -4, -7
Let t be (51/4)/((-1)/4). Let x = -151/3 - t. Let g = -6.9 + 1.9. Sort x, 1/5, g in increasing order.
g, 1/5, x
Let s = 6 + -6.3. Let w = 9.12 - 0.12. Let h = w - 5. Put h, s, -1 in increasing order.
-1, s, h
Let a be (6/9)/((-1)/3). Let b be (-2)/a + -1 + 2. Sort 0, b, -5.
-5, 0, b
Let p = 11.7 - -1.3. Let m = -9 + p. Let n = 1 - 2. Put m, n, 1/4 in descending order.
m, 1/4, n
Let n = 12 - 8. Suppose 2*i - n = -2*i. Suppose -3*f + 4 = -4*w, -f - 3*f + 6 = -5*w. Sort w, 5, i in decreasing order.
5, w, i
Let k = -0.07 + 0.27. Put -1, -4, k, 1/2 in descending order.
1/2, k, -1, -4
Let n = -3 + 4. Let p = -1 - -2. Let z be ((-3)/1)/(-2 + p). Put z, n, -5 in decreasing order.
z, n, -5
Let b = 4 - 2. Put 5, b, 0.4 in descending order.
5, b, 0.4
Let h = -0.2 - -0.7. Let l = h + -0.1. Let m = 0 - l. Put -2/9, 4, m in descending order.
4, -2/9, m
Let q = -65 - -60. Put q, -4, -3, 1 in ascending order.
q, -4, -3, 1
Let u = -3.7 - -0.7. Let k be (-8)/2 + 60/14. Sort u, k, -0.3 in descending order.
k, -0.3, u
Suppose 0 = -11*z + 3*z + 24. Sort 2/37, z, 0.1, 5/4 in increasing order.
2/37, 0.1, 5/4, z
Let p(t) = t**3 - t**2 + t. Let z be p(1). Let b = 3.8 - 3.4. Sort b, z, 2/7 in increasing order.
2/7, b, z
Let f = 1.863 + 0.137. Suppose d + a - 8 = 5*d, -7 = 5*d - 2*a. Let t = 0 - 5. Sort d, f, t in ascending order.
t, d, f
Let f = -3 - 0. Let q = -5.835 - -0.135. Let w = q + 0.7. Sort w, f, 0.3 in decreasing order.
0.3, f, w
Let d = -94 + 90. Put 0, d, 2, -1 in increasing order.
d, -1, 0, 2
Let h = -1.9 - -2. Let g = 4.97 + 0.03. Sort g, h, -0.3 in increasing order.
-0.3, h, g
Suppose 4*m - 5*c = -1, -5*c - 6 = -5*m - 6*c. Suppose x = -0 + m. Sort 0.1, -4/7, x in ascending order.
-4/7, 0.1, x
Let m be -16 + 17 + -3*1*-1. Put 0, 1, m in ascending order.
0, 1, m
Let n = -5.4 - -5. Let z = -20.3 - -23.3. Put z, 3/7, n in decreasing order.
z, 3/7, n
Let h = 65 + -64. Put 2, h, 0.5, -2 in decreasing order.
2, h, 0.5, -2
Suppose 15*r = 19*r + 12. Let u = -3 + 2. Put 0, u, r in ascending order.
r, u, 0
Let h = 1.1 + -0.4. Let r = -0.34 + h. Let i = r + -0.4. Put -3, 2, i in decreasing order.
2, i, -3
Suppose 5*v = 3*d - 15, -2*v = -v + 3*d + 3. Let j(g) = g**3 + 2*g**2 - 3*g - 3. Let m be j(v). Let x = -1 - -1. Put m, -1, x in descending order.
x, -1, m
Let q(j) = -j - 9. Let i(d) = 2*d + 19. Let l(g) = -6*i(g) - 13*q(g). Let c be l(0). Sort c, -2, -4 in descending order.
c, -2, -4
Let b(d) = -2*d - 4. Let g be b(-4). Suppose -l + 5*l = -8. Let s be 6*(0 + l)/4. Put s, 0, g in decreasing order.
g, 0, s
Let y(g) = 21*g - 1. Let h(x) = 62*x - 4. Let i(n) = 6*h(n) - 20*y(n). Let u be i(-3). Let b = 978/7 - u. Sort 0.1, 0, b in ascending order.
b, 0, 0.1
Let n be (6 + -1)/1 + 0. Suppose 5*w - 10 = -5*a, a - 18 + 10 = -4*w. Sort -0.1, w, n in decreasing order.
n, w, -0.1
Let s = 47/2 - 24. Let q be 10/36 + (-16)/(-88). Let n = -5/18 + q. Put n, -2, s in descending order.
n, s, -2
Let q = -0.8 + 1. Let d = -3.01 - -0.01. Sort q, 4, d.
d, q, 4
Suppose -16 = -2*x - 6. Put 2, 0, 9, x in increasing order.
0, 2, x, 9
Let s = -128 - -127. Put s, -9, -3 in descending order.
s, -3, -9
Let n = 2.96 + -3. Let g = -15.74 + 16. Let z = g - n. Put 1/4, -1/4, z in descending order.
z, 1/4, -1/4
Let t = 0 + 0. Let i be (12/(-39))/(10/(-65)). Put t, 4, i in ascending order.
t, i, 4
Let r = 17337/11 + -7959586/5049. Let a = 19735/76329 + 2/2827. Let v = a + r. Put v, 1, -3 in descending order.
1, v, -3
Let z be (4/3)/(6/9). Suppose -6*x + 5*x = -z. Sort 3, x, 1.
1, x, 3
Let x = 20.7 - 21. Let l = 1 - 2. Let f = l + 0. Put x, f, 0.4 in increasing order.
f, x, 0.4
Suppose -x + 15 = 14. Let w = 9 + -6. Put w, x, -1 in increasing order.
-1, x, w
Let c = -8.1 + 8.4. Sort -1/6, 4, c, 5 in decreasing order.
5, 4, c, -1/6
Suppose -2*x 