). Sort 0, v, q, -1 in descending order.
q, v, 0, -1
Let b = 2 - 2.1. Let v be 6 - (-357)/(-56) - 85/200. Sort -2, v, 0.6, b.
-2, v, b, 0.6
Let d be 6*((14/(-4) - -4) + -1). Sort 57, -5, d in descending order.
57, d, -5
Let q be -3 - 6 - (-4 - 0). Let d = -19 - -17. Put q, -4, d in ascending order.
q, -4, d
Let c be 176/32 + (-1)/(-2). Suppose -4 = c*k + 2. Let q be 16/40*(-5)/k. Put q, -9, -2 in decreasing order.
q, -2, -9
Let g = -653 + 653. Put g, 15, -5 in descending order.
15, g, -5
Let f(a) = a**2 + 9*a + 9. Let k be f(-9). Sort 0, 1, k.
0, 1, k
Let b(h) = 2*h**3 + 2*h**2 + 4*h + 4. Let t be b(-1). Sort t, -5, 9 in decreasing order.
9, t, -5
Let j be 3/((13/39)/(3/72)). Sort 1/17, j, 0, -5 in ascending order.
-5, 0, 1/17, j
Let g(o) = o**2 + 47*o + 308. Let b be g(-39). Put 32, -3, b in descending order.
32, -3, b
Let f be -14*(1 + (-56)/49). Let g be -6*(6/4 - 1). Sort f, -4, g, -7.
-7, -4, g, f
Let h = -4.721 - -0.021. Let o = h + 4.62. Sort 4, 0.3, o, 4/5 in increasing order.
o, 0.3, 4/5, 4
Let u = 0.56 + 39.44. Let w = u - 39.5. Sort -4, w, 12 in ascending order.
-4, w, 12
Let z be -6 + (-67)/(-8) - (-3)/(-8). Let t(i) = -i**3 - 3*i**2 + 2*i - 3. Let o be t(-4). Sort 4, o, z in descending order.
o, 4, z
Let b(r) = r**2 + r - 95. Let i be b(-10). Sort i, 10, 0.3 in decreasing order.
10, 0.3, i
Let h be ((-1500)/(-18))/(-10) + 2/6. Suppose 5*w + 6 = 2*w. Sort 0, h, w in decreasing order.
0, w, h
Let y be (-176)/(-12) - -3 - -2*6/36. Let d = 2 + -3. Sort y, -4, d in ascending order.
-4, d, y
Let g = 4.6 - 0.6. Let b = g + -4.4. Let n be (51 - 33)*12/(-9)*1/(-4). Sort b, -4, n in descending order.
n, b, -4
Let d(x) = x**2 - 4*x - 5. Let t be d(4). Suppose 0 = 2*u - 3*r - 22, -9*u - 2*r + 7 = -6*u. Put t, 4, u, 1 in decreasing order.
u, 4, 1, t
Let v be (-30)/(-4)*(-2)/(-3). Let f(a) = a**2 - 6*a. Let n be f(6). Suppose 4*w + n*w - 2 = -s, s - 3*w + 12 = 0. Put 4, v, s in ascending order.
s, 4, v
Let p = 61 - 9. Let v = 52 - p. Put 2/11, v, 1, -5 in decreasing order.
1, 2/11, v, -5
Let u(l) = 3*l - 27. Let a be u(24). Let g = a + -43. Let w = -1.3 - -0.3. Sort -0.3, w, g in decreasing order.
g, -0.3, w
Let w = -392.5 - -391. Let h = -10 - -15.5. Let p = h + w. Put 3/8, p, -2/13 in increasing order.
-2/13, 3/8, p
Let w be (-165)/18*(-46)/580. Let a = w - -2/87. Sort -0.2, a, 0.1 in descending order.
a, 0.1, -0.2
Let a = 222 + -218. Put 5, a, 33 in decreasing order.
33, 5, a
Let x = 77 + -59. Let p be (2/(-102)*x/(-3))/2. Sort 0.5, p, -0.1, -4 in increasing order.
-4, -0.1, p, 0.5
Let i = -1 - 2. Let g = 3.368 + -3.968. Put g, -5/3, 2, i in ascending order.
i, -5/3, g, 2
Suppose -2*f + 16 = 18. Suppose 5*u + 3*t = 13 - 0, 3*u - 3*t - 3 = 0. Sort u, 1, f in increasing order.
f, 1, u
Suppose 3*v - 1586 + 1124 = 0. Put -4, 5, v, 3 in descending order.
v, 5, 3, -4
Let z = -3779/19 - -199. Let l = -0.95 + -0.05. Let v be ((-2)/(-8))/((-10)/(-16)). Sort v, z, l in descending order.
v, z, l
Suppose -37 + 37 = -3*b. Sort b, -1, 5 in descending order.
5, b, -1
Let o be ((-3)/(-4))/((-1)/(-36)). Let n = -15 + o. Suppose -n = -3*u - 2*v, -2*u = -u + 4*v - 14. Sort -3, -2, u in descending order.
u, -2, -3
Let y(i) = -i**2 - 4*i + 14. Let m be y(-6). Suppose -b + 55 = 5*n - 46, 0 = m*n - 4*b - 36. Put 5, -1, n, 2 in descending order.
n, 5, 2, -1
Suppose 5*y - 10*y - 55 = 0. Let r = y + 14. Suppose b - 2*b - r = 0. Sort 0, -9, b in increasing order.
-9, b, 0
Suppose 2*n + 12 = 3*m, 3*n - 5*n = 6. Suppose 0 = -m*o - 2*o + 48. Suppose -2*d = -4 + o. Put 0, -3, d in ascending order.
d, -3, 0
Let l be 1/(1/2) - 2. Suppose -3*c + 8*c - 15 = l. Suppose o - 3 + 0 = 0, c*y = 3*o - 21. Put y, 3, -1 in increasing order.
y, -1, 3
Let d = -161 + 159. Sort -3, d, -4 in decreasing order.
d, -3, -4
Let o be (-34)/(-42) - 2/3. Suppose 5*j + g = -24, j - 3*g + 8 = -4*j. Sort 0.1, o, j in descending order.
o, 0.1, j
Suppose 3*m + 1 = -11. Let w be (7/(-28))/(m/(-6)). Let q = -0.3 + -0.7. Sort q, w, -2/5.
q, -2/5, w
Let x = 1 - 0. Let q be (-16)/(-20)*(-5)/x. Suppose -25 = -5*a, -3*g - 17 = -3*a + 7. Sort q, 5, g in ascending order.
q, g, 5
Let g = 147/25 + -1983/350. Let v be (2/(-18))/((-2)/4). Sort -2/5, g, v in decreasing order.
v, g, -2/5
Let r = 81 + -83. Suppose -4*g + 12 = -g. Sort 10, r, g.
r, g, 10
Let v = 830 + -7474/9. Put v, 5, -0.5, 24 in increasing order.
-0.5, v, 5, 24
Let j = 14.45 + -14.2. Let v = -3.75 - j. Put -1, -2, -0.3, v in ascending order.
v, -2, -1, -0.3
Let o(v) = v**3 - 2*v**2 + v - 2. Let p be o(2). Suppose 5 = -p*i + 5*i. Suppose 7*c = 15*c + 24. Sort c, -2, i in descending order.
i, -2, c
Let a = 2363.1 + -2363. Let h be -2 - (0 + 3/(-2)). Put a, 3, h, 0 in descending order.
3, a, 0, h
Let o = 38 + -38.32. Let k = 0.22 + o. Sort -0.3, -5, 0.4, k in descending order.
0.4, k, -0.3, -5
Let r = 3 + -1. Let i = 2614 - 2616. Sort -1, r, 0.5, i in ascending order.
i, -1, 0.5, r
Let f = -509.9 + 510. Let c = 3 + -9. Let q = c - -5.8. Sort -0.3, f, q in decreasing order.
f, q, -0.3
Let i be (5 - 0)*(8 + -7). Let n(p) = -p + 16. Let s be n(11). Suppose s*t + 5 = -0. Put i, t, 2 in decreasing order.
i, 2, t
Let g(d) = -d**3 - 10*d**2 - 6*d + 22. Let y be g(-9). Sort y, 44, -4 in decreasing order.
44, -4, y
Let r be (-4)/(28/(-21)) - 0. Put 3/5, r, 2, -3 in decreasing order.
r, 2, 3/5, -3
Suppose -6 = -8*a + 3*a + 2*n, 3*n = -a + 8. Suppose -a*r + 11 = -c, 4*c + 6*r - 8 = r. Sort -2, c, 0 in increasing order.
c, -2, 0
Let a(b) = b**3 - b. Let u be a(-3). Let i be (1/6)/(3/u). Let x = 2.676 + 1.324. Sort -5, x, i.
-5, i, x
Suppose 31*o - 19*o - 12 = 0. Sort -12, o, -1 in ascending order.
-12, -1, o
Let s(z) = z**3 - 19*z**2 + 15*z + 56. Let a be s(18). Put 6, a, -18 in ascending order.
-18, a, 6
Suppose -8 = -16*f + 12*f. Sort 5, 0, f, 3 in decreasing order.
5, 3, f, 0
Let d(q) = -q**3 + q**2 - q. Let y be d(2). Let t be (-4 - 21/y)/2. Sort 1, t, 3/7.
t, 3/7, 1
Let x be 0 - 1 - (-1)/(10/(-15)). Sort 1.6, -1/12, x, 1 in descending order.
1.6, 1, -1/12, x
Let s(d) = -2*d + 2. Let v be s(3). Suppose 800*o = 787*o - 117. Sort v, 4, o in ascending order.
o, v, 4
Let d(z) = -z**3 + 21*z**2 - 20*z + 58. Let l be d(20). Let r = l + -61. Put r, -4, 12 in increasing order.
-4, r, 12
Suppose o - 2*v - 9 = 0, -v - 2*v = 12. Sort -1, 3, o.
-1, o, 3
Let j = -65.03 + 61.03. Let p be (0 - 1)*6/2. Sort -0.2, j, p, 1 in decreasing order.
1, -0.2, p, j
Let k be 10/8 + -2 - 15/(-20). Put -2, k, 5, 25 in decreasing order.
25, 5, k, -2
Let b = -151 - -154. Sort -2, b, 2 in decreasing order.
b, 2, -2
Let h be 1*(-2 - (-2)/(-2)). Suppose 0 = -f - a, -2*f + 3*a = -16 + 6. Sort f, h, -2 in decreasing order.
f, -2, h
Let r(j) = -2*j - 25. Let i be r(-13). Let p be 26/(-21) + i + (-42)/(-126). Sort p, -0.5, 4/7.
-0.5, p, 4/7
Let a = 0.1 + 0.02. Let g = -154 + 154.38. Let s = a + g. Put 1, s, -4 in descending order.
1, s, -4
Let a(h) = 10*h + 61. Let s be a(-6). Sort s, 3/8, 3, 2 in decreasing order.
3, 2, s, 3/8
Suppose 3 = -s, 4 = 2*d - 2*s + 18. Put 1, d, 5 in ascending order.
d, 1, 5
Suppose 208 = 5*b + 183. Put 1, -53, 2, b in descending order.
b, 2, 1, -53
Let f = -528 + 11086/21. Let w = -153 - -152.6. Put w, f, 9 in decreasing order.
9, f, w
Let g be 2700/24*12/10. Let f be 1/7*-3*(-90)/g. Put -2/3, 3/5, 0, f in ascending order.
-2/3, 0, f, 3/5
Suppose -2*m = -7*m - 15. Let t be -1*(-3)/(3/m). Put t, -7, -1 in increasing order.
-7, t, -1
Let q(n) = -3*n - 11. Suppose 26 = 3*l + 10*l. Let p be q(l). Sort -4, -3, p, -2.
p, -4, -3, -2
Let n(y) = -y**2 - 35*y - 150. Let k be n(-30). Sort k, 81, -5.
-5, k, 81
Let l(j) = -j**3 + 10*j**2 + 10*j - 11. Let c be l(11). Let f = 120 + -121. Sort c, 3, f in descending order.
3, f, c
Let w(j) = -12*j + 66. Let r be w(5). Put -3, -1, r in descending order.
r, -1, -3
Suppose 5*i - 3*k = 19 + 28, 0 = i + 2*k + 1. Suppose 2*p = 5*p - 9, i = 4*s + p. Put s, 5, 2 in ascending order.
s, 2, 5
Let i(b) = -b**3 + 6*b**2 + 2*b + 5. Let z be i(5). Let h be ((-84)/z - 6/15)*2. Put 0, h, 4 in increasing order.
h, 0, 4
Let l = 3.8 - 6.3. Let s = l - -2.7. Sort -2/7, s, 5 in ascending order.
-2/7, s, 5
Let j = 2403/8 - 300. Sort -5, 0.3, j in increasing order.
-5, 0.3, j
Let p(w) = -w**3 - w**2 + w - 1. Let i be p(2). Put i, 0, 2/5, 1 in ascending o