5*f + 471*b - 469*b - 21 = 0. Put -696, f, -5, 0, 5 in increasing order.
-696, -5, f, 0, 5
Let f be (-6 + (-66)/(-12))*8. Let h = -264 - -262. Sort -3, h, -1, f in ascending order.
f, -3, h, -1
Let f = -83 + 87. Suppose 0 = -f*j - 4 + 16. Suppose j*q + 3*l = 5*l - 11, 2*q + 4*l = 14. Sort 4, q, 0, -4.
-4, q, 0, 4
Suppose 13*t = -11*t + 14784. Let s = 615 - t. Sort 1, 0, -2, s in descending order.
1, 0, s, -2
Let h = -1.514 - -0.354. Let f = h + 1.26. Put f, 0.5, 3, -0.4 in descending order.
3, 0.5, f, -0.4
Let w = -16224.5 + 16224. Sort 1, -0.4, -15, 15, w in descending order.
15, 1, -0.4, w, -15
Let r be (-4)/(8/5 - 2). Let d be (-6)/r - (-79)/115. Put -5, -1/8, d, 0.1 in decreasing order.
0.1, d, -1/8, -5
Let z = -31.886 - -31.886. Put 2, z, 3, -2/7, 16/11 in descending order.
3, 2, 16/11, z, -2/7
Suppose 10*o + 25*o = 17710. Let d = -511 + o. Put d, -1, 4 in decreasing order.
4, -1, d
Let l be 3 - (-5 + 78 + -2). Let p = -69 - l. Let w be 5 + -1 + -7 + p*9. Sort 4, 0, w in decreasing order.
4, 0, w
Let r(v) = v**2 + 10*v + 13. Let o be r(-9). Sort -12, -8, -5, 5, o.
-12, -8, -5, o, 5
Suppose -58 + 175 = -3*j + f, 2*j + f = -78. Let q(r) = -r**3 + 4*r**2 - 3*r + 3. Let h be q(3). Suppose -h*b = -4 - 8. Sort 3, b, j in increasing order.
j, 3, b
Let z = 5.587 + -5.6. Let l = z - -0.28. Let k = -0.033 - l. Sort k, 0.5, 4.
k, 0.5, 4
Suppose -g + 6*v = v + 4, 4*v - 1 = 3*g. Let y = 58540 - 58538. Put 8, y, g, -5 in descending order.
8, y, g, -5
Let o be 2/8 + (-1427)/12*-3. Let v = 356 - o. Put -2, v, 0, 4 in descending order.
4, 0, v, -2
Let f be 2/(-2)*-2 + 0. Suppose -39*l - 13959 = -14154. Put 11, f, l, -1 in decreasing order.
11, l, f, -1
Let w = -27/2 - -55/4. Suppose 18*s = 12*s - 12. Let a = 1154 + -1159. Put w, 2/9, s, a in decreasing order.
w, 2/9, s, a
Let a be (4/8*-2*10)/(-2). Suppose -b + a*b = -44. Let v = -70 + 72. Sort v, -1, 4, b.
b, -1, v, 4
Suppose 2*x - 1 + 9 = 0. Let f = 10/217 + -212/3255. Let a = f - 101/210. Sort x, 0.1, 2, a in descending order.
2, 0.1, a, x
Let s(m) = 19*m**2 - 3*m**2 - 24*m + 20*m**2 - m**3 - 48 - 9*m**2. Let a be s(26). Let l = 0.58 + -1.08. Put -2/13, a, l in descending order.
a, -2/13, l
Suppose 0 = 2*g - 6*g + 128. Suppose -v + 31 = 3*m, 5*m + 2*v - g = 2*m. Let u = 1017 - 1022. Put -4, 1, u, m in decreasing order.
m, 1, -4, u
Suppose 4*p - z - 10 = 0, -4*p + 11*z = 15*z. Put -4, p, 4, 10 in descending order.
10, 4, p, -4
Suppose -61*q - 385 = 16*q. Let s = -6 - -13. Let x = -61.5 - -62. Sort x, q, s in increasing order.
q, x, s
Suppose 9*b = -6*b + 3915. Suppose -28*c = c - b. Put c, 3, -6 in decreasing order.
c, 3, -6
Let r = -60 - -62. Suppose 1 = 2*l - 3*q, -r*l + 8*q - 3*q = -11. Suppose 172 = -44*d + d. Put l, d, 2 in descending order.
2, d, l
Let b = 291.301 + -291. Let i = -0.201 + b. Sort 2, -3, i, 18 in decreasing order.
18, 2, i, -3
Suppose -5*o - 31 = -4*t, -2*t - 17 = -5*o - 40. Put 16, -7, o, 5 in descending order.
16, 5, o, -7
Let w = 207 + -297. Let p = 90 + w. Put -3, 1, -8, p in ascending order.
-8, -3, p, 1
Let q be 67915/204 + (-6)/8. Let k = -331 + q. Let g = 7528/7 - 1075. Put g, k, -4 in decreasing order.
k, g, -4
Suppose 2*m = 4*z - 52, 2*m + 18 = 3*z - 19. Suppose -z = -5*y + 10. Sort 47, -4, y, 4 in ascending order.
-4, 4, y, 47
Suppose -596 - 535 = 29*a. Sort 3, a, -5, -4 in increasing order.
a, -5, -4, 3
Let n = 179.6 + -8.6. Let j = n + -167. Sort -151, -1/2, 5/4, j in descending order.
j, 5/4, -1/2, -151
Let v = -117 - -126.8. Let o = -10 + v. Let l = -136 + 140. Put 0.2, l, 11, o in descending order.
11, l, 0.2, o
Let t be 19 + 0 + (-6 - (4 - 10)). Suppose 5*v + 29 = t. Suppose 40 = 5*s - c, 5*s - 5*c = -c + 25. Put -1, v, s in decreasing order.
s, -1, v
Let i = -11477 - -11465. Sort -2, -3, -2/5, i in ascending order.
i, -3, -2, -2/5
Let i be 1*(-6 - (3/(-12))/(2/46)). Put i, 1, 3.8, 2/9 in decreasing order.
3.8, 1, 2/9, i
Suppose -5*g + 4*z + 49 - 17 = 0, 27 = 3*g - 5*z. Put g, -4, 12 in increasing order.
-4, g, 12
Suppose 5 = -3*u + 2*u. Let y be (2 + -4)*6/(-4). Suppose 5*v + 3 + 4 = 2*j, y*v - 3 = 0. Sort j, u, -3 in increasing order.
u, -3, j
Suppose -3 - 3 = -2*w. Suppose 2*m + 118*r + 28 = 120*r, 5*m + r = -22. Sort w, m, 0.
m, 0, w
Let d = 11271 + -11270.5. Put -0.06, 1/21, d, -3/7, 2/3 in descending order.
2/3, d, 1/21, -0.06, -3/7
Let t(j) = 22*j - 90. Let w be t(4). Sort -16, w, 0, 16 in decreasing order.
16, 0, w, -16
Let r = -1217.5 + 1217. Sort 0.047, r, 1 in descending order.
1, 0.047, r
Let z = 9327.5 - 9327. Sort -6, z, 495 in decreasing order.
495, z, -6
Let w = -1/61 + 63/122. Sort -3, w, 0.3, -1, 17/6.
-3, -1, 0.3, w, 17/6
Let d be (380/48)/((-26)/8). Let f = 231/13 - 241/13. Let y = d - f. Sort 5, y, -3, -2 in ascending order.
-3, -2, y, 5
Suppose -378 = -511*r + 502*r. Let k = -9 - -4. Sort k, 4, r in ascending order.
k, 4, r
Let l = 1.68 + -26.68. Sort l, -31, -0.4.
-31, l, -0.4
Let y(z) = -24*z + 125. Let v be y(5). Let x = -2 + 1. Sort 3, v, -3, x.
-3, x, 3, v
Let t = 143 + -126. Suppose 0 = -9*c - 8 + t. Sort -3, 12, c.
-3, c, 12
Let n = 839 + -599. Let u be (-1)/(n/(-272) - (-2)/(-17)). Sort -14, -1, 5, u.
-14, -1, u, 5
Let g = 3414 - 3410. Sort g, 0.5, 1/187, 5/4, -0.2 in decreasing order.
g, 5/4, 0.5, 1/187, -0.2
Let d = -7555 + 7560. Let c be (-1 + 0)*(3 - 2). Let p = -6 - -10. Sort p, c, d.
c, p, d
Suppose -12*o - 2824 + 2824 = 0. Sort 4, 266, -5, o.
-5, o, 4, 266
Let r = 17 + -17.08. Let o = -0.08 - r. Let g be (0 - (-2)/(-23))*(63 - 64). Sort o, -0.5, g in descending order.
g, o, -0.5
Suppose 2*y - 2 = -2*r - y, -5*r = -3*y - 5. Let i be (2 - -2)*((-70)/8)/7. Sort 4, r, 0, i.
i, 0, r, 4
Let o = -252 - -256. Let a = 101 - 106. Sort 23, a, o, -3 in decreasing order.
23, o, -3, a
Suppose -i + 346 = -3*m, -5*m + 10*i = 15*i + 590. Let u be 145/m + (-4)/((-16)/5). Let b = 1.2 - 0.2. Put 2/9, u, b, -0.2 in decreasing order.
b, 2/9, u, -0.2
Let t be 608/(-380) - ((-1)/10)/(2/(-48)). Let y be (-9)/(-15) - (-4)/10. Let w be 6*y*6/9. Put t, w, -1, 6 in descending order.
6, w, -1, t
Suppose 0 = 52*u - 51*u. Suppose u = -4*d + d + d. Suppose -6 = 2*b - d. Put b, 5, 7, -4 in ascending order.
-4, b, 5, 7
Suppose -i - 2*h + 7 = 0, 28*h = 2*i + 24*h - 14. Put 3, i, 5, -15, -3 in descending order.
i, 5, 3, -3, -15
Let u be 2/3*((-315)/(-10))/(-7). Let t(b) = 6*b**2 - 4*b - 3. Let p(k) = 11*k**2 - 8*k - 6. Let c(d) = u*p(d) + 7*t(d). Let m be c(-1). Sort 1, 0, m.
0, 1, m
Let p = -570 + 572. Sort -5, -2, p, -1 in decreasing order.
p, -1, -2, -5
Let u = -4.328 - -0.328. Let w(v) = -30*v - 88. Let d be w(-3). Put -3, 1, u, d in ascending order.
u, -3, 1, d
Suppose 14 = -3*a - o, -16*a - 4*o = -18*a. Let k = -25.2 + 26.2. Sort k, 2/31, a.
a, 2/31, k
Let a = 173.11 + 559.89. Sort 3/4, -5, a.
-5, 3/4, a
Suppose 6 + 7 = 3*x - 2*g, -5*g = -4*x + 15. Let v = 169 + -169. Suppose 3*l - 9 = 18. Sort -5, x, v, l in descending order.
l, x, v, -5
Let s be ((-2)/6)/(55/15). Let d = 271 - 266. Sort s, -3, -5, d in decreasing order.
d, s, -3, -5
Suppose -5*o + h - 13 - 7 = 0, o + 3*h - 12 = 0. Let c = o - -27. Suppose 3*v + 3*v + c = 0. Sort 3/7, -0.06, v.
v, -0.06, 3/7
Let d be ((-32)/3280)/(-1*(-1)/15). Let t = d + -64/123. Sort t, -3, -7 in decreasing order.
t, -3, -7
Suppose -5*l - 2*n - 23 = 0, 3*l + 1 = -0*l + 2*n. Let v be (-460 + 458)*(1 - -1). Sort 4, l, -16, v in increasing order.
-16, v, l, 4
Let f = 128778/137 + -940. Let x = -147/685 - f. Put x, -1/3, -1.9, 1/3 in descending order.
1/3, x, -1/3, -1.9
Suppose -206*w = -104*w - 154*w - 260. Let p(b) = b - 9. Let z be p(8). Put z, w, 3, -2 in increasing order.
w, -2, z, 3
Let h be (6568/(-32) - 6) + 2/8. Let l(u) = u**3 - 9*u**2 - 35*u - 15. Let t be l(12). Put -5, h, t in increasing order.
h, -5, t
Let s be ((-92)/(-2484))/(2/(-150)) + 3/1. Suppose 92 = 3*o - 5*o. Let t = 183/4 + o. Put t, 1, s in increasing order.
t, s, 1
Let j = -2967 - -2963. Let f = -9 + 7. Sort f, j, -6, -3 in descending order.
f, -3, j, -6
Let r = -25134 + 151139/6. Let w = 56 - r. Let c(h) = 6*h**3 - h**2 - 7*h + 4. Let v be c(1). Sort -2/3, v, w, 3 in decreasing order.
3, v, w, -2/3
Let p = 250.94 - 255.94. Suppose 3*v - 3 = 2*v. Let b be (1 - 2)/1 + v. Sort -3, b, 1, p in descending order.
b, 1, -3, p
Let d = -43 + 10. Let z = d