pose -1 = v + 4. Put 4, v, l in decreasing order.
4, l, v
Let i = 48.7 + -44.56. Let h = 0.14 - i. Sort -5, -1/3, h in decreasing order.
-1/3, h, -5
Let q be (-14)/4 + (-14)/28. Let p(g) = -2*g + 6. Suppose -5*k = r - 18, 6 = -7*r + 4*r. Let m be p(k). Sort q, m, 1.
q, m, 1
Let s = -0.2 + 0.19. Let x = s - -0.21. Sort 6/5, -4, x.
-4, x, 6/5
Let v be (-6)/(-1) - (0 - -3). Suppose -1 = 3*s + 5. Let k(g) = -2*g**2 - 3*g. Let d be k(s). Sort d, v, 2 in ascending order.
d, 2, v
Let s be (-6)/3 + (0 - -1). Put 3, s, -2 in increasing order.
-2, s, 3
Let k = 3 - 5. Let u be 2 + 18/21 + k. Let h = -3.5 + -0.5. Sort h, u, 1/4 in increasing order.
h, 1/4, u
Let x = 11 - 11.01. Let s = x + -0.09. Put s, 3, 0.1 in decreasing order.
3, 0.1, s
Suppose -4*d + t = -2*t + 7, d = t - 1. Sort 1, d, 3.
d, 1, 3
Let u = -6 + 6.3. Let c = -0.1 + u. Let i be 3/((-1)/2 + 2). Put c, 3, i in ascending order.
c, i, 3
Let k be (-102)/9 - (-4)/(-6). Let u = 12 + k. Sort -2, -8, u.
-8, -2, u
Let k be (-5)/(-30) - 46/(-12). Let y = -3 + 5. Sort 0, k, y in ascending order.
0, y, k
Let m = 0.07 + -0.37. Let z = 0.08 + 0.22. Let g be (-3 + 0)/(-7 - -8). Put g, z, m in descending order.
z, m, g
Let g be 3 - ((-11)/(-4) + -1). Put -3, g, 1 in ascending order.
-3, 1, g
Let u = -0.17 - -6.17. Sort -5, u, -1/3 in ascending order.
-5, -1/3, u
Let j = -4892/15 - -326. Sort 4, j, -3 in descending order.
4, j, -3
Suppose 7 = -2*r - 1. Suppose -3*n + 5*n - 2 = 0. Suppose n = 3*b - 2. Sort 0, r, b in decreasing order.
b, 0, r
Let w = 0.2 + 1.3. Let n = 1.4 - w. Put 0.5, n, -0.3 in descending order.
0.5, n, -0.3
Suppose -q = k - 7, 16 = -5*k + 5*q + 51. Sort 5, k, 2 in increasing order.
2, 5, k
Let d = 74 + -443/6. Put d, 0.4, -2/11 in descending order.
0.4, d, -2/11
Let d(r) = -9 - 4*r + 4*r - r. Let f(o) = -o**3 - 4*o**2 + o. Let z be f(-4). Let w be d(z). Put -3, -4, w in descending order.
-3, -4, w
Let r = 0 + 2. Suppose -r*k = -3*k + 2. Let x = -197 - -193. Put 3, k, x in decreasing order.
3, k, x
Let c(u) = -u**2 - 15*u + 9. Let m = -2 + -13. Let g be c(m). Sort -2, 2, g in increasing order.
-2, 2, g
Let t = 944.03 - 949. Let l = t + -0.03. Let b = 88 - 529/6. Put b, -3, l in decreasing order.
b, -3, l
Let z(c) = -c**3 + 6*c**2 + 7*c. Let d be z(7). Let g = -7 - -4. Put d, g, 2 in decreasing order.
2, d, g
Suppose 0 = 3*h + 2*h - 20. Let m be (-40)/(-22) + -2 + (-24)/(-11). Sort m, -1, h.
-1, m, h
Let m = 54 - 49. Let p = 0 + -1. Put m, p, -1/6 in descending order.
m, -1/6, p
Let w = -2.9 - -6.9. Sort -0.2, w, -0.5 in increasing order.
-0.5, -0.2, w
Let r = -0.2 - -0.34. Let c = r + 0.86. Put -1, c, 2 in decreasing order.
2, c, -1
Let q = 17 - 131/5. Let k = 9 + q. Put k, 1/5, -1 in descending order.
1/5, k, -1
Let w(d) = -7*d - 11. Let s(p) = -4*p - 6. Let t(a) = 11*s(a) - 6*w(a). Let y be t(-1). Suppose i = -i + y. Sort 0, i, -4 in increasing order.
-4, 0, i
Let r = 1 - 0. Let v = 118 - 116. Sort -1, r, v in ascending order.
-1, r, v
Let u be (-42)/8 + (-8)/(-32). Sort u, 5, 4 in decreasing order.
5, 4, u
Let j = -13 - -11. Put -5, j, 5 in descending order.
5, j, -5
Let o = 8 - 13. Let y be (3/2)/((-6)/(-8)). Suppose y = d - 2*d + 5*h, -h = 0. Sort d, o, -4 in increasing order.
o, -4, d
Let d = -0.43 - -0.03. Suppose -2*t + 5*t - 36 = 0. Let s be (0 - t/(-28)) + -1. Sort s, 0.1, d in decreasing order.
0.1, d, s
Let b = -1/2 - -3/4. Let w be 2/4 - (-7)/(-10). Sort w, b, 1 in ascending order.
w, b, 1
Suppose 4*g - 101 = 27. Let f = g - 12. Suppose -4*u - 4 = -3*h + h, -4*u - f = 2*h. Put 0.5, 2, u in decreasing order.
2, 0.5, u
Let l = -5 - -2. Sort 2, 5, l in increasing order.
l, 2, 5
Let z be (1/2)/((-6)/4). Put z, -3, -2 in descending order.
z, -2, -3
Let u = 0.1 - 0.2. Let t = 1.1 + u. Let y = 1.3 + -1.1. Sort y, 2/7, t in decreasing order.
t, 2/7, y
Let r = -0.39 + 0.09. Let q = r + 0. Let p = -0.05 + -3.95. Sort 3, p, q in ascending order.
p, q, 3
Let l = 13 + -12.98. Sort l, 0, -4.
-4, 0, l
Let r = 0.07 + 1.93. Let c be 0 - -3*4/36. Put r, c, 2/17 in descending order.
r, c, 2/17
Let g = -5780563/567 - -10195. Let d = g - -241/567. Suppose 20 = t - 4*m, 5*t - 20 = m + 4. Sort t, d, -4/3 in descending order.
t, d, -4/3
Suppose -2*v - 5*y = -1 - 1, 0 = 5*v + 3*y - 24. Sort -5, v, 3 in increasing order.
-5, 3, v
Let s = -0.2 + -0.8. Let g = -185/17 - -11. Put s, g, 0.1 in decreasing order.
g, 0.1, s
Let a(s) = -s**3 - 6*s**2 - 3*s + 5. Let j be a(-5). Let m be ((-6)/(-3) - 2) + 4. Sort j, 0, m in descending order.
m, 0, j
Let d be 3 - 0 - 76/30. Let u = d + -4/5. Put -2, 5, u in descending order.
5, u, -2
Let m(b) = -b**2 + 5*b + 4. Let h be m(6). Suppose 45 = j + 50. Sort j, -4, h.
j, -4, h
Suppose h - 2*p = -10, -5*h = 2*p + 2*p + 8. Let n(r) = -r**3 + 4*r**2. Let v be n(4). Suppose v = -o + 3*o + 2. Sort 2, h, o in increasing order.
h, o, 2
Let s be (-30)/8 + 3/(-12). Let y be (24/10)/((-12)/40). Let q be (-12)/y - (-6)/(-4). Put q, 4, s in decreasing order.
4, q, s
Let c = 59/4 + -15. Let q = 1.8 - 2. Put c, q, 0.5 in ascending order.
c, q, 0.5
Let f(n) = n**2 - 13*n + 39. Let t be f(8). Let z be (6/(-15))/(2/20). Sort 5, t, z in ascending order.
z, t, 5
Let o(l) = -2*l - 32. Let t be o(-16). Put 2, -4, 3, t in decreasing order.
3, 2, t, -4
Let s(m) = m - 2. Let x be s(6). Let f be (-2)/(-9)*15/x. Let u be (-776)/(-396) + -2 - (-4)/(-22). Sort 0, f, u.
u, 0, f
Let h = 83 + -81. Suppose 0*x + 15 = 3*x. Put x, h, 1 in ascending order.
1, h, x
Let s(y) = y - 17. Let i be s(13). Sort 5, i, 3.
i, 3, 5
Let c = -0.4 + -0.1. Let y be 2*(-95)/(-60) - (-4)/(-1). Put 0.1, c, y in increasing order.
y, c, 0.1
Suppose 0 = -w + 5. Let z(r) = -2*r**2 - 7*r - 3. Let t be z(-3). Put -5, t, w in descending order.
w, t, -5
Let y = -2.41 - -0.41. Sort 2, 1, -4/5, y in ascending order.
y, -4/5, 1, 2
Let m be (-2)/((-2)/(-3)) - -6. Suppose 7*n = m*n + 16. Let j be ((-3)/(-2))/(6/12). Put j, -2, n in decreasing order.
n, j, -2
Let a(o) = -o**2 - 12*o - 3. Let s be a(-12). Put 1, -1, s in increasing order.
s, -1, 1
Let s = -34.2 - -34. Sort 0.1, -0.1, 3, s.
s, -0.1, 0.1, 3
Let r be -10*5/20 + 1. Put 2/3, -7, r, -3 in descending order.
2/3, r, -3, -7
Let x be 99/108 - (2 + 8/(-6)). Sort 1/5, -1/4, x in ascending order.
-1/4, 1/5, x
Suppose 3 = -4*z - 17. Sort -27, z, 3 in ascending order.
-27, z, 3
Let z = -161/3 - -53. Put 2, -0.3, z, 1 in decreasing order.
2, 1, -0.3, z
Let d(h) = -h**3 + h**2 + h + 8. Let s be d(0). Suppose -z = 3*z + s. Let y(t) = t**2 + 8*t - 6. Let p be y(-9). Sort p, z, 0.3 in increasing order.
z, 0.3, p
Let n(c) = -3*c + 23. Let t be n(11). Sort t, -5, -4 in ascending order.
t, -5, -4
Let l = 22 + -25. Put l, 3, 0.1, 0.3 in descending order.
3, 0.3, 0.1, l
Suppose 4*p = 2*p + 22. Let t = p + -7. Let u = -21 - -23. Sort u, t, -5 in increasing order.
-5, u, t
Let q be 3 + -2 + 8/(-2). Let z = 9 + -4. Suppose 4*w = -5*a + 3 + 7, z*a + 35 = 5*w. Put 4, a, q in ascending order.
q, a, 4
Suppose 3*h = 7*h - 4. Put 4, 2, h in decreasing order.
4, 2, h
Let k be (-1 - -2)/((-5)/(-25)). Suppose -3 = 2*t - 2*c - c, k = 3*t + 5*c. Put 5, -4/7, t in descending order.
5, t, -4/7
Let n(i) = 2*i + 15. Let j be n(7). Suppose -2*u + j = 4*d + 3*u, -5*u = -25. Sort -3, 4, d.
-3, d, 4
Suppose -2*f = -2 - 2. Let j(y) = 0*y + 0*y + 3*y**f + 2 - 4*y**2 - 4*y. Let s be j(-4). Put s, 5, -6 in increasing order.
-6, s, 5
Let g = 69 - 415/6. Sort 3, -4, g in increasing order.
-4, g, 3
Let h = -4393459/100 - -180243/4. Let a = h + -1126. Let y = -83/50 + a. Sort y, -1/5, 0.1 in descending order.
0.1, -1/5, y
Let d be (-4 + (-18)/(-15))/(-2 + 4). Sort -4/5, -0.4, 1, d in decreasing order.
1, -0.4, -4/5, d
Let u = 2.97 + 0.03. Let q = 454 + -449.91. Let p = -0.09 + q. Sort p, u, 0 in descending order.
p, u, 0
Let n(v) = v**3 - 9*v**2 + 12*v - 5. Let y be n(8). Let k = -134/5 + y. Sort -5, 0.4, k in descending order.
0.4, k, -5
Let i = -3.6 - -4. Let w = -3 + 3.36. Let r = w - 0.06. Sort i, r, 3/4 in descending order.
3/4, i, r
Suppose -w - 4*a - 16 = 0, 0*a - a - 25 = -5*w. Let k = 2.06 + -2. Let t = k - -1.94. Put t, w, 1 in increasing order.
1, t, w
Let z = 0.1 + -0.19. Let x = 0.19 + z. Let c = x + -3.1. Sort c, 1, -0.4.
c, -0.4, 1
Let x be (-10)/4 + 4/(-24)*3. Sort 1, -5, x, 3 in increasing order.
-5,