.5. Let f = d + k. Sort 4, f, 0.4 in ascending order.
f, 0.4, 4
Let k = 0.16 + -0.56. Sort 0.2, k, -2 in increasing order.
-2, k, 0.2
Let m be (-1 - -2)*(-7 + 6). Put -7, -4, m in increasing order.
-7, -4, m
Suppose -o = -2*l - 1, -3*l + 18 = 4*o - 4*l. Let h be o*1*8/10. Let g = 124 + -128. Put h, g, 3 in decreasing order.
h, 3, g
Suppose -7*x + 18 = -x. Put -3, x, -4 in increasing order.
-4, -3, x
Suppose 0*h + 5*w - 8 = -h, -3*h - 4*w = -13. Sort h, -3, 2.
-3, 2, h
Suppose -3*o = -5*w - 19, 5 = -5*o - 5. Let j = 10 + w. Suppose l + 2*l = 4*i - 4, -2*i + 3*l - 4 = 0. Sort j, 0, i in descending order.
j, i, 0
Let c be (-1)/(-4) - (-15)/4. Suppose -n = -0*n + c*j + 14, 4*j + 12 = -2*n. Put n, 1, 0 in decreasing order.
n, 1, 0
Let k = -9.6 + 7.6. Sort k, -2/9, -0.2 in descending order.
-0.2, -2/9, k
Let t = -15 - -17. Suppose 0*k + 4*k - 20 = 0. Sort -7, k, t in increasing order.
-7, t, k
Let v be (-504)/16 + 9/6. Sort v, 0, -2 in decreasing order.
0, -2, v
Suppose 12 = 3*s - 0. Let p be -1 - (-1 - 0/(-2)). Suppose -4 = -0*m + m. Put m, p, s in descending order.
s, p, m
Suppose -5*a + 3*u = -4*a + 10, -a - u + 2 = 0. Suppose -3*i + 2*d = 19, 0 = -5*d - 0*d + 10. Put -2, a, i in decreasing order.
a, -2, i
Let b(v) = -v + 12. Let h be b(9). Suppose 0 = 5*y - 3*p - 27, -4*y + 2*p = 5*p. Suppose -3*k = -y - h. Put 3, -1, k in descending order.
3, k, -1
Let o = 14 + -19. Suppose 0*m + 2*m = 10. Suppose -m*l = -l - 12. Put -1, l, o in decreasing order.
l, -1, o
Let o(y) = y**3 - 16*y - 4. Let v be o(-4). Put -3, v, 5, 3 in decreasing order.
5, 3, -3, v
Suppose -3*i = 2*i + 5*p - 60, 12 = -i + 5*p. Let j = -6 + i. Let t be 6/(-57)*(3 - j). Sort t, 0.3, 1/2 in decreasing order.
1/2, 0.3, t
Let k be 48/32*(0 - 2). Sort 11, k, 2, 4 in ascending order.
k, 2, 4, 11
Let q = 1.6 + -6.6. Put 0, 1/7, q in decreasing order.
1/7, 0, q
Let t = -37/5 - -49/10. Sort 5, t, 1/8 in descending order.
5, 1/8, t
Let k = 10 - 2. Suppose r - k = -3*r. Suppose 5*q - 1 = 4. Sort q, 5, r.
q, r, 5
Let g = -0.7 + -0.3. Let h = -39.6 - -41.51. Let w = h - -0.09. Sort g, -2/3, w in decreasing order.
w, -2/3, g
Let a = -3 - -1. Suppose 3*n + 15 = 5*h - 2*n, 3*n + 14 = -2*h. Put 5, a, h in descending order.
5, h, a
Let f = 39 + -38. Sort f, 9, 0.4 in increasing order.
0.4, f, 9
Suppose -x - 4 = -6. Suppose 0 = 5*g - x*g - 12. Let u(j) = j. Let d be u(-4). Sort g, d, -3 in decreasing order.
g, -3, d
Let i(g) = -2*g**2 - 11*g - 6. Let v be i(-7). Sort v, 3, -4 in descending order.
3, -4, v
Suppose 0 = -3*o + 12 - 0. Suppose -4*l - 4*y = 24, 6*y = 4*l + 4*y + 12. Sort l, 3, o in descending order.
o, 3, l
Let d = -0.1 + 0.05. Let w = d - -0.01. Let v = -0.16 + w. Sort v, 1/3, 1 in ascending order.
v, 1/3, 1
Let j be 1866/(-15)*70/34. Let y = 256 + j. Put y, -6/7, 7 in decreasing order.
7, y, -6/7
Let k(q) = -7*q - 23. Let l be k(-4). Sort -19, l, 3 in descending order.
l, 3, -19
Suppose 0 = -b + 2 + 2. Suppose 2 = 4*i - 2*n, 3*n = 5*i - 0*n - 4. Put -2, i, b in increasing order.
-2, i, b
Let r = 112.2 - 112. Sort r, -3, 0.07, 2/11 in ascending order.
-3, 0.07, 2/11, r
Let k = -16 + 21. Suppose 0*o + 13 = -3*w + o, -3*w - 2*o - 1 = 0. Sort -4, k, w in decreasing order.
k, w, -4
Let d be (0/(-1))/(-2) + -6. Let a(z) = -z**3 - 7*z**2 - 4*z + 8. Let q be a(d). Suppose -3*u = 5*f - 12, -3*f - u = u - 7. Sort -2, q, f in ascending order.
q, -2, f
Let k = 113 + -792/7. Sort -5, -1, -2/11, k.
-5, -1, -2/11, k
Let i(z) = -z**2 - 6*z - 6. Let m be i(-4). Suppose -5*n = -5, 2*n = 5*y + n + 11. Put 4, m, y in ascending order.
y, m, 4
Suppose 0*v + 3*v - 15 = 0. Suppose v*k + 0*k + 15 = 0. Sort 1, 5, k in decreasing order.
5, 1, k
Let k = -12 - -12.5. Let d = -0.1 + 0.2. Sort k, -4, d in descending order.
k, d, -4
Let v = -49 - -47. Put 5, 3, v in decreasing order.
5, 3, v
Suppose 4*l = 7 + 13. Let w(g) = g - 7. Let m be w(7). Suppose 2 = 4*t - 2*q, 0*t = -2*t + 4*q - 8. Put l, t, m in descending order.
l, t, m
Let k(h) = 2*h. Let a be k(3). Let i(p) = p**3 - 7*p**2 + 5*p + 5. Let n be i(a). Let j = 5 - 1. Sort n, j, -5 in decreasing order.
j, n, -5
Let p = -0.2 - -0.6. Let f = 199/5 - 40. Sort -3, p, f.
-3, f, p
Suppose 0 = 5*b + 23 + 2. Suppose f + m + m = 0, -12 = -3*f - 2*m. Let s(u) = u**3 - 7*u**2 + 7*u - 6. Let q be s(f). Put 3, b, q in decreasing order.
3, q, b
Let r be (-2632)/36 + 2/2. Let i = 72 + r. Let m be (-3)/((15/4)/5). Put i, m, -1 in decreasing order.
i, -1, m
Let w(u) = u + 1. Let k be w(4). Let q be (-4)/(-3)*(-3)/10. Suppose 0 = 4*c + 2*c. Put k, q, c in increasing order.
q, c, k
Let g(b) = b**3 - 5*b**2 + 3*b. Let u be g(4). Suppose -2*h + 0*h + 6 = 0. Let j be 2*(h/(-6) - 0). Sort u, j, -3 in decreasing order.
j, -3, u
Let o = -25/42 - -2/21. Let s = 2.9 + 0.1. Sort -5, o, s in decreasing order.
s, o, -5
Let g = 12/10747 - -14540607/75229. Let c = g - 193. Let f = 5.03 - 0.03. Put f, -3, c in decreasing order.
f, c, -3
Let g = 42 + -43. Put g, 1, 4 in descending order.
4, 1, g
Let t = -256 - -270.1. Let n = -14 + t. Sort -2/7, n, 2 in descending order.
2, n, -2/7
Let v = 3.6 + 0.4. Let s = 0 + 2. Let y = 0 - s. Sort -1, y, v in decreasing order.
v, -1, y
Let k be -2 - (-1 + 2) - -1. Let i = k - -5. Put i, -5, 0 in decreasing order.
i, 0, -5
Let h = -44 + 51. Put 5, 4, h in decreasing order.
h, 5, 4
Let f be (-1)/(30/4) + 0. Put -0.1, f, 0.01 in increasing order.
f, -0.1, 0.01
Let s = -4 - -7. Suppose 0 = 4*g - 8 + 4. Sort s, g, -2 in ascending order.
-2, g, s
Let j be 4/6 + (-5)/3. Let q be (0 + 1)*3/j. Let a = -28 + 26. Sort q, 4, a in descending order.
4, a, q
Suppose -k = 7*k - 80. Put -2, k, -5, 3 in descending order.
k, 3, -2, -5
Let z = -40 - -37. Put 0.3, z, 2/9 in increasing order.
z, 2/9, 0.3
Let o = 13.5 - 13. Sort -3/5, 5, o in decreasing order.
5, o, -3/5
Suppose 5*q - 5*d = -15, 2*d + 2*d - 7 = 3*q. Sort 0, q, -2 in descending order.
0, -2, q
Let f = -8 + 1. Let a = f + 12. Sort -2, -0.5, a.
-2, -0.5, a
Let n = -2 + 7. Suppose -l = -2*s - 3 - n, -5*l = -5*s - 30. Suppose -2*d = 0, 3*d = 2*z + 2*z + 4. Put 5, z, s in ascending order.
s, z, 5
Let k(i) = i - 13. Suppose 11 = 3*a - 1. Suppose h - a = 6. Let j be k(h). Sort j, 3, 4.
j, 3, 4
Suppose 0 = 2*g + 2*g + 12. Let z = 12 - 5. Let m = z - 6.8. Sort m, g, 0 in decreasing order.
m, 0, g
Let h = 10 + -29. Sort -4, -1/7, h in ascending order.
h, -4, -1/7
Suppose 3*a = -3*t - 3, 7*a - 2*a - 3*t = -29. Put -1, a, -3 in ascending order.
a, -3, -1
Let j(d) = -d**3 - 6*d**2 - 5*d - 3. Let y be j(-5). Let u be (y/(-18))/((-5)/10). Let l = 0.8 - -3.2. Sort -2/13, l, u.
u, -2/13, l
Suppose 24 + 6 = 6*q. Put q, 4, -2, 2 in increasing order.
-2, 2, 4, q
Let c = 28.3 + -28. Put 1/2, c, -1/7 in ascending order.
-1/7, c, 1/2
Let o be (-6 - (0 - 1))*-1. Let a(x) = x**3 - 5*x**2 + 2*x - 5. Let z be a(o). Suppose -10 = z*w + 10. Put -5, w, -2 in decreasing order.
-2, w, -5
Let p = 29 + -29.2. Put p, 3, 0 in increasing order.
p, 0, 3
Let y = 7 - 9. Put y, -5, -29 in increasing order.
-29, -5, y
Let p = 32 + -26. Suppose 5*q = -2*v + 2 - 6, p = -3*q - 3*v. Sort q, -1, 5 in descending order.
5, q, -1
Let c(z) = -3*z + 4. Let s be c(3). Let p(w) = 3*w + 1. Let h be p(1). Let x be (h/12)/(8/6). Put 0.1, x, s in descending order.
x, 0.1, s
Suppose -2*p + s = -0*p + 7, -2*p = -2*s + 2. Let j be (-4)/(-10)*p/4. Let x = 1 + 1. Put 0, x, j in decreasing order.
x, 0, j
Let a = 16.6 - 17. Put a, -2/7, 0.2 in decreasing order.
0.2, -2/7, a
Let h = 0 - 5. Let a(p) = -p**3 - 6*p**2 - 5*p + 5. Let i be a(-5). Let k be 1 - ((-1)/(-1))/(-1). Put i, h, k in decreasing order.
i, k, h
Let n = 5.0132 - -0.0068. Let t = -0.02 + n. Sort 0.4, -2/21, t.
-2/21, 0.4, t
Let y be 0 - -9*3/(-9). Let w be 2 - (1 + (-258)/8). Let z = w + -33. Sort -1, z, y in descending order.
z, -1, y
Suppose -2*g + 37 + 11 = 0. Let u be 9/(-12)*g/(-45). Let j = -27/2 - -14. Sort j, u, -3 in increasing order.
-3, u, j
Suppose 0 = -2*o + 3*o - 77. Let j = o - 694/9. Let r = 223/1266 + -2/211. Put j, r, 0.4 in descending order.
0.4, r, j
Let l be 1*(-3)/(-6)*0. Suppose 3*v + 0*v + 6 = l. Suppose -4*x - 4 = -4*b, 5*b + 15 = -3*x + 4*b. Sort v, x, 4 in ascending order.
x, v, 4
Let u = 42 + -40. Suppose 4 = 3*j + 25. Put j, u, 5 in increasing order.
j, u, 5
Let t(x) = -x**2 + 5