b
Let l = 165.4 + -165.2. Let d(c) = -2*c - 9. Let n be d(-6). Put n, l, 1 in increasing order.
l, 1, n
Let o be (-2)/17 - 16/((-2176)/696). Sort 11, -1, o, 0.4 in decreasing order.
11, o, 0.4, -1
Let d(n) be the third derivative of -n**6/120 + 7*n**5/30 - n**4/12 + 16*n**3/3 + 10*n**2. Let f be d(14). Sort -7, 3, f in descending order.
f, 3, -7
Let f be (0*(-1)/(-5))/3. Put 3, 14, f, 5 in descending order.
14, 5, 3, f
Let u(n) = -n**3 + 45*n**2 + 46*n + 7. Let l be u(46). Put -4.9, -1, l, 2 in decreasing order.
l, 2, -1, -4.9
Suppose 0 = 3*a + 5*y - 19, -3*y + 8*y = -a + 23. Sort a, -5, 40 in decreasing order.
40, a, -5
Let y = 0 + 1. Let c = -927.8 - -927.7. Sort c, -2/7, y in decreasing order.
y, c, -2/7
Let q = 438 + -473. Sort q, 4, -2 in decreasing order.
4, -2, q
Let l be (-36)/(-15) - 12/30. Suppose 0 = -l*b + 58 - 14. Suppose -5*r + b = q, -3*r - 4*q + 20 = -0*q. Sort r, 1, 5 in descending order.
5, r, 1
Let p(c) = -c - 2. Let w be p(-7). Let z = 0 + 3. Sort 1, z, w in increasing order.
1, z, w
Let z = -3141/31204 + -3/1076. Sort z, -1/5, -4 in ascending order.
-4, -1/5, z
Suppose 5*v = 3*v - 10. Let f(r) = -r + 2. Let a be f(4). Let z be a/7 + 23/7. Sort v, z, 5 in descending order.
5, z, v
Let x = 17 + -17.7. Let o = x + 0.3. Suppose -3*a = 4*l - 5*a - 20, 2*l - 10 = -2*a. Sort l, -4, o in decreasing order.
l, o, -4
Suppose 2*u = -4*r + 44, -3*u - r + 40 = -11. Sort -1, u, -4, 5 in decreasing order.
u, 5, -1, -4
Let g = 0.06 - 8.06. Let p = g + 8.5. Let b(r) = 3*r + 17. Let l be b(-6). Sort l, p, -2/7 in increasing order.
l, -2/7, p
Let h(x) be the second derivative of -x**3/6 + 5*x**2/2 + 2*x. Let o be h(3). Suppose 0 = o*j - 2 - 4. Sort j, -5, 7 in decreasing order.
7, j, -5
Suppose -367*u = -358*u - 36. Put -237, 1, u in decreasing order.
u, 1, -237
Let t(b) = 6*b - 24. Let r be t(4). Sort -3, -9, r in decreasing order.
r, -3, -9
Let t = 702/7 - 100. Let n = 2.2 - 8.2. Let m = n + 11. Sort m, t, -5 in descending order.
m, t, -5
Suppose 4 - 44 = -8*z. Put 1, z, 2, -5 in ascending order.
-5, 1, 2, z
Let o be -1 + 8/6*-15. Let l = -20 - o. Sort -11, -5, l, 5 in decreasing order.
5, l, -5, -11
Let u be 4/(-10) + ((-2520)/(-25))/12. Put 0, -5, u, -3 in decreasing order.
u, 0, -3, -5
Suppose 27*n + 20*n = -235. Sort -6, n, -4, -22.
-22, -6, n, -4
Let h = 2 - 6. Let j(m) = 2*m + 15. Let i be j(-6). Suppose 0 = 3*q - 5*v - 15, q + i*v + 6 + 3 = 0. Sort -2, q, h in descending order.
q, -2, h
Suppose 6*b + 24 = 3*p, -p - 65*b + 64*b = 7. Sort 4, p, -5 in increasing order.
-5, p, 4
Let k(o) = -o**3 - o**2 - o + 28. Let d be k(0). Let a = -29 + d. Let t be (-1 + 0/(-1))*-5. Sort 2, a, t.
a, 2, t
Let x = -906 + 9061/10. Sort x, -0.11, 4, 5 in descending order.
5, 4, x, -0.11
Let t = -0.13 - 5.87. Let v = -68.6 - -73.6. Put v, 2, t in increasing order.
t, 2, v
Let c(r) = -r**3 + 38*r**2 + r - 33. Let j be c(38). Suppose 2*s + 0*s + 6 = -4*z, 0 = 2*s - 4*z + 6. Put j, s, -8 in descending order.
j, s, -8
Suppose 4*d - i = -2*i + 12, i - 15 = -5*d. Suppose -8 = s - 5. Put -2, 4, d, s in ascending order.
s, -2, d, 4
Suppose -4*v = 3*i - 20, -6*v + 8 = -10*v + 4*i. Sort v, 0, -1, -3 in ascending order.
-3, -1, 0, v
Let v be 1/(-3) + (-80)/(-15). Let z be ((-4)/10)/((-4)/(-15)). Sort v, -0.3, z in increasing order.
z, -0.3, v
Let o(t) = -t**2 - 8*t - 2. Let f be o(-7). Let i = -45 + 62.3. Let y = -17.2 + i. Sort -0.5, y, f in decreasing order.
f, y, -0.5
Let v(j) = j - 1. Let c be v(3). Suppose -20 = 5*h - 0, h = c*l. Put -5, 2, l in descending order.
2, l, -5
Let d = 0.21 + -0.23. Let t = d + -5.98. Let w = -5 - t. Sort 0.3, -2/9, w in descending order.
w, 0.3, -2/9
Let d = 15 - 18. Let z = 7 + -7. Suppose -q + 1 = -z*q. Put q, -1, d in ascending order.
d, -1, q
Let r(q) = -q - 25. Let w be r(-27). Put -5, 53, w in decreasing order.
53, w, -5
Let t = 72.4 - 73. Sort t, -0.2, 2, -0.1 in descending order.
2, -0.1, -0.2, t
Let s = -43.3 - -42.9. Put 11, 1, s, -4 in descending order.
11, 1, s, -4
Let l be -2 + 3 - 3 - 13. Let x = l + 17. Suppose x - 8 = -3*g. Put -2, g, 5 in ascending order.
-2, g, 5
Let b = -13.607 + 0.607. Sort -5, b, 3, -7 in descending order.
3, -5, -7, b
Let o = -0.1 + 0.3. Let c = 0.5 - o. Let t = -46 - -45.5. Put -0.4, t, c in ascending order.
t, -0.4, c
Let z = -662 - -691. Put z, -1, -4 in ascending order.
-4, -1, z
Let b = 0.096 - 6.396. Let j = b - -6. Let l = 1905/11 + -173. Sort l, -2/5, j.
-2/5, j, l
Suppose -3*q + 64 = 5*x, 2*x - 15 = -2*q + 29. Let v = q + -13. Suppose v*y - 15 = 5*y. Sort -0.5, y, 0.4.
-0.5, 0.4, y
Suppose -2*x + t + 1 = -2*t, -x - 4*t = -6. Suppose 5*k = -230*h + 225*h, -h - 20 = -3*k. Put -2, -4, x, h in decreasing order.
x, -2, -4, h
Suppose 5*z = -5*i + 15, 0*z - z + 3 = -5*i. Suppose 0 = -z*x - 6 + 21, -26 = -2*g - 4*x. Let d(m) = -m**3 + 3*m**2 - 2. Let l be d(g). Sort 5, -5, l.
-5, l, 5
Let g(o) = 5*o**2 + 36*o + 8. Let s be g(-7). Sort -22, -17, s, 3 in increasing order.
-22, -17, s, 3
Suppose -13*g + 15*g = 110. Let c = g - 54. Let o = 2 + 0. Sort c, o, -17 in descending order.
o, c, -17
Let o = 2 + 1. Suppose o*y + 14 = 3*v + 2*v, -3*y - 6 = -3*v. Let z be (-45)/25 - (2 + 9/(-5)). Put z, 0, y in ascending order.
z, 0, y
Let w(a) = a**3 + 3*a**2 + 2*a + 1. Let o be w(-3). Let y(g) = -g**3 - 4*g**2 + 4*g. Let t be y(o). Let l = 9 + -7. Put -3, t, l in ascending order.
-3, l, t
Let z = 2 + -7. Let d(n) be the second derivative of -n**3/6 - 9*n**2/2 + 6*n. Let o be d(-5). Sort o, 4, z.
z, o, 4
Let f = -7.49 - -12.49. Sort -4/7, f, -8/5, 1 in ascending order.
-8/5, -4/7, 1, f
Let g(h) = h**3 - h**2 + h + 16. Suppose 3*t - 2*x - 6 = 0, -4*x = -5*t + 8 + 4. Let b be g(t). Let n = b + -20. Put n, -1, 4 in ascending order.
n, -1, 4
Let d = -7.4 - -4.4. Let b = -0.09 - 3.91. Sort -0.09, d, b in decreasing order.
-0.09, d, b
Let m(y) = -y + 6. Let h be m(7). Let o = 7 - 12. Let l be (21/21)/((-2)/(-10)). Sort h, l, o.
o, h, l
Let z(c) = -8*c**2 + 23*c - 27. Let l(j) = 3*j**2 - 8*j + 9. Let q(t) = 11*l(t) + 4*z(t). Let p be q(-5). Put -2, -4/9, 2, p in descending order.
2, -4/9, -2, p
Let y be (-3)/((-3)/(-5))*1. Suppose 3*u + 2*t + 2 = 0, -2*u - 3*u - 5*t = 0. Let j be u/(-28)*28/8. Put y, j, -0.4 in ascending order.
y, -0.4, j
Suppose 0 = -2*i + t + 4*t - 1, 5*i - 6 = 4*t. Suppose 0 = i*x + 6 + 90. Let p be ((-4)/x)/(1/3). Sort 3, p, -4 in increasing order.
-4, p, 3
Let l(f) = -f**3 + f**2 + f - 1. Let w be l(2). Let c = -136 + 137. Put 4, c, w in descending order.
4, c, w
Suppose -5*o + 35 = 5*a, -6*o = -3*o - 12. Let c = 2 + a. Suppose -c*b - 6 = 14. Put b, 3, -3 in ascending order.
b, -3, 3
Suppose 7417*x + 144 = 7408*x. Sort 4, 1/9, -5, x in descending order.
4, 1/9, -5, x
Let y(h) = h**3 - 5*h**2 + h + 4. Let z be y(3). Let m = z + 23. Suppose -2*b - 4*x - m = 0, -5*b + 0*x - 4 = -3*x. Sort 0, -4, b.
-4, b, 0
Let q(u) = u**2 - 4. Let a be q(0). Let z be 28/((-4)/(-1)) + -3. Suppose 0*w - z = 2*w. Sort 1, w, a in decreasing order.
1, w, a
Suppose 0 = -4*b - 0*b + 2*b. Put b, -5/3, 0.1 in increasing order.
-5/3, b, 0.1
Suppose 105*y - 26334 = 168*y. Sort 2, -4, y.
y, -4, 2
Let w = 21 - 82. Let f = 57 + w. Sort 4, -1, 1, f.
f, -1, 1, 4
Let o = -112670 - -19379123/172. Let h = o + -3/43. Sort -4/7, h, -0.2, 2 in decreasing order.
2, -0.2, -4/7, h
Let j = -0.53 - 107.47. Let b = -107.7 - j. Let h = -72 + 646/9. Sort h, b, 0.7 in increasing order.
h, b, 0.7
Suppose -11 + 2 = -3*k. Let j be 30/(-40) - (-7)/(-28). Put j, -44, k, 0 in decreasing order.
k, 0, j, -44
Let l = -2.2 + -29.8. Let h = l - -45. Let d = h + -12.8. Sort d, -0.1, -0.5 in ascending order.
-0.5, -0.1, d
Let u = 37.94 + 0.06. Let b = -33 + u. Put -2, -0.4, b in increasing order.
-2, -0.4, b
Let n = -8 + 15. Let r(z) = -z - 6. Let x be r(-4). Put x, 5, -1, n in ascending order.
x, -1, 5, n
Let r = 80 - 83. Let o = 12 + -12.3. Sort 0.2, 2, r, o in decreasing order.
2, 0.2, o, r
Suppose 0 = 3*q - 6*q - 3. Let y = 4 + -9. Let l(z) = z + 3. Let n be l(y). Put n, -4, q in increasing order.
-4, n, q
Let y = 135 - 173. Sort 0, -4, y in descending order.
0, -4, y
Let c(b) = 2*b**2 - b + 2. Let m be c(1). Put 0, 2, m in ascending order.
0, 2, m
Let m(q) = q**2 - 6*q + 9. Let o be (-3 - (-8)/(-2))/(-1). Let g be m(o). Suppose -4*n - g = 4. So