-6 = 3*g + 9. Let r be s(g). Suppose -3*k + 6 = -3. Sort k, -4, r in decreasing order.
k, -4, r
Let g = -155 - -2017/13. Let h(q) = -q**3 + 7*q**2 - 6*q + 1. Let s be h(6). Put s, 0, g in descending order.
s, g, 0
Let v = 0.9 - -3.1. Let a = 0 - 1. Sort v, -4, a in decreasing order.
v, a, -4
Let o be 3*(-10)/(-6)*1. Suppose w + 2*p = 3*p - 3, 5*w = 2*p. Suppose w*l = -l. Sort l, o, 4 in descending order.
o, 4, l
Suppose -p = p - 30. Suppose -4*k + p = -5. Suppose 2*w - w = k*t - 3, -5 = -3*w + t. Sort w, 4, -2.
-2, w, 4
Let o be (-887)/(-1278) - 2/4. Let m = o - -2/71. Sort 5, m, 3.
m, 3, 5
Suppose 7*p + 19 = -23. Let y(a) = 2*a + 1. Let f be y(-3). Sort p, 5, f in decreasing order.
5, f, p
Suppose -2*d - 8 = -6*d. Suppose 3*p = -2*r - 6, 3*r - d*p = -5*p - 6. Suppose r = -4*c + 4*a - 5*a + 24, -3*a + 22 = 2*c. Sort c, -1, -5.
-5, -1, c
Let v = 0.92 - 0.36. Let l = v - 0.06. Let o = 0.3 - l. Put -4, o, 2 in ascending order.
-4, o, 2
Let z be ((-5)/3)/(1/3). Suppose -2*o - 5*n = 2*o + 22, -2*o + 3*n = 0. Sort z, o, 5 in decreasing order.
5, o, z
Let t = -48 + 67. Suppose 5*u = 44 - t. Let x = u + -3. Sort x, -5, -2 in increasing order.
-5, -2, x
Let u be (-9)/(-36) - (-10)/24. Let c(w) = 3*w - 39. Let x be c(12). Sort 0, u, x.
x, 0, u
Let i = -1/258 + -767/1806. Sort -1, i, 0.1 in descending order.
0.1, i, -1
Let u = -4.107 + 0.107. Put -1, u, 0.05 in increasing order.
u, -1, 0.05
Let x = 0.8 + -2.8. Sort x, 0.6, 2/15 in decreasing order.
0.6, 2/15, x
Let y = 67 - 98. Sort 5, 4, y in descending order.
5, 4, y
Let k(b) = 7*b - 6*b**2 - 6 + 5*b**2 + 0*b**2. Let x be k(6). Sort 3, x, 1 in decreasing order.
3, 1, x
Suppose -u + 6 = 2*u. Let y = -5 - -3. Let n = u + y. Sort 3/7, 2/11, n.
n, 2/11, 3/7
Let z = 1 + 0. Let v be ((-10)/(-4))/(z/2). Put -3, -1, v in decreasing order.
v, -1, -3
Suppose -3*v - 9 = -2*k, 4*k - 5*k - 3*v = 0. Let w be -2*((-22)/4 - -3). Suppose -5*c - u = 30, -u - 3*u - 40 = 4*c. Sort c, k, w in descending order.
w, k, c
Let o = 3.9 + 0.1. Suppose -2*j - 2*j = -16. Let x be 18/(-4) + j + 0. Put 0.1, x, o in ascending order.
x, 0.1, o
Suppose 0 = -3*g - 14 + 17. Put g, -5, 10, -3 in increasing order.
-5, -3, g, 10
Suppose 0 = t - 3*t + 4. Let s be (45/(-12))/(t/8). Let o be (2/10)/((-9)/s). Sort -0.3, -2/5, o.
-2/5, -0.3, o
Suppose 0 = -2*u + 5*u + 3. Suppose 2 = 2*b + 10. Sort b, -2, u.
b, -2, u
Suppose -10 - 10 = 5*j. Sort 8, -3, j in increasing order.
j, -3, 8
Suppose 3*c = 9 - 12. Sort -4, c, 4, 0.
-4, c, 0, 4
Let j = 16 - 12. Let m be (-2)/6 + (-10)/(-3). Let d be j/(-2 + m + 1). Put 4, 1, d in decreasing order.
4, d, 1
Let b = -14 + 13.6. Let c = 3 - 0. Put c, b, 1 in ascending order.
b, 1, c
Let g be (3 + 0)*2*(-2)/(-6). Sort g, 4, -2 in descending order.
4, g, -2
Let m be (10/4 + -3)*2/(-5). Put -0.4, m, -1/6 in descending order.
m, -1/6, -0.4
Let s = -343/10 + 205/6. Put 29, -2/5, s in descending order.
29, s, -2/5
Suppose 5*n + 0*n + 5 = -3*m, m + 2*n + 2 = 0. Suppose 5*r + 2*u + 29 = 0, -27 = 5*r + u - m*u. Sort -4, 4, r in descending order.
4, -4, r
Suppose -3 = -2*w + 7. Suppose u - m - 8 = 0, -w*u + 4*m - m = -30. Suppose -3 = -3*z + 2*h, 2*z - z - 11 = 4*h. Sort z, -2, u in decreasing order.
u, z, -2
Suppose 2*d - 16 = 2*x + 4*d, 0 = 4*x + d + 20. Suppose 9 = -4*i - 3. Sort i, x, 2 in ascending order.
x, i, 2
Suppose 2*d - 6*d = -32. Suppose 0 = i + 3*i + d. Let g = 6 + -11. Put i, -1, g in decreasing order.
-1, i, g
Let z be 33/(-18) - (-1)/(-6). Let r = -0.3 + 2.3. Let h = -0.4 + 0.7. Put h, r, z in decreasing order.
r, h, z
Let r = -0.04 - 0.26. Let b = 1 + 3. Let f be 6/12 + (-2)/b. Put r, 5, f in decreasing order.
5, f, r
Let z be (2 + 0/(-2))/((-124)/(-186)). Put 0.1, 2, z, 0 in decreasing order.
z, 2, 0.1, 0
Let w(o) = 0*o**2 - 3 + o**2 - 2*o + 0*o. Let q be w(3). Let r = 7 - 5. Sort r, q, -2 in ascending order.
-2, q, r
Let d = -7.9 - -0.9. Let x = d - -2. Let j = -2 + 1.8. Put x, 2, j in decreasing order.
2, j, x
Let f(k) = -k**2 + 5*k - 3. Let j be f(5). Let r = -8 - -10. Put r, 1, j in descending order.
r, 1, j
Suppose o = -2*u + 2 - 4, 0 = 4*u - 3*o - 6. Suppose 4 = i + 5*n - 3, u = 2*n - 4. Let h be (-4)/6*i - 2. Sort h, -1/6, -2 in decreasing order.
h, -1/6, -2
Let k = 3.8 + -3.7. Put k, 3, -0.3 in descending order.
3, k, -0.3
Suppose 2*w = 4*v + 4*w + 222, 4*v + 243 = 5*w. Let x = v - -283/5. Sort x, 5/2, -5.
-5, x, 5/2
Let v be 1 - 0 - (1 - 1). Let y be 6/4 + v/(-2). Let g be (-6)/(-5)*15/(-9). Put y, 0, g in decreasing order.
y, 0, g
Let p(o) = o**2 + 11*o - 15. Let w be p(-12). Put -5, w, -7 in descending order.
w, -5, -7
Let x = -2671/11 - -243. Put 0.1, -0.1, x in descending order.
x, 0.1, -0.1
Let i be (-4 + 0)*60/48. Sort -4, 3, i.
i, -4, 3
Let v = -0.059 + -2.941. Put v, -20, 2, -1/2 in decreasing order.
2, -1/2, v, -20
Suppose 2*u + h - 7 = 0, -u = 3*h - 24 + 8. Put -4, u, 5, -8 in decreasing order.
5, u, -4, -8
Suppose 4*c - 20 = 0, 0*r = -r + c - 2. Let b = -31 + 31.5. Sort -5, b, r in decreasing order.
r, b, -5
Suppose -22 - 2 = -3*a. Sort -5, 3, a in increasing order.
-5, 3, a
Let x(v) = v**3 - 7*v**2 + 8*v - 9. Let c be x(6). Put -3, c, 0 in decreasing order.
c, 0, -3
Suppose 0*u = -u. Sort u, 4, -1.
-1, u, 4
Suppose -q - 84 = -4*g, 0*g - 3*g + 2*q = -68. Suppose 15 = 3*p + 2*z + 2, -4*z = 4*p - g. Put p, -3, 1 in ascending order.
-3, 1, p
Let n = 0.5 + 0. Let y be (-4)/6 - (-14)/3. Let s = -3.1 + 3. Put y, n, s in ascending order.
s, n, y
Let a = 4 - 4. Let s = a - 3. Let f be s + 5 - (4 - 2). Sort 2, f, 3 in decreasing order.
3, 2, f
Let c be ((-6)/(-9))/((-4)/102). Let a = 12 + c. Let t be (-2)/(0 + (-6)/9). Sort -1, t, a.
a, -1, t
Let w = -1195.11 + 1200. Let g = w - -0.11. Let f = 7 + -3. Sort g, -5, f in descending order.
g, f, -5
Suppose g - 2 = 2*h - 3*g, -h - 2*g - 5 = 0. Suppose -f - 2*n = 3*f - 30, -f + 10 = n. Sort 1, f, h in descending order.
f, 1, h
Let r = -17 - 130. Let v = -1325/9 - r. Sort -1, 5, v.
-1, v, 5
Suppose 1 = -14*k + 13*k. Sort -6, -2, k in descending order.
k, -2, -6
Let w = -1.05 + 1. Sort w, -5, 0.2 in ascending order.
-5, w, 0.2
Let r = 36 - 33. Sort r, -4, 1 in decreasing order.
r, 1, -4
Let t = 20 - 6. Suppose 2 - t = 2*x. Let k = -11 - x. Sort 0, 2, k in increasing order.
k, 0, 2
Let u = -3.6 - -4. Let f = -188/187 - -14/17. Let j = 0.2 + -0.6. Sort u, f, j in ascending order.
j, f, u
Suppose -2*i - 3 + 13 = 0. Sort i, 2, 0.
0, 2, i
Suppose -68 = -5*j + 37. Suppose -4*p + j = -5*s, 3*s - 5*p = -p - 11. Sort 3, 0.2, s.
s, 0.2, 3
Suppose -2*p + 2*x = -14, p + 0 = -3*x - 5. Put p, 2, -3, -1 in increasing order.
-3, -1, 2, p
Let c(v) = -v + 7. Let u be c(6). Let g(h) = h**2 + 3*h - 2. Let z be g(-4). Put z, 4, u in ascending order.
u, z, 4
Let q = 157 + -156. Put q, 3, -2/7, 5 in descending order.
5, 3, q, -2/7
Let j(w) = w**3 - 3*w**2 + 4*w - 4. Suppose -2*h = -1 - 1, n - 6 = -3*h. Let y be j(n). Suppose -y = k - 3. Sort -3, 2, k in descending order.
2, -3, k
Let o(x) = x**3 - x**2 - 4*x - 1. Let p be o(3). Suppose 5 = 2*m - p. Sort -2, m, 3 in increasing order.
-2, 3, m
Suppose 0 + 9 = 3*k. Suppose -9 = k*h + 6. Put h, -1, 0 in ascending order.
h, -1, 0
Let r be (-18)/44 - 7/(-14). Let t be (-2)/(-8) - (-42)/24. Suppose -t*l = 3*l. Sort -5, r, l.
-5, l, r
Let w be 3*(1 + 16/(-20)). Put w, -1, -0.6 in descending order.
w, -0.6, -1
Suppose -5*h + 30 = -0*h. Sort 1, 4, h.
1, 4, h
Let x(c) = -4*c**2 - 11*c + 3. Let p be x(-3). Put p, 3, 2 in decreasing order.
3, 2, p
Suppose 3*b = -b. Sort b, -2, -5 in descending order.
b, -2, -5
Let d = -1 - -1.3. Let i = -0.4 + d. Let g = 0 - -4. Put i, -1, g in descending order.
g, i, -1
Let q = 1.8 - 2. Let c = 28/11 + -218/77. Put 3, c, q in increasing order.
c, q, 3
Let s be 4 + 1 - (504/13)/8. Let v = -3.5 - -3. Sort s, v, -1.
-1, v, s
Let k = -4 - -13/4. Let j = -15 + 15.1. Sort 0.4, j, k in descending order.
0.4, j, k
Let p(j) = j**2 + 3. Let v be p(0). Suppose -m + v*r - 11 = m, -4*m = -5*r + 19. Suppose -5*b = -2 + 12. Put 2, m, b in descending order.
2, m, b
Suppose 2*l = -2*i - 4 - 0, 2*i - 2*l - 16 = 0. Sort 1, -3, i, -1.
-3, -1, 1, i
Suppose 27 - 31 = 2*l. Put -1, 22, l in descending order.
22, -1, l
Let l(n) = n**3 - 10*n**2 - 2. Let s be l(10). Put 2, -4, s, -6 in decreasing order.
2, s, -4, -6
Let 