7.8. Sort f, -0.2, -3 in increasing order.
-3, f, -0.2
Suppose -3*p + 51 + 33 = 0. Suppose 4*c - 31 = 5*q, 0 = -32*c + p*c + 3*q + 25. Put c, 0.91, 1/3 in descending order.
c, 0.91, 1/3
Let f = 42.58 - 42.78. Put f, 0.17, -1/11, 1, -1/3 in descending order.
1, 0.17, -1/11, f, -1/3
Suppose 3*m = -2*x, -4*m = 4*x - 2*m + 8. Let g = 133 + -115. Suppose 7*p - 4*p + 3 = 0, 3*t - 3*p = g. Sort t, -6, 3, x in descending order.
t, 3, x, -6
Suppose -8 = -4*i, 11*i = 5*z + 6*i + 25. Let l be (-2)/3*18/(-2). Suppose -3*x + 2*s - 9 = 0, 2*x - 6*x = 2*s - 2. Sort z, x, l in increasing order.
z, x, l
Let s = -4.0629 + 0.0629. Sort 71, 1, s.
s, 1, 71
Let a be 2/((11 - 4)/14). Sort -7, a, 81.
-7, a, 81
Let s = -3439/161 - -488/23. Sort 1, s, -28 in decreasing order.
1, s, -28
Let w = 422 - 508. Sort w, 2, 5, 3 in descending order.
5, 3, 2, w
Suppose 3*z - 4*u = 21, 17*z - 2*u + 9 = 22*z. Let f be 20 + (-2)/(-1) + 0. Sort z, f, 1.
1, z, f
Let p = -796 + 539. Let d = p - -247. Sort d, -7, -5 in decreasing order.
-5, -7, d
Let u = -23/32 + 15/32. Sort 1.453, -5, u.
-5, u, 1.453
Let i = -4471 + 17545/4. Let z = i + 85. Sort 61, -4, -3, z.
-4, -3, z, 61
Let c = 4147 - 4173. Sort -2/9, 0.1, -2, -8, c in increasing order.
c, -8, -2, -2/9, 0.1
Let y(m) = -m**2 - 8*m - 20. Let u be y(-3). Suppose -3*g + g + 22 = 0. Let z(q) = -q**2 + 10*q - 3. Let k be z(g). Sort k, u, -2 in increasing order.
k, u, -2
Suppose 3*r = -2*r + 5, 0 = -y - r + 1. Let p(l) be the third derivative of l**6/120 + l**5/15 - 5*l**4/12 + 3*l**3/2 + 29*l**2. Let z be p(-6). Sort y, z, -5.
-5, z, y
Suppose -937*z + 912*z = -25. Sort 28, z, -26.
-26, z, 28
Let g(y) = -y**2 - 42*y - 157. Let a be g(-36). Suppose l + a = 4*d + 2*l, d + 5*l = 10. Put d, 1, -4 in decreasing order.
d, 1, -4
Let z = -23914 + 23913. Put 2/7, z, -1/16, 6, 3 in decreasing order.
6, 3, 2/7, -1/16, z
Let t = -8.3 + 8.2. Suppose -r + 5*i + 2 = i, 2*i - 6 = 4*r. Let m = 1717/10 + -172. Sort r, m, t in increasing order.
r, m, t
Let w = -333 - -235. Let t = w + 94. Sort t, 0.3, -0.5 in decreasing order.
0.3, -0.5, t
Suppose 2*z = -3*s + 61, -62*z = -66*z - 7*s + 123. Sort 4, 3, z in ascending order.
3, 4, z
Suppose 14*o + 21 = 35*o. Let z(g) = g**2 - 8*g + 4. Let w be z(9). Let t = 12 + w. Sort 2, o, t.
o, 2, t
Suppose 3*s = 3*h + 24, 4*h + 0*s - 2*s + 28 = 0. Let w be (h*1)/((-10)/55). Sort 1, -5, w, 2.
-5, 1, 2, w
Suppose -2*x - 14 = -k, 106 - 116 = 2*x. Sort 3, -48, -5, -2, k in descending order.
k, 3, -2, -5, -48
Let m = 1.86734 - -0.13266. Let x = 0.06 + 2.94. Sort m, -2/15, 1/27, x in decreasing order.
x, m, 1/27, -2/15
Let c = 0.3 - -0.2. Let q = 345 - 341.972. Let h = -0.028 + q. Put 0.2, c, h in descending order.
h, c, 0.2
Let c = -12.705 + 9.705. Sort 0.1, 3, -1/3, c, 0.05 in decreasing order.
3, 0.1, 0.05, -1/3, c
Let n = 23.32 - 23. Let v = -37.68 - n. Let k = -38 - v. Sort 1/2, k, 4.
k, 1/2, 4
Let l(h) = -123*h + 5. Let y be l(0). Put 0, 4, -62, y, -4 in decreasing order.
y, 4, 0, -4, -62
Suppose -5*w + 33 = 8. Suppose -5*l = j - 59, -13*l + 9*l - j + 47 = 0. Put 0, 4, w, l in ascending order.
0, 4, w, l
Suppose -18 = 4*q - 5*f - 19, 0 = 3*f + 3. Let s be 9/(-15) + (-34)/(-90). Let y = 5/9 + s. Sort q, -3, y.
-3, q, y
Suppose 153*g + 5*x + 48 = 150*g, 0 = 4*x + 36. Suppose 4*k + 3*f + 15 + 1 = 0, 5*f = 0. Sort -29, g, -3, k in decreasing order.
g, -3, k, -29
Let o = 55 + -163/3. Let x = -51.2 + 52. Let n = x - 1.3. Put o, 0.5, 0.6, n in decreasing order.
o, 0.6, 0.5, n
Suppose -i + 0*i + 5 = 0. Suppose 61 = -2*t + i. Let q = t + 35. Sort 4, q, -4 in increasing order.
-4, 4, q
Let v be 2*10/15*(605/44 + -10). Sort -21, v, 3, -2, 1 in decreasing order.
v, 3, 1, -2, -21
Let i(w) = 8*w + 112. Let r be i(-13). Let h(x) = -x**3 + 7*x**2 + 3*x + 36. Let l be h(r). Let b = 7 - 5. Sort l, 1, b, 3 in decreasing order.
3, b, 1, l
Let n be (8/20*(-2)/4)/1. Put n, 0.3, 243 in descending order.
243, 0.3, n
Suppose 0 = -84*r + 127992 - 127656. Let b = 29/45 - 2/45. Sort -5, b, r, -0.03.
-5, -0.03, b, r
Suppose n - 5*n + 8 = 0. Suppose -4*o + n*b + 2 = -0, 2*o = -2*b - 8. Let l be (-9)/(-11) + 2 - 8/(-44). Sort l, 0, -3, o.
-3, o, 0, l
Let h = 18015 + -18009. Sort -4, 4, 5, 1, h in decreasing order.
h, 5, 4, 1, -4
Let d = -431.9 + 432. Sort d, -8, 21.
-8, d, 21
Let y be (-2)/(-2) + (-1 - 0). Suppose 3*s - 2*v - 2*v - 237 = 0, -4*s - v + 335 = 0. Suppose s = 5*x + 63. Put 5, x, 1, y in ascending order.
y, 1, x, 5
Suppose -6*f = -11*f - 0*f + 20. Suppose 0 = -4*y - 92 + 28. Put 1, 0, f, y in ascending order.
y, 0, 1, f
Let k = 22305 + -22320. Suppose 5*p - 4 = 3*p - 4*i, -4*p = 3*i + 2. Sort k, p, -1 in decreasing order.
-1, p, k
Suppose 8*c = 4*c + 12. Suppose -3*g + 85 = -5*u, -3*g = g - c*u - 106. Suppose -5*n + g = 20. Put n, 0.2, 0.1, 7 in descending order.
7, n, 0.2, 0.1
Suppose 0 = -4746*s + 4720*s + 21 + 31. Sort s, 0, -27, -5, 1 in ascending order.
-27, -5, 0, 1, s
Let a = 8.654 + -8.094. Sort 86, a, 1.
a, 1, 86
Let y be -1*4/(-7) - 3235/(-35). Let u = y + -96. Sort 5, u, -39, -5.
-39, -5, u, 5
Let m(y) = -y**3 + 15*y**2 - 28*y + 422. Let p be m(15). Put 0, p, -336 in increasing order.
-336, 0, p
Let l(k) = -k**3 - 52*k**2 + 5886*k - 68. Let z be l(55). Let o = -10.17 - -0.17. Put z, o, 4 in increasing order.
z, o, 4
Let h = 5.086 + -5.486. Let i = 2 - 1. Sort -3, h, -2, i in increasing order.
-3, -2, h, i
Let h(i) = 578*i - 572*i - 6 + 3*i**2 - 4*i**2. Let n be h(4). Sort 5, 1, n in descending order.
5, n, 1
Suppose -5*b + 2*l + 30 = 0, 0 = -2*b + 3*b + 2*l + 6. Suppose 45 = -937*w + 932*w - 2*a, -3*a - 25 = -w. Sort 24, b, w, 0 in increasing order.
w, 0, b, 24
Suppose 247*w = 21*w - 2698 - 1596. Put 7, w, 4 in ascending order.
w, 4, 7
Let c be (2/(-27))/(140/21 - 7). Sort c, 9, 12/13 in descending order.
9, 12/13, c
Let t = -168 - -178.7. Let l = 11.1 - t. Let i = -24/7 - -58/21. Sort i, -5, l, 3 in increasing order.
-5, i, l, 3
Let y be -7 + 136/16 + (-30)/12. Let b = 0.7 - 1. Put -2/3, 0.05, y, b in ascending order.
y, -2/3, b, 0.05
Let j = 0.064 + -32.064. Let w = 35 + j. Let g = 28.5 + -29. Sort -2/3, w, g.
-2/3, g, w
Let x = -1 - -1.2. Let f = 1.8 + x. Let n = 45666.3 + -45666. Sort n, 2/15, f, 0 in increasing order.
0, 2/15, n, f
Let n = -10766.9 - -10767. Put n, 0.3, 5, 198, 1 in descending order.
198, 5, 1, 0.3, n
Let d = 5117 - 5112. Sort d, 0, 9, -4, -3 in decreasing order.
9, d, 0, -3, -4
Let u = -3520 + 3517. Put -0.4, 8, 4, 5, u in decreasing order.
8, 5, 4, -0.4, u
Let r(k) = k - 6. Let t = -77 - -82. Let z be r(t). Let s(o) = 5*o + 5. Let j be s(-2). Put -8, z, j in descending order.
z, j, -8
Let l = -2.6 + 2.432. Let g = l - -0.268. Sort 0.3, g, 1/4, 1/3 in descending order.
1/3, 0.3, 1/4, g
Let i be (1 + 0 - 1)/2. Sort i, -4, -2, 3, 90 in increasing order.
-4, -2, i, 3, 90
Let a = 375 - 309.2. Let s = -66 + a. Sort s, -15, -0.3 in ascending order.
-15, -0.3, s
Let r = -0.21178 - 1848.78822. Sort 5, 3, r, 0 in decreasing order.
5, 3, 0, r
Let k be ((-1)/(-4))/((-1)/4). Let r be k + 3 + (4 - 2). Suppose 1 - 9 = -r*h. Sort h, 7, 1.
1, h, 7
Let d = -0.8514 + -271.1486. Sort 3, d, 0.2, -3 in ascending order.
d, -3, 0.2, 3
Let h be (-3)/33*1 + 1052/198 + -5. Sort h, 2/7, -3.5, -0.01, 0 in descending order.
2/7, h, 0, -0.01, -3.5
Let j be 0 - 64/(-8 + 0). Suppose -2*r = -7*z + 6*z - j, 8 = -2*z. Put -4, 12, r in descending order.
12, r, -4
Suppose 0*x + x - 2 = 0. Let i(t) = -101*t**2 + 505*t - 2. Let v be i(5). Sort v, 84, x.
v, x, 84
Suppose 81 = v - 4*v - 3*o, -2*o - 24 = v. Let d be 1/(-2)*v/(-45). Sort -3, 3/74, d.
-3, d, 3/74
Suppose 0 = -3*q - 2*o, 2*o = -5*q + 10*q. Put q, 24, 2, -3, 5 in decreasing order.
24, 5, 2, q, -3
Let b = -3064/3 - -33710/33. Put b, -0.079, -2/3 in descending order.
b, -0.079, -2/3
Suppose 0 = 2*q + 2*w - 12, 2*q + 392*w - 397*w + 16 = 0. Put -55, 5, 0, 1, q in increasing order.
-55, 0, 1, q, 5
Let x = -1662.7 - -1644.7. Put -0.5, 0.3, -5/2, x in increasing order.
x, -5/2, -0.5, 0.3
Let s = 0.37471 - 0.29471. Sort 250, 0.4, s in decreasing order.
250, 0.4, s
Let s(c) = c**3 + 4*c**2 - 10*c + 15. Let g be s(-6). Let v = -100 + 101.3. Put v, 0.2, g, -5 in decreasing order.
g, v, 0.2, -5
Suppose 169*o - 172*o = -9. Put 2, 7, o, 4 in decreasing order.
7, 4, o, 2
Let j = 627/7 - 1895