scending order.
3, -0.5, n
Let m = -11.9384 - 0.0616. Sort m, -4, -3.
m, -4, -3
Let x be -43*(0 + (-36)/9). Sort x, 2, -4 in descending order.
x, 2, -4
Let k(c) = 2*c**2 - 108*c - 226. Let a be k(56). Put -23, -1, a in decreasing order.
-1, a, -23
Suppose 0 = f - 7 + 3. Suppose 4*g - u + 20 = u, 24 = -f*g + 4*u. Sort -5, 5, g in ascending order.
-5, g, 5
Let t be 1/((4/2)/2). Let m be (-8)/(-18) - (-11390)/90. Let y = m + -130. Sort y, 8, t in decreasing order.
8, t, y
Let h = 14 - 7. Let p(x) = 3*x**2 - 8*x + 2. Let n be p(3). Let i be -3*(n + -7 + (-29)/(-15)). Sort h, -1, i in increasing order.
-1, i, h
Let w = 0.4 - -1.6. Let p be 25/15 + (-68)/36. Sort w, -0.5, p, -0.1 in decreasing order.
w, -0.1, p, -0.5
Let b be (4/(-8))/((-1)/8). Suppose 20 = -5*u + 2*a, b*u - 4 = 5*u + 3*a. Sort 5, u, 6 in increasing order.
u, 5, 6
Let o = 13380.3 - 13380. Suppose 2*q + 20 = -3*q. Put q, 0, o, -5 in ascending order.
-5, q, 0, o
Let i(m) = m**3 + 4*m**2 + 5*m + 5. Let a be i(-2). Sort 0.8, a, 4 in decreasing order.
4, a, 0.8
Let r = 10.9 + -11.37. Let n = -0.07 - r. Sort 1, n, 2/3.
n, 2/3, 1
Let y = 27 + -32. Let i = 31.8 + -32. Sort y, -8/9, i in decreasing order.
i, -8/9, y
Suppose 0 = b, -2*f - 9*b = -14*b + 24. Put f, -9, -2, -1 in decreasing order.
-1, -2, -9, f
Let d be (-2 + 12/5)/(1/5). Suppose -2*h + d*y = -2, 3*h = h + y. Suppose 16 = 2*r + 2*r. Sort r, -3, h in decreasing order.
r, h, -3
Let a = -5.2 + 7.6. Put a, -3, -2 in increasing order.
-3, -2, a
Suppose -9*i = -12*i + 3. Let o be -6 + 2 - (-1)/i. Let h be 8/3 - 2/3. Put 0, o, h in increasing order.
o, 0, h
Let m be (6/9)/((-2)/(-9)). Suppose 3*g + 0 - 6 = 3*v, m*v = 2*g - 1. Suppose 0 = 5*x - g, 2*i + 6 = -2*x - 2. Put i, -2, -3 in decreasing order.
-2, -3, i
Suppose 0 = 900*j - 916*j + 32. Sort j, -2, -695, 0 in decreasing order.
j, 0, -2, -695
Suppose 5*w - 8 = 3*w. Suppose 2*y = -3*l - 2, y + 16 = w*y - 5*l. Let b be ((-3)/(-2) - -1)*-2. Put y, -1, b in descending order.
y, -1, b
Let q = 99/4 - 701/28. Suppose 446*l - 4 = 447*l. Put l, -0.3, q in increasing order.
l, -0.3, q
Let j(z) = z - 11. Let n be j(6). Suppose 5 = m + 1. Sort n, -3, 5, m in descending order.
5, m, -3, n
Let x be (-3 - 0) + 0/(-2). Suppose 7*o - 3*o - 10 = t, -2*t = -o - 1. Sort x, -1, t.
x, -1, t
Suppose 4*a = 4*p - 48 + 4, 0 = -2*p + 5*a + 16. Let q be 5/2*(-4)/(-5). Sort p, q, 5, 4.
q, 4, 5, p
Let v(g) = -g - 4. Let b be v(0). Let a = 0 + b. Put 5, a, -3 in ascending order.
a, -3, 5
Let t = 0.6 - 0.1. Suppose 2*q + 19*p + 18 = 15*p, 2*q - 6 = 2*p. Sort t, q, 0.2 in ascending order.
q, 0.2, t
Let c = -31 - -27. Let x(g) = g**2 + 6*g - 9. Let h be x(c). Sort -5, 4, h in decreasing order.
4, -5, h
Suppose 171*n + 24 = 179*n. Put n, 34, -2, 1 in ascending order.
-2, 1, n, 34
Let z(j) = 3*j. Let o be z(-1). Suppose 4*h - 34 - 22 = 0. Let t = h - 22. Sort 3, o, t in descending order.
3, o, t
Let c(f) = -f**3 + 4*f**2 - 2*f + 25. Let k be c(5). Put 3, k, -2, -0.1 in descending order.
3, -0.1, -2, k
Let i(z) = 5*z**2 - 3. Let d be i(-2). Let v = d + -22. Sort v, 2, -2/3 in increasing order.
v, -2/3, 2
Suppose -16*g + 20*g - 8 = 0. Suppose -l = g*o + 3*o - 16, -4*o = 4*l - 48. Let i = l - 16. Sort i, 4, -4 in descending order.
4, -4, i
Suppose 3*w - 74 = -2*a, 5*a - 2*a - 77 = 4*w. Let i = 34 - a. Sort -3, 1, i.
-3, 1, i
Let c = -26 + 47. Let z = c + -16. Sort z, -1/2, 0 in increasing order.
-1/2, 0, z
Let u = 34 + -40. Let t be ((-2)/u)/(11/(-132)). Sort t, 5, 4.
t, 4, 5
Let g = -141 + 136. Let f(l) = -4*l**2 - 19*l + 4. Let b be f(g). Put b, -2, -3 in decreasing order.
b, -2, -3
Let i be 2/(-6) + (-7)/(-21) + 4. Sort -2, 2, i, 3 in descending order.
i, 3, 2, -2
Suppose 2 = -4*w + 2*b, -b - 1 = -w - 0*b. Suppose -4*n - 7 - 5 = 0. Let c be (30/(-9) - w)*n. Sort 3/5, -3, c.
-3, 3/5, c
Let a = 71548 + -933411/13. Let d = 253 + a. Let h = -0.9 + 1. Sort h, -0.06, d in increasing order.
-0.06, h, d
Suppose 138 = 3*n + 36. Let k = -37 + n. Sort -2, k, -5.
-5, k, -2
Let k(d) = -2*d**3 - 30*d + 30. Let z be k(1). Sort 95, 1, z, 5 in ascending order.
z, 1, 5, 95
Suppose d + 5*g + 14 + 6 = 0, -3*d - 4*g - 16 = 0. Suppose -2 = -6*z + 4. Put 2, d, z, 4 in increasing order.
d, z, 2, 4
Let x = -3 - -3.3. Let n be (1 - -1) + 80/(-24). Let c = 4/9 - 38/45. Sort x, c, n.
n, c, x
Suppose -d = -5*j - 13, 4*j = -j - 5*d + 5. Suppose -q + 3*q = 32. Put j, q, -3 in decreasing order.
q, j, -3
Let r = -35.3 - -35.1. Sort 49.1, r, 4/5 in descending order.
49.1, 4/5, r
Let c = 50 - 49.7. Let l = 2.01 + -0.01. Let m = 12 - 15. Put l, m, c in descending order.
l, c, m
Let t be (-2 - -2)/(14 + -15). Sort -0.3, t, 2/41 in decreasing order.
2/41, t, -0.3
Let c = -2 + 2. Suppose 4*l = -8, x - 4*l + 4 = -x. Let d be (4/(-35))/(x/(-30)). Put d, c, -2 in descending order.
c, d, -2
Let k be 24/(-4)*(-4)/(-32)*4. Sort 4, 5, k, -5 in decreasing order.
5, 4, k, -5
Let b = -122 - -72. Let j = b + 50.5. Put -2/11, j, 0.1 in decreasing order.
j, 0.1, -2/11
Suppose 0 = -4*w - 2*n - 6, w + 0*n - 5*n = -29. Let u(t) = 3*t**2 - 21*t + 8. Let y be u(7). Let v be 8/(-2)*2/y. Put v, w, -3 in descending order.
v, -3, w
Let s = -28.2 + 28. Suppose 4*q - q = 0. Suppose -5*k - 4 + 9 = q, 3*k = 4*f + 19. Put s, -1/10, f in ascending order.
f, s, -1/10
Let n = -0.09 + -1.91. Let l = n + 0.2. Let x = -1.4 - l. Put x, 9, -3 in descending order.
9, x, -3
Let z = -77 + 387/5. Let q(m) = -m**2 + m + 22. Let n be q(-4). Suppose -s - 3*d = -17 + 7, s - n = d. Sort z, s, -4 in increasing order.
-4, z, s
Suppose 4*s + q - 24 = 5*q, 2 = 5*s + 2*q. Suppose -7 = 2*b - c, -5*b + 4*c - 11 = 14. Sort s, b, 7, -2 in decreasing order.
7, s, b, -2
Suppose 3*f - 4 + 43 = 0. Suppose -4*u + 15*v = 13*v + 14, 0 = -u + 2*v - 5. Sort 1, f, u in decreasing order.
1, u, f
Suppose -12 = 2*j + j. Put j, 2, 1, 5 in increasing order.
j, 1, 2, 5
Suppose 0 = -5*l - l. Let z = 2 + l. Suppose 3*s - z*y = -4*y + 1, -14 = 3*s - y. Sort s, -8, -2 in decreasing order.
-2, s, -8
Let x = -2 - -1. Let v(i) be the third derivative of i**6/120 + i**5/5 - i**4/12 - 13*i**3/3 - 6*i**2. Let k be v(-12). Sort k, -5, x in increasing order.
-5, k, x
Let n = 7 - 7.08. Let f = n + -1.02. Let m = 0.6 + f. Sort m, 2, 1 in increasing order.
m, 1, 2
Let x = 569 + -604. Put x, 5, -2 in increasing order.
x, -2, 5
Let x be (-1 - -22)*-6*8/144. Put x, 7, 4 in descending order.
7, 4, x
Let m(w) = -16*w + 13. Let i be m(4). Let y be (-34)/i + (-1)/(-3). Put y, 4, 25 in decreasing order.
25, 4, y
Suppose -4*x - 5*k + 8 = 0, -x + 0*x = -4*k + 19. Let d(b) be the first derivative of 5*b**2/2 + 10. Let j be d(x). Put j, -4, -3 in descending order.
-3, -4, j
Let w be (8/3)/(5/(-30)*-8). Sort w, 1, -1, 4 in increasing order.
-1, 1, w, 4
Let r = -31 + 22. Let l = 1 - r. Suppose 2*v + v + h + l = 0, -2*v + 2*h = -4. Sort 4, -1, v in increasing order.
v, -1, 4
Let n be ((-8)/6)/((-2)/3). Suppose -n*a + 3*m - 13 = 0, 0*m + m = 3. Let r = -1382 + 1385. Sort r, a, 4 in increasing order.
a, r, 4
Let k = 150 - 150.1. Put -0.2, -3, -1, k in descending order.
k, -0.2, -1, -3
Let l be 4*((-30)/(-36))/(25/(-15)). Sort 2, l, 1.
l, 1, 2
Let w = 6 + -11. Let l = -0.1393 - -0.2393. Sort 1, w, l, -1/2 in decreasing order.
1, l, -1/2, w
Let x(o) = -o - 7. Let j be x(-8). Let q(g) = -2*g**3 + 42*g**2 - g + 25. Let a be q(21). Put a, -1, j in decreasing order.
a, j, -1
Let o = -0.62 + -1.38. Sort 0.1, -0.09, 4, o in ascending order.
o, -0.09, 0.1, 4
Let t = -44 - -23. Let r = -0.34 + -9.66. Let p = r - t. Put p, -3/4, -1/6 in increasing order.
-3/4, -1/6, p
Let d = -896 - -891. Put d, -11, 5/4 in decreasing order.
5/4, d, -11
Let w(q) = q**3 - 4*q**2 - 7*q + 8. Let t be w(5). Let v be 4/t*(-12)/8. Put v, 2, -2 in ascending order.
-2, 2, v
Let d be ((-374)/(-33)*-6)/(-4). Put 3, 19, d in descending order.
19, d, 3
Suppose 2*q = 3*q + 2. Let p be 1/q*12/(-27). Let c be (-3)/2*6/(-3). Sort p, c, 4 in descending order.
4, c, p
Suppose 16*q - 10 = 12*q + s, -5*s - 12 = -q. Sort 5, q, 3, 8.
q, 3, 5, 8
Suppose u - 17 = 2*d, 6*d - 5*u = 3*d - 8. Sort -3/8, 5, 0.02, d in increasing order.
d, -3/8, 0.02, 5
Suppose -b = -3*n + 7, 3*b = -3*n - 0*b + 3. Suppose -p + n = -0*p. Suppose -p*y - 6*t + 10 = -t, -3*t = 3*y - 15. Put 0, y, -4 in descending order.
y, 0, 