. Let q = -7 - 25. Let b = q + 31.5. Put b, -1/3, s in decreasing order.
-1/3, b, s
Suppose -3*o - 24 = 2*g, -g = 5*o - 5*g + 40. Suppose -5*k + 5*u = -620, -u - 337 - 162 = -4*k. Let q = k - 877/7. Put o, q, 3/5 in increasing order.
o, q, 3/5
Suppose u - 1004 = -3*u - 3*r, r - 996 = -4*u. Let p = u + -199. Sort 0, p, 2.
0, 2, p
Let a be 5*1/10*6. Put a, 1, -0.5 in descending order.
a, 1, -0.5
Suppose -6*f + 5 = -7. Suppose -3*s - 9 = 0, -37 = -f*w - 5*s + 2*s. Put w, -2, 4 in descending order.
w, 4, -2
Let w be 8702/(-15) + 6/45. Let p = w + 578. Put 5, 17, p in descending order.
17, 5, p
Let l be 3/21 + (13 + -7 - 453/84). Sort l, 6, 1, -0.08, -2 in descending order.
6, 1, l, -0.08, -2
Let i be (372/(-24))/((-2)/(-4)). Let f be -1 - (i/6 + (-3)/(-18)). Suppose x + f*n = -0*x + 15, 2*x - 18 = -5*n. Sort 4, x, 0 in ascending order.
x, 0, 4
Let d = -4115 - -4120. Sort -2/11, -43, 2, d, -1/4.
-43, -1/4, -2/11, 2, d
Suppose -2*z + 3*t + 138 = 0, -3*t + 134 = 3*z - 58. Let p be ((-6)/z)/(3/(-6)). Let u be 1/(-4)*10/15. Sort p, -6, u, 3 in increasing order.
-6, u, p, 3
Let x = 14536 + -14534. Put 0, x, 62, 3, -11 in decreasing order.
62, 3, x, 0, -11
Let c = 6072 + -6068. Sort c, -2, 11/3, 7 in descending order.
7, c, 11/3, -2
Let g(w) be the third derivative of -w**4/24 - 2*w**3/3 - w**2. Let t be g(-3). Let d = -12602 + 12599. Sort -2, t, 3, d in descending order.
3, t, -2, d
Let i = -15409/19693 + 37/47. Let r = i - -2927/1257. Put 5, 1, r in increasing order.
1, r, 5
Let y(d) = d**3 - 6*d**2 - 1. Let a be y(6). Suppose 52*c + 191 + 121 = 0. Let v be (-3 - c) + a/2*0. Sort -2, -12, v in decreasing order.
v, -2, -12
Suppose -19 = 34*r - 121. Sort 1/12, r, 2, 50.
1/12, 2, r, 50
Let a = 76 + -71. Suppose 3*r + 21 = 5*d, 25 = 5*d + 2*r - 7*r. Suppose -s = -2*k + 1 - d, -4*s = 5*k + 31. Sort 1, a, k in decreasing order.
a, 1, k
Let b = 2/6635 + -298591/53080. Let s = -2922 - -2922. Sort s, b, -5, -2.
b, -5, -2, s
Suppose -3*v + 9 = -5*v + 5*r, 0 = 2*v + 4*r. Let n be ((-105)/(-30))/(v/(-4)). Suppose n*d = 10*d - 12. Put d, 5, -2, -5 in decreasing order.
5, d, -2, -5
Let r be 2816/154 + (-2)/7. Let c be 616/(-63) + (-4)/r. Let b be c*4/(8/(-1)) + 0. Put -4, b, 3, 1 in descending order.
b, 3, 1, -4
Let b(y) = -y**2 + 23*y - 124. Let i be b(10). Suppose 3*u + i = 2*k, -12 = -u - 2*u. Sort -3, 11, k in increasing order.
-3, k, 11
Let f = -63 + 68. Suppose m = -4*z + 8, -7*m + 5*m - 5*z = -7. Sort m, f, 34 in descending order.
34, f, m
Suppose 2*t - 3*h + 15 - 3 = 0, 2*t = -3*h - 24. Suppose 23*c - 6*c - 34 = 0. Let k be (c/(-3))/(2/t). Sort -4, -2/13, 0.5, k in ascending order.
-4, -2/13, 0.5, k
Let l = -291 + 291.19. Put l, -1, -7, -0.1 in ascending order.
-7, -1, -0.1, l
Let b = 12/37248263 - 305063408742/418335241753. Let i = b + 2/1021. Sort -3, i, 2/13 in ascending order.
-3, i, 2/13
Let q = 85 + -87. Let v be (-9 - -11) + (117 - q) + 0. Let a = v + -136. Put 4, 3, a in increasing order.
a, 3, 4
Let j be (-27)/(-45) + (-2)/(30/(-6891)). Let x = j - 457. Put 0, 1, -21, x in decreasing order.
x, 1, 0, -21
Suppose 2*b - 6*b + 12 = 0. Let a be (5 + -9 + 12/b)/2. Sort -5, a, -3 in descending order.
a, -3, -5
Suppose x + 0*v = 2*v + 4, 2*v - 8 = 4*x. Let t = 12501 + -12522. Sort 3, t, x, 5 in ascending order.
t, x, 3, 5
Let q be (70/315)/(2/3) - 40/48. Suppose -2*t + 57 = 3*t - 3*i, i = -4*t + 32. Sort t, q, 0, -4.
-4, q, 0, t
Let b = -5.108 - -0.108. Let v = -24 - -22. Sort b, v, -1 in decreasing order.
-1, v, b
Let n = -165 - -618. Let o = -453.1 + n. Sort -0.4, o, 2 in increasing order.
-0.4, o, 2
Suppose -3*o + 103*p = 104*p + 12, 18 = -o - 5*p. Suppose 10 = -0*i + i. Suppose 0 = -4*y + i + 10. Put o, -5, y, 9 in ascending order.
-5, o, y, 9
Let v = 21302 - 21304. Put 357, 0.3, v, -2/19, 0.01 in decreasing order.
357, 0.3, 0.01, -2/19, v
Let h = 20.9 - 24. Let c = 0.9 - h. Let f be ((-60)/200)/(17 + (-2094)/120). Put c, -2/11, f in decreasing order.
c, f, -2/11
Let s be 1008/672*(-1 - 1). Sort -328, s, -10, -4 in decreasing order.
s, -4, -10, -328
Let h = 7165 + -7168. Put h, -16, -9 in increasing order.
-16, -9, h
Let a be 82 + -90 - (23/(-4) - (-4)/(-16)). Put -2/13, a, -1171 in decreasing order.
-2/13, a, -1171
Let m(u) = -u**2 - 33*u + 595. Let h be m(-46). Suppose 9*q = 5 - 50. Put q, 6, h, -1 in descending order.
6, -1, h, q
Let u be 12200/(-1650) - (-10)/165. Sort u, 5, -6, 2 in ascending order.
u, -6, 2, 5
Let f = 208.25 - 0.25. Let c = f - 206. Let z(b) = b**2 + 2*b - 10. Let p be z(-5). Put -6, p, c in descending order.
p, c, -6
Let i be -4 + ((-85)/(-10) + -4)*2. Suppose -1 + 0 = 3*p + 4*l, i = -3*p - 2*l. Suppose -8 = -3*a + a. Sort 1, p, -5, a in descending order.
a, 1, p, -5
Let o be (-6 - -2)*1/2. Suppose n + 3 = 4*m, 2*m + 37 - 43 = 2*n. Sort 11, m, o.
o, m, 11
Let r = -0.92 - 0.08. Let m(w) = -w**2 + 58*w + 179. Let i be m(61). Put -0.21, i, -2, r in decreasing order.
-0.21, r, -2, i
Suppose 0 = -2*k - 2*a + 660, 990 = 3*k + 10*a - 5*a. Suppose 5*g + 5*g + k = 0. Let s = g + 31. Put -18, 3, s in ascending order.
-18, s, 3
Suppose 0 = 3*s + 5*o + 1, 0*s - 4*s = -3*o - 18. Suppose 2*i - 3*r + 28 = -s*i, 0 = -i + 5*r - 10. Put i, -11, -2, 5 in descending order.
5, -2, i, -11
Suppose -4*u = -l + 14, l + u = 6*u + 19. Let c = 591 - 590. Put c, l, 31 in ascending order.
l, c, 31
Suppose 781*p - 795*p + 27 + 29 = 0. Put -2, -3, -1, p, 11 in decreasing order.
11, p, -1, -2, -3
Let m(y) = 30 - 2*y - 40 - 16. Let a be m(-12). Suppose 18 = 2*p - 8. Sort -1, a, -5, p.
-5, a, -1, p
Let x = 86116 - 86117. Let c = -1/3 + -1/3. Put x, 3, c, -7/2 in descending order.
3, c, x, -7/2
Let p be (-3 + 2)*(-2)/(-5). Let u be (47328/(-2349) - -20)*3/2. Put p, -0.3, u in ascending order.
p, -0.3, u
Let a = -15053 - -15058. Sort 3519, -2, a in descending order.
3519, a, -2
Let w be (1 + 0)*(66/(-11) - -8). Let z be 0 + w - (-17 + 21). Put 1, 3, z, -6 in descending order.
3, 1, z, -6
Let m = -2243 + 2405. Put m, 3, 4, -1 in descending order.
m, 4, 3, -1
Suppose 0 = -20*m - 0 - 0. Suppose 0 = -2*j + 2*t - 7*t + 10, m = -4*j - 4*t + 8. Sort j, -4, 1 in decreasing order.
1, j, -4
Let s be (17280/(-171))/(-15) - 6/57. Put s, 2/5, -1, -5 in increasing order.
-5, -1, 2/5, s
Let t = -601/8 + 75. Let b be (-9 + -63)*1/((-4)/6). Let i = b - 103. Sort i, -7, t in ascending order.
-7, t, i
Let f be 2/84*72/(-90)*(6 - 0). Put -3, f, -0.2, -0.4, 1 in decreasing order.
1, f, -0.2, -0.4, -3
Let l be 6/(-1) + 8 + (263 - 0). Let o be 2 + 4 + l/(-45). Put 3, o, 2.4 in descending order.
3, 2.4, o
Let d = -8 - -13. Let s = 0.2 - 5. Let c = 33.8 + s. Put c, d, -2 in ascending order.
-2, d, c
Let i be (0 - -1)*7 - (5 - 6). Let t be 10/(-4)*i/(-10). Let j = -0.01 - 3.99. Put t, j, -0.4 in ascending order.
j, -0.4, t
Let o(s) = 22*s - 302. Let k be o(14). Suppose 4 = 4*r, 3*r = -3*g + 2*g + k. Sort 2/11, g, -2/9, -4/11 in ascending order.
-4/11, -2/9, 2/11, g
Let j = 0.5 + 3.5. Let p = 1.497 + 17.503. Sort p, j, 3/7, 2 in increasing order.
3/7, 2, j, p
Let i = -538 - -236. Let w = 303 + i. Sort w, -0.5, -0.1, -1/5 in ascending order.
-0.5, -1/5, -0.1, w
Let q = 1.96 - -0.04. Let f = 3 - q. Suppose 0 = j + 12*c - 9*c - 18, -2*c = -3*j - 1. Put f, -1/6, j in ascending order.
-1/6, f, j
Let u = -20 - -14. Let d be ((-1)/3)/(-7 - u). Put -1, 0.4, d, 4 in decreasing order.
4, 0.4, d, -1
Let y = 7175 - 50223/7. Put y, 0.5, -10/11, -2/3, -0.1 in decreasing order.
0.5, y, -0.1, -2/3, -10/11
Suppose -52 + 187 + 147 = -94*g. Put -4, g, 2/7, 1, -32 in descending order.
1, 2/7, g, -4, -32
Let o = 528 + -196. Let m = -335 + o. Sort 5, 4, 3, m.
m, 3, 4, 5
Suppose 5*t - 17 = 8, 4*c + 2*t + 10 = 0. Suppose 19*b - 14*b - 21 = 2*o, 0 = -5*b + 3*o + 19. Sort 0, c, b, -3 in decreasing order.
b, 0, -3, c
Let y = -13012.2 + 13025. Sort 0.5, -5, 45, y in decreasing order.
45, y, 0.5, -5
Suppose 0 = 4*r - 20, 5*r = -2*v + 22 + 9. Let b(i) = i**2 - 3*i - 5. Let d be b(4). Let t be ((-1)/(-1))/(0 + d). Sort v, 2, -34, t in decreasing order.
v, 2, t, -34
Let j be -2 - 63/(-28) - ((-60)/16 + 0). Put 6, -32, j in descending order.
6, j, -32
Let n = -81.3 - -517.3. Let b = -436.2 + n. Let i = -2 - -3. Put i, 5/2, b in descending order.
5/2, i, b
Suppose 4*k - y - 19 = -2*y, -k + 9 = -4*y. Suppose -3*d = d. Let