16))/((-3)/993). Put 1, b, 4 in descending order.
4, 1, b
Let b = 2370 - 2327.9. Put 1, -2/11, -0.5, b in increasing order.
-0.5, -2/11, 1, b
Let i be (-1691484)/930 + -6*(-3)/10. Sort -1, i, 0.
i, -1, 0
Let i be 4*(170/20 - 9)*(-4)/(-14). Put 0, 2/7, i, -9, 2 in increasing order.
-9, i, 0, 2/7, 2
Let i = -1553 + 1550. Sort i, 4, -16, 8 in ascending order.
-16, i, 4, 8
Suppose -159*s = -613 + 4588. Sort 7, s, -2.
s, -2, 7
Let c = -1.103 + 0.732. Let x = c - -0.42. Let m be (-6 + (-28)/(-5))*110/(-88). Sort m, -0.5, x, -1 in descending order.
m, x, -0.5, -1
Let q = -52.65 + 0.55. Let g = 1480 - 1532. Let z = q - g. Sort 4, 1, z, -0.5.
-0.5, z, 1, 4
Let x(l) = -l**3 - l**2 - l - 4. Let u be x(0). Let p = -2 - u. Let f(n) = -2*n**2 + 52*n - 303. Let m be f(17). Sort p, -2, m, 4.
-2, p, m, 4
Suppose -3*m + 313 = 301. Let u be m/(-6)*(-45)/10. Suppose -l - 3*l - 16 = 0. Put l, 0, -16, u in decreasing order.
u, 0, l, -16
Let n = -2818 - -2818. Sort -3, -5, n, 19, 5 in descending order.
19, 5, n, -3, -5
Let f be 524/1788 - (9/54*14)/7. Put 1/8, -0.5, f in increasing order.
-0.5, f, 1/8
Let y = -10422 - -10422.42. Put 0, -0.4, 3, y, 5 in descending order.
5, 3, y, 0, -0.4
Let b = -3019672/19832211 + 15/44971. Let a = b - -2/49. Suppose -165*i - 30 - 833 + 203 = 0. Sort a, -1/3, -2, i in ascending order.
i, -2, -1/3, a
Suppose -2*z - 8 = -4*z. Let h(a) be the second derivative of a**4/6 - a**3/3 + 3*a**2/2 + 2*a + 36. Let s be h(1). Put z, s, 5 in descending order.
5, z, s
Let a be ((-9184)/(-385))/(-32) + ((-22)/(-10) - 2). Put -12, 16, -2, a in increasing order.
-12, -2, a, 16
Let y be (4/(-6))/(28/6). Let a = -50 + 54. Let t = -529/12 - -136/3. Sort y, a, t.
y, t, a
Suppose 0 = 77*p + 52*p - 48*p - 2754. Sort p, -5, -3 in decreasing order.
p, -3, -5
Let t(b) = b**2 - 5*b + 6. Let d be t(10). Let y = -58 + d. Suppose -16 = 5*f + 19. Put f, y, 4 in increasing order.
f, y, 4
Let i = -16 + 17. Let c be 665/(-95) - (-12)/2. Put -5, i, 3, c in descending order.
3, i, c, -5
Let b(k) = -3*k + 4. Suppose 4*d = 3*r + 3, 3*d - d - r - 1 = 0. Let i be b(d). Suppose 5 = -z + 2*z, 19 = -c + i*z. Put -10, c, -1 in decreasing order.
c, -1, -10
Let b = 1019 - 1515. Let v = -495 - b. Sort -3/8, v, -8, -4 in ascending order.
-8, -4, -3/8, v
Let i be 39 + -53 + (3 - -10). Put i, -9, 3, 0, -10 in ascending order.
-10, -9, i, 0, 3
Suppose -2*x + 5*z = 2*z - 11, 3*x + z + 11 = 0. Let i = -4.1 - -4. Let q(c) = -3*c + 34. Let n be q(13). Put i, -3/7, x, n in decreasing order.
i, -3/7, x, n
Let l = -11 + 28. Let n = -17.3 + l. Let m be (354/(-60) + 6)*(1 + 1). Sort m, 2, -0.1, n.
n, -0.1, m, 2
Let c be ((-4)/(-9))/(32/(-144)). Put c, -632, 2 in descending order.
2, c, -632
Let r = -1 - 0. Let v = -0.8 - r. Let m = 224 - 223. Put m, v, -0.1, 0.3 in descending order.
m, 0.3, v, -0.1
Suppose -3*s + 5*v = 1056, s + v + 193 + 135 = 0. Sort 2, s, 5 in decreasing order.
5, 2, s
Let y be (6/(-24))/((-60)/48). Sort 3/4, 1713, y in increasing order.
y, 3/4, 1713
Let j = 5.835 - 5.435. Let o be ((-2)/6)/(5/3). Put 3, o, j, -2 in ascending order.
-2, o, j, 3
Let c = -0.2 - -5.2. Let a = -156 - -67. Let p = a - -88.8. Put c, 1/2, p in descending order.
c, 1/2, p
Suppose -4*o - 7*d = -6*d - 2, 2*o = -d + 2. Sort -1/6, -7, o, -3 in descending order.
o, -1/6, -3, -7
Let c = 290/69 + -296/69. Sort -5, 5, -1/3, c, -12 in descending order.
5, c, -1/3, -5, -12
Suppose 5*n = -12*b + 11*b + 17, -b + 4*n - 10 = 0. Suppose -2*w = w - 3. Sort 3, w, -18, b in ascending order.
-18, w, b, 3
Suppose -5*d + 55 - 7 = s, 4*s - 3*d + 15 = 0. Let k = 5 + -1. Sort s, k, 0.2, 6 in ascending order.
0.2, s, k, 6
Let z(g) = g**3 + 13*g**2 + 11*g - 80. Let f be z(-11). Put 5, f, -3, 0 in decreasing order.
f, 5, 0, -3
Let s = 332 - 339. Let v be (((-28)/(-6))/s)/((-3)/9). Sort v, -6, -5, 3 in ascending order.
-6, -5, v, 3
Let q(v) = -v**3 - 8*v**2 + 3*v + 81. Let y be q(-4). Sort y, -2, 20/11, -4 in decreasing order.
y, 20/11, -2, -4
Let l(b) = b**2 + 4*b. Let f be l(-4). Suppose f*s + 5*s - 510 = 0. Let c be 3/15 - (-2 + s/10). Sort 4, c, 5 in descending order.
5, 4, c
Let b(u) = u**3 - u**2 - 17*u - 12. Suppose -5*i = 3*i - 40. Let n be b(i). Sort -25, -4, n.
-25, -4, n
Let a(f) = f**3 - f**2 + 2*f - 2. Let n be a(1). Put 6, 77, -3, n, -2 in decreasing order.
77, 6, n, -2, -3
Let x = -7 - -12. Suppose 0 = 4*d + 3*s + 28, -4*d - 2*s = 26 - 2. Let v = -95640 - -95637. Sort x, 3, d, v in decreasing order.
x, 3, v, d
Let h be (54/48 - 1)/(-1). Suppose 0 = -f + 5 - 2. Sort 1, f, h, -4 in descending order.
f, 1, h, -4
Let u(q) = q - 1. Let n be u(0). Let a be (-21)/(-35) - 81*16/10. Let x = a - -134. Put x, n, 1, -3 in ascending order.
-3, n, 1, x
Let w(i) = -3*i**2 - 5*i - 6. Let k be w(11). Let o be k/(-88) + 0 + (-2)/(-11). Suppose n + o = -2*n - 5*u, 5*u = 4*n + 30. Put -3, 2, n in ascending order.
n, -3, 2
Let f be 2/18*6/(-4). Let s be 1171/(-5) - (9 + (-88)/10). Let m = 234 + s. Sort m, f, -0.5 in ascending order.
-0.5, m, f
Suppose -p - 4*p = -70. Suppose 1 = 3*x - p, -4*x = 5*k - 40. Let t = 31924 - 31922. Put -2, 5, t, k in increasing order.
-2, t, k, 5
Suppose w - 63 = -5*w - 69. Put w, 54, 2/3 in descending order.
54, 2/3, w
Let o be (16 - (-632)/(-40))*20/14. Sort 1, -7/15, 0.4, o, 5.
-7/15, o, 0.4, 1, 5
Let b be ((-50)/(-6) + -8)/(10/60). Sort -6, 6, 101, b in ascending order.
-6, b, 6, 101
Let i = 19.62 + -0.46. Let g = 1.84 + i. Let f be (0 - -2)*4/(-6). Sort g, f, 0.4.
f, 0.4, g
Let d = 2018 + -2023. Suppose -a + f = -2, -4*a - 2*f + 13 + 1 = 0. Sort 9, a, d in descending order.
9, a, d
Let j = -6.3 - -6. Let a = 0.8 + j. Suppose -2*s - 454 = 3*r - 443, -3*s = -3*r - 6. Sort s, -5, a, 5 in ascending order.
-5, s, a, 5
Let c = -0.29 + -0.01. Let z = 3.38891 + 0.61109. Put z, 3, c in decreasing order.
z, 3, c
Let m be ((-17)/(-7) + 96/(-224))*-2. Put m, -67, 4 in increasing order.
-67, m, 4
Let u(j) = 121*j + 1094. Let q be u(-9). Put -164, -4, q, 4 in descending order.
q, 4, -4, -164
Let g = -91 - -98. Let c be (0 + g - 9)*(-2)/20. Put -0.5, 0.09, -4, c in descending order.
c, 0.09, -0.5, -4
Let o = -5392 - -5397. Sort -3, o, -7, -2, -1 in decreasing order.
o, -1, -2, -3, -7
Let n = 0.04 + -0.74. Let b = -4.7 - n. Let x be 1*12/(-75)*10/(-4). Sort b, -0.2, x in increasing order.
b, -0.2, x
Let f = -6227 + 6232. Sort -3/8, 9, 18/5, f in increasing order.
-3/8, 18/5, f, 9
Let m = -28.675 - -0.675. Let g = 2.027 - 0.027. Put g, 5, m, -0.5 in increasing order.
m, -0.5, g, 5
Let g = -0.34 + 0.14. Let a = -14 - -5.5. Let n = 7 + a. Sort n, g, -3 in descending order.
g, n, -3
Suppose 7*d = 3*f + 10*d + 27, 0 = d + 5. Let l(a) = -a**2 + 22*a + 93. Let y be l(f). Put -13, -5, y in descending order.
-5, y, -13
Suppose -3*n - 4*a = 20 + 111, -n - 4*a = 41. Sort 4, -2, -3, n.
n, -3, -2, 4
Suppose -8*m = -20*m - 1380. Let l = m + 99. Sort 3, 4, l.
l, 3, 4
Let b = -4.8 - -0.8. Let f = 9735/14 + -491/2. Let j = -450 + f. Sort b, 9, j.
b, j, 9
Suppose -148*m - 4 + 80 = -167*m. Let r = 13 - 9. Suppose -2*c = 4 + 2. Sort m, c, r in increasing order.
m, c, r
Let f = 57.5 - 58. Let s be ((-1)/2)/((-146)/(-584)). Sort f, s, 18, -4.
-4, s, f, 18
Suppose -79*s - 34*s = 363 + 1219. Let o(t) = -t + 4. Let k be o(2). Sort 5, s, k in descending order.
5, k, s
Suppose 5*o = 2*h - 22, 0 = 54*h - 50*h + 3*o - 18. Sort -69, 0, -1, h.
-69, -1, 0, h
Suppose -a = 2*y - 511, 3*y + 10*a - 12*a = 777. Let x = y - 254. Suppose 0 = -3*i + v + 14, 2*v - 1 = v. Sort i, -3, x, 4 in descending order.
i, 4, x, -3
Let g = -157/1580 - -138/395. Put 5, -2, g, 227, -0.4 in decreasing order.
227, 5, g, -0.4, -2
Let o = 94/13 + -1572/221. Let u = 88 - 88. Suppose u = -6*b + 2*b - 12. Sort o, b, 1/3 in descending order.
1/3, o, b
Let i = 140.9 + 33. Let t = 174 - i. Let h = -0.1 + 0.3. Sort t, -0.3, h in descending order.
h, t, -0.3
Let b(u) = u**3 - 5*u**2 + 106*u - 404. Let h be b(4). Put 0, h, -4, 55 in increasing order.
-4, 0, h, 55
Suppose 8*p - 22 = -6. Suppose -5*n + p*g = 275, -g = n - 4*n - 164. Sort -3, 2, n in ascending order.
n, -3, 2
Suppose 4*h = -3*p - 36, -17 = 3*p + 2*h + 13. Sort 4, 1, -3, p, -2.
p, -3, -2, 1, 4
Suppose 5*u = 3*g - 2 - 2, 3*g = -3*u + 12. Let k be -3 + 0 - (u - 6). Let n be (-7 + (-35)/(-14))*2. Sort n, 4, k.
n, k