 t be 3/6*4/6. Sort -0.3, 5, t in descending order.
5, t, -0.3
Let d = -9 + 14. Suppose 5 = 2*m - d. Put -1, 3, m in increasing order.
-1, 3, m
Let y be (-56)/32*(-8)/28. Put y, 3, -5, -4 in descending order.
3, y, -4, -5
Let w = -13 + 14. Let s be 0/((1 - 4)/3). Put 2, w, s in decreasing order.
2, w, s
Suppose 0 = 5*g - 3*k - 0*k + 57, g - 4*k + 25 = 0. Sort -5, 4, g, 5 in decreasing order.
5, 4, -5, g
Let j = 4 - 8. Let o be (2/(-3))/(10/(-135)). Let r = o + j. Sort 0, -1, r in ascending order.
-1, 0, r
Let h = -27 + 38. Suppose 2*t - 2 = -3*y + h, 4*y = -2*t + 18. Sort -5, t, 5.
-5, t, 5
Suppose -9*n = -27*n - 18. Let a = 4 - 6. Let r = 2 - a. Put r, n, -5 in ascending order.
-5, n, r
Let b be 2 + 1 + 3/(-1). Suppose 2*c - 2*o - o + 16 = 0, -4*o = -16. Put -5, c, b in decreasing order.
b, c, -5
Suppose 0*t = -2*t. Suppose t = f - 3. Put f, 0, -2 in decreasing order.
f, 0, -2
Let z = 3 + -2.7. Let k = -0.1 - -0.6. Sort z, k, -0.4 in descending order.
k, z, -0.4
Let j = -5 - -6. Let r be (-287)/7 + -1*j. Let t be (7/r)/(1/3). Sort t, -0.2, 3 in decreasing order.
3, -0.2, t
Let g be (2 + -3)*-1 + 0. Let p = -0.021 - 0.379. Put p, -2, g in increasing order.
-2, p, g
Let l = 73 - 67. Put -2, 5, l in ascending order.
-2, 5, l
Let r = 0.8 + -2.3. Let q = 2 + r. Let t = 393/2222 + 1/202. Put t, q, 0.4 in decreasing order.
q, 0.4, t
Let f(t) = 2*t**3 + 4*t**2 + 2*t + 3. Let q be f(-3). Let z be 5/(-3) - (-7)/q. Sort -1, 2, z in decreasing order.
2, -1, z
Let m = 70.8 + -71. Let t = 2 + -1.9. Sort m, t, -5 in decreasing order.
t, m, -5
Let a = -11 + 11.4. Let i = -8.1 + 0.1. Let j = -5 - i. Put j, a, 2 in descending order.
j, 2, a
Let q = -9.85 + -0.15. Let i = q + 15. Put 2, 3, i in decreasing order.
i, 3, 2
Let d = -32.7 - -31. Let a = -0.7 - d. Put -1, a, -5 in increasing order.
-5, -1, a
Let p = -65.2 - -65. Let q = 0.1 - 0.2. Put -1, q, p in ascending order.
-1, p, q
Suppose 2*y - 5*p + 33 = 0, -3*p = 3*y - 3 - 0. Sort -5, y, 0.
-5, y, 0
Let m be -11*1*3/3. Let q(c) = c**3 + 11*c**2 + c + 13. Let l be q(m). Sort l, -3, 1 in ascending order.
-3, 1, l
Let y be 50/14 + ((-405)/63)/(-15). Let b be -1*2/3*-3. Sort y, b, -5 in increasing order.
-5, b, y
Let l = 6 - 4. Suppose 10*g - 92 = -13*g. Suppose -7*b = 4*w - 2*b - 8, 2*w - 5*b + 26 = 0. Sort w, l, g in increasing order.
w, l, g
Let b be 865/175 - 2 - 3. Sort 4, -0.5, b in decreasing order.
4, b, -0.5
Let q(m) = -m**2 + m - 1. Let l be q(1). Let f(r) = -r**2 + 4*r + 2. Let k = -8 - -13. Let w be f(k). Put w, l, -5 in descending order.
l, w, -5
Let u = -41 + 14. Let n be (-17)/5 + u/(-9). Let i = -5 - -10. Sort 1, n, i in ascending order.
n, 1, i
Suppose 3*i = -11 + 5. Sort -0.3, i, -0.1 in descending order.
-0.1, -0.3, i
Let w(a) = -2*a + 43. Let z be w(19). Let i = 2 + -4. Sort i, z, -0.1 in decreasing order.
z, -0.1, i
Suppose -5*j + 3*k + 5 = 0, -5*k - 27 = j - 0*j. Let w be -1 + j/(-1)*-1. Let l = w + 4. Put l, 2, -3/5 in ascending order.
-3/5, l, 2
Let c be 0 + 0 + (3 - 0). Suppose 3*r + 2*y + 4 = 0, 5*y + 12 = 2*r + 2. Suppose 0 = -5*n, 0*g - 4*g - 3*n - 4 = 0. Sort g, r, c.
g, r, c
Suppose 5*k = 2*y - 12, y - 5*k + 0*k - 16 = 0. Let o(h) = 6*h - 62. Let g be o(11). Put g, 11, y in descending order.
11, g, y
Let k(p) = p + 1. Let o be k(-6). Let y = -9 - -13. Sort y, o, 1 in decreasing order.
y, 1, o
Let x = -37 + 41. Sort -4, 7, x in descending order.
7, x, -4
Let m be ((-1)/11)/((-1)/(-2)). Let y = 0.8 - 0.6. Put y, 1, m in descending order.
1, y, m
Let s = -4 + 13. Sort s, 5, -4.
-4, 5, s
Let j = 5 - 0. Let f be 0/(-3) + (-1)/3. Sort f, -4/3, j in ascending order.
-4/3, f, j
Suppose 10 = -2*k, 3 - 13 = 3*h + 2*k. Put 4, -1, h, -2 in decreasing order.
4, h, -1, -2
Let n = 0.2 - -0.2. Let m be (0 - -2) + 0 - 16/6. Put n, 0.03, m in decreasing order.
n, 0.03, m
Let o = 14 + -4. Let k be (-5)/o + 9/6. Sort k, -5, -4 in descending order.
k, -4, -5
Let i be 4/(-10)*5/9. Sort i, 5, -4 in decreasing order.
5, i, -4
Suppose 3*f - 1 + 7 = 0. Let c be (f + 2)*(-4)/(-8). Sort c, 1, 3.
c, 1, 3
Let u be (-3)/24 - 7/(-56). Sort u, -4, 5, -3 in descending order.
5, u, -3, -4
Let c = -12 + 9. Sort c, 4/7, -7.
-7, c, 4/7
Suppose 5*i - 9 = 2*c + 11, 2*c - 34 = -4*i. Let w = i - 11. Put w, 3, -4 in decreasing order.
3, -4, w
Suppose 0 = 4*n + 3*g + 36, -5*g + 4 = -n - 5. Let k be (-24)/84 + 32/14. Sort n, k, -3 in increasing order.
n, -3, k
Suppose -3*p - 5 + 2 = 0. Let v(q) = 2*q - 2. Let a be v(2). Suppose 5*j = 4*f - 3, a*j + 0*f - 2*f = 0. Sort j, p, 5 in ascending order.
j, p, 5
Let n be ((-1)/3)/((-2)/18). Let w(z) = -z**3 - 5. Let d be w(0). Sort d, -2, n in descending order.
n, -2, d
Let a be 1*-13 - (2 + -2). Let d = -9 - a. Suppose d*n - 4 = 12. Sort 0, -4, n in decreasing order.
n, 0, -4
Let n(p) = 2*p + 8. Let c be n(-2). Put c, 5, -2, 10 in increasing order.
-2, c, 5, 10
Let j = -0.15 + -0.03. Let g = 3.82 - j. Sort 3/4, 0.05, g in increasing order.
0.05, 3/4, g
Let d = -2/57 + -8/855. Put 3/7, 2/23, d in increasing order.
d, 2/23, 3/7
Let a(k) = -k**2. Let p be a(0). Suppose p = -4*z - 2 - 10. Sort 2, z, -5 in decreasing order.
2, z, -5
Let r be 8/(-2) - (-24)/4. Let x(j) = -j - 10. Let w be x(-7). Put w, 3, r in decreasing order.
3, r, w
Let x be 2/((-12)/3)*-6. Suppose -c = b - 5, 25 = -3*c + x*b + 2*b. Let n = -6 - -9. Sort c, n, 2.
c, 2, n
Let t be 4/(-20) + (-122)/(-10). Suppose s + t = 5*s. Sort 2, s, -3 in descending order.
s, 2, -3
Suppose 81*k = 85*k + 320. Sort -3, k, 1, -4 in ascending order.
k, -4, -3, 1
Let r(y) = -y**3 - 19*y**2 - 3. Let j be r(-19). Sort 6, j, 1.
j, 1, 6
Let s = 55 + -50. Let t = 12 - 8. Sort t, s, -1/5 in ascending order.
-1/5, t, s
Let b = -0.8 - -0.5. Let k = -1746/5 + 348. Put k, 1/12, b in ascending order.
k, b, 1/12
Suppose 0*g - g - x = 1, 2*g = -5*x - 2. Sort g, 5, 7 in decreasing order.
7, 5, g
Suppose -5*l + 2*n = 8 + 36, -2*l + 4*n - 24 = 0. Let g = l + 4. Let t be g*(45/12)/5. Put t, -5, -2 in decreasing order.
-2, t, -5
Let z = 6 - 13. Sort z, 0.2, 4.
z, 0.2, 4
Suppose 24 = -2*i - i. Let t = -5 - i. Let c(x) = -x**3 + 3*x**2 - x - 2. Let u be c(3). Put u, t, 2 in decreasing order.
t, 2, u
Suppose u - 4*q = -14, -u - 33 = -4*u - 3*q. Suppose -3*p - u + 3 = 0. Sort -2, 5, p in descending order.
5, p, -2
Let p be ((12/111)/2)/3. Let t = 146/111 + p. Let r be 1/2*(-4)/(-7). Sort r, -1, t in decreasing order.
t, r, -1
Let k be 1*(1 + (-8*2)/(-4)). Sort k, -10, -3 in increasing order.
-10, -3, k
Suppose -2*b - 5 = 1. Put b, -4, 10, 0 in decreasing order.
10, 0, b, -4
Let s = -23323 - -3148549/135. Let y = s + 2/135. Sort -4, 5, y in descending order.
5, y, -4
Suppose 11 - 26 = -3*x. Sort -1/6, 4, x in ascending order.
-1/6, 4, x
Let z = 57 + -53. Let c = -4.5 - -0.5. Put c, z, -0.1 in decreasing order.
z, -0.1, c
Let x(o) = 5*o**2 - o - 1. Let y be x(-1). Suppose -3 = 2*m - r + y, 4*r = -4*m - 16. Put -2, 3, m in descending order.
3, -2, m
Suppose 0 = -g - 4*h - 16, g - 2*h = 3*g + 2. Suppose -d + 22 = 21. Sort 3, g, d in ascending order.
d, 3, g
Suppose -4*j = -3*j - 4*u - 6, 6 = j + 3*u. Put j, -2, -4 in descending order.
j, -2, -4
Let n be (2 + -10)*2/4. Sort n, -10, -5, 3 in ascending order.
-10, -5, n, 3
Let c = 59/2 - 29. Let m = -10 + 10.1. Sort c, -3, m in descending order.
c, m, -3
Let i(r) = r + 6. Let y be i(-10). Sort y, 4, 1/3 in descending order.
4, 1/3, y
Let g(j) = 6*j + 3. Let m be g(-1). Put -7, m, 1 in descending order.
1, m, -7
Let u be 2/(-14) - (-20)/(-7). Let i = -9 - -5. Put 1, u, i in increasing order.
i, u, 1
Let u(a) = -a**2 + 11*a - 14. Let i be u(10). Put i, -1, 3 in ascending order.
i, -1, 3
Suppose -4*s = -9 + 1. Suppose -12 = -s*w - w. Suppose -2*c - 10 = -3*o, -3*c - 10 = -w*o + 5. Sort 0, 4, c.
c, 0, 4
Let k = -144 - -149. Let r(c) = -c**3 + 9*c**2 + 10*c + 7. Let i be r(10). Put i, k, -5 in descending order.
i, k, -5
Let v = 0.41 - 0.4. Let m = v - 0.41. Suppose -4*k + w + 28 = k, -2*w = 5*k - 19. Put m, k, 1/3 in increasing order.
m, 1/3, k
Suppose -19*z = -24*z - 15. Let u = 4 + -1. Put 7, z, u in increasing order.
z, u, 7
Let h = 106.49 - 106. Let f = 0.01 + h. Let t = -0.2 + 0.2. Sort 0.2, t, f.
t, 0.2, f
Let m = 3.1 + -0.1. Let x = m + -4. Let n = 1/340 - -83/680. Sort x, -2, n.
-2, x, n
Let n be (4/6)/((-44)/