s, k in increasing order.
k, s, m
Suppose -3*k + 8*k - 4*d - 25 = 0, -4*k - 2*d = -20. Let a = -3 + 2. Put a, 1, k in ascending order.
a, 1, k
Let p = 7.27 - 10.3. Let u = 0.03 + p. Let z = -4 - u. Put 2, z, -3 in decreasing order.
2, z, -3
Suppose -2*y + 20 = 8. Suppose -3 = y*a - 3*a. Let b(o) = -o - 2. Let t be b(-2). Put a, -2, t in ascending order.
-2, a, t
Let q = -6.7 - -12.6. Let b = q + -6. Sort 2, -2/21, b in ascending order.
b, -2/21, 2
Let c = 46 + -48. Sort c, 2, 0.3 in descending order.
2, 0.3, c
Let s = -7/51 - -151/357. Let k = -0.04 + 4.04. Sort -0.1, k, s in descending order.
k, s, -0.1
Let v = -23 - -21. Sort -4, v, -1, -6 in ascending order.
-6, -4, v, -1
Let t be 4/6*4*(-18)/(-48). Sort -1, 0.4, t in increasing order.
-1, 0.4, t
Let t be 1 + 3 - 17/5. Put 5, t, 1/19 in descending order.
5, t, 1/19
Let y = 17.948 + 0.052. Sort 1, y, -0.1 in descending order.
y, 1, -0.1
Let b = 5 - 10. Suppose 7*m = -2*m + 18. Put -3, m, b in descending order.
m, -3, b
Let w = -8 + 6. Let x = w - -2.4. Let z = -8 + 7. Put z, x, -2 in descending order.
x, z, -2
Suppose 2*f + f + 10 = -2*d, -3*f = -2*d + 14. Let g be (-1)/(d/((-12)/3)). Sort -5, g, -3.
-5, -3, g
Let w = -22 - -21.64. Let q = 0.3 + w. Put 3, q, 0.2 in decreasing order.
3, 0.2, q
Let a be (-8)/(-36) - 22/18. Suppose 0 = 4*l - 5*l - 4. Sort 3, a, l in descending order.
3, a, l
Suppose 5*a + 9 = b, 0*b = 3*a + 3*b + 9. Let y be a/(-1) - (-1 + 5). Sort -0.5, y, 0.2 in decreasing order.
0.2, -0.5, y
Let u = -5 - -32/7. Let v = -0.8 - -0.9. Sort -5, v, u.
-5, u, v
Suppose v = -4, 0 = 5*r + 4*v - 3*v + 24. Let u be (3 + -2)/1*r. Sort u, -2, 3.
u, -2, 3
Let r = 6 + -1. Suppose 0*p + r*p - 10 = 0. Sort p, -2, -1 in decreasing order.
p, -1, -2
Let v = 23 - 29. Sort 4, v, -3.
v, -3, 4
Let b = 43 + -133. Let u = 448/5 + b. Let i = -17/6 + 10/3. Put 0, i, u in decreasing order.
i, 0, u
Suppose 0 = 2*i - 4*n - 22, 3*i - 2*n - 20 = 1. Put -2/7, i, 0.4 in increasing order.
-2/7, 0.4, i
Suppose -x + 3*t = 3*x + 24, -x + 2*t - 11 = 0. Put x, -0.1, -4/3, -1/6 in descending order.
-0.1, -1/6, -4/3, x
Suppose -5*r = -n + 28, -36 = -5*n - 4*r + 3*r. Let v(k) = 3*k - 25. Let w be v(9). Sort 1, w, n in increasing order.
1, w, n
Let k be 81/(-108) - (-86)/136. Sort 0.03, 4, k, 0.
k, 0, 0.03, 4
Let z be (-2 - -1*4) + 0. Suppose 13 = -2*q + 3*f, z*q - 19 = 3*q - 4*f. Sort 4, q, -4.
-4, q, 4
Let v(c) = -c + 3. Let n be v(4). Let b(x) = 2*x + 1. Let d be b(2). Sort d, n, 3.
n, 3, d
Let l = 46 - 44. Put -3, 3, -1, l in decreasing order.
3, l, -1, -3
Let s = -4.322 - -0.242. Let a = s + 0.08. Let p = 1.98 - -0.02. Sort p, a, -1.
a, -1, p
Let v(r) = -r**2 + 19*r + 5. Let f be v(19). Put 1, -2, f, -4 in decreasing order.
f, 1, -2, -4
Let g be 1 + -3 + (-7)/(-4). Put g, -3/8, 2/7, -5 in decreasing order.
2/7, g, -3/8, -5
Let y = 0 - 1. Suppose 0 = -2*l - 3*u - 20, 0*u + 3*u = -12. Sort y, l, 2 in decreasing order.
2, y, l
Let p = 3.1 - 0.1. Let b = -3.5 + p. Sort -4, -0.1, b.
-4, b, -0.1
Let q = 0.03 + -0.13. Put 2, 0.08, q in descending order.
2, 0.08, q
Suppose 9*o = 10*o + 6. Sort 3, o, -0.2.
o, -0.2, 3
Let y = -15 - -14.5. Sort 5, 0.5, y in ascending order.
y, 0.5, 5
Let d(o) = o**2 + 4*o + 1. Let z = -3 - 0. Let a be d(z). Let y(r) = -r**2 + r. Let s be y(1). Sort 2, a, s in increasing order.
a, s, 2
Let x(g) = -g**3 - g**2 + g. Let z be x(1). Put z, -5, -0.2 in increasing order.
-5, z, -0.2
Let b be (1/2)/((-3)/(-6)). Let w = -8 + 4. Put b, w, 4 in increasing order.
w, b, 4
Let x be ((-6)/(-4))/(6/8). Let y(w) = -4*w + w + x*w + 9. Let u be y(5). Put 0, -3, u in decreasing order.
u, 0, -3
Suppose 3*r + 96 = -r. Let t be (-6)/r - 115/4. Let z = t - -27. Put 5, -3/5, z in decreasing order.
5, -3/5, z
Suppose 3*n + 5*s + 9 = -0*n, -5*n + 3*s = 49. Sort -1, n, 2, 0 in increasing order.
n, -1, 0, 2
Suppose -2*p = 2 + 2. Let v(a) = -a**3 + 6*a**2 - 3*a - 7. Let i be v(5). Let h(u) = u. Let g be h(i). Put p, g, -3 in descending order.
g, p, -3
Let a(o) = -o**3 + 2*o**2 - 2*o + 1. Let k be a(2). Suppose p + 5*c = -9, 0 = 2*p + 2*c + 13 - 3. Sort p, 2, k in descending order.
2, k, p
Let y = 1.13 + -0.13. Sort 5, -1, -3, y in decreasing order.
5, y, -1, -3
Let t be (-4062)/(-63) - 2/6. Let u = -9 + 73. Let r = u - t. Sort r, -3/2, 1/3.
-3/2, r, 1/3
Let s = -9 - -19. Let v = -9.9 + s. Sort -3, v, -2 in decreasing order.
v, -2, -3
Suppose 5*h = f + 84, -7*h + 3*f + 92 = -2*h. Put 0, h, -2 in descending order.
h, 0, -2
Let r = -235/1274 + 3/98. Sort 1/6, r, 1 in descending order.
1, 1/6, r
Let y(u) = -2*u - 14. Let r be y(-8). Put 8, 3, r in increasing order.
r, 3, 8
Suppose -9 = -0*o + o. Let d be 6/o*(-60)/8. Sort d, 0, 2 in increasing order.
0, 2, d
Let o = -4 + 1. Let u = o - -1. Sort -4, 1/3, u in descending order.
1/3, u, -4
Let x = -239 - -4061/17. Let c = 8.9 - 5. Let a = -1.1 - c. Put x, a, -2 in descending order.
x, -2, a
Let t(k) = -k - 7. Let h be t(-7). Suppose 0 = -2*v + 2 - 0. Suppose -5*p - 4 = 3*u - 3*p, -p = 4*u + 7. Sort h, v, u in decreasing order.
v, h, u
Let w = -0.3 - 0. Let r = -6 - -6.4. Let a = r + w. Sort a, -2/13, 0.2 in ascending order.
-2/13, a, 0.2
Let v = -1 - 0. Let g = 2 + v. Sort -4, 0, g in ascending order.
-4, 0, g
Let f(b) = -9*b**2 + 6*b - 2. Let s be f(1). Let j = -0.2 - -0.2. Sort s, -4/5, j.
s, -4/5, j
Suppose -2 = -4*i + 3*i, -2*n + 2*i + 10 = 0. Let m = 11 - n. Suppose -p + 2 = 0, -m*l + 4*p + 16 = 2*p. Sort l, -2, -5 in increasing order.
-5, -2, l
Let j = 3.8 + -2. Let c = -10 + 12. Let i = c - j. Sort 0.1, i, -2/11 in increasing order.
-2/11, 0.1, i
Suppose -4*i = 4*g - 8, 7*g - 4 = 2*g + i. Suppose -g = -3*d + 3*s - 7, -4*s + 20 = 0. Suppose f = d - 4. Sort f, -3, -2 in increasing order.
-3, -2, f
Suppose 0 = 5*d + 4*j - 41, -d - 2*j + 21 = 2*j. Suppose d*z + 22 = -2*t, 2*t + 2*t - 4*z = 12. Let l be -1 - 0 - (4 + -8). Sort l, -4, t in decreasing order.
l, t, -4
Let a be -2 + 3 + -8 + 10. Sort 2, a, -5.
-5, 2, a
Let q be (-2)/7 - (-291)/945. Let j = q - 2/9. Let h be 2/(-8) - (-57)/(-12). Sort h, j, -4/5 in increasing order.
h, -4/5, j
Suppose -3*c - 22 = -5*c. Suppose -5*u - 4 = c. Let p be 1 + (0 + -2 - 0). Put 3, u, p in ascending order.
u, p, 3
Let o = -3 - -3.5. Put o, 1, -4 in descending order.
1, o, -4
Let r be (5 - 10/3)*-3. Let i = 2.6 - 3. Sort -2/9, r, i in ascending order.
r, i, -2/9
Suppose 0 = -7*i - 14 - 7. Sort 1, -10, i.
-10, i, 1
Let n = -1/20 - -4/5. Let s = -44.4 + 44. Sort -1, s, n in increasing order.
-1, s, n
Suppose o = 3*m - 55, -3*m - 2*m - 4*o = -120. Suppose 4*r = -4 + m. Sort -5, r, -4 in increasing order.
-5, -4, r
Let l be 1*-2*12/54. Let m = -1.1 - -6.1. Let w = m - 4.6. Put -2/15, w, l in descending order.
w, -2/15, l
Let g = 4.06 + 1.06. Let i = -0.12 + g. Put i, -5, -1/4 in descending order.
i, -1/4, -5
Let i be (-6)/(-45) - 215/(-75). Put i, 5, 0 in decreasing order.
5, i, 0
Let d = 2 - 1.5. Let i = 5574/17 - 328. Let l = 0.1 - -0.2. Sort l, d, i.
i, l, d
Let o be 144/(-27) + (-1)/(-3). Suppose 1 = 3*l + 13. Let i = l - -5. Sort o, 0, i.
o, 0, i
Let q = 1.1 + -1. Let y = 0 - q. Let u = 2.6 - 0.6. Put u, -2/7, y in descending order.
u, y, -2/7
Let u(x) be the second derivative of x**5/20 - 11*x**4/12 + 5*x**3/3 - x**2/2 + 3*x. Let c be u(10). Sort c, 4, 2 in decreasing order.
4, 2, c
Let b be (-1509)/(-12) - (-2 - -4). Let j = b - 123. Put -0.1, j, 1 in ascending order.
-0.1, j, 1
Let x be (-1)/((4/8)/1). Let g be (3/(-9))/(x/10). Sort 0.1, g, 2 in descending order.
2, g, 0.1
Let w = -27 + 28. Sort -3/8, w, 3.
-3/8, w, 3
Let p = -3 + 2.8. Let l = -0.08 - -0.08. Let t = l - p. Sort t, -0.1, 1 in ascending order.
-0.1, t, 1
Let i be (-2)/(-3) + (-40)/105. Let d be 2/8 + 299/(-156). Put d, -6, i in increasing order.
-6, d, i
Let q be -6*2*(-2)/(-4). Suppose 2*d - 7 = -13, 4*u - 3*d + 3 = 0. Put u, 1, q in increasing order.
q, u, 1
Let y = 0 - -2. Let a = y - 5. Suppose 8 = -5*n + 3*o - 17, 4*n = 2*o - 18. Sort a, n, 3 in decreasing order.
3, n, a
Suppose -4*l - 4*m + 124 = 0, -4*l - 3*m = -2*m - 124. Let r = l - 22. Suppose 2*k + k = r. Sort k, -2, 0 in ascending order.
-2, 0, k
Suppose -2*k - 5 + 15 = 0. Let v be (2/1)/((-3)/6). Sort -5, k, v in descending order.
k, v, -5
Let l = -0.02 - -0.02. Let f = l + 1. Put 0, 2, f in descending