2 in descending order.
t, -0.2, -2
Let l = -103 + 102. Sort 9, -3, l in decreasing order.
9, l, -3
Let v = -2775/4 + 30487/44. Let t = -10/9 - -74/99. Let b = v - t. Sort -2/7, b, -0.2 in ascending order.
b, -2/7, -0.2
Let o be 2/5 - (-57)/(-5). Let w(u) = -u**2 - 13*u - 18. Let c be w(-11). Suppose c*x = 3*x + 5. Put x, o, -3 in increasing order.
o, -3, x
Let m(g) = g**2 + 4. Let i be m(-4). Suppose 5*r = r - i. Sort r, 1, 0 in decreasing order.
1, 0, r
Let p(u) = -12*u - 97. Let n be p(-8). Sort -4, 3, -14, n.
-14, -4, n, 3
Let n = 5 + -8. Let c = -0.146 + 0.066. Put n, c, 2 in descending order.
2, c, n
Let f(b) = -9*b + 448*b**2 - 447*b**2 - 36 + 28*b. Let v be f(-21). Let n(k) = k**2 + 3*k - 4. Let p be n(-3). Sort p, v, -3 in decreasing order.
v, -3, p
Let o = 155.5 + -155.2. Suppose -4*g = -g + 21. Let q be 16/g - (0 + -2). Put q, -5, o in ascending order.
-5, q, o
Suppose 0*b - 4*b + 19 = s, b - 19 = -5*s. Sort -40, s, -1 in decreasing order.
s, -1, -40
Suppose 0*w - 10 = 5*w. Let g = -3178 + 3175. Sort w, g, -4, 3 in descending order.
3, w, g, -4
Let g = 2.061 - -0.099. Let u = 0.84 + g. Put 0.4, u, 30 in increasing order.
0.4, u, 30
Let a = 678 - 818. Sort -3/5, 1, a.
a, -3/5, 1
Let k = 3.22 - 4.22. Put -4, 3, k, -13 in descending order.
3, k, -4, -13
Let g be 7 - 2256/224 - (-1)/14. Suppose -7*i + 16 = -3*i. Put i, 2, g in descending order.
i, 2, g
Suppose 6*v + 8 = -40. Let x be 3/((-1)/v*6). Put 13, x, 0 in descending order.
13, x, 0
Suppose 2*r = -3*r. Suppose 3*n - 15 = -r*n. Suppose 0 = -y + n*y. Put y, 3, -13 in decreasing order.
3, y, -13
Let u = 37.3 - 37.8. Sort -4, u, 0.2, 6 in increasing order.
-4, u, 0.2, 6
Let r = -118.4 + 119. Sort -25, -5, r in descending order.
r, -5, -25
Let r = -18.64 + -27.36. Sort -1, 4, r, 3 in descending order.
4, 3, -1, r
Let g(p) = -3*p - 10. Let k be g(-6). Let i be ((-2)/k)/((-6)/(-16)). Let t = 4.044 + -0.044. Sort i, -2/11, t in descending order.
t, -2/11, i
Let c(r) = 2*r**2 - 3*r - 3. Suppose 2*x - 17 = -5*q, -5*x + 20 = 3*q + 2*q. Let o be c(q). Suppose 3*z + o + 0 = 0. Sort z, -4, -1.
-4, z, -1
Let a be (-1)/(3/(-13)) - 1184/888. Sort -68, -3, a, 2.
-68, -3, 2, a
Suppose -672 = -114*g + 82*g. Sort g, 13, -4 in increasing order.
-4, 13, g
Let x(p) = -p**2 - 19*p + 36. Let n be x(-15). Let h be (-1)/6 - 2/n. Sort -4, h, 1.
-4, h, 1
Let h be (-12)/(-18)*6/4. Let r be (9/6 - h)*-2. Let i be (-1 - -6)/((2 + -3)*1). Put i, r, 0 in ascending order.
i, r, 0
Let v be -2 + (-1*(3 + -1) - -6). Sort 4, -6, -3, v in descending order.
4, v, -3, -6
Let g(r) = r**3 - r**2 - 5*r - 2. Let a be g(3). Let l = 9 - 2. Suppose -l*p = -2*p. Put 4, p, a in descending order.
4, a, p
Let h(p) = 35*p + 486. Let b be h(-14). Let j be (-8)/3 + (-1)/3. Put b, 4, j, -6 in decreasing order.
4, j, b, -6
Let a(b) be the second derivative of -b**4/12 - 3*b**3 - 35*b**2/2 + 24*b. Let o be a(-16). Put 2, -1, o in descending order.
2, -1, o
Suppose -231*n = -226*n - 45. Let d be (2*-2)/(1/(-1)). Put d, -1, n, 3 in decreasing order.
n, d, 3, -1
Let o = -71.5 + 70.3. Sort o, -0.4, 4, 5 in ascending order.
o, -0.4, 4, 5
Let f = 330 - 334. Sort f, 0, 7 in descending order.
7, 0, f
Suppose -209*y - 25 = -214*y. Sort 4, -1, y in decreasing order.
y, 4, -1
Let t(k) = -6*k + 31. Let d be t(5). Let q = d - 4. Put q, 5, 3 in increasing order.
q, 3, 5
Let c(j) = -j**3 + 11*j**2 + 13*j - 9. Let o be c(12). Let u be o + 12/4*-3 - -3. Let w be 3*6*(-2)/9. Put w, u, 6 in decreasing order.
6, u, w
Let k be 4 + -2 + 3*-2. Let x be (-50)/15 + (-1)/(-3). Put 0, k, x in ascending order.
k, x, 0
Let f = -61.7 + 57.7. Sort 5/3, 0.017, f, 2/5 in increasing order.
f, 0.017, 2/5, 5/3
Let w = -4/133 - -6/19. Sort w, -3, 3 in decreasing order.
3, w, -3
Suppose 5*q - 26 = -2*l - 41, 4*l = -2*q - 22. Suppose c + 2*p + 3 = -p, -5*c = 2*p - 11. Put l, c, 1 in decreasing order.
c, 1, l
Suppose -25*k + 28*k = -18, 2*w + 16 = -4*k. Suppose -4*c - 1 + 21 = -4*n, 3*n + 2*c = 0. Let v = 0 + 1. Put w, n, v in decreasing order.
w, v, n
Let i(q) = 2*q - 20. Let g(f) = -f + 10. Let w(a) = -7*g(a) - 3*i(a). Let d be w(8). Sort -3, d, -13 in decreasing order.
d, -3, -13
Suppose -2*h + 2 + 8 = 0. Suppose -z = 2*z + h*s, 4*s - 2 = -2*z. Let g = z - -6. Put g, 2, 9 in decreasing order.
9, 2, g
Let d(f) = -17*f - 17. Let p be d(-1). Suppose -4*k = k + 10. Put k, p, 5 in decreasing order.
5, p, k
Let z = 1670 + -1672. Put 5, 155, z, -5 in decreasing order.
155, 5, z, -5
Let v(q) = 378*q - 1139. Let g be v(3). Suppose -5*t - 5*k = -3*k - 30, k = 5. Sort -4, g, 12, t in descending order.
12, t, -4, g
Let v(x) = 2*x**2 + 17*x + 5. Suppose -25 = -5*y - 80. Let d = y + 3. Let p be v(d). Put 3, p, -4 in descending order.
3, p, -4
Let o = 1068.581 - 1068. Let x = -0.081 + o. Sort 2/17, 3/5, x, 3 in decreasing order.
3, 3/5, x, 2/17
Let r be 4/6*(-3)/2. Let a = 16947 + -16940. Put 2/21, r, a in descending order.
a, 2/21, r
Let k = -9.5 - 1.3. Let t = 35 + -24. Let p = t + k. Sort p, -4, -2 in ascending order.
-4, -2, p
Let s = 1.32 + 5.68. Put -1/4, s, -5, 0 in ascending order.
-5, -1/4, 0, s
Let o(d) = -4*d - 4. Let g(k) = k - 1. Let n(i) = -3*g(i) - o(i). Let u = -6 + -5. Let q be n(u). Put q, 3, 1 in descending order.
3, 1, q
Let t = -3 + 5. Let j(n) = n**3 + 2*n**2 - 10*n - 1. Let h be j(-4). Let c(w) = w**2 - 3*w - 27. Let o be c(h). Put t, 0, o in descending order.
t, o, 0
Let c(x) = -11*x**2 - 22*x - 2. Let j be c(-2). Put j, -32, 4, -1 in descending order.
4, -1, j, -32
Let m = 0 + 1. Let i be (3/(-1) + (-20)/(-4))/(-9). Sort i, -3, -11/2, m in increasing order.
-11/2, -3, i, m
Let p be 12/6 - 4/(-1). Suppose 10*o - 13*o - p = 0. Sort o, 3, 2 in ascending order.
o, 2, 3
Let v = 1.75 + 1. Let z = 2.7 - v. Sort 3/7, z, -0.1 in decreasing order.
3/7, z, -0.1
Let a = -397 - -1193/3. Put 2/61, 4, a in ascending order.
2/61, a, 4
Let u = -86.7 + 90. Let b = -19 - -16.2. Let d = u + b. Put -4, -1, d in decreasing order.
d, -1, -4
Let r be (-300)/(-70) + 2/(-7). Suppose -5*k = -r*p + 31, -5 = -p - p - k. Suppose 2*u + 3*u = -10. Sort p, u, 1 in ascending order.
u, 1, p
Let l = 560 - 562. Sort -11, l, -24, 0 in increasing order.
-24, -11, l, 0
Let g(v) = -v - 12. Let y be g(5). Let a = 130 - 129. Sort 5, a, y.
y, a, 5
Let c = 4 - -1. Let q = 5 - c. Sort 1/4, 0.4, q in ascending order.
q, 1/4, 0.4
Let d = -214 + 202. Put 2, d, 3 in increasing order.
d, 2, 3
Let k = -13 + 9.7. Let r = -3.2 - k. Sort -1/7, -1, r, 1/3.
-1, -1/7, r, 1/3
Let l = -276 - -161. Let o = l + 114. Sort 0, 3, o, -2/5 in descending order.
3, 0, -2/5, o
Let i be 1*-1 + 2*3. Suppose c = -20 + 21, 6 = -2*x + 2*c. Sort i, x, 2 in ascending order.
x, 2, i
Let s(f) = -7 + 4*f**2 + 3 - 3*f**2 + 1 - 5*f. Let o be s(5). Let i(x) = -2*x**2 + 1. Let l be i(-1). Sort l, 0.5, o.
o, l, 0.5
Let i be ((-96)/(-10))/((-9)/(-60)). Let r = i + -255/4. Sort 0.4, 0.3, 0, r in increasing order.
0, r, 0.3, 0.4
Suppose j - 9 = -4. Suppose -4*n + 17 = -n + 2*s, 4*n = j*s - 8. Put -4, n, 1 in decreasing order.
n, 1, -4
Let v = -4.26 - 6.74. Put 3, v, 2, 1 in descending order.
3, 2, 1, v
Let i = -1.0738 - 0.0262. Sort -0.4, i, -6 in descending order.
-0.4, i, -6
Let r = -4 + 5. Let n = -33.0082 - -0.0082. Sort -0.1, r, n in decreasing order.
r, -0.1, n
Let r = -2 - 1. Let w be 460/23 + -2 + 0. Let h = w + -14. Sort r, -4, h in decreasing order.
h, r, -4
Let b = -233 + 230. Sort 4, -2/11, b, 1/2.
b, -2/11, 1/2, 4
Suppose -o = -5*t + 29, -14 = -4*t - 2*o - 2. Suppose -9*q + 7*q = 0. Sort q, -5, -2, t in descending order.
t, q, -2, -5
Suppose w + 3*d - 97 = -2*d, -2*w + 4*d + 138 = 0. Let n = w + -80. Put -5, n, 4, 0 in decreasing order.
4, 0, n, -5
Let n = -2499/4 + 624. Sort 0.4, 20, 0.2, n in descending order.
20, 0.4, 0.2, n
Let h be ((-2)/6)/(76/(-57)). Sort -0.3, 4, 3, h in descending order.
4, 3, h, -0.3
Let f = 2/21 + -3/7. Sort -0.5, -0.1, f, -6.
-6, -0.5, f, -0.1
Suppose -3*s = -11 - 1. Let z(f) = 2*f**2 - 2*f. Let t be z(2). Suppose -t*m = -0*m + s. Sort -5, m, -6 in decreasing order.
m, -5, -6
Let y = 65 + -127/2. Let i = -62.8 - -63. Sort 0.3, i, -0.2, y in decreasing order.
y, 0.3, i, -0.2
Let l be 0 - ((-72)/(-32) + -2). Put l, 1/4, 2/25, -3 in descending order.
1/4, 2/25, l, -3
Let w(m) = 7*m + 105. Let h be w(-15). Put