 decreasing order.
-0.3, p, a
Let p(v) = -v**3 + 11*v**2 - v + 24. Let k be p(11). Let h(g) = 2*g**3 - 2*g**2 + 5*g - 1. Let u be h(2). Let w = k - u. Sort w, 1/4, 1, -1 in decreasing order.
1, 1/4, -1, w
Suppose 3*u = 2*j - 9 + 3, 2*j + 2*u = 6. Sort -5, 0, -296, j in descending order.
j, 0, -5, -296
Let c(h) = -h**3 - 14*h**2 - 2*h - 21. Let j be c(-14). Suppose -j = -9*v - 16. Sort -92, v, 1 in ascending order.
-92, v, 1
Let b = -32 + 37. Let s = -4 - -25. Let m = 17 - s. Put m, -0.1, b in decreasing order.
b, -0.1, m
Let a = -1195 + 1206. Put a, 4, 1/4, 2 in decreasing order.
a, 4, 2, 1/4
Let z = 346 + -344. Let b be z*6/(-12) + 3 + -2. Let i(s) = -2*s - 6. Let w be i(-4). Sort w, b, -5 in descending order.
w, b, -5
Let y = 105119/160 - 657. Sort 0.3, y, -0.4, 0.2 in descending order.
0.3, 0.2, y, -0.4
Let x(k) = k**2 - 218*k + 10576. Let c be x(73). Put 0, 3, 16, -1, c in descending order.
16, 3, 0, -1, c
Let g = 69.42 + -0.42. Let j = -72 + g. Put 1, 22, j in increasing order.
j, 1, 22
Suppose 3*f - 2*o + 124 = 0, -4*o = -3*f - 0*o - 134. Let g = 272 - 1908/7. Sort 0.3, 3, g, f in ascending order.
f, g, 0.3, 3
Let d = 6.158 + -61.158. Sort 2/3, 9/2, d in ascending order.
d, 2/3, 9/2
Let w = 2.9602 - -0.0398. Let o = 8.5 - 8. Sort o, w, -0.4 in decreasing order.
w, o, -0.4
Suppose 6 = -b - 12. Let g be (b/(-12))/(4/((-48)/(-9))). Put 1/2, g, -1 in descending order.
g, 1/2, -1
Let u(l) = -l**3 + 14*l**2 + 15*l + 3. Let o be u(15). Let r be (-58)/609*(-14)/o. Sort 0, r, 4.
0, r, 4
Suppose -2*l - 4*v = -9 - 1, -5*v = 4*l - 20. Let r(u) = -17*u + 84. Let g be r(l). Put 19, -4, g in increasing order.
-4, g, 19
Suppose 4*i - 4*b = 20, 5*i - 2*b - 10 = -0*b. Let u = -1/49 + 101/147. Let n = -10.4 - -15.4. Put u, n, -1/3, i in descending order.
n, u, i, -1/3
Let o = 0.938 - 1.138. Let f = 0.3 - 0.2. Put o, -3/14, f in decreasing order.
f, o, -3/14
Suppose -788 - 786 = 787*v. Put -571, -14, v in increasing order.
-571, -14, v
Let y be (314 - (-1 + 3)) + -2. Let m = -306 + y. Sort m, -2, 0, 2.
-2, 0, 2, m
Suppose 3*t = -3 - 3. Let n(s) = s**2 - s - 3. Let b be n(3). Suppose -5*i - 2702 + 2732 = 2*r, 0 = -3*r - 2*i + 23. Put b, -1, t, r in decreasing order.
r, b, -1, t
Let b be -4 - (-9 - (-318)/42 - 3). Put b, -1/19, -1, 4, 1 in ascending order.
-1, -1/19, b, 1, 4
Let h = 162 + -160.15. Let p = h - 5.85. Let r = 2.7 + -3.1. Sort p, -15/8, r in decreasing order.
r, -15/8, p
Let n = 582 - 981. Let c be (-57)/n - 1/7. Let t(u) = -2*u. Let x be t(-1). Sort x, 9, c in decreasing order.
9, x, c
Let f(g) = 3*g - 10. Let c be f(6). Let n(h) = -40*h + 4. Let p be n(-2). Let l be (2*-3)/2 + p/12. Sort c, l, 1 in increasing order.
1, l, c
Suppose 251*v - 253*v = -86. Suppose -3*o - l = -6*l + v, -o + 2*l - 15 = 0. Put o, -1, 4, 0 in ascending order.
o, -1, 0, 4
Let k be (-288)/160 - 1194/(-630). Put -2/5, -2, k, -11, 3 in descending order.
3, k, -2/5, -2, -11
Let b = 463.4 - 506. Let l = 20.6 + b. Sort -2, l, 2/13 in decreasing order.
2/13, -2, l
Let g = -0.5431 - -0.0941. Let f = 0.449 + g. Sort f, 2, -9/7.
-9/7, f, 2
Let r = 8032798/15 + -535825. Let t = -305 - r. Put t, -2/25, -3, 3 in decreasing order.
3, t, -2/25, -3
Let h(m) = -2*m - 7. Let c be h(-5). Let r(z) = z**2 - 4*z. Let b be r(c). Let g(j) = -2*j**2 + 20*j - 18. Let l be g(9). Sort 6, l, b in decreasing order.
6, l, b
Let l be -5 + (-217)/(-155) + 114/15. Let z be 0 - (1 + (-4)/5). Sort l, -1, z in descending order.
l, z, -1
Suppose 5*t = -x + 3 - 7, 2*x = 2*t - 20. Sort 25, 4, -5, x, -3 in descending order.
25, 4, -3, -5, x
Suppose -2 = -k - 0. Let c(f) = 15*f - 241. Let l be c(15). Put k, 0, l in increasing order.
l, 0, k
Suppose 0 = j - 5*r + 3*r - 8, j - 8 = -r. Suppose -1 = -0*u - u. Let p be (-9 - u)*4/(-10). Sort p, j, 2, -5.
-5, 2, p, j
Let s = 116 + 75. Let i = 194 - s. Sort -5, i, 0.1 in descending order.
i, 0.1, -5
Let i = 7499.5 + -7500. Sort -0.2, 4/5, 5/6, i in decreasing order.
5/6, 4/5, -0.2, i
Let t be (-20)/(-26)*(-1612)/248. Put 5, t, -13, -6 in descending order.
5, t, -6, -13
Suppose -442 = -3*j + 5*z, 4*j + 5*z + 36 = 532. Sort j, 0, 21 in decreasing order.
j, 21, 0
Let c(v) = v - v + 3*v + 5 - 3. Let f(n) = -n**2 + 12*n + 11. Let r be f(13). Let g be c(r). Sort 1, 5, g.
g, 1, 5
Let v = 8 + -6. Let p = 318030 + -318030. Sort v, -3, p, 5 in decreasing order.
5, v, p, -3
Let t = 533 - 534.2. Let l = -162 - -160. Put 2, l, -1/3, t in increasing order.
l, t, -1/3, 2
Let v = -0.07 + -0.03. Let u be 8/(-76) - 10500/(-23940). Sort 93, v, u.
v, u, 93
Let f be (-132)/(-22) - (-360)/(-62). Put 0.1, -1/7, -6, f, 3 in increasing order.
-6, -1/7, 0.1, f, 3
Let v(w) = -2*w**3 + 8*w**2 - 3*w + 4. Let k(m) = -m. Let n(r) = 2*k(r) - v(r). Let l be n(4). Put 3, 2, -34, l in decreasing order.
3, 2, l, -34
Let q = -4.3 + -0.7. Suppose 9*t - 68 = 31. Suppose t = -2*b + 15. Sort -2, b, 3/5, q in increasing order.
q, -2, 3/5, b
Let p = 30426 + -30425.884. Put p, -0.1, -10 in ascending order.
-10, -0.1, p
Suppose s + 22 = t + 4*s, 3*s - 74 = -5*t. Let f = 1360 + -1360. Put f, 1, t in increasing order.
f, 1, t
Suppose m + 24 = 7*m. Suppose 2*w = -a - m*a + 5, w - 4*a - 35 = 0. Let r be 4/(-5)*(-4)/(8/w). Sort r, 1/2, 0 in decreasing order.
r, 1/2, 0
Suppose -196*h - 2777 - 163 = 0. Sort 5, -52, 0, h in increasing order.
-52, h, 0, 5
Suppose -3*t + 3*r - 30 = 0, -5*t + 46*r = 44*r + 35. Sort -2, t, 2 in decreasing order.
2, -2, t
Let p = 3.8 + -3. Let b = -29.4 - -29. Let k = 7.24 + -9.24. Put k, b, p in ascending order.
k, b, p
Let g = 19529/6 - 3255. Sort g, -3, -11 in descending order.
g, -3, -11
Suppose 5*l - 20 = -j, l - 7 = -2*j + 2*l. Let x(t) = 7*t**2 + 4*t - 2. Let w be x(1). Suppose -13*i + w*i = -12. Sort 4, -4, i, j in ascending order.
-4, i, 4, j
Suppose -3*k - 11 = -2*f, 6*k = 2*k - 4. Let i = 285142/37737 - 2/4193. Let y = -8 + i. Sort -0.1, y, f.
y, -0.1, f
Let p(c) = 21*c + 257. Let d be p(-12). Sort 13, d, 21.
d, 13, 21
Let k = -2/287 - 162/287. Let y = k - -3/7. Suppose -5*t = -5*q - 5, 2*t - 4*q + 2 = -0*t. Sort -3, t, y in descending order.
t, y, -3
Let f(c) = c**3 + 13*c**2 - 19*c - 70. Let l be f(-14). Suppose l = 6*u + 164 - 134. Let s be (-2)/(-7) + (-4)/14. Sort u, 3, s, 2 in increasing order.
u, s, 2, 3
Let f = 20 + -15. Let q be (-6)/15 + (-3)/15*-12. Suppose 3 = -q*h - x, 0 = -2*h + x - 5 - 8. Sort 0, f, h in descending order.
f, 0, h
Let z be -4 + 7 + 4446/(-1494). Sort 5, z, -3/5, 0.4.
-3/5, z, 0.4, 5
Suppose -4*g - 21 = l, -3*g + 2 + 1 = 0. Let b(w) = 1160*w + 4635. Let j be b(-4). Sort -3, j, l in descending order.
-3, j, l
Suppose -2*z - 4 = 0, 329*z = -5*i + 328*z + 13. Put 2, -10, 6, 1, i in descending order.
6, i, 2, 1, -10
Let b(m) = m**2 - 20*m - 227. Let c be b(28). Sort c, 7, -14 in decreasing order.
7, c, -14
Let p = 4361 + -4364. Let l = 22 - 17. Put 0, l, p in increasing order.
p, 0, l
Let u = 26.1 + -26.1. Sort 30/29, 4, u in increasing order.
u, 30/29, 4
Let x = -5.133 - -5.44. Let s = x - 0.007. Put -12, 3, s in increasing order.
-12, s, 3
Let v = -13 - -21. Let l = -92 - -6. Let y = l + 86. Put -1/6, v, y in decreasing order.
v, y, -1/6
Let c be 2*(-6 + 2) + 1802/221. Sort c, 2/9, 1, 0, 4.11.
0, c, 2/9, 1, 4.11
Suppose -5 = -2*a + s + 8, 2*a + 5*s = -17. Suppose -4*t = 2*q - 24, 2*t - 6*t = a*q - 32. Put t, -14, -1 in increasing order.
-14, -1, t
Suppose 3*s - 18 = -6, -4*o - 3*s + 32 = 0. Let n = 22239 + -22232. Put o, -3, 2, n in descending order.
n, o, 2, -3
Let t = 127 + -126. Let o be (-1)/(-1) - (-1 + -3). Suppose -5*l - 3*f + 9 = 0, -2*f + 0 = 4. Sort l, o, t, -2 in decreasing order.
o, l, t, -2
Let o(z) = -2*z**3 - 2*z**2 - 2*z - 1. Let q be o(-1). Let y be 31 + (-20 - -8 - 15). Put -2, 98, y, q in descending order.
98, y, q, -2
Let a = 1253 + -1252.7. Put 0.117, a, -2/7 in decreasing order.
a, 0.117, -2/7
Let r = -181 + 180. Let z(u) = -3*u + 9. Let q be z(8). Sort r, q, 3, 2 in descending order.
3, 2, r, q
Let s be (-78)/104 + 524/16. Sort s, -2, 4 in decreasing order.
s, 4, -2
Let z = -2932 + 2931.7381. Let b = -0.0381 + z. Sort -4/3, -22, -6, b in decreasing order.
b, -4/3, -6, -22
Suppose 4*t + 9 = v, -36 + 45 = -3*t. Let q = -9 - -5. Put v, q, 30 in decreasing order.
30, v, q
Let h(s) = 83*s + 17. Let g be h(-9). Let y = -733 - g. Pu