3, 3*f - 5*y + 48 = 20. Let p be (-1)/((-1 + -1)/2). Sort f, p, 38 in descending order.
38, p, f
Let v = -42 + 44. Let t = -211 - -208. Put -1, v, -5, t in descending order.
v, -1, t, -5
Suppose 5*l + 2*s = -23, 18*s + 30 = -3*l + 15*s. Suppose 2*n + 6 = 5*q - 4, 2*q + 4*n - 28 = 0. Suppose 0 = 3*u + 9, 3*g - 2*u - 6 = q*g. Sort l, g, -4.
-4, l, g
Let f be (-2)/(-13) - 54/13. Suppose 8 + 50 = 5*i + 2*u, 5*i = u + 46. Suppose -2*z - 6 = -3*p, -5*p - 3*z = -i*p + 10. Sort 3, f, p in increasing order.
f, p, 3
Let z = 12 - 12. Suppose -3*u + 5 + 4 = z. Suppose -i = -l - 4, 4*i - 3*l + 4 - 15 = 0. Sort 1/3, i, 3/5, u in descending order.
u, 3/5, 1/3, i
Let j = 1175 - 1166. Sort -2, j, 4, -70 in increasing order.
-70, -2, 4, j
Let k(s) = -s**2 - 54*s + 5. Let i be k(-54). Suppose -3*p = 2*z - 8, i*p - 16 = 9*z - 13*z. Sort 3/16, p, -0.3, 1/5.
-0.3, p, 3/16, 1/5
Let f = 1180.3 - 1180.8. Put 3, f, 1/675 in descending order.
3, 1/675, f
Let p = 139.15 - 168.15. Sort -5, 4, p, 2, -1 in decreasing order.
4, 2, -1, -5, p
Let d(w) = w**3 + 10*w**2 + 12*w - 4. Let s be d(-8). Suppose -s = -8*a + a. Let i = a - 3. Put -1, -9, 0, i in descending order.
i, 0, -1, -9
Suppose -2 = 4*c + 2*p, 387*p - 382*p + 5 = -2*c. Let t be 1/((-3)/(-18)) - 3. Put c, 2, t, -4 in decreasing order.
t, 2, c, -4
Let w = 28/383 + -467/1149. Put 5/2, 1/11, -38, -5, w in increasing order.
-38, -5, w, 1/11, 5/2
Let u be ((-248)/24 + 12)*(-24)/(-45). Put 0.4, u, 15, -1/5 in descending order.
15, u, 0.4, -1/5
Suppose 3*r - 13 = 5. Let u = 2947 + -2947. Let s = 0.3 - 0.4. Put r, s, -1/9, u in increasing order.
-1/9, s, u, r
Let h(q) = -1003*q + 1005. Let i be h(1). Sort i, 1, 647 in descending order.
647, i, 1
Suppose 7 = 4*k - 181. Suppose -50 = -n - k. Sort n, 49, -1/7.
-1/7, n, 49
Let b = 24.74 - 24. Let g = -0.24 + b. Sort 7/5, g, 4 in descending order.
4, 7/5, g
Let v(h) = -103*h + 4777. Let j be v(47). Sort j, 2, -2, 0.
j, -2, 0, 2
Let s(t) = 18*t + 163. Let m be s(-9). Put 3/2, -1/3, 3, m in increasing order.
-1/3, m, 3/2, 3
Suppose 3*t + 0*t - 1227 = -1221. Suppose -2*w - 2*j + 26 = -3*j, -j + 4 = 0. Put 4, t, w in ascending order.
t, 4, w
Let s = -1.85 - -1.9. Let x = -58.05 + s. Let z = -55 - x. Sort -3, -19, z in descending order.
z, -3, -19
Let u = -5905.2 + 5905. Let s = 9 + -8.9. Put u, -1, s, -4 in increasing order.
-4, -1, u, s
Suppose 477 = 287*n - 128*n. Sort 19, 16, 2, n in decreasing order.
19, 16, n, 2
Let d = 11317 - 11318. Put 5, d, -16 in increasing order.
-16, d, 5
Let u = -9 + 4. Let q(f) = -f**2 - 8*f. Let l(i) = -1. Let a(r) = -3*l(r) + q(r). Let x be a(-8). Put x, u, -27 in ascending order.
-27, u, x
Suppose -259*b + 15 = -262*b, b + 15 = -5*c. Sort 3889, c, -5, 0.2 in ascending order.
-5, c, 0.2, 3889
Suppose 0 = 462*i - 457*i - 25. Let o be i + 0 - -1*63/(-7). Put o, 1, 4 in increasing order.
o, 1, 4
Let m = -592 - -592. Suppose -79*z + 31*z - 96 = m. Put 1, z, -1, -21 in increasing order.
-21, z, -1, 1
Let n = -2.9 + -2.1. Let m = -0.7 - -1.7. Let w be 2 - 1 - (-33)/(-24). Put w, n, m, -1 in descending order.
m, w, -1, n
Suppose -19 = -3*z - 4*x, 33*z - 3*x = 29*z - 8. Let n(u) = -u**3 - 2*u**2 + 3. Let j be n(z). Let y = 7 - 10. Sort 3, j, y in decreasing order.
3, j, y
Let h be ((-33)/(-88)*-284)/(-4 - 3 - -4). Sort h, -2, -0.2, -1, -5.
-5, -2, -1, -0.2, h
Let d(y) = -3*y**2 + 55*y - 7. Let t be d(18). Suppose 4*w + t = -3*f, 2*w + 4 - 1 = f. Put f, 49, 3, -2 in descending order.
49, 3, f, -2
Suppose 5*l = n - 144, 3*n - 5*l - 255 = 177. Suppose f - n = -140. Suppose 4*q + 0*q + 20 = 0. Put q, -2, -2.6, f in descending order.
f, -2, -2.6, q
Let t = -131.082 - -132.2. Let r = -0.118 + t. Put -0.5, r, -3 in ascending order.
-3, -0.5, r
Let y(x) = -x**3 - 25*x**2 + 57*x + 81. Let w be y(-27). Let l be (-29)/(-174) - (w + (-69)/18). Put -3, 3, -12, l in descending order.
l, 3, -3, -12
Let p be -2*(-2 + (-3 - -6)). Suppose -4*c - 5*q - 184 = -177, 0 = -2*c - q + 1. Sort p, -5, c in descending order.
c, p, -5
Let j be (-106)/22 + 8/(-44). Suppose 9 = -x - 4*a, -4*x - 36 = -6*a + 5*a. Let o = 3 + x. Sort 3, j, 4, o in descending order.
4, 3, j, o
Let c be 10 + 4901/(-520) - ((-108)/(-32) - 3). Put 3/7, 3/8, -22, c, 5 in increasing order.
-22, c, 3/8, 3/7, 5
Let g(n) = -n**2 - 10*n - 13. Let z be g(-9). Suppose 93*q - 91*q = 4*t - 10, -q + 3*t = 7. Put 7, z, q in increasing order.
z, q, 7
Let l be (-204)/(-357) + 431/(-7). Let h be l - (-6 + (-8)/(-4)). Sort h, 0, 1 in descending order.
1, 0, h
Suppose 4*v - 17 = t, -31*t - 20 = -27*t. Put 15, v, 5, -1, -5 in ascending order.
-5, -1, v, 5, 15
Let w = -3 + 5. Let n be -1 + (-3 + w - -2). Let q = -10577 + 95194/9. Put q, n, 0.3, 1/4 in decreasing order.
0.3, 1/4, q, n
Let s(g) = 4*g**2 + 5*g - 2. Let d be s(0). Sort d, 2, 1, -38, 2/19.
-38, d, 2/19, 1, 2
Let w(p) = p**3 - 27*p**2 - 791. Let o be w(28). Put -35, o, 1, -3 in descending order.
1, -3, o, -35
Let z = 105729 - 105732. Let p = 4.7 - 5. Put z, 4, p in descending order.
4, p, z
Suppose 3*i = -2*n - 0*n - 82, i - 171 = 5*n. Let u = n - -33. Let x be 10/(60/33 + u/(-11)). Put x, 2, -4 in decreasing order.
x, 2, -4
Suppose 4 - 3 = -r. Let q(b) be the third derivative of -b**4/12 - 2*b**3/3 - 31*b**2. Let x be q(-1). Sort r, 2, x.
x, r, 2
Let f(q) = -4*q - 82. Let w be f(-25). Suppose -6*k = w + 6. Sort -5, 10, k, -1 in ascending order.
-5, k, -1, 10
Let n(t) be the first derivative of -t**5/60 - 41*t**4/24 + 5*t**3/3 - 10. Let a(g) be the third derivative of n(g). Let o be a(-19). Sort o, -6, 0.
-6, o, 0
Let i(g) = 163*g**2 + 1784*g - 11. Let j be i(-11). Sort 11, 0, j in descending order.
j, 11, 0
Suppose -101*v - 83 = -21 + 39. Suppose -4*y + 4 = -0. Sort 0, y, -5, v in descending order.
y, 0, v, -5
Let g be ((-2)/6)/(13/156). Let a be (237/(-18))/((-6)/18). Let d = -39 + a. Sort 0.3, d, g in ascending order.
g, 0.3, d
Let r = -340 + 56. Let b = -281 - r. Suppose -d = 4*d - 5. Put -2/9, b, d in descending order.
b, d, -2/9
Suppose -156*n = -147*n - 54. Suppose 10 = 3*t + i - n*i, -4*t - 4*i + 24 = 0. Sort 0, 4, -7, t in ascending order.
-7, 0, 4, t
Let i be (-12)/((-4)/2) - 0. Suppose -4*h + 2*h = -i. Suppose -4*s - 2*s = 5*s. Put -7, s, h, 1 in descending order.
h, 1, s, -7
Let p = -33/521 - 877/2605. Sort -4, p, 3, 36 in decreasing order.
36, 3, p, -4
Let n(c) = -12*c**2 - 215*c + 14. Let u be n(-18). Sort -39, 7, 2, u, 0.
-39, u, 0, 2, 7
Let l be (-3)/2*(-8)/(-6). Suppose -155*z = 160*z - 291*z - 24. Put z, l, -5 in decreasing order.
z, l, -5
Let c = 1/52 + 11/104. Let v = -3.9 - -4.91. Let s = v + 2.99. Put 23, c, s in descending order.
23, s, c
Let h(l) = -112*l - 2572. Let u be h(-23). Sort u, 1, -4, -1 in descending order.
u, 1, -1, -4
Let l be 5 + -10 - -3 - (-1 + 0). Let b be (l/(-3))/((-10)/(53 - -7)). Sort -69, b, 5 in decreasing order.
5, b, -69
Let r = -65 - -70. Suppose -5*x - 3*t - 2 = 0, r*x - x = -4*t - 8. Suppose x*h + 10 = -l + 6*h, -2*h + 4 = -l. Sort -4, l, -1, -8.
-8, -4, -1, l
Let k = -6869 - -6858. Sort -0.3, 1/13, 1, k, 0.5.
k, -0.3, 1/13, 0.5, 1
Let r = 2.22 - 0.22. Let j = 2.3 + -37.3. Let q = -35.2 - j. Sort r, q, -3 in decreasing order.
r, q, -3
Let a = 43292 + -43287. Sort 88, 2, 6, a in ascending order.
2, a, 6, 88
Let k(l) = -2*l**3 + 40*l**2 - 3*l + 29. Let r be k(20). Let z = 35 + r. Let a(m) = -4*m**2 - 1. Let j be a(-1). Put j, 0, z in ascending order.
j, 0, z
Let s(z) = z**2 - 10*z - 1. Let n be s(10). Let a(r) = r**2 - 16*r + 37. Let o be a(13). Sort n, 1, o in ascending order.
o, n, 1
Suppose -7443*k + 3720*k - 40 = -3713*k. Let t = -4 + 9. Sort t, 15, k.
k, t, 15
Suppose -9*k = -5*k - 4. Let u(w) = w**3 + 19*w**2 + 26. Let d be u(-19). Let b = 29 - d. Sort -2, -4, b, k in decreasing order.
b, k, -2, -4
Let z be (-363)/33 - 145/(-13). Sort 1, 0, z, -7/11.
-7/11, 0, z, 1
Suppose 0 = -c - 3*j - 92, -246 = -j - 253. Put c, -6, -1 in decreasing order.
-1, -6, c
Let z(r) = 3*r - 28. Let w be z(8). Let o be (-5 - w)*0/3. Sort 2, o, -3 in increasing order.
-3, o, 2
Suppose 348*f - 230 = -578. Let g = 2 + -4. Sort f, g, -6, 7.
-6, g, f, 7
Let a be 2/(-8) - 1/(-3). Let t = -5620 - -5620.1. Sort t, -0.3, 25, a.
-0.3, a, t, 25
Let a = 316.901 + -317. Let v = -0.101 + a. Put 1/4, -0.3, 6, v in descending order.
6, 1/4, v, -0.