= -k. Let b be (k + 1)*(1 - 4). Let x = 21.5 - 21. Put x, 0, b in increasing order.
b, 0, x
Let l be 2/(-3)*18/(-12). Put -2, 4, l in ascending order.
-2, l, 4
Let j = -12 - -12. Put 5, j, -3/2 in decreasing order.
5, j, -3/2
Let r = 21 + -20.5. Let z = r - 0.58. Sort z, 2, 5 in decreasing order.
5, 2, z
Let s = -39 + 41. Sort -3, -0.3, -4, s.
-4, -3, -0.3, s
Let v(d) = -3*d**3 + d**2 + 2*d + 1. Let a be v(-1). Suppose p - 15 = a*w - 2*p, w - 3*p + 9 = 0. Let r = -0.11 - -4.11. Sort w, -2/3, r.
w, -2/3, r
Let i = -9.4 + 9. Sort 5, i, 4/5 in decreasing order.
5, 4/5, i
Let m(n) = 5*n**2 + 2*n + 1. Let l(h) = 2 + 3*h**2 + 2*h**2 + 3*h + 5*h**2 - 4*h**2. Let r(y) = 4*l(y) - 5*m(y). Let x be r(3). Sort -1, x, -2.
-2, -1, x
Suppose 0 = 4*r - 2*r + 4. Sort 16, r, -4 in increasing order.
-4, r, 16
Let u be 4/(-6) - ((-4)/6 - 2). Sort u, 0.2, -5, 2/3 in increasing order.
-5, 0.2, 2/3, u
Suppose k + 3 - 2 = 0. Put k, -4, -2 in ascending order.
-4, -2, k
Let p = -0.47 + -4.53. Sort -4/7, p, 1 in increasing order.
p, -4/7, 1
Let s = -50 + 52. Put -4, s, -14, 5 in decreasing order.
5, s, -4, -14
Suppose 0 = -3*q + 4*p + 9, p - 3 = -q - 0*q. Put 2, q, 0.4, 5 in decreasing order.
5, q, 2, 0.4
Suppose 6*g + 3*q = g + 232, -140 = -3*g - 2*q. Let t be 33/g + (-1)/(-4). Sort t, -2, 0.
-2, 0, t
Let o be (2 - 2)/(-1) - -1. Suppose c + 2 = o. Let n be 2 + -4 - 4/(-2). Put c, 3, n in increasing order.
c, n, 3
Suppose -6*z = -2*z + 16, 10 = 5*t - 5*z. Sort 11, -3, -1, t in increasing order.
-3, t, -1, 11
Let h = 10 + -10. Suppose h = i - 0 - 3. Put -0.5, i, 4 in ascending order.
-0.5, i, 4
Let b = -149/116 - -1/29. Suppose -5*x + 26 = 6. Put b, 0.2, x in decreasing order.
x, 0.2, b
Let m be 5 + (-4)/(-6)*(-165)/10. Let t(d) = -d + 1. Let q be t(4). Sort q, -5, m in ascending order.
m, -5, q
Let u be (-12)/(-7) + 6/21. Suppose -4*k = 3*a + 11, -u*a = 2*a + 4*k + 8. Let l be (a/2 - 2)*-8. Put l, -4, -2 in increasing order.
-4, -2, l
Let g = 26 - 10. Let k be g/4 - 2 - -2. Sort -3, k, 5 in descending order.
5, k, -3
Let m = -0.9 - 0.1. Let h(n) = -n**3 - 11*n**2 - 10*n + 2. Let l be h(-10). Let o be 3/l*(-2)/(-3). Put 0.4, m, o in ascending order.
m, 0.4, o
Let o(i) = -i**2 - 12*i - 9. Let n be o(-11). Suppose -n*t - 2 = 8. Put 2/7, t, 0.04 in decreasing order.
2/7, 0.04, t
Let w be 1/3 - 2131/3. Let b be ((-8)/140)/((-8)/w). Let l = 32/7 + b. Put 0.1, 3, l in ascending order.
l, 0.1, 3
Let x = 17 - 7. Let y = x + -5. Put 3, y, -5 in increasing order.
-5, 3, y
Suppose 0 = n - 10 + 3. Sort -5, 4, n, -2 in descending order.
n, 4, -2, -5
Let q = 11.1 + 1.9. Let i = 8 - q. Let b = -9 + 8. Put b, -2, i in decreasing order.
b, -2, i
Let r(n) = n**2 + 2*n + 3. Let l be r(-2). Suppose 10*s = 15*s. Suppose h - 1 = 2*h. Put l, h, s in descending order.
l, s, h
Let u be (-1)/(6/20) + 4. Let n = -5 - -3. Put n, 2/11, u in decreasing order.
u, 2/11, n
Let c = -161 - -163. Sort 0.5, -11, c in decreasing order.
c, 0.5, -11
Let n be 4/(-16) + (-9)/(-4). Suppose n*m - m = 0. Sort m, -1, 1 in descending order.
1, m, -1
Let u = 1.32 - 0.32. Put -5, -0.4, u in descending order.
u, -0.4, -5
Let c = 39 - 41. Put c, 5, -4 in descending order.
5, c, -4
Let n(j) = -3*j - 1. Let r be n(-6). Let i be r/(-36) + (-6)/(-27). Put i, -0.1, 2 in descending order.
2, -0.1, i
Let h be -1 + 4 - (-7 + 5). Suppose 2*w - 16 = 4*y, 10 = -4*y + 2*y. Sort h, w, -5 in descending order.
h, w, -5
Let p(n) = -2*n + 13. Let g be p(9). Suppose 2*x + 4*l = -18, 0 = x + x + 3*l + 15. Put x, g, -1 in ascending order.
g, x, -1
Let f = -13 + 13.5. Sort 4, -2, f, 1/5 in increasing order.
-2, 1/5, f, 4
Let d = -71 + 76. Put 4, d, -3 in increasing order.
-3, 4, d
Let m = 5 - 9. Let x(s) = s**2 + 5. Suppose -q + 9 = -3*u, 3*u + 9 = -6*q + 3*q. Let d be x(q). Sort m, 2, d in descending order.
d, 2, m
Let y(m) = -m**3 - 7*m**2 + 7*m - 3. Suppose -4*v = 3*g + 26, g = 2*v + 3*g + 12. Let r be y(v). Sort 1, -2, r.
-2, 1, r
Let b = 0.53 - 0.5. Let j = b - 4.03. Put j, -1/3, 1 in ascending order.
j, -1/3, 1
Let a(s) = -2*s - 6. Let f be a(-3). Let x = 4 + -6. Put f, 0.4, x in decreasing order.
0.4, f, x
Suppose -3*w = 0, -5*t + 0*w + 25 = 2*w. Let n be (-8)/(-3) + (-2)/(-6). Put -4, t, n in decreasing order.
t, n, -4
Suppose -4*r = -2*r. Suppose -5*s + 4 + 1 = r. Let t(i) = i**3 - 2*i**2 + i. Let u be t(1). Put -2, u, s in descending order.
s, u, -2
Let n = -8 - -6. Suppose 0 = 3*b - 89 + 17. Let t be 4/(-10) - b/(-10). Sort -3, n, t in decreasing order.
t, n, -3
Let j = 10 - 14. Let o = 0.013 - -19.987. Let b = -19.5 + o. Put b, j, -5 in decreasing order.
b, j, -5
Suppose 2*l = -5*t + 4 + 9, 11 = 4*l + 5*t. Sort l, 4, -7.
-7, l, 4
Let g = -28 - -45. Sort 3, g, -4.
-4, 3, g
Let i = -2 - 1. Let h be (-4)/i*6/28. Let w = 0.2 - 0.5. Sort w, 3, h in decreasing order.
3, h, w
Let m = -0.3 + 2.3. Put m, 5, -1 in increasing order.
-1, m, 5
Let b = -8 - -8. Suppose -3*h + 0*h - 6 = b. Let u = 11 - 7. Sort h, u, -3 in increasing order.
-3, h, u
Let n = -3.6 - -2.5. Let c = 0.1 + n. Let k be (6/4)/(3/(-6)). Sort k, c, 4/7 in decreasing order.
4/7, c, k
Suppose -6*d + d + 25 = 0. Suppose -2*y - 17 = -d*k, -3*y + 16 = y. Let z = 50 - 55. Put z, k, 3 in descending order.
k, 3, z
Let g = 3/8 + -1/24. Let d be 3/(-45)*3 + 2/(-15). Put d, g, -1/4 in descending order.
g, -1/4, d
Suppose -5*y = -4*z - 4*y, -z = 4*y - 17. Sort 3/5, 0, z, -5.
-5, 0, 3/5, z
Suppose 0*h - 6 = -3*h + 2*c, 4 = 2*h - c. Put -0.3, -0.4, h in increasing order.
-0.4, -0.3, h
Let z = 63 - 82. Sort -4/5, z, -2/11 in descending order.
-2/11, -4/5, z
Let j(u) = 2*u + 9. Let s be j(-4). Sort -3, s, 4 in decreasing order.
4, s, -3
Let i = -2.3 - -0.3. Let v(n) = n**3 - 2*n**2 + 1. Let u be v(2). Sort -2/5, i, u.
i, -2/5, u
Suppose -5*k = 4 - 19. Put -3, k, -2 in decreasing order.
k, -2, -3
Let g(x) = x**3 + 6*x**2 - x - 1. Let k be g(-6). Let c(s) = -s + 9. Let i be c(k). Let n = 7 - 2. Sort n, -1, i.
-1, i, n
Let y = -3.901 - 0.099. Put y, 3, -2/7, 1.3 in decreasing order.
3, 1.3, -2/7, y
Suppose -a = 4*b - 145, 5*b - 132 = -3*a + 51. Suppose 2*u + 12 = -g, -b = 4*u + 3*g + 2*g. Let d = 19/186 + 2/31. Sort u, d, -0.3 in decreasing order.
d, -0.3, u
Let q be 8 + 2/(6/(-9)). Put q, -4, 4 in descending order.
q, 4, -4
Suppose u + 0*u + 3 = 0. Put 0, -4, u, -8 in descending order.
0, u, -4, -8
Let a(s) = s**3 + 4*s**2 + 5*s + 2. Let t be a(-3). Sort 3, 2, t.
t, 2, 3
Let y = 51452 + -566964/11. Suppose -3*g = 2*g - 450. Let b = g + y. Put -2, 3, b in ascending order.
-2, b, 3
Let d = 23 - 19. Put -2, -1, 5, d in descending order.
5, d, -1, -2
Let c = 2.6 + 0.4. Put 4, c, 10 in descending order.
10, 4, c
Suppose 5*y - 2*y + 6 = 0. Let s = 28 + -17. Sort y, -4, s in descending order.
s, y, -4
Let x be 4/(-2 + 1 + 3). Suppose 2 = -g + x*g. Put g, 4, 2/19 in decreasing order.
4, g, 2/19
Let a be (-31)/62 - (-9)/2. Put 0, 1, a in ascending order.
0, 1, a
Let q(b) = b**3 - 6*b**2 + 4*b + 7. Let c be 69/15 - 4/(-10). Let g be q(c). Let v be ((-12)/(-9))/(g/(-6)). Sort 2, v, -3 in decreasing order.
2, -3, v
Let l = 11 - 14. Sort 3, l, -2, -5.
-5, l, -2, 3
Let d = -0.05 + 2.05. Let g = 0.08 - -0.69. Let v = g - 0.37. Put v, 3, d in ascending order.
v, d, 3
Let z = -1.98 + -0.02. Suppose 229 - 69 = -5*i. Let q be -1*2 + i/(-18). Sort z, 1, q.
z, q, 1
Let w = 0.2 - 5.2. Let g = w + 6. Let x = 0.5 - g. Put x, 0.4, -4 in decreasing order.
0.4, x, -4
Let j = 5.4 - 5. Put -0.4, 0.1, j in ascending order.
-0.4, 0.1, j
Let j = -2 - -2. Put 12, 3, j in increasing order.
j, 3, 12
Let x = 9 - 4. Suppose x*o = 24 + 1. Let s = 0.3 + 0.7. Put 4, s, o in decreasing order.
o, 4, s
Let x = 0 - 0. Sort -1, 4, x in decreasing order.
4, x, -1
Let y = -0.5 - -1. Let d = y + -1. Let j = -175/3 + 1931/33. Put d, -1, j in ascending order.
-1, d, j
Suppose 4*j - 6 = -2*d + 4, 4*d + 3*j - 5 = 0. Let x be 0 + d + 2 + 1. Suppose o - 4*o + 2*f + 4 = 0, 2*o = 2*f + 6. Sort -3, o, x in decreasing order.
x, o, -3
Suppose -5 = 4*g + 3. Let y = g + 2. Suppose 3*l + 3 = -y. Put -0.1, 0.4, l in descending order.
0.4, -0.1, l
Let k = -4 - 4. Let r = k + 8.4. Sort 0, r, 4/7 in ascending order.
0, r, 4/7
Suppose 15 = -5*h - c, -2*h - 6*c + c = 29. Let j(n) = n**2 - 2*n - 53. Let q be j(8). Let x = 3 - -2. Sort q, h, x in increa