). Let c = -6 + 5. Put -5, q, c in decreasing order.
q, c, -5
Suppose -i + 9*i = 8. Put -3, -5, 5, i in ascending order.
-5, -3, i, 5
Let k = -28/11 + 174/77. Sort -3, -4, k, -5 in decreasing order.
k, -3, -4, -5
Let l(t) = -t - 2. Let x be l(0). Let p = -1082/7 - -154. Sort 0.4, x, p in increasing order.
x, p, 0.4
Let t = -0.99 - -4.99. Put 2, -2, t, -0.8 in decreasing order.
t, 2, -0.8, -2
Let t(j) = -2*j + 1. Let g be t(3). Let c = g - -9. Let q(k) = 6*k + 91. Let a be q(-16). Sort a, c, 2 in decreasing order.
c, 2, a
Suppose a + 6 = 5. Let w be (-4 + 60/16)/a. Put 2, w, -3 in descending order.
2, w, -3
Suppose 10 = -2*w - 5*t, 3*w - 4*t - 10 = t. Let x(p) = -2*p - 13. Let i be x(-9). Let y be 3*(-10)/(-15)*1. Put w, i, y in descending order.
i, y, w
Let u(a) = a**2 - a + 3. Let f be u(2). Suppose 2*k + 0*k = -2. Sort 3, k, f in descending order.
f, 3, k
Let i = 363 - -195. Let l be i/210 - (-2)/7. Let u = l - 15/7. Put -3, u, 5 in decreasing order.
5, u, -3
Let v(r) = 2*r + 6. Let a be (-6)/(-2) - 3 - 5. Let o be v(a). Sort o, 1, 4 in decreasing order.
4, 1, o
Let a = 37 - 40. Put a, -2, 5 in increasing order.
a, -2, 5
Let s be (3/(-6) - -1)*2. Suppose -4*z + 8 - s = f, 0 = 5*z - 3*f - 13. Suppose 5*x = -2*m, -3*x + 0 = 3*m + 9. Sort m, 4, z in decreasing order.
4, z, m
Let o be 2 + -1 + (-1 - 1). Let w be o*(-4)/(2 - 6). Sort w, -2, -5.
-5, -2, w
Let l(j) = -j**2 + 7*j - 8. Let v be l(6). Sort v, 2, -0.1 in ascending order.
v, -0.1, 2
Let p = -181 - -2355/13. Let i = 8 - 8. Put p, i, 4 in decreasing order.
4, p, i
Let k = -4 - -3. Let s = -0.04 + -2.96. Let r = s + k. Sort 1/3, 0.2, r in ascending order.
r, 0.2, 1/3
Let w be ((-2)/(-70))/(10/(-30)). Let s = 1/5 - w. Sort s, 3/5, 0.5.
s, 0.5, 3/5
Let b be (2*(-1)/2)/(-1). Let d(s) = -s**2 - 8*s + 1. Let c be d(-8). Suppose -3*p + c + 17 = 3*a, 22 = 3*p + 5*a. Sort b, 5, p in decreasing order.
5, p, b
Let i = -27 - -22. Let a be -1 + 0/(-2) - -6. Put a, i, 3 in ascending order.
i, 3, a
Suppose 2*u - 6 = 0, -3*t + 5*u - 26 = 1. Sort -2, 4, t in increasing order.
t, -2, 4
Let j = -128 - -128. Put j, 1, -6, 5 in descending order.
5, 1, j, -6
Suppose -8*q - 15 - 1 = 0. Sort q, 4, 0, 2 in descending order.
4, 2, 0, q
Let r be (-2)/5*(-275)/22. Put r, 1, 9 in ascending order.
1, r, 9
Suppose -z + 8 = z. Suppose -5*t = 5 - 20. Sort z, t, -1.
-1, t, z
Let v be -2*(-2)/(-18) - 52/(-72). Let k = 4 + -4.3. Sort v, 0.4, k in ascending order.
k, 0.4, v
Suppose -302 = 11*f - 104. Sort 1, f, -1, -4.
f, -4, -1, 1
Suppose 0 = -z - 4*j + 6 + 4, -6 = -3*j. Suppose -5*h + z*r - 20 = 0, h + 5 = -r + 8. Put h, -0.4, 4/3 in decreasing order.
4/3, -0.4, h
Suppose -4*x - c = 25, -2*c + 0*c + 10 = -4*x. Sort -23, x, -4 in increasing order.
-23, x, -4
Suppose -4*y + 2*o = 2, -4*y + 2*o = -y. Let z = 0 + 0.5. Put z, -3, y in descending order.
z, y, -3
Let i(j) = j**2 + 6*j - 2. Let z be i(-6). Let s be 4 - 2 - 8 - z. Let u = 3 - 6. Sort u, 5, s in increasing order.
s, u, 5
Let o = 0.02 - -0.08. Let p = -156 - -621/4. Sort p, -4, o in ascending order.
-4, p, o
Let b = 13 + -9. Let l = -0.82 + 0.42. Put l, -5, b in descending order.
b, l, -5
Let p = -21 - -21.4. Let n = 2.1 - 2. Sort n, p, 2/9 in descending order.
p, 2/9, n
Let n(a) = a**2 - 2*a - 3. Let c be n(4). Let p = 7 - c. Sort p, -1, -5 in increasing order.
-5, -1, p
Let i = 0.64 + -0.6. Let d = 2 + -2. Let j be d - ((-3)/3 - 0). Put j, 5/4, i in descending order.
5/4, j, i
Let z(s) = -s**3 - 6*s**2 - s - 11. Let k be z(-6). Put 5, 3, k, -3 in descending order.
5, 3, -3, k
Let o be 2/5*(-5)/9. Put -8, o, -5 in decreasing order.
o, -5, -8
Let z = -0.4 + 0. Let d be 8/(-12)*(-28 + 1). Suppose -12 = 2*t + k - 0, -4*k - d = 2*t. Sort t, -0.3, z in descending order.
-0.3, z, t
Let w = -461/3 + 155. Sort w, 5, -0.5, 2/9 in decreasing order.
5, w, 2/9, -0.5
Let n be 88/20 + 2/(-5). Let b be (-15)/n - (-1)/(-4). Sort -3, -1, b in increasing order.
b, -3, -1
Suppose -f - 33 - 1 = -3*j, -40 = -4*j + 4*f. Suppose 3*n - 6*n + j = 0. Suppose -3*u = -4*s + 20, -s - 1 - 13 = n*u. Put 4, -5, s in decreasing order.
4, s, -5
Suppose 4 = u + 1. Let x be ((-12)/35)/((-6)/15). Put u, -2/11, x in descending order.
u, x, -2/11
Let m be 146/30 + 10/75. Put m, 1, 0 in ascending order.
0, 1, m
Suppose -4*h = 2*s + 8, 5*h + 5 = -4*s + 1. Let k be 7/8 + s/(-8). Let i be (-2 + 2)*(-2)/4. Put -2/23, k, i in descending order.
k, i, -2/23
Let z = 150.29 - -43.75. Let c = z - 198. Let v = 0.04 - c. Sort v, 1/5, -2/11 in ascending order.
-2/11, 1/5, v
Let v be 60/35*(-7)/(-1). Let u be ((-6)/(-9))/(2/v). Put -1, -2/7, u in descending order.
u, -2/7, -1
Let f(x) = -x + 2. Let v be f(5). Let t = 4 - 8. Put 5, t, v in decreasing order.
5, v, t
Let a = -18 - -23. Sort a, 0, 1.
0, 1, a
Let f(y) = -y**2 + 6*y - 2. Let h be f(5). Let v be 0/(h - (1 - 1)). Put v, -5, 1 in ascending order.
-5, v, 1
Suppose -l + 4 = -1. Suppose 0 = -5*q + 2*q + 9. Suppose 3*d - 24 = 4*w, q*d = -w - 2*d + 17. Put 2, l, w in ascending order.
w, 2, l
Let l = -12 + 9. Sort 6, l, 0.
l, 0, 6
Let m = -0.07 + 0.07. Let n = 4 - m. Let f = -4.3 + n. Sort f, 4, 5 in decreasing order.
5, 4, f
Let z(n) = -n**2 - 7*n - 7. Let f be z(-5). Let o = 1 - f. Sort o, 1, 2.
o, 1, 2
Let u(f) = f**2 - 9*f + 4. Let x be u(9). Sort -5, -3, x, -4 in increasing order.
-5, -4, -3, x
Let t = 7 + -3. Suppose -t*o = 3 - 19. Suppose b - 7*v + 2*v + 4 = 0, 0 = 3*b + o*v - 7. Sort -3, b, -5 in descending order.
b, -3, -5
Let t(c) = c**2 - 5*c + 1. Let q be t(6). Let l = -3 + q. Sort l, -4, -0.5 in decreasing order.
l, -0.5, -4
Let p(c) = 2*c**2 + 4*c - 1. Suppose 0 = -y, 3*x + 5*y + 15 = -2*x. Let q be p(x). Sort 3, q, -2 in descending order.
q, 3, -2
Let d be 1/(-4) - (166/72 + -3). Let c(n) = -n**2 + 2*n**3 - 6*n**3 - 1 - n + n**3. Let v be c(-1). Put v, d, 1/3 in decreasing order.
v, d, 1/3
Let z(i) = i**2 - 2*i - 2. Let b be z(3). Let p(x) = x - 7. Let g be p(3). Sort 3, g, b in increasing order.
g, b, 3
Suppose 5*p - 2*p + 33 = -2*k, -5*k = 4*p + 44. Let d = p + 7. Let b = -4 + 3. Sort d, 5, b in descending order.
5, b, d
Let w(g) = -g**2 + 19*g - 23. Let u be w(18). Sort 1, u, 3.
u, 1, 3
Let n be (1/(-4))/1 + 4/144. Sort 2/3, n, 9 in decreasing order.
9, 2/3, n
Let j(i) = i + 4. Let q be j(-5). Let s = 8 - 6. Suppose -3*r - s = 4. Sort -4, r, q.
-4, r, q
Suppose -18 = -3*j - 2*m, -6*j + j - 5*m = -35. Let q be ((-10)/4)/(j/8). Sort -1, -6, q in increasing order.
-6, q, -1
Let i = 26 - 29. Sort -1/2, i, 0.1.
i, -1/2, 0.1
Let p = 60 - 59.88. Sort 2/17, 0.5, -1/4, p in decreasing order.
0.5, p, 2/17, -1/4
Let c be ((1 - 0)/(-3))/(-1). Let p = -20 - -18.7. Let o = -3.7 + p. Sort o, -4/3, c in descending order.
c, -4/3, o
Let w = 12.2 - 14. Let i = w - 1.2. Sort -0.5, -0.4, i in decreasing order.
-0.4, -0.5, i
Suppose -13*q - 6 = 46. Sort -11, -2, q in decreasing order.
-2, q, -11
Let a = 0.13 + -16.73. Let p = 17 + a. Sort -0.4, p, -3.
-3, -0.4, p
Suppose c + c = 20. Let s = 11 - c. Let l = -3 + s. Put l, 3, -4 in ascending order.
-4, l, 3
Suppose 5*b = g + 3*g - 6, 2*g - 3*b - 2 = 0. Suppose -3*k = 0, g*s - 2*k - k = -4. Put -8, 4, s in increasing order.
-8, s, 4
Suppose -11 = -3*t - 5*z, -34 + 3 = 5*t - 4*z. Let w(o) = -3 + 1 + 3 - 6*o. Let c be w(1). Put 2, c, t in descending order.
2, t, c
Let u be 1/((-1)/(-3) - 0). Let m(d) = d**3 - 6*d**2 + 4. Let s be m(6). Suppose 5 = -5*y + s*y. Sort u, y, -4 in ascending order.
y, -4, u
Suppose -2*n = -0*n, 0 = -4*w + n + 16. Let v be ((-21)/6 - -4)*4. Suppose 3*p - 3 = -15. Sort p, v, w.
p, v, w
Suppose 2*u = -2*u - 32. Let d be 0 + u/(-4) + -3. Sort d, 2, -4.
-4, d, 2
Let z(i) = -i**3 + 6*i**2 + 8*i - 8. Let g be z(7). Put 1, 2, g in descending order.
2, 1, g
Suppose -4*g + 3*d + 39 = 0, 5*g + d = 34 + 10. Suppose 3*r + 4*c = 3 + g, -2*r + 4*c = 12. Put 2, r, 1 in ascending order.
r, 1, 2
Let a = -0.83 + -0.17. Sort 0.6, -0.3, a in decreasing order.
0.6, -0.3, a
Let s(x) = -x**2 + 3. Let t be s(0). Suppose 0 = 2*o - t - 1. Let l be 1*(0 + o + -2). Sort -2, l, 1 in ascending order.
-2, l, 1
Let z(f) = -f**3 - 8*f**2 - 14*f - 10. Let o be z(-7). Sort 5, o, -4, -3.
-4, -3, 5, o
Let v = -3.05 - -0.05. Let p = -21/38 - -1/19. Sort v, -0.1, p in increasing order.
v, p, -0.1
Let g be -1*(-2)/(-2)*1. Let l be (