 12.6. Sort k, -2/15, n in ascending order.
k, -2/15, n
Let t be (-12)/(-14)*(-5)/(-10). Let a(c) = -c**2 - 9*c - 15. Let o be a(-7). Put 11, o, t in decreasing order.
11, t, o
Suppose -286*x = -57*x + 5240 + 1630. Put x, -15, -1 in increasing order.
x, -15, -1
Let z = 50.95 + -50.9. Let b = -0.07 + -0.03. Let l = 7 - 7.2. Sort b, z, l, -5/4 in ascending order.
-5/4, l, b, z
Let o be (10792/48)/(-19)*-6. Put -5, o, 3 in descending order.
o, 3, -5
Let b(g) = g**3 + 3*g**2 + 2*g + 7. Let q be b(-4). Let v = q + 56. Suppose -v + 13 = 13*p. Sort -4, 5, 4, p in descending order.
5, 4, p, -4
Let h = 75 + -74.8. Let i = -1083 + 1153. Put h, i, 5, 1/4 in ascending order.
h, 1/4, 5, i
Let p = 9001 + -9005. Sort 6, p, 37, 5 in ascending order.
p, 5, 6, 37
Let r be (-3295)/(-49275) + 4/10. Let p = r - 33/73. Put -1/4, 0, p in decreasing order.
p, 0, -1/4
Let k = 672.7 - 629. Let q = k - 44. Let r = -1 + 5. Sort q, r, -4.
-4, q, r
Let i be 3 + 4/4 + 8. Let c be 30/(-75) - (-13)/(-5). Let k be ((-2)/3)/(c/(-18)). Sort 2, i, k.
k, 2, i
Let s(o) = 581*o + 2900. Let x be s(-5). Suppose -5*a + 9 = -11. Suppose a*y + 4*j = 3*j - 27, 3*y - 2*j = -23. Sort 3, y, x, 0.
y, x, 0, 3
Let z = -374.98 + 378. Let i = z - 0.02. Let w be (-12)/(-33) - (-15)/((-9240)/(-304)). Sort 2/5, i, w.
2/5, w, i
Let i(b) = 2*b + 38. Let a be i(-12). Let d = 1 + -3. Let h be 8/8*(-1 - -1). Sort d, h, a.
d, h, a
Let l = 35313/2 + -70629/4. Let u = -0.8 + 0.7. Sort l, 0.5, u, -0.3.
l, -0.3, u, 0.5
Let z(p) = -p**3 - 19*p**2 + 68*p + 40. Let a be (-7 - -8)/((-2)/44). Let s be z(a). Suppose 7 = -4*g + l, -5*l - 12 - 22 = 3*g. Sort g, s, 1.
s, g, 1
Suppose -3*u - 2*u = -20. Let d = u - 2. Let p = 2152 - 2154. Put p, d, -1/8 in ascending order.
p, -1/8, d
Let w = -0.081 - 18.019. Let q = w - -18.6. Sort 0.4, q, -0.5 in ascending order.
-0.5, 0.4, q
Suppose -1530 = -88*i + 73*i. Let c = -107 + i. Let g = 8 - 5. Sort c, g, 0.1 in ascending order.
c, 0.1, g
Let x = 314.39 + 3.61. Let t = x - 313. Put t, -2/11, -0.7 in descending order.
t, -2/11, -0.7
Let t be (-3)/(87/(-48) + 2). Suppose 911*q - 1140*q - 537 = 150. Sort t, 0, q in descending order.
0, q, t
Let s be 2 + -3 + 2/1. Let m = s + 2. Suppose -13 - 8 - 21 = -42*y. Sort 5, m, -4, y in decreasing order.
5, m, y, -4
Let y = -15315 + 15329. Sort 2, -0.5, y, -5, 4 in ascending order.
-5, -0.5, 2, 4, y
Let i(y) = -131*y - 759. Let p be i(-6). Put p, 0, 39 in descending order.
39, p, 0
Let r be (3/6)/(2/(-84)). Let d be -7 - 1 - -5 - (-1 + -40). Suppose -d*y - 1 = -39*y. Sort y, 0, r.
r, 0, y
Let k(m) = -70*m + 282. Let a be k(4). Sort -35, -5, a, -4 in descending order.
a, -4, -5, -35
Let t = -7.09 + 2.09. Sort 0, 4, -2/11, t, 0.6 in descending order.
4, 0.6, 0, -2/11, t
Suppose 5*m + 4*m = 0. Suppose -3 = 4*t - 4*i + 5, -5*t + 4*i - 10 = m. Sort -20, t, 4, 5.
-20, t, 4, 5
Suppose -7*x = 22*x - 171 + 26. Put 1, 3, 0, x, 48 in increasing order.
0, 1, 3, x, 48
Let i = 6 + -1. Let j(k) = 9*k - 112. Let a(t) = -16. Let b(l) = -4*a(l) + j(l). Let c be b(i). Sort c, 1, 5, -4 in ascending order.
-4, c, 1, 5
Suppose q - 4*h + 56 - 45 = 0, 4*q - 28 = -2*h. Put 27, 0, q, 4 in descending order.
27, q, 4, 0
Let q = -7 - -10. Let p be (-27 + 43 - 16)/(-17). Suppose 2*v - 2*x + 23 = 3*x, 0 = 3*x - 9. Put p, q, v in decreasing order.
q, p, v
Let w(d) = -d**3 + 2*d**2 - 74*d + 143. Let f be w(2). Let g(x) = 4*x - 5. Let c be g(5). Put c, f, -2 in decreasing order.
c, -2, f
Let d = -104 + 105. Suppose -2*v = -l + d, 3*l + 1 = -5*v - 7. Put 31, 4, l in increasing order.
l, 4, 31
Suppose -155907*f + 155910*f + 3 = 0. Sort -539, 5, -4, f in descending order.
5, f, -4, -539
Let g = 10.185 + -1.185. Put -0.3, g, -16/25 in descending order.
g, -0.3, -16/25
Let j = -0.2 + -0.2. Let s be -36 - (-54 - (-4089)/232). Sort j, -1, s, 29 in increasing order.
-1, j, s, 29
Let v = -4725 - -4722. Put 0.5, -2, 0, v, -7 in ascending order.
-7, v, -2, 0, 0.5
Let j(f) = f**3 + 5*f**2 + 1. Let g be j(-5). Let w = -88 + 132.6. Let t = w + -44.4. Put -1, g, -1/12, t in descending order.
g, t, -1/12, -1
Let n = -6.9 + 0.9. Let b be (-510)/14*(-84)/(-24) - 4. Let f = b - -132. Put 3/4, n, -1, f in ascending order.
n, -1, f, 3/4
Let x = 48.7 - 53. Let j = x + 4.7. Let n be 1 - (68/(-24) - -4). Put -4, n, j in ascending order.
-4, n, j
Let y = -26 - -30. Suppose y*r - 19 = -4*q + 5*q, 3*r = 3*q + 12. Suppose -r*v - 25 = 5*w + 10, 2*w = 2*v - 6. Put -6, 4, v in descending order.
4, v, -6
Let y = 20 + -101/5. Suppose 0 = 11*u - 13*u - 4*z, -3 = 3*z. Put u, -0.5, y, 47 in decreasing order.
47, u, y, -0.5
Let y = -1.50895 + 0.00895. Put -3/4, 0.9, -5, y, 0 in ascending order.
-5, y, -3/4, 0, 0.9
Let z = 6438 - 6447. Sort z, -4, 1/8, -4/7, -0.12 in decreasing order.
1/8, -0.12, -4/7, -4, z
Suppose -5 = 7*p - 2*p - 2*v, 3 = -3*p + 4*v. Put 2/219, p, 0.7 in decreasing order.
0.7, 2/219, p
Let y be 17/(170/80) + -9. Let j(d) = -2*d + 1. Let h be j(0). Sort h, 26, y.
y, h, 26
Let k = 424.8 - 425.5. Put 1/6, -2, k in decreasing order.
1/6, k, -2
Suppose g + 1784 = -4*f, 2*g = 7*f - 525 + 3662. Sort -5, f, 3 in descending order.
3, -5, f
Suppose -1445 - 4227 + 1136 = -72*a. Put a, -4, -10, 0 in decreasing order.
a, 0, -4, -10
Let r = -1443/11 + 131. Let p = -20 + 22. Let c = -0.5619 + 0.0619. Sort -2, c, p, r.
-2, c, r, p
Let w = -178.909 - -179. Let l = w - -1.989. Let s = l - -0.92. Sort -1/2, 0.4, 2, s in ascending order.
-1/2, 0.4, 2, s
Let g = -8.4 + 1.4. Let v = -255 - -265. Let m = v + g. Sort 1/7, m, 3/4 in descending order.
m, 3/4, 1/7
Let p be 2233/4268 + 18/(-24)*1. Sort 2, -0.3, p in descending order.
2, p, -0.3
Let p = -4.55 - -1.87. Let z = p + 3.68. Put z, 3/4, -4, -0.21 in ascending order.
-4, -0.21, 3/4, z
Let l(g) = g**3 - 22*g**2. Let b be l(22). Suppose 5*m = b, -3*c = -47*m + 42*m + 6. Put -101, 5, c, -1 in decreasing order.
5, -1, c, -101
Suppose 12 + 4 = 4*y, 3*y = 4*p - 4. Let t = 95 + -90. Let k be ((-10)/(-4))/(8/4). Put k, t, p in descending order.
t, p, k
Let k be (-10)/5 + 0 + 15. Suppose -k = 6*y - 49. Suppose -m = -4*j + j + 11, 3*j = -5*m - 1. Put j, -3, y in decreasing order.
y, j, -3
Let r = 0.0402 - 0.1502. Let m = -28 + 24. Sort -2, m, r in increasing order.
m, -2, r
Let g = -13237 - -13233. Put -135, g, -22 in increasing order.
-135, -22, g
Suppose -3*k + 87 = 6*s, -6*k - 6 = 3*s - 10*k. Let a(l) = l**3 - 6*l**2 + 2*l - 8. Let y be a(6). Sort -2, y, 0, s.
-2, 0, y, s
Let a = 214 - 1495/7. Suppose k - 2 - 7 = 2*t, -4*k - 5*t = 16. Let d be ((-4)/(-8))/(k/(-2)). Put -0.3, a, 3, d in ascending order.
d, -0.3, a, 3
Let o = -3484.87 - -3485. Let s = 1.023 + -0.023. Sort o, s, 2/25.
2/25, o, s
Suppose 5*u + v - 177 = 2*v, 3*u + 3*v = 99. Suppose 5*b = 2*q + 3*q + u, q = -3*b + 1. Sort q, -7, -1, 2.
-7, q, -1, 2
Let x be ((-144)/14)/(-2 + (-186)/(-84)). Let u be x/64*-16*35/4. Sort u, -0.2, -2/3 in decreasing order.
u, -0.2, -2/3
Let p be 0 - (-1)/(1/2). Suppose -3 = p*u - 1. Let x be 31 + (52 + -61)*4. Put x, 4, u, 0 in ascending order.
x, u, 0, 4
Let h = 26136 - 26116. Sort -0.0102, 0.2, h in descending order.
h, 0.2, -0.0102
Let b be 8 + (42/18 - 11). Let x = 12.85 - 13. Let v = -0.15 + x. Put -0.02, -1/5, b, v in increasing order.
b, v, -1/5, -0.02
Let i = 8853 - 8856. Put 6, 67, i, -2 in ascending order.
i, -2, 6, 67
Let o = -11774 + 11771. Put 2, o, 5, -8, -38 in ascending order.
-38, -8, o, 2, 5
Suppose 298*f + 34 - 38 = -302. Put f, 1, 2, -262 in decreasing order.
2, 1, f, -262
Suppose 5*r = -2*r + 217. Suppose 3*q + 34 = -5*y, 0 = 5*y + 5*q - 3*q + r. Suppose 6*x = -11*x + 85. Sort 1, y, x, -3 in increasing order.
y, -3, 1, x
Let l = -136 - -50. Let d = 14479.8 - 14565. Let s = d - l. Put -2/19, -3, 3/2, s in decreasing order.
3/2, s, -2/19, -3
Let j = 1 + -1. Let n be 36/(-4)*(-75 - -76). Put 5, j, n in increasing order.
n, j, 5
Let p(r) = 7*r**2 + 49*r + 45. Let w be p(-6). Sort -10, 1.2, w.
-10, 1.2, w
Suppose -402*q = -403*q + 20. Suppose -n - 14*u + 12*u = 14, 0 = 5*u + q. Let i be 2*(-2)/(-3)*3. Put n, -5, i in descending order.
i, -5, n
Let k = -78 - -78. Suppose -4*i = 3*n - 4*n + 12, 0 = 2*n - 3*i - 4. Let j = n + 5. Sort j, -4, k, 2 in descending order.
2, j, k, -4
Let l = -22.66 + 19. Let d = l - -3.66. Let f = 8.7 + 0.3. Put -1, f, d, 0.2 in