4)/30 - (-72)/540. Let h be -1 + r - 55/(-30). Sort h, -0.04, -2, f in decreasing order.
-0.04, h, f, -2
Let h be ((-2)/10)/((-28)/(-70))*-2. Let s be (h + 35/(-10))*2. Sort s, 16, 0 in descending order.
16, 0, s
Suppose 317*f - 336*f - 76 = 0. Sort f, 4, -342 in increasing order.
-342, f, 4
Suppose 40 = -5*o - 2*r, o + r = 3*r + 4. Let y be ((-30)/20)/(-1 - 56/(-32)). Put 5, y, 4, o in decreasing order.
5, 4, y, o
Let b(c) = -36*c - 1865. Let l be b(-52). Put 2, l, 6 in decreasing order.
l, 6, 2
Let s(h) = -222*h + 894. Let a be s(6). Put a, -3, 5 in increasing order.
a, -3, 5
Let x = 835 - 454. Let u = x + -386. Sort u, -0.4, 18 in decreasing order.
18, -0.4, u
Let k = 1820 + -1861. Suppose -7 = x - 2. Sort k, x, -2, 4.
k, x, -2, 4
Let m be ((-9)/45)/(12/(-1200)). Sort m, 3, -23 in descending order.
m, 3, -23
Suppose -211*r = -98*r - 26216. Sort -2, 3, r in descending order.
r, 3, -2
Suppose -16*a + 17*a + 2*r + 2 = 0, 0 = -r - 2. Sort a, -2/173, 0.04, -4.
-4, -2/173, 0.04, a
Let r(o) = o**2 - 2*o - 3. Suppose -3*i = 4*g + 2*i + 13, 27 = 4*g - 3*i. Let y be r(g). Suppose 17*m - 18*m = y. Sort m, -1, -5 in decreasing order.
m, -1, -5
Suppose -5*z + 13 = -v, -2*z + 44*v = 43*v - 7. Sort -5, 0, -2, z.
-5, -2, 0, z
Suppose -16*f + 3*f = 5967. Let x = 451 + f. Sort 3, 1, x, -4 in descending order.
3, 1, -4, x
Let w = -5130 + 5131. Let q be (161/(-5) + -1)/((-4)/20). Put 3, w, q in decreasing order.
q, 3, w
Let o be (3/5)/((-33)/165). Put o, 12, -5, 5 in descending order.
12, 5, o, -5
Let d = -153 + 154.05. Let p = 2.05 - d. Sort 8, p, -3 in descending order.
8, p, -3
Suppose -4*l = b - 1, 3*l + 14*b + 28 = 19*b. Sort l, -62, -2 in descending order.
l, -2, -62
Let v(n) = 10*n**2 - n + 3. Let u(g) = 18*g**2 - 2*g + 5. Let o(d) = -4*u(d) + 7*v(d). Let y be o(1). Sort -3, 7, y in increasing order.
-3, y, 7
Let i = 0.03127 + 0.16873. Sort 259, 0.3, 0.5, -3, i in decreasing order.
259, 0.5, 0.3, i, -3
Suppose 4 + 35 = -3*l. Let b(a) = -a**3 - 13*a**2 + a + 15. Let y be b(l). Suppose 18 = 3*j - 3*d, -14 = -j - y*j + d. Sort -5, j, 0 in ascending order.
-5, 0, j
Suppose -2*o = -2*s, -2*s - 15 = 3*o - 0. Let b = 4.33091 - 4.03091. Put o, -4, -59, b in decreasing order.
b, o, -4, -59
Let f(x) = -3*x - 14. Let b be f(-7). Let o(h) = h**3 - 6*h**2 - 7*h - 6. Let k be o(b). Let s be (0 - 1)*9*2/k. Sort 0, -3, 2, s.
-3, 0, 2, s
Let s be -12 - -11 - (0 - (4 + -8)). Let v(k) = -4*k + 107. Let c be v(26). Sort c, s, 21 in descending order.
21, c, s
Let j = 1801 + -1804. Sort -5, 5, -21, j, -4 in ascending order.
-21, -5, -4, j, 5
Let r = -1084 - -1086.051. Let m = r + -0.051. Let y(f) = -f**3 - 9*f**2 + 21*f - 8. Let p be y(-11). Sort 0, p, m in ascending order.
0, m, p
Let h(s) = -4*s + 6. Let k be h(1). Let j = -10 + 12. Suppose -j*b - r = -b - 6, 10 = 3*b - 5*r. Put b, 1, k in ascending order.
1, k, b
Suppose b + 4*u + 154 = 0, -2*b - 2*u - 304 = 2*u. Let y be (-56220)/(-360) - 2/(-12)*-1. Let v = b + y. Put 1, v, 8 in descending order.
8, v, 1
Suppose -70*m = 69 + 71. Sort 0, 4, m, 1, -37 in decreasing order.
4, 1, 0, m, -37
Let h = 77 - 75. Let i be (-228)/190*h/(1 + -7). Put -8.4, -0.4, i in ascending order.
-8.4, -0.4, i
Suppose 29*i + 4*i - 138 = -36*i. Sort i, -8, -12 in ascending order.
-12, -8, i
Let m be (2/4)/(16/32). Suppose -3*n + 0 = -w - m, 0 = -5*n - 5. Let l = -1 + 3. Sort 63, l, w.
w, l, 63
Let g = -9559 + 9563. Sort -5, g, -165 in ascending order.
-165, -5, g
Let b = 97/28 - 15/4. Put 1, -17, b, -0.3, -0.5 in decreasing order.
1, b, -0.3, -0.5, -17
Let v = 1123 + -6713/6. Let r be ((-2)/8)/(1/(-18)). Let j = r - v. Sort -1/4, -2/5, j.
-2/5, -1/4, j
Let f be (-17)/4 - 9/12. Suppose -7*y - 20 = -20. Let t be (-2 - -6) + (-3 - y). Put 3, f, -9, t in descending order.
3, t, f, -9
Suppose 4*d + 0 + 32 = 0. Let x be 40/4*2*(-2)/d. Let h(q) = 3*q + 2. Let f be h(-2). Put 1, x, f in descending order.
x, 1, f
Let f(n) = -118*n - 114. Let s be f(-1). Sort 3, 3/2, -4, s, 1.
-4, 1, 3/2, 3, s
Let c = 792 + -797. Sort c, -16, 2, 5.
-16, c, 2, 5
Let j = 33/35 + -15/7. Let n = j - -43/40. Sort n, 3, -4 in descending order.
3, n, -4
Suppose 2*d - 290*m + 287*m = 20, 4*d - 18 = -5*m. Sort d, 1, -25 in ascending order.
-25, 1, d
Suppose -3*r - r = 4*m + 8, 2 = m - r. Let d = -4 + m. Let f = 152 - 153. Sort -0.1, d, f in descending order.
-0.1, f, d
Suppose -i - 27 = -9*i + 61. Sort 3, i, -5, -1, -19 in decreasing order.
i, 3, -1, -5, -19
Suppose 6*m = -13*m - 38. Let r be (-160)/(-6) + (-6)/(-18). Let y = -28 + r. Put y, 3, m in ascending order.
m, y, 3
Suppose -5*u = -200 - 95. Suppose 54*s = u*s - 10. Let b be ((-4)/10)/(2 - 0). Put s, -0.4, b, -1 in decreasing order.
s, b, -0.4, -1
Let f(k) = -101*k + 107. Let w be f(1). Put w, 13, -0.5 in ascending order.
-0.5, w, 13
Suppose 5*o = 3*o + 2. Suppose j + 14 = 5*d, -6*j = 4*d - 7*j - 11. Sort 7, -3, d, o in decreasing order.
7, d, o, -3
Let r = -799/3276 + -5/819. Sort 0.4, 5.7, r in increasing order.
r, 0.4, 5.7
Let d(o) = 440*o + 11439. Let c be d(-26). Put 3, 4, 378, -2, c in descending order.
378, 4, 3, c, -2
Let s = -37 + 37.2. Let f be (11/154)/((-3)/72). Sort f, -0.2, s, -3/2 in increasing order.
f, -3/2, -0.2, s
Let q = 73 + -13. Suppose 23*s + q = -9. Sort 3, s, 21 in decreasing order.
21, 3, s
Let f(q) = q**3 - q**2 - q - 2. Let h be f(-1). Put h, 1, 65 in increasing order.
h, 1, 65
Let r be 9 + 14 + -2 + -26. Suppose 0*l = -2*l - 10. Let i be (2 + 0)*(l - -7). Sort 45, i, r in ascending order.
r, i, 45
Suppose -4*i = -5*i + 5. Suppose v = -t, -6 = t - v + i*v. Sort -4, -5, t in increasing order.
-5, -4, t
Let s = 102 - 101. Let v be 25/10*(1 + s). Put 4, -1, 3, v in ascending order.
-1, 3, 4, v
Suppose j = 3*m - 382 - 229, 4*j = -2*m - 2402. Let l = 600 + j. Put 0, l, -5 in descending order.
0, l, -5
Suppose -3*v - 3*h = 0, 3*h - 7 + 1 = 3*v. Let j = -0.19 - -0.23. Let o = j + -0.08. Put -2/9, v, -0.2, o in descending order.
o, -0.2, -2/9, v
Let y(u) = -u**3 - 7*u**2 - 9*u. Let j be y(-5). Let a be ((-348)/10 - 2) + 4/5. Sort 1, j, a.
a, j, 1
Suppose -35*d + 34*d + 219 = 0. Let p = 213 - d. Put 0.2, p, 0.4 in decreasing order.
0.4, 0.2, p
Let d be -9 + ((-2838)/344)/(2/((-24)/15)). Let z = 3.22 + -6.3. Let g = z + 0.08. Sort d, 2, g in descending order.
2, d, g
Let r = -3.27 - -16.37. Let m = -12 + r. Sort -4, -3/4, m in decreasing order.
m, -3/4, -4
Suppose 0 = -8*u + 6*u - 2. Suppose 0 = -5*m + 3*o + 60, 22*m - 26*m + 2*o + 48 = 0. Sort m, 4, 5, u in increasing order.
u, 4, 5, m
Suppose -3*m - 8 = -m. Put -132/19, m, 2/3 in decreasing order.
2/3, m, -132/19
Let h(l) be the second derivative of -l**4/12 + l**3/3 - l**2/2 - l. Let g be h(1). Let z = 5120.2 + -5116.2. Sort 5, z, g in ascending order.
g, z, 5
Let w = -2801.3 + 2772.3. Sort 0.3, -0.4, w, -8, -2/3.
w, -8, -2/3, -0.4, 0.3
Let u be (11 + -12)/((0 - 2)/92). Let l = u - 46. Suppose -k - 2 = -l*k. Put 3, k, 2, -1 in increasing order.
k, -1, 2, 3
Let b = 1072 - 650. Let v = 386.8 - b. Let m = 35 + v. Sort 7, -0.3, m in ascending order.
-0.3, m, 7
Suppose k = 11 + 11. Suppose -4*m - 27 = -2*l - 13, -3*m - 16 = 4*l. Put k, 5, l in descending order.
k, 5, l
Suppose 2*t = 2*m - 10, 0 = 2*m + 3*m + t - 19. Let i(n) = 82*n - 75. Let u be i(7). Let g = u + -500. Sort g, m, -2, 5.
-2, g, m, 5
Let q = 0.8 + -155.8. Let d = 161.9 + q. Let l = d + -7.4. Sort 0.5, l, -4/7, -4 in increasing order.
-4, -4/7, l, 0.5
Let u = 19.354 + -20.354. Let f be (84 + -1 - 0)/50. Let l = 1/150 + f. Sort l, -13, u.
-13, u, l
Let x be ((-11836)/(-1614))/((-11)/6). Let n = -2 - -1. Sort -3, 6, x, n in decreasing order.
6, n, -3, x
Let u = 3342323/497 - 6725. Put -10, u, -0.1 in decreasing order.
u, -0.1, -10
Let t = -37 - 79. Let a = -77 - t. Let x = -36 + a. Sort x, -3/4, 4.
-3/4, x, 4
Suppose 4*k - 2*r - 3*r = -2, 0 = -4*r - 8. Put 25, k, -1, 11 in decreasing order.
25, 11, -1, k
Let a = 13/142 - -141/1562. Let h = -17 + 14. Let n = h + 8. Sort a, n, 0.
0, a, n
Let g = -138.92 - -143. Let v = g - 0.08. Let p = -776 + 773. Put -0.02, v, p, -0.2 in increasing order.
p, -0.2, -0.02, v
Let a = -8901 - -8901. Put -1/7, 1/13, a, -0.4, -2 in decreasing order.
1/13, a, -1/7, -0.4, -2
Let n = 2895 + -2899. Sort n, 1, -1, 8, 0 in ascending order.
n, -1, 0, 1, 8
Let z = -27281