be y(4). Let f be (-3)/6*4 + (-13 - -20). Put f, r, 0, -2 in descending order.
f, 0, -2, r
Let w be (6/(-10))/(4/10). Let n = 128 + -127.6. Sort -0.9, w, -0.3, n in descending order.
n, -0.3, -0.9, w
Let q = -1 - 1. Let c = -18 - -13. Let x = 9.7 + -8.7. Sort x, q, c in descending order.
x, q, c
Suppose 203*a + 4*s - 16 = 204*a, -4*s = -3*a - 8. Put -0.64, a, -4 in decreasing order.
a, -0.64, -4
Let x(s) = -8*s**2 - 43*s - 16. Let c be x(-5). Sort -4, 0, 2, c in decreasing order.
2, 0, c, -4
Suppose -3*x = 2*v - 175, x - 3*v - 30 = 43. Put x, -4, -3 in ascending order.
-4, -3, x
Let x be 3/(-9) + 0 + 1. Let d = 4938 + -4937.6. Sort x, d, 1.8 in decreasing order.
1.8, x, d
Let l = -176 - -175.6. Put l, 8, -2 in decreasing order.
8, l, -2
Let d(y) = y**2 + 3*y + 3. Let n be d(-2). Let t be -2 + (1 - n) - 2. Let j = 23 - 28. Sort j, -3, t in decreasing order.
-3, t, j
Let o = 2.902 - -0.168. Let p = 1.02 - o. Let v = 2 + p. Put -2/7, v, 2 in increasing order.
-2/7, v, 2
Suppose 4*w = 4*n, 10 = -2*n - 2*w - 10. Suppose -114 = -30*g - 24. Put n, -1, 1, g in descending order.
g, 1, -1, n
Let s = -7.2 + 11.2. Put -34, s, -2 in descending order.
s, -2, -34
Suppose -y = 14 - 16. Put -4/3, 2/9, y in decreasing order.
y, 2/9, -4/3
Let g(w) = w**2 - 3*w - 1. Let d be g(4). Let y be 8/2 - (-1 + d). Sort y, 4, 1.
1, y, 4
Let y be (0 - (-3 - -5))*(-10)/(-5). Sort 5, -5, -18, y in increasing order.
-18, -5, y, 5
Let y be 1*(-1 - -2) - -1. Let r be (-2 - (6 - 5)) + 16/y. Let w = 2 - 1.6. Sort w, r, 2.
w, 2, r
Let v = 12672 + -12641.029. Let u = 0.029 + v. Let d = u + -31.2. Sort d, -0.1, -5/2 in increasing order.
-5/2, d, -0.1
Let u be (-12)/(-24)*(1 + (2 - 3)). Suppose 4*d - 3*w = -13, 6*d + 2*w + 22 = d. Sort 14, -5, d, u in decreasing order.
14, u, d, -5
Let c = 114 + -117. Sort -2/21, c, -3/7, 1/2.
c, -3/7, -2/21, 1/2
Let o = 14302 - 28603/2. Let p be 0 + 1/(2/3). Put -5/6, p, o in ascending order.
-5/6, o, p
Let b be ((-3)/2 + -1)*64/160. Suppose -2*r - 4 = -0. Sort 12, b, r in descending order.
12, b, r
Suppose 0 = 38*q - 37 - 1. Sort 0, -4, 8, q.
-4, 0, q, 8
Suppose -16 = 17*p + 1. Sort 5, p, -7, -4 in decreasing order.
5, p, -4, -7
Let t(d) = -d**3 - 11*d**2 + 5*d + 5. Let j be t(-11). Let y = j - -83. Let s = 35 - y. Sort s, 0, 6.
0, s, 6
Let c = -444.5 - -445. Put 73, 2/5, c, -0.02 in descending order.
73, c, 2/5, -0.02
Let l = 1358 - 1353. Sort 27, l, 3.
3, l, 27
Suppose 0 = 2*q + 2 - 8. Suppose 9 = -0*i + 3*i, 4*a + 4*i = 8. Let k = a - 3. Sort q, 0, k.
k, 0, q
Let n = -7714 - -7714. Suppose 8*y - 4*y + 12 = 0. Sort -6, y, n.
-6, y, n
Let j = -1 - -0.7. Let u = 1.97 + 0.03. Let n be (8/14)/((-396)/154). Put u, j, n in descending order.
u, n, j
Let v(m) = -5*m**3 + 5*m**2 + 7*m - 10. Let n(x) = -x**3 - 1. Let y(i) = 4*n(i) - v(i). Let c be y(6). Suppose 4*d - 12 = -0. Sort c, -2, d in descending order.
d, c, -2
Let k(z) = z + 1. Let p be k(-5). Let n = -6 - -1. Let x(b) = b**2 - 83*b - 355. Let r be x(87). Put p, n, r in ascending order.
r, n, p
Let j = -104.9445 + -0.0555. Sort 0, 0.2, j in increasing order.
j, 0, 0.2
Let o(t) = 137*t + 2. Let z be o(0). Sort 516, z, -5 in decreasing order.
516, z, -5
Suppose 2*n + 9 = 1. Let r be (-10)/n - (-4 - -7). Put r, 2/3, -6 in ascending order.
-6, r, 2/3
Let j(f) = -4*f + 1. Let s be j(-1). Let w = 1365 - 1362. Sort w, -5, s, 4 in decreasing order.
s, 4, w, -5
Let m = 143/133 + -15/19. Let t = 1/414 - -617/1656. Put m, 0.4, t, 3 in descending order.
3, 0.4, t, m
Let a = -71.9 - -71.5. Sort -169, a, 2, 1.
-169, a, 1, 2
Let x = -38 - -77. Let m = x - 37. Put -2, 0.5, -0.4, m in ascending order.
-2, -0.4, 0.5, m
Let u = 1197389/6118 + -9/6118. Let d = 196 - u. Put 1, -3, d, 3/2 in descending order.
3/2, 1, d, -3
Let c = 16.1 + -15. Let a = -0.554 + -0.046. Let t = a + c. Sort -3, 3, t.
-3, t, 3
Suppose 0 = -4*w - 5 - 11. Let j be w*(2 + (-22)/8). Let m = 4 + -3.7. Sort 1/6, j, m in descending order.
j, m, 1/6
Let a be (-175)/50 + 2/4. Let c(v) = -v**3 + 10*v**2 - 8*v - 4. Let u be c(9). Put a, 2, u in decreasing order.
u, 2, a
Suppose -4*s - 8 = -6*s. Let k be s + -3 - (-1 + 3). Suppose 5*t - 40 = -i, 5*t - i = -5*i + 25. Sort 5, t, k in decreasing order.
t, 5, k
Suppose 21 = -5*h - q, 3*h + 4*q + 14 = 2*q. Let d = 4.9868 - -0.0132. Sort -10, h, d in decreasing order.
d, h, -10
Let k = -9.09 + 10.9. Let d = k - -0.49. Let c = -2.2 + d. Put 2/3, c, 3/5 in decreasing order.
2/3, 3/5, c
Let q(y) = y**3 + 13*y**2 - 17*y + 198. Let f be q(-15). Sort 1, f, 15, 5 in increasing order.
1, f, 5, 15
Let i = 21.15 - 22. Let a = i - -1. Let r = a - 0.65. Put 0.1, -0.06, r in increasing order.
r, -0.06, 0.1
Let p be -1 - ((4 - -7) + -1). Let z = p + 7. Sort 0.2, z, 5 in descending order.
5, 0.2, z
Suppose 19 = 3*c + 5*d, 11 = 5*c - 0*d - 2*d. Sort 8, c, -4, 5 in ascending order.
-4, c, 5, 8
Let k be 22/198 - (-8)/(-18). Sort 101, 0, k.
k, 0, 101
Suppose -8 = -3*w + 4. Let l be (21/(-12) + -3)/(1/(-4)). Suppose 16*x = l*x - 24. Sort -2, x, w in increasing order.
-2, w, x
Let k(b) = -4*b**3 - 5*b**2 - 3*b**3 - 3 - 6*b + 6*b**3. Let h be k(-4). Let x be 2/h + (-98)/70. Sort -3, x, -5.
-5, -3, x
Suppose 2*w + 3*w - 40 = 0. Let x = -3 + w. Suppose -7*j - x - 9 = 0. Sort -1, j, -3 in descending order.
-1, j, -3
Suppose -9 = 2*r - 11. Let h be 3 + (2 - 2/r). Suppose 0 = 4*w + 4 - 0. Sort -3, h, w in ascending order.
-3, w, h
Let q be (12/9)/((-121)/30 + 4). Sort -3, 2, q, -4 in decreasing order.
2, -3, -4, q
Let b = -19.4 + 0.4. Let c = 24 + b. Sort -8, 4, c.
-8, 4, c
Suppose -3 = 192*o - 195*o. Put -2, 20, o in increasing order.
-2, o, 20
Let n = 305 + -300. Put 9, -3, n in descending order.
9, n, -3
Let y = -1 - -1.04. Let q = 5.04 - y. Put -0.5, -6/7, q in descending order.
q, -0.5, -6/7
Suppose 83 = 30*i - 277. Put i, -4, -3, -1 in descending order.
i, -1, -3, -4
Let b = 0.09 + -0.09. Let k = -4 + 11. Let s = k - 5. Put 0.3, b, s in descending order.
s, 0.3, b
Let x = 4 - 4.6. Let w = x - -8.6. Let g = -8 + 10. Sort g, w, 3 in descending order.
w, 3, g
Suppose j - 18*j + 1479 = 0. Sort j, 2, 1 in descending order.
j, 2, 1
Let r = -0.026 - -54.026. Let o = 53 - r. Sort 0.3, o, -0.4 in ascending order.
o, -0.4, 0.3
Let l be (7*(-50)/210)/(5/(-12)). Let d = -6 - -6. Sort 1/3, -0.3, l, d in descending order.
l, 1/3, d, -0.3
Let t = 4.2 - -1.4. Let l = -6 + t. Let p = -3327/28 - -830/7. Sort 1, l, p in descending order.
1, p, l
Let t = -4.5 + 11.2. Let c = -0.7 + t. Put c, 4/9, 4 in increasing order.
4/9, 4, c
Let s = 2 - 4. Let o(j) = j**2 - 9. Let p be o(0). Let t = -7 - p. Sort -1, s, t.
s, -1, t
Let m = 45 - 45. Suppose p + 4*r - 16 = 0, -35 = 7*p - 2*p - 3*r. Suppose 0 = -k + 5*q - 3 - 9, 0 = -5*k + 3*q - 16. Sort m, p, k in ascending order.
p, k, m
Let u be 6/24 - 1833/(-12). Let l be (-630)/u - (-3 + -1). Sort -0.2, 2/13, l in decreasing order.
2/13, l, -0.2
Let d = 45 - 75. Let z be (-7 - 222/d)/((-1)/(-20)). Sort 2/9, 2, z in descending order.
z, 2, 2/9
Let b = 415.1 - 415. Put b, 19/2, 3 in decreasing order.
19/2, 3, b
Let l = 197 + -200. Let h = -2 - -7. Suppose 5*y + 10 = h*j, y - j - 2*j = -4. Put y, 3, l in increasing order.
l, y, 3
Let s = -45623/3 - -15208. Let t = 2.2 - -0.8. Sort s, t, -0.5 in descending order.
t, s, -0.5
Let y = -0.47 - -0.37. Let i be 4/(-2 - 0) + 32/22. Sort y, i, 0.4 in increasing order.
i, y, 0.4
Let c be 5 + (-4 - -1) + -5. Sort -4, 105, -5, c.
-5, -4, c, 105
Suppose -88 = -110*i + 99*i. Sort 5, 3, 2, i in increasing order.
2, 3, 5, i
Let p(n) = -3*n**2 - 5*n + 2. Let v be p(-2). Put 2, v, -29, 4 in decreasing order.
4, 2, v, -29
Let b = 296 + -299. Suppose 6*c = 3*c + 15. Let r be (-1)/c + (-16)/(-5). Sort r, b, 0 in descending order.
r, 0, b
Let r = 16.2 - 16. Let n = -45 + 50. Let v = -7.3 - -7. Sort n, r, v in ascending order.
v, r, n
Let n(o) = -o**3 - 8*o**2 - 15*o - 18. Let x be (-12)/9*36/8. Let r be n(x). Sort 7, r, -4, 1 in descending order.
7, 1, r, -4
Suppose -y + 2*y = 0. Suppose 4*c - 4*d = 24, -4*c - c = 4*d - 57. Suppose c = -z - x, 4*z = -5*x + 12 - 48. Put 1, y, z in decreasing order.
1, y, z
Let h = -83.4 - -83. Put 3, 0.087, -1/8, h in ascending order.
h, -1/8, 0.087, 3
Let x be (-374)/(-72) + (1 - 35/20). Let z = -28/9 + x. Let n be -5*1/(-6) + -1. Put 0, z, n in d