 0.1. Sort b, p, 2 in decreasing order.
2, b, p
Let c = -5549.889 + 5555. Let o = c - 0.111. Put 0.3, 0.1, o, -0.3 in descending order.
o, 0.3, 0.1, -0.3
Let p = -3 - -4. Let j = -0.93 + p. Suppose 129*n - 140*n = 11. Put j, 3, n in descending order.
3, j, n
Suppose 12*o + 60 = -0*o. Sort o, -1, 24 in increasing order.
o, -1, 24
Let p(n) = n**2 - 46. Let r be p(-5). Sort r, -5, 2, 3 in decreasing order.
3, 2, -5, r
Suppose 0 = y + 3*n + 14, 5*y - 5*n = 26 + 24. Suppose -3*k = -4*k + 5. Let w(m) = -m**2 + 4*m + 2. Let r be w(k). Sort r, y, -7 in decreasing order.
y, r, -7
Suppose -8*g - c + 7 = -7*g, 0 = -3*g + 2*c + 1. Let v be (-3)/((-9)/(-6)) - 1. Put g, -0.1, v in decreasing order.
g, -0.1, v
Let a = 105 + -531/5. Let r = -311/10 + 3431/110. Sort -2/3, -3, a, r in decreasing order.
r, -2/3, a, -3
Suppose 4*k - 14 = v, -4*k + 10 = -2*v - 10. Let r(b) = 8*b - 1. Let g be r(2). Suppose 0 - g = 3*u. Put u, -3, v in increasing order.
v, u, -3
Let x = 3.8 + -4. Let p = x + 0.4. Let w(t) = -6*t + 1. Let o be w(0). Put p, o, -4 in ascending order.
-4, p, o
Let y(l) = -l + 20. Let b be y(16). Let f(w) = w - 4*w**2 - 4*w + w**3 + w + 5. Let n be f(b). Sort -1, -2, n in decreasing order.
-1, -2, n
Suppose -2*u - 10 = -4*u. Let x(a) = a**3 + 5*a**2 + 4*a + 5. Let p be x(-4). Suppose 5*v + 19 = -c, -p*c + 2*v = -c + 10. Put u, c, 1 in descending order.
u, 1, c
Let b = 464 - 661. Let g = b - -197.3. Let z be 0 + 1 + 10/(-6). Sort z, g, 0 in descending order.
g, 0, z
Let j be 2 - (-1 + -1)/((-4)/16). Sort 5, j, 4, -5 in descending order.
5, 4, -5, j
Suppose 0 = 2*v + 3*v - 10. Let r be (12/v)/(27/666). Let q = r + -597/4. Sort 3, q, 0.3 in decreasing order.
3, 0.3, q
Let r = -950 + 948. Put -3, 3, 5, r in ascending order.
-3, r, 3, 5
Let f = 16 + -7. Let j = -419 + 424. Sort f, j, 2.
2, j, f
Let h be -15 + (-1 - (-1 - -1)). Let p be (-4)/h*-1*-4. Let k(n) = n**2 - n + 3. Let u be k(0). Sort 0, u, p in decreasing order.
u, p, 0
Suppose t = 3*p + 20, p - 18 - 2 = -5*t. Sort 4, 9, t.
4, t, 9
Suppose -3*n + 7 = -z, -2*z + 2*n + 4 = 3*z. Let u = 2 - 10. Let i = u + 3. Put i, z, -1 in increasing order.
i, -1, z
Suppose 5*f - 102 = q, 6*f - 110 = f + 5*q. Suppose f*s + 8 = 24*s. Suppose 3*o - 2*o = -s. Put 5, o, 0 in decreasing order.
5, 0, o
Suppose -o = -3 - 1. Let j(f) = f + 14. Suppose 4*s = 2*v - 7*v - 68, -4*v - 3*s = 54. Let b be j(v). Put o, 1, b in decreasing order.
o, b, 1
Suppose -3*g = 22*h - 24*h + 4, -2*h = 3*g + 20. Sort h, 5, 3, -5 in ascending order.
-5, h, 3, 5
Let f be 6 + -1 - 84/20. Let k be ((1 - -2)/(-7 + 6))/(-1). Sort k, -0.3, 3/5, f.
-0.3, 3/5, f, k
Suppose 4*m + 18 = 2*a, 2*m - 27 = -4*a + 19. Let v = 8 + -13. Sort a, -1/4, v, -0.5 in descending order.
a, -1/4, -0.5, v
Let h = -1.672 - -5.663. Let j = 0.009 + h. Put j, -3, -1/2 in decreasing order.
j, -1/2, -3
Let g = -573 - -526. Put -2/11, 0, -3/4, g in decreasing order.
0, -2/11, -3/4, g
Let m be (81/(-18) - -4)*-2. Sort m, 0, -8, 5 in descending order.
5, m, 0, -8
Let c(q) = -82*q**3 - 1 - 5 + 81*q**3 - 6*q**2 - 10*q. Let b be c(-4). Let s be ((-6)/(-18))/(b/24). Sort 0, -2, s in decreasing order.
s, 0, -2
Let h be -2*1*1/2. Let b be -2 + -6 - -1 - (-3)/((-24)/(-16)). Sort b, h, -36.
-36, b, h
Let s = -138.7 - -138.8. Put s, 0, 1/29, 0.3 in ascending order.
0, 1/29, s, 0.3
Let z(s) = s**3 + 13*s**2 + 34*s + 8. Let u be z(-3). Put 4, -6, 28, u in increasing order.
-6, u, 4, 28
Let s = 176.04 + -176. Put s, -1/3, -1/8, 5 in ascending order.
-1/3, -1/8, s, 5
Let y(f) = -f**2 - 11*f + 10. Let j be y(-13). Let a(h) = h**2 + 15*h - 16. Let x be a(j). Put -3, x, 3, 2 in descending order.
3, 2, x, -3
Let o be (-1083)/(-399) + 2/7. Sort o, 8, 1, -9 in descending order.
8, o, 1, -9
Let w(p) = p**3 + 24*p**2 + 48*p + 84. Let y be w(-22). Sort -6, y, 96, 5 in decreasing order.
96, 5, y, -6
Let c = -0.1 - 0.1. Let o = -0.0635 + -0.9365. Sort o, c, 3.
o, c, 3
Suppose q - 4 = -0*q. Let v = -5 + q. Suppose 0 = -4*h - 6*s + s - 13, -4*h + 2*s - 6 = 0. Sort v, 1, h.
h, v, 1
Suppose c + 60 = -4*c. Let o = c - -10. Let i = 43 - 42.9. Put i, o, -3 in decreasing order.
i, o, -3
Let m be 1*(-20)/16*1. Let h be (10/5 + 1)/1 - 2. Sort m, h, -0.5.
m, -0.5, h
Let g = 9/7 + -41/21. Let w = 332.4 - 332. Sort g, 0.5, w in descending order.
0.5, w, g
Let w(t) = -t**3 - 6*t**2 - 6*t - 4. Let p = 35 + -40. Let o be w(p). Sort 4, o, 3 in decreasing order.
4, 3, o
Suppose -5*p = -4*s - 111, -2*s - 103 = p - 6*p. Suppose -3*c = 2*a - 15, 3*a = 8*a - 2*c - 9. Sort p, a, -1 in ascending order.
-1, a, p
Suppose 0 = -v - 1 + 5, -v = u - 34. Let i be (-70)/u - 2/(-6). Sort i, -0.5, 0.1 in ascending order.
i, -0.5, 0.1
Suppose 613*l - 614*l = 89. Put 3, l, 0 in decreasing order.
3, 0, l
Let v = -143 + 143. Suppose 10 = -2*u + 2*q, 0 = -5*u + 2*q - v*q - 22. Suppose 5*g - 4*y = 41, -3*g - 2*g + 9 = 4*y. Put u, 1, g in decreasing order.
g, 1, u
Let z = -241 - -443. Let j = z + -206.95. Let l = 0.05 - j. Sort l, -5, -0.1.
-5, -0.1, l
Let b be 41/(-246) + (-14)/(-36). Put 3/5, b, 1 in descending order.
1, 3/5, b
Let a be (4/(-16))/(4/(-32)). Suppose -3*t - a = 4*s + 2*t, 10 = 4*s - t. Suppose f + j = 6*j + 21, 5*f - 4*j = 0. Put f, s, -2 in decreasing order.
s, -2, f
Let g = 1891.9 - 1892. Let z = -165/1157 + -1/89. Put -3/7, z, g, -3 in decreasing order.
g, z, -3/7, -3
Let v = 21 - 11. Let y be 1/2 - (-15)/v. Suppose 2 + y = 2*h. Put 1, h, -1 in descending order.
h, 1, -1
Suppose a + 4*c - 7 = 3, 5*c - 6 = 2*a. Sort a, 5, -5, -33.
-33, -5, a, 5
Let d = -3 + 2. Let t be (2*4/((-32)/(-4)))/(-1). Let h be ((-2)/22 + 0)/((-1)/t). Put d, -0.4, h in descending order.
h, -0.4, d
Let k(r) = -4*r**2 - 8*r + 18. Let i be k(2). Sort -1, -4, 4, i in decreasing order.
4, -1, -4, i
Let s = 0.146 + -0.146. Let z = -0.54 - -0.5. Let x = -3.96 + z. Sort -4/7, x, s.
x, -4/7, s
Let a(w) be the third derivative of -w**6/120 + 2*w**3/3 + 7*w**2. Let g be a(0). Suppose -4*m - 20 + g = 0. Put m, 4, 9 in ascending order.
m, 4, 9
Suppose -4*d - k = -9, -3*d + 32*k = 35*k - 18. Sort d, 0, 61.
0, d, 61
Let w(h) = -h**2 - 8*h - 9. Let c be w(-2). Put c, 4, 1, -0.5 in increasing order.
-0.5, 1, c, 4
Let c(w) = -w**3 + 4*w**2 + 11*w - 4. Let f be c(7). Let t be (-6)/(-21) + f/14. Let m be (226/(-565))/((-1)/(-5)). Sort t, m, -4 in increasing order.
t, -4, m
Let i be (-13)/(-5) + 21/(-35). Let w be i/(-6) - ((-156)/63 - -2). Sort -14, -0.5, w.
-14, -0.5, w
Let r be (-16 - -18)*(11 - -6). Put -9, r, -0.3, -1 in decreasing order.
r, -0.3, -1, -9
Let i = 608 - 610. Sort 0, 31, 4, i in descending order.
31, 4, 0, i
Let z be ((-45)/(-18) - 3)*0. Let d be 2*5/(-2) - -2. Let x be 4/6*(2 - -1). Put x, z, d in increasing order.
d, z, x
Let v = 22.9 + -1.9. Suppose 3*n - 7 = 98. Let j = -33 + n. Sort v, -2, j in decreasing order.
v, j, -2
Let w = -25503.18 - -25201. Let i = w - -297. Let m = 0.18 + i. Put 1, m, 5/2 in descending order.
5/2, 1, m
Let w be (-2)/(12/16 + (-5)/20). Let r(s) be the first derivative of s**2/2 + s + 2. Let i be r(3). Put 2, i, w in descending order.
i, 2, w
Let r = -132.7 - -133. Let c be 12/30 + (-4)/10. Put r, -5, c in decreasing order.
r, c, -5
Suppose t - 45 = 6*t + 5*o, -t - 3*o = 17. Sort -10, 1, -1, t.
-10, t, -1, 1
Let k be (3/21)/(12/14). Let j be 660/(-198)*(-1)/5. Let f = -1 + 2. Sort j, f, k in increasing order.
k, j, f
Let q = 425 + -424.7. Sort 5, q, -3 in decreasing order.
5, q, -3
Let r = 3 - 6. Let m = 20 - -28. Let x = -48.4 + m. Sort x, 0, r in decreasing order.
0, x, r
Let j = -2/25 + -36/175. Put -3, 2, j, 3 in increasing order.
-3, j, 2, 3
Let l(d) = 2*d**2. Let u be l(1). Suppose -2*p - 17 = -5*m - 1, m + 6 = 5*p. Sort -2, u, m.
-2, u, m
Let f = 95/9 - 155/9. Let t = -7 - f. Sort 3, 1, 0, t.
t, 0, 1, 3
Let w(h) = h**2 + 94. Let k be w(0). Let c = 89 - k. Sort c, -2, 1.
c, -2, 1
Let o = 1.411 - -1.589. Sort -46, -1/3, o in ascending order.
-46, -1/3, o
Let x = 4.3 + -0.3. Let p = x - 3. Let g = -1611.9 + 1612. Sort -1/2, g, p in ascending order.
-1/2, g, p
Suppose -2*c + 14 - 8 = 0. Sort -1, 4, -6, c.
-6, -1, c, 4
Suppose -30 = 6*l - 6. Sort l, -275, 1.
-275, l, 1
Let s = 0.82 + -0.52. Sort 0.5, -3, s, 0 in increasing order.
-3, 0, s, 0.5
Let x = 200 + -200. Put -5, 3, x in descending order.
3, x, -5
Suppose -52*