Let d be 2*(-1)/u + 6. Sort d, c, 1.
c, 1, d
Suppose 2*n + 3*n = 4*j - 8, n - 11 = 5*j. Sort 0, 4, -1, j in descending order.
4, 0, -1, j
Let i = -13/7 + 2. Let b(w) = -3*w**2 - 2*w. Let o be b(-2). Let c = -4 - o. Put 0.3, c, i in descending order.
c, 0.3, i
Let t = -0.22 + 0.02. Put 1, t, 3 in ascending order.
t, 1, 3
Let t = 1.6 + -11.6. Let h = -9.9 - t. Sort 1, h, 2/13 in decreasing order.
1, 2/13, h
Let q = 23 + -14. Let n = q - 5. Sort -5, -1, n in descending order.
n, -1, -5
Let n be (-3)/15*-128 - -1. Let y = n - 26. Put -4, y, -0.3 in increasing order.
-4, -0.3, y
Suppose -16*r - 17 = 15. Let t = -0.3 + 0. Sort t, 2, r in descending order.
2, t, r
Let n = -5 - -4.9. Put -1/8, 0.2, n in ascending order.
-1/8, n, 0.2
Suppose -2*w - 2*m = w - 14, 3*w - 5*m = 7. Let g = 6 + -5.94. Let h = 2.06 - g. Sort w, -3, h.
-3, h, w
Suppose 2*q = -2*q + 16. Put q, -3, 6, 3 in decreasing order.
6, q, 3, -3
Suppose 5*w = z - 5*z - 17, 3*z - 2*w + 7 = 0. Suppose -4*n + 1 = -11. Let c(b) = -b**3 - 19*b**2 + b + 17. Let u be c(-19). Put u, n, z in descending order.
n, u, z
Let j = -128 + 124. Sort -2, j, 3, 5.
j, -2, 3, 5
Let c be (-21)/12 + 1/2. Let o = c - -7/12. Let f = -9 - -4. Put o, f, -0.5 in decreasing order.
-0.5, o, f
Let z = -1.2 + -3.8. Let m be (-49)/(-84)*(-2)/(-49). Let w = 121/210 + m. Put z, w, -0.2 in descending order.
w, -0.2, z
Let y = 22 + -27. Put 2, 5, y in decreasing order.
5, 2, y
Let o be 8/((-2)/1) - -1. Let s be (o/(-6))/((-2)/(-10)). Put -0.2, -1/6, s in descending order.
s, -1/6, -0.2
Let l = 22 + -18. Put l, 3, 1 in increasing order.
1, 3, l
Suppose -15*l + 51 = -32*l. Let x = -8 - -3. Put 1, x, l in descending order.
1, l, x
Let g = -2/259 - 484/4403. Put -4/9, -5, -2, g in descending order.
g, -4/9, -2, -5
Let u = -17 + 12. Let z = 6 + -2. Put z, -2, u in descending order.
z, -2, u
Suppose 0 = -4*a + 19 - 19. Put -5, 5, a, 2 in decreasing order.
5, 2, a, -5
Let j be (-12)/4 + (7 - -1). Put -3, j, -0.3 in decreasing order.
j, -0.3, -3
Let z = 25 - 26. Suppose 0 = 2*o - 2*i - 18, -3*o - 3*i = -o + 7. Put z, o, 1 in descending order.
o, 1, z
Let b = -11 + 12. Sort 3, b, 4 in increasing order.
b, 3, 4
Let l = -0.2 + 0.5. Let n = -4 - -5. Suppose 5*a + 29 = 2*b - 0*b, -a + n = 3*b. Put l, 5, a in increasing order.
a, l, 5
Let w = 147 - 147. Sort 10, -5, w in ascending order.
-5, w, 10
Let k be -3*(-6)/(-9)*2. Let u be 2 + (-4)/((-12)/9). Let p(l) = l**3 - 9*l**2 + 8*l. Let w be p(8). Sort k, w, u.
k, w, u
Suppose -5*s + 3*o - 9 = 20, 4*o = -3*s. Sort s, 0.4, -0.4 in ascending order.
s, -0.4, 0.4
Suppose 3*w + 5*o = 19, -5*w - 2*o + 6 = -13. Suppose -3*d = x + 2, -3*d = x + w*x - 10. Sort x, 2, -1 in ascending order.
-1, 2, x
Suppose -1 - 5 = -2*t. Suppose 0 = -t*l + 10 + 5. Put -3, -4, l in increasing order.
-4, -3, l
Let w be ((-7)/42)/(2/(-16)). Let g = -1/9 - -23/45. Sort w, 1/3, g in ascending order.
1/3, g, w
Let d be (-51)/17*(-1)/1. Sort -4, 1, d in descending order.
d, 1, -4
Let t be (-4)/(((-4)/6)/((-2)/(-3))). Suppose 3*z - z - 5*b = -10, -z - 5 = 3*b. Sort z, -1, t in descending order.
t, -1, z
Let z = -0.5 + 1.1. Let x = -0.44 - -0.04. Let c = x - z. Put 1/3, -2/7, c in increasing order.
c, -2/7, 1/3
Let y = -26 - -16. Let s be (-18)/15*y/28. Put -2, s, 0.7 in increasing order.
-2, s, 0.7
Let h be (8/12)/((-13)/20). Let r = h + 9/13. Let d be 2/4*6/1. Sort r, d, -0.2 in decreasing order.
d, -0.2, r
Let c(h) = -h - 2. Let f be c(0). Let q be 1 + f + (-6)/(-9). Sort 2, q, -2 in descending order.
2, q, -2
Suppose 0 = -2*d - 2*q - 4, -5*d + 6*d + 2 = -2*q. Suppose -5*u = v - 14, 0 = u + v - 1 - 1. Sort d, u, -3 in descending order.
u, d, -3
Let i = 3 + 0. Let o(q) = -5*q**3 - q + 2. Let l be o(1). Let k = i + l. Put k, -2/3, 2/25 in descending order.
2/25, -2/3, k
Let b = 59/56 - 10/7. Sort 2/3, b, 1/11.
b, 1/11, 2/3
Let i be (22/3)/(70/1425). Let y = i - 149. Put y, 0.5, 2 in increasing order.
y, 0.5, 2
Let p be 2*9/12*-2. Let t be -4 + 8/6*6/1. Put t, p, -1 in decreasing order.
t, -1, p
Let l = 0.2 + -2.2. Let d = l + 4. Put -2/9, -0.1, d in descending order.
d, -0.1, -2/9
Let w be ((-5)/(-3))/(3/9). Let t = 1.5 - 9.5. Let p = -12 - t. Sort 2, p, w in descending order.
w, 2, p
Suppose -5*m = 3*b - 2*m + 15, -2*b - 3*m - 10 = 0. Let t(c) = -c**2 - 6*c - 4. Let x be t(b). Let a = 7 - 2. Sort a, -3, x in descending order.
a, x, -3
Suppose -5*r = 4*b - 44, 3*b = r + r + 10. Let h be b/15*(-15)/9. Sort 2/9, h, -1 in decreasing order.
2/9, h, -1
Suppose 4*t - 2*b = -14, 0 = -5*b - 1 - 4. Sort 4, t, 0 in ascending order.
t, 0, 4
Suppose -4*w + 23 = -1. Suppose -4*i - 3 = -5*i. Put i, 1, w in descending order.
w, i, 1
Let r = -162 + 164. Sort 5, -7, r, -4 in ascending order.
-7, -4, r, 5
Let n = 17.7 + -18. Suppose -6 = 3*q - 4*q. Let g = -4 + q. Put 0.3, g, n in decreasing order.
g, 0.3, n
Let a(u) = 14*u - 3. Let f be a(2). Suppose -2*m + 2*w = -3*w + f, -3*m - 3*w = -15. Let b = 48 + -50. Put m, b, 1 in increasing order.
b, m, 1
Let h = -36 + 33. Let j(q) be the first derivative of q**4/4 + q**3 + q**2/2 + 3*q - 2. Let l be j(h). Sort 7, -4/7, l in ascending order.
-4/7, l, 7
Suppose 45 = -2*g + 7*g. Suppose 0 = -3*x + 2*d - 9, 0*d + g = -3*x + 4*d. Let v be (-12)/(-3)*x/4. Sort v, 5, 1.
v, 1, 5
Let q be 5 - (0/(-3) - -2). Let d(x) = x - 3. Let y be d(q). Suppose -3*m + 7 = 2*s, 6 = m + 3*m + s. Put -5, m, y in descending order.
m, y, -5
Let j be 6/(-8) + (-2)/(-2). Let v = -12 - -8. Let n = -22.1 - -22.4. Put j, v, n in ascending order.
v, j, n
Let k = 0 + 0.5. Let v = -8 + 14. Let a = -6.5 + v. Sort -1/3, k, a in decreasing order.
k, -1/3, a
Let y = -105.5 + 106. Put 2/9, y, 0.17, -5 in increasing order.
-5, 0.17, 2/9, y
Let o = -0.1 - 0.4. Let p = 0 - -3. Let a = p + -8. Put o, -1, a in ascending order.
a, -1, o
Let j = 5 - 5.4. Let a = 200/117 - 28/13. Sort a, j, 0.2.
a, j, 0.2
Let k = 0.1 - 0.2. Let j = -12 + 8. Let g be ((-1)/4)/((-7)/j). Sort -2/3, k, g in descending order.
k, g, -2/3
Let j = -41 - -46. Sort j, 3, 2 in descending order.
j, 3, 2
Let c = -155/4 + 39. Let j = -2 - -1.5. Put c, j, 3 in decreasing order.
3, c, j
Let x = 199.5 - 200. Let y = 11 + -7. Put x, y, 0.3 in descending order.
y, 0.3, x
Let i = -0.01 + 0.21. Let t be (-5)/(-30)*(-2)/3. Put -2/9, i, t in descending order.
i, t, -2/9
Suppose 0 = y - 2 - 2. Let v(i) = i - 1 - 1 + 1. Let d be v(1). Sort y, -0.4, d in decreasing order.
y, d, -0.4
Let j = -32 - -37. Sort 3/5, j, 3/4 in decreasing order.
j, 3/4, 3/5
Let z = 11 + -7. Suppose 2*b - 3*s = 12, 30 = 5*b + s + 3*s. Suppose -b*f + 25 = -f. Sort 0, f, z in ascending order.
0, z, f
Suppose -2*s = -8 + 4. Let x = 17 - 10. Suppose -3*k = 2*n + x, -k - 1 = -0*k + s*n. Put k, 5, 4 in ascending order.
k, 4, 5
Let c = -2391/7 - -341. Let v be (-3)/(-4) - 44/16. Let l be 1 + -2 + 1 - v. Sort 0.4, l, c in descending order.
l, 0.4, c
Let v = 4.6 - 3.3. Let k = -3.7 - v. Let g = -2/75 + 29/150. Sort 0, g, k in descending order.
g, 0, k
Let r = 64 - 44. Suppose -b + 2*z - 7 = 4*z, -5*b - 5*z = r. Put 3, b, -5 in increasing order.
-5, b, 3
Let i = 48 - 27. Let p(s) = s. Let u be p(2). Suppose u*r = -5*f + i, 5*r + 0*r - 21 = -2*f. Sort f, 1, -5 in decreasing order.
f, 1, -5
Suppose 4*q + 7 = 3*l - 2, -q + 1 = -4*l. Let y be (36/8)/(q/(-2)). Let j be 2/4 - 3/6. Put y, j, -4 in ascending order.
-4, j, y
Let w be (2 - 2)/(-1) - -3. Suppose 3*c + 2*c - 18 = w*k, -2 = -2*c - 4*k. Suppose v + 5*x = -3, -6 = 2*v - 0*x + 5*x. Put v, 5, c in decreasing order.
5, c, v
Let j = -0.18 - 0.32. Let k = -61/12 - -19/4. Put 0.5, j, k in decreasing order.
0.5, k, j
Let j(y) = y**3 + 3*y**2 - 2*y. Let d be j(-3). Let a be (4/(-3))/((-4)/d). Let z be (-9)/(-6) - (-99)/(-18). Sort 1, a, z in ascending order.
z, 1, a
Let y = -0.9 - -1.4. Sort y, 2/5, -2/19 in descending order.
y, 2/5, -2/19
Let h = 13.8 + -15. Let b = h + 0.1. Let p = 0.6 + b. Sort 2/11, 1, p in decreasing order.
1, 2/11, p
Let s = -40 - -42. Suppose 5*b = 3*r + 2, -5*r - 4*b + 6 + 3 = 0. Let d be (-5 - -3) + 1*7. Sort r, d, s.
r, s, d
Let d = -0.1 + -0.02. Let q = 152.88 + -158. Let a = q - d. Sort 5, 2/15, a in descending order.
5, 2/15, a
Let f = -102 + 229/2. Let x = 13 - f. Suppose -2*d + 5*m = -21 + 1, 5*d + 2*m - 21 = 0. Put d, x, -0.5 in descending