0.3, f in descending order.
3, 0.3, f
Suppose 0 = x + 3*x - 48. Suppose -4*t - d = x, 0 = d + 4*d. Sort -1, t, 0 in descending order.
0, -1, t
Let g be -4 + 7 + (-4)/2. Put 4, 0, -7, g in increasing order.
-7, 0, g, 4
Let s = 16.9 + 5.1. Let x = s - 22.1. Put -1, -5, x in increasing order.
-5, -1, x
Let z = -3 - -43. Let o = 2 + -3. Let w be (4/z)/(o/(-2)). Sort 2, -4, w in increasing order.
-4, w, 2
Let r = 3/11 + -48/55. Put r, 2/7, 2/11, -1 in descending order.
2/7, 2/11, r, -1
Let n = -144 + 144. Let z = -14 + 10. Let p = 4 - 2. Sort z, p, n in decreasing order.
p, n, z
Let v = -13 - -13. Put v, -5, -4 in ascending order.
-5, -4, v
Let q(u) = -u + 2. Let a be q(7). Let v = a - -3. Put v, 0, -1 in descending order.
0, -1, v
Let j be (-18 - -18) + (-4)/1. Put -1/7, 3, j in decreasing order.
3, -1/7, j
Let m = -6 - -31. Suppose -3*d = 2*d + m. Sort d, 4, 0.5.
d, 0.5, 4
Suppose -3*s + s + 10 = 0. Suppose 15 = 5*t + 4*n, 0*t - 15 = -5*t + s*n. Suppose -5*x = -2 - 23. Sort x, 1, t in ascending order.
1, t, x
Suppose 0 = 2*u + c - 10, -3*u + 5*c + 16 = -2*u. Let b(i) = i**3 - 7*i**2 + 5*i + 7. Let j be b(u). Let s be 1/j + -1 + 3. Put -2, 0, s in decreasing order.
s, 0, -2
Suppose 0*s = 6*s + 6. Put s, 3, -4 in descending order.
3, s, -4
Let q be (-3)/4 + (6 - 2)/8. Put 3, 1, q in descending order.
3, 1, q
Let i(x) = -6*x**3 + x**2 + x + 1. Let b be i(-1). Let k = b + -4. Sort 1, k, -1 in ascending order.
-1, 1, k
Let x = 3.7 - -0.3. Let h be ((-4)/10)/(10/15). Sort 3, h, x in increasing order.
h, 3, x
Let i = 32/7 - 402/91. Sort 1, 1/7, i, 4/9.
1/7, i, 4/9, 1
Let r be 2/3 - 16/(-12). Let h(i) = i + 1. Let w be h(r). Suppose -d = -n - w, 3*n + 7*d + 25 = 2*d. Sort n, -1, 4.
n, -1, 4
Let w = -0.45 + -0.55. Sort w, -2, 0, -3 in decreasing order.
0, w, -2, -3
Let g(r) = 28*r + 1. Let d be g(2). Let q = 229/4 - d. Sort 1/5, -2, q in decreasing order.
q, 1/5, -2
Let s = -61.92 - -67. Let j = -0.08 + s. Put -5/3, j, 0.3 in increasing order.
-5/3, 0.3, j
Let o = 57 + -96. Let n = o - -35. Let l be (4/(-15))/2*-5. Put 1, n, l in descending order.
1, l, n
Let n(c) = c**2 - 8*c + 8. Let y be n(2). Put 5, 4, -1, y in decreasing order.
5, 4, -1, y
Let v(u) = -u**2 - 3*u + 2. Let x be v(-3). Let a = x + 2. Put -3, a, -2 in descending order.
a, -2, -3
Let g = -23679/19 - -1247. Let b = g + 34/57. Sort b, -4/7, 2/3.
-4/7, 2/3, b
Suppose 4*c - 3*r + 0 + 10 = 0, -3*r - 6 = 0. Sort 8, c, 5, 3 in increasing order.
c, 3, 5, 8
Let g = -4.5 - 14.5. Let t = -18 - g. Sort -2, t, -1/8 in ascending order.
-2, -1/8, t
Let x(a) = -a**2 + 9*a - 9. Let v be x(8). Let z be v/(-2)*357/(-9). Let s = -20 - z. Sort s, 1, -1 in decreasing order.
1, s, -1
Let m = -0.3 + 3.3. Let b = -2.8 + m. Let x = b + 0. Sort -0.1, -2/11, x.
-2/11, -0.1, x
Suppose 5*a - 3 = -53. Let u be 4/a - 54/(-10). Let j = -3 + 4. Put 3/4, j, u in increasing order.
3/4, j, u
Let w be ((-165)/10)/((-2)/(-4)). Sort w, 4, -4.
w, -4, 4
Let g = -14 - -16. Put g, -1/3, -4 in decreasing order.
g, -1/3, -4
Let v be (-9)/15 + (-23)/(-55). Put -5/6, v, 1 in increasing order.
-5/6, v, 1
Let s = 2890/13 + -5376/65. Let y = -140 + s. Let p = -2.9 - -1.9. Sort 2, p, y.
p, y, 2
Let y be (-5)/(-1) - 1 - 1. Suppose 0 = y*q + 1 + 5. Sort q, 3, 4 in ascending order.
q, 3, 4
Let p = 2.8 - 3.2. Let m = 0.35 - -0.05. Sort 0, p, m in increasing order.
p, 0, m
Let s(q) = q**3 - 3*q. Suppose -o - 5 = -0*o. Let v be s(o). Let n be 20/v - (-86)/110. Sort -3, 2/3, n in increasing order.
-3, n, 2/3
Let w(k) = k**2 - 4*k - 2. Let g be w(5). Let l = 5 - g. Suppose l = p + p. Put -2, p, 0 in descending order.
p, 0, -2
Let b be (-6)/(-15) + (-8)/70. Suppose d + n = -2 + 9, 3*n - 15 = 0. Sort d, 0.3, b in descending order.
d, 0.3, b
Let z = -125 - -128. Put z, -5, -3, -7 in ascending order.
-7, -5, -3, z
Let m be ((-32)/(-20))/(-3 - (-42)/15). Put 0, 1, m in descending order.
1, 0, m
Let w = 0.36 + -5.66. Let p = 5 + w. Sort -2/21, -5, p in decreasing order.
-2/21, p, -5
Let x be 15/(-2)*6/(-9). Let a be (-2)/(-45) - (-2)/x. Let o(h) = h**3 - 3*h**2 - 6*h + 4. Let f be o(4). Put 1, a, f in decreasing order.
1, a, f
Let o = 0.56 + -0.26. Put o, -0.4, 2 in ascending order.
-0.4, o, 2
Let g(a) = a**2 + 11*a + 8. Let j be g(-10). Suppose -5*b + 3*u - 7*u = -2, 5*b = 2*u + 14. Let k be 2/(-1)*1/b. Sort j, k, 5 in increasing order.
j, k, 5
Let p = 5 - 4. Sort p, -3, -4 in descending order.
p, -3, -4
Let x = 1.2 + -1.2. Let f = 0.17 - -0.03. Sort x, f, 4 in decreasing order.
4, f, x
Suppose k = -4*n + 12 + 10, -2*k - n + 9 = 0. Let a be 8/(-10)*(-16 + 1). Let h = a + -7. Put k, h, -3 in increasing order.
-3, k, h
Let g = -0.63 - -0.83. Let z be ((-3)/2)/((-2)/4). Put z, -5, g in descending order.
z, g, -5
Let g be (((-15)/3)/5)/2. Let a = 0.6 - 2.6. Sort 0.3, a, g in decreasing order.
0.3, g, a
Suppose -2*x - 44 = 2*x. Let z(n) = n**3 + 11*n**2 - n - 14. Let j be z(x). Sort -4, j, 3 in decreasing order.
3, j, -4
Let b be (-6 - -5)/(1/(-10)). Suppose q + 4*q - 2*f = -4, -b = -5*f. Let x = 4 + -9. Sort x, -2, q in descending order.
q, -2, x
Let b(g) = g**2 - 5*g + 5. Let f be b(5). Let y(v) = v**3 + 0*v**2 - 3 - 10*v**2 - 9 + v. Let s be y(10). Put -5, f, s in decreasing order.
f, s, -5
Let g(r) = 3*r + 15. Let m be g(-6). Put -5, -1, m in increasing order.
-5, m, -1
Let q = 5 - 10. Let p = 9 + -15. Let z = q - p. Sort -3, -2/7, z.
-3, -2/7, z
Let l = -87/2 + 62. Let o = l - 183/10. Put o, -5, 5 in decreasing order.
5, o, -5
Let m(y) = 5*y - 15. Let k(f) = 9*f - 29. Let i(p) = -4*k(p) + 7*m(p). Let r be i(10). Sort r, 2/15, -0.5 in decreasing order.
r, 2/15, -0.5
Let s = 293/1045 - 7/418. Let f = s - -3/22. Sort f, -4, -1 in descending order.
f, -1, -4
Suppose 0 = 2*z - 8*z + 24. Put 1, 0, z in ascending order.
0, 1, z
Suppose 2*j + 2*p + 4 = 0, -2*p = -3*j - 0 - 1. Sort 15, j, -2 in increasing order.
-2, j, 15
Let h be (-3)/(-104) - 13/(-104). Let v = -5 + 5.4. Sort h, 3, v in increasing order.
h, v, 3
Let o(n) = -n**3 + 7*n**2 - 5*n - 2. Let g be o(6). Sort 1, g, -4 in increasing order.
-4, 1, g
Let j = -10 - -5. Put j, -1, -2 in decreasing order.
-1, -2, j
Let z = 0.06 - 0.1. Let b(q) = -q**3 + 19*q**2 - 3. Let h be b(19). Let g = -27.5 + 28. Put z, g, h in ascending order.
h, z, g
Let o = 2 - 2.1. Let y be 2 + -1 - 2/(-1). Sort 4, o, y in decreasing order.
4, y, o
Let o = -2/237 + 500/3081. Let b(m) = -m**3 + 2*m**2 + m + 4. Let g = 8 - 5. Let r be b(g). Sort o, r, -0.4 in ascending order.
r, -0.4, o
Let b = -43 - -70. Let c = b + -27.11. Let a = c - -4.11. Sort a, 0.5, 0.2.
0.2, 0.5, a
Let b = 21 + -25. Sort -0.13, 1, b in increasing order.
b, -0.13, 1
Suppose -14 = -3*r - 2*h - 2*h, -2*r - 19 = -3*h. Let t be ((-1)/r)/(15/4). Sort -5, 1, t in descending order.
1, t, -5
Let l be 19/(-4) + (-1)/4. Let b = l + 0. Put b, 2/11, -2 in decreasing order.
2/11, -2, b
Let d = 10 + -2. Let r = d + -8.05. Let s = -0.35 - r. Sort 0, 5, s.
s, 0, 5
Suppose 5*h = 2*i + 8, 0*h = 5*i - 2*h + 20. Sort i, 3, 2, -5 in decreasing order.
3, 2, i, -5
Let a = -21534 - -4758981/221. Let d = 1/221 - a. Put 1/3, d, -3 in ascending order.
-3, d, 1/3
Let r = -20 - -19. Sort 4/5, 1/3, r in increasing order.
r, 1/3, 4/5
Suppose 4*u + 40 = u - 2*t, t - 20 = u. Let p = -10 - u. Suppose 0 = 3*a + c - 3*c + 4, 2*a = 2*c - p. Sort a, 0, -1 in increasing order.
-1, 0, a
Let g = 0 - -2. Let f(a) = -a - 2. Let x be f(-6). Let l = 97 + -102. Sort l, x, g.
l, g, x
Let s be (-3)/(-3 - 36/(-8)). Let p be (44/77)/(s/(-7)). Let r = 0 - -1. Sort r, -0.4, p in decreasing order.
p, r, -0.4
Let m = 9.5 - 4.6. Let s = m + -0.9. Put 0, s, 1 in increasing order.
0, 1, s
Let w = 0.07 + 2.93. Suppose o + 14 = -4*k, 12 = -3*k - k. Sort 0.3, o, w.
o, 0.3, w
Suppose b - 4 = 2*b. Let g = 1 - -1. Sort g, -1, b in decreasing order.
g, -1, b
Suppose 5*x - 2*x = 0. Suppose x + 5 = v. Sort v, -3, 4 in increasing order.
-3, 4, v
Let i(b) = 3*b + 2. Let o be i(-2). Suppose -n - 21 = -4*a, 3*a - 2*n - 22 = -a. Put a, 3, o in increasing order.
o, 3, a
Suppose q - 39 = 3*a, 3*q - 52 = 4*a - 0*q. Let o = a + 8. Sort o, 1, -4 in increasing order.
o, -4, 1
Let f(c) = -c**2 - 5*c + 4. Let h be f(-4). Suppose 3*r + r = -h. Let x = r + 3. Sort x, -3, 0 in ascending order.
-3, 0, x
Let a = 2 - 2. Let n = -18 - -14