 -159/4. Sort -0.4, g, 1/6 in increasing order.
-0.4, g, 1/6
Let u be -4*((-8)/(-12) - 1/3). Suppose 0 = 4*z - 18 - 34. Let x = 9 - z. Sort x, u, 0.5 in increasing order.
x, u, 0.5
Let p be ((-4)/(-6))/(2/(-6)). Let y be -2*1*(-2)/(-4). Sort p, y, 3.
p, y, 3
Let z = 0.1 - 0.14. Let p = 0.7 - 1.7. Let c = -3 + p. Sort c, z, -3 in descending order.
z, -3, c
Let z = -10 - -5. Let r = -4.2 + 4. Let u = -0.6 - r. Put 1/2, u, z in ascending order.
z, u, 1/2
Let w = 86 + -81. Sort -13, w, 0.
-13, 0, w
Suppose 4 = -4*z - 16. Suppose 0 = 4*t - 4*p + 12, 4*t - 5*p + 14 = 0. Put z, t, 5 in increasing order.
z, t, 5
Let q be 3/(-9) + 7/3. Let l be (q/2)/(3/6). Suppose 0 = 4*j + 8, w + l*w - 5*j = 7. Sort w, -5, -4.
-5, -4, w
Suppose 3*i - i - 8 = 0. Suppose 2*a + 5 = -1. Let q be 0 - ((-4)/a)/4. Put q, 1/6, i in decreasing order.
i, 1/6, q
Let a = 1.3 - -1.7. Sort a, -4, 5 in ascending order.
-4, a, 5
Let m = 12 - 9. Suppose s - 8 = w - 2, -6 = -3*w - m*s. Sort w, -3, 3 in increasing order.
-3, w, 3
Let v = -0.27 + 0.71. Let n = -3.06 - -3. Let r = n - v. Put r, -0.4, 2/7 in ascending order.
r, -0.4, 2/7
Let k be (16/(-6))/((-2)/3). Suppose -u + 3 = 4. Suppose 0*v + v = 3*s - 5, -v = 2*s. Sort u, k, s in decreasing order.
k, s, u
Let m(i) = i**2 + i. Let k be m(1). Suppose z + 4 = k. Put z, 4, -5 in descending order.
4, z, -5
Let x = -1.1 + -0.9. Let n = 143 - 1003/7. Put -3/7, x, n in ascending order.
x, -3/7, n
Let k = -0.2 + -0.1. Let v = 1.1 - 0.7. Put 0.3, v, k in ascending order.
k, 0.3, v
Let b = 8.408 - 0.008. Let l = b + -5.36. Let j = -0.04 + l. Sort -1/8, -5, j.
-5, -1/8, j
Suppose 0 = 3*g - 69 - 36. Suppose g = -2*v + 5*v + 5*j, 2*j + 12 = 4*v. Suppose -4*p + 2*p + 10 = v*q, -4*q - 5*p = -25. Sort -1/2, q, -4 in ascending order.
-4, -1/2, q
Let t be (-1 - -2)*(-2 + 7). Suppose t*o = 3*l - l - 26, 2*l = -o + 2. Suppose 0*y + l*y = 0. Sort 1, y, 2 in descending order.
2, 1, y
Suppose 0 = -2*j + 3*l + 15, 0 = 4*j + l + l - 22. Suppose t - j*t + 50 = 0. Let s be (-4)/(-10)*t/(-7). Sort -2/7, s, 4 in decreasing order.
4, -2/7, s
Let h = 1/4 + -3/8. Sort -2, h, 4, 1 in ascending order.
-2, h, 1, 4
Suppose 4*b + 4 = 3*b. Let z = b - -6. Sort 1/2, -4, z in descending order.
z, 1/2, -4
Suppose -i - 3 = -5*s, -2*s + 12 + 3 = -5*i. Put i, -0.5, 2 in ascending order.
i, -0.5, 2
Let d be 1 + 3 + -8 + -1. Let f be (1 + 1 + -3)*0. Sort f, d, -4.
d, -4, f
Let c = -9 + 3. Let o be (-2)/(c/(-45))*-1. Suppose 0 = 2*h - w - 11, -4*h + o = -4*w - 9. Sort -1, 3, h.
-1, 3, h
Let a = -12 + 9. Put a, -2, -1, 3 in decreasing order.
3, -1, -2, a
Let c(p) = -p**3 + 6*p**2 + 14*p - 1. Let k(m) = m**3 - 6*m**2 - 13*m + 1. Let f(a) = -6*c(a) - 7*k(a). Let i be f(7). Sort 3, 1, i.
i, 1, 3
Let v = -16 + 8. Let m be (4 + -6)*2/v. Put 0, -0.2, m in ascending order.
-0.2, 0, m
Let d(s) = s**2 + 5*s + 7. Let n be d(-5). Let m(w) = -2*w + 12. Let o be m(n). Put -5, 1, o in increasing order.
-5, o, 1
Let f be 1/(-2)*(2 - 0). Sort f, 4, 1 in decreasing order.
4, 1, f
Let o = -13 + 10. Let v = 9 - 5. Let m(x) = x**3 + 5*x**2 + 3*x - 4. Let z be m(-3). Sort v, z, o in descending order.
z, v, o
Suppose 4*d - 18 = -f, 2*f - 2*d + 4 = -10. Let i = -8 - -7.5. Sort i, f, -4 in descending order.
i, f, -4
Let z = 628/5 + -126. Let y = 146 + -146.3. Put y, z, -0.5 in descending order.
y, z, -0.5
Let h = -0.4 - -0.3. Let v = -89/6 - -15. Let a = -0.4 - 0.6. Put v, a, h in decreasing order.
v, h, a
Let q = 6.24 + -6. Let n = q - -0.06. Let h be (3/22)/((-111)/(-148)). Put n, h, 0 in ascending order.
0, h, n
Suppose 8 = -v + 2*v. Let j(c) = c**3 - 7*c**2 - 8*c + 4. Let g be j(v). Let h be ((-1)/(-12))/(g/(-18)). Put h, -2, 0 in descending order.
0, h, -2
Let g = 53/145 - -1/29. Let v = -2.37 - -0.17. Let z = -2 - v. Sort g, z, 2 in ascending order.
z, g, 2
Let d(m) = m**2 - 12*m - 2. Let p(u) = -3*u**2 + 35*u + 5. Let t(i) = -8*d(i) - 3*p(i). Let x be t(9). Suppose 4 = 4*y - 4. Sort y, x, -1 in ascending order.
-1, x, y
Suppose -3*c - 15 = -5*v - 0*c, -45 = -5*v - 3*c. Let n = v + -6. Sort -1, 2, n in ascending order.
-1, n, 2
Let s = 7 - 4. Suppose -11*l + 12*l = -3. Put s, l, -7 in descending order.
s, l, -7
Suppose 4*v = 20, -5*j = 5*v - 86 - 39. Suppose 0 = -4*d + 4*h - j, h - 6 - 2 = 4*d. Put d, -2, 2 in decreasing order.
2, d, -2
Let f be (-2)/7 - (156/42 + -2). Put -5, f, 2, 5 in decreasing order.
5, 2, f, -5
Let p(i) = -4*i + 15. Let r be p(5). Put 3, r, 1, 4 in decreasing order.
4, 3, 1, r
Let o = -14.85 + 15. Let p = 4.15 - o. Let m = 0.03 - 2.03. Sort -4, m, p in descending order.
p, m, -4
Let d be 2/5 + (-6)/15. Suppose -4 = -w + 2*w - 4*l, -5*w = 4*l + 20. Sort 2, d, w in decreasing order.
2, d, w
Let l = 1.1 + 3.9. Let y = 0.15 - 6.15. Let s = l + y. Put s, -0.4, -1/3 in increasing order.
s, -0.4, -1/3
Let m(b) = b**3 + 2*b**2 - b. Let n be m(1). Suppose n = 4*u + 10. Sort u, 0, 2.
u, 0, 2
Let w = 0.08 + -0.18. Sort -0.3, -0.4, w, 2/5 in increasing order.
-0.4, -0.3, w, 2/5
Suppose -3*n + 7 = -2*r, 5 = 3*r + n - 1. Let u be 2*(14/4 - 2). Put u, r, 0 in increasing order.
0, r, u
Let s = -122 - -121.5. Sort 2/13, -1/4, -2/5, s in ascending order.
s, -2/5, -1/4, 2/13
Let t = -13 + 19. Put -2, 1/7, t in decreasing order.
t, 1/7, -2
Suppose 2*n + 2*b = 7*b + 28, b = -n. Suppose 4*y + 8 = v, -4*y = -3*v + 14 + 2. Let d = -7 + 3. Sort d, y, n in decreasing order.
n, y, d
Let p(f) = f**2 - 11*f - 12. Let n(k) = k**3 - 8*k**2 + k + 4. Let h be n(8). Let u be p(h). Let q be -5 + (-2 - (-4 - -1)). Sort q, 2, u in descending order.
2, u, q
Suppose -6*b - 5 = 13. Sort b, -5, -4.
-5, -4, b
Let v(m) = -4 - 1 + 0 - m. Let i be v(-4). Let t be (-2)/(-2)*(1 + -4)*1. Sort 3, i, t in ascending order.
t, i, 3
Let j be ((-1)/4)/(42/(-16)). Let l be (-6)/42 - 5018/56. Let o = -89 - l. Put o, j, 1/3 in ascending order.
j, 1/3, o
Let h(b) = -b + 8. Let k be h(-7). Let r = 12 - k. Put 2/7, -2/5, r in ascending order.
r, -2/5, 2/7
Let u(q) = q**3 + 6*q**2 + 4*q - 2. Let r be u(-5). Let y = -71 + 71. Sort r, y, -1 in decreasing order.
r, y, -1
Suppose -4*c = -0*c - 8. Put 5, c, -3 in descending order.
5, c, -3
Let k = -4.2 - -0.2. Let g = 1244 - 1256. Sort k, g, -5 in decreasing order.
k, -5, g
Let j be (1/6*-4)/(2/(-3)). Sort j, -5, -2 in ascending order.
-5, -2, j
Let q(h) = -2*h**2 + 1. Let v be q(-1). Sort -3, v, 3.
-3, v, 3
Let l = 1 - 2. Let q be (-1)/l*18/(-81). Let m = -5 + 4. Sort m, 5, q in descending order.
5, q, m
Let k = 10 - 15. Sort k, -3, 1 in ascending order.
k, -3, 1
Let s = 10 - 13. Put -5/2, s, 0.4 in increasing order.
s, -5/2, 0.4
Let r be 3 + 108/(-20) + 2. Sort r, -5, 0 in decreasing order.
0, r, -5
Let g = 5/8 + -9/8. Let u be ((-3)/(-6))/(6/(-8)). Let f = g - u. Sort f, 0.3, -0.3 in decreasing order.
0.3, f, -0.3
Let t be (-2)/(-3) - (-84)/36. Let s be 0*(0 - t/(-6)). Put -5, 4, s in descending order.
4, s, -5
Suppose 0 = 2*o + o - 24. Let k(b) = b**2 - 9*b + 10. Let w be k(o). Let i = -25 - -29. Put -4, i, w in decreasing order.
i, w, -4
Let b(z) = z**3 - 7*z**2 - 9*z + 11. Let q be b(8). Sort q, -1/4, -0.2 in decreasing order.
q, -0.2, -1/4
Let k = 4.12 + -0.12. Let o = -1.4 + 0.4. Let y = o + -1. Sort -2/3, y, k in descending order.
k, -2/3, y
Let c = 4 + -3.95. Let m = 0.15 + c. Put m, 4, -4 in ascending order.
-4, m, 4
Suppose 12*b = 19*b + 21. Sort 4, 1, 2, b.
b, 1, 2, 4
Let g(w) = w**2 + 1. Let l be g(-1). Let f(d) = -1 - l*d - 2*d**2 - d**2 + d**3 - 2*d. Let n be f(4). Sort -5, 0, n in ascending order.
-5, n, 0
Let u be (-8)/20 - (-44)/10. Suppose 2*m - 3 = -r, -u*r - 4*m + 3 = -1. Put 0, 1, r in descending order.
1, 0, r
Let j(g) = -g**2 - 12*g - 16. Let o be j(-11). Put 6, -3, -2, o in increasing order.
o, -3, -2, 6
Let q = -3 + 3.4. Let w = -4.6 + 4.4. Sort -2/9, w, q.
-2/9, w, q
Let f = -5/7 - -4/35. Let s be (-32)/30 - 4/(-6). Put -5, f, s in increasing order.
-5, f, s
Suppose 4*h - w = -18, -4*h + 4*w - 11 = 1. Sort 3, -17, h.
-17, h, 3
Let a = 21/248 - 19697/1240. Let z = a - -16. Put -2/7, z, 2/5 in descending order.
2/5, z, -2/7
Let s = -4.5 + 2.5. Let o = 8 + -3. Sort 1, o, s in ascending order.
s, 1, o
Let u = -2.7 + -1.3. Let f = u + 2. Put -2/5, f, 0.1 in decreasing order.
0.1, -2/5, f
Let u(d) = -2*d**3 - 3*d**2 - d + 1. Let z be u(-2). Sort z, -4, 1 in decr