 = -7*u + 3. Let w be y(2). Let d = w - -7. Put -1, d, 4 in decreasing order.
4, -1, d
Suppose -o - l = -1, -38 = -5*o + 5*l - 3. Let b = 0 - -2. Let i be 1/((15/6)/(-1)). Put b, i, o in decreasing order.
o, b, i
Suppose -5*l + 8*l + 4*l = 0. Sort -5, 1, l, -3.
-5, -3, l, 1
Let v = -107 - -108. Let l be (-4)/10 - (-4)/5. Put l, v, 0.2 in descending order.
v, l, 0.2
Let b be (12/8)/((-2)/(-4)). Suppose b*w + 12 = -w. Let u = 17 - 12. Sort u, 4, w in descending order.
u, 4, w
Let t be 2 - 5/(10/8). Let s be (2/(-1))/(-11 + -3). Sort s, -0.5, t in ascending order.
t, -0.5, s
Suppose -3*m + 0 = 24. Suppose 0 = -5*i + 3*k - 21, 0*k = -2*i - 3*k. Put m, i, -5 in increasing order.
m, -5, i
Let g = -78/7 + 220/21. Let o = 0.9468 + 0.0532. Sort g, o, 0.5 in descending order.
o, 0.5, g
Let t = 24/7 + -106/35. Put 1/2, t, 1 in descending order.
1, 1/2, t
Let t be (12/10)/(9*2/60). Let z(a) = -a**2 + 2*a - 2. Let i be z(2). Let k = i + 7. Put t, -2, k in increasing order.
-2, t, k
Suppose 0 = -5*d - 0*z - z + 8, 3*z + 8 = d. Sort -2, 3, d in descending order.
3, d, -2
Suppose 0 = 3*i + t + 21, 2*i + 3 = -0*i + 3*t. Let q be i/(-9) + (-4)/(-12). Put -0.5, q, 1/3 in decreasing order.
q, 1/3, -0.5
Let y = -4 - -6. Let j = 6 - y. Let z = 7.7 - 8. Sort j, z, -3/7.
-3/7, z, j
Let z = 1.3 + -1.3. Let n = -3.3 + -0.7. Sort z, 2, n in increasing order.
n, z, 2
Let k be 6 + -9 + 111/3. Let q be (-17)/k - (-2)/(-4). Sort q, 0, -2/3.
q, -2/3, 0
Let x = 3 - 3.3. Let d = 13.1 + -15.1. Sort 2/11, x, d.
d, x, 2/11
Let p = -14.3 + 14.2. Let l = 9/13 - 32/65. Sort 2, p, l in descending order.
2, l, p
Let i = -28 - -27. Sort 2/11, 12/13, i in decreasing order.
12/13, 2/11, i
Suppose 0 = -6*m - 14 - 4. Put m, 5, 2 in descending order.
5, 2, m
Let p = -1.6 + -2.4. Sort 0, -0.4, p in descending order.
0, -0.4, p
Let s = 48 - 48.5. Sort -10, -1, 0.1, s in decreasing order.
0.1, s, -1, -10
Let y(s) = 2*s + 68. Let a be y(-31). Sort -3, 5, a, -5 in descending order.
a, 5, -3, -5
Let a be 2 - ((2 - 3) + 3). Let u be ((-2)/8)/(a - 1). Let z = -0.09 - 0.11. Sort -4, z, u in descending order.
u, z, -4
Let y = -14.8 - -9.8. Put -0.3, 4, y in descending order.
4, -0.3, y
Let x = -6 - -6.1. Let w = x - -2.9. Let d = -2 + 2. Put w, d, 2 in descending order.
w, 2, d
Suppose 4*s - 6 = 5*g, -4*g + 22 = g + 3*s. Suppose -n = -g*n + 2. Sort 1, n, -4 in increasing order.
-4, 1, n
Let c = -1131.3 - -1040. Let l = c + 87. Let j = l + 4. Sort -0.1, j, -3 in ascending order.
-3, j, -0.1
Let f(a) = -a - 8. Let t be f(-4). Suppose -k + 0*k = 3. Put k, 3, t in decreasing order.
3, k, t
Let w = 3 - 4. Let d = -11 + 11.3. Let b = 2.7 + d. Put b, -3/4, w in decreasing order.
b, -3/4, w
Let z = 13 + -13.1. Let j = -12 - -13. Put -1/6, j, z in ascending order.
-1/6, z, j
Let w = -139/4 + 35. Sort -0.2, w, 1/23.
-0.2, 1/23, w
Let z(k) = -k**3 - k + 1. Let u(q) = -5*q**3 - 7*q**2 - 5*q. Let h(m) = u(m) - 4*z(m). Let o be h(-7). Put o, -0.3, 0.4 in ascending order.
-0.3, 0.4, o
Let h = 15.5 - 15. Put -3, h, -0.1, 2/7 in increasing order.
-3, -0.1, 2/7, h
Let v be 4/9 + (-4)/6. Let q = 238 + -233. Put v, q, 4 in increasing order.
v, 4, q
Let k be (-1)/(4/(16/(-1))). Suppose 4*q - y = 2*y - 29, -k*y + 2 = 2*q. Sort 4, 5, q in ascending order.
q, 4, 5
Let i = -1492/9 - -166. Let b = -0.1 + 0.1. Let o = 0.1 - b. Sort i, o, -5.
-5, o, i
Let t = -587 - -591. Let m be (2 + -1)/((-11)/(-2)). Put -2, t, m in decreasing order.
t, m, -2
Let w = 118 + -122. Let q = 0.03 - -0.57. Let l = 3.4 + q. Put w, l, 0.1 in ascending order.
w, 0.1, l
Let u be 0/(-4 + 2/2). Suppose 2*s - 2 = -4*h - u, 0 = -4*h + 3*s + 7. Put -4, 3, h in increasing order.
-4, h, 3
Let n = -0.052 - 0.048. Put -1, n, -5, -2 in descending order.
n, -1, -2, -5
Let p = 47/2 - 24. Let d be (-24)/(-10) + (-4)/10. Put 3, p, d in decreasing order.
3, d, p
Let r be ((-2)/(-1))/(20/(-6)). Let f = 0.9 - 0.6. Let x(b) = -b**3 + 2*b + 1. Let w be x(-1). Sort f, r, w.
r, w, f
Let z = -202 - -1816/9. Let o = 13/18 + z. Sort 5, -4/7, o.
-4/7, o, 5
Suppose -4*l + 36 = -13*l. Sort 0, l, 12.
l, 0, 12
Let z = 2/13 - -5/52. Let y = -1353/7 + 193. Sort -2, y, z in descending order.
z, y, -2
Suppose 8*o - 24 + 64 = 0. Sort 4, o, 1.
o, 1, 4
Let b be (-4 - (-61)/15)*27. Sort -2, 4, b in descending order.
4, b, -2
Let n(p) = 2*p. Let j be n(-1). Let q be (-3)/((-7)/3 - j). Let v = q - 5. Sort 0, -3, v in descending order.
v, 0, -3
Let u = 3 - 2. Let n = u - 3. Let f(i) = i**2 - 6*i - 4. Let j be f(7). Put n, j, 1 in descending order.
j, 1, n
Let g(j) = -j**3 - 11*j**2 - 8*j + 26. Let u be g(-10). Put 2, 3/8, u in increasing order.
3/8, 2, u
Suppose 0 = 5*h + 3 - 13. Let v be (-7)/(-2) - 1 - h. Let z = -1 - -1.2. Sort z, v, 0.1 in ascending order.
0.1, z, v
Let z = 4 - 14/3. Put z, -1/2, 2, 19 in ascending order.
z, -1/2, 2, 19
Let r be (-4)/(-10) - (-73)/5. Suppose -5*q = -2*j + j - r, -11 = j - 3*q. Sort -2, 2, j in decreasing order.
2, -2, j
Let x(t) = 8*t + 4. Let r be x(3). Suppose -2*y = 4*i - 28, 4 = -4*i - 4*y + r. Let m be (3/12)/(2/i). Put -3, -1, m in ascending order.
-3, -1, m
Let d = -81 - -81. Put d, 23, 2 in increasing order.
d, 2, 23
Suppose -4*o + 4 = 0, -3*w + 2*o - 19 + 2 = 0. Suppose -u = i - 1, 0 = 5*u - 4*i - 3 - 38. Sort w, u, 3.
w, 3, u
Let c(r) be the first derivative of r**2/2 + r - 2. Let g be c(-5). Let w be (2 - 2)/(-2) + 0. Sort g, 3, w.
g, w, 3
Let b(r) = 2*r**3 + 2*r - 2. Let w be b(2). Let i be (-2)/w*(-6)/4. Let t be (-1 + (-3)/(-3))/(-1). Sort t, -4, i in descending order.
i, t, -4
Let f = -2 + -8.5. Let j = -11 - f. Sort j, 1, 3.
j, 1, 3
Suppose 7*k - 3*k - 16 = 0. Put 3, k, -3 in decreasing order.
k, 3, -3
Suppose 70 = 3*b + p, -26 = 3*b - 4*b + p. Put -1/7, b, -5 in ascending order.
-5, -1/7, b
Suppose -3*p + 2*p - 18 = 4*t, -t - 9 = -2*p. Let b be 1 + -1 + (-26)/39. Sort t, 0.3, b in descending order.
0.3, b, t
Let q = -1.33 + 0.23. Let f = -0.9 - q. Let j = -0.4 - -0.2. Put j, -2, f in ascending order.
-2, j, f
Let h be (-7)/(-6) - (-4)/(-6). Let r = 237/7 - 234/7. Sort r, h, 2/9 in descending order.
h, r, 2/9
Suppose -34 = -21*p + 4*p. Suppose 0 = -6*l + l - 15. Let g = l + 4. Sort g, p, 4.
g, p, 4
Let i be 0/2 - (-3 - 0). Suppose 3*c = 3*k + 15, 2*c - 12 = -k - 5. Put i, -5, c in ascending order.
-5, i, c
Suppose -a + 2 = 2*x + 6, x + 2 = 0. Suppose -5*j + 2*j + 3 = a. Sort -3, j, 4 in decreasing order.
4, j, -3
Let a be -1 + 6*2/(-3). Sort a, 5, -2 in ascending order.
a, -2, 5
Let y = 0 - 0. Put -0.4, y, -1.3 in decreasing order.
y, -0.4, -1.3
Let u be (1/((-50)/4))/((-10)/(-50)). Sort u, 1, 3/7 in decreasing order.
1, 3/7, u
Let s be 2*(-4)/(-24)*0. Put s, -3, 2 in ascending order.
-3, s, 2
Suppose -2*z + l + 2 = 0, -4 = l - 2*l. Sort -3, z, 0.
-3, 0, z
Let m = -14 + 11. Sort -0.1, 3, m.
m, -0.1, 3
Let b = 0.003 - 4.003. Sort 0.3, 4, -0.1, b in ascending order.
b, -0.1, 0.3, 4
Let d = -0.17 + 1.17. Let q = 0.9 - d. Put -3, 6, q in descending order.
6, q, -3
Let j = -9.2 + 0.2. Let p = 10 + j. Sort 0.2, p, -5 in increasing order.
-5, 0.2, p
Let v = -0.66 - 0.34. Let z = 3 - 2.8. Sort z, v, 5 in descending order.
5, z, v
Let p = -43 + 130/3. Let j be (-8)/(-28)*(-7)/(-3). Sort -2/25, j, p in increasing order.
-2/25, p, j
Let o = 7 + -10. Let k(q) = -q**3 - 2*q**2 - q + 3. Let n be k(o). Let h = 10 - n. Sort 3, 4, h.
h, 3, 4
Let u be (-3 + 3)*(-2)/(-4). Suppose 0 = -u*h - 2*h + 18. Suppose 0 = -5*n + 2*n - h. Sort 3, n, 5 in decreasing order.
5, 3, n
Let f be (2/(-6))/((-1)/9). Suppose 0 = i - f - 0. Suppose 3*o + 3 + i = 0. Put o, 5, 2 in increasing order.
o, 2, 5
Suppose 48*y = 37*y - 33. Sort 0, y, 1 in decreasing order.
1, 0, y
Let b be ((-8)/(-10))/((-10)/25). Let y = 1 - -2. Suppose y*i - 3 = -6. Put 2, b, i in decreasing order.
2, i, b
Let i = 0.06 + -0.56. Let a = 36 + -40. Sort a, i, 4.
a, i, 4
Suppose q - j + 11 = 0, -q - 49 = 3*q - 5*j. Let n be q/(-1) - (9 - 8). Sort 6, n, 1 in descending order.
6, n, 1
Let m = -58 - -63. Sort 3, m, 4, -1 in decreasing order.
m, 4, 3, -1
Let u = -1 - -4. Let g be 14*(-2 - 636/33). Let j = -298 - g. Sort -1/3, j, u.
-1/3, j, u
Let a = 2/27 + 44/135. Sort a, 2, -4 in ascending order.
-4, a, 2
Let k be (2/(-16))/((-2)/(-4)). Let j = 58 + -28. Let m = 94/3 - j. Put m, 2, k in decreasing orde