5 - -19/30. Let f = -2 - -2. Let k = f + 2. Put 0.1, k, j in descending order.
k, j, 0.1
Let a be ((-5)/(-3))/((-4)/12). Put a, 3, 8 in descending order.
8, 3, a
Suppose v - 2*b + 8 + 4 = 0, -5*b = 4*v + 48. Let j = v - -8. Let z(d) = d + 9. Let y be z(-6). Sort 0, y, j.
j, 0, y
Suppose -3*y - 6 = -4*s + 2, s - 5*y + 15 = 0. Let p = 2 + -1. Put s, 3, p in decreasing order.
s, 3, p
Let m be (-3)/2 + (-4)/8. Sort 4, m, 1 in descending order.
4, 1, m
Let m = -15 - -9. Sort m, -5, 5 in decreasing order.
5, -5, m
Let b = -6 - -9. Put b, -5, -0.5 in decreasing order.
b, -0.5, -5
Let f = 673/3641 - 1/331. Put -0.2, 2, f in decreasing order.
2, f, -0.2
Let l = -6 + 6. Let s = l + 0.3. Sort -0.1, 1/4, s in ascending order.
-0.1, 1/4, s
Let t = -7 + 11. Let p = -28 - -23. Sort p, 3, t.
p, 3, t
Let c(n) = n**2 - 14*n + 16. Let t be c(13). Put -1, 4, t, 0 in ascending order.
-1, 0, t, 4
Let v(u) = u**2 + 6*u + 2. Let b be v(-5). Sort -2, -0.1, b in descending order.
-0.1, -2, b
Let h(y) = y**2 - 10*y + 3. Let i be h(9). Let r be 1/(-3) + i/9. Suppose 0*k + k = 1. Put -5, k, r in decreasing order.
k, r, -5
Suppose 2*k - 9 + 7 = 0. Sort -1, 1/2, k in ascending order.
-1, 1/2, k
Let d be (3/(-6))/(5/(-50)). Put d, 0, -5 in decreasing order.
d, 0, -5
Let z(m) = -m**2 + 11*m + 8. Let w be z(12). Put 5, w, 3 in decreasing order.
5, 3, w
Suppose 0 = -5*p - 2*h + 18, p - 5 = -0*p + h. Let g be -2 + p/2 + -5. Put 3, g, 2 in increasing order.
g, 2, 3
Let u be 3/(-4)*48/90. Put u, -4, -0.2 in descending order.
-0.2, u, -4
Let b(u) = -u - 20. Let l be b(-20). Put -5, 3, 2, l in ascending order.
-5, l, 2, 3
Let l(n) = -7*n**3 - 2*n - 1. Let w be l(-1). Suppose w = 3*j + j. Suppose 0 = -2*r - 5*g + 20, -3*r + 0*r = 4*g - 16. Sort r, -1, j.
-1, r, j
Let r be (-2)/((-8)/4) + 2. Let g be (2*r)/(3 - 5). Put 2/9, 0.3, g in increasing order.
g, 2/9, 0.3
Suppose 5*y = h + h + 16, 0 = 3*h - 2*y + 2. Let m = 1 - -2. Suppose x + m = 4. Sort -1, x, h in decreasing order.
h, x, -1
Suppose -5*y + 9 = 3*g, -2*y - 6 = 2*g - 4*g. Put g, -5, 4 in decreasing order.
4, g, -5
Let b(w) = -w**3 - 2*w**2 + 4*w + 2. Let m be b(-3). Sort -2, 4, m in increasing order.
-2, m, 4
Let x be (-4 + 2)/((-2)/(-4)). Let n be 3/(4 - 11/2). Sort x, n, 1 in ascending order.
x, n, 1
Let v be (-1 + 1)/(-6 + 7). Sort v, 6, -5 in ascending order.
-5, v, 6
Suppose -10*y = -9*y + 4. Let h(f) = -f**2 + 4*f + 5. Let b be h(5). Put -3, y, b in descending order.
b, -3, y
Let u = -0.1 + -0.6. Let j = -0.76 - u. Let h = j - 0.04. Sort 5/4, h, -4.
-4, h, 5/4
Let z be (-1)/(-4) + 1/(-20). Let r be (-86)/(-16) - (-38 + 43). Put 5, z, r in increasing order.
z, r, 5
Let g = -11 - -7. Let o = -0.44 + 0.04. Let l = 2.1 + -1.1. Put g, o, l in descending order.
l, o, g
Let i = 35.1 - 35. Sort i, -1, -0.03 in ascending order.
-1, -0.03, i
Suppose -2 = 5*y - 7. Let t = -8 + 13. Put t, y, 3 in decreasing order.
t, 3, y
Let o = -1 - -1. Suppose -2 = 2*d - o. Sort d, 5, -5 in descending order.
5, d, -5
Let r = -0.09 - -0.1. Let d = r - -3.99. Put 0.1, -1/7, d in descending order.
d, 0.1, -1/7
Suppose -4*a + 23 = 7. Suppose s + 25 = -5*g, -22 = -2*s + a*s + 3*g. Suppose 0 = 4*m - 4 - 4. Put -1, s, m in ascending order.
s, -1, m
Let c(p) = p**2 - 2*p. Let r be c(2). Let n(j) = j - 3. Let z be n(4). Sort z, -5, r.
-5, r, z
Let t be (-3)/12 - 34/(-72). Sort -0.2, t, -25/6 in decreasing order.
t, -0.2, -25/6
Suppose -5*w + 19 = 3*c, c + 3*c + 13 = w. Let o = -1 - -3. Sort 1, w, o in decreasing order.
w, o, 1
Let p(y) = -y - 6. Let q be p(-5). Let z(k) = 0*k**2 + 0*k**2 - k - 3*k**2 + 0*k. Let x be z(q). Sort x, -3, -4 in increasing order.
-4, -3, x
Let o be ((-6)/9)/((-2)/3). Let t = 4 + -8. Sort o, -1, t in decreasing order.
o, -1, t
Suppose 3*y = 2*w, -1 = -4*w + 3*w + 2*y. Put -4, w, -1 in increasing order.
-4, w, -1
Let z be 8/(-2)*(-3)/4. Let f = 7 - 6.7. Let t = f - -4.7. Sort z, -1, t in ascending order.
-1, z, t
Suppose -9*o + 8 = -7*o. Put o, 15, -5 in descending order.
15, o, -5
Let f(d) = -d**2 - 6*d. Let h be f(-5). Put -1, 4, h in descending order.
h, 4, -1
Let t be (-162)/39 + (-4)/(-26). Let s(n) = -n**3 - 5*n**2 - 5*n - 6. Let o be s(t). Let r be (2/(-4))/(5/o). Put -0.3, 5, r in ascending order.
-0.3, r, 5
Let p = 0.03 - -0.27. Let a = -0.08 - -2.08. Let f = 2.2 - a. Put p, f, -2 in descending order.
p, f, -2
Suppose 7*m - 10 - 39 = 0. Let d(z) = 3*z**2 - 2*z - 1. Let h be d(-1). Let r be h/(-16) + m/12. Put r, -1, -2 in decreasing order.
r, -1, -2
Let j = 2 - -6. Suppose 4 + j = -4*w. Sort 2, 3, w in decreasing order.
3, 2, w
Suppose 3*c + 2*t = 7*c - 6, -3*c + 2*t + 6 = 0. Sort 4, c, 3, -2 in decreasing order.
4, 3, c, -2
Let q = 1.7 + -3.1. Let b = -0.9 - q. Sort -5, -3, b.
-5, -3, b
Let p(f) = 2*f**3 - 2*f**2 - f - 2. Let s be p(2). Suppose -s*b = -0*b. Sort 1, -1, b.
-1, b, 1
Let i = 4 + -4. Let f(q) = -q**2 - 2*q + 4. Let t be f(-4). Put i, t, 1 in descending order.
1, i, t
Let v = -22 - -23. Put -2, v, 4 in descending order.
4, v, -2
Let u be ((-84)/15)/((-2)/5). Let x be u/(-63) - 4/(-99). Put -2, 4/9, x in descending order.
4/9, x, -2
Let t = -12 - -7. Sort t, 7, -1.
t, -1, 7
Let i(q) = 3*q**3 + q**2 - 3*q + 2. Let z be i(2). Suppose -2*s = -s, -z = -4*a + 4*s. Put a, 0, 4 in increasing order.
0, 4, a
Let x(j) = j**2 - 2*j + 4. Let y be x(2). Let t = -5/8 - -19/56. Put t, -0.5, y in increasing order.
-0.5, t, y
Suppose 0 = 5*g + 25, -12 - 13 = 5*n + 5*g. Put -6, n, -3 in increasing order.
-6, -3, n
Let d be 24/63 + 4/(-6). Suppose -4*b - 17 + 7 = -2*t, 4*t + 4*b - 68 = 0. Let o = t - 15. Sort o, -3/4, d in ascending order.
o, -3/4, d
Let s be 1*4/14*-1. Let m be (-2 - -3)*3 + -1. Sort s, -3, m.
-3, s, m
Let t(j) = -j**2 - 8*j - 13. Let b be t(-6). Put 5, 3, b in descending order.
5, 3, b
Let k = 8.48 + -1.38. Let f = -7 + k. Let x = 49 - 439/9. Put -0.2, x, f in ascending order.
-0.2, f, x
Let i = -0.05 - 0.05. Sort -0.3, 1, i in decreasing order.
1, i, -0.3
Let o be -2*(-1 + 2 + -2)/2. Let k(x) = -4*x**2 + 2*x - 1. Suppose a + 0*a = 1. Let v be k(a). Put v, o, 5 in decreasing order.
5, o, v
Let u = 0 - 0.04. Put u, -1/5, -2/7 in descending order.
u, -1/5, -2/7
Let g be (6*-2)/4 - -3. Suppose 0 = 4*v - 2*l - 2, -v + 0*v - l = -5. Suppose 17 = 4*q - k, -4*q - 4 = -6*q + v*k. Sort g, q, -3 in increasing order.
-3, g, q
Let a(j) = j - 9. Let x be a(9). Put 3, x, 2 in decreasing order.
3, 2, x
Let v = 7.3 + -7. Let d = 22 - 17. Sort d, v, -1 in decreasing order.
d, v, -1
Let a = -50.2 + 44. Let k = -14 + 8. Let i = k - a. Put i, -4, 0.1 in descending order.
i, 0.1, -4
Suppose -3*z = -5*y + 17, -z = y + 4*z - 9. Suppose -4*r + 30 = -5*a, -6*r + y*a + 33 = -r. Sort r, -1/7, 2 in descending order.
r, 2, -1/7
Let x = 3 + -8. Sort -1/5, -1, x in descending order.
-1/5, -1, x
Let y(c) = c**3 + 5*c**2 + c + 8. Let m be y(-5). Sort -4, m, 0, -7.
-7, -4, 0, m
Let s = -62 - -62. Put 3, 5, s in decreasing order.
5, 3, s
Let q be 5*1*(-2 + 3). Suppose l + j - 117 = -2*l, -4*l - 3*j + 156 = 0. Suppose -5*n = -25, -5*n + 1 + l = -3*m. Put m, -2, q in ascending order.
m, -2, q
Let o(h) = -h**2 - 7*h + 2. Let g be o(-7). Suppose -3*p + 21 = -15. Let t = -7 + p. Sort g, t, -2 in descending order.
t, g, -2
Suppose -2*y = 8*y + 120. Sort y, 0, 5.
y, 0, 5
Suppose 3*c = -b + 5*b + 2, 2*c - b - 3 = 0. Put 3, -4, c, -1 in decreasing order.
3, c, -1, -4
Let d be 30/(-20)*(-6)/27*6. Sort -3, -1, d, 3.
-3, -1, d, 3
Let t(d) = -d**2 + 2*d + 15. Let j be t(5). Put -2, j, -1 in descending order.
j, -1, -2
Let v = -0.02 - 0.48. Let i = v + -8.5. Let m = 4 + i. Sort 3/5, m, 0.3 in ascending order.
m, 0.3, 3/5
Let f = -4.8 - -5. Let v = 0.2 + -0.2. Sort 2, f, v.
v, f, 2
Let k(h) be the third derivative of -h**5/60 - 7*h**4/24 - h**3/2 + h**2. Let c be k(-6). Suppose 4 = -5*q - 1. Sort 5, q, c in decreasing order.
5, c, q
Suppose -2*n - 3 = 7. Let m(l) = -l**3 - 7*l**2 - 5*l + 6. Let v be m(-6). Suppose 0 = 5*i - 25 - v. Put i, -3, n in descending order.
i, -3, n
Suppose 0 = -5*g - 4*u + 2*u - 16, -3*g - u - 9 = 0. Sort 0, g, 11 in decreasing order.
11, 0, g
Let l = -58/57 + 7/38. Put 4, -0.4, l in descending order.
4, -0.4, l
Let h = -0.9 - -0.5. Sort 1, 3, h in decreasing order.
3, 1, h
Let s(t) = -t - 5. Let j be s(-7). Let g be (3/3 - j)/