n decreasing order.
2, 1, a
Suppose -15 = 3*n, -2*t - 16 = -4*n + 8*n. Sort t, 5, 6 in increasing order.
t, 5, 6
Let w(m) = -m + 9. Let t be w(5). Let f(c) = c**2 + 4*c - 5. Let a be f(-5). Let q = 4 - 6. Sort t, a, q.
q, a, t
Let o(b) = -10*b - 7*b + 18*b + 4. Let v be o(-3). Sort 6, 2, v in decreasing order.
6, 2, v
Let z = -74 - -78. Suppose 5*w = 2*t + t - 35, -5*w - 45 = -5*t. Sort -3, t, z in increasing order.
-3, z, t
Let y = 3 + -3.5. Let g be -1*2 - (18 - 24). Suppose h = 3*z + 12, 2*z + 6 + 16 = -4*h. Sort g, h, y.
h, y, g
Let g = -1 + 4. Let u = -3 + 2.9. Let v = u + 0.3. Sort -2/3, v, g in decreasing order.
g, v, -2/3
Suppose -22 + 2 = -4*z. Put -1, 2, z in ascending order.
-1, 2, z
Let h be -8 + 15 + (9 - 11). Let j = -1 + 3. Suppose -j*x = 5*n + x + 16, 0 = -2*n - 4*x - 12. Sort 0, n, h in descending order.
h, 0, n
Let o = -1.25 + 2. Let d = -3.85 + o. Let i = 0.1 + d. Put -2/11, 0, i in increasing order.
i, -2/11, 0
Let k(m) = 2*m**2 - m - 1. Let j be k(-1). Put -2, -3, j in descending order.
j, -2, -3
Suppose k - 5 = 0, 13 = -4*b + b - k. Sort 1, 3, b in decreasing order.
3, 1, b
Let i = -5 - -9. Let q(c) = -i - 5 - 7*c + 6*c. Let l be q(-5). Sort l, -5, 5 in descending order.
5, l, -5
Suppose -4*r - 3*g - 10 = -6*r, -3*g = 6. Sort 5/4, r, 0.5 in decreasing order.
r, 5/4, 0.5
Let z be 6/(-2) + 266/(-30). Let v = -12 - z. Let q = -0.3 + -0.1. Put v, q, -5 in decreasing order.
v, q, -5
Let j = 1.55 + 0.41. Let t = 0.04 + j. Sort -2, t, -1.
-2, -1, t
Let o(i) = i**3 + 10*i**2 + i + 5. Let s be o(-10). Put -2, s, 5 in decreasing order.
5, -2, s
Suppose 0 = -3*b - 2*b - 2*y - 17, -5*b + 4*y = 11. Let p be (2*8)/2 + -1. Let w = p + -11. Sort 5, b, w in decreasing order.
5, b, w
Let b = 22 - 9. Sort b, 1/11, 2/5 in ascending order.
1/11, 2/5, b
Suppose 5*l = -2*t + 18, -5*l + 3*t = 8*t - 15. Sort 0, l, -4.
-4, 0, l
Let i = -23 + 24. Sort 0, i, -5.
-5, 0, i
Let s = 22 - 40. Let y = -15 - s. Put y, 1/9, -4 in descending order.
y, 1/9, -4
Let r = -23/24 - -5/8. Let w be -1 - ((-24)/14 - -1). Sort w, r, -3/2 in increasing order.
-3/2, r, w
Let u(a) = -a + 6. Let g be u(4). Sort 5, g, -4.
-4, g, 5
Let t(b) = 3*b**2 + 1. Let d be t(1). Let g be (-172)/14 - (-4)/14. Let n = g + 9. Sort -5, n, d in descending order.
d, n, -5
Suppose -3*w = 2*w - 4*z - 16, -2*w - z = -9. Suppose -q + 0*q = -4*h + 3, -4*q - 12 = 4*h. Suppose 3*l + 5*g - 4*g + 18 = h, -4*l + 2*g - 14 = 0. Sort 2, l, w.
l, 2, w
Let r = -0.2 - -9.2. Let o = 14 - r. Let u = -0.3 - -0.5. Sort u, 1, o in descending order.
o, 1, u
Let s = -135 - -129. Put 3, s, -1 in descending order.
3, -1, s
Let q = 0.05 - 0.02. Let o = q + 0.07. Let i be (-4)/(-10) + (-1)/5. Put o, i, -4 in descending order.
i, o, -4
Let w = 11/6 - 4/3. Sort w, -1, -5, 4 in descending order.
4, w, -1, -5
Suppose -4*d - o = 1, 5*d - 16 = 4*o + 9. Put -17, d, 4 in increasing order.
-17, d, 4
Let z(k) = -k**3 - 4*k**2 - k - 1. Let i be z(-4). Let m(t) = -t**3 + 2*t**2 + 2*t - 1. Let r be m(i). Let n be ((-2)/4)/((-10)/100). Sort -3, n, r.
r, -3, n
Let p = 2 - 5. Let q = p + 5. Let o = q - -2. Put o, -0.2, 2/11 in decreasing order.
o, 2/11, -0.2
Suppose b = -3*b + 12. Suppose 2*c + 11 = q, 0 = b*q + 3*c - 4 - 2. Suppose r - t - 2*t = -9, 3*r + 15 = q*t. Sort 4, r, 1 in ascending order.
r, 1, 4
Suppose u + 10 = -4*s + 3*u, -11 = -s - 4*u. Let t = 3 - s. Suppose 4*n - t = -0. Sort n, 5, -4 in decreasing order.
5, n, -4
Suppose -z = -5*z. Suppose 15 = -4*c - c, z = n + 4*c + 9. Let q(j) = j - 6. Let k be q(6). Sort 2, k, n in ascending order.
k, 2, n
Let h be (-6)/(-9) + (-14)/(-6). Suppose 2*z = -w - 4, -2*w - 2*w = 3*z + 6. Sort z, -1, h.
z, -1, h
Suppose -2*o + 4 = 5*x, -5*o = x - 0*o + 13. Let y = 22 + -23. Put x, y, 4 in descending order.
4, x, y
Let v = -0.045 + 0.645. Sort -0.4, v, 4 in ascending order.
-0.4, v, 4
Let k = -9.86 + 10. Let o = -0.06 - k. Put 5, o, 1/3 in increasing order.
o, 1/3, 5
Suppose -4*n = -z - 11, -7*n + 3*n = z - 21. Let r(b) = -b**2 - 5*b + 1. Let g be r(-5). Put n, 0, g in increasing order.
0, g, n
Let p = -9 + 10. Suppose -b - 8 = -2*j + 6*j, 8 = -4*j + 4*b. Let c be (-2)/(-3 + (j - -7)). Sort -5, p, c in decreasing order.
p, c, -5
Suppose 2*r - 5*m + 39 = 0, 2*m + 6 - 2 = -2*r. Sort 1, 4, r.
r, 1, 4
Let z = 8 - 3. Suppose x + 5*c = 29, 3*x - 27 = -5*c + 2*c. Let f(d) = -d**3 + 7*d**2 - 2*d + 9. Let k be f(7). Put x, z, k in descending order.
z, x, k
Let o(k) = -k**3 + 3*k**2 - k + 3. Let q be o(3). Put -1, q, -3 in ascending order.
-3, -1, q
Let m be (-10)/25 - 54/(-10). Put 1, m, -4, 4 in decreasing order.
m, 4, 1, -4
Let y = 15 + -15.2. Let b = -0.44 - -0.4. Put y, -1/7, b in decreasing order.
b, -1/7, y
Let u = 4.4 + -4.2. Sort u, -1, -3, 5 in descending order.
5, u, -1, -3
Let j = -5 + 7. Let c be 2/(-4)*12/(-51). Put -0.3, j, c in decreasing order.
j, c, -0.3
Let y = -0.2 + -0.2. Let n(s) = -s**2 + 3*s + 4. Let u be n(5). Let h be u/21 - (2 + -2). Put -3, h, y in descending order.
h, y, -3
Let w be 4/(-6)*(0 + 0 + -3). Put -1, 5, w in descending order.
5, w, -1
Let z be (-2)/6 - (-19)/3. Let d be 0 - (-4 + -2 + 11). Let o be (-7)/d - 6/z. Sort 2/19, -1, o in ascending order.
-1, 2/19, o
Suppose -3*j - 1 + 7 = 0. Suppose -4*i = -2*i - 5*s - 52, 4*i = 3*s + 76. Suppose 0 = -3*g + 7*g + i. Put 0, g, j in decreasing order.
j, 0, g
Let m = -6 - -8. Let r(c) = -4*c - m + 4*c + c. Let g be r(6). Put 3, 0, g in decreasing order.
g, 3, 0
Let z be (-2 - -1 - -2) + 4. Let o be 21/(-28) + 3/(-12). Put z, -4, o in descending order.
z, o, -4
Let b be -4*(15/(-4) - -1). Suppose 4*p - 5 = b. Let t = -15 - -15. Sort 3, t, p.
t, 3, p
Let r = 30 - 28. Sort -2, -3, 3/8, r in ascending order.
-3, -2, 3/8, r
Let g = 69 - 73. Sort g, -1, -1/9.
g, -1, -1/9
Let r = -0.28 + -0.52. Let v = r - -0.6. Put 0.3, v, -4 in decreasing order.
0.3, v, -4
Let q(g) = -g - 11. Let t be q(-13). Sort -5, t, -2 in descending order.
t, -2, -5
Let v(t) = -t**2 - 6*t - 1. Let u be v(-6). Let d = 0 - u. Let f(n) = n**3 + 3*n**2 - 5*n - 4. Let p be f(-4). Sort 4, d, p in ascending order.
p, d, 4
Let n = 0.1 - 0.5. Let v = -11.4 + 11.4. Put -1, v, n in ascending order.
-1, n, v
Let i(n) = -2*n + 11. Let y be i(-9). Suppose 4*o - y = -9. Let m be ((-2)/3)/(2/3). Put -4, m, o in descending order.
o, m, -4
Suppose -4*x + 0*x + 3*n + 2 = 0, -x - 6 = -4*n. Suppose -2*h - 10 = 5*j - h, -5*h = 5*j + 30. Put x, -3, j in decreasing order.
x, j, -3
Let x = 297 - 296. Suppose -2*d = -3*f - 4, 0 = 2*f - 7*d + 2*d - 1. Sort f, 0, x in decreasing order.
x, 0, f
Let y = 8 - 11. Let v be 1/y*4/(-6). Let k = 219 + -2845/13. Put k, -1/6, v in decreasing order.
v, k, -1/6
Let b = -0.03 - -0.13. Let k = -0.4 - b. Put 7, k, -2/9 in descending order.
7, -2/9, k
Let x = -24 + 24.2. Sort 2/13, -10, x in descending order.
x, 2/13, -10
Let w(b) = b + 9. Let z = -6 + -3. Let s be w(z). Put -5, -2, s in increasing order.
-5, -2, s
Let s = -10949/725 - -396/25. Let v be ((-16)/(-174))/(6/9). Let r = s - v. Put -0.2, r, 1/3 in descending order.
r, 1/3, -0.2
Let u = -15.1 - -4.1. Sort 0.2, -0.4, u, -6/7.
u, -6/7, -0.4, 0.2
Let s = -29 - -26. Sort 16, -3/4, s in descending order.
16, -3/4, s
Let i = 11 - 12. Let d(a) = 3*a**3 - 3*a - 3. Let k be d(3). Let x = k - 482/7. Put i, x, 1 in ascending order.
i, x, 1
Suppose -3*u + 2*i - 42 = 2*u, -4*i - 12 = 2*u. Sort 5, u, 0, 1 in increasing order.
u, 0, 1, 5
Let u = 29 - 29. Sort -2, u, 1 in descending order.
1, u, -2
Suppose -4*n + 5*j = 4*j + 11, 0 = -4*n - 3*j - 31. Let f be (18/2)/(-1) + -1. Let c = 14 + f. Sort c, n, -2.
n, -2, c
Let p = 2.9 + -3. Let s = 3.4 - -0.6. Let x = -3.7 + s. Sort x, -3, p.
-3, p, x
Let h(d) = -d. Let z(y) = -y - 1. Let g(s) = -4*h(s) + 3*z(s). Let q be g(6). Let i be (q - -1)/(-2 + 1). Put i, 4, -1 in descending order.
4, -1, i
Let n be 115/(-25) + 6/(-15). Put n, -3, 1 in descending order.
1, -3, n
Suppose 5*m = 5 - 25. Put -9, 4, m in ascending order.
-9, m, 4
Let s(z) = -z**3. Let p be s(-1). Let j = p - 5. Let q(g) = g. Let h be q(5). Put h, -3, j in decreasing order.
h, -3, j
Let x be 16/(-6) - 40/30. Put -5, x, 27 in decreasing order.
27, x, -5
Let s = 0.45 - 0.5. Let r = -0.27 + s. Let a = 0.02 + r. Put -3/2, 3, a in descending order.
3, a, -3/2
Let w = -103 + 102.91. Sort