et a be ((-6)/4)/(6/8). Sort a, 2, b.
a, 2, b
Let x(c) = -4*c - 14. Let a be x(-4). Sort a, 0.2, 3 in increasing order.
0.2, a, 3
Let l = 3 + -6. Let t = -22 - -45/2. Sort l, t, -1 in ascending order.
l, -1, t
Suppose 8*u - 3*u + 20 = 0. Let j(t) be the second derivative of -t**4/12 - t**3 + 7*t**2/2 + 3*t. Let y be j(-7). Put u, y, -5 in decreasing order.
y, u, -5
Let o(i) be the first derivative of i**2/2 + 10*i + 4. Let v be o(-6). Sort -4, v, 3 in ascending order.
-4, 3, v
Let i(n) = n**3 - 4*n**2 + 3. Let x be i(2). Sort 38, x, -4.
x, -4, 38
Let u = -13 - -37. Suppose -2*i + 3*i - 11 = 4*g, -g - u = 4*i. Sort g, -1, 0.
g, -1, 0
Let k = -0.11 + 0.2. Let d = k - 2.09. Put 5, 4, d in decreasing order.
5, 4, d
Let h be 5 + (-2 - 1/(-1)). Sort h, -3, 0 in ascending order.
-3, 0, h
Let d be 0/(-2)*(-2)/4. Let f = 0 - 3. Let r(x) = -x**2 + 10*x - 14. Let k be r(8). Put k, d, f in increasing order.
f, d, k
Let d = -1 + 1. Suppose 0 = 3*f - d*f + 15. Let u = 0 + -3. Put u, -4, f in descending order.
u, -4, f
Let l(x) = -2*x**2 - x**2 + 4*x + 2*x**2 + 3. Let c be l(5). Put 3, c, -5 in ascending order.
-5, c, 3
Let g = 0.3 + 0.2. Let z = -10 + 9.2. Let o = z + g. Sort -3, o, 1 in descending order.
1, o, -3
Let o = -25 + 24.9. Sort o, -1, -14, 0 in descending order.
0, o, -1, -14
Let y(t) = -t**3 - 13*t**2 - 2*t - 22. Let h be y(-13). Let l be (-2)/(-2) - -3 - -1. Sort h, -3, l in ascending order.
-3, h, l
Let q be -1 - -2 - 1 - -1. Let x be 75/(-158) + -1 + q. Let o = 2/79 - x. Sort o, -4, 0 in decreasing order.
o, 0, -4
Suppose 4*q + 2 = 6*q - v, 19 = 5*q + v. Let k = -13 - -9. Sort 1, q, k in increasing order.
k, 1, q
Suppose 2*j = -i - 10, 0 = -5*j - 14 - 1. Sort 10, i, -1.
i, -1, 10
Suppose -m + 2 = 7. Let d(i) = i**2 + 6*i + 7. Let r be d(m). Sort r, 13, -5 in ascending order.
-5, r, 13
Let p(y) = -y**3 - 6*y**2 - y - 5. Let n be p(-6). Let f = -10 - -5. Let k = f + 5.4. Sort k, n, 4.
k, n, 4
Let d = -3 + 3. Suppose -2*q + 2 = -d. Sort 0, q, 3/8 in descending order.
q, 3/8, 0
Let z be (6/(-2) - -2)*-4. Suppose z*k = -0*k. Sort k, 1, -1 in decreasing order.
1, k, -1
Suppose 0 = -4*m - 5*y - 25 + 67, 3*y + 45 = 3*m. Suppose -5*a + 4*p - 15 = -4*a, -m = a - 3*p. Put -2, 0, a in ascending order.
a, -2, 0
Suppose -4*r - 10 = 2*m, 0*r + 5*m + 25 = -2*r. Let g = -13 - -6. Let p be g/3 - 4/(-2). Sort p, -1/8, r in descending order.
r, -1/8, p
Suppose -3*g + 82 + 32 = 3*b, -4*g - 46 = -2*b. Suppose 4*l + b = -2*o + 9, o + 27 = -5*l. Put 2, 0, o in decreasing order.
2, 0, o
Let q be (-18)/(-4) - (-2)/4. Suppose 0 = -5*g + 3*g + h - 7, 5*g + 5*h - 5 = 0. Sort q, g, -5.
-5, g, q
Let k(d) = 16*d - 2. Let s be k(8). Let u be (-14)/(-36)*27/s. Put u, -0.5, 4/5 in increasing order.
-0.5, u, 4/5
Let f = 11 - 10.5. Let z = f - 0.5. Put 3/7, z, 1/4 in increasing order.
z, 1/4, 3/7
Let s = 26 + -25.7. Sort -2/15, s, -3 in descending order.
s, -2/15, -3
Suppose -7 = j + 5*c - 0, 0 = j + 3*c + 3. Let u be ((-10)/(-24))/((-7)/j). Let y = u + 53/140. Sort -0.3, y, 1/2.
-0.3, y, 1/2
Let c be -3*1/4*-4. Let t = -2 - -3. Sort 0, t, c in increasing order.
0, t, c
Suppose -13*a = -10*a + 12. Put 6, a, 3 in descending order.
6, 3, a
Let b = -4 - -2. Suppose -5*s = -4*u - 36, -8 = -0*u + 2*u. Put b, s, 0 in decreasing order.
s, 0, b
Suppose -5*w + 8 + 12 = -4*t, -3*w + 2*t = -12. Let k be 10/14 - 16/(-56). Suppose 2*v + 3*o - 4*o = 0, o - 2 = v. Sort w, k, v in increasing order.
k, v, w
Let p = -13 + 9. Let q = -0.03 + -0.27. Sort 3/8, p, q in ascending order.
p, q, 3/8
Let u = 0.5 - 1.2. Let p = 0.9 + u. Put -0.3, p, -1/3 in increasing order.
-1/3, -0.3, p
Let q = 57 + -60. Sort -0.08, q, 5.
q, -0.08, 5
Let i be ((-3)/3)/((-1)/(-5)). Let b = 0 + 1. Suppose 4*c + 15 + b = 0. Sort i, c, -1 in descending order.
-1, c, i
Let s = 148 - 144. Put 32, 2/5, s in descending order.
32, s, 2/5
Let m = -23 - -21. Put 1/12, 1/2, m in increasing order.
m, 1/12, 1/2
Let o = 19 - 20. Let j(k) = 8*k + 13. Let y(x) = 7*x + 12. Let p(c) = -6*j(c) + 7*y(c). Let u be p(-4). Put o, u, 0 in ascending order.
o, 0, u
Let r(h) = 2*h + 3. Let i be r(-4). Let f = i - -9. Let q be f/2 - (-3)/1. Sort 1, -1/3, q in decreasing order.
q, 1, -1/3
Let k = 4 + -5. Let m be k + 2 + 4/2. Suppose -16 = m*n - 1. Sort 2, -4, n.
n, -4, 2
Suppose -2*d = -115 + 111. Put d, 4, -4, -5 in descending order.
4, d, -4, -5
Suppose -5*i = 2*c - 68, 0 = -5*i + c - 6*c + 80. Let g = i + -7. Let a = g - 9. Put a, -1, 4 in ascending order.
a, -1, 4
Let n(j) = -j**2 - 6*j - 3. Let l be n(-4). Let w be (-187)/(-77) - (-8)/14. Put w, -1, l in ascending order.
-1, w, l
Let q = 0 + 1. Let z(b) = -b**3 - 5*b**2 + 8*b + 7. Let i be z(-6). Suppose 3*u - u = -8. Sort q, u, i in increasing order.
i, u, q
Let c = 1 - -4. Let i be ((-12)/10)/(154/(-55)). Put c, i, 4 in increasing order.
i, 4, c
Let w = 11 - -1. Let x be 2/8 + 93/w. Suppose -5*h = -4*r - 17, 5*h + 0 = r + x. Sort h, 2, -2.
-2, h, 2
Let p be 10/12 - (-12)/72. Put 3, p, -2 in decreasing order.
3, p, -2
Let z(i) = -i**2 + 6*i - 6. Let y be z(5). Put -2/19, y, -4 in descending order.
-2/19, y, -4
Suppose -100 = 4*r - 12. Let u be (-70)/22 - 4/r. Sort -5, u, 1.
-5, u, 1
Let t = -22 - -40. Let o = -18.2 + t. Let g = -4.5 - 0.5. Put o, -0.3, g in decreasing order.
o, -0.3, g
Let p be (-94)/(-18) + 3/((-54)/4). Put -7, 0, p in ascending order.
-7, 0, p
Let b = -4.3 + 2.8. Let c = -1.2 - b. Sort -4/5, c, -3 in increasing order.
-3, -4/5, c
Let w(i) = -i**3 + 4*i**2 + 5*i + 2. Let d be w(5). Let n = 5 - d. Sort 4, n, 2 in descending order.
4, n, 2
Let k be (3 + 3)*(-4)/6. Let v = 6 + k. Put 1, v, 4 in descending order.
4, v, 1
Suppose -3*m = -6*m - 18. Put m, -5, -3 in decreasing order.
-3, -5, m
Let x = -80 + 398/5. Put 3, -2, x in descending order.
3, x, -2
Let y = 0 + 0.2. Let v be 49/28 + -4 + 2. Let n = 2 - 0. Put y, n, v in decreasing order.
n, y, v
Let p(v) = v + 13. Let r be p(-11). Put -9, r, -4 in ascending order.
-9, -4, r
Let n(d) = -d + 3. Let s be n(0). Suppose -s*u = -4*u + 3. Sort 0.2, u, -3 in descending order.
u, 0.2, -3
Let f = -0.4 + 0.5. Let a = -0.5 + f. Sort a, -2, -1 in descending order.
a, -1, -2
Suppose 5*s + 1 = -9. Suppose 0*u = 2*u + 12. Let a = -11 - u. Put 2, a, s in descending order.
2, s, a
Suppose -3*f = -8*f. Let i be (f*1/(-2))/(-1). Put i, -4, 2 in descending order.
2, i, -4
Suppose -2*g - 2*g = 0. Let k be 7/(0 + -2 + 3). Let r(m) = m**3 - 8*m**2 + 7*m - 3. Let l be r(k). Sort l, -2, g in descending order.
g, -2, l
Let o = 11 + -11. Put -1, o, 4, 1 in descending order.
4, 1, o, -1
Let j be (-2)/(-5) + (-11)/15. Let r be (-2 + (-20)/(-8))*-8. Let p be (-14)/r - (-10)/20. Put p, j, -2/7 in decreasing order.
p, -2/7, j
Let y(o) = -o - 25 + 25. Let h be y(0). Put 5, -1, h in increasing order.
-1, h, 5
Let k be (1 - 3)*1 - (24 + -23). Let b = -8 - -11. Put b, -1, k in descending order.
b, -1, k
Suppose -4*k + 148 = -2*f, 0 = -4*k + f - 2*f + 142. Let q be k/10 + (-14)/(-35). Put q, -3, -5 in decreasing order.
q, -3, -5
Let d(c) = -6*c - 1. Suppose -7*r - 5 = -2*r. Let y be d(r). Let g = 8 - 5. Sort g, y, 3/2 in decreasing order.
y, g, 3/2
Let d = -5 + 7. Let a = -3 + 8. Let v = -5.4 + a. Put 0.3, v, d in decreasing order.
d, 0.3, v
Suppose -4*g + 2*r + 3 = g, 0 = -5*g + 4*r + 11. Let v = 0.8 + 0.2. Sort v, g, 2 in descending order.
2, v, g
Let q = 0.08 + 0.42. Let x = q - 0.1. Sort -3, x, 1 in descending order.
1, x, -3
Let f(s) = s**2 - s - 5. Let w be f(0). Let q = 54 - 50. Sort -4, w, q in descending order.
q, -4, w
Let p be -8 - (-1)/(3/12). Sort 0, -3, p in ascending order.
p, -3, 0
Let k = -40 + 40. Sort 1, k, -4, -5 in descending order.
1, k, -4, -5
Let l = 16 - 9. Let j = 185 + -181. Sort l, j, 2 in descending order.
l, j, 2
Let u = 75 - 75. Put u, -12, 1, 4 in ascending order.
-12, u, 1, 4
Let t = 0 + 2. Suppose 4 = -60*c + 64*c. Put -5, t, c in decreasing order.
t, c, -5
Let h = 1 + -3/5. Let o = -0.22 + 0.02. Sort o, 5, h in ascending order.
o, h, 5
Let x be 10*(-2 + 5 + -2). Suppose 4*t + x = -t. Sort -4, t, -3 in descending order.
t, -3, -4
Suppose 0 = u - 4*r + 1, -6 - 10 = -5*u - r. Suppose 0 = -n - u + 4. Put 2, 4, n in descending order.
4, 2, n
Suppose 5*i = -21*s + 16*s + 15, -s + i - 1 = 0. Let d = 0.2 + -0.7. Put d, s, 2/5 in in