(f) = f - 1. Let r = 5 + -8. Let h(a) = r*s(a) - i(a). Let j be h(8). Put 2, 0.4, j in ascending order.
0.4, j, 2
Let z be -1 + (-3 + 3 - 3). Let v = z - -8. Let w(o) = o**3 - 5*o**2 + 4*o - 2. Let r be w(v). Put -3, 4, r in increasing order.
-3, r, 4
Let y be 9/4*(-8)/(-6). Let x = 0.6 + -4.6. Let q = 9 + x. Put 0.5, q, y in descending order.
q, y, 0.5
Let y = 6 - 6.4. Sort 0.4, 2/7, -3, y in descending order.
0.4, 2/7, y, -3
Suppose p = -2*p - 6. Suppose -2*g - 2*n = 670, -1656 = 5*g + 4*n + 14. Let z be (-2)/(-6) + 50/g. Sort 4, z, p in ascending order.
p, z, 4
Let c = -5.4 + 5. Let q = -143/5 + 28. Put q, c, -3/2 in increasing order.
-3/2, q, c
Let g = 0.11 + -0.61. Put 0, -0.05, g in descending order.
0, -0.05, g
Let k be (-2)/6 + (-19)/(-3). Let j be 0/2 + k - 1. Put -1, j, 4 in decreasing order.
j, 4, -1
Let a be (-8 - -8) + (-3)/(12/(-4)). Put a, 0, 5, -1 in descending order.
5, a, 0, -1
Let a(t) = 18*t + 92. Let d be a(-5). Suppose 5*i = i - 16. Put i, -1, d in decreasing order.
d, -1, i
Let f = 51 - 50. Sort f, 0, 2 in descending order.
2, f, 0
Let b be 2/(3*(-4)/234). Let t be b/(-12) - (-6)/8. Put -4, t, -1 in increasing order.
-4, -1, t
Let z be 2 + (-8)/4 + (2 - -1). Sort -4, z, 13, 2 in descending order.
13, z, 2, -4
Suppose -6*z = -2*z + v - 14, -2*z - 4 = -5*v. Sort -5, z, -3 in descending order.
z, -3, -5
Let t = 1 + 0. Let w = 16 + -12. Suppose -w*q + 3*q - 5 = 0. Put t, q, -1 in increasing order.
q, -1, t
Let o(g) = g**3 + 2*g**2 + 2. Let u be o(-2). Let f = -5 - -2. Sort f, 0, u.
f, 0, u
Let n(p) = p**2 - p. Let r = 7 - 7. Let s be n(r). Let d = 5 + -8. Put 3, d, s in descending order.
3, s, d
Let u = 28 + -31. Suppose -2*r = -7*r - d + 7, 0 = -4*r - 4*d + 12. Put -1, r, u in descending order.
r, -1, u
Let g(c) = -c**2 + 4*c + 1. Suppose -q - 12 = -5*q. Suppose -j + 5*l + 25 = 0, -q*j + l = 3*l - 7. Let y be g(j). Sort 1, y, -3 in descending order.
1, -3, y
Let m = 27 + -30.2. Let q = 0.2 + m. Sort -0.2, q, 0.3.
q, -0.2, 0.3
Let i = 3 + -3.04. Let n = i - -0.34. Let y = 129/8 + -871/56. Sort 1, y, n.
n, y, 1
Let n(v) = 3*v**3 - 2*v**2 - 2*v - 1. Let g be n(-1). Let f = 1 + g. Let h = 6 + -33/5. Sort -2, f, h in increasing order.
f, -2, h
Let m = -11 + 7. Let q = 7 + -15. Let w = m - q. Sort w, -5, 0.4 in decreasing order.
w, 0.4, -5
Suppose -4*k = k. Suppose f - 3*v = 2*v - 30, k = -4*f + 4*v - 40. Sort f, 4, 0 in decreasing order.
4, 0, f
Let z be (-32)/18*(4 - -2). Let i be ((-22)/(-6))/(12/36). Let l = z + i. Sort 1/5, -0.5, l in descending order.
l, 1/5, -0.5
Let d = -2 + 5. Suppose h - 2 = -h. Suppose 3*r = 6*r. Sort r, h, d in descending order.
d, h, r
Let p = 46 - 64. Let k = p - -13. Sort 2, k, -4 in descending order.
2, -4, k
Let a = 72.99 - 77.9. Let l = 0.09 - a. Sort l, -1/3, 0 in decreasing order.
l, 0, -1/3
Let d be ((-8)/(-10))/((-8)/60). Let l be (-10 + 9)/(1 + -2). Sort -4, l, d in decreasing order.
l, -4, d
Suppose -5*s = -10*s. Let k(v) = -v**3 + 5*v**2 - 2*v. Let b be k(3). Let r be (-8)/6*(-2)/b. Put r, 3, s in descending order.
3, r, s
Suppose -17 = 3*w - z, 0 = -3*w - 0*w - 4*z - 37. Put 1, -5, 0, w in ascending order.
w, -5, 0, 1
Suppose -2 = -w + 3*w + 2*i, -3 = 2*w + 3*i. Sort 4, w, 3 in increasing order.
w, 3, 4
Suppose 3*w + 10 = 5*y - 6*y, 4*w + 16 = 0. Let r = -3 - -2. Put y, 0, r in increasing order.
r, 0, y
Let p be 68/(-16) + 2*1/8. Sort -7, -1, -3, p.
-7, p, -3, -1
Let a = 27 + -23. Let l = 1/26 + 23/78. Sort -0.1, l, a in decreasing order.
a, l, -0.1
Let q = -5.04 + 0.04. Sort q, 1/3, -0.5 in decreasing order.
1/3, -0.5, q
Let x = -5 - -8. Let j = -29.44 + 29. Let u = j + 0.04. Sort x, -1/2, u in descending order.
x, u, -1/2
Let u = 2 - -3. Sort u, -5, 1 in decreasing order.
u, 1, -5
Let k = -3.5 + 3.6. Let x be (2 - (-10)/(-3))/(-1). Sort k, -1/3, x in descending order.
x, k, -1/3
Let t = 5 - -5. Let x be -1 + -2 + t/2. Sort 4, -4, x in decreasing order.
4, x, -4
Let v be 1 - (4 + -2) - -21. Let f be v/(-9) + (-2)/(-9). Put -3, -4, f in descending order.
f, -3, -4
Let d = -0.022 - -0.022. Let n = 1.8 - 0.8. Sort n, 1/6, d.
d, 1/6, n
Let v = -3 - 7. Let w = 14 + v. Sort 2, w, -0.3 in descending order.
w, 2, -0.3
Let r = 2.62 + 0.38. Let p = -483 - -9175/19. Put p, r, 4 in ascending order.
p, r, 4
Let g = 6 - 5.9. Let b be (1 + 39/(-15))*-5. Let q be (3/(-12))/((-6)/b). Sort g, q, -0.3 in decreasing order.
q, g, -0.3
Let w = -5 - -8. Suppose -t - 11 = -5*h + w*h, -3*h - t = -14. Suppose 4*l - z = -7, 4*l - 3*z = -7 - 6. Sort h, l, -3.
-3, l, h
Let b = 11897 - 2734. Let f = 74199/8 - b. Let x = 112 - f. Put 0.4, -0.1, x in ascending order.
-0.1, x, 0.4
Let t be (2 - (-1)/(-1)) + -2. Let x be 1 - ((-3 - t) + 5). Put x, 1, 2 in increasing order.
x, 1, 2
Let k = -729.1 - -815. Let w = 95 - k. Let g = -9 + w. Sort -1, g, 0.5 in increasing order.
-1, g, 0.5
Suppose 2*y + 3 = 13. Let i be 9/6 - (-17)/2. Suppose -3*h - i = -h. Sort h, y, -1 in ascending order.
h, -1, y
Let v be 0 - -11 - (9 + -6). Let k = v - 5. Suppose -5*c - 9 = -4. Sort k, c, -3 in increasing order.
-3, c, k
Suppose 10 + 5 = -5*x, -2*i - x = 3. Let y be 3/21 - ((-2046)/(-126))/11. Put y, 1, i in ascending order.
y, i, 1
Let p(l) = -l**3 + 3*l**2 - l - 1. Let n be p(2). Sort 5, n, 3.
n, 3, 5
Let y = -34 - -19. Let l = -15.4 - y. Put l, 5, 1/3 in descending order.
5, 1/3, l
Let x = -2.3 + 2.39. Let w = -3.59 + x. Let t = w + 4. Sort t, 3/4, -2/3 in decreasing order.
3/4, t, -2/3
Let q = -7 + 11. Let l be q/(-6) + 22/6. Suppose 5*v - 2 = -l*z + z, -2*v + 3 = 3*z. Sort v, -2, 2 in increasing order.
-2, v, 2
Let c(l) = -l**3 - 7*l**2 - 6*l + 1. Let o be c(-6). Sort -13, o, 5.
-13, o, 5
Let y = 2 - 3. Let i = 8 + y. Put 4, -2, i in decreasing order.
i, 4, -2
Let s = -6 - -3. Let l = -5 - s. Sort -3, -4, l in decreasing order.
l, -3, -4
Suppose 58*n - 55*n = 0. Sort 3, n, 13 in decreasing order.
13, 3, n
Suppose -5*w + 2 + 43 = 0. Let c = w - 8. Sort 3, c, 8.
c, 3, 8
Suppose 5*c - 4*c = -1. Let i be 7/(-4)*-1*4. Suppose -5*n = -4*x - 7, n = -5*x + 3*x + i. Put 1, c, x in ascending order.
c, 1, x
Suppose 2*v + 3*v = 50. Let n = v - 14. Suppose 8*h + 4*f - 25 = 3*h, -15 = -3*f. Sort n, -5, h.
-5, n, h
Let r = -3.1 + 6.1. Sort r, -5, 0.2 in increasing order.
-5, 0.2, r
Let z = 19 - 75/4. Let s = -1415/13 - -109. Sort z, 0.4, s in ascending order.
s, z, 0.4
Let d = -0.23 - -0.1. Let y = d + 0.15. Put 3, 1/3, y in ascending order.
y, 1/3, 3
Let b = 11.6 + -3.6. Sort b, -2, -2/11.
-2, -2/11, b
Let g be 2/9 - -26*2/252. Let w = -0.5 - 0. Put w, -4, g in ascending order.
-4, w, g
Let p = -6 + 8. Suppose 4*d = 6*b - 3*b + 8, d - 9 = -b. Sort p, -4, d in descending order.
d, p, -4
Let d = -0.261 - 0.049. Let v = d + -0.09. Suppose 0*j - 4*j = -20. Sort j, v, 1.
v, 1, j
Let g be (16/(-8))/(4/(-26)). Let y = g + -14. Put 2, -5, y in ascending order.
-5, y, 2
Let t(p) = p**3 - 6*p**2 - 1. Let z be t(6). Put z, 1, 4 in decreasing order.
4, 1, z
Suppose -3*x - 7 = 4*x. Put 4, 0, x, 3 in decreasing order.
4, 3, 0, x
Let j = -2/129 + 445/43. Let c = -10 + j. Let w be (8 - 11)/(9/2). Sort w, 1, c in ascending order.
w, c, 1
Suppose 0 = -o - 20 + 5. Let q = o - -10. Let k = -10 + 7. Sort k, -4, q.
q, -4, k
Suppose -4*g + 5 = g. Sort g, -8, -3 in increasing order.
-8, -3, g
Let j = -0.24 - 0.86. Let r = -0.1 - j. Let d be ((-2)/(-10))/(3/12). Sort d, -0.4, r in increasing order.
-0.4, d, r
Suppose -12*u = -8*u + 20. Sort -1, -4, u in decreasing order.
-1, -4, u
Suppose -2*h + 16 = -3*v, 2*v + 0*v - 16 = -4*h. Sort 5, v, 1, -7.
-7, v, 1, 5
Suppose -2*s - 7 = -5. Let c = 19 + -19.01. Sort c, s, -0.4 in descending order.
c, -0.4, s
Let t be 2*5*(-4)/8. Let j = -9 - t. Sort j, 2, 3 in decreasing order.
3, 2, j
Suppose 0 = -6*o + o - 3*i + 14, -4*i = -12. Sort -4, o, 0.
-4, 0, o
Suppose 2 = t - 4. Let k = -2 + t. Put -5, k, 1 in descending order.
k, 1, -5
Let i = 25/153 + 1/17. Let a = -0.1 + 0.3. Put -2/5, a, i in descending order.
i, a, -2/5
Let m = -11 - -13. Let s be -2 + (10/3)/m. Sort -0.4, 3, s in descending order.
3, s, -0.4
Let f = 1.1 + -0.7. Let v = -1 - -5. Let u = 38 + -153/4. Put v, u, f in descending order.
v, f, u
Suppose 8 + 4 = 4*v. Suppose 0 = 4*k + 1 + v. Sort 0, k, 5 in descending order.
5, 0, k
Let c(t) = t**2 - 13*t - 12. Let a be 