0.5. Put f, -0.3, z in descending order.
z, f, -0.3
Let d = -9 - -43/5. Let n = -1 - 0. Sort 2/5, n, d in increasing order.
n, d, 2/5
Let i be (-4)/((-12)/(-9)) - -1. Sort -7, 3, i in decreasing order.
3, i, -7
Let d = 0.05 - 0.45. Let t be 6/(-27) - 206/(-117). Let z = t + -74/65. Sort z, 2/7, d in increasing order.
d, 2/7, z
Let w = -0.43 - -0.23. Let d(n) = -n**3 - n**2 + n - 1. Let j be d(1). Let c be (-6)/(-9)*(-6)/22. Sort j, c, w in decreasing order.
c, w, j
Suppose 21 = -4*i + g, i + 15 = 2*g + 1. Sort i, -18, 1 in increasing order.
-18, i, 1
Let h = -4/23 - 26/115. Let u be (-1 - 0) + 12/14. Sort -0.5, h, u in ascending order.
-0.5, h, u
Let d be (11/(-33))/((-1)/(-1)). Let c = -245/8 + 31. Sort 0.1, c, d in ascending order.
d, 0.1, c
Let s(l) = -l - 2. Let t be s(4). Let u(w) = -w - 2. Let f be u(-5). Let o be (-45)/t*2/f. Put 3, -2, o in decreasing order.
o, 3, -2
Let c(y) = y**3 + 12*y**2 + 10*y - 16. Let k be c(-11). Let g be (-7 - -5)/(2/3). Let j be (-3)/((-2)/1 - g). Put 0, j, k in decreasing order.
0, j, k
Suppose -1 + 5 = w. Let z = -3 + w. Sort 3, 5, z.
z, 3, 5
Suppose -9 = -2*k + 1. Sort 1/3, 4, k in descending order.
k, 4, 1/3
Let t be 1/(-3) + 17/(-3). Let s(u) = -u**3 - 5*u**2 + 7*u + 1. Let n be s(t). Put -1, n, 2 in increasing order.
n, -1, 2
Let v = 5 + -5. Suppose 5*l - l + 20 = v. Sort -4, -1, l.
l, -4, -1
Let n be (3/2)/((-3)/4). Let l be 3*(12/66 - (-16)/33). Sort n, l, 0 in decreasing order.
l, 0, n
Let w(i) = -i**3 + 4*i**2 + 2*i - 6. Let y be w(4). Suppose 2*d - 3*d + y*v + 13 = 0, -8 = 2*v. Suppose 4*b + 4 = -0*b. Put b, 0, d in decreasing order.
d, 0, b
Suppose -4*b + 5 + 15 = 0. Suppose 2*t + b = t. Sort t, -1, 1 in ascending order.
t, -1, 1
Let h(n) = n**3 + 3*n**2 - 7*n - 9. Let s be h(-4). Put s, 1/2, -0.1 in decreasing order.
s, 1/2, -0.1
Let w = 22 + -14. Let b(a) = -a**2 + 8*a - 3. Let o be b(w). Let p = o + 1. Sort -0.2, -0.1, p in decreasing order.
-0.1, -0.2, p
Let x = 12 - 22. Let s(w) = -w**2 - 9*w + 10. Let d be s(x). Put -5, d, -4 in decreasing order.
d, -4, -5
Let p be (-3)/(-12) - (0 - 0). Let i = 0.162 - 0.062. Sort i, p, 0 in descending order.
p, i, 0
Suppose 0 = -5*l + 4 + 1. Suppose 0 = -z - 1 + 5. Suppose d = 1 + z. Sort d, 0, l in decreasing order.
d, l, 0
Suppose 5*t = l + 24, 5*l = 3*t - 12 - 20. Suppose 0 = 5*x - 2*a + 29, -4*x + 0*x = a + 18. Sort l, 0.1, x in ascending order.
x, l, 0.1
Let u = -3 - -3.06. Let h = 0.06 - u. Put h, -3, -0.5 in increasing order.
-3, -0.5, h
Let b be -2 - -2 - (2 - -4). Let n be (8/b)/(10/15). Sort 0, n, -4.
-4, n, 0
Let l be 1/(0 + -1)*-1. Let b = -3.746 - -0.046. Let u = b - -4. Put -2/7, l, u in decreasing order.
l, u, -2/7
Suppose -4*h - 26 = -2*s - 3*s, 0 = 2*s - 4*h - 20. Put -4, -1, s in descending order.
s, -1, -4
Let s = 0 - 1. Let a(u) = -u**3 + 2*u**3 - 1 - 2*u**2 - 3*u**3 + 4*u**3 - 2*u. Let y be a(s). Put 0, y, -4 in ascending order.
-4, y, 0
Let f = 2.9 - 1.1. Let r = -1.8 + f. Let p = -0.4 - -0.1. Put 2/15, r, p in ascending order.
p, r, 2/15
Let z = -33 - -37. Sort z, -2, 5.
-2, z, 5
Suppose k = 2*k. Sort k, 7, 5 in ascending order.
k, 5, 7
Let u be 1/(-3 + (-1 - -5)). Let x = u - 2. Sort 1, -4, x.
-4, x, 1
Let a(l) = 4*l - 7. Let h be a(-5). Suppose 8*p = 3*p + 10. Let m be 1*(p - h/(-12)). Sort m, -0.1, -0.2.
m, -0.2, -0.1
Let t = 2 + 1. Put 2, -2, t in decreasing order.
t, 2, -2
Let m(p) = -p + 4. Let l be m(-4). Let x = l - 12. Put 4, 0, x in increasing order.
x, 0, 4
Let i = 85/3 - 29. Let l = -1 - -1. Let r = l + 1. Sort i, r, -4 in increasing order.
-4, i, r
Let s = 2.2 - -0.8. Let c = 3 - 5. Let p = s + c. Put -3, -2/11, p in decreasing order.
p, -2/11, -3
Let h be ((-1)/2)/(5/(-190)). Let b be -1*1 + (h - 3). Let y be (-2 - -1)/((-3)/b). Put y, 1, 2/7 in decreasing order.
y, 1, 2/7
Let f be (-15)/(-99) + (-3)/9. Sort 0.2, f, -1/9.
f, -1/9, 0.2
Let r = 22 - 22. Put 4, r, 0.2, 0.3 in ascending order.
r, 0.2, 0.3, 4
Suppose 5*l - 4*l - 2 = 0. Suppose 5 + 0 = q. Suppose m = -l*m - x + q, 3*m - 3*x = 21. Sort m, -1/5, -1 in ascending order.
-1, -1/5, m
Let i be (84/16 + -4)/(1/(-4)). Sort 4, 24, i in increasing order.
i, 4, 24
Suppose -2*y = -3 + 13. Let d = -24 - -12. Let p be ((-9)/d)/((-1)/4). Put p, y, -1 in ascending order.
y, p, -1
Let f(q) = q**2 + 6*q. Let b be f(-5). Let t = -4 - b. Let l = 941/2552 + 2/319. Sort t, 0, l in increasing order.
0, l, t
Suppose -3 = 2*b - y - 2, -b - 5*y = -27. Let r be 1/(b*1/(-10)). Let p(t) = 2*t + 4. Let n be p(-3). Put 5, r, n in decreasing order.
5, n, r
Let y be ((-21)/14)/(6/(-8)). Let z = -1 + 0. Let p = -1 - 2. Sort z, p, y in descending order.
y, z, p
Suppose -4*r + r + 12 = 0. Sort r, -4, 5.
-4, r, 5
Let s(x) = -x**3 - 5*x**2 - 2*x - 6. Let l be s(-5). Suppose -22*q = -20*q - 2. Sort l, q, -0.2 in ascending order.
-0.2, q, l
Let k = 1.5 - -0.5. Put -4, k, -2/3 in descending order.
k, -2/3, -4
Suppose 0 = -d + 5*f + 20, -3*d = -2*d + f + 10. Let a be 2 + 0/((-4)/2). Suppose -q - 4*z = -5*z, -2*z = -4*q - a. Put d, 3, q in decreasing order.
3, q, d
Let o = -31 + 30. Put o, 0, -0.4, 1 in descending order.
1, 0, -0.4, o
Suppose 14 = -5*j - 1. Sort 2, j, -1 in decreasing order.
2, -1, j
Suppose -4*d + 6 + 10 = 0. Put d, -1, -5 in descending order.
d, -1, -5
Let r(f) = -f**3 - 3*f**2 + 10*f + 2. Let o be r(-5). Suppose 4*z = -y + z + 3, -3*y - 5 = 2*z. Put -1, y, o in descending order.
o, -1, y
Suppose 2*v = -3*o + 4, -v - 4*v + 2*o = 28. Let w = -7 - v. Sort w, 3, 0 in ascending order.
w, 0, 3
Let g = 2 - 2.4. Suppose r - f - 20 = -4*r, r - f = 8. Suppose 21 = 3*o + 2*s + s, -o + r*s = 13. Put g, o, -3/5 in decreasing order.
o, g, -3/5
Suppose -5 = -3*q + z, 4*z + 5 - 1 = 4*q. Let s be q/((-12)/5 - -2). Let t = -2 - -5. Put t, s, 4 in increasing order.
s, t, 4
Let i = 10 + -10. Let w(z) = z**2 + 5*z. Let b be w(-6). Let m = b - 4. Sort m, 5, i.
i, m, 5
Let w = -10.4 + 12. Let h = -1.4 - w. Put h, -5, 2 in descending order.
2, h, -5
Suppose 6 = -5*v - 4. Let c = 2 - v. Let n = -4 + c. Sort -3, 5, n in decreasing order.
5, n, -3
Suppose -4*h - 4*f + 7 = -1, -h + 4*f = -7. Put h, 4, 1 in decreasing order.
4, h, 1
Let d = -0.108 + 0.128. Sort d, -5, 2/3 in decreasing order.
2/3, d, -5
Suppose -b = -m + 3, -6*m + 4*m + 9 = -5*b. Put b, 4, -3 in increasing order.
-3, b, 4
Let o be (3 + -1 - 5)/(6/(-4)). Sort o, -1, 4, -8 in decreasing order.
4, o, -1, -8
Suppose 0 = 2*t - 0 - 2. Sort -4, 4, t in decreasing order.
4, t, -4
Let r = -8 + 13. Suppose 0 = -r*y - 5*a - 5, -5*y = -3*a + a + 5. Put 2, y, 5 in descending order.
5, 2, y
Let y(k) = -k + 4*k - 2*k - 1. Let z = -13 - -18. Let w be y(z). Put 3, w, -1 in decreasing order.
w, 3, -1
Suppose 0 = -3*d + 3, 2*w - d + 1 = -0. Sort w, 3, -6, -3 in decreasing order.
3, w, -3, -6
Suppose 2*u - 4 = u. Let x(c) be the first derivative of -c**4/4 - 5*c**3/3 + 7*c**2/2 + c + 2. Let v be x(-6). Sort v, 0, u in increasing order.
v, 0, u
Let c = 16.4 + -16. Sort -3, c, -0.2 in ascending order.
-3, -0.2, c
Let z be 2/5 + 81/(-15). Put 0.4, 5/6, z in descending order.
5/6, 0.4, z
Let k be (2/(-36))/(14/1603). Let h = -25/4 - k. Put h, -2/13, 1/4 in ascending order.
-2/13, h, 1/4
Let h = -1.7 - -2. Let p be ((-1)/(-4))/((-6)/4). Sort 2, p, h in descending order.
2, h, p
Let v be 0 + 5 - 1 - 1. Sort -3, 4, v, -4.
-4, -3, v, 4
Let a = 56 + -166/3. Sort -6, 2/11, -0.4, a.
-6, -0.4, 2/11, a
Let w be (-5)/(5/(-3)) + 12. Suppose 2*l + w = -0*l - 5*f, l - 20 = 3*f. Suppose 0 = 3*s - 0*s + 9. Sort s, -2, l in ascending order.
s, -2, l
Let f = 2 + -7. Let o = -5 - f. Sort 1, o, -1 in increasing order.
-1, o, 1
Let v = 0.01 + 8.99. Let z = v + -4. Let p = 0 - -0.5. Sort p, z, -2 in decreasing order.
z, p, -2
Let l = 2 + -1.9. Let k = 0 + 4. Suppose -4 = 4*o + k. Sort -5, o, l in decreasing order.
l, o, -5
Let s = -3 - 2. Suppose -2*x + 0*x + 2 = 0. Put 0, x, s in descending order.
x, 0, s
Let g be (-7)/(-21) - 1/2. Sort 3/4, g, 2 in increasing order.
g, 3/4, 2
Let o be 9*(-2 - (-21)/9). Sort 14, 4, o in increasing order.
o, 4, 14
Suppose -8 = -3*l - x, 4*x + 20 = 2*l - 4. Let z = l - 3. Suppose 0*b = -3*b - 9. Put 4, b, z in descending order.
4, z, b
Let w be 2 + (0 + -2)/(-2). Suppose -4*n + 8*n - 19 = p, w*n - 24 = 4*p. Put -2, -1, n in descending order.
n, -1, -2