(28/(-16)) + h. Sort 2/5, y, -1.
y, -1, 2/5
Let k = -398 + 3584/9. Let w = 0.8 - 0.5. Put -0.2, k, w in descending order.
w, k, -0.2
Suppose -3*y + o - 2 = 0, 3*o + 1 + 9 = y. Let c be y - (0 + (7 - 5)). Sort c, 2, 0, -3.
c, -3, 0, 2
Let c be -11 + 18 + 3*-1. Let y = -28 - -32. Let f(j) = 2*j**3 - 9*j**2 + 3*j + 3. Let d be f(y). Sort 2, c, d in descending order.
c, 2, d
Let d = -34 + 39. Let b = 19/3 - 7. Put b, -1/8, d in descending order.
d, -1/8, b
Let w = -207 + 207.4. Sort 3, 0.3, w, -4/11 in increasing order.
-4/11, 0.3, w, 3
Let i = 63.05 - 80.6. Let b = i - 0.45. Let k = 17.7 + b. Sort 3, k, -12 in decreasing order.
3, k, -12
Let z = -6 - -5.7. Let a = 263 + -184. Let v = 80 - a. Sort v, -2/5, z in descending order.
v, z, -2/5
Let r = 2 - 12. Let v = 8 + r. Sort v, 4, 6 in descending order.
6, 4, v
Suppose 3*w = -5*b + 85, -46*b + 44*b - 10 = -w. Sort w, -1, 1 in decreasing order.
w, 1, -1
Let t(k) = k**3 + 10*k**2 - 9*k + 4. Let b be t(-11). Let h = b - -27. Let g = 5 - h. Sort g, 1, 5 in increasing order.
g, 1, 5
Suppose -m = 81 - 102. Let n = 18 - m. Put 1, 5, n in descending order.
5, 1, n
Let n = 208 - 191. Let w = -1 + 0.5. Sort n, 2/7, w in ascending order.
w, 2/7, n
Let v = -85 - -99. Let y = -143 + 157.4. Let r = y - v. Sort r, -0.3, 5 in ascending order.
-0.3, r, 5
Suppose 5*v - 5 = 6*v. Let n(d) = -d**3 + 12*d**2 + d + 4. Let z be n(12). Suppose 0 = 4*s - z, 2*l + 0*l + s - 10 = 0. Sort v, l, -4 in ascending order.
v, -4, l
Let g = -5049/7 - -722. Sort -2/7, 4, g in decreasing order.
4, g, -2/7
Let k(d) = -d**2 + 2. Let h be k(3). Let f = -6 + 11. Suppose 0 = 5*a - f, 3*g + 1 - 2 = 5*a. Sort h, -1, g.
h, -1, g
Let d(t) = -2*t**2 - 30*t - 25. Let m be d(-14). Put 0, m, 6, 14 in descending order.
14, 6, m, 0
Suppose -2*b = 2*q - 24, 5*b + q - 29 = 11. Let w be (2/2)/((-3)/(-12)). Suppose 2*i = -n - 6, -n - 15 = -i + 3*n. Sort b, i, w in descending order.
b, w, i
Let l be (-4 - (1 + 2))*(-60)/35. Suppose 0*s - l = 3*s. Sort s, 3, 0, -5 in decreasing order.
3, 0, s, -5
Let f = -4 + 2. Suppose 5*c = 13 + 17. Let s = -76 + 72. Put f, s, c in decreasing order.
c, f, s
Let i = 388 - 1939/5. Sort -6, i, -5 in descending order.
i, -5, -6
Let n = -0.926 + 1.126. Let c = 2.1 + -2. Sort c, n, 0.5 in increasing order.
c, n, 0.5
Let j be (-1 - (-189)/175)/((-3)/15). Sort -10, 28, j.
-10, j, 28
Let w = 1 + 0. Let r(t) = -t**2 + 7*t. Let b be r(7). Suppose f - 5*u + 17 = b, -2*f - 11 = 3*u - 29. Put -2, f, w in descending order.
f, w, -2
Let u = -1 - 0. Let d = -16/9 - -130/63. Let r = 3 + -6. Sort r, u, d in decreasing order.
d, u, r
Let z(k) = -2*k + 6. Let q be z(5). Let h be 0 + 4 + q/2. Suppose i + 1 = 4*c, 0 = -2*i - c - 3 + 1. Sort i, h, 3 in descending order.
3, h, i
Suppose 12*z = 7*z - 5. Let m be 9/(-2) - (-1)/(-2). Sort 2, m, z, 3.
m, z, 2, 3
Let h(q) = q + 8. Let j be h(-3). Let z(b) = -b**3 - 9*b**2 - 22*b - 27. Let g be z(-6). Sort 7, -4, g, j in descending order.
7, j, g, -4
Let x = -7 + 10. Let r = x + 2. Let s = 191 - 190.5. Sort s, r, -3/4 in ascending order.
-3/4, s, r
Suppose 0 = u + 5 - 11. Let p be (2/(-4))/(2*(-3)/u). Put 17, -1/4, p in descending order.
17, p, -1/4
Let d be 108/(-48) - (-1)/4. Let z = 792 + -787. Sort z, d, -3, 0.
-3, d, 0, z
Suppose 0 = -n - 2*n. Let k(i) = -i**2 + 2*i + 4. Let y be k(-4). Let h = -17 - y. Sort n, 6, h in decreasing order.
6, h, n
Suppose -l - 26 = -3*l. Suppose 56 = -5*v + 3*c, v = -c - 3 - l. Let q(y) = -y - 9. Let p be q(v). Sort -5, 5, p in ascending order.
-5, p, 5
Let m = 1 - 0. Let v be (0 - -1) + -3 + 2. Let x = 1145 + -1144.6. Sort x, v, m in descending order.
m, x, v
Let g be 4/2 + 0 - -1. Sort g, -1, 2 in descending order.
g, 2, -1
Let g = -3.15 - 59.85. Sort g, 0.2, -0.5, -0.1 in increasing order.
g, -0.5, -0.1, 0.2
Let q(a) = a + 2. Let i be q(-5). Let z be -8 + 0 + i + 6. Suppose -9 = 5*k + 6. Sort k, z, -2.
z, k, -2
Suppose -5*h + o - 96 = 187, 68 = -h + 4*o. Let c = 49 + h. Let d = 0.2 + -0.4. Sort d, c, 2 in ascending order.
c, d, 2
Let w = 1738 - 3479/2. Put w, 1/20, -3, -1 in descending order.
1/20, -1, w, -3
Suppose -3*t = -6*t - 60. Let l be ((-4)/(-72))/(5/t). Sort -3/5, l, -3 in increasing order.
-3, -3/5, l
Let m = -14 + 14. Let d = m - 3. Suppose 3*i = 6*i. Put i, d, 4 in descending order.
4, i, d
Let h(k) = -3*k - 7. Suppose -3*t + 10*t = 21. Let x be h(t). Put x, 5, 0, -5 in descending order.
5, 0, -5, x
Let u = 0.29 + -0.3. Suppose 1701 = 109*l + 113*l + 591. Sort u, -1/4, l, 4/7 in ascending order.
-1/4, u, 4/7, l
Let p = 2780 + -2800. Put p, 5, 4, 8 in descending order.
8, 5, 4, p
Let q(b) = -b**2 - 8*b - 2. Let x be q(-7). Let i be (-14)/10 - 3/5 - 62. Let g = i - -59. Put g, x, -14 in ascending order.
-14, g, x
Let b = 66 + -61. Suppose 1 = 3*l + b*z, 5*l - 37 = 2*l + 4*z. Let j(i) = -i**3 - i**2 - 5. Let v be j(0). Sort l, -4, v in increasing order.
v, -4, l
Suppose 3*m - 2*i = 6, 2*i + 17 = 2*m + 13. Sort m, -3, -1.
-3, -1, m
Let u be (-1)/(-2) + (-2)/(-4). Let f = -13 + 16. Put -4, f, u in increasing order.
-4, u, f
Let s = -1/63 + -59/252. Let a = 1.9 - 8.9. Let j = a + 11. Sort j, -0.2, s in increasing order.
s, -0.2, j
Let q = 192 - 197. Sort q, -1, 5.
q, -1, 5
Suppose 109 = d + 105. Sort -3, 1, d, -8 in decreasing order.
d, 1, -3, -8
Let k = -794 + 793.6. Put -277, k, 5 in increasing order.
-277, k, 5
Let k(y) = y**2 + 14*y - 52. Let c(u) = u**2 - 10*u - 8. Let q be c(9). Let i be k(q). Sort 5, 0, i, 6 in increasing order.
i, 0, 5, 6
Suppose -2 = 3*t + h, 6 - 5 = t + 2*h. Put -6, t, 3, 27 in descending order.
27, 3, t, -6
Let d = -6 + 3. Let s = -96 - -57. Let l = 37 + s. Sort l, 0, d in decreasing order.
0, l, d
Let p be -1*(21 + -10) + -5. Sort 2, p, 1.
p, 1, 2
Let f be 2/(-24) + (-1)/(1260/255). Sort -0.4, 3, f, -0.1 in increasing order.
-0.4, f, -0.1, 3
Let i = -353/4 - -84. Sort 11, -1/3, i in decreasing order.
11, -1/3, i
Let u = 2.8 + -3. Let v = 1837/5 + -368. Put v, u, -1, 4/5 in ascending order.
-1, v, u, 4/5
Suppose -a - a - 4424 = 0. Let p be a/20*(-10)/(-12). Let u = p - -92. Put 0.2, -0.4, u in descending order.
0.2, u, -0.4
Let f be (-3)/6*(-1 - 1). Let l = 126 + -79. Let k = -46.8 + l. Put k, f, -0.3 in increasing order.
-0.3, k, f
Suppose 4*w + 2 = 3*w. Sort -25, -8, w in decreasing order.
w, -8, -25
Let l = 2618 - 2619. Let j = 147 + -437/3. Sort j, 2, -0.2, l in descending order.
2, j, -0.2, l
Let o = -307/2 + 154. Sort o, -1/12, 0.4, 0.2.
-1/12, 0.2, 0.4, o
Suppose -b = -2*b + 3. Let h be 3*1 - 7/b. Put 0, h, 1 in descending order.
1, h, 0
Let m = 1.1 + -11.1. Let q = m - -9.9. Let w = 0.5 - 0. Sort q, -2, w.
-2, q, w
Let z = 6 - 3. Put z, 5, -13 in increasing order.
-13, z, 5
Suppose -3*p = -2 - 10. Suppose -100 = 2*i - 7*i. Suppose 5*f = 0, 5*b + p*f = -0*f - i. Sort -5, b, 0.4.
-5, b, 0.4
Let m = -9.656 - -5.656. Let q = 0.33 - 0.03. Put m, q, -1 in decreasing order.
q, -1, m
Let w = -213 + 214. Sort 4, -3, w in decreasing order.
4, w, -3
Let j be 59/(-126) + (8/4)/4. Let w = j + 16/63. Put w, -0.2, 5, -2/13 in descending order.
5, w, -2/13, -0.2
Suppose 9*f - 26 = 19. Sort 6, 7, f, -1 in ascending order.
-1, f, 6, 7
Let o be (-6)/(18/12*-2) + 3. Sort -5, 4, -13, o in descending order.
o, 4, -5, -13
Let t = -1 - 1. Let x = -118 + 115. Put t, x, -6 in increasing order.
-6, x, t
Let i be 3*(-2)/8*-22. Let b = -46 + 30. Let t = i + b. Sort -3, t, 2/9 in decreasing order.
t, 2/9, -3
Let p(i) = i**3 + 8*i**2 - 2*i - 16. Let a be p(-8). Suppose 0 = -2*d + d + 10. Let v = 0 - -1. Sort d, v, a in descending order.
d, v, a
Let f be 3 + -1 + -2 + -1. Let b(m) = 15*m + 865. Let k be b(-58). Sort k, f, 2.
k, f, 2
Let q(s) = s**3 - 54*s**2 + 52*s + 54. Let p be q(53). Put -46, -4, p, -3 in descending order.
p, -3, -4, -46
Let o = 3.529 - -0.471. Suppose 0 = 4*q - 0 + 12. Sort q, 0.3, o in increasing order.
q, 0.3, o
Suppose -432 = 58*o - 10*o. Put 1, o, 2 in ascending order.
o, 1, 2
Let h = -1.3 + 18.3. Let d = h - 16.9. Put 6/5, d, -0.9 in decreasing order.
6/5, d, -0.9
Let x be 4/22 - 6003/(-319). Sort 0.4, x, 3 in descending order.
x, 3, 0.4
Let m = 146 - 148. Put m, 2, -3 in descending order.
2, m, -3
Let q(u) = 2*u + 32. Let a be q(-24). Let v be ((a/12)/(-2))/((-8)/60). Sort -4, v, -1 in descending order.
-1, -4, v
Suppose