Sort x, o, -0.2 in descending order.
-0.2, o, x
Let s = 1.8 + 0.2. Let d = 0 + 1. Sort s, -1, d.
-1, d, s
Suppose -12 = d + d. Let s be (0 - 0) + (-2)/d. Let x = -0.03 - -3.03. Sort x, -0.5, s.
-0.5, s, x
Suppose 0*j - 3*z = 2*j + 1, 0 = -2*z - 6. Let n(u) = 2*u - 3. Let w be n(3). Suppose -6 + 21 = -w*s. Sort s, -1/4, j in increasing order.
s, -1/4, j
Let t be 3066/36 + (3 - 0). Let u = t + -88. Sort u, 0.1, 3 in ascending order.
0.1, u, 3
Let r(w) = w**3 - 10*w**2 + w - 9. Let s be r(10). Let d(u) = 3*u**3 - 2*u**2 + 1. Let x be d(s). Put x, -1, 4 in decreasing order.
4, x, -1
Let l be 3 + (4 - 5 - -2). Sort 17, 2, l in increasing order.
2, l, 17
Let w = -7 - -9. Sort -3, 3, w in ascending order.
-3, w, 3
Let q be (4/6)/((-12)/54). Sort q, 5, -2.
q, -2, 5
Let c = -10 - -9. Suppose -y - 5 = -6*y. Sort y, c, -4 in decreasing order.
y, c, -4
Let n(o) = o**3 + 7*o**2 + 7*o + 6. Let x be n(-6). Suppose x*g + 3*g = 0. Put g, -5, -3 in decreasing order.
g, -3, -5
Let c(b) = -2*b - 1. Let i be c(-3). Suppose -d - 5*a - 2 = 3*d, a + 12 = i*d. Sort 3, -4, d.
-4, d, 3
Suppose -9 - 16 = -5*u. Suppose -u*i - 15 - 4 = 2*h, i = 2*h + 1. Put -1, h, -5 in descending order.
-1, h, -5
Let l = -2/67 + -128/201. Suppose 0 = -y + 4, 3*y - 7*y = 3*r - 31. Suppose 0 = -3*b - 0*b - r*h + 7, 0 = 2*b - 5*h - 13. Sort b, 0.4, l in ascending order.
l, 0.4, b
Suppose -4*r + 33 = -31. Suppose -2*k - 4*h = k - r, 4*k + 4*h = 28. Let p be ((-4)/9)/(8/k). Sort p, -5, 0.
-5, p, 0
Suppose 3*l + 0*l = 6. Suppose 2*d - i = -3*i, l*i - 2 = -d. Sort d, 3, 1 in descending order.
3, 1, d
Suppose c - 4*c = -6. Let n be (-3 - 1) + (5 - 2). Put -4, n, c in increasing order.
-4, n, c
Suppose -5*j - 15 = -5*q, 0*j + q + 12 = -4*j. Put -2, j, 3 in decreasing order.
3, -2, j
Suppose 15 = -6*x - 3. Let w(y) = -y + 11. Let u be w(6). Sort u, 1, x in increasing order.
x, 1, u
Suppose 39 = -4*m + m. Let z = m + 12. Sort 4, 2, z in descending order.
4, 2, z
Let l = 1 - 1. Let q = 31 + -33. Let i be 22/(-30) - 2/(-5). Put q, l, i in decreasing order.
l, i, q
Let k = -23 - -23.1. Let r = 0.1 - 0.3. Let b = r + k. Put -0.3, b, 0.3 in increasing order.
-0.3, b, 0.3
Suppose 3*u - 8*u = 0. Suppose -l + 3 + 2 = u. Sort -2, l, -5 in descending order.
l, -2, -5
Let k = -4 - -8. Let q be (-18)/14*2/6. Let t = 2/5 - 0. Put t, q, k in decreasing order.
k, t, q
Let a(q) = -3*q - 1. Let n be a(-2). Suppose n*y = -4*o - 45, 53 = -5*y - 2*o + 18. Let l(j) = j. Let k be l(3). Put y, 5, k in increasing order.
y, k, 5
Let k be (-4)/3*24/(-16). Sort k, -5, -4 in increasing order.
-5, -4, k
Let q be (-2)/10 - 69/(-195). Sort -2/13, q, -3/2 in ascending order.
-3/2, -2/13, q
Suppose 9 = -35*u + 32*u. Let l = -9/5 - -23/10. Put l, 5, u in descending order.
5, l, u
Suppose 18*l - 21*l = -12. Let r = 1 + 1. Sort l, r, -5 in increasing order.
-5, r, l
Let a = -5 + 10. Sort a, 3, -0.4 in decreasing order.
a, 3, -0.4
Let n = 6/13 + -80/117. Put -3, n, 6/5 in ascending order.
-3, n, 6/5
Let v be (-3 - (-9)/6)*-2. Suppose -t + 8 = 3*h, t = 2*h + v*h. Put -4, -5, t in descending order.
t, -4, -5
Let c be 16/56 + (-12)/(-7). Let f be c*-2 - 4/(-4). Put f, -2, 3 in descending order.
3, -2, f
Let m(y) = 4*y - 31. Let s be m(8). Sort -4, 0.3, -2/7, s in descending order.
s, 0.3, -2/7, -4
Suppose -5 = 2*m + 5*i, -4 = i - 3. Let o be 32/6 + 1/(-3). Sort -4, m, o in descending order.
o, m, -4
Let z be 1/(-2) - (-7)/2. Suppose -2 = 2*h, h = 5*w - 7 + 21. Sort w, z, 4.
w, z, 4
Let b(z) = -2*z - 18. Let h be b(-7). Put h, -5, 3, 0 in increasing order.
-5, h, 0, 3
Let p = -108 + 113. Put 3, p, 0.4, 0.5 in ascending order.
0.4, 0.5, 3, p
Let u(j) = -j - 5. Let o be u(0). Let n(w) = -w + 8. Let h be n(7). Suppose h + 5 = -2*l. Put l, o, 5 in descending order.
5, l, o
Let g = 166 + -164. Sort -0.09, g, -4 in ascending order.
-4, -0.09, g
Let b = -5 - -5. Suppose 3*x - 2 - 4 = b. Sort 3, 0, x.
0, x, 3
Let t = -4.1 - -4.1. Sort -5, -2/3, t, -2 in decreasing order.
t, -2/3, -2, -5
Let s = -0.19 - 0.31. Put 4, s, 0.3 in descending order.
4, 0.3, s
Let p be ((-8)/10)/((-4)/10). Let z(l) = -3*l**2 - 1. Let c(m) = -4*m**2 - m - 2. Let q(a) = 2*c(a) - 3*z(a). Let g be q(p). Sort -2, g, 1.
-2, g, 1
Let s be (1/(-5))/(120/25 - 5). Put 4/7, s, 11, -0.1 in ascending order.
-0.1, 4/7, s, 11
Let x = 2.3 - 2.4. Put x, -0.5, 0 in increasing order.
-0.5, x, 0
Let d = 38 + -42. Sort -5, d, 4.
-5, d, 4
Let t be 4 + ((-144)/(-120))/((-4)/15). Put 5, -1, t in decreasing order.
5, t, -1
Let v = 0.1 + 3.9. Let h = v - 0. Let m = -2.02 - -0.02. Put h, -0.2, m in decreasing order.
h, -0.2, m
Suppose -5 = y + 4*y. Sort 2, 1, 0, y in ascending order.
y, 0, 1, 2
Let s = 1.6 - 2.1. Sort -5, 0.4, s.
-5, s, 0.4
Let p = 17.6 + -8.6. Let m = -5.7 - -0.7. Let i = m + p. Sort -1, i, 1/3 in descending order.
i, 1/3, -1
Let a = 13 + -7. Let c be (-12)/(-3)*6/24. Sort c, a, 3.
c, 3, a
Let s = 0.2 + -0.1. Let w = 29.3 + -27. Let u = -2 + w. Sort -0.5, u, s in ascending order.
-0.5, s, u
Let i = -107 + 107. Let j = -0.137 + -3.873. Let z = j + 0.01. Sort 1/2, i, z in descending order.
1/2, i, z
Let w = 4.9 + -0.9. Let s = -10 + 15. Put 0.5, w, s in decreasing order.
s, w, 0.5
Let k = 41 + -19. Suppose 0 = 5*p - 0*y - 2*y + 23, 2*y = -4*p - k. Let z be -1*(2 - 1/1). Sort z, 3, p in descending order.
3, z, p
Suppose u = -3*u - 4. Suppose 5*a = -5*y - 10, -2*a - 14 = 2*a - 2*y. Put -4, u, a in ascending order.
-4, a, u
Suppose 0 = d + 54 + 149. Let q = d + 2231/11. Sort q, -2/7, 2 in ascending order.
-2/7, q, 2
Let s(i) = -13*i - 1. Let p be s(-1). Let v(a) = a - 10. Let r be v(p). Suppose -2*o = 4*q - 6, -o + 2*o - 3*q - 3 = 0. Put o, r, -2 in descending order.
o, r, -2
Let x = -22/3 - -8. Let d be 8/42 + (-1)/3. Sort d, 5, x in descending order.
5, x, d
Suppose 2*x = 2*u - 5*u + 2, 3*u = 4*x + 32. Let i(n) = -n - 2. Let h be i(-4). Put -2, h, u in increasing order.
-2, h, u
Let d = -21 + 26. Put -4, d, -1 in ascending order.
-4, -1, d
Suppose 0*j + 5*j - 4*l - 9 = 0, 0 = -4*j + 4*l + 8. Sort j, -3, 4 in decreasing order.
4, j, -3
Let t be ((-2)/(-3))/(2/6). Let v be 6/(-4)*t/15. Put v, 4, 0 in ascending order.
v, 0, 4
Let y = 0.03 - 0. Let k = -4.97 - y. Put -4, k, -3 in descending order.
-3, -4, k
Let p = -33 + 261/8. Sort p, -48, 3/2 in ascending order.
-48, p, 3/2
Let a = 0.05 + -3.05. Let l = -13 + 13. Put a, -1/4, l in ascending order.
a, -1/4, l
Suppose 17 - 5 = -3*d. Suppose -10 = -5*u - 2*x, 0*x = 4*u + 3*x - 1. Put u, 1, d in decreasing order.
u, 1, d
Let g be (-2)/((96/18)/(-8)). Sort -4, -19, g in increasing order.
-19, -4, g
Suppose 8 = 2*f + 2*f. Suppose -4 = -f*z - 0*z. Let h(l) = l**3 + 6*l**2 - l - 8. Let s be h(-6). Sort -1, z, s.
s, -1, z
Suppose 4*n - 25 = -n. Suppose -5 = -r + 6*r. Put -2, r, n in descending order.
n, r, -2
Let j(c) = 3*c - 3. Let w be j(2). Suppose 4*o = w*o - 4. Let k = 2 - -3. Put k, 0, o in ascending order.
o, 0, k
Suppose 0 = 5*n + 4 - 19. Let r be (2 - 1)/((-3)/(-6)). Let i be (r/(-6))/(5/15). Sort i, n, -5.
-5, i, n
Suppose 3*z - 4*z - x = -62, -4*x = 3*z - 184. Let n be z/24 + (-2)/3. Sort n, 5, -2.
-2, n, 5
Suppose 3*m - 3 = -0*m, -5*m = i - 4. Let s = -4.99 - 0.01. Sort i, 0.5, s in decreasing order.
0.5, i, s
Let l = 0.094 - -0.406. Put 2, -5, 1/3, l in decreasing order.
2, l, 1/3, -5
Let w = 3.7 + -1.2. Let x = w + -2. Let y = 0.7 - x. Sort 4, -2, y.
-2, y, 4
Let d = 46.5 - 46. Sort d, -4, 4/3 in descending order.
4/3, d, -4
Let w = 436/7 - 62. Sort 0.2, 3, w, -1.
-1, 0.2, w, 3
Let u = 31 + -31.4. Put -2, 4/9, u in ascending order.
-2, u, 4/9
Let s = -16 + 31. Suppose -4*v - 3*o = s, -3*v - o = -0*v + 5. Sort 4, v, 1.
v, 1, 4
Let a = -0.3 - -5.3. Put -0.4, 2, a in increasing order.
-0.4, 2, a
Let b = -0.36 - 0.64. Put -2/7, b, -5 in decreasing order.
-2/7, b, -5
Suppose -l + 4*l - 25 = 4*c, c + 9 = -2*l. Let d = c + 5. Sort 0, d, -5.
-5, d, 0
Suppose -3*d - 16 = -5*n, 3*n + d = 4*n - 4. Let b = -18 + 23. Sort -5, n, b in increasing order.
-5, n, b
Let t = 5 + -3. Let a = -5 - -2. Let j be (a/6)/(-2 + 1). Put j, -3, t in decreasing order.
t, j, -3
Let u = 0.049 + -0.449. Put 0.01, u, -4 in descending order.
0.01, u, -4
Suppose 9*p + 9 = 6*p. Sort p, 0, -7 in decreasing order.
0, p, -7
Let i = 3.2 + -1.2. Let g be (-6)/9 - 23/(