decreasing order.
7, j, -18
Suppose 3*d - 2*l - 3 = -4, 5*d + 4*l + 9 = 0. Let p be (d + (-6)/(-10))*-10. Suppose p*b + 5*v = 8, 3*b + 4*v - 5 = 1. Put 1, b, 1/2 in ascending order.
1/2, 1, b
Suppose -3*d + 5*k - 10 = 0, 7 = -3*d - 5*k - 13. Let s = -5 + 2. Put 1, d, s in increasing order.
d, s, 1
Let g = 8 - 65. Let q = 65.2 + g. Let t = 8 - q. Sort -0.4, 4, t.
-0.4, t, 4
Let k = -1085 - -959. Sort 5, 0, k.
k, 0, 5
Let k be 222/2 + -2 + 0. Let v = 112 - k. Put v, 35, 1 in descending order.
35, v, 1
Let l(c) = c**3 - 14*c**2 - 2*c + 12. Let y be l(14). Let d be 0 - (y/(-234) + (-10)/(-65)). Sort 2/7, d, -0.4 in descending order.
2/7, d, -0.4
Suppose 4*p - 5 = 7. Suppose 3*f + 8 = -3*v + f, 0 = -2*v + 3*f - 14. Let d = -4 - v. Sort d, p, 5.
d, p, 5
Suppose 5*i = -0*u + 4*u - 26, 4*u - 3*i - 22 = 0. Let g(s) = s**3 - 2*s**2 - 2*s - 1. Let n be g(2). Sort n, 0, u in ascending order.
n, 0, u
Let j be 20/(-4*(-3)/6). Let a be (-3)/42*j + 1. Let f = 698/5 - 140. Sort 1, f, a in decreasing order.
1, a, f
Suppose -g = -3*r + 7 - 15, 3*r = -4*g - 28. Let i(l) = 2*l**3 - 3*l**2 - 3*l - 2. Let u be i(3). Sort g, -2, u.
g, -2, u
Let n = 1902 - 1902.3. Let a = 10 - 7. Let v = a - 5. Sort n, v, 0.3.
v, n, 0.3
Let n = -0.137 + -31.863. Let y = -29 - 0. Let l = y - n. Put 5/4, -3/4, l in decreasing order.
l, 5/4, -3/4
Let x be 8/(-28)*63/135. Put 1, 2/11, x in increasing order.
x, 2/11, 1
Let t = -1715 + 1715. Let y = -1 - 4. Let f be 10/3*6/y. Put -5, t, f in ascending order.
-5, f, t
Suppose -4*c - 3*n = -15, 70*c = 71*c + 5*n - 25. Suppose 0 = -4*p - p + 10. Suppose -p = 2*k - 3*k - t, k + 5*t + 6 = c. Sort k, -3, 1 in ascending order.
-3, 1, k
Let t = 135.05 - 135. Let r = -3/115 - -251/805. Sort -1/3, t, 0, r in ascending order.
-1/3, 0, t, r
Suppose -f + c = 1, -6*f - 3*c + 6 = -8*f. Put 5, f, -1, 4 in descending order.
5, 4, f, -1
Let w(r) = -r**3 - 3*r**2 - 1. Let f be w(-3). Let z be (12/15)/(2/15) - 2. Let n = 0 + 14. Put f, z, n in increasing order.
f, z, n
Suppose 5*k = 0, -4*k = -4*o - 64 + 4. Let r be (-23 - -38) + 1 + -3. Let w = o + r. Sort w, -1, 5 in increasing order.
w, -1, 5
Let h be (-8)/6 + 1/3. Let i be (8 - h) + (-4)/(-1). Let u = i + -8. Sort -5, -1, u in increasing order.
-5, -1, u
Suppose -16*z + 39 = -3*z. Let q = -19 - -17. Sort 4, z, 2, q in decreasing order.
4, z, 2, q
Let v = 186 - 185. Let c be v + -2 - (-198)/231. Let g = 11 - 7. Put g, 3, c in decreasing order.
g, 3, c
Let b = -304 + 309. Put -22, b, 2, -3 in descending order.
b, 2, -3, -22
Suppose -5*t + 0*a + 2*a = -105, -48 = -t - 5*a. Suppose 22 = 2*g + 4*q, 0*g = 5*g + 2*q - t. Sort 1, g, -3 in decreasing order.
g, 1, -3
Let v(i) = -i**3 - 9*i**2 + 24*i + 24. Let c be v(-11). Sort 0, -4, 3, c in increasing order.
-4, 0, c, 3
Let k = -0.13 - 2.67. Let q = k + 5.8. Sort -3, q, -8/5 in decreasing order.
q, -8/5, -3
Suppose 9 - 2 = -3*u - 5*k, u - 2*k - 5 = 0. Put u, 2/5, -4/9 in decreasing order.
u, 2/5, -4/9
Let o = 37 - 36.64. Let i = o + -1.36. Sort -2, -5, 0.3, i in ascending order.
-5, -2, i, 0.3
Let i(b) = -1. Let f(g) = 2*g - 10. Let w(u) = f(u) - 2*i(u). Let k be w(3). Put -3, -5, k, 0 in descending order.
0, k, -3, -5
Let g = 2299 - 9197/4. Put 4, -6, g, -8 in descending order.
4, g, -6, -8
Let z be 4/2 + -2 - -2. Let j = 11 - 8. Suppose -4*n = -5*n - 5. Sort n, j, z in descending order.
j, z, n
Suppose -11*s + 8*s - 12 = 0. Let g = -4 - -6. Sort s, 3, g.
s, g, 3
Let a be 69/21 + 44/(-154). Put -4, -1, -0.4, a in decreasing order.
a, -0.4, -1, -4
Suppose 0 = 6*b + 5 + 19. Sort b, 17, -2 in descending order.
17, -2, b
Let j = -34 + 166/5. Let m be ((-24)/(-30))/(2/(-10)). Sort 0.1, m, 0, j in ascending order.
m, j, 0, 0.1
Let g = -6.2 + 4.9. Let t = g + 1.5. Sort 1/6, 0.1, t in increasing order.
0.1, 1/6, t
Let z be 6/4*(-30)/9. Let m be (-2)/(32/6) - (-1190)/272. Sort -1, z, 0, m.
z, -1, 0, m
Let v(k) = -k**3 + 3*k**2 + 4*k + 2. Let h be v(4). Let p(m) = -2*m**2 + 49*m + 23. Let j be p(25). Sort 5, -5, h, j in increasing order.
-5, j, h, 5
Let q(s) = s**2 - 74*s + 465. Let j be q(7). Sort 5, j, 11, 4.
j, 4, 5, 11
Let f(u) = u**2 + 5*u + 1. Let w be f(-2). Sort -8, 5, w in decreasing order.
5, w, -8
Let d be 3/2*10/(210/7). Sort 2, -2, -0.2, d in ascending order.
-2, -0.2, d, 2
Let k = -446.7 - -447. Put k, 1, 0.19 in ascending order.
0.19, k, 1
Suppose -3*c + 157 = 148. Sort 58, -4, c in decreasing order.
58, c, -4
Let i = -90 - -135. Let g = i - 46. Sort -4, 5, g.
-4, g, 5
Suppose -18 = -4*t + 18. Suppose t*l - 14 = -5. Put -4, 4, l in increasing order.
-4, l, 4
Let l = -97/5 - -301/15. Let q = -11 - -14. Sort 17, q, l.
l, q, 17
Suppose -7*w = 496 - 398. Let g = 4 + -2. Put w, g, 4 in increasing order.
w, g, 4
Let s = -0.1841 - -5.1841. Sort s, -4, 0.1, -3.
-4, -3, 0.1, s
Let h = -330.5 + 331. Put h, -2, -6, -6/11 in increasing order.
-6, -2, -6/11, h
Let s be (141/(-45) - 2) + 98/735. Put 193, 5, s in decreasing order.
193, 5, s
Let a = -3 + 4. Suppose -3*g = 15, -2*s + 12 = -2*g - 2. Suppose -s*q = 2*q. Sort q, a, -1 in ascending order.
-1, q, a
Let o = -589/12 - -148/3. Sort 2/3, o, 6 in ascending order.
o, 2/3, 6
Let i = -970.02 + 970. Sort i, -4/5, 16 in ascending order.
-4/5, i, 16
Let t = -1648 - -34598/21. Let s = -1/7 - t. Let x be (-9 - -7) + (-2)/2. Sort 0.5, x, s in ascending order.
x, s, 0.5
Let g(x) = -x**2 + 4*x - 5. Let c be g(2). Sort 22, 2, c in increasing order.
c, 2, 22
Let a be 0/(-3) - (-6)/(-10). Let u be 116/16 + (-1)/4. Suppose -12 = u*v - 4*v. Sort v, -0.4, a in descending order.
-0.4, a, v
Suppose 0 = -5*y - 0*y + 10. Let h = -3 - -3.2. Let f = h - 0.6. Sort -8, f, y in decreasing order.
y, f, -8
Suppose -3*j + 0*j - 15 = -2*q, -2*j - 10 = 4*q. Suppose -3*i + 2*i - 158 = 4*d, -d + i = 37. Let l = -45 - d. Sort -2, l, j in ascending order.
l, j, -2
Let o(t) = 2*t**3 + 4*t**2 - t. Let w be o(1). Put -4, 611, w in descending order.
611, w, -4
Suppose c + 2*p = 7*p - 14, -2*c - 3*p = -37. Suppose 15*b - c*b - 24 = 0. Sort 3, -5, b.
-5, 3, b
Suppose 0 = -t + p + 7, 3*t = 5*t + 5*p. Suppose -3*h - 8 = -t*l, 4*l + 0*l = -4*h. Suppose 2*n + l - 23 = 0. Put 0.4, n, 0.3 in ascending order.
0.3, 0.4, n
Let p = 0.3 - 4.3. Let k = 4.7 - -13. Let t = k + -17.3. Sort p, -12, t in decreasing order.
t, p, -12
Let o(n) = n**3 + 2*n**2 - 3*n + 1. Let m be o(-3). Let g be m + -5 + -894 + 2. Let j be (-2)/(-11) - g/154. Put 1, j, 5 in decreasing order.
j, 5, 1
Suppose 4*o = f - 47, -5*o = -4*f + 5 + 40. Let u = 24 - 41. Let s = u - o. Sort 4, -2, s in descending order.
4, -2, s
Let z = -31/572 - 1/44. Let i = z - 23/39. Put i, 0.2, 2/17 in descending order.
0.2, 2/17, i
Let s = 18 + -29. Sort s, -4, -3, -2.
s, -4, -3, -2
Let m(q) = 5*q + 115. Let y be m(-22). Sort -3, y, -5, -55 in decreasing order.
y, -3, -5, -55
Let z = -1/125 + -49/125. Put -6, 0.1, z in ascending order.
-6, z, 0.1
Let x = -18 + 11. Let f = 61 - 14. Let p = f + -139/3. Put -0.5, p, x in descending order.
p, -0.5, x
Suppose -4*l + 260 = -0*l. Suppose 3*c + 2*c - 4*u - l = 0, -39 = -3*c - 2*u. Let z = 11 - c. Put z, -5, 3 in ascending order.
-5, z, 3
Let g be 19/7 + 4/14. Let o be 1 - 1 - (-19 + (-13 - -31)). Put o, g, -5, -3 in increasing order.
-5, -3, o, g
Let d = -356 - -355. Sort -2.3, 1, d in increasing order.
-2.3, d, 1
Let q be (-1 - 0)/(-2*(-2)/(-100)). Suppose 3*k + 0*k - 15 = 5*l, 4*l = 5*k - q. Put 4, l, -4 in descending order.
4, l, -4
Suppose -24*t + 4 = -44. Put 0, -1, t, -38 in increasing order.
-38, -1, 0, t
Let g(m) = -2*m + 5. Let c be g(4). Suppose -305*u = -309*u. Put c, 4, -19, u in ascending order.
-19, c, u, 4
Let r = 19 + -19.16. Let w = -0.04 + r. Let x = 59 + -471/8. Put x, -3, w in increasing order.
-3, w, x
Let z = -2596 + 2595. Sort 4, z, -0.23, -12 in ascending order.
-12, z, -0.23, 4
Suppose -5*k - 14 = 2*d - 4*k, -3*k = -6. Let l be (32/(-6))/d + (-14)/(-24). Sort 0.3, 3, l in decreasing order.
3, l, 0.3
Suppose 0 = -3*v + 4*x - 31 - 25, -2*v - 28 = -5*x. Put -1, v, 1, -5 in ascending order.
v, -5, -1, 1
Suppose -2*y - 5 = -j, -y - 5*j + 10 = -6*y. Sort 4, -58, y, -1.
-58, y, -1, 4
Let n = -0.022 + -0.008. Sort 2/17, n, 0.2 in decreasing order.
0.2, 2/17, n
Let u be (-10)/(-4)*108/810. Put u, -9, 2, 1/2 in increasing order.
-9, u, 1/2, 2
Let i(t) = t**