) + m. Sort y, -1, x.
y, -1, x
Let k(a) = -a - 7. Let r(d) = -5*d - 29. Let v(s) = -9*k(s) + 2*r(s). Let m be v(3). Suppose -b + 0*f + 1 = -f, 4*f + 6 = 2*b. Sort b, m, 0.
b, 0, m
Let c be (4/(-10))/((-9)/5). Let z = 2.2 - 0.2. Let f = z + -3. Put 5, f, c in decreasing order.
5, c, f
Let p be (0 - 11) + (-4)/(-2). Let n be p/(-3) + -2*1. Suppose 4*m - d = 2*d - 7, -4*d - n = 5*m. Sort m, -5, 2/7.
-5, m, 2/7
Let l(i) = 2*i**2 + 5*i - 3. Let z(n) = 3*n**2 + 9*n - 5. Let u(s) = 7*l(s) - 4*z(s). Let f be u(2). Put -2, -1, f in decreasing order.
f, -1, -2
Let f(s) = -s**3 + 9*s**2 + s - 13. Let o be f(9). Let k be (2*1/o)/(-1). Let i be 8/10*1/(-4). Sort i, -4, k in increasing order.
-4, i, k
Let l = -114 + 119. Sort -0.5, -2/3, l in decreasing order.
l, -0.5, -2/3
Let m = 8.1 + -13.1. Put -4, -3/8, m, -3 in ascending order.
m, -4, -3, -3/8
Suppose -5*w + 6 - 21 = 4*f, -f = -4*w + 9. Suppose 2*k - k - 8 = 4*j, 5*k = -j - 23. Put j, w, 4 in increasing order.
j, w, 4
Suppose 1 = -0*o - o. Put 2, -2, -6, o in decreasing order.
2, o, -2, -6
Suppose -2 = 2*i - 0*i. Let c(y) = y - 2. Let a be c(2). Suppose x - 24 = -0*w + 4*w, a = 3*x + 3*w + 3. Put x, i, -4 in ascending order.
-4, i, x
Let u(t) = -t**2 + 8*t + 8. Let k be u(9). Put k, -3/4, -0.1 in decreasing order.
-0.1, -3/4, k
Suppose 2*m + 46 = -4*g, -2*m = g - 0*m + 19. Let w = g - -6. Sort w, 2, -1.
w, -1, 2
Suppose -5*i - 3*t + 44 = 0, 6*i - 4*i - 2*t - 8 = 0. Let l(g) = -2*g - 1 + g**3 - i*g**2 + 0*g + 2*g. Let r be l(7). Sort r, 3, -2.
-2, r, 3
Let t = -8 - -3. Let x(b) = b**3 - 6*b**2 - 6*b + 2. Let r be x(7). Let p be 13/(-6) + 6/r. Sort p, 5, t in decreasing order.
5, p, t
Suppose 18*g = 23*g + 20. Suppose -4*m + 13 = -2*m + 3*u, 4*m + 4*u - 20 = 0. Sort g, m, 0.5 in ascending order.
g, 0.5, m
Suppose -a - a + 3*g = -7, -4*g = -3*a + 9. Put a, -6, -2 in descending order.
a, -2, -6
Let z be (14/4 - -1) + 9/(-18). Put z, 0, 3, -4 in decreasing order.
z, 3, 0, -4
Let j be (46/(-11))/(-1) - 18/99. Sort -4, j, 5, -35 in decreasing order.
5, j, -4, -35
Let m(v) = 2*v**2 - 5*v - 5. Let y be m(4). Suppose 0 = y*t - 20 - 1. Suppose 3*k = -4*g - 5, -22 = -3*k + 5*g + 18. Put 2, t, k in descending order.
k, t, 2
Let f be (-1)/((-19)/5 - -4). Put f, 5, -8 in decreasing order.
5, f, -8
Let u = 16 - 15. Put -2, u, -1/4 in ascending order.
-2, -1/4, u
Let z = -5 + 19. Let d be 5/(-2) + (z - 12). Sort d, -3, -2 in decreasing order.
d, -2, -3
Let y be 2/(-9)*3*-6. Suppose -4*s = -2*x - 20, -y*x + 2 = -2*s + 18. Suppose 2*o - 5*o + 14 = -4*f, -4*f - s = 2*o. Sort -4, -1, f in decreasing order.
-1, f, -4
Let w = -109.4 - -109. Sort w, 0.3, 0.053 in increasing order.
w, 0.053, 0.3
Let s = 127/4 + -32. Put -5, -2/5, s in descending order.
s, -2/5, -5
Let q be -1*-10*2/(-4). Sort 5, q, 2/7 in descending order.
5, 2/7, q
Suppose 4*d - 2*p = -7*p - 27, 24 = -4*d - 4*p. Sort -8, d, 2, 4 in ascending order.
-8, d, 2, 4
Let b = -8 - -9. Let p = b + -1.2. Put p, -1/2, 0.2 in decreasing order.
0.2, p, -1/2
Let j be (-4)/2 + 2/1. Suppose y = 4*h + 23, 0*y - 4*y + 2*h + 22 = j. Suppose -y*n - 12 = -0. Sort n, -5, 3 in ascending order.
-5, n, 3
Let a = -2 + 6. Let j = 0.165 - -0.335. Sort -5/4, a, j in ascending order.
-5/4, j, a
Let d = 7 + -6.9. Let q = 0 + 0.4. Put 0, d, q in descending order.
q, d, 0
Let l be 16/(-32)*2/1. Put -14, -4, l in descending order.
l, -4, -14
Suppose 8*c - 11 = 21. Sort 7, -2, c in ascending order.
-2, c, 7
Let y = -4 - -9. Suppose y*n - b - 8 = 0, -6*n + b + 2 = -4*n. Suppose -9 + 1 = -n*a. Sort 0, a, -2 in decreasing order.
a, 0, -2
Let j = 1 - 1. Suppose 0 = v - 1 - 0. Let z(f) = -f**2 + 10*f - 12. Let r be z(9). Put v, j, r in increasing order.
r, j, v
Let w = -0.4 - -0.4. Let i = 64 + -255/4. Sort i, w, -0.2.
-0.2, w, i
Suppose -i - 14 = -3*i. Suppose 3*p + 4*h = -i, 8 + 17 = 3*p - 4*h. Put -3, p, 0 in descending order.
p, 0, -3
Suppose 4*u = 4*t + 8, 3*u + 3*t - 2 = -26. Let s(n) = 6*n**3 - 2*n**2 - n. Let c be s(-1). Let r = c - -5. Sort u, r, 0 in descending order.
0, r, u
Suppose f - 2*b + 8 = -12, 73 = -4*f + b. Let w = f - -14. Put 13, w, 3 in decreasing order.
13, 3, w
Suppose 0 = 8*v - 12*v + 16. Suppose -2*y - 3*y + 10 = 0. Sort y, v, -5.
-5, y, v
Let h be (-4)/6*(210/(-4))/5. Put 10, 4, h in ascending order.
4, h, 10
Let v be (2/18*6)/((-6)/(-27)). Sort -7, -4, v, 5 in decreasing order.
5, v, -4, -7
Let v = -245 + 245.4. Let u(r) = -r**2 + 4*r - 1. Let m be u(4). Put 4, v, m in decreasing order.
4, v, m
Suppose 4*g - 10 = -g. Let c be 1 + 1 + 0 + g. Sort 5, 0, c in increasing order.
0, c, 5
Let u be 4/22 - (-318)/66. Suppose 2*j = j. Put u, 1, j in ascending order.
j, 1, u
Suppose 5*g - 18 = -m, m - 5 - 4 = -2*g. Suppose m*n = 2 + 1. Let y be n + -3*(1 + -2). Sort y, -4, 2 in ascending order.
-4, 2, y
Let t = -12 + 10. Put 3, -6, t in descending order.
3, t, -6
Suppose 5*r + 10 + 5 = 0. Sort 4, 6, r in decreasing order.
6, 4, r
Let h = -7 - -13. Let a = h - 6. Put a, 4, 1 in decreasing order.
4, 1, a
Let h = -0.34 - -2.34. Let g = 2 - 2. Let p = g - 0. Put h, 2/11, p in ascending order.
p, 2/11, h
Let j(l) = -l**2 + 6*l + 49. Let c be j(-5). Suppose 29 = -4*s - 5*k, -2*s - 26 = -s + 5*k. Sort s, -5, c.
c, -5, s
Let o = 25 + -48. Let k be 12/8 + o/18. Suppose -5*y + 0 + 5 = 0. Sort y, -0.2, k in decreasing order.
y, k, -0.2
Let x be -10 + 11 - -2*2. Suppose 3*n + x = 2*p, 0 = 4*n - p + 8 + 2. Sort -8, n, -5 in ascending order.
-8, -5, n
Let s be (-1)/(2/(-1))*-6. Let t(u) = u**3 + 3*u**2 + 3. Let x be t(s). Put 1, -5, x in ascending order.
-5, 1, x
Suppose 0 = w + 4*w. Let b be (-39)/7 - 16/(-28). Put 5, b, w in descending order.
5, w, b
Let x = -51 - -56. Sort -6, x, 4 in ascending order.
-6, 4, x
Suppose -5*f + 10 + 0 = 0. Suppose -2*h = -0*h + f. Let y be (-9 - -5) + h/(-1). Sort y, 0, -2 in ascending order.
y, -2, 0
Suppose -4*d = -2*d + 2. Put 0, -3, d in ascending order.
-3, d, 0
Let z = 112.66 - 114. Let b = z - -1.87. Let a = b - 0.03. Sort a, 4, -0.1 in increasing order.
-0.1, a, 4
Let a = -36 - -38. Let h(u) = -u**3 - 7*u**2 - 5*u + 4. Let w be h(-6). Suppose 3*s + 5*d + 15 = 3*d, -2*s + 3*d = 10. Put a, w, s in descending order.
a, w, s
Let x = 12 + -6. Let a = x - 5.8. Sort 2/9, 4, a.
a, 2/9, 4
Suppose -3*b + 3*d - d - 15 = 0, d = 2*b + 10. Suppose -20 = 4*s, -3*n - 2*s - 3 = 4. Put n, b, -4 in descending order.
n, -4, b
Let c be 45/(-75) - 2/5. Let j(q) = 0*q**2 + 0*q**2 - 5*q + 4 - q**2. Let s be j(-5). Sort -2, s, c in increasing order.
-2, c, s
Suppose -l - 2*y = -0*y - 3, 0 = -3*y. Suppose l*p + 5*t + 16 = 5*p, -3*p - 10 = t. Let f = -136 - -541/4. Sort 0.3, f, p in increasing order.
p, f, 0.3
Let h = 46 + -42. Let w(j) = j**2 - 4*j + 1. Let x be w(4). Put h, 6, x in descending order.
6, h, x
Let s be 8/(-3)*9/(-4). Let z = 1 - s. Sort z, 1, -2 in ascending order.
z, -2, 1
Let t(y) = y + 4. Suppose 4*b + 2 = -22. Let h be t(b). Let c be (-26)/(-6) + h/(-3). Sort -2, c, -4 in descending order.
c, -2, -4
Let i = 14 + -6. Let x = i + -6. Suppose 5*m - x - 3 = -5*a, 2*a + m - 2 = 0. Sort a, -4, 5 in decreasing order.
5, a, -4
Let y = -8 - -11. Let o = 1.1 - 1. Let r = -0.5 - -0.3. Sort y, r, o in ascending order.
r, o, y
Let o(k) = -k - 1. Let y = -56 - -88. Suppose 2*r = 4*s - y, 3*r - 3*s = 2*s - 43. Let l be o(r). Put -5, 0, l in increasing order.
-5, 0, l
Suppose 4*s = 3*j + 51, 7*j - 2*j + 50 = -5*s. Suppose 6*t + 9 = 45. Let k = j + t. Put k, -2, 0 in increasing order.
k, -2, 0
Suppose -4*a + 5*a = 5*f + 17, 2*a + 5*f = -26. Suppose -2*s - 6 = 2*v, 2*v = s - 0*s + 9. Sort s, a, -4 in descending order.
a, -4, s
Let n = 3.12 - 0.12. Let z = -2.8 + n. Sort 0.1, z, -2.
-2, 0.1, z
Suppose -3*q = -0*q - 6, -15 = 3*i - 3*q. Suppose 1 = 3*w - 14. Put i, 3, w in descending order.
w, 3, i
Let a = 0.6 - -4.4. Let q = 1 + 3. Let l = -4.5 + q. Sort -5, a, l in descending order.
a, l, -5
Let j = 3 + -2.8. Let v = 1.37 + -2.37. Sort j, v, 5 in ascending order.
v, j, 5
Let f = -5 + 6. Sort -2/3, 5, f in increasing order.
-2/3, f, 5
Let o(t) = 2*t + 2*t - 5*t. Let i be o(-4). Put i, -1, 5 in ascending order.
-1, i, 5
Suppose -2*m - 5 = -11. Sort 0, m, -4 in ascending order.
-4, 0, m
Let r = -57 - -55.04. Let x = 0.34 - 0.3. Let m = x - r. Sort m, -4, 4 in decreasing order