n descending order.
u, x, -0.4
Let r = 7 + -1. Sort -2, 1, r in decreasing order.
r, 1, -2
Let d(x) = -x**3 + 2. Let m be d(0). Let b = -26 - -24. Put m, b, -3 in ascending order.
-3, b, m
Let p be ((-1)/(1/2))/(0 + -19). Sort -2, -5, p in ascending order.
-5, -2, p
Let c be -5 - 0 - (-2 + 0). Let v = c - -3. Let s be ((-3)/9)/((-3)/(-9)). Put -3, v, s in increasing order.
-3, s, v
Let l(q) = -q**2 + 6*q + 25. Let g be l(9). Put g, 2, 0 in decreasing order.
2, 0, g
Let r(t) = -t**2 + 8*t - 8. Let c be r(6). Let m = -37 - -60. Suppose -3*j = -8 + m. Sort j, -3, c.
j, -3, c
Let y = 37/70 + -1/35. Sort -0.1, 0.4, y, -0.5 in descending order.
y, 0.4, -0.1, -0.5
Suppose -4*q = -6 + 14. Let v be (-1)/28 + (-2)/8. Let n = -15 - -11. Sort v, q, n in increasing order.
n, q, v
Let i(n) = n + 1. Let l(u) = 1. Let x(m) = i(m) - 5*l(m). Let z be x(2). Let y be 4 + z - (-1 - -8). Put 1, 3, y in ascending order.
y, 1, 3
Let q be 20/(-75)*10/4. Let w be 6/(-2) + (-40441)/(-12831). Let u = -2/987 - w. Sort 0.3, u, q.
q, u, 0.3
Let w = -2.08 - -0.08. Sort -5, 0.3, w.
-5, w, 0.3
Suppose -5*q - 15 = -3*j, 0 = -3*j + 16 - 1. Suppose q*i = i - 1. Let y(l) = 2*l + 1. Let d be y(1). Put i, d, 4 in decreasing order.
4, d, i
Let t = -2.9 + 4.9. Put t, 0.1, 6 in increasing order.
0.1, t, 6
Suppose j - 7 = -12. Put -3, 12, j in decreasing order.
12, -3, j
Let h(b) = b - 2. Let r be h(3). Suppose -5*c + c - 22 = y, -2*y = -c - r. Let v be (y - 0) + -2 + 4. Sort -3, 5, v in decreasing order.
5, v, -3
Let z = -1.5 - -10.5. Let h = z + -6. Suppose -4*c = 3*v + 2*v - 20, 4*c + 3*v = 12. Sort h, c, 4.
c, h, 4
Let l = -9 + 5. Suppose 2 = -k - 1. Suppose 0*s = 5*s - 15. Sort s, k, l in descending order.
s, k, l
Let q be 0 - ((-2)/2)/(-1). Let w be 1 - (-2)/4*-26. Let s = w - -17. Sort s, q, 0 in increasing order.
q, 0, s
Suppose -2*o - 6 = 2*p, -5*p - 4 = o + 3. Let a = 5.16 - 0.16. Sort -5/3, p, a in increasing order.
-5/3, p, a
Suppose 2*t - 4*t + 5*p = 14, -3*t - 3*p = -21. Let j = 15 + -13. Sort t, 0, j in increasing order.
0, j, t
Suppose 8*m = -9 - 7. Let p be (4/10)/(1/5). Suppose -3*l + 14 = 2. Sort p, l, m.
m, p, l
Let n be (24/(-3))/(-2) - (-2 - -4). Sort n, 0, -3.
-3, 0, n
Let o = -16 + 16.7. Let i = -3.3 - o. Put -0.3, -0.2, i in decreasing order.
-0.2, -0.3, i
Let o be 8 + 8*2/(-4). Let p be (-3)/(o + (-15)/6). Sort 3, 4, p.
p, 3, 4
Suppose -4*c = 3*u, -3*c + 2*u + 14 = -3. Put c, -2, -3 in decreasing order.
c, -2, -3
Let q = 3.2 + -3. Sort 1/6, q, 1 in descending order.
1, q, 1/6
Let x = 57/2 - 27. Put 0.5, -2/7, 1, x in decreasing order.
x, 1, 0.5, -2/7
Let v(q) = q**3 - 11*q**2 + 11*q - 15. Let m be v(10). Let t(s) = -2*s - 12. Let u be t(m). Sort u, -1, 3 in descending order.
3, -1, u
Let m be -7 + 3 + 1/(-1). Sort -2, 4, m in increasing order.
m, -2, 4
Let q = 3 + 0. Let x = 30/11 - 109/44. Let b(i) = -6*i - 78. Let c be b(-13). Sort c, q, x in ascending order.
c, x, q
Let k = -50.8 - -51. Sort -2, k, -1/2.
-2, -1/2, k
Let o = 36.6 - 37. Put -6, o, -0.1, 0.4 in increasing order.
-6, o, -0.1, 0.4
Let a(n) = -4*n**3 + n. Let t be a(-1). Suppose 5*p = t*p - 2. Let v be (-88)/16 + ((-3)/(-2))/3. Put p, v, 4 in decreasing order.
4, p, v
Let l = -0.2 - -0.2. Let b = -2 + l. Suppose 4*t + 4 = -12. Put b, t, 0.3 in descending order.
0.3, b, t
Let h = -5 + 2. Suppose 2*g - w = 7, 0*g - 3*g - 2*w - 7 = 0. Suppose 2*s + g = 11. Sort -1, s, h.
h, -1, s
Let w = 0.294 + -0.094. Sort -4, w, -0.31 in descending order.
w, -0.31, -4
Suppose -3*a = -6*a + 30. Let m = 7 - a. Sort m, -1, -4 in decreasing order.
-1, m, -4
Let m(r) = r**3 + 6*r**2 - 7*r + 4. Let a be m(-7). Suppose -y = -2, -a*z + 2*y + 9 = -3. Sort z, 5, -4 in descending order.
5, z, -4
Let j = 31 - 30.5. Let z = 1.4 + -1. Sort 0, z, j.
0, z, j
Let x = 3.5 + -2.5. Sort 0.02, x, -0.3 in ascending order.
-0.3, 0.02, x
Let x = -1.5 + 1.8. Let a = -0.2 - -0.1. Put 1/10, x, a in decreasing order.
x, 1/10, a
Suppose 3*z + z - 8 = 0. Put z, -3, -1 in decreasing order.
z, -1, -3
Let s(a) = -4*a + 16. Let h be ((-15)/9)/((-1)/3). Let b be s(h). Let z(f) = f - 1. Let i be z(2). Sort b, 2, i.
b, i, 2
Let w = 2.9 - -2.1. Put 0.3, w, 2 in decreasing order.
w, 2, 0.3
Suppose 0 = -5*f + 27 + 13. Let c = -9 + f. Let x be (1 - 0)/c + -1. Sort x, 1, 0 in decreasing order.
1, 0, x
Let c(u) = 4*u - 6. Let z be c(1). Sort 3, z, 0.
z, 0, 3
Let g = -3331/11 - -303. Put -2/7, g, -2 in increasing order.
-2, -2/7, g
Let h = -2.3 - -2.4. Sort 4, -1/5, h in increasing order.
-1/5, h, 4
Let l = -23/2 - -35/3. Sort -15, l, -3/2 in descending order.
l, -3/2, -15
Let u(m) = -m**3 - 6*m**2 - 8*m + 4. Let x be u(-4). Suppose -4*p = p - 20, -3*k = p - x. Sort 3, k, 5 in decreasing order.
5, 3, k
Suppose -y + 10 = -32. Let g be y/(-35)*20/(-6). Put -4, 2, g in ascending order.
-4, 2, g
Let w be 6/(-27) + 47/9. Sort -0.5, w, 0.5 in decreasing order.
w, 0.5, -0.5
Let a be (-2)/(-10) - (-32)/15. Let t = a + -5/6. Let d = 0.9 - 0.4. Sort t, -2, d in ascending order.
-2, d, t
Suppose -184 = 3*r + r. Let o = 275/6 + r. Sort 0.4, -2, o in increasing order.
-2, o, 0.4
Let a be 2 + 1 + 1 + -1. Let u = 0 + 0. Let d(v) = -v + 1. Let q be d(u). Put 5, a, q in ascending order.
q, a, 5
Let a = -35/6 + 11/2. Let m = -6 + 6.05. Let w = m - 5.05. Sort a, w, -0.3.
w, a, -0.3
Let w = 12 + -5. Let m = w - 11. Let t = -2.3 - -2.3. Sort t, m, 0.3 in ascending order.
m, t, 0.3
Suppose 4*j = 9*j - 20. Let c = j + -1. Put c, 2, -4 in decreasing order.
c, 2, -4
Let j = 5 + -2. Suppose 0 = -a - 4*a - 10. Let d = a + -2. Put j, d, 4 in decreasing order.
4, j, d
Let s = -16.55 + 17. Let l = -0.05 + s. Let q = -1 - -1. Sort l, 0.5, q.
q, l, 0.5
Suppose -81*i = -77*i - 12. Sort 15, -2, i, -1.
-2, -1, i, 15
Let r be (-90)/(-54) + (-1)/(-3). Let x be -1*(-2)/(-5)*5. Let h(u) = 4*u + 1. Let z be h(-1). Sort r, x, z in ascending order.
z, x, r
Suppose -2*o = -0*o. Suppose -3*q + 5 + 4 = o. Suppose 2 = -2*t - 2. Sort 2, t, q.
t, 2, q
Let t be 3 - 1 - (1 - 2). Suppose -2 = 2*c + 2*p, -1 + 3 = -5*c - 4*p. Let f = 0 - 4. Sort t, c, f in decreasing order.
t, c, f
Let f = -1.6 + 1.4. Sort -1/4, f, 4.
-1/4, f, 4
Let a(g) = -g**2 + 8*g + 1. Let k be a(8). Let s(p) = p**3 - 8*p**2 - p + 7. Let w be s(8). Sort -2, k, w in decreasing order.
k, w, -2
Suppose 0 = -6*r - 3 - 3. Let u = -3 - r. Sort -4, u, 2.
-4, u, 2
Let t = -0.04 + 4.04. Put 1/2, t, -1/3 in increasing order.
-1/3, 1/2, t
Let x(w) = -w**2 + 5*w. Let b be x(4). Suppose b*m + 2*l = 8, 3*l + 4 = -2*m - 2*l. Put m, 4, -1 in decreasing order.
4, m, -1
Let p = 1856/9 - 206. Let o = 1 + -0.6. Let n = o + 0.1. Sort p, -4/9, n.
-4/9, p, n
Let o(a) = 5*a + 1. Let x be o(-1). Let j be 2*-1 - (x + -2). Let i be j/14 - (-3)/14. Sort 4, 1, i in increasing order.
i, 1, 4
Suppose 4*s + l = -l - 12, -3*s - l = 8. Let q = 17 + -15. Put s, q, 4 in descending order.
4, q, s
Let m be (18/(-12))/((-3)/4). Put m, -4, 5 in decreasing order.
5, m, -4
Let x = 0.8 + -0.3. Put x, -2/9, -0.3 in increasing order.
-0.3, -2/9, x
Let y = 20 + -18. Sort -2, -5, y in descending order.
y, -2, -5
Suppose 5 = 2*s - 3. Suppose 5*v + 25 = 7*w - 2*w, 5*w + 15 = -5*v. Sort v, s, 5 in descending order.
5, s, v
Let r = -7 + 2. Put -2, r, -0.3 in ascending order.
r, -2, -0.3
Let c be ((-15)/30*(-1 - -1))/(-2). Let n be ((-5)/(-3))/(1/3). Sort -1, n, c in increasing order.
-1, c, n
Let i = 0.5 - 1.5. Let k = i + 0.64. Let t = k - 0.04. Put 1/5, t, -4 in decreasing order.
1/5, t, -4
Suppose -b = 6 - 1. Suppose 0 = -2*p - p + 18. Let g = 10 - p. Sort b, -4, g in descending order.
g, -4, b
Let r = -445 - -7567/17. Let s = -1.6 + 0.9. Let z = s - 3.3. Sort 5, z, r in decreasing order.
5, r, z
Let k be -1*-5*1 - (-18)/(-6). Sort k, -3, -2, 0 in descending order.
k, 0, -2, -3
Let a = 0.7 + -0.2. Let b = 3.4 + -0.4. Let u = b + -4. Sort 3, a, u in descending order.
3, a, u
Let z = -4 + 3.9. Let h = 1.11 - 1. Let a = 4.89 + h. Sort a, -1/9, z in decreasing order.
a, z, -1/9
Let c = 5.3 - 10.5. Let t = 12 + -7. Let o = c + t. Sort -4, o, 4 in decreasing order.
4, o, -4
Let p(l) = l**2 - 6*l + 7. Let u = -7 - -12. Let k be p(u). Suppose 2*t + 20 = -4*d + 6, -2*d = -t + 1. Sort k, -5, d in ascending order.
-5, d, k
Let p = -0.09 - -0.03. Sort -1/3, p, 0.5.
-1/3, p, 0.5
Suppose 0*d + 