, 0, a in decreasing order.
5, 0, a
Let l be (-1)/4 - 19/4. Suppose 3*y - 5*k = 2*y - 23, -4*y = 4*k + 44. Let g = y + 14. Put g, l, -3 in decreasing order.
g, -3, l
Let f = -0.26 + 0.46. Sort 1.5, f, 3 in descending order.
3, 1.5, f
Suppose 8 - 23 = 5*x. Let z(q) = q - 5. Let t be z(-7). Let j be 3*(-3)/((-27)/t). Sort j, -2, x in ascending order.
j, x, -2
Suppose -5 = 2*m - k - 24, -3*k = -m + 17. Let p = -15/2 + m. Sort -2, p, 4 in descending order.
4, p, -2
Let p(x) = -x**3 - x**2 - 4. Let q be p(0). Let y = -199 - -198. Sort -2, y, q in increasing order.
q, -2, y
Let v(t) = -t**2 - 6*t + 5. Let w be v(-6). Let l be (-1)/4 - (-10 + 301/28). Suppose 6*n + 25 = n. Sort n, l, w in decreasing order.
w, l, n
Let a = -7 - -1. Let g = a - 0. Sort g, -5, -4 in descending order.
-4, -5, g
Let t = 20 + -27. Let q be (-2)/((7/2)/t). Sort 0, q, 1.
0, 1, q
Let x = 28 + -31. Let u(y) = -y**3 - 3*y**2 - y + 1. Let p be u(-2). Suppose 2*b - b + 4 = 0. Sort p, b, x in decreasing order.
p, x, b
Let d = -6547 + 71969/11. Let a = d - -698/165. Suppose -6*m + 2*m - 4 = 0. Put a, -4, m in decreasing order.
a, m, -4
Let i = -15 + 20. Sort 1, 0, i in ascending order.
0, 1, i
Let z = -4.05 - -4. Let j = 1.95 - z. Sort -2/3, j, -3/2 in ascending order.
-3/2, -2/3, j
Let z = -19 + 153/8. Suppose -m - 4*c + 6 + 9 = 0, 2*m - 2*c = 0. Put -4, m, z in decreasing order.
m, z, -4
Let o = -26 + 26. Sort o, -0.2, 0.3, 0.1 in descending order.
0.3, 0.1, o, -0.2
Let o = -0.1 + -0.3. Let m = 7.7 + -7. Let i = m - 1.2. Sort i, o, -1 in decreasing order.
o, i, -1
Suppose 4*c + 0 = 4. Let b be (6*1)/(3 - 1). Sort b, 5, c in descending order.
5, b, c
Let t = 1447/3 + -499. Let f = t - -16. Let q = -35/62 + 2/31. Put f, -3/2, q in ascending order.
-3/2, f, q
Let k(l) = -l - 3. Let j be k(-6). Suppose -4*b = z + 28 - 7, 0 = j*z - 2*b - 7. Sort 2, z, 0 in descending order.
2, 0, z
Let k(j) = 2*j**3 + 12*j**2 + 7*j - 5. Let u be k(-5). Put u, 1, 2 in descending order.
u, 2, 1
Let v = -1.2 - -1. Let m = 30 + -30.43. Let g = m + 0.03. Sort v, -3, g in decreasing order.
v, g, -3
Let w = -0.07 - -0.09. Let r = w - -0.98. Sort -1, r, -2.
-2, -1, r
Suppose 0*j + 2*j - 4 = 0. Let f = 2 + -4. Let b(r) = -5*r**3 + 3*r**2 + 2*r - 3. Let o be b(1). Put o, f, j in decreasing order.
j, f, o
Suppose -2*a - 70 = -4*i - 4*a, 4*a - 20 = 0. Let u be (-1)/(-1) + (-5)/i. Let d = 260/747 + 8/83. Sort d, u, -1/4 in decreasing order.
u, d, -1/4
Let n = -61/84 + 10/21. Sort 1/2, -19, n in descending order.
1/2, n, -19
Let m be (-81)/(-15) - 2/5. Let a(w) = -w**2 + 5*w + 5. Let p be a(m). Put -2, p, 0 in ascending order.
-2, 0, p
Suppose -30 = 2*h + 3*h. Let m be -3 - h - (-44)/(-14). Let n = 0.6 - 4.6. Sort n, 4, m.
n, m, 4
Let o be (-4)/(-8) - (-15)/(-38). Let c = 1 + -2. Let x = 2 - 6. Sort x, c, o in increasing order.
x, c, o
Let j = 16 - 12. Let x = j - 0. Sort 2, x, 2/13 in decreasing order.
x, 2, 2/13
Let a = -9 - -14. Put a, 0, 3 in descending order.
a, 3, 0
Suppose o - 4 = 6*h - h, -7 = 2*h + 5*o. Let u be 1*(-3)/((-3)/h). Put -5, u, -3 in decreasing order.
u, -3, -5
Suppose -3*z + 2*j - 10 = -69, -4*z + 72 = -j. Sort -3, z, 4 in descending order.
z, 4, -3
Let b = 13 - 12.8. Put b, -3, -0.1 in ascending order.
-3, -0.1, b
Let i(f) = f**3 - 5*f**2 - 4*f - 7. Let p be i(6). Let g = -0.7 + 0.2. Put p, g, -2/7 in increasing order.
g, -2/7, p
Suppose 15 = 4*o - 5. Sort 11, o, 2 in decreasing order.
11, o, 2
Let x(o) = -2*o**2 + o - 1. Let l be x(1). Let i be (-2)/1*(-9)/(-6). Let m = -7 - i. Put l, m, -1 in descending order.
-1, l, m
Let t = 3.1 - 3. Let y = t - -0.3. Let h = -0.3 + y. Sort h, 2/13, 1.
h, 2/13, 1
Let t be 4/(-6) + 40/15. Put 0, -9, t, 4 in increasing order.
-9, 0, t, 4
Let x(s) = -s - 12. Let d be x(-14). Sort -3, d, 3 in increasing order.
-3, d, 3
Let a be (-17)/5 - 12/20. Put a, -5, 3 in decreasing order.
3, a, -5
Let q = -11 - -10.3. Let x = -0.2 - q. Let h = 1 + -2. Put 0.2, x, h in decreasing order.
x, 0.2, h
Let b = -23 - -18. Let p = 5.1 + b. Put 0.6, -4, p in decreasing order.
0.6, p, -4
Suppose -1 - 2 = 2*p + g, 3*g + 20 = 5*p. Let o = 4 - -4. Sort 0, p, o in ascending order.
0, p, o
Suppose 6 = 18*q - 21*q. Sort -3, -1, q.
-3, q, -1
Let s = -0.075 - -3.075. Put -1, 4, s in ascending order.
-1, s, 4
Let y = 0.2 - 0. Let a = 0.12 + -0.05. Let k = 0.93 + a. Put k, y, -2 in increasing order.
-2, y, k
Let x(y) = -y + 10. Let f be x(14). Suppose t - 5*t + 16 = 0. Let a = f + t. Sort -5, -2, a in decreasing order.
a, -2, -5
Let w = -80 - -85. Put w, -1, -2, -36 in decreasing order.
w, -1, -2, -36
Let j = -5 + 6. Suppose -t - 6 = -3*t. Sort -4, j, t in ascending order.
-4, j, t
Let v be 54/7 - 2/(-7). Let s = 12 + 8. Suppose -v*y = -4*y - s. Sort y, -5, -4 in decreasing order.
y, -4, -5
Suppose -3 = -2*f - 7. Let c = -26 + 21. Sort f, 4, c in descending order.
4, f, c
Suppose -5*z - 18 - 7 = 0. Put z, 3, -3 in ascending order.
z, -3, 3
Let g = 4 - 5. Suppose 2*r + 2*i = -4, i + 2*i = 2*r - 16. Let v = r - 6. Put g, v, 3 in decreasing order.
3, g, v
Let h(i) = 5*i. Let f be h(1). Suppose 24 = -4*c + 5*t, 2*c = -0*c - 5*t + 18. Sort c, f, -2.
-2, c, f
Let s be (44/8 + -4)*6. Suppose s = -p + 8. Sort p, 5, 4.
p, 4, 5
Suppose 2*g + 0*g = 18. Let j = g - 5. Put 1, -3, j in ascending order.
-3, 1, j
Let j(c) = -c**3 - c**2 + c. Let u be j(1). Let k(m) = 8*m + 2. Let w be k(-1). Sort u, 0, w in ascending order.
w, u, 0
Let t = 44 + -44.5. Sort t, -2/15, 4 in decreasing order.
4, -2/15, t
Let r = -21 - -17. Let t(k) = -k + 10. Let b be t(10). Sort 1, b, r.
r, b, 1
Suppose 0*p - p + 4*z - 7 = 0, -z + 2 = 0. Suppose -16 = 4*n + 4. Let i = 4 + -6. Sort i, p, n in ascending order.
n, i, p
Let c be 3/(2/8 + -1). Let z = 6.7 + -7. Put c, -2/5, z in decreasing order.
z, -2/5, c
Suppose -8*s - 30 = 2. Put 5, -1, -5, s in decreasing order.
5, -1, s, -5
Let x = -6 + 11. Suppose 4 = b + 6. Sort 2, x, b in increasing order.
b, 2, x
Let c = 19 + -35. Let t = c + 8. Let y = 8.1 + t. Sort y, 2, 4.
y, 2, 4
Let r = -3.6 + 4. Sort 0.3, -2, r in descending order.
r, 0.3, -2
Let s = -0.2 + -0.3. Let f = 1.1 + -4.1. Sort s, -2/3, f in decreasing order.
s, -2/3, f
Suppose 27 = 2*s - 11*s. Suppose 0 = -4*m + 3*v + 38 - 11, m + v = -2. Let b = -7 + m. Sort b, -1/5, s.
b, s, -1/5
Let y be ((-6)/8)/((-2)/8). Suppose 0 = -3*n - 5*o - 2 - 12, -5*n = -3*o - 22. Put -4, y, n in ascending order.
-4, n, y
Let n = -30 + 35. Let u(j) = -j**3 + 2*j**2 + 4*j - 4. Let g be u(3). Let s(z) = -z**2 - z + 1. Let o be s(2). Put n, o, g in ascending order.
o, g, n
Let q(k) = k**3 - 7*k**2 + 7*k - 6. Let s be q(6). Suppose 0 = z - s*z. Put z, 2, 1 in decreasing order.
2, 1, z
Let c = -83 + 84. Sort c, -1, -4, -1/2 in descending order.
c, -1/2, -1, -4
Let h be (0 + -2)/((-14)/21). Sort -2, h, -5 in increasing order.
-5, -2, h
Let d(u) = -u**3 - 9*u**2 + 2*u + 12. Let n be d(-9). Let y = n + 4. Let g be ((-4)/(-3))/((-4)/(-6)). Put y, g, -5 in decreasing order.
g, y, -5
Let i = 7.2 + -7. Sort 2/11, 4, i in decreasing order.
4, i, 2/11
Let g = 0.02 - 0.22. Let a = g - -0.3. Put 0.4, a, -4 in increasing order.
-4, a, 0.4
Suppose -5*j + 23 = 2*k, -2*k + 4*j = -3*k + 16. Suppose h = -h - k. Suppose 0*t - t + 5*y - 15 = 0, -5*t - 9 = -3*y. Sort t, h, 1 in descending order.
1, t, h
Let v = 336 + -379.8. Let m = -49 - v. Let w = m - -0.2. Put -0.5, -0.2, w in ascending order.
w, -0.5, -0.2
Let f be ((-6)/9)/(7/(-3)). Let c(r) = -r**3 + r**2 - 2*r + 2. Let g be c(2). Let x be (-1)/((-69)/g - 2). Put 5, f, x in ascending order.
x, f, 5
Suppose -3*v - 5 - 10 = 0. Suppose -6 = -3*r, -n - 3*n = 2*r - 12. Suppose n*i - 6 = -i. Sort -4, i, v.
v, -4, i
Let h = -89 + 94. Put h, 1, 0 in ascending order.
0, 1, h
Let k be 5/(-15) - 8/(-6). Let v = k - -4. Sort 4, v, -0.1 in increasing order.
-0.1, 4, v
Let w = 42/17 - 261/85. Put -0.2, w, -0.4 in ascending order.
w, -0.4, -0.2
Let x be 6*1/2*-1. Sort -2/9, 3, x, -5 in decreasing order.
3, -2/9, x, -5
Suppose -2*z = -6*z - 5*a - 25, -5*z + 5*a = -25. Suppose -3*y + 0*y = z. Suppose -4 = 3*t + w, -t + 2*w + 2 = -5*t. Put y, t, 4 in increasing order.
t, y, 4
Let m = 2/427 - -1265/3416. Sort 0.4, -3/5, m, 5 in decreasing order.
5, 0.4, m, -3/5
Suppose 5 = -z + 2. Let t = 75 - 77. Suppose 0*x + 15 = 3*x. Put