 -5*k - q + 17, 0 = k - 3*q + 2 + 1. Put k, -15, 2/11, 1 in decreasing order.
k, 1, 2/11, -15
Suppose -4*n + 17 = 5*i, n + 0*i - 2 = i. Suppose n*d + 5*u = 0, 4*u = -4*d - 13 + 5. Put 0.5, -2/11, d, 2 in descending order.
2, 0.5, -2/11, d
Let v = -2.019 - -2.45. Let y = 0.031 - v. Let b = 443/6 + -74. Sort y, -2, b.
-2, y, b
Let a(v) = -v**2 - 20*v + 26. Let r be a(-21). Put -3, -6, r, 1 in ascending order.
-6, -3, 1, r
Let t be 8/6 - (-8)/12. Let g(n) = n**2 - 22*n + 121. Let f be g(7). Sort f, -2, 4, t in descending order.
f, 4, t, -2
Let k = -1.9 + 3.6. Let z = k - -2.3. Put -2/7, z, -7 in descending order.
z, -2/7, -7
Let t be 4 + 0 - (1 - 1). Suppose t*v + 20 = 5*s, -3*v = -2*v. Sort s, 1, 0 in descending order.
s, 1, 0
Suppose 5*b - 586 = -436. Put -4, -1, b in decreasing order.
b, -1, -4
Let t(o) = 3*o + 2*o - 5 + 6 - 3*o. Let w(y) = -y**3 + 6*y**2 + y - 8. Let v be w(6). Let i be t(v). Put i, 2, 6 in increasing order.
i, 2, 6
Let d = 939 + -13147/14. Put 4, d, -5, 8 in decreasing order.
8, 4, d, -5
Let l be -1 + 1 + (-4 - 1). Sort 1, l, -17, 8.
-17, l, 1, 8
Let t be (-2)/((-111)/(-28) - 4). Let c = 52 - t. Put 5, -2, c in ascending order.
c, -2, 5
Let v = -449 - -449.2. Put -2/21, 0.4, v in ascending order.
-2/21, v, 0.4
Let b = 71 - 36. Suppose 5 + 1 = -3*s + 3*d, -4*d + b = 5*s. Let t = 1 - 1.1. Put s, -1, t in increasing order.
-1, t, s
Let k be 172/860 + 2/(-10). Sort -375, k, -3 in decreasing order.
k, -3, -375
Let r = 550 + -554. Sort 1, -1, r, -7.
-7, r, -1, 1
Let c(h) = -h**2 + h + 1. Let t be c(0). Let b(z) = z**3 + 8*z**2 - 10*z + 1. Let v be b(-9). Suppose -20*o - v = -25*o. Put o, t, -3 in decreasing order.
o, t, -3
Let o = 666 + -662. Sort 3, -4/3, o, -4/5 in descending order.
o, 3, -4/5, -4/3
Suppose 18*z - 6*z + 60 = 0. Sort -42, 0, z, 5 in decreasing order.
5, 0, z, -42
Let a = 3 - 2. Let h = -426 - -429. Sort -4, a, h.
-4, a, h
Let j be (-56)/16*24/(-21). Let c = 21 + -19. Suppose u = -4, -4*o + 3*u = -8*o - 32. Sort o, c, j in ascending order.
o, c, j
Suppose -2*r - 5*b + 20 = 0, -r + 0*b = -4*b + 16. Suppose r*g - 5*g - 15 = 0. Let a = g - 0. Sort 2, a, 1 in decreasing order.
2, 1, a
Suppose 5*b = 3*s - 16, -8*s = -12*s + 3*b + 14. Sort s, -1, 5, -6 in decreasing order.
5, s, -1, -6
Suppose -4*i = 4*f - 4, f + i - 5*i + 4 = 0. Suppose 3*b - 3*b + b = f. Sort -5, b, -4 in decreasing order.
b, -4, -5
Suppose -2*u - 4*y + 101 - 39 = 0, -4*u + 100 = 2*y. Sort u, -5, 0, -2 in ascending order.
-5, -2, 0, u
Let h be 4/22 - 10608/61490. Sort h, 5, -0.2 in descending order.
5, h, -0.2
Let n = 7.7 + -74.3. Let w = -67 - n. Put -1/6, w, -3 in decreasing order.
-1/6, w, -3
Suppose -2*k = 17*k + 76. Suppose -5*r - 44 = -4. Let l = -17 - r. Sort k, 4, l.
l, k, 4
Let d = 66 + -32. Let c = d + -33. Put c, -1/6, 0.6 in ascending order.
-1/6, 0.6, c
Suppose -z + 4*a - 7*a = 14, 4 = 4*a. Sort -5, z, 4.
z, -5, 4
Let i be 3/(4 + 7/2). Let k = -8 - -11. Sort k, -0.1, i.
-0.1, i, k
Let p = -26.57 - -27.8. Let s = -0.77 - p. Put 0.5, s, 0.1, 4 in increasing order.
s, 0.1, 0.5, 4
Let o = 23 + -16. Let x(i) = i - 9. Let d be x(o). Let t be (d*(-9)/(-12))/(-4). Sort -0.3, 3, t in descending order.
3, t, -0.3
Let b be 4/10*20/(-14). Put b, -2, 0.2 in decreasing order.
0.2, b, -2
Let y = 0.029 - 5.029. Let n = -2/7 + -1/21. Put y, n, -2 in increasing order.
y, -2, n
Suppose 25*t = 47*t + 220. Put 5, 1, t, -2 in decreasing order.
5, 1, -2, t
Let k = -78 - -86. Suppose 4 + k = -4*d. Put -1, d, 11 in descending order.
11, -1, d
Let b = -56 + 54.98. Let v = -0.02 - b. Let i = v + -0.7. Sort 1/4, i, 2.
1/4, i, 2
Let d = 1 + -5. Suppose -3*s = 2*w - 21 + 6, -2*w = -3*s + 15. Sort 2, -27, d, w in descending order.
2, w, d, -27
Let r(l) = l**2 - 6*l + 7. Let m be r(6). Let y be 3*((0/4)/(-1) - (-18 - -17)). Sort m, -2, y in decreasing order.
m, y, -2
Suppose -3*k + 4*k = -2*k. Sort -8, k, 5, -4.
-8, -4, k, 5
Suppose 5*d = -22 - 33. Let g = d + 8. Let n = 122 - 121. Sort 4, g, n.
g, n, 4
Let g = -406 - -409. Sort 0, -3, g in ascending order.
-3, 0, g
Let a be 15/36*(-2)/5. Put 5, a, -1/4 in ascending order.
-1/4, a, 5
Let l(s) = s**2 + 18*s - 61. Let b be l(3). Let i = 0.1 + -0.5. Let k = 0.6 + i. Put k, b, -3/5 in decreasing order.
b, k, -3/5
Let n be 4/3 - 770/(-462). Suppose -1 = -2*h - 7. Sort -5, n, h in descending order.
n, h, -5
Let y = -64 - -63.8. Sort -0.09, -8, y in decreasing order.
-0.09, y, -8
Let r be ((-8)/42)/(15/((-315)/6)). Put 0.027, r, -2 in decreasing order.
r, 0.027, -2
Suppose 36 = 1435*t - 1426*t. Sort 1504, 1, t in ascending order.
1, t, 1504
Let z = 800 - 705.8. Let c = 94 - z. Sort -3, -1, c, -5 in descending order.
c, -1, -3, -5
Let p = -1 - 1. Suppose -30*s = -274 + 214. Sort p, -3, s in descending order.
s, p, -3
Let v be (1 + 1 - -17) + 1. Suppose -7*m = -3*m - v. Suppose 4*k = -m*f - 12, -f = 2*f + 4*k + 12. Put -2, f, 3/5 in descending order.
3/5, f, -2
Suppose z = -2*z - 3. Let l = -44 - -43.98. Sort l, z, 4, 1/3 in descending order.
4, 1/3, l, z
Let r = 0.7 + 0.3. Let t = -157 + 158.17. Let g = 0.67 - t. Sort g, -4, r in descending order.
r, g, -4
Let d = -1072/3 + 357. Let p = 1/27 + -137/54. Sort 5, p, d in increasing order.
p, d, 5
Let a = 49 - 48.98. Let m = 590/29 - 35197/1740. Let g = m + 2/15. Sort 0, a, g in decreasing order.
g, a, 0
Let r be (-2)/(7 + -9) - 1. Sort 2, r, 3, -3 in ascending order.
-3, r, 2, 3
Let x be (-22)/6 + (-1)/3. Let t = -8.7 + 3.7. Sort -0.4, t, x in increasing order.
t, x, -0.4
Let z = 11 - 7. Suppose -u = -0*u - z. Suppose -u*b + 3 - 11 = 0. Put 3, b, -5 in decreasing order.
3, b, -5
Let n be (-19 + 19)/(8/2 + -5). Sort n, 1, -7, -5 in ascending order.
-7, -5, n, 1
Let w = 32.51 + -0.51. Let x = -33.3 + w. Let n = x - -1.5. Put n, -0.1, 3 in descending order.
3, n, -0.1
Suppose 2*y = 4*g - g + 5, -3*y + 4*g = -6. Sort y, 108, 2.
y, 2, 108
Let r = 0.74 - -0.26. Let t = r + -1.4. Sort 4, -1/29, t in descending order.
4, -1/29, t
Suppose -h - 19 = -6*h - z, -h = 2*z - 11. Sort h, 6, 2, -4 in ascending order.
-4, 2, h, 6
Suppose -a + h = -6, -5*a + 3 + 7 = -h. Sort a, -1, 91, 0.
-1, 0, a, 91
Let s = -1190 - -5924/5. Let j = s + 5. Let d = 0.4 + 0.3. Sort j, 1, d in ascending order.
j, d, 1
Let l be 6/6 + (-1)/3*-6. Let a(z) = -4*z - 1. Let i be a(4). Sort i, -1, l in decreasing order.
l, -1, i
Let j = -11 - -6. Let k(w) = -w**3 - 5*w**2 - 2*w - 8. Let l be k(j). Sort -3, -7, l in descending order.
l, -3, -7
Let d(h) = 2*h**2 + 2*h - 56. Let y be d(5). Sort 3, -1, -5, y in descending order.
y, 3, -1, -5
Let h = 610 - 615. Let a be (-2)/(-8) + 3/(-12). Sort -17, h, a.
-17, h, a
Let k(x) = -x**2 + 17*x + 58. Let n be k(20). Let f be (10/(-6))/((-1)/3). Put -4, n, f in ascending order.
-4, n, f
Let v = 10.4 + -10. Let m = -8 - -9. Put -1, -2, v, m in decreasing order.
m, v, -1, -2
Let c = -2418 + 31432/13. Put c, 4, -19, 0 in descending order.
4, 0, c, -19
Let u(v) = -2*v + 26. Let f be u(14). Let k(d) = 5*d + 7. Let p be k(f). Sort -1/6, p, -1 in increasing order.
p, -1, -1/6
Let f = 85 + -85. Let c(h) = 4*h**2. Let z be ((-4)/(-6))/((-4)/(-6)). Let i be c(z). Sort i, f, 8 in increasing order.
f, i, 8
Let s be 6/10 + (-3)/5. Suppose 37 - 13 = 3*p. Suppose s = 3*w - p*w - 15. Sort w, 0.5, 5 in decreasing order.
5, 0.5, w
Let m = 0.04 - -0.88. Let s = 74.08 - 74. Let v = s + m. Sort -1/3, v, -3/2 in ascending order.
-3/2, -1/3, v
Let i(m) = m**2 - 9*m + 10. Let s be i(7). Let y = 7 - 5. Sort s, 1, y in descending order.
y, 1, s
Let p be 9/(108/56) - 4/6. Suppose 194*q = 198*q + p. Sort 3, q, -9 in increasing order.
-9, q, 3
Let g = -0.203 - -1.203. Put -1/2, g, -5, 0.1 in decreasing order.
g, 0.1, -1/2, -5
Suppose 2*u = 3*p - 68, -4*p + 3*u + 37 = -2*p. Sort 0, 7, 2, p in increasing order.
0, 2, 7, p
Suppose -r - 13 = 3*y, 5 = -r - 4*y - 6. Let j = r - -6. Let u = j - -16. Put 2, u, 4 in decreasing order.
4, u, 2
Suppose 2*p - 3 = -3*j, 3*j + 1 = 4*j - 2*p. Put -3, j, -2/9 in decreasing order.
j, -2/9, -3
Let j(i) = i + 1. Let z be j(-2). Let q = -0.061 - -1.021. Let f = 0.9 - q. Sort 1/9, z, f in descending order.
1/9, f, z
Let j = 2.7 + 0.3. Let v(k) = -6*k**3 - k**2 + k - 1. Let t be v(1). Let d be (3 - t/(-3))*-1. Put j, 1/2, d in decreasing order.
j, 1/2, d
Let k(g) = 2*g**2 - 2*g - 9