, k in ascending order.
k, -0.1, 5
Let d = -0.3 + -0.7. Let g = 4 - d. Let x = -12 - -12.5. Sort x, 2, g in decreasing order.
g, 2, x
Suppose -y + 7 = -4*q, -4*q + 9*q + 4*y = 7. Put 3, q, -5 in decreasing order.
3, q, -5
Let j = -126 - -2144/17. Sort -0.3, 0.9, j in descending order.
0.9, j, -0.3
Let d = -4.1 - 0.9. Let o = 7.04 + -0.04. Let y = -4 + o. Put d, 1/2, y in increasing order.
d, 1/2, y
Let z = -1.05 - -0.05. Sort z, 0.1, 2/3 in descending order.
2/3, 0.1, z
Let m = 3 - 4. Suppose 5 = -3*n - 3*u - 13, 5*n = 4*u - 3. Let j = -3 - n. Sort 3, m, j in decreasing order.
3, j, m
Let i be (-5*5 + -1)/2. Let z be 3 - (1 - i/5). Sort 2, z, -3 in decreasing order.
2, z, -3
Let d be (-325)/(-110) - (0 + 3). Let m = -49/110 - d. Sort -3, 2, m in decreasing order.
2, m, -3
Suppose 5*r - 5 = -0. Sort r, 4, 0 in decreasing order.
4, r, 0
Let q be 0 + (1 - 2) + 1. Let u be (3/(-6))/((-33)/(-18) + -2). Put u, q, -1 in descending order.
u, q, -1
Let q = 0.048 - 0.348. Let b be (2/5)/(7/10). Put q, 5, b in decreasing order.
5, b, q
Let a = 1.1 + 0.8. Let u = a + -2. Let c be 4/(-22) - (-252)/539. Put u, c, 1/4 in ascending order.
u, 1/4, c
Let s(d) = d**3 - 6*d**2 + 3. Let t be s(6). Sort t, 4, -1 in descending order.
4, t, -1
Let b = 0.2 - 0.2. Let s = b - -0.5. Let a = 10 - 71/7. Sort 2/19, s, a in decreasing order.
s, 2/19, a
Suppose -16 = -5*d + 4. Let a(u) = 15*u**3 + u**2 - u + 1. Let v be a(1). Let n = v - 11. Sort n, 3, d.
3, d, n
Let z = 5 + -1. Suppose -r = f + 2*r + 4, -2*r = 4*f - z. Put 6, 3, f in ascending order.
f, 3, 6
Let d = 2 - 2. Let q = 3 - d. Let w = q + 2. Sort w, -0.4, -3 in descending order.
w, -0.4, -3
Suppose 0 = -7*i + 6*i + 2. Let k = i + -6. Sort k, 5, -2 in increasing order.
k, -2, 5
Let g = -25 + 24. Let j be (0 - -8)/(5 - 3). Sort 2, j, g in decreasing order.
j, 2, g
Let u(s) = -s**2 + 7*s - 3. Let b = 5 - -1. Let j be u(b). Let k be (-3*1)/((-3)/(-2)). Sort k, j, -4 in ascending order.
-4, k, j
Let k be (-212)/224 + 8/14. Put 5, k, -21 in decreasing order.
5, k, -21
Let g = -0.1 + 0.1. Let n = 147 + -3089/21. Sort -3, g, n in decreasing order.
g, n, -3
Let x(j) = j**2 - 245. Let b be x(0). Let t = 1712/7 + b. Put 0.4, -5, t in descending order.
0.4, t, -5
Let q be (-18)/(-112) + (-6)/21. Let j = 0.1 + -0.3. Put q, 2/11, j in decreasing order.
2/11, q, j
Let z be -1 - (-2 + 3) - 0. Let v = -0.03 - -0.43. Let b = -0.2 + v. Put z, b, 4 in ascending order.
z, b, 4
Let k(c) = c + 1. Let l be k(2). Let t(w) = -w + 13. Suppose 2*x - 45 = -3*x. Let j be t(x). Put j, l, -4 in ascending order.
-4, l, j
Suppose 4*p - 4*t = -3*t + 23, 5*p + 4*t - 13 = 0. Suppose -6*i + 2*l = -i - 2, 3*i = -l - 1. Put p, i, 1 in descending order.
p, 1, i
Suppose s = -2*s + q - 10, -4*q - 28 = 5*s. Let i(r) = -r**3 - 5*r**2 - 4*r - 2. Let z be i(s). Suppose x = u - 3*u, 3*u + 18 = 3*x. Sort z, x, 2.
z, 2, x
Suppose 30 = 5*a - 0*a. Suppose 2 - a = -2*d. Sort -3, -5, d in increasing order.
-5, -3, d
Suppose s = -2*m - 4 + 12, -3*m + 37 = 4*s. Suppose -r + v = r - 14, r = 2*v + s. Sort 4, 1, r in ascending order.
1, 4, r
Let w = 21.5 + -34. Let y = w - -12. Let c = -2.95 - 0.05. Put 4, c, y in ascending order.
c, y, 4
Suppose 0 = 2*q + 4*k + 10, -7*k + 5*k + 7 = 5*q. Sort 1, q, 0 in increasing order.
0, 1, q
Let j = -9.5 + 10. Let o = 0.82 - 0.12. Let m = j - o. Sort 2/5, 0.2, m in decreasing order.
2/5, 0.2, m
Let a be (-2)/(-6)*1*3. Suppose -4 = -2*h + 8. Suppose -h*p - 20 = -2*p. Sort -2, a, p.
p, -2, a
Let a = -256698 + 3333033/13. Let z = 311 + a. Let g(t) = t**3 + 2*t**2 - 2*t + 1. Let u be g(1). Sort 5, z, u in decreasing order.
5, u, z
Let s = 0.87 + -0.47. Put 1/4, s, 3/7, 2/17 in descending order.
3/7, s, 1/4, 2/17
Let t be (91/(-39))/((-1)/3). Suppose 0 = z + p + 4, 0*z + 2*z + 18 = -4*p. Let v be z/(2 - t/3). Sort -5, 2, v in increasing order.
-5, v, 2
Let p(b) = -2*b - 6. Let i be p(5). Let a be (i/10)/((-4)/10). Let u be (-8)/((-21)/(-9) - 3/9). Put u, a, -3 in decreasing order.
a, -3, u
Let x(v) = -v**3 - 4*v**2 - 3*v. Let p be x(-3). Put -2, p, -1 in increasing order.
-2, -1, p
Let x = -1.9 - -4.9. Let n = -0.6 - 1.4. Let u = n - -2.3. Sort 0.2, x, u in ascending order.
0.2, u, x
Let g = -8.4 + -2.6. Let t = g + 10.5. Sort 5, 0.9, t.
t, 0.9, 5
Let y = -37.6 + 38. Sort -1/10, -4, y in descending order.
y, -1/10, -4
Let l = 20.6 + -21. Let y = -3 - -2.7. Let g = y - -0.1. Put g, l, 3 in descending order.
3, g, l
Suppose 0 = -3*z - 3*s + 12, 5*z + 2*s + 0 = 5. Let n be 1/1 - (z - -1). Sort -0.1, n, 0.1 in increasing order.
-0.1, 0.1, n
Let f = 0.96 + 0.04. Let n = -7 + 10. Let p = n + 1. Sort p, f, 5.
f, p, 5
Let l be 4/(-6)*-3*(-5)/10. Suppose 8 = -0*f - 4*f. Let k be ((-6)/(-8))/(f/(-8)). Put 2, k, l in decreasing order.
k, 2, l
Suppose 7*m = -7 - 28. Put m, 4, -4 in descending order.
4, -4, m
Let j = -13 + 14. Let l be (1 - 0) + 4/2. Suppose -6 = -3*o + 5*o. Put j, o, l in decreasing order.
l, j, o
Let o be -1 - 0 - (-6 + -4 + 15). Sort o, 4, -0.4 in decreasing order.
4, -0.4, o
Let h = 2 - -2. Suppose 9*u - h*u = 15. Put -2, 1, u in decreasing order.
u, 1, -2
Let h be (-3 - -1 - -4)/(2/(-2)). Put h, -10, 3, -3 in decreasing order.
3, h, -3, -10
Let k be 2/(-1 + (-6)/(-4)). Suppose -k*y - 4 = 16. Let p = -119 - -115. Put y, -1, p in increasing order.
y, p, -1
Let n(x) = x + 25 - x**2 - 25. Let b be n(1). Sort -3, b, -1 in ascending order.
-3, -1, b
Let k = 205 + -207. Sort k, 0, 13 in ascending order.
k, 0, 13
Let k(w) = -w**3 - 2*w**2 + 11*w + 8. Let q be k(-4). Sort -9, q, 0, -5 in decreasing order.
0, q, -5, -9
Let c be 1 + 0 - (3 + -1). Suppose -6*a = -4*a. Sort a, c, 3 in decreasing order.
3, a, c
Let f = -0.6 + 2.6. Let z = 0 - f. Let p = 0.09 - -0.21. Sort 1, p, z.
z, p, 1
Let o = -0.154 - -0.264. Let g be 4*(-2)/(-60)*-1. Put o, g, -4 in descending order.
o, g, -4
Let w = 2.3 - 6.3. Sort 0.3, w, 3, -0.1 in decreasing order.
3, 0.3, -0.1, w
Let k = -90 + 541/6. Let o = -1 + -1. Let b = 3 + o. Sort k, b, -1/3.
-1/3, k, b
Let q be (-12)/32 - 190/(-80). Let h(l) = -l**3 - l**2 + l + 4. Let c be h(0). Put q, -1, c in increasing order.
-1, q, c
Suppose 2*k = -4*n, -4*n - 16 = -6*k + 4*k. Sort k, 78, 0 in decreasing order.
78, k, 0
Let w = 0.8 + -0.4. Let f = -0.1 - -0.1. Let q = 0.5 + -0.4. Sort q, f, w in descending order.
w, q, f
Let q = 0.07 + -3.07. Let p = q + 2.8. Sort -4, p, -0.3 in decreasing order.
p, -0.3, -4
Let h be 2 + (3 - 57/9). Let u = -882/5 + 177. Put u, h, 2/9 in decreasing order.
u, 2/9, h
Let k be 4/14 + 33/7. Put 1, 2, k in decreasing order.
k, 2, 1
Let p be ((-2)/4)/((-5)/20). Sort p, -0.3, 0.1 in ascending order.
-0.3, 0.1, p
Let j(n) = -3*n + 49. Let g be j(17). Let y be (-1)/(-2) - 26/4. Put y, g, -4 in ascending order.
y, -4, g
Let z(t) = t**2 - 3*t - 5. Let g be z(5). Let r be 8/(-10)*(-5)/(-2). Sort 2, g, r in descending order.
g, 2, r
Suppose 15 = 3*r - 0. Suppose -4*n - 3 - r = 0. Sort n, 0, 1.
n, 0, 1
Suppose 0 = q + 4*q - 20, 4*q - 12 = 4*c. Let r = c + -4. Sort -5, r, 4.
-5, r, 4
Let i = -8 - -12. Suppose 2*s + 5*g = s - 8, 3*s = 4*g - 5. Sort s, i, -4.
-4, s, i
Let q be -5 + 4 + -2 + 1. Sort 1, -4, 8, q.
-4, q, 1, 8
Let u be (-28)/(-4)*1/1. Let f = u + -10. Sort -1, f, 1 in ascending order.
f, -1, 1
Let n = -0.1 - -0.6. Let c = -155.6 - -156. Put c, n, -0.2 in increasing order.
-0.2, c, n
Let o(d) = -10*d**3 + 3*d**2 - 3*d + 1. Let v be o(1). Sort -5, v, -4, -2 in decreasing order.
-2, -4, -5, v
Let u(f) = -f**3 + 7*f**2 + 9*f + 4. Let o be u(8). Let x = 17 - o. Sort -2, x, 0.3 in ascending order.
-2, 0.3, x
Suppose 0 = k + 4*k - 15. Let j(c) = -2*c**2 + 4*c + 1. Let p be j(k). Suppose -2*l + 8 = -d, -16 = d - 4*d - 4*l. Sort d, p, -1 in increasing order.
p, -1, d
Suppose -3*c + 0 = i - 3, -4*c = 4*i + 4. Suppose -17*q + 2*q + 60 = 0. Sort c, q, -4.
-4, c, q
Let z(g) = g - 2. Let v be z(7). Suppose c - v*c = -4. Suppose -4*u = f - 16, 2*u - f + c = u. Put 0, -3, u in decreasing order.
u, 0, -3
Let r = 0.03 + -0.09. Let w = 0.36 + r. Sort 1, w, -3/8 in decreasing order.
1, w, -3/8
Let n be 9 + (-1 - 8/4). Put -5, -1, n in decreasing order.
n, -1, -5
Suppose 4*p - 6 = 2*j, -2*j + j = 5*p - 11. Suppose 0 = -5*a + 4*f - 12, -a + 3*a + 5*f = 15. Put p, 1, a in descending order.
p, 1, a
Suppose v = 