. Let z(g) = -7*g + 1. Let w be z(1). Let h = 601 - 596. Sort h, s, w in descending order.
h, s, w
Let w = -150.1 - -149.6. Suppose -5*m + 2 + 11 = -i, 0 = 3*i - 3*m + 15. Put w, -1, i, -2 in descending order.
w, -1, -2, i
Let z = 426 + -851/2. Suppose -4*y - 4*d = 0, -2*y + 16 = -0*d - 2*d. Sort z, 2/3, y in descending order.
y, 2/3, z
Let z be 39/(-63) - 6/(-21). Let v = 63 + -62.88. Put v, 1/7, z in ascending order.
z, v, 1/7
Suppose -7*b = -16*b. Sort 13, b, 3 in increasing order.
b, 3, 13
Let p(m) = m**2 - 49*m + 485. Let j be p(35). Suppose -3*z = -4*w + 15, z = w + 4*w - 5. Sort 2, w, j in ascending order.
j, w, 2
Suppose 3*b + 6 = -3*o, -2*o + 4*o + 4 = 3*b. Suppose g = -4*a + 21, 2*a + a - 5*g - 10 = b. Let m = -10 - -12. Sort a, -7, m in increasing order.
-7, m, a
Let t(f) = 1 + f - 4*f - 6. Let x be t(-2). Let k be -2*((-2)/4 - -1). Put x, 5, k in descending order.
5, x, k
Let l = -69.7 + 73. Let p = l - 2.3. Put 0.5, p, -3/5 in descending order.
p, 0.5, -3/5
Suppose -9 = -39*r + 38*r. Suppose -w - 2*j + j - r = 0, -16 = 4*j. Suppose c + t + 4 = 3*t, c - 3*t = -4. Put c, w, 3 in increasing order.
w, c, 3
Let o = 15 - 11. Suppose o*x + 9 = -0*c + 3*c, 4*x - 12 = -4*c. Let j = -1 + x. Put -2, j, 3/8 in ascending order.
-2, j, 3/8
Suppose -j + 0*k = 2*k - 48, 5*k = j - 83. Let z = j - 409/7. Sort 1, z, -2/11, 0.3 in ascending order.
z, -2/11, 0.3, 1
Let j = -46 - -38. Let v be (-3)/(-1)*(-9 - j). Let s(b) = -b + 5. Let z be s(3). Sort -4, v, z in ascending order.
-4, v, z
Suppose -6*v + 1286 - 1292 = 0. Put v, 5, -2, -4 in decreasing order.
5, v, -2, -4
Let l = -228 - -225.81. Let b = 0.19 + l. Sort 0.5, 2, b.
b, 0.5, 2
Suppose 3*o = o - 3*i + 5, 4*i = 5*o - 24. Suppose 0 = -2*r - f - 11, 2*r + 2*f + 1 = 3*f. Put o, 0, r, -1 in descending order.
o, 0, -1, r
Suppose 0 = -5*c - 7*i + 2*i + 25, 5*i = 3*c - 15. Suppose 0 = 5*k + 2*j - 1, 4*k + 4*j = -k + 7. Sort k, c, -10.
-10, k, c
Let k = 4.39 + -4.59. Sort 0.03, -1/4, k, -8 in increasing order.
-8, -1/4, k, 0.03
Suppose 5*i = 3*f - 100, -2*i = 5*f - 72 - 105. Let j = f + -33. Sort j, 5, 4 in decreasing order.
5, 4, j
Let c be (-1)/1 - 220/(-55). Suppose -5*a + 29 = 4. Suppose 0*q + a*q = 0. Sort c, q, 1 in descending order.
c, 1, q
Let l be (-1477)/422 - (1 + (-18)/(-4)). Sort -0.3, 6, l in descending order.
6, -0.3, l
Let j be (-4 + 8)/(4/6). Put j, -7, 2 in descending order.
j, 2, -7
Let z = 0.2 + -0.5. Let n = -300 + 294. Put n, 4, z in ascending order.
n, z, 4
Let l = -0.0288 - 8.9712. Suppose 8 = 5*w - 17. Sort 0, l, w in increasing order.
l, 0, w
Let k be 4 - (-3 + (7 - 3)). Suppose 3*q - 9 + 0 = 0, 4*m - 28 = -4*q. Sort -1, k, -5, m in decreasing order.
m, k, -1, -5
Let i = 7 - 10. Let j = 0.012 - 0.012. Let h = j - i. Sort 4, 1, h in decreasing order.
4, h, 1
Suppose 136*s - 117 = -661. Suppose 9*h - 25 = 4*h. Put -2, s, h in ascending order.
s, -2, h
Suppose -24 = -7*b - 5*b. Suppose -15 = b*o - 5*n, -2*n + 30 - 3 = -5*o. Put -3, o, -1 in ascending order.
o, -3, -1
Suppose 20 = -22*d + 17*d. Let p be d/(-10) - (-126)/(-15). Let b = -9 - p. Put 10, b, -2 in ascending order.
-2, b, 10
Let b(k) = -6*k**3 - 240*k**2 + 248*k + 78. Let f be b(-41). Suppose -15 = 3*j + 2*j. Put -2, 0, f, j in decreasing order.
0, -2, j, f
Suppose 10 = -5*h - 0, 2*n = 5*h + 10. Suppose -5*s + b - 3*b = 0, s - 3*b = n. Put 1.9, s, -5 in ascending order.
-5, s, 1.9
Suppose -9*s + 85 = -68. Suppose -7*o + 2*o + 2*f = -s, 2*o = 3*f + 9. Put -5, -8, 2, o in increasing order.
-8, -5, 2, o
Suppose l = 2*l + 3*o - 9, -19 = -4*l + 5*o. Suppose 2*w + 4 = -l. Let j = -5 - w. Put j, -2, -3 in decreasing order.
j, -2, -3
Suppose 2*n = -3*u + 30, -2*n = -u - 4*n + 6. Suppose 0 = -2*m + 6*m + u. Put -1, m, 3 in decreasing order.
3, -1, m
Let p = -34.23 - -2.23. Let l = -78 + 113. Let f = p + l. Sort -0.3, f, -2/3 in ascending order.
-2/3, -0.3, f
Suppose 2*n - 23 = -17. Suppose 3*q + 8 = q. Put q, -3, n in ascending order.
q, -3, n
Let c = -1.92 + 6.92. Let o = 0.2 - -0.1. Let s = -0.1 - o. Sort 8, s, c in increasing order.
s, c, 8
Let h = 1388 + -2773/2. Put h, -1.4, -1/3, -3/7 in increasing order.
-1.4, -3/7, -1/3, h
Let k = -7 + 3. Let l be (4 + (31 + -19)*6/(-16))*6. Sort k, -2, 0, l.
k, l, -2, 0
Let q = 10 + 44. Let s be ((-1)/8)/((-9)/q). Let l = 0.24 + -0.74. Put l, s, 5 in increasing order.
l, s, 5
Let h = 185 - 188. Let d = 14 + -11. Put d, 0, h, 5 in descending order.
5, d, 0, h
Let u be (-8)/20 + 264/(-40). Put u, 0, -5 in ascending order.
u, -5, 0
Let q = -0.53 - -0.03. Let t be (-71)/(-6) - (-5)/10. Let f = 12 - t. Put q, 0.2, f in decreasing order.
0.2, f, q
Suppose 5*l - 5*a = 15, 3*l - 5 - 3 = 4*a. Put 0, l, -3, 3 in decreasing order.
l, 3, 0, -3
Let z = -225 + 214. Sort z, 5, 1/4 in decreasing order.
5, 1/4, z
Suppose 11 + 55 = 6*w. Let o be 2/w - (-18)/(-99). Put -4, -5, o, -2 in ascending order.
-5, -4, -2, o
Let o be 1 + 2/(-2 + 0). Let t(m) = m. Let p be t(2). Suppose o = -s - 4*i - 23, -20 = p*i + 2*i. Sort 2, s, 3 in decreasing order.
3, 2, s
Suppose g = -r - 27540 + 86734, r + 177570 = 3*g. Let d be 4 + (g/1872)/(-11). Let v = 3/208 - d. Sort v, 0.5, -2/11 in descending order.
0.5, -2/11, v
Let z = -106 - -103. Sort 5, -2/9, z, 2 in ascending order.
z, -2/9, 2, 5
Suppose 10*y = 13*y + 12. Suppose 5*c - 3*t + 9 = 2*c, 4*c + 3*t + 26 = 0. Let s = c - -9. Put y, 1/3, s in ascending order.
y, 1/3, s
Suppose -2*u + 6 = -u. Suppose -3*f + u*f = 3. Sort f, 0, 14.
0, f, 14
Let h be (-525)/28 - 2/8. Let q = h - -24. Suppose -5*s - 3*f = -3*s + 1, -5*f - 5 = q*s. Sort s, -0.2, -4.
-4, s, -0.2
Suppose 0 = y - 6*y + 30. Suppose 1 = 3*x - 2*o - 2*o, y = -5*x - o. Suppose 0 = 3*d - 0*d - 15. Sort d, 8, x.
x, d, 8
Suppose 3*a + 5 = 20. Let u = a - 9. Suppose -2*i - m - 9 = 0, -3*i - i + 3*m = 3. Sort i, u, -1 in increasing order.
u, i, -1
Let s = -343 - -339. Sort 0, -112, s.
-112, s, 0
Let w = -7.06 - -0.46. Let u = w - -33.6. Let b = -27.4 + u. Sort 1, b, -2.
-2, b, 1
Let n be (-6)/33 - (-48)/22. Suppose -n*z - 10 = -0*z. Put 5, z, 2 in increasing order.
z, 2, 5
Let u = -75.8 + 76. Suppose 6 = -3*n + 21. Sort n, u, 2 in ascending order.
u, 2, n
Suppose n + 8 = 2*n. Let r be n/(-44) - 24/(-11). Suppose 12 - 6 = -r*z. Sort -4, -2, z in ascending order.
-4, z, -2
Let z be (-4)/6*912/(-19). Let w = 27 - z. Sort w, 3, -30 in ascending order.
-30, w, 3
Let n be (-2)/(-35)*(-4 - 1). Let r be 2/24*28/7. Put n, 1/5, r, -0.5 in decreasing order.
r, 1/5, n, -0.5
Let d(j) = -j**3 - 12*j**2 - 2*j - 20. Let f be d(-12). Let z be (4 - 3)/(-1 - 0). Sort 1, z, 5, f.
z, 1, f, 5
Suppose 2*k - 2*r - 16 = 0, 0 = 7*k - 11*k - 3*r + 4. Let w be (2 - 292/44) + k + 1. Let n = 43/4 + -11. Put w, 0.3, n in descending order.
w, 0.3, n
Let w = -3.03 + -0.37. Let x = w + 3.8. Put -5, x, -2/3 in descending order.
x, -2/3, -5
Suppose 3*g - 6 = -0*g. Let q be (0*(-1)/g)/(-1). Suppose q = -3*j - 14 + 2. Sort -3, 2, j in increasing order.
j, -3, 2
Let r = -1131 + 1136. Sort r, -5, 45, -1.
-5, -1, r, 45
Let p be 2 + 8/(-12)*-18. Suppose -15*z = -p*z - 2. Suppose -c + 12 = 3*c. Put z, c, -1 in increasing order.
-1, z, c
Let d = 24 - 6. Let c be (-57)/21 - (-3 - (-208)/91). Put 4, d, 1, c in ascending order.
c, 1, 4, d
Let t = 12 + -7. Let k be -2 - (-4)/3*6. Suppose -k*p - p = 14. Put -7, p, t in increasing order.
-7, p, t
Suppose -2*i = 2*i - 348. Let z = i - 607/7. Suppose 0 = u - 3*o - 19, -3*u + 3*o + 0*o = -27. Put 0.3, u, z in ascending order.
z, 0.3, u
Let o = 214.8 + -216.8. Put -1, 9, o, 8 in increasing order.
o, -1, 8, 9
Let w = -236 - -246. Suppose w*u - 143 = -43. Let f(r) = r**2 + 4*r - 4. Let g be f(-4). Sort 5, u, g in decreasing order.
u, 5, g
Let p = -0.41 + -0.03. Let x = p + 0.04. Let m(t) = t**3 - t**2 - 4*t - 2. Let o be m(3). Sort o, x, -2 in ascending order.
-2, x, o
Suppose 3*i = -5*p + 30 - 6, 5*i = 2*p + 9. Let r = 1 + -2. Sort p, -0.1, r, 2/3.
r, -0.1, 2/3, p
Let v be 3/(-12)*6 + 155/2. Let j = v - 75. Let m = 16 + -11. Put j, m, 0 in ascending order.
0, j, m
Let j(b) = -52*b + 109. Let l be j(2). Put l, 15, -1, 1 in ascending order.
-1, 1, l, 15
Let f = -33.3 - -33.1. Put -0.1, -1/6, f, 5 in increasing order.
f, -1/6, -0.1, 5
Let t(b) = 2*b**2 + 2*b - 147. Let a be t(8). Let v(j) = -3*j - 1. Let w(r) = r - 6. 