. Let i = 159 + -170. Put -3, c, i, k in descending order.
c, k, -3, i
Suppose -5*q - 19 = 4*m, m = -3*q + 923 - 933. Sort 1, -1066, q in decreasing order.
1, q, -1066
Let j be ((-56)/(-6))/((-2)/(-12)). Suppose -4*o = -12, 5*k + j - 6 = 5*o. Let t = 43362 - 303531/7. Sort k, 0, t.
k, 0, t
Let j(i) = -5*i**3 - 348*i**2 + 144*i + 278. Let u be j(-70). Let w = -5149/2871 - -5/319. Sort 3/2, u, w in descending order.
3/2, w, u
Let o be 1 + (-18 - 40/(-5)). Let c(j) = 41*j + 374. Let m be c(o). Sort 2, 29, m, 1 in decreasing order.
29, m, 2, 1
Suppose 231 + 62 = 54*f + 23. Sort 3, -3, -5, f, -9 in increasing order.
-9, -5, -3, 3, f
Suppose 0*f - 110 = 5*f. Let x = 24 + f. Let j(t) = -t**3 - 5*t**2 + 7*t - 2. Let m be j(-6). Sort m, x, 1 in descending order.
x, 1, m
Let a be (930/75 - 12)*-2*20/(-16). Sort -13, 2, -3, -11, a in decreasing order.
2, a, -3, -11, -13
Let f = 8.121 - 8.221. Sort f, -1/108, 2, -4/3, -1/4.
-4/3, -1/4, f, -1/108, 2
Suppose -186*t + 364 = -238*t. Put 1, t, 4, 7 in descending order.
7, 4, 1, t
Suppose -3*c - 4235 = -4388. Put -4, 4, c, 3 in decreasing order.
c, 4, 3, -4
Let s(d) = d**3 + 28*d**2 - 5*d - 136. Let y be (15 - 40) + (4 - 7). Let g be s(y). Sort 0, -5, g in increasing order.
-5, 0, g
Let b = 6422 - 6431. Sort b, 10, -4, -3/2.
b, -4, -3/2, 10
Let u = -4130 - -4128. Let b be ((-1)/(-2))/((-15)/4). Sort 12, u, 1/7, b in ascending order.
u, b, 1/7, 12
Suppose 24*u - 12*u - 61 = -13. Let i = -6 + 9. Put i, u, 7, 1 in decreasing order.
7, u, i, 1
Let n be (6/((-12)/2))/((-2)/16). Let l be n*(1 + (-9)/12). Suppose l*t = 1 - 7. Sort t, 3, -1 in increasing order.
t, -1, 3
Let k(r) = 423*r - 3806. Let f be k(9). Sort 9, -4, f in increasing order.
-4, f, 9
Let p = 0.7939 - -1.2061. Sort 5, -2, -0.4, p in descending order.
5, p, -0.4, -2
Suppose 3*x - 8*x = 80. Let o(n) = -n**2 + 60*n + 129. Let m be o(62). Sort m, -1, x.
x, -1, m
Let r(p) = -3*p**2 - 21*p - 32. Let i be r(-3). Let j = 4 - 2. Suppose -j*d = 2*o - 3 - 5, 0 = 3*o + d - 6. Sort o, i, 3 in descending order.
i, 3, o
Suppose -33 = 4*j + 2*h + 9, -4*j + 2*h = 46. Put 1, 5, j, 3 in decreasing order.
5, 3, 1, j
Let b(y) = 51*y - 399. Let n be b(8). Put 4, n, 14, -4 in decreasing order.
14, n, 4, -4
Let n = 10.905 - 11.005. Put -57, 7, 0.1, n in decreasing order.
7, 0.1, n, -57
Suppose 0 = -5*b - 0*b + 10, 0 = -3*k - 2*b + 97. Let q = k - 55. Let v be q/16 + 23/18. Sort 0.1, -1, -4/7, v.
-1, -4/7, v, 0.1
Let l = -57 + 111. Let n = l - 51. Sort -3/2, -2/13, n, -4.
-4, -3/2, -2/13, n
Suppose -153 = -7*m + 478 - 92. Let h = -39 + 115. Let u = h - m. Put -5, u, 2, 3 in descending order.
3, 2, u, -5
Let t(s) = -7*s - 9. Suppose -5*v + 3*b - 12 - 33 = 0, 25 = 5*b. Let f(y) = 3*y + 21. Let p be f(v). Let d be t(p). Put -3, 4, d in decreasing order.
4, -3, d
Suppose -3*v + 5*a = -v + 17, 4*v + 3*a - 5 = 0. Let z = -637 - -642. Let t = 15649/7 + -2235. Put t, z, v, 0.2 in descending order.
z, t, 0.2, v
Let a = -142/3 - -47. Let z = -14/295 + 32/177. Let w = -2 - 1. Sort -4, a, z, w.
-4, w, a, z
Suppose 0*h = -2*h - 2. Suppose 2*i + 4*z + 106 = 0, -4*z + 224 = -0*i - 4*i. Let q = i + 53. Sort h, q, 5 in increasing order.
q, h, 5
Suppose -4*g = 4*w - 28, 2*g + 6*w - 2*w - 24 = 0. Suppose -5*j - g*s = -5, 0*s + 2*s = -2*j - 4. Suppose -j*f + 30 = 3*f. Sort -3, f, 19 in decreasing order.
19, f, -3
Let c be 1*1/(-2)*16. Let n = -21.07 - -22.4. Let h = -5.33 + n. Sort h, c, -3, 2/9 in decreasing order.
2/9, -3, h, c
Let r = -60/47 - -394/235. Put 3/2, -2/23, 14, r in descending order.
14, 3/2, r, -2/23
Let i = -54 + 4. Let b be i*(1 + 9/(-6)). Suppose 2*u = 7*u + b. Put 2, 1, u, 14 in descending order.
14, 2, 1, u
Let m = -55.26 + 56.76. Sort -0.9, 0, 5, m, -1/7 in decreasing order.
5, m, 0, -1/7, -0.9
Let i = -263 + -12. Let g = 273 + i. Sort g, -4, -0.03, 2/13 in decreasing order.
2/13, -0.03, g, -4
Suppose 4*x - 2*y = 10, 3*y - 26 - 4 = -3*x. Suppose 2*l = l - 3*w + x, 0 = -3*l + 3*w + 3. Sort -3, l, 9 in descending order.
9, l, -3
Suppose 49 - 14 = -s + 5*a, 12 = 2*a. Sort 1/7, s, 5, -23, -1/45.
-23, s, -1/45, 1/7, 5
Let z be -2 - (0 - (2 + 1)). Suppose 3*y - 5*u + 81 = y, -y = 2*u + 45. Let w = 45 + y. Sort z, w, -1, -5 in decreasing order.
w, z, -1, -5
Suppose -3123*t + 3096*t - 54 = 0. Suppose 5*d = -4*i + 38, 3*d = -2*i + 19 + 5. Let y = 9 - d. Sort -3, y, t, 3 in decreasing order.
3, y, t, -3
Let n be -1 - (-14)/8 - 1053/108. Let p be n/54*33 + 1/(-2). Put -2, p, 1 in increasing order.
p, -2, 1
Let k = 31 - 30.82. Let f = k - -0.12. Let c = -782 - -786. Sort f, c, 1, -4.
-4, f, 1, c
Suppose t - 27 = 7. Suppose -10*b - 26 = t. Let o be -10 - (-4)/(-8)*b. Sort o, 0, -4 in increasing order.
o, -4, 0
Let w = 70.275 + -69. Let u = w - 0.075. Sort -2, u, 1/4 in increasing order.
-2, 1/4, u
Let r = 80362.7 - 80374. Let s = -4 + 3.9. Sort r, -5, s in descending order.
s, -5, r
Let j = 77657/15 - 5177. Let n = -21 + 17. Sort n, 4, j, 0.
n, 0, j, 4
Suppose -5*u - 36 - 19 = -5*d, -39 = -4*d + 3*u. Let h(y) = 35*y - 206. Let x be h(d). Sort -5, -193, x in ascending order.
-193, -5, x
Let v = -181664 - -181662. Let a be 2 + ((-10)/2 - 1). Sort v, -3, a, 5 in descending order.
5, v, -3, a
Let w be (-3)/(3/(-1))*-6 - 525/(-75). Put 5, -6, w, -4 in descending order.
5, w, -4, -6
Suppose -1 = -z - 4. Let p = 4595 + -4590. Let r be 15 - (-3 + (3 - 0)). Sort r, -4, z, p.
-4, z, p, r
Let n(s) be the second derivative of 4*s**3/3 - 65*s**2/2 + 53*s. Let l be n(8). Put -8, l, -2 in descending order.
l, -2, -8
Suppose 5*i = -3*m + 10, 0 = 5*m - 483*i + 484*i - 24. Suppose 2*j + 72 = -4*b, -j = 2*j + 2*b + 128. Sort -5, m, j, 2.
j, -5, 2, m
Let r(w) = w**3 + 3*w**2 - 8*w - 31. Let q be r(-3). Put q, -371, 0.1 in decreasing order.
0.1, q, -371
Suppose -4*b + 10*b - 2 = m, 0 = -2*b - 3*m - 6. Let c be 8/12*(-6)/1. Sort b, -23, c, -5 in increasing order.
-23, -5, c, b
Let j be 29 + -22 - 1*-8. Suppose -23*u + 3*w = -19*u + 9, -5*u - 5*w + j = 0. Sort -63, 1, u in descending order.
1, u, -63
Suppose -o + 5*x - 25 = 0, -80*x - 35 = 3*o - 85*x. Put o, 5, 1, 3, -12 in decreasing order.
5, 3, 1, o, -12
Let n = 0 - -7. Suppose -3*p + g = 1, 3*p + 2 = 4*g + n. Suppose 0 = -37*b - b. Put p, b, -4 in increasing order.
-4, p, b
Let l = 30 + -30.3. Suppose 19*q = -18*q + 10*q. Sort l, q, 2/5 in descending order.
2/5, q, l
Let a = 485 - 718. Let y = a + 236. Sort -2, 2, y, 1 in decreasing order.
y, 2, 1, -2
Let z be (-1 - 95/10)*20/30. Sort -3, -4, z, 4 in increasing order.
z, -4, -3, 4
Let u = -138.3 - -78. Let r = u + 63. Let j = r - 4.7. Sort 2/7, j, -1 in decreasing order.
2/7, -1, j
Let w = 3796 + -3794. Sort w, -0.122, 2/5, -2 in decreasing order.
w, 2/5, -0.122, -2
Let d = -0.604 - 0.396. Let z = -91/4 + 265/12. Put d, 2, z, 5 in increasing order.
d, z, 2, 5
Let t = -0.245 + -0.745. Let f = -0.6 - t. Let s = 2.39 - f. Sort s, -1, -2/5 in increasing order.
-1, -2/5, s
Let t = 3.1465 - 0.1465. Let k = 0.69 - 4.69. Put 1/2, -2/5, t, k in increasing order.
k, -2/5, 1/2, t
Let z be 132/(-42) + 3/21. Let h = -18 - -22. Sort 56, z, h.
z, h, 56
Let a = 1 + -2. Let c(p) be the first derivative of -p**3/3 - 13*p**2/2 + 52*p + 7. Let g be c(-16). Sort -6, a, g.
-6, a, g
Let p be 21/(-49) + 9/((-189)/(-30)). Let t = 92 + -87. Sort t, -17, p, -1 in decreasing order.
t, p, -1, -17
Suppose -u + 1 = -2*s, 4*u + 9 + 5 = -s. Let b(z) = -z. Let x be b(u). Suppose 5 - 30 = 4*v + m, -x*m = 15. Sort v, -3, -15 in decreasing order.
-3, v, -15
Let w = 8865 - 8867. Let z(b) = -2*b - 1. Let x be z(3). Sort x, w, 2.
x, w, 2
Let w(i) = -i**3 - 11*i**2 + 12*i - 3. Let y be w(-12). Let n = -13813.6 - -13815. Sort n, -0.2, y in descending order.
n, -0.2, y
Let l = -38505 + 578179/15. Let x = 11299 + -56697/5. Let j = x + l. Sort -2, 2, j in descending order.
2, j, -2
Let l = 26113/5 - 679613/130. Sort l, 5, 4 in increasing order.
l, 4, 5
Suppose -25*x + 770 = 20. Let l be ((-7)/(21/(-2)))/(4/x). Let y = 2 - 1. Put y, -4, 2, l in ascending order.
-4, y, 2, l
Let b = 508 - 213. Suppose 5*f + 125 + b = 0. Let o be 162/f - (-3)/((-6)/(-4)). Sort 5, o, -3 in increasing order.
-3, o, 5
Let o(z) = -20*z**2 + 8*z + 4. Let w be o(-5). Let p = -541 - w. Sort -2, p, 78, -1 in decreasing order.
78, -1, -2, p
Suppose -3*t + 29*t - 156 = 0. So