ending order.
f, 1, k
Let b(k) = -3*k + 19. Let t be b(5). Let w(r) = 2*r + 7. Let y be w(-6). Sort t, -2, y.
y, -2, t
Let a = -0.062 - -0.062. Put -7, 2, -4, a in ascending order.
-7, -4, a, 2
Let a = 1 - 1.2. Let w = -0.01 - 2.49. Let t = 3 + w. Sort -2/11, t, a in increasing order.
a, -2/11, t
Suppose 5*z - 43 = -23. Put z, -3, 3 in increasing order.
-3, 3, z
Let h = -35 - -33. Sort -0.5, h, -3 in ascending order.
-3, h, -0.5
Let i(p) = -p + 1. Let d be i(5). Sort 1, -5, d in increasing order.
-5, d, 1
Let h = -53 + 57. Put -2, h, -4, -3 in descending order.
h, -2, -3, -4
Let i be 22/(-4) + (-4)/8. Let c be (i/4 + 0)*-2. Suppose -8 = 5*j + c*d + 8, 2*j + 3*d = -10. Sort -3, 1, j in decreasing order.
1, j, -3
Let c be 4/3 + 1*-1. Let r be 16/20 - (-12)/10. Suppose -5*k = -r*k + 9. Sort k, c, 4/3 in decreasing order.
4/3, c, k
Suppose -3*l - j + 0*j + 23 = 0, j = -4. Let o(q) be the first derivative of -q**4/4 + 8*q**3/3 + 9*q**2/2 - 3*q + 16. Let s be o(l). Sort s, -1, -5.
-5, s, -1
Suppose -14 + 3 = -5*c + t, -4*c + t = -9. Let n be -7 - (4/(-1))/c. Let p be 1/n*(-2)/3. Put p, 0, -2 in decreasing order.
p, 0, -2
Let g be ((-4)/(-3))/((-2)/3). Suppose 5*c = j + 21, c - 9 = -j + 6*j. Let z = 3 - 2. Sort j, g, z in ascending order.
g, j, z
Suppose 2 = 3*o - 4. Suppose 5*a = -5*l + 105, a + 5*l + 7 - 32 = 0. Suppose 0 = 5*h - a + 5. Put h, o, 5 in descending order.
5, h, o
Let l = -0.2 - 2.6. Let p = l + 3. Sort 5/4, p, -3 in ascending order.
-3, p, 5/4
Let l(b) = -b**2 + 4*b + 1. Let t be l(2). Suppose 225 = 3*f + 2*f. Let s be (-94)/18 + 10/f. Sort s, 3, t in ascending order.
s, 3, t
Let d(a) = a + 15. Let m be d(-9). Let b = -3 - -6. Sort m, 1, b in increasing order.
1, b, m
Let j = 7.388 + -0.338. Let s = -0.05 + j. Let y = s + -5. Put y, -4, 0.1 in descending order.
y, 0.1, -4
Let i(v) = -v**3 - 4*v**2 - 3*v - 3. Let t be i(-3). Put 4, t, 5 in descending order.
5, 4, t
Let z = -7 - -9. Put z, -1, -4 in decreasing order.
z, -1, -4
Let o(p) = -p**3 + 4*p**2 - p + 2. Let t be o(4). Suppose -7*r + 10 = -2*r. Let f be (-2 - -2) + 8/r. Sort 5, f, t.
t, f, 5
Let v be -3 + 15/6 + 3/2. Sort 3, -9, v, -4.
-9, -4, v, 3
Let k(z) be the first derivative of -z**2/2 - 7*z - 2. Let r be k(-9). Sort r, 6, -5 in decreasing order.
6, r, -5
Let p = 0.009 - 0.209. Let w = -0.4 - -0.3. Let d = 1.1 + w. Sort d, p, 2 in ascending order.
p, d, 2
Let w = 1738/2185 + 2/437. Let a = -81/56 - -11/7. Let i = a - -1/8. Put i, w, 0.4 in decreasing order.
w, 0.4, i
Let n(r) = r**3 - 6*r**2 + 3*r - 3. Let t be n(6). Suppose -i - 2*i = t. Sort -1/4, i, 3 in decreasing order.
3, -1/4, i
Suppose 18 = -0*v - 9*v. Sort v, 2, -7 in descending order.
2, v, -7
Let w be 2 - ((0 - 1) + -2). Suppose 4*z + y = -9, 2*z - y = -3*y - 12. Sort z, -4, w in ascending order.
-4, z, w
Let n(o) be the third derivative of -o**6/120 + o**5/15 - o**4/8 + o**3/3 - 3*o**2. Let f be n(3). Sort f, -5, 4 in increasing order.
-5, f, 4
Suppose 0 = j - 2*y + 8, j = -j + 2*y - 12. Sort 20, 4, j, 2 in decreasing order.
20, 4, 2, j
Suppose 5*j = -3*p - 5, -j - 14 - 4 = 4*p. Put 0, -3, p in descending order.
0, -3, p
Let b = -3 + 3. Let z = 0.2 - b. Put 0, 3, z in ascending order.
0, z, 3
Let k be (7/14)/((-6)/(-20)). Sort k, -1/10, -0.27.
-0.27, -1/10, k
Let u = 9.8 - 9.3. Sort -6, u, 1/3.
-6, 1/3, u
Let p = -46 - -136. Let n be p/25 - 4/(-10). Put 1, -5, n in ascending order.
-5, 1, n
Let m = 5/9 + -1/18. Put m, 2, -5 in descending order.
2, m, -5
Let z be 2/(-9) + (-141)/(-27). Suppose -4 = -j - 3. Suppose 0 = l + 5 - 2. Put j, z, l in increasing order.
l, j, z
Let n = -9 - -14. Put 2, n, 1/4, 7 in descending order.
7, n, 2, 1/4
Let p = -23 - -23.5. Let g = -0.2 + 0.1. Let r = g + 0.2. Sort r, 1/4, p in ascending order.
r, 1/4, p
Let j(a) = -a**2 - 7*a + 16. Let s be j(-9). Sort -0.2, s, 5.
s, -0.2, 5
Let q(c) = -3*c**3 + 1. Let r be q(1). Sort 1, r, -1/7 in ascending order.
r, -1/7, 1
Let u = 0 + -3. Put -0.4, 3, 3/4, u in decreasing order.
3, 3/4, -0.4, u
Let n = -2 - -2. Let r = 52 + -51. Sort n, r, 4 in descending order.
4, r, n
Let a = 8 + -6. Let b = -39 - -159/4. Let j = 1/12 + -29/60. Sort b, j, a.
j, b, a
Let t = -4 - -3. Let c = -3 - t. Put 8, 0, c in decreasing order.
8, 0, c
Suppose 2*f - 5*r - 5 = -3, f + 2*r = -8. Put 2/9, -2, f in increasing order.
f, -2, 2/9
Suppose 5*u - u = 2*p, 14 = 3*p + u. Sort 3, 5, p, -4 in descending order.
5, p, 3, -4
Let z = -175 + 173. Put -21, z, -2/7 in descending order.
-2/7, z, -21
Let z(s) = s - 1. Let f(i) = i**3 - 2*i**2 - 4*i - 1. Let a be f(3). Let n be z(a). Sort 4, n, 2.
n, 2, 4
Suppose 4*p + 1 = q + 12, -2*q + 2*p = 4. Put q, 0, 5 in decreasing order.
5, q, 0
Suppose 4*r + 2*z - 16 = -0*z, 0 = -2*r + z. Let n = 2 + 2. Suppose 0 = 2*w - 2*x - 2*x + 2, -4*x - 1 = -w. Put w, n, r in descending order.
n, r, w
Let b(w) = 3*w. Let r be b(-1). Let p(y) = 2*y**2 - 13*y + 4. Let j be p(6). Sort 1/9, j, r.
r, j, 1/9
Let n be (2/12)/((-7)/(-14)). Sort 5, 3, n in decreasing order.
5, 3, n
Let r(f) = f**2 + 5*f + 3. Let h be r(-3). Put 3, h, 2 in descending order.
3, 2, h
Let i be (-6 + (-117)/(-15))/(2/(-10)). Let o = -9 + 5. Sort 2, i, o in descending order.
2, o, i
Suppose -4*k - 3 - 1 = 0. Let p be (-10)/6*(-2 + 5). Suppose 4*s - 20 = 0, -o + 15 = s + 2*s. Sort k, p, o in decreasing order.
o, k, p
Let z = 3.06 - 0.06. Let k = 67 + -70. Sort k, z, -0.3 in increasing order.
k, -0.3, z
Let a(d) = 6*d**3 - 5*d**2 - 4*d. Let u(b) = 5*b**3 - 4*b**2 - 4*b. Let g(v) = 4*a(v) - 5*u(v). Let q be g(3). Let m = 11 + q. Sort m, 5, 3 in increasing order.
m, 3, 5
Let f = 8 + -10. Sort f, -2/3, 1, -4 in ascending order.
-4, f, -2/3, 1
Let x = 90 + -444/5. Sort -3/8, 1, x in decreasing order.
x, 1, -3/8
Suppose 2*o = -3*o + 10. Sort o, 3, -1, -2 in descending order.
3, o, -1, -2
Let k be 4 - (2 + -3) - 1. Let r be -2 + (-2)/((-10)/11). Sort 3, r, k.
r, 3, k
Let x be (-4)/(-1) - 69/18. Sort x, 3, -7 in descending order.
3, x, -7
Suppose -2*f + 3*f - 7 = 0. Let c = 4 - f. Let q = -0.8 + 0.9. Sort q, -0.06, c in descending order.
q, -0.06, c
Let f = -14.5 + 14. Put f, 2/25, 4, -2 in increasing order.
-2, f, 2/25, 4
Let c = -62 + 66. Put c, 5, 10 in descending order.
10, 5, c
Suppose 16 = -5*y - 4. Let v(u) = -4*u + 1. Let s be v(-2). Let t = s + y. Put -2, t, -1 in ascending order.
-2, -1, t
Let z be (-32)/(-10) - (-3)/(-15). Let f(a) = 2*a**2 - 4*a + 5. Let s be f(2). Sort z, 1, s in ascending order.
1, z, s
Suppose -3*b = -3*o - 6, -3*o + 0*b - b - 6 = 0. Sort -1, 2, o in decreasing order.
2, -1, o
Suppose 2*s = 11*s + 9. Sort 32, s, -5.
-5, s, 32
Let b = -23 - -27. Let g be b/6*(-27)/6. Sort -1, g, 4 in increasing order.
g, -1, 4
Let o(b) = b. Let g be o(0). Suppose l + 2*l = g. Suppose -2*r + l*r - 6 = 0. Sort 5, -1, r in decreasing order.
5, -1, r
Let f = -2 - -10. Let n be (2/(-154))/(2/f). Let y = -10/77 + n. Put y, 0.3, 0.5 in increasing order.
y, 0.3, 0.5
Let w be -8*(-3)/3 - 4. Put -56, w, 1 in descending order.
w, 1, -56
Let y be -9 - -13 - ((-6)/(-3) + 2). Put -17, 5, 3, y in increasing order.
-17, y, 3, 5
Let q = -3 + -2. Suppose 8*j - 5*j = 0. Suppose -2*u + 7 + 1 = j. Sort 2, q, u in descending order.
u, 2, q
Let m = 1.2 + -0.8. Sort 0.5, m, 1 in ascending order.
m, 0.5, 1
Let k = 37 - 42. Sort k, 0, 2/95, 0.5.
k, 0, 2/95, 0.5
Let n = 2 + 1. Let m = -0.08 - -3.08. Let o = n - m. Put o, -5, -1 in descending order.
o, -1, -5
Let x(r) = -r**2 - 12*r - 5*r**2 - 2*r**2 + 3*r**2. Let g(k) = -4*k**2 - 11*k. Let c(j) = -6*g(j) + 5*x(j). Let o be c(6). Sort -4, -3, o in descending order.
o, -3, -4
Suppose -20*h + 4*h = 32. Suppose 0*q + 21 = 5*q + 2*d, 3*q - 15 = -2*d. Put q, h, 2 in increasing order.
h, 2, q
Let c be (-4 + 3)*(-3 + 3). Put c, 2, 4 in ascending order.
c, 2, 4
Let x be (((-3)/(-5))/(-1))/(6/(-30)). Sort -4, -5, x, -18.
-18, -5, -4, x
Let k be 0 + -2*(4 + -2). Let a be 2/(-4) + (-1)/2. Let x(t) = -t - 7. Let u be x(-7). Put k, a, u in descending order.
u, a, k
Let r = -183 + 182.96. Put -2, -0.5, r, 0 in ascending order.
-2, -0.5, r, 0
Let c(x) = -x**2 + 9*x - 3. Let y be c(6). Let t be (18/y)/(6/20). Sort t, -3, 2 in descending order.
t, 2, -3
Let t(g) = -g**2 - 11*g - 10. Let d be t(-10). Suppose d = 2*k + 8, -6*b = -b - 4*k - 21. Sort b, 3, 0.
0, b, 