ending order.
9, m, -4
Let q(m) = m**2 + 3*m - 4. Let w be q(-4). Let k = 53 - 51. Sort w, 5, k.
w, k, 5
Let v(k) = -k - 6. Let s be v(-7). Put -2, 0.4, s in descending order.
s, 0.4, -2
Let d be (-4)/3*(-9)/(-6). Put -5, 5, d in descending order.
5, d, -5
Let m = 38 + -26. Let o = m - 9. Suppose 2*t = t. Put 5, o, t in ascending order.
t, o, 5
Let k = -2.2 - -2.5. Sort k, -1/2, -4, -0.2 in ascending order.
-4, -1/2, -0.2, k
Let g = 3367/17 - 198. Sort -3, g, -0.3 in increasing order.
-3, -0.3, g
Let l = -55 - -107/2. Let n be 2/4 - 5/(-2). Let g = -1.7 - -1.8. Put l, n, g in increasing order.
l, g, n
Let p = 21/59 + -281/1121. Let t = 1.5 + -2. Sort t, -1, p in increasing order.
-1, t, p
Let d = 0.19 - -18.41. Let y = 19 - d. Put y, 3, 3/8 in decreasing order.
3, y, 3/8
Let v(b) = b**2 - 2*b - 3. Let u be v(5). Let o = u - -4. Let k be (-2)/(-7) + o/(-7). Sort 1, 0, k in decreasing order.
1, 0, k
Let r = 1.21 + -0.01. Let o = 0.2 - r. Sort 0.4, 3, o.
o, 0.4, 3
Let f = 31 + -22. Suppose w - 4*n = 2*w + 15, 0 = w - 4*n - f. Let i = -0.4 - 0. Sort w, 0.2, i.
w, i, 0.2
Let r = 1.1 + -0.1. Let g = 65.5 - 49. Let x = -17 + g. Put x, r, 2/5 in decreasing order.
r, 2/5, x
Let d = 55 - 59. Put 2, d, -0.2 in descending order.
2, -0.2, d
Suppose 2*a = -4 + 8. Let i(j) = -j**3 - 4*j**2 + 2*j + 3. Let l be i(-4). Let h(r) = -r**2 - 7*r - 6. Let v be h(l). Sort a, 3, v.
a, 3, v
Let n = 16 - 8. Sort -3, n, -5 in descending order.
n, -3, -5
Suppose u + 0*u = -1. Let w be -1 + (-2)/(-1)*u. Suppose 0 = -5*l - 2*t + 3, -3*t = 2*l + 6 - 16. Sort 3, l, w in increasing order.
w, l, 3
Let y = 25 - 13. Let a be (-16)/y*(-6)/4. Suppose -5 = -7*x + a*x. Put 3, x, 5 in decreasing order.
5, 3, x
Let c = -246.1 - -258. Let h = c + -12. Sort -5/2, h, 0.2 in increasing order.
-5/2, h, 0.2
Let i be (-4)/(-20) - (2 + 6/5). Suppose -3*o = -3*z - 18, 6 = 3*o - 0*o + z. Let q = -0.8 + 0.3. Sort q, o, i in ascending order.
i, q, o
Let g = 0.38 + -0.3. Let t = g + 1.92. Put -2/5, t, 7 in decreasing order.
7, t, -2/5
Let f(m) = -m**3 + 18*m**2 + 18*m + 19. Let c be f(19). Let x(i) = 2*i - 2. Let w be x(2). Suppose 3 - w = g. Sort c, -3, g.
-3, c, g
Let c be (-18)/(-42) - (-39)/(-42). Sort c, 0.4, 2, 0.5 in decreasing order.
2, 0.5, 0.4, c
Let y = -2.8 + 1.6. Let o = y - -1. Let x be 1/(-2 + 5 + 2). Put x, o, 0.3 in descending order.
0.3, x, o
Let d(x) = -x + 2. Let p be d(5). Let o be (7 + 0)*1 - 1. Suppose -i + 2 = 0, 2*f + o + 10 = 4*i. Sort f, 0, p in descending order.
0, p, f
Let s = -1.2 - 0.8. Let a = s + 1.4. Sort a, 0, 4 in ascending order.
a, 0, 4
Let k = -3 - -5. Suppose -2*d + 5*d = 9. Sort d, k, -4 in descending order.
d, k, -4
Let g = 2/283 + 556/1415. Let p = 0.3 - -0.2. Sort p, g, 3/5 in decreasing order.
3/5, p, g
Let u = 43.1 - 43. Sort -3, u, 2 in descending order.
2, u, -3
Let w = 542/3185 + -4/245. Let p = 0.22 - 1.12. Let b = p + 0.5. Put b, 2, w in descending order.
2, w, b
Let i = -12 + 11.9. Let q = i - -4.1. Put 1/8, q, 2/21 in increasing order.
2/21, 1/8, q
Let q be 2 + -5 + 2 + 9. Let u(v) = -v**2 + 7*v + 5. Let d be u(q). Put -2, 4, d in descending order.
4, -2, d
Let b = -175.03 - -174. Let w = b + 0.03. Put w, 3, -2/9 in decreasing order.
3, -2/9, w
Let h = -0.24 + 0.4. Let p = -0.04 - h. Sort 2, 4, p in decreasing order.
4, 2, p
Let w(m) = -m**3 - 2*m**2 + 1. Let j be w(-1). Let u be (-152)/(-36) + (-4)/18. Let k = -192 + 191. Sort k, j, u in increasing order.
k, j, u
Let w be (4/(-5))/((-4)/(-30)). Suppose -z - 2*n - 44 = -0*z, z - 2*n + 64 = 0. Let f be 8/z*9/w. Put f, 2/13, 2/15 in decreasing order.
f, 2/13, 2/15
Suppose 4*x = -n + 8, 0 = n - 4*n - x + 13. Let s be 2 + (0 - 5)/(-5). Sort -5, s, n in decreasing order.
n, s, -5
Let q = -0.26 - 18.74. Let s = q + 22. Sort s, -5, 1/6 in decreasing order.
s, 1/6, -5
Let d = 4.7 + -5. Let o be 4/24 - (-2)/(-3). Put o, -4/3, d in decreasing order.
d, o, -4/3
Let u = 0.4 - 2.6. Let v = u + 1.2. Let b = 5 - 1. Put v, 0.1, b in descending order.
b, 0.1, v
Suppose 2 = -r - 2. Sort -1, -2, r in ascending order.
r, -2, -1
Let p be ((-4)/(-6))/((-6)/27). Put 3, -2, p in descending order.
3, -2, p
Let l be (1 + -2)/(18/90). Sort l, 5, -4.
l, -4, 5
Let i = 17 - 23. Let l be 18/30 - i/(-10). Sort l, 5, 1 in descending order.
5, 1, l
Let w be 6/6*(-1)/3. Sort w, -4/5, -0.06 in decreasing order.
-0.06, w, -4/5
Let i = 0.2 + 0.3. Let s = 11 + -14. Sort i, -2, s in descending order.
i, -2, s
Let d = 3 + -2.5. Sort -0.5, -4/7, d in descending order.
d, -0.5, -4/7
Let v(j) = -j**3 + 3*j**2 + 2*j - 3. Let c be v(3). Let l = c + -3. Let u = 3 + -1. Sort u, -4, l in ascending order.
-4, l, u
Suppose 2*h = -4*a - 4, -h - 3*a - 3 = h. Suppose d - 3*s = 17, 2*d + s = -h*d + 6. Suppose z - 2*c = c - 1, -d*c = 0. Sort z, 5, 4 in decreasing order.
5, 4, z
Let u be (-43)/9 + (-4)/18. Let g be (-10)/50 + (-31)/u. Suppose o + 3*o + 8 = 0. Put 0, g, o in increasing order.
o, 0, g
Let o(x) = x**2 - 3*x - 5. Let k be o(5). Suppose -4*z + 1 = p - 8, -2*z + 5*p = 1. Sort z, -5, k in decreasing order.
k, z, -5
Suppose -q + 2*q = 1. Sort -1, q, 5, -3 in ascending order.
-3, -1, q, 5
Let j be (-15)/(-21)*(-3 - 39/(-15)). Put j, 0.23, 2/3 in increasing order.
j, 0.23, 2/3
Let z(b) = -b**3 - b**2 + 5*b + 2. Let y be z(-3). Suppose -5*q + 20 = -y*g, 0 = -2*g + 5*q - 0*q - 11. Put -2, 1, g in increasing order.
g, -2, 1
Let c = 0.2 - -12.8. Let w = 12.9 - c. Sort w, -1/2, 3 in ascending order.
-1/2, w, 3
Let x = 0.1 - 0.1. Let u be (-6)/2 - (-31 - 11). Let n be u/(-442)*8/(-6). Put -2/11, x, n in decreasing order.
n, x, -2/11
Let f be (-1 - 2/(-6)) + (-22)/66. Put 2, -7, f, 0 in ascending order.
-7, f, 0, 2
Let y be -2 - ((-5)/3 + -2). Let d be 2/13 + 230/(-650). Sort y, d, -1/2 in decreasing order.
y, d, -1/2
Let a = 15 + -14.93. Let k = -0.13 - a. Sort k, -5, 5 in descending order.
5, k, -5
Let t be 2 - (-3 - 34/(-6)). Let o = -5.1 + 6. Let h = 5.9 - o. Put h, t, 4 in descending order.
h, 4, t
Let t(b) = -b**3 + 4*b**2 - b + 4. Let i be t(4). Suppose 3*n - 314 + 311 = 0. Sort n, i, -1.
-1, i, n
Let q = 0.41 + -0.01. Let x = -3.8 + -16.4. Let z = x + 20. Sort -2/5, q, z in descending order.
q, z, -2/5
Suppose -12*o + 24 = -10*o. Let y be o*(11/(-4) - -3). Sort y, -1, -1/7 in decreasing order.
y, -1/7, -1
Let o(v) = 4*v**2 + 1. Suppose 5*b - 2*u - 13 = 0, 3*b - 2*u - 4 = 7*b. Let i be o(b). Put -2, i, 3 in ascending order.
-2, 3, i
Let w(a) = -a**2 - 5*a + 17. Let l be w(-7). Suppose -5*q - 5*y - 35 = 0, -2*q - 3*q = 2*y + 26. Suppose -2*u + 2*x = -3*x + 16, 0 = -4*x + 8. Sort l, u, q.
q, u, l
Let y = -1886/7 + 270. Sort y, 4, -0.5, -1/3.
-0.5, -1/3, y, 4
Let f = -1.7 - -1. Let c = f + 0.1. Let l = 1.1 + c. Sort -0.2, l, 3 in decreasing order.
3, l, -0.2
Let k = -10 - -12. Suppose 4*y + o + 1 = k, 3 = -4*y + 3*o. Sort 2, y, 1 in increasing order.
y, 1, 2
Let z = -12 + 8. Let f = z - -4. Put 3/4, 0.1, f in ascending order.
f, 0.1, 3/4
Suppose -4*y = 3*b + 2*b - 11, 5*y - 17 = -3*b. Put 0.5, y, 0.1 in descending order.
y, 0.5, 0.1
Let o be 6/(-45) + 2/15. Sort -1, -2, o, 4 in decreasing order.
4, o, -1, -2
Suppose -8*x = -4*x + 4. Let q be 0 - x - 5/2. Put q, 0.2, -0.2 in decreasing order.
0.2, -0.2, q
Let r = -39 - -38.22. Let u = r + 0.8. Put -1/4, u, -4 in decreasing order.
u, -1/4, -4
Let a be (4 + 1)*(2 + -3). Let b = 7 + a. Let d be (-1)/2 + (-3)/b. Put 0, -1, d in ascending order.
d, -1, 0
Suppose 11*o + 25 = 6*o. Let c be (-8)/o - (-21)/(-35). Put -4, c, 4 in ascending order.
-4, c, 4
Suppose 12 = 3*i, -3*a = -2*a - 4*i + 11. Let y be ((-7)/a - -2) + 0. Sort -1, y, 0 in ascending order.
-1, 0, y
Let u = 40 + -37. Let t = 1 - 0. Sort t, u, -1.
-1, t, u
Let s = 7 + -7.4. Let f = -8401/371 + -670/53. Let t = -35 - f. Put 3/5, s, t in descending order.
3/5, t, s
Let x = -983/12098 - 3/526. Let c be 2/(-9)*-3*1. Let y be (-3 + 1)*(-9)/6. Put c, x, y in decreasing order.
y, c, x
Let n be (-1)/(0 - (-3)/(-3)). Suppose 2*q - n = q. Suppose -3 + q = -x. Sort 4, 5, x in decreasing order.
5, 4, x
Suppose 4*z = 2*s + 6, -z + 0*z + 4 = -3*s. Put -2, s, 1 in ascending order.
-2, s, 1
Let q(w) = w**3 + 15*w**2 + 14*w + 5. Let v be q(-14). Sort -5, v, 7.
-5, v, 7
Let g = -37.93 - -38. Put -2, g, -3 in descending order.
g, -2, -3
Suppose 4*w + 18 = w