 descending order.
l, 1, -1/6
Let v(f) = 5*f - 5. Let i be v(4). Suppose -2*g - 3*g + i = 0. Let q(m) = -20*m**2 - 100*m + 2. Let l be q(-5). Put -2, l, g in descending order.
g, l, -2
Let y = -2.7 - 0.3. Let z = -4.028 + 0.028. Let o = z - y. Put 6, 1/10, o in ascending order.
o, 1/10, 6
Let b = -31 - -31.1. Let n = -4.3 - -7.4. Let i = n - b. Sort i, 0.4, -1 in ascending order.
-1, 0.4, i
Let o(s) = -s**3 - 28*s**2 + 23*s - 178. Let b be o(-29). Sort b, 0.41, -2/5.
b, -2/5, 0.41
Let k = 25 - 25. Suppose 4*y + 53 - 9 = k. Sort 3, 5, y.
y, 3, 5
Suppose -4*m - 15 = m. Suppose -5*k + 10 = -0, -3*k = -4*f + 130. Let z = f - 30. Put m, z, -1 in decreasing order.
z, -1, m
Let g be 5/((-21)/(-6) - 4). Let n = g + 15. Sort -4, n, 3 in descending order.
n, 3, -4
Let p be ((-10)/(-165))/(14/(-21)). Sort -0.02, 1, 5, p in descending order.
5, 1, -0.02, p
Let u = -5 + 2. Suppose -2*d - v = -49, -100 = -4*d + v - 5*v. Let r = 20 - d. Sort r, 4, u in descending order.
4, u, r
Suppose 3*s - 95 = -83. Put s, -3, 67, -5 in ascending order.
-5, -3, s, 67
Let t = -3482/13 - -268. Let z be ((-224)/21 - -4) + 7. Sort 0.4, t, z in decreasing order.
0.4, z, t
Let u = 172.5 + -173. Let p = -8 + 4. Put u, p, 2 in increasing order.
p, u, 2
Let f = 0 + -5. Let j be (6/4)/((13/26)/1). Put f, j, 1 in increasing order.
f, 1, j
Let l = 29 - 24. Suppose 1 = 4*h + 21, 15 = 5*x - 5*h. Let b(u) = -u**3 - u**2 + 3*u + 1. Let y be b(x). Sort l, y, -3.
-3, y, l
Let z = 0.226 - 0.026. Let t = 1 + -0.5. Sort z, t, -4.
-4, z, t
Suppose d + 1 - 7 = 0. Let c = -55 - -51. Put 3, c, d in increasing order.
c, 3, d
Suppose -11*d - 760 = -705. Let i = 0.5 + -1. Sort d, -2, -0.1, i in increasing order.
d, -2, i, -0.1
Suppose 0 = 3*i + 3*i - 192. Let f = i + -97/3. Put f, 0, -1/9 in increasing order.
f, -1/9, 0
Let h = -770 + 6928/9. Put h, 2, 5 in descending order.
5, 2, h
Suppose -3*g + 43 = -4*z - 0*g, 0 = 4*z + 2*g + 18. Put -3, z, -5 in descending order.
-3, -5, z
Let y = 162 + -177.7. Let u = y - -16. Sort 0.2, u, 27 in decreasing order.
27, u, 0.2
Suppose 0 = -g + 11 - 13. Let p = -10 + 14. Sort -1, p, g in increasing order.
g, -1, p
Let k = -300 - -901/3. Sort -8, k, -0.3, -3 in increasing order.
-8, -3, -0.3, k
Let s = 0.0205 + 0.0195. Sort -7, s, -3/2.
-7, -3/2, s
Let g = -331 - -335. Put -15, -1, g, 0 in descending order.
g, 0, -1, -15
Let h be 33/12 - 2/(-8). Suppose h*b = -2*b + 20. Let c = -0.85 - -0.75. Sort 2/7, b, c in ascending order.
c, 2/7, b
Let i = -1.263 + 12.963. Put i, -0.5, 1 in ascending order.
-0.5, 1, i
Suppose -h - 4*h - 65 = 0. Let l = h - -8. Let i = -29/4 - -35/4. Put 1, l, i in decreasing order.
i, 1, l
Suppose -2 = -0*v + 2*v. Let u = -37 - -37.17. Let o = 0.57 - u. Sort o, 3, v in decreasing order.
3, o, v
Let w = 0.22 - 3.02. Let u = 1.4 + -0.2. Let z = w - u. Sort 0.2, -3/4, z in ascending order.
z, -3/4, 0.2
Let y be (-2002)/(-2145) + (-4)/(-10). Sort -129, y, -0.2 in ascending order.
-129, -0.2, y
Let s(d) = 2*d + 6. Let o be s(-8). Let p(q) = q**2 + 10*q - 4. Let c be p(o). Let f be (108/20)/3 - 3/(-15). Put f, -1, c in ascending order.
c, -1, f
Suppose -6*m + 1 = -23. Let t = 226 + -242. Suppose -q = -4*q - 12. Sort t, m, q.
t, q, m
Let i(g) = g**3 + 9*g**2 - 4*g - 21. Let w be i(-9). Put w, 5, -4 in descending order.
w, 5, -4
Suppose 4*s = 3*x + 10, x = 4*s - 2 - 4. Let y(o) = o**3 + 7*o**2 + 5. Let a be y(-7). Suppose -3*w - a = 4, 2*w - 14 = -4*q. Sort x, -6, q in increasing order.
-6, x, q
Let r be (5 - 11)*57/(-9). Let y = r - 43. Sort -1, 3, y in increasing order.
y, -1, 3
Suppose 2*r + 2 = -4*j - 8, -3*r + 3*j = 6. Let o(k) = -77*k - 695. Let w be o(-9). Sort r, 5, w in increasing order.
r, w, 5
Let a = -221 - -224. Sort -1/19, a, 0.1.
-1/19, 0.1, a
Let h = 290.7 + -291. Let p = 0 - 1. Let s = p + -2. Put 0.5, h, s in decreasing order.
0.5, h, s
Let f = -421 + 7998/19. Put 5, f, -4/3 in increasing order.
-4/3, f, 5
Let c be (-4)/34 - (7 + 11752/(-1632)). Put 4, 8, c, 1/8 in descending order.
8, 4, 1/8, c
Let r = 2221 + -2223. Suppose 0 = n + 6 - 0. Sort -5, -4, r, n.
n, -5, -4, r
Let c be 6/(-39) - 14/(-91). Suppose 5*o - 4*v = 36, c = -4*o + 2*v - v + 31. Sort o, 3, -5 in ascending order.
-5, 3, o
Let n(v) = -v**2 + v + 22. Let m be n(0). Suppose 44*o - 30 + 30 = 0. Suppose c - 25 + m = o. Sort 1, c, -5 in decreasing order.
c, 1, -5
Let t = 650 - 649.5. Put -2/5, t, 1, 0.2 in increasing order.
-2/5, 0.2, t, 1
Let i = 1221/7 - 175. Put 0.4, i, 12, -5 in decreasing order.
12, 0.4, i, -5
Let x be -6 - -4 - (-15)/8. Let c = 5.442 - 0.442. Put c, x, -1 in increasing order.
-1, x, c
Let i be ((-12)/15)/((-7)/((-875)/10)). Sort 2, i, 0 in decreasing order.
2, 0, i
Let k = -2.1 - -1.8. Let j = -0.6 - k. Let a = 13 + -64/5. Put -2/19, a, j in descending order.
a, -2/19, j
Suppose -7 = -8*w + 17. Let d(r) = -2*r**3 + 3*r**2 - r. Let g be d(2). Let p = g - -4. Put -1, w, p in ascending order.
p, -1, w
Suppose 15 = 5*c, m - 2*c + 5 = -3. Let r be (-3)/1 + (-10)/m. Suppose -r*v = n + v + 16, 20 = -4*v. Sort n, 1, -4 in decreasing order.
1, n, -4
Let g = -9 - -11. Suppose -3*q = m - 8, -3*q + g*m = -5*q + 8. Let x be (-5 - -5)/(0 + q). Put -3, 5, x in decreasing order.
5, x, -3
Let h = -0.3 - -0.6. Let i = 3182 - 22275/7. Put h, -0.02, i in ascending order.
i, -0.02, h
Let i(a) = 5*a**3 + 39*a**2 - 6*a + 16. Let k be i(-8). Put k, -19, -1, 1 in ascending order.
-19, -1, k, 1
Suppose -34*t - 72 = 2*t. Sort t, 114, 1/2, -1.
t, -1, 1/2, 114
Let t(y) = -7*y**3 + 2*y**2 + 7*y + 5. Let r be t(-1). Put r, 9, 0 in decreasing order.
9, r, 0
Let s = 1310 + -1304. Put 2, s, -28/3 in increasing order.
-28/3, 2, s
Let s(b) = -41*b - 864. Let o be s(-21). Suppose -7 = -5*m + 8. Sort -2, m, o in decreasing order.
m, -2, o
Let y = -15.82 + 16. Let i = y - 0.28. Put 3, i, 2/19 in descending order.
3, 2/19, i
Let v(s) = s**2 - 5*s - 13. Let n(h) = -h - 1. Let f(z) = -n(z) + v(z). Let u be f(6). Put -1, 4, u, -6 in descending order.
4, u, -1, -6
Let g(i) = 4*i - 19. Let v be g(5). Suppose -20*x - 17 = -3*x. Put x, -4, v, -7 in increasing order.
-7, -4, x, v
Let u be 2/(-7) - 9/(-7). Suppose 0 = 6*d + 31 - 1. Sort d, u, 5 in descending order.
5, u, d
Suppose z - g - 1 = 0, 5*z - 2*z - 5*g + 3 = 0. Let w = 2430 - 9719/4. Sort w, z, -0.08 in increasing order.
-0.08, w, z
Let c(f) = -f**2 + 21*f + 130. Let r be c(26). Put 84, -5, r in increasing order.
-5, r, 84
Suppose 0 = 13*l - 150 + 20. Put -4, 5, 3, l in descending order.
l, 5, 3, -4
Let d = 6 - 6.3. Let l = 962/3 + -321. Sort 2, d, l, 0.1 in decreasing order.
2, 0.1, d, l
Let u = 0.1 + 8.9. Let d = u + -10. Put d, -4, 3 in descending order.
3, d, -4
Let p = -5.06 - -0.06. Let g = p + 4. Let q be (-8)/(-10) - (5 + (-244)/60). Put q, 2/3, g in ascending order.
g, q, 2/3
Let i = 104 + -106. Let n(f) = -f**3 + 5*f**2 + 7*f - 3. Let q be n(6). Suppose 2*d = -5*w + 13, -5*d + q*w + 10 = 8*w. Put i, 0, d in ascending order.
i, d, 0
Suppose 11*h + 10 = 16*h. Suppose -n + 5 = -z, -5*z = -h*n + 3*n - 11. Let u be 0/(-1 + n/3). Put 4, u, -6 in decreasing order.
4, u, -6
Let y = 0.064 + -50.064. Let b = y - -45. Sort b, 0, -2/27 in decreasing order.
0, -2/27, b
Suppose 21 = 10*m - 3*m. Let x be (2 - 1)*1*0. Put m, x, 2 in increasing order.
x, 2, m
Let m be (-2)/(3/(-1) + 1). Suppose 0 = -3*t - 3*k + 3, 0 = -k - m. Suppose -804 = -7*p - 818. Sort -3, p, t in ascending order.
-3, p, t
Let z(h) = 3*h + 18. Let q be z(-6). Sort 2, q, 3, -20 in ascending order.
-20, q, 2, 3
Let d = 20827 + -20827.09. Let l(h) be the second derivative of -h**3/2 - h**2/2 - h. Let v be l(-2). Sort v, d, 1 in descending order.
v, 1, d
Let b(g) = -9*g + 188. Let d be b(21). Sort d, -11, -4, 2 in ascending order.
-11, -4, d, 2
Let v = -0.425 - -3.425. Sort 0.05, 6, -3, v.
-3, 0.05, v, 6
Let f = -14 + 17. Suppose -w - 9 = 5*r, -f*r - 2 + 1 = 5*w. Let l(o) = -2*o - 3. Let j be l(r). Put 0, 3, j in descending order.
3, j, 0
Let j = -788 + 1585/2. Put 3/7, -7, j, 1 in descending order.
j, 1, 3/7, -7
Let w be (1 - -3)*(-3)/(-6). Suppose -5*t + w*u + 26 = 0, -t + 10*u - 4 = 5*u. Let s(y) = y**2 + 4*y - 1. Let v be s(-2). Put t, -3, v in decreasing order.
t, -3, v
Let w(i) = -2*i - 2. Let b be w(5). Let f be b/(-7) + 4/14. Suppose -f*n + n - 22 = -4*o, -o = -5*n 