, z, -2 in decreasing order.
1, z, -2
Suppose -5*h - 4 = 2*u + 15, 4*h - 64 = 2*u. Let o = u - -37. Suppose s = 4*s + o. Sort -2, -0.3, s in increasing order.
s, -2, -0.3
Let k = -0.43 + 8.43. Put k, 1, -3 in descending order.
k, 1, -3
Let y = -667/5 + 134. Sort y, -0.4, 0.3 in ascending order.
-0.4, 0.3, y
Suppose 12 + 3 = 5*l. Sort -11, l, 5 in decreasing order.
5, l, -11
Let a = -15 + 20. Put a, -4, 0 in decreasing order.
a, 0, -4
Let w = -2 + 4. Let g = 3 + -2. Suppose -5*s - 5 = 0, -a + g = -4*s - w. Put a, 3, 1 in descending order.
3, 1, a
Let x(b) = -b + 3. Let w be x(7). Let i(l) = 0 - 3 - l + 5. Let a be i(3). Sort w, -5, a.
-5, w, a
Let r(h) = 2*h**3 - 2*h**2 + 1. Let m be r(1). Let u be (-2 + (-45)/(-6))*4. Suppose 5*d - 24 = -c, -2*d - 3*d + u = 3*c. Sort d, m, 0 in decreasing order.
d, m, 0
Let t = -0.136 + 2.136. Put 4, 2/9, t, -4 in descending order.
4, t, 2/9, -4
Let l = -0.85 + -2.15. Put -4, l, -2/7, 2/5 in decreasing order.
2/5, -2/7, l, -4
Let c = -0.141 - -0.341. Sort 0, c, -0.1, -5 in decreasing order.
c, 0, -0.1, -5
Suppose -2*w + 4*p - 7 = 3*w, -8 = 4*p. Sort 1, 3, w in ascending order.
w, 1, 3
Let f = 55 - 51. Sort 5, f, 2, -0.1 in descending order.
5, f, 2, -0.1
Let a(y) = y**2 - 5. Let o be a(0). Let u = 5 - 9. Put 6, o, u in decreasing order.
6, u, o
Suppose -6*q + 0*q = 18. Sort 2, -1/3, -0.1, q in decreasing order.
2, -0.1, -1/3, q
Suppose 0 = -0*n + 2*n - 2, -n - 21 = -2*c. Let u = -12 + c. Put u, -4, 5 in increasing order.
-4, u, 5
Let t = -5.3 + 5. Sort -5, 2, t.
-5, t, 2
Suppose 4*m = 2 - 10. Let j = -2.5 - -2. Sort m, j, 2 in descending order.
2, j, m
Let q = -0.47 + 0.97. Sort 17, q, -4 in descending order.
17, q, -4
Suppose -5*f = a + 45 + 24, -a - 27 = 2*f. Let k = f + 11. Sort 0, k, -5 in descending order.
0, k, -5
Let l(z) = z + 5. Let m be l(-8). Put 1/3, 5, m in decreasing order.
5, 1/3, m
Let f(q) = -q**2 + 29*q - 153. Let k be f(7). Suppose -2*p = 3*w + 12, -5*p = -5*w + 1 - 21. Suppose 3*j + p*j + 9 = 0. Sort j, -4, k.
-4, j, k
Let s = -10 - -13. Let a = -3.5 + s. Let n be (4/(-4))/(9/(-2)). Put -1/3, a, n in descending order.
n, -1/3, a
Let k(o) = o**3 - 10*o**2 - 25*o + 7. Let r be k(12). Sort r, 5, 15, -1 in increasing order.
r, -1, 5, 15
Let r be (4/14*-1)/(1/(-7)). Sort -2, 3, 1, r in increasing order.
-2, 1, r, 3
Let y = -0.02 + 2.02. Sort 5/6, y, -0.1 in decreasing order.
y, 5/6, -0.1
Let n = -108 - -110. Put 5, 0, n, 1 in decreasing order.
5, n, 1, 0
Suppose -3*y - 27 = 3*r, 4 = 2*r - 4*y - 8. Sort -3, 5, r, 0 in ascending order.
r, -3, 0, 5
Let d = 0 - 0. Suppose d = -l + 1 + 5. Let n be (16/36)/((-4)/l). Put -1/4, 0, n in decreasing order.
0, -1/4, n
Suppose -4*r + 0 - 4 = 0. Suppose 0 = -2*y - 3*w - 9, 4 - 23 = 5*y + 4*w. Suppose -4*b = -7*b - 6. Put y, b, r in ascending order.
y, b, r
Suppose 4*x + 12 = -h, -h - 3*h - x = 18. Put -2, -5, -10, h in increasing order.
-10, -5, h, -2
Suppose -5*p + m - 22 = -3*m, 0 = -m + 3. Let b = 3.18 - 3. Let y = -0.08 + b. Put 2, p, y in increasing order.
p, y, 2
Let y = 9 - 14. Let g = -9448/21 - -450. Let m = -1/3 - g. Put y, m, 0.1 in increasing order.
y, m, 0.1
Suppose 3*k - 12 = -3*m - 6, -8 = -3*m - k. Sort m, -0.3, 17 in increasing order.
-0.3, m, 17
Let x = 4 + -3.5. Let b = -7 + 8. Sort x, b, -0.3 in increasing order.
-0.3, x, b
Suppose -2*x - 25 = 3. Let m be (x/21)/(11/3). Put 2/9, 5, m in ascending order.
m, 2/9, 5
Let b = 14 - 15. Put 3/7, -2/3, b in descending order.
3/7, -2/3, b
Suppose 2*y + 2*y + 12 = 0. Sort -2, -5, y in decreasing order.
-2, y, -5
Let m = 7 - 5. Let l(i) = -i**3 + 3*i**2 + 2*i + 3. Let a be l(4). Let c be (-18)/(-15)*(-20)/8. Sort a, m, c.
a, c, m
Let r = -3/70 + -271/210. Suppose u = -2*h - 3*u, -3*h = -u - 21. Suppose 5*m - h = -3*i, 0 = -2*i - 3*m - 0 + 3. Sort r, -4, i in ascending order.
-4, i, r
Let d = 39 + -42. Suppose -w = w - 10. Let s = 2 + -4. Sort s, w, d in ascending order.
d, s, w
Let x = 14 - 10. Suppose -4*b - 2 = 2*f - 8, 4*b + x*f = 0. Suppose 0 = -b*d - 2*d + 5. Put d, 0.4, -4/3 in decreasing order.
d, 0.4, -4/3
Suppose -3*b - b = 40. Let o be b/25 + 36/15. Put 0, -2, o in ascending order.
-2, 0, o
Let j be 72/(-154) - 4/(-14). Let c = -15.2 - -17.2. Put -0.5, c, j in decreasing order.
c, j, -0.5
Let t = -0.21 - -0.61. Put 0.1, 1/3, t in descending order.
t, 1/3, 0.1
Suppose 24*x - 3 = 21*x. Put -0.5, -2/3, 3, x in descending order.
3, x, -0.5, -2/3
Let a = 5 - 10. Suppose 4*w - 8*w + 12 = 0. Let y = -1 - w. Sort 2, a, y in decreasing order.
2, y, a
Let l = -3 + 1. Let t = l + 0. Let g = t - -1. Put 3, g, -5 in descending order.
3, g, -5
Let l = 6 - 31/5. Let n = 448 - 447. Put l, n, 0.2 in decreasing order.
n, 0.2, l
Let n(b) = b**3 + 8*b**2 + 6*b - 9. Let o be n(-7). Sort 3, 0.4, o in increasing order.
o, 0.4, 3
Let j = 0 + 3. Suppose 0*l + 6 = -j*l. Suppose -2*c + 5*s - 45 = 2*c, -4*c - 5*s = -5. Put 0, c, l in decreasing order.
0, l, c
Let a be (-2)/4*(1 - 23). Put -1, a, 0 in increasing order.
-1, 0, a
Let k be 23/(-9) + 4/(-9). Put k, 4, 3 in ascending order.
k, 3, 4
Let l(v) = 9*v + 27. Let p(k) = 5*k + 14. Let x(r) = 4*l(r) - 7*p(r). Let u be x(-5). Suppose 0 = -u*f + t, -3*f = -2*t - t. Put 1, f, -1 in increasing order.
-1, f, 1
Let v(p) = -p**2 + 9*p - 7. Let i be v(8). Sort 3, -3, i in descending order.
3, i, -3
Suppose -9 = -2*k + 1. Let w(v) = v - 10. Let b be w(k). Sort 5/3, b, 1/2 in ascending order.
b, 1/2, 5/3
Let j = -20 - -19.6. Sort -2/7, -0.1, 3/5, j in ascending order.
j, -2/7, -0.1, 3/5
Let x be (417/24)/((-2)/(-8)). Let i = -409/6 + x. Put -0.1, i, 4 in increasing order.
-0.1, i, 4
Let v be 3 - (-29)/(-6) - (-8)/(-48). Put v, -1, 2 in increasing order.
v, -1, 2
Let f = -31.2 - -34. Let y = -0.2 - f. Let k = 2.5 + y. Put k, -0.4, -2 in descending order.
-0.4, k, -2
Let p(r) = -r + 12. Let u be p(10). Sort -5, 1/4, u in descending order.
u, 1/4, -5
Suppose -3*z = -7*z + 16. Let w be (1/2)/(2/12). Suppose 0 = w*x - 0*x. Sort x, 2, z in increasing order.
x, 2, z
Suppose 3*s = 3 - 12. Suppose 2*o = 4*h - h + 13, -2*o + 11 = -h. Sort 1, s, o in increasing order.
s, 1, o
Let o be 3/30*6 - 1. Sort o, -0.5, -2 in descending order.
o, -0.5, -2
Let h = 31 + -123/4. Let r = -39/2 + 18. Sort r, 5, h.
r, h, 5
Suppose 2*r = 5*r + 15. Let j = 5 - 1. Sort r, 0, j in decreasing order.
j, 0, r
Let p = 36 - 39. Suppose -3*v + 10 = u, 4*u - 16 = -4*v - 0. Put 3, p, u in descending order.
3, u, p
Let v(t) = t**3 - 3*t**2 - 3*t - 2. Let z be v(4). Let y(b) be the second derivative of -b**4/12 - b**2/2 - 2*b. Let n be y(z). Put n, -3, 3 in ascending order.
n, -3, 3
Let l = 6 - 3. Put l, -1, -5/6, -4 in ascending order.
-4, -1, -5/6, l
Suppose 0*t = -t + 14. Suppose 5*i + 3*w = i + t, -5*w = -i - 8. Let n be ((-1)/i)/((-2)/(-20)). Sort n, -2/21, -0.2 in descending order.
-2/21, -0.2, n
Let a be (2/4)/(1/8). Put -5, -3, a in increasing order.
-5, -3, a
Let h = -0.152 + 0.552. Sort -0.3, 0.5, h, -2/5 in descending order.
0.5, h, -0.3, -2/5
Suppose -5 = -3*n + 3*p + p, -5*n = -p + 3. Put -51, n, 3 in descending order.
3, n, -51
Let o = -5 - -4.5. Let s = -1 - o. Sort 1, 2/19, s in decreasing order.
1, 2/19, s
Let i = 1.96 - -0.04. Let p = -4 + i. Sort -5, 1, p.
-5, p, 1
Let m = 72 - 74. Put -9, 2, m in descending order.
2, m, -9
Let c = -0.3 - -3.3. Let v = -1.2 + 2. Let u = 0.3 - v. Sort u, c, 0.1 in decreasing order.
c, 0.1, u
Let q = 25 + -26. Sort 3, 5, q.
q, 3, 5
Suppose 0 = -3*q - 11 - 4. Sort q, 3, -3 in decreasing order.
3, -3, q
Let y = 3 + 1. Let f = y + -3.6. Sort -2, 5, f.
-2, f, 5
Suppose -5*c - r = -15 + 6, 0 = 5*c + 3*r - 17. Sort 2, -3, c in descending order.
2, c, -3
Suppose -1 = f - 4*y + 2*y, 5*f - 8 = -3*y. Let z = 2 + 3. Sort f, z, -5 in descending order.
z, f, -5
Let y be -2 + 9/4 - 0. Let j = -21 + 17. Sort j, 1/7, y in ascending order.
j, 1/7, y
Suppose 0*t = 5*t - 10. Let s(v) = -2 - 3*v - 3*v**2 + 8 + 2*v**t. Let x be s(-5). Sort 4/3, -3, x in increasing order.
x, -3, 4/3
Let n(f) = -2*f**3 + 11*f**2 - 13*f + 38. Let x be n(5). Let w(z) = z**2 - 5*z + 4. Let m be w(4). Put m, x, -10 in descending order.
m, x, -10
Let d = 5 + -4.94. Let l = -5.06 + d. Put l, 0, 2 in decreasing order.
2, 0, l
Let w = -3 + 2.7. Let v = w + -0.7. Let s = 1.6 - 2. Put s, v, 0.3 in increasing o