5. Sort y, 2/7, 1, 1/4 in increasing order.
y, 1/4, 2/7, 1
Let t be 10/(-25) + (-18)/5. Suppose 2*z = -5*l - 3*z + 30, -2*l = -5*z + 9. Sort t, l, -1, -2 in descending order.
l, -1, -2, t
Let h be 1 + -7 + 5 - (-1)/(-1). Suppose 5*a - 20 = -4*s, -3*s + 0*s - 4*a + 15 = 0. Sort -1, s, 4, h in decreasing order.
s, 4, -1, h
Let u = -208.8 - -209. Sort u, 2, 4, 3 in descending order.
4, 3, 2, u
Let z = 157 - 109. Let b = z + -50. Sort 4, b, -2/9, -4 in decreasing order.
4, -2/9, b, -4
Let o = -2020 + 2036. Put o, 1/4, -2, 1/5 in decreasing order.
o, 1/4, 1/5, -2
Suppose 5*b + 110 = 5*x, -5*x - 2*b + 107 = -4*b. Let w = x - 13. Suppose -4*k + w*k = 20. Sort -5, k, -3 in ascending order.
-5, -3, k
Let f be (-2)/8 + 362/40. Let p = -46/5 + f. Let a be -3*(-1)/(-60)*4*-1. Put 6, a, p in increasing order.
p, a, 6
Suppose 0*z - 10 = 2*z. Let n = 12 + -5. Suppose 1604*a - 1608*a = 4. Put a, n, z in descending order.
n, a, z
Let d(u) = -2*u**3 + u**2 + 7*u - 7. Let w be d(2). Let a be (-2)/6 + 3/(-9). Put a, w, 0.4 in descending order.
0.4, a, w
Let j be (-32)/(-156)*(-9)/12. Suppose -10 = 4*k + 6. Let b be (3 + 10/k)*6. Sort b, j, 4 in decreasing order.
4, b, j
Suppose 0 = 16*r - 18*r - l + 12, -l - 9 = -5*r. Let t be 8/(-20) + (-26)/10. Sort t, r, -4, -2 in increasing order.
-4, t, -2, r
Let w = -44 + -52. Let n = w - -670/7. Put n, 1, 0.9 in increasing order.
n, 0.9, 1
Let b be (2 + -1 - 2)*-4. Let d = 0.704 - 0.204. Sort d, -2, b.
-2, d, b
Let w be 3/1 - (-3 - -1). Let z = w - 9. Let p = -146 - -148. Sort 0, z, p in ascending order.
z, 0, p
Let d = -0.041 - -29.041. Let o = 564 + -565. Sort d, o, -5.
-5, o, d
Let o = -0.2 + 0.12. Let b = 0.079 - 0.379. Let g = -4.05 - -0.05. Sort o, b, g in ascending order.
g, b, o
Let u = -3.03 - -0.03. Let g be ((-22)/(-6) - 2)*18/(-135). Put u, -3/5, g in descending order.
g, -3/5, u
Let m be (192/112)/((-4)/70). Sort 0, 5, m in descending order.
5, 0, m
Let d = -693 - -690. Let h = -12.4 + 1.4. Let c = h + 15. Put c, d, 0.3 in descending order.
c, 0.3, d
Let x be ((-2)/(-4))/(1/(-4)). Suppose 12*d - 30 = 2*a, 16 = -5*d + a + 27. Sort d, 1, x.
x, 1, d
Suppose 0 = 2248*c - 2240*c. Sort -16, c, -3, 2.
-16, -3, c, 2
Let y = -79 - -77. Let j be 4/14 - 36/77. Put y, j, 1 in ascending order.
y, j, 1
Let s = -4 - -5. Let y be -2 + (-7)/((-1)/s). Let p = -7 + 5. Sort 2, y, p in decreasing order.
y, 2, p
Suppose 4*q + 2 = 3*l, q - 2*l - 1 = -4*q. Put 0.4, 5, q, 3 in ascending order.
0.4, q, 3, 5
Let m = 85 - 51. Let d = 2.33 + -4.33. Sort d, m, -1/9 in descending order.
m, -1/9, d
Let y = -4 + 7. Let k = -26 + 27. Suppose 4*v - 3*i = 3*v - 19, v - k = -i. Sort y, v, -23.
-23, v, y
Suppose 2 - 5 = l, -3*i + l - 12 = 0. Let h be (-60)/9*(-3)/4. Sort h, i, -6 in decreasing order.
h, i, -6
Let t = 248 + -244. Sort -35, -1/3, t in decreasing order.
t, -1/3, -35
Let b(m) = m**3 + 4*m**2 + 2*m. Suppose 13*l + 6 = 11*l. Let t be b(l). Let c = -8 - -5. Put t, c, 1 in increasing order.
c, 1, t
Let r = -48 + 33. Sort 4, r, 15, -2 in increasing order.
r, -2, 4, 15
Let b = -16 + 13. Let y = -14 - -18. Put b, y, -1, 2 in decreasing order.
y, 2, -1, b
Let v(y) = 3*y**2 + 89*y + 60. Let w be v(-29). Put w, 4, -17, -3 in descending order.
4, w, -3, -17
Let n = -118 + 121. Sort n, 2, -43 in decreasing order.
n, 2, -43
Let f = -0.0702 - -0.0602. Let j be (-15)/72 + (-2)/(-6). Sort j, f, -3, 0.4 in decreasing order.
0.4, j, f, -3
Let o(c) = -2 + 4*c + 17 - 5*c. Let z be o(17). Let v be (12/(-9))/((-8)/18). Put v, 5/2, z in descending order.
v, 5/2, z
Suppose 8 = 4*v - 4*b, -6 + 2 = v - 4*b. Suppose -2*j + 13 = -3*z + 40, 4*z = -3*j + 2. Sort j, 5, v, -3.
j, -3, v, 5
Suppose 10*z = 5*z - 160. Let a = z - -27. Sort -4, a, -1 in increasing order.
a, -4, -1
Suppose 3*c + 2*n - 35 = 0, -3*c - 2*c - 3*n + 58 = 0. Suppose -15 = 6*u - c*u. Put -4, 0.1, 0.2, u in descending order.
u, 0.2, 0.1, -4
Suppose 2*p = -p - 123. Let a = 35 + p. Put a, -1, -2, 0 in decreasing order.
0, -1, -2, a
Suppose -4*r - 54 = -6*r. Suppose -5*b = -3*k + r, 1 = -3*k + k - 3*b. Suppose 3*f - 5*f = -2*v, -k*f = 3*v. Put -2/5, v, -3 in descending order.
v, -2/5, -3
Let w be (-14)/(-8) + (-3)/(-12). Let k = -7 + 6.92. Let v = -0.42 + k. Put w, 2/9, v in descending order.
w, 2/9, v
Suppose 0 = 5*r - 10, 2*k + 15 = 2*r + 13. Put k, 3/37, 2/21 in descending order.
k, 2/21, 3/37
Suppose 5*c + 2*b = -7, -3*c + c - 1 = -b. Let f be -6 + c - (2 + -5). Put 0, 1, f in descending order.
1, 0, f
Suppose 206 = -11*i + 184. Put 0, i, -3, -5 in descending order.
0, i, -3, -5
Let m(j) = -j**2 + 11*j. Suppose -4*o + c + 23 = -o, o + c = 13. Let s be m(o). Let z be (-4)/(-10) + s/5. Put -2, -4, z in decreasing order.
z, -2, -4
Let q = 2432 - 2436. Sort -0.1, -224, q in descending order.
-0.1, q, -224
Suppose -3*m - 8 = -5*k, 0 = -5*m + 29 - 9. Suppose -k*r - 64 = -8*r. Suppose 0 = -2*d - 2*d + r. Sort 0, d, 1 in increasing order.
0, 1, d
Suppose -6*y = -7*y - 3. Let g be ((-4)/y)/(32/12 + -3). Put -5, g, 1 in ascending order.
-5, g, 1
Let u = -230.2 + 230. Let a = 0.15 - 0.2. Let v = a - -0.1. Put -2/11, v, u in decreasing order.
v, -2/11, u
Let g be 4/14 + (-38)/(-14). Let a be ((-12)/(-14))/(9/42). Suppose 0 = 2*k + 4*p + 20, -2*p = a*k - 4*p. Put k, -3, g in ascending order.
-3, k, g
Let w be ((-64)/448)/(-1 - 6/(-7)). Suppose 5 = -3*i - 2*i. Sort 2, i, w in descending order.
2, w, i
Suppose -31*z = -36*z. Let a be (4 - (7 - z) - 1) + 2. Sort a, 3, -5, -44 in descending order.
3, a, -5, -44
Let l(f) = -f**2 - 7*f - 10. Suppose 0 = -3*i + 5*q - 9 - 18, 3 = q. Let h be l(i). Put h, 0, 24, -4 in ascending order.
-4, 0, h, 24
Let s = -158 + 151. Sort -10, -4, s in descending order.
-4, s, -10
Let c = -2 - -4. Suppose c*m - 7 = -q, 4*m + 3*q + 0*q = 15. Put 0, m, -4 in increasing order.
-4, 0, m
Let t = -3.004 + -0.996. Let a = -2 - -1.5. Sort 1, a, t in increasing order.
t, a, 1
Let g(o) = -o**2 - 13*o + 51. Let s be g(3). Sort 0, -16, -4, s in descending order.
s, 0, -4, -16
Let p = -6 + 11. Suppose 3*x + x - 16 = 0, -2*g = p*x - 28. Suppose -g*a + b - 17 = 6*b, a - 3*b = 17. Sort a, 1, 4 in descending order.
4, a, 1
Let w = 3557.047 - 3552. Let k = -0.047 + w. Put -2/39, 0.2, k in increasing order.
-2/39, 0.2, k
Suppose -2*f + 4*q - 40 = 0, 4 = 2*q - 0*q. Let l = f + 26. Sort -3, -1, l in increasing order.
-3, -1, l
Suppose -3*w + 21 = -0*w. Suppose 0 = w*c - 11 + 46. Sort 4, c, -3 in increasing order.
c, -3, 4
Let m = 3.6 + -4. Let f = -49/18 + 2473/882. Let r = f - 97/588. Put -5, m, r in decreasing order.
r, m, -5
Let c be (-9 - -10) + 7 + -13. Sort 3, -22, c, 1 in ascending order.
-22, c, 1, 3
Let h be ((-69)/15 - -4)/((-81)/(-30)). Put -0.2, -1, h, -461 in decreasing order.
-0.2, h, -1, -461
Let f(g) = g**2 + 33*g - 236. Let c be f(6). Let n(b) = -b + 6. Let s be n(-5). Sort s, -3, c, 0 in ascending order.
-3, c, 0, s
Suppose 0 = 26*y + 7*y + 132. Suppose -a - a - 4*t + 8 = 0, -2*t = -5*a - 4. Sort -2, a, y, -3 in decreasing order.
a, -2, -3, y
Let v = 50 - 56. Let t be 1/v*3*6. Put 5, 3, t in decreasing order.
5, 3, t
Let z(j) = 4*j + 171. Let y be z(-43). Let d be (-18)/10 - 1/5. Put 4, d, 5, y in decreasing order.
5, 4, y, d
Let p = -2 - -4. Suppose -3*q = 5*l - 111, l + 3*q = q + 25. Let y = l - 21. Sort p, -4, y in decreasing order.
p, y, -4
Let w be ((-90)/60)/((-12)/128*-4). Sort -7/5, -1, -6, w in descending order.
-1, -7/5, w, -6
Suppose 3*n - 6*n = -9. Let j(k) = -k**2 + 2*k - 2. Let b be j(n). Let o = -127 - -127.2. Sort o, 2, b in decreasing order.
2, o, b
Let i be -2 + -2 + 5/(-5). Let u = i - -16/3. Let m = 29 - 21. Sort u, 1/2, m in increasing order.
u, 1/2, m
Let i = 397 + -401. Put -2, -3, i, 12 in decreasing order.
12, -2, -3, i
Let y(u) = -13*u**2 + 9*u - 51. Let x(n) = -7*n**2 + 4*n - 26. Let d(c) = -11*x(c) + 6*y(c). Let b be d(7). Sort 4, b, -1 in increasing order.
-1, b, 4
Suppose 7*n - 12*n + 25 = 0. Suppose 0 = -3*k + b - 14, -2*b + 18 = -0*k - 4*k. Let t be 3*1 - (7 - 6). Sort t, k, n in decreasing order.
n, t, k
Let l = 627 - 624. Let o(s) = -s**2 - 2*s - 3. Let i be o(-4). Sort -1, l, -3, i.
i, -3, -1, l
Let p = -16121453 + 64550298551/4004. Let b = -1/364 + p. Put 4, -1, b, 0.4 in descending order.
4, 0.4, b, -1
Let l = 199.5 + -199. Put -0.1, 14, -2/19, 