/(-12))/1). Sort 54, k, 0 in descending order.
54, 0, k
Let n(p) = p**3 + 13*p**2 - 15*p - 13. Suppose -2*x = 2*b + 30, 0 = -0*b - b - 5*x - 19. Let o be n(b). Sort o, 5, 0, 8 in descending order.
8, 5, o, 0
Suppose -6*w + 2*w + 2*o + 54 = 0, 4*w - 69 = 5*o. Suppose 0 = -6*l + w*l + 55. Sort l, -4, -1 in decreasing order.
-1, -4, l
Let c(t) = t**2 + 32*t + 230. Let w be c(-11). Put 85, 5, w, -4 in increasing order.
-4, w, 5, 85
Let k(s) = -4*s - 1. Let v be k(1). Let i(m) = 0*m + 4*m - 2*m + 9 + 2. Let u be i(v). Sort 8, 0, u in increasing order.
0, u, 8
Let b(d) = 4*d**2 - 34*d + 64. Let t be b(5). Put t, 70, 1/4 in decreasing order.
70, 1/4, t
Let j be (0 - (1 + 11)) + 2. Let w(d) be the third derivative of d**5/30 - d**4/24 + d**3/3 - 12*d**2. Let n be w(0). Put 4, n, j in increasing order.
j, n, 4
Let w = 0.1 + 0.2. Let q = w - 0.1. Let l = 36/115 - -2/23. Sort q, -0.3, l in decreasing order.
l, q, -0.3
Let c = -1033/7 + 148. Suppose 5*y - 7 = 3, 21 = 3*l + 3*y. Sort c, l, -2 in decreasing order.
l, c, -2
Let d = -0.12 + 0.2. Let n = 0 + d. Let x = n - 0.08. Sort 3, x, 0.2.
x, 0.2, 3
Let d be (-5)/(-2) + (-33)/(-22). Let a(s) = 3 - 2 + 4 - 2*s. Let y be a(d). Put 2, y, 5 in ascending order.
y, 2, 5
Let h = 100 + -97. Let f = 425/3 - 143. Sort -2/3, f, h.
f, -2/3, h
Let u(o) = o**3 + 8*o**2 + 15*o + 2. Let v be u(-5). Sort -2, -8, v in ascending order.
-8, -2, v
Let y = 278 + -182.6. Let p = y - 95. Put 0, 1, p in increasing order.
0, p, 1
Let l = 8 - 3. Let s = -5 + l. Sort 3, -3, s in descending order.
3, s, -3
Let j = 231 + -236. Let k be 3/(-1) - 0/(-4). Sort k, -2, j, -35 in ascending order.
-35, j, k, -2
Let p = 4 - 2. Let r(q) = 2*q + 8 + 0*q - q - 1. Let x be r(0). Sort p, 4, x in decreasing order.
x, 4, p
Suppose 0*q + 4*q = -2*g + 76, q - 3*g - 33 = 0. Suppose -5*r = -a + q, -5*a - 1 - 19 = 0. Let z be 0 + (0 - (2 + r)). Put 0.4, z, 2 in descending order.
z, 2, 0.4
Let w = -1758 - -9032/5. Let g = w + -48. Sort g, -2/11, 0.3 in increasing order.
-2/11, 0.3, g
Let o = -0.2 - -0.11. Let z = o - 0.41. Let v = -0.3 - -0.3. Sort 0.3, v, z in increasing order.
z, v, 0.3
Let a be 352/55*(-5)/(-2). Suppose 0*w + 4*w = -a. Put -2/5, -5, w in increasing order.
-5, w, -2/5
Let z = -15.12 - -0.12. Let w = 12 + z. Let u = 76 + -72. Put u, w, 0 in decreasing order.
u, 0, w
Let d = 8 - 3. Suppose 99*m = 107*m + 48. Put m, d, -4, -3 in descending order.
d, -3, -4, m
Suppose 3*d - g + 7 = 0, -2*d - 5*g + 3*g = 18. Let k = 4 - 4.1. Put k, d, -0.4, -2 in decreasing order.
k, -0.4, -2, d
Let f(x) = -x**3 + x**2 - 1. Let i be f(-1). Let m = -10 - -10. Suppose 4*o - 5 - 3 = m. Sort o, 7, i in descending order.
7, o, i
Let f = -0.14 + 0.15. Put -3, f, 1/4 in increasing order.
-3, f, 1/4
Let i be 8/(-2)*(-9)/(-12). Suppose 7*d + 3 = 10. Let n = -2 + 4. Put n, i, d in descending order.
n, d, i
Suppose -1458*a = -1480*a - 10846. Put -3, a, 2 in increasing order.
a, -3, 2
Let d be 2/(-5 + 1)*-1. Let a = -110.6 - -110.5. Sort 2/5, a, d, 3/4 in descending order.
3/4, d, 2/5, a
Let f be -3*(-2)/3*2. Suppose 0 = 5*s - 27*x + 22*x + 5, x - 9 = 3*s. Put -2, f, s in descending order.
f, -2, s
Suppose -808 - 380 = -12*v. Sort v, -3/5, 1/7.
-3/5, 1/7, v
Let h = 0.06 - -0.94. Let s be (2 - 51/24) + 0. Sort -0.5, s, h, -1/4 in decreasing order.
h, s, -1/4, -0.5
Let z = 11 - 10. Suppose -3*x - 4*d + 16 = -4*x, 0 = -x - 4*d + 24. Put -4, x, z in decreasing order.
x, z, -4
Let b = -47 + 70. Sort -3, 0.5, b, 2 in ascending order.
-3, 0.5, 2, b
Let a = 20 + 169. Let p be (-2)/9 + a/(-243). Sort 2, p, 1/3, 0.03 in decreasing order.
2, 1/3, 0.03, p
Let m be -5 - (32/272 + 486/(-85)). Put m, -2, -2/7, 0.12 in descending order.
m, 0.12, -2/7, -2
Let s = -3 - -3.5. Let l = -3.5 + s. Let m = -7434 + 7434. Sort -2/5, m, l in decreasing order.
m, -2/5, l
Let h be (-8)/6 + 1 - (-3230)/6270. Sort 0.13, h, 0.3 in decreasing order.
0.3, h, 0.13
Let l = 299 + -300. Let d be 4/(-2) - (3 + -2). Let f be (-1)/l + 0 + d. Put 1, f, 3 in descending order.
3, 1, f
Let o = -72.5 + 74.2. Sort 4, o, 3, 0 in increasing order.
0, o, 3, 4
Let s(n) = -20*n + 77. Let p be s(4). Suppose -2*x = -4 + 2. Sort x, p, 0 in decreasing order.
x, 0, p
Suppose 6*x = 1 + 29. Let a = -4 + 1. Sort 3, a, x in increasing order.
a, 3, x
Let c(y) = -5*y + 7. Let r be c(9). Let s = r - -53. Let h be s/6*24/20. Sort 2, h, 1 in increasing order.
1, 2, h
Let b = 0 + 5. Let d be 1/3*2*(-264)/176. Sort 3, b, -3/2, d in ascending order.
-3/2, d, 3, b
Suppose k + 2*k - 9 = 0. Suppose 5*o - k*d + 21 = 0, -3*d = 2*o + d - 2. Sort 5, 2, o.
o, 2, 5
Let v = 231.7 + -231.65. Put 1/5, 3/5, v in ascending order.
v, 1/5, 3/5
Let w = -1003 + 1003. Suppose 2*u - 18 = 5*v, -3 = 4*v + 5*u - 15. Let x be 2*(1/v + 2). Put 5, x, w in increasing order.
w, x, 5
Let k = -244 + 242. Sort 0.07, k, -1/2, -1 in increasing order.
k, -1, -1/2, 0.07
Suppose 2 = -4*b + 3*b - 5*t, 3*b - 2*t = -6. Sort -1, 1, 8, b in descending order.
8, 1, -1, b
Let o = 686.158 + -695.3. Let c = o + 0.142. Put -1, c, -5 in ascending order.
c, -5, -1
Let w be ((-33)/44)/(3/(-8)). Sort 6, w, 0 in decreasing order.
6, w, 0
Let x = -1 - -1.4. Suppose 22*v - 81*v = 354. Sort x, -1, v in ascending order.
v, -1, x
Let t be (32/(-3))/4 + 2. Let j be ((-1)/(-4))/((-217)/14 - -16). Put j, -4, t in decreasing order.
j, t, -4
Let b = -40.07 - -40.1. Sort b, 0.1, -2, -4.
-4, -2, b, 0.1
Suppose 0 = 3*m + 6*q - q + 4, -5*m - 3*q = 12. Suppose 0*s = -s - 16. Sort m, 4, s in ascending order.
s, m, 4
Let d(u) = 5*u**2 - 80*u + 79. Let t be d(15). Suppose 4*y + 5*k = -8, k - 4 = 2*y + 6*k. Put t, 3, y in decreasing order.
t, 3, y
Suppose -2*a - 4*z + 7*z + 14 = 0, -10 = 5*z. Sort 5, 0, 20, a in decreasing order.
20, 5, a, 0
Let q = 12 + -7. Let l = 41.2 - 40.7. Put -0.04, l, q in decreasing order.
q, l, -0.04
Let n = -124 + 869/7. Sort 5, n, -5, -7.
-7, -5, n, 5
Let m be (12/5)/(-3) - 2/10. Put -4, 9, 2, m in descending order.
9, 2, m, -4
Let i = 0.05 + -0.55. Let v be 27/6 - 4/(-8). Suppose -5 - 5 = v*p. Sort -2/3, p, i in decreasing order.
i, -2/3, p
Let l = 672 + -943. Let c = 270.5 + l. Let q = -15/22 - -1/2. Sort q, c, 3.
c, q, 3
Suppose 0*o = 3*c + 2*o - 16, 5*c + 3*o = 26. Let y = 317 - 293. Put y, 5, c in descending order.
y, 5, c
Suppose 5*l = 10*l. Let b be 1/(4/(-4)) + 6. Put l, -3, b in descending order.
b, l, -3
Let d = 0.1 + 0.9. Let o = -3.81 - 0.19. Let z = o + d. Sort -2/13, 0.1, z.
z, -2/13, 0.1
Let k = -137 + 178. Put k, 3, 2 in ascending order.
2, 3, k
Let t = 775 + -773. Sort -56, t, 4.
-56, t, 4
Let g = 18.88 + 0.12. Let c = g + -25. Let p = 3.95 - -0.05. Sort c, p, -0.4 in ascending order.
c, -0.4, p
Suppose -2*g - y - 7 = 0, -3*g + 7 = g - 5*y. Sort g, 0.2, -7 in ascending order.
-7, g, 0.2
Let p be 234/(-40) - (-1 - -7)*-1. Sort 5, -2/9, -5, p in decreasing order.
5, p, -2/9, -5
Suppose 26*g - 2*b + 14 = 21*g, -20 = 2*g + 4*b. Put 2, g, -1 in ascending order.
g, -1, 2
Suppose 3*u + 3 = 4*u. Let t = -2 + u. Put 5, -7, t in ascending order.
-7, t, 5
Let h = -2036 - -2035. Sort h, 54, -4, -3 in descending order.
54, h, -3, -4
Let p = -430 + 425. Put -6, 2, p in decreasing order.
2, p, -6
Let c = 282.77 - 284. Let h = -1.53 - c. Put 4, -0.5, h in decreasing order.
4, h, -0.5
Let g = -3.2 + 2.9. Let j = -3273/68 + 193/4. Let a be (36/10 - 3) + 8/(-30). Put g, a, j in decreasing order.
a, j, g
Let a(p) = p**2 + 9*p + 16. Let v be a(-7). Put v, 2/17, -5 in increasing order.
-5, 2/17, v
Let i be 5 + 2/(-3)*3. Suppose c + 3 - 1 = y, -2*y = -6. Suppose u = -c + i. Sort 0, -1, u in decreasing order.
u, 0, -1
Let q = 76.2 - 70. Let x = -6 + q. Put -3/4, -0.1, x, -5 in decreasing order.
x, -0.1, -3/4, -5
Let p be 84/105 + 372/(-15). Sort -4, 0, -3, p in ascending order.
p, -4, -3, 0
Let z be ((-6)/18)/((-2)/24). Let p(w) = -w**3 - 4*w**2 - 5*w - 2. Let m be p(-3). Suppose o - 3*o - 4 = 2*h, 4*o - m*h + 16 = 0. Sort o, -4, z.
-4, o, z
Let z be ((-12)/8)/((-9)/60). Suppose -8*y + z = -13*y. Let r be 6/9 - y/3. Sort r, 2/15, -2/11 in ascending order.
-2/11, 2/15, r
Let w = -19 + 21. Sort w, 28, -3 in ascending order.
-3, w, 28
Suppose 3*u + g + g + 27 = 0, -5*u - 26 = -3*g. Let z(f) = f**2 + 7*f + 8. Let k be z(u). Suppose 3*v + 16 = -k. Sort 2, 3, v.
v, 2, 3
Let i = 45 - 48