(-13)*(-2)/2. Put o, 3, -4 in decreasing order.
o, 3, -4
Let p(s) = -6*s - 8. Let c be p(-1). Let h be 36/15 + (-6)/15. Sort 5, c, h.
c, h, 5
Suppose 5*z - 9 = -55*b + 53*b, 6 = 2*z. Let r = -3 - -5. Sort 5, b, r, -5 in decreasing order.
5, r, b, -5
Let m = 29.3 + -3.3. Let c = m + -28.6. Let f = 4.6 + c. Put f, -0.3, 3 in increasing order.
-0.3, f, 3
Let w = 1140 + -1145. Sort -0.47, w, 1/5 in descending order.
1/5, -0.47, w
Suppose i = -4*i - 5*c + 100, 0 = -i + 2*c + 20. Suppose -4 - i = -4*w. Let o = w - 2. Sort -9, o, -1 in ascending order.
-9, -1, o
Suppose 20*m - 6*m = -98. Put -5, 2, -1, m in increasing order.
m, -5, -1, 2
Let u = -0.26 - 0.04. Let s = -14.87 + 13.87. Put 1/4, u, s, 4 in descending order.
4, 1/4, u, s
Suppose -2*j = -2, -16 = 4*h + 8*j - 4*j. Suppose -6*w + 9*w = 6. Put 23, h, w, 5 in decreasing order.
23, 5, w, h
Let y = -5.969 + 1.876. Let g = y - -0.093. Sort g, 0.4, 2/17 in descending order.
0.4, 2/17, g
Suppose 3*p + 4 = 2*n - 3, 2*p = -10. Let x = 606 + -611. Sort n, x, 4 in decreasing order.
4, n, x
Suppose m = -m + 10, 5 = -5*i + 2*m. Let c = i + 4. Let k = -10 - -5. Sort c, k, 0 in increasing order.
k, 0, c
Let l be (3 - -5)/4*3/(-24). Sort l, 1/8, -0.5, -1/7 in increasing order.
-0.5, l, -1/7, 1/8
Suppose 0 = 4*h + 8. Let f = 30 - 46. Let u = -17 - f. Sort h, 3, u in decreasing order.
3, u, h
Let c be (-1)/(-2) + 36/8. Let o(y) = -5*y - 1. Let j be o(-1). Let f be 2/(c + -3 - j). Sort 3, 5, f.
f, 3, 5
Let v(j) = j**3 + 10*j**2 - 8*j + 36. Let m be v(-11). Suppose 3 - 4 = 2*k - 3*t, 3*k - 3*t - m = 0. Sort -5, 9, k in increasing order.
-5, k, 9
Let c = -0.5 - -0.5. Let u = 70.7 - 63. Let q = 9.2 - u. Put q, c, 1/2 in increasing order.
c, 1/2, q
Let x(z) = -z + 3. Let y(g) = 2*g + 32. Let f be y(-13). Let k be x(f). Put 1, k, -2 in descending order.
1, -2, k
Suppose -13*k - 14 = -14*k + 3*r, 0 = k + r + 6. Suppose -8 = -4*i + 4. Suppose i*y = 2*y. Sort k, y, -3 in decreasing order.
y, k, -3
Let u = 1.2 - 0.2. Suppose 3*h + 3 = 12. Let r be h*(-4)/(-306)*3. Sort r, u, -1 in decreasing order.
u, r, -1
Let n = -8/921 - 16378/23025. Let k = 428/525 + n. Let h be 0 - ((-28)/(-10) + -3). Put h, k, 4 in decreasing order.
4, h, k
Suppose 5 + 7 = y. Suppose -5 = -u - f, -5*u + 20 = -2*u + 4*f. Suppose 3*k + u*i + 2*i + 1 = 0, 2*k = -5*i + 14. Sort y, 2/7, k in descending order.
y, 2/7, k
Suppose -d + 4*f = 3 - 4, -f - 2 = -2*d. Sort -5, d, 2/3, 0.2 in decreasing order.
d, 2/3, 0.2, -5
Let i = 1282/3 - 428. Sort 3, i, 0.33, 1/5 in ascending order.
i, 1/5, 0.33, 3
Let s = -25 - -2. Let g = 34 + s. Let u = -3 + g. Put 0.3, -3/2, u in decreasing order.
u, 0.3, -3/2
Let z = 26 - 26.19. Let t = -3.61 + z. Let l = t - -3.9. Sort 1, -0.3, l in ascending order.
-0.3, l, 1
Suppose -5*w = 2*m - 4*m - 40, 0 = m - 5*w + 10. Let o = -29 - m. Sort 0, o, 5 in decreasing order.
5, o, 0
Let z = 7 + -7. Let s = 25 - z. Let l = 30 - s. Put 3/4, 0.2, l in ascending order.
0.2, 3/4, l
Let m be 15/(-2)*2*(-10)/30. Let d(w) = w + 4. Suppose v + 4 = -0, j - 4*v - 10 = 0. Let q be d(j). Put q, -5, m in decreasing order.
m, q, -5
Let u be 1 + -1 + 6/(-14). Let n = -9040.171 + 9036. Let c = 0.171 + n. Sort c, u, 1 in increasing order.
c, u, 1
Let x = -298 - -297.8. Sort 0.5, -2/3, x, -1.
-1, -2/3, x, 0.5
Let j = -2.8 - -3. Suppose -17*c = -22*c + 140. Let s = c + -55/2. Put s, -4, j in decreasing order.
s, j, -4
Let q = -0.03 - 1.07. Let h = 3.1 + q. Sort h, 3, -1/7, 0.3 in increasing order.
-1/7, 0.3, h, 3
Let h be (-12)/(-40)*11/33. Let w = -35 + 32.1. Sort w, 0.2, h.
w, h, 0.2
Let o = 2.06 - 2.96. Sort 1/7, 0.2, o in decreasing order.
0.2, 1/7, o
Suppose 4 + 1 = -5*o + f, -o - 5*f + 25 = 0. Put o, -2, 5, -3 in descending order.
5, o, -2, -3
Let g = 1 - 1.1. Let u = 18.977 - -0.023. Let s = u - 18.8. Sort -0.4, s, g.
-0.4, g, s
Let f = 1533/8 + -192. Sort -0.1, -0.07, f in ascending order.
f, -0.1, -0.07
Let k = 0.083 + -3.083. Sort k, -0.2, 4, 0.3 in decreasing order.
4, 0.3, -0.2, k
Suppose -12*s + 17*s = 10. Let k = 12 + s. Let a be 8/(-40) - k/5. Sort a, -2, -5 in decreasing order.
-2, a, -5
Suppose k - 5*i = 25, -2*i = -5*k - i + 5. Sort -1, 5, 4, k in increasing order.
-1, k, 4, 5
Let a(c) = -4*c**2 + 3*c - 1. Let l be a(2). Let k = 4 - l. Suppose 6*v = v - k. Put -1, v, 0 in ascending order.
v, -1, 0
Let p(w) = -w**2 - w + 34. Let y be p(-6). Sort y, 25, 3, -5 in descending order.
25, y, 3, -5
Let k = -8 - -12. Suppose -n - 1 = -k. Let x be -4 + n + -1 - 0. Sort x, 1, 4 in descending order.
4, 1, x
Let v = -70.9 - -71.1. Sort -1, v, -4, -1/4.
-4, -1, -1/4, v
Suppose 6*w = -38 + 32. Put 1, 5, w in descending order.
5, 1, w
Let c be 6/4*(-3 - -5). Put -22, 0, c, -5 in ascending order.
-22, -5, 0, c
Let w = -167/60 - -38/15. Sort w, 1/15, 6, 0.3 in descending order.
6, 0.3, 1/15, w
Let q(v) = -v**3 - 2*v**2 + 4*v + 19. Let f be q(-3). Suppose -5*i - 2*l - f = 9, 5*i + 4*l = -35. Suppose 0 = u - 1 - 0. Sort i, u, -5.
-5, i, u
Let o = 0.4 - -0.6. Let h = o + 0. Sort 5, -3, h in decreasing order.
5, h, -3
Let x = 6.5 - 6. Let m = x + -0.9. Let k = -12 - -11.7. Sort m, k, 5.
m, k, 5
Let n = 899 + -896. Sort n, 2, -2, -27 in decreasing order.
n, 2, -2, -27
Let g(z) = -z**3 - 4*z**2 + z + 4. Let w be g(-4). Let f(b) = 5*b + 57. Let i be f(-12). Sort w, i, 4 in ascending order.
i, w, 4
Let i be ((-6)/5)/((-6)/15). Let t be ((-6)/(-5))/((-12)/(-40)). Let w = -2 + t. Put 8, i, w in descending order.
8, i, w
Let c(q) = 2*q**3 + 21*q**2 - 10*q + 8. Let g be c(-11). Put g, 12, 1 in descending order.
12, 1, g
Let q = 100 - 14. Let y = q - 85. Put 7, 2, y in increasing order.
y, 2, 7
Let n = 0.026 + 2.674. Let r = n + -3.1. Sort -1/6, r, 0.3.
r, -1/6, 0.3
Suppose -10*l - 27 = 3. Suppose 8*p = 9*p - 1. Sort 0, p, l in decreasing order.
p, 0, l
Let w = -7.98 + -0.02. Let h = 8.5 + w. Let k be 2/6 - (-1 + 1). Put h, k, 0.4 in decreasing order.
h, 0.4, k
Let f = 9.74 - 10. Let n = f + -0.24. Sort 1/4, -1/3, n.
n, -1/3, 1/4
Suppose -2*c - 5*v + 0*v = -173, 5*v + 15 = 0. Sort 0, 5, c in descending order.
c, 5, 0
Let u be 24/68*(-1)/(-3). Let z(q) = 2*q**3 + 10*q**2 - 2*q - 6. Let l be z(-5). Put 5/2, -2/7, u, l in decreasing order.
l, 5/2, u, -2/7
Let p(k) = k**2 + 6*k + 5. Suppose -2*x + 6 = -3*r - 16, 4*x = 20. Let h be p(r). Sort h, 0, 1 in descending order.
1, 0, h
Let h be -2*((-63)/(-18) - (1 - 0)). Put 15, -4, h, -3 in increasing order.
h, -4, -3, 15
Let s be 46/14 + 6/(-21). Let r = -13.27 - -0.27. Put s, r, 2 in ascending order.
r, 2, s
Let s(d) = -d**3 + d**2 - 2*d. Suppose -3*q - i = -0*i - 5, -4*i = -20. Let l be s(q). Put -3, 7, l in descending order.
7, l, -3
Let l = 5 - 2. Suppose 2*a = -w + 8, 4*w - 3*a = 42 + 1. Suppose 5*d = 2*s + w, l*d = s - 2*d + 5. Sort 2, 1, s.
s, 1, 2
Suppose d - 2 = -s, -3*d - d - 7 = s. Let x(c) = c - 25. Let m be x(6). Let p = m + 22. Sort 2, s, p in descending order.
s, p, 2
Let x = -30 - -33. Suppose 5*v + 27 = 6*k - x*k, -4*k - 4*v = -4. Sort k, -1, 1.
-1, 1, k
Let d = -1 - -1.1. Let s = -1.04 + 0.14. Let f = -0.85 - s. Sort f, d, 1/6 in descending order.
1/6, d, f
Let p = -76 + 85. Let r(n) = -n**2 + 11*n - 17. Let t be r(p). Sort t, -4, 8, 5 in decreasing order.
8, 5, t, -4
Let y be 4/((-4)/(-5))*(0 - -1). Suppose 5*c + 3 = -3*p, 6*c - 1 = p + y*c. Suppose u = -3*r + 3, 4*u = 3*r - 2*r + 12. Sort p, r, -3 in decreasing order.
r, p, -3
Let n(l) = l**3 - 8*l**2 + 8*l - 2. Let p be n(7). Put p, 3, -10, -4 in increasing order.
-10, -4, 3, p
Let x be ((-17)/(-51))/(-1 + 2). Put -5, x, -22 in descending order.
x, -5, -22
Let f be -1*((-16)/26)/(-4). Let h = -110 + 105. Put f, h, 1 in ascending order.
h, f, 1
Let j = 6 + 0. Put j, 0, 2 in decreasing order.
j, 2, 0
Let t be ((-6)/(-15))/((-323)/95). Put -1, 0.1, t, 3 in descending order.
3, 0.1, t, -1
Let y = -64 + 63.552. Let h = y - -0.048. Sort 1/3, -4, h, -1/4 in decreasing order.
1/3, -1/4, h, -4
Suppose 14*n = 11*n. Sort n, -11, 5, 4.
-11, n, 4, 5
Suppose -6*b - 172 = 26. Let t be 6 + (b/(-22))/((-2)/4). Put 2/23, 0.3, t, 0.2 in increasing order.
2/23, 0.2, 0.3, t
Let v(o) be the second derivative of o**5/20 + 7*o**4/12 - o**3/6 - 7*o**2/2 - 2*o. Let b be v(-7). Suppose c + 0 + 1 = 0. Put c, b, 5 in descending order.
5, b, c
Let b = 49 - 77. Let j = 32 + b. So