Sort k, -1/3, 0.5 in decreasing order.
0.5, k, -1/3
Let x = -13 - -12. Sort x, 0.03, -0.4 in decreasing order.
0.03, -0.4, x
Let r = -0.09 - 0.31. Let z = -605/156 - -5/39. Let c = z + 4. Put -2, c, r in descending order.
c, r, -2
Suppose -5*t = p + 9, -p - 2 = -t - t. Let f = -12 - -6. Sort f, t, -5 in decreasing order.
t, -5, f
Let t = 0.6 + -4.6. Suppose 6*i = i. Let p be (-1 + i + -1)*-2. Sort -2, t, p in descending order.
p, -2, t
Let s be (-1 + 2 - 1)/(-1). Sort s, 3, 2 in decreasing order.
3, 2, s
Let m = 6 + -6.6. Let g = 0.9 + m. Sort -4, g, -0.1 in ascending order.
-4, -0.1, g
Let x = -2659/1645 - -90/329. Let k = -646 - -4514/7. Let m = x - k. Put -3/8, -2/11, m in decreasing order.
-2/11, m, -3/8
Suppose -3*f + 17 - 1 = 5*l, -5*l + 31 = -2*f. Sort f, -26, 5 in decreasing order.
5, f, -26
Suppose -2*f + 3*f = -f. Sort -1, -5, -3, f in ascending order.
-5, -3, -1, f
Let g(k) = -2*k - 1. Let l be g(3). Suppose 2*h + 2*p = -3*h + 6, 0 = 5*p + 10. Put h, -5, l in descending order.
h, -5, l
Let m be (4 - ((-740)/64)/(-5))*4. Let s(n) = n + 7. Let v be s(0). Let c = v - m. Put 0, c, -1/2 in descending order.
c, 0, -1/2
Let s = -0.2 + -0.8. Let c = 0.5 + s. Let a = -22.9 + 23. Sort 0.3, c, a in decreasing order.
0.3, a, c
Suppose -2*f + 72 = 3*u, -4*u - 3*f + 54 + 43 = 0. Put u, -5, 3 in increasing order.
-5, 3, u
Let j = 0.5 - 1. Let m = j - -1. Let a = -0.08 + -3.92. Sort 0.1, a, m.
a, 0.1, m
Suppose -4*f - 5*x + 10 = 0, 0*x = -2*x + 4. Suppose -3*y + 5*y = f. Let q(j) = j + 3. Let o be q(-7). Put y, -1, o in increasing order.
o, -1, y
Let u(a) = a**2 - a - 1. Let t be u(-2). Let n = -21 - -39/2. Sort n, -0.3, t in increasing order.
n, -0.3, t
Let p = -31 - -36. Put p, -4, 3 in increasing order.
-4, 3, p
Let y = -0.6 - -0.2. Sort y, -2, 0.4, -0.3.
-2, y, -0.3, 0.4
Let j(w) = -3*w**3 - 15*w**2 - 18*w + 12. Let s(d) = 2*d**3 + 8*d**2 + 9*d - 6. Let g(p) = 3*j(p) + 5*s(p). Let q be g(6). Sort 5, q, 1 in increasing order.
q, 1, 5
Let a(u) = 4*u**3 - u**2 + 2*u + 2. Let q be a(-1). Sort q, -2, 15, -1.
q, -2, -1, 15
Let v be (-32)/(-12)*(-3)/2. Let d(l) = -6*l - 2. Let b be d(-1). Suppose -14 = b*g - 2. Sort g, v, 5 in decreasing order.
5, g, v
Let g = -0.272 + -0.128. Sort g, 2/15, -5, 2/9 in descending order.
2/9, 2/15, g, -5
Let d = 116/3 - 39. Let i = -1.87 + -0.13. Sort i, -3, d.
-3, i, d
Let f be (-6)/4 - 2/(-4). Let y(p) = p**3 + p**2 + 2*p + 1. Let i be y(f). Sort 3, i, -2/7.
i, -2/7, 3
Suppose 0 = -2*a + 3*d - 2, d + 4 = 2*d. Put a, -4, 0 in increasing order.
-4, 0, a
Let u = -6 + 4. Let l be -2*1*(-4 + (-9)/(-2)). Sort u, l, 0.
u, l, 0
Let d be 4/(2 + (-2)/2). Let k = 10/3 - d. Sort k, 0.5, -2 in increasing order.
-2, k, 0.5
Let l = -16 - -16.2. Put l, -0.3, -0.2 in descending order.
l, -0.2, -0.3
Let l be (6/9)/(12/(-18)). Let i = 4 - 1. Let r = i + l. Sort r, -1, 0.
-1, 0, r
Let f = -137 + 139. Sort f, -76, -2 in descending order.
f, -2, -76
Let b = -7 + 2. Let q = 5 + b. Put -0.4, q, 1 in decreasing order.
1, q, -0.4
Let a = 12 - 4. Let m be 16/6*(-18)/(-12). Let t be (a/10)/(m/(-10)). Sort -1/7, 2/7, t in decreasing order.
2/7, -1/7, t
Let l = 22.4 - 22. Sort 5, l, -2 in increasing order.
-2, l, 5
Suppose -b = 4*b - 20. Suppose 0 = -4*o - 2*r + 16, -o + 0*r - 14 = -b*r. Put -2, -3, o in decreasing order.
o, -2, -3
Let h = -10 - -10.36. Let y = -0.04 - h. Let m be ((-3)/(-15))/((-15)/(-25)). Sort y, -0.2, m.
y, -0.2, m
Suppose -2*n = 3*n - 40. Sort n, -0.4, 0 in decreasing order.
n, 0, -0.4
Let g(u) = u + 6. Let k be g(-8). Put -3, 3, k, 1 in ascending order.
-3, k, 1, 3
Suppose -4 = -v - 9. Let q be (4/2)/(-8)*-4. Sort v, q, 3 in decreasing order.
3, q, v
Let n(j) = j**2 - 2. Let w be n(2). Suppose 5*c + 5 = 0, v + w*c + 0*c + 4 = 0. Sort -4, v, 0 in decreasing order.
0, v, -4
Let m = 1 - -4. Let k(h) = -h**2 + 6*h - 2. Let l be k(6). Let z = l + 2. Put z, m, -3 in descending order.
m, z, -3
Let q = 0.75 - 2.75. Sort 1, q, -4, -0.4 in increasing order.
-4, q, -0.4, 1
Suppose 13*j + 0 = 39. Put 12, -3, j in ascending order.
-3, j, 12
Let o = 9 + -5. Suppose 0 = n + o*n. Put -5, n, -3 in decreasing order.
n, -3, -5
Let z = -20.7 - -17. Let w = -0.3 + z. Put -0.2, -0.02, w in decreasing order.
-0.02, -0.2, w
Let d = -1.87 + 1.07. Put 2, -2/3, d in descending order.
2, -2/3, d
Let n = 1.2 - 1. Let g be (7 - -15)*(-2)/(-4). Let l be 2/g + (-36)/(-891). Sort 2, n, l.
n, l, 2
Let w(q) be the second derivative of 0*q**2 - 1/6*q**3 + 0 + 5/12*q**4 + 2*q. Let s be w(1). Put 1, 3, s in increasing order.
1, 3, s
Suppose 5*m + 0 - 25 = 0. Let t(l) be the second derivative of l**5/20 - l**4/4 + l**3/6 + l. Let v be t(1). Sort -4, m, v in increasing order.
-4, v, m
Let q(l) = -l**3 + 10*l**2 - 9*l. Let j be q(9). Suppose -6*d + d + 5 = j. Sort d, -3, 2 in ascending order.
-3, d, 2
Let x = -6 + 8. Let n be (3/27)/(x/(-4)). Put n, 2/11, 3/7 in descending order.
3/7, 2/11, n
Let p = 7 + -7. Let o(x) = x**3 - 6*x**2 - 5. Let v be 7 + (4/2 - 3). Let h be o(v). Sort -3, h, p in descending order.
p, -3, h
Let o = -5.7 + 0.7. Let r = o - -5. Let i = 0 + -0.1. Put r, -2, i in increasing order.
-2, i, r
Let n(a) = -a - 2. Let g be n(3). Let j(w) = w - 5. Let p be j(6). Sort -1, p, g in increasing order.
g, -1, p
Let z = -9 + 10. Suppose 3*u - z = -g, 0 = -0*u + 4*u - 5*g + 24. Sort 3, -4, u in ascending order.
-4, u, 3
Suppose 2*a = -5*a - 77. Sort 1, -1, 0, a in ascending order.
a, -1, 0, 1
Suppose 5*c = c - 12. Let q(g) = g**2 + 4*g + 2. Let s be q(-5). Suppose 0 = 3*a - 2*w - s, 5*w - 7 = -a + 1. Sort a, -4, c in ascending order.
-4, c, a
Suppose -5*l + 5*m - 10 = 0, -m = -2*l - 3*m + 12. Put l, -12, -3 in decreasing order.
l, -3, -12
Let w = 206 - 1438/7. Let d be 6/(-21) + 251/21. Let i = 137/12 - d. Sort w, i, 0 in decreasing order.
w, 0, i
Suppose 1 - 7 = -2*t. Sort 0.2, -3, t in ascending order.
-3, 0.2, t
Let u = 6 + -11. Let b = 8 + u. Let y = -3.1 - -3.2. Put -4, b, y in descending order.
b, y, -4
Let g = -0.18 - 0.02. Let k be (-3)/((-2)/64*3). Let l be 2/(-3)*18/k. Sort l, 0, g.
l, g, 0
Let t = 32 + -32.04. Sort 1/4, -0.3, t in decreasing order.
1/4, t, -0.3
Let x(v) = -v**3 - 6*v**2 + 9*v + 8. Let m be x(-7). Let f be (-2 + (-9)/m)*22. Put -5, 4, f in descending order.
4, -5, f
Let i = -28 - -35. Let u(k) = -k**3 - k**2 + 2. Let m be u(-2). Suppose -m = 4*t - i*t. Sort 4, t, 3.
t, 3, 4
Let m = -163 + 166. Suppose -3 + 4 = -r. Sort 5, r, m in decreasing order.
5, m, r
Let z be ((-15)/75)/(8/15). Sort z, -4, 2 in decreasing order.
2, z, -4
Let n(p) = p**2 + 13*p + 13. Suppose 2*w + 15 = 3*z, -2*w + 2*z = 5*z + 33. Let b be n(w). Sort 2, b, 3.
b, 2, 3
Let r = 0.24 + 0.06. Suppose -3*p + z - 5*z = 19, -z = -5*p - 24. Sort p, -4/5, r in descending order.
r, -4/5, p
Suppose 4*x = -4*o, 2*o + 5 - 17 = -5*x. Put 0.4, x, 0 in increasing order.
0, 0.4, x
Let l = 18 - 22. Put -6, l, 2 in descending order.
2, l, -6
Let x = -1.1 + 9.1. Let q = -6 + x. Let l = 0.81 - 2.81. Put l, q, -3/4 in decreasing order.
q, -3/4, l
Let p be -2 + 6 + 18/(-2). Put p, 19, 4, -3 in decreasing order.
19, 4, -3, p
Let r = 23 + -22.89. Let g = r + 0.09. Let s(x) = x - 6. Let u be s(6). Put u, -1, g in increasing order.
-1, u, g
Let o be 7/14*(-1 + -3). Suppose -2 - 4 = -3*w. Put o, -5, w in descending order.
w, o, -5
Let q be (78/15 - 2) + -2. Let u = -2.96 - 0.04. Sort -0.5, u, q in decreasing order.
q, -0.5, u
Let q = -43 + 65. Suppose 0*o = o - 5*g + q, 3*o = -5*g + 34. Suppose 5*n = m + 4*m - 10, -4*n = 5*m - 19. Sort 4, n, o in increasing order.
n, o, 4
Let c = 21 - 9. Let b = c + -14. Sort 0.2, 1/10, b in ascending order.
b, 1/10, 0.2
Suppose 0 = -a + 5*j - 19, 5*a = 4*j + j - 35. Let n be ((-2)/(-2) - 1) + 1. Let t = 0 + n. Put a, t, 5 in ascending order.
a, t, 5
Suppose 171*r = 173*r. Sort r, 1, 4, -15.
-15, r, 1, 4
Let s = 171 + -171.2. Let x = -10/9 - -52/63. Sort s, x, -1 in increasing order.
-1, x, s
Let q(l) = -l**3 + 6*l**2 - 2. Let x be q(6). Let y = -4 + -1. Sort y, -1, x in descending order.
-1, x, y
Let c = -13 - -12.94. Let n = -4.06 - c. Let k = 8 + -3. Sort 0, k, n.
n, 0, k
Let n = -0.6 + 0.1. Let u = -0.8 - n. Suppose 5*x - 2*m + 27 = 0, 5*x + 2*m = -m - 22. Put x, u, -2 in decreasing order.
u, -2, x
Let x = -0.1 - -0.6. Let o = 48 + -45.96. Let t