 k = -1.2 + 0.7. Let z = -0.1 + -0.1. Let p = -3.8 + z. Put -4/7, k, p in descending order.
k, -4/7, p
Let m be 15/(-25) - (-57)/45. Let z = 2.1 - 4.1. Sort m, z, -6/7 in descending order.
m, -6/7, z
Suppose 21*b - 56 = 7*b. Put -4, b, -2 in ascending order.
-4, -2, b
Let j = -5 - -9. Let o be (10/(-15))/(j/(-18)). Suppose 3*d = -2*n, -5*n + 0*d = -o*d. Sort n, -0.3, 5.
-0.3, n, 5
Let n = -190 - -946/5. Put -1/3, 4, n, 1/2 in descending order.
4, 1/2, -1/3, n
Let g = 87 + -87. Put -1, g, 2 in decreasing order.
2, g, -1
Let k = 0.86 - 0.66. Sort k, 5, -1, -2.
-2, -1, k, 5
Suppose 1 + 5 = -3*a. Let t(q) = 3*q**2 + q - 1. Let h be t(1). Sort a, -5, h in decreasing order.
h, a, -5
Suppose 4*t + 6 - 22 = 0. Suppose 2 = -3*g + t*g. Let b = -115/3 + 38. Sort g, -4, b in decreasing order.
g, b, -4
Let a = 9 + -6. Let k = a + -3. Let q be 2/4*(-8)/3. Put -1/5, k, q in decreasing order.
k, -1/5, q
Suppose -2 = i + i. Suppose -j - j + s - 7 = 0, -2*s + 4 = j. Put i, j, 4 in ascending order.
j, i, 4
Let m = 0.1 - -4.9. Let t be ((-16)/24)/((-2)/9). Suppose t*k + 7*r - 4*r + 6 = 0, -3*k = -2*r - 4. Put k, m, 4 in increasing order.
k, 4, m
Let f = 142 - 140. Sort -2, 5, 69, f.
-2, f, 5, 69
Let i(m) = 0*m**2 + m**2 + 7*m + 9 - 1. Let r be i(-6). Sort 1, r, 0.
0, 1, r
Suppose 101 + 464 = -5*a. Let w = a + 46. Let r = w - -336/5. Put -2, 3, r in descending order.
3, r, -2
Let y = 25 + -23. Sort -0.1, 0.02, y.
-0.1, 0.02, y
Let n(k) = -k - 10. Let w be n(-12). Let f = -2 + w. Suppose f = -5*g + p - 11 + 1, 5*g + 35 = -4*p. Sort 3, g, -1 in descending order.
3, -1, g
Let l be 1 - -4*(2 - 3). Let g(w) = -w**3 - 11*w**2 - 11*w + 3. Let a be g(-10). Suppose -3 + a = 5*v. Sort l, v, -2 in descending order.
v, -2, l
Suppose 3*u - 4 = u, 0 = 3*k + 2*u - 16. Let i(c) = -c**2 + 4*c + 1. Let v be i(2). Suppose n = v*n + k. Put 4, -2, n in descending order.
4, n, -2
Suppose -9*g - 330 = 13*g. Sort g, -1, -3.
g, -3, -1
Suppose -1 = -5*j - 11. Let l be ((-3)/(-9))/(j/18). Suppose -5 = 5*t - 15. Put l, t, 5 in decreasing order.
5, t, l
Let r = 0.85 - 4. Let g = r - -0.15. Put 2, g, -0.1 in decreasing order.
2, -0.1, g
Let j = 15 + -19. Put j, 5, 4 in descending order.
5, 4, j
Suppose 0 = -3*d + 3*g - 6, 0 = -d + 5*g - 12 - 6. Suppose k = 2*k - d*i - 8, 3*k - 9 = i. Put 0, k, 1 in decreasing order.
k, 1, 0
Let y = 3 + 0. Let j = y + -2. Let f(m) = m - 1. Let v be f(j). Put v, 7, -4 in descending order.
7, v, -4
Let k be -1 - -1*1 - -1. Suppose -18*n + 3*n + 30 = 0. Suppose 2*u + 2 = 2*q, -u + n*q = 1 + k. Sort u, -4, -1 in descending order.
u, -1, -4
Let k(o) = -o + 1. Let c(i) = -3*i + 13. Let p(s) = -c(s) + 4*k(s). Let h be p(-7). Suppose -4 = 3*j + 5. Sort j, h, 2.
j, h, 2
Suppose 0*i - 2 = 2*f - 2*i, -4*i - 10 = 3*f. Sort -1, f, -3.
-3, f, -1
Let s = 0.1 - 0. Suppose 463*f - 10 = 468*f. Let n = 0.06 - 5.06. Put n, f, s in increasing order.
n, f, s
Let j(f) = -3*f**2 + 3*f - 2. Let o be j(3). Let l be 6/10 - (-52)/o. Sort -0.5, 5, l.
l, -0.5, 5
Suppose 11 = 5*g + 4*i, 5*g + 13 = -0*g + 2*i. Let k = 3133 - 21971/7. Let d = k + 353/63. Sort g, 2/7, d in ascending order.
g, d, 2/7
Let n be (-10)/25 - (0 - 12/5). Sort 1, 0, -2, n.
-2, 0, 1, n
Suppose -6 = -2*a + r, 5*a - r = -4*r + 26. Suppose 4*h - a*d = -20, 2*d = -4*h + 5*d - 16. Sort h, 4, 0.2 in descending order.
4, 0.2, h
Suppose -2 = b - 3*o + 4, 0 = -o + 2. Let g(i) = i**2 - 5*i - 9. Let l be g(7). Let p = -7 + l. Sort p, b, -3.
-3, p, b
Let b = 6 - 3. Let t = b - 8. Let a = -0.1 - -1.1. Sort t, a, -1.
t, -1, a
Let l = -3.7 + -0.3. Suppose 4*t + 20 = 2*v, -2*t = -3*v - v + 22. Let g = 27/7 - v. Put 0, g, l in ascending order.
l, g, 0
Let h = -0.666 - -0.166. Sort h, -1, 1/42 in decreasing order.
1/42, h, -1
Suppose 0 = 5*c + 5 - 0. Let j(o) = o**3 - o**2 - 2*o + 3. Let k be j(2). Put k, -3, c in ascending order.
-3, c, k
Let m = 14 - 10. Let k be 2 - 2/2*-2. Let j be (-2)/k + m/(-8). Sort 4, j, -0.1 in ascending order.
j, -0.1, 4
Let r(n) = n + 3. Let m be r(5). Let a = 9 - m. Suppose 10 = -5*j - 5*h, -a - 1 = -5*j - h. Sort -5, j, 3.
-5, j, 3
Let v = -21 - -20.9. Suppose -3*p + 8 = 23. Sort v, p, 4 in descending order.
4, v, p
Let l = 86 - 88. Sort -5, l, 3.
-5, l, 3
Let y be 2/(-3) + 5/3. Suppose 1 = -f - y. Suppose -3*c - 5*a - 8 = 1, 4*c = -a + 5. Put 3, c, f in descending order.
3, c, f
Let w = 3 - 2.8. Let k = -0.2 + -0.4. Let r = k + 1.6. Sort r, 2, w in ascending order.
w, r, 2
Let c = 1655755/8109 - 3474/17. Let i = c + -3/53. Sort 0.1, -0.5, i.
-0.5, i, 0.1
Suppose -8*m - 8 = -4*m. Suppose 5*q + 23 - 3 = 0. Sort 1, q, m.
q, m, 1
Let o be (6/(-4))/((-6)/36). Let z be (16/(-3))/((-6)/o). Sort z, 1, 0 in ascending order.
0, 1, z
Let i be (164/(-40) - -4)*-8. Let y be (2/(-6))/((-1)/2). Sort y, 2/13, i in ascending order.
2/13, y, i
Let w = -0.5 + 0.3. Let h(y) = 3*y**2 + 19*y - 21. Let l(c) = 5*c**2 + 29*c - 32. Let b(k) = 8*h(k) - 5*l(k). Let z be b(6). Put z, -1/9, w in increasing order.
z, w, -1/9
Let y(m) = -m**3 - 6*m**2 - 7*m. Let w(c) = -2*c**3 - 5*c**2 - 6*c. Let u(v) = 2*w(v) - 3*y(v). Let l be u(9). Sort -2, l, 1.
-2, l, 1
Let c = 0.2 + -0.4. Put 2, c, -0.4 in descending order.
2, c, -0.4
Let p = -104 - -106. Suppose 3*g + 2 + 1 = 0. Sort 0.2, g, p.
g, 0.2, p
Let m be (63/(-28))/(6/(-4))*2. Put -2, 5, m in descending order.
5, m, -2
Let z(x) = x**2 + 2*x + 6. Let y be z(-4). Suppose 10 + y = 4*l. Sort l, 3, 5 in descending order.
l, 5, 3
Let o(y) = -y**2 - 33*y + 1. Let x be o(-33). Let k = -18 + 145/8. Sort x, k, 0 in decreasing order.
x, k, 0
Let s = -7 + 1. Let i = s + 5. Sort -3, 1, i in descending order.
1, i, -3
Let y = -5 + 4. Let u = -4 - y. Suppose 2*a + 3*f - 4*f = -9, -3*f = 5*a + 17. Put a, 0, u in ascending order.
a, u, 0
Let g = -33.05 + 33. Sort g, -3, -2/3, 5 in descending order.
5, g, -2/3, -3
Let g(w) = -w**2 + 6*w - 2. Let f be g(6). Sort 2, -1/8, f, 1.2 in descending order.
2, 1.2, -1/8, f
Let v(f) = -f + 14. Let w be v(12). Suppose 2*d = w, 5*n - 2*n + 12 = 3*d. Sort 4, n, 2 in decreasing order.
4, 2, n
Suppose -z - 4*z - 15 = 0. Let l(k) = 2*k**2 + 4*k - 1. Let t be l(-3). Suppose -2 = -t*o + 3*u, -5*o + 9 = -5*u - 1. Put o, z, 0 in decreasing order.
0, o, z
Let x be (-4)/(-10) - 99/135. Sort -5, x, -1 in increasing order.
-5, -1, x
Let c = -22 + 23. Sort -5, -1, c in descending order.
c, -1, -5
Suppose -2*y + 0*m = -m + 6, 4*y = 4*m - 4. Sort 3, 1, y.
y, 1, 3
Suppose 0 = -5*t + 4*t + 9. Let n be (t/12)/((-15)/(-8)). Let k = -0.46 + 0.36. Sort -2/19, k, n in decreasing order.
n, k, -2/19
Let c = -80 + 82. Sort -1, -3, c in descending order.
c, -1, -3
Let j = -0.09 + -0.91. Suppose -4*n = 3*i - 1, -3*n - 2*n + 15 = i. Sort -2, j, i.
i, -2, j
Let b = -9/4 + 11/4. Sort b, -1, 3/5 in decreasing order.
3/5, b, -1
Let y = 13 - 13.2. Put y, 0.4, -0.4 in decreasing order.
0.4, y, -0.4
Suppose 1 = 2*k + a + 15, -20 = -5*a. Put 1, k, -5 in decreasing order.
1, -5, k
Let k = -9 + 6. Let j be (0 - -1)/(1/(-5)). Suppose 4*f - 10 = -3*n, 0 = 3*f - 2*n + n - 1. Put f, k, j in ascending order.
j, k, f
Let q(o) = -2*o - 13. Let i = -32 - -26. Let f be q(i). Sort 2/7, -0.5, f in decreasing order.
2/7, -0.5, f
Let q be ((-11)/(-11))/(0 + 1). Sort 2/11, q, -2 in ascending order.
-2, 2/11, q
Let w(b) = 2*b + 8. Suppose 2 = -4*x - 22. Let i be w(x). Suppose -4*u - 40 = -5*q, -2*u = -7*u + 5*q - 45. Put i, -3, u in increasing order.
u, i, -3
Suppose 0 = -z - 3*k - 6, -2*z - 4*k = z + 8. Suppose z*a - 4*x + 23 = -5*a, 2*a = 5*x - 16. Put -2, a, 4 in increasing order.
a, -2, 4
Suppose 2*l - l = -4*j + 16, 0 = -5*l - 20. Suppose 3*o - 1 = -s, 3*o - 2*o + 3*s + 13 = 0. Sort -5, j, o in ascending order.
-5, o, j
Let i = 84 - 81. Put i, 10, -1, -4 in decreasing order.
10, i, -1, -4
Let x be ((2 - 2 - 1) + 0)*2. Sort -1, x, 1 in descending order.
1, -1, x
Let z = 35 + -12. Let k be z/3 + (-2)/(-6). Let s be 22/(-8) + (-2)/k. Sort 2, 0, s in decreasing order.
2, 0, s
Suppose -16 = -i + 4*v, 2*i = 6*i - 3*v - 12. Suppose -13 = -x - 4*r, i*x - 8 = -2*x - 2*r. Suppose 3*s + 6 = -f, -s - 3 = -x. Put 1, 2, f in descending order.
2, 1, f
Let w = -10 + 12. Let a = -0.06 - -0.36. Sort a, w, 3/2 in decreasing order.
w, 3/2, a
Let o be (-3)/18 - (-1013)/(-42). Let d = -24 - o. Sort 1/6, -0.3, d in increasing order.
