. Let x be 2/w + (-16)/(-56). Let l be (-2)/(-3)*6/4. Sort x, -2, l in descending order.
l, x, -2
Let n(p) = -3*p - 2. Let w be n(-2). Suppose 13 = -w*t - 3. Put -2, 5, t in descending order.
5, -2, t
Let i = 4 + -2. Let q = i + 1. Sort 1, 4, q in descending order.
4, q, 1
Let w be (-8)/(-12) - (-1054)/30. Let j = w - 36. Let o = 9/20 + j. Put o, -4, 5 in increasing order.
-4, o, 5
Let m = -341/3 - -114. Sort -3, 2/13, -2, m.
-3, -2, 2/13, m
Let y = -25 - -24. Let r = -83/2 - -44. Sort r, -2, y in ascending order.
-2, y, r
Let o = -13.02 - -0.02. Let u = o - -12. Put u, -0.3, -4 in descending order.
-0.3, u, -4
Let l = 0.38 + 3.62. Let p = -1.2 + 3. Let w = p + -2. Sort l, w, -2/9 in ascending order.
-2/9, w, l
Let x = 13/18 + 1/9. Let d = 0.1 + 3.9. Let l = d - 3.9. Put x, l, -2 in descending order.
x, l, -2
Suppose 5*d - 6 = 3*s + 10, 0 = s + 4*d - 6. Suppose -3*n + 6 = 3. Let i be (-3)/((-6)/8 - 0). Sort s, n, i in decreasing order.
i, n, s
Let d be (144/(-15))/(-4) + -2. Sort 0.1, -0.01, d.
-0.01, 0.1, d
Let h be (3 + -1)*6/4. Sort -4, h, -3, 5 in descending order.
5, h, -3, -4
Let j = 183/5 + -37. Let u = -11 + 11.4. Put 2, j, u in increasing order.
j, u, 2
Let g = -27 + 28. Sort g, 0, 5 in ascending order.
0, g, 5
Suppose -3*g - 23 = -3*i - 5, 0 = i + 5*g + 12. Put 3/2, 0.5, i in descending order.
i, 3/2, 0.5
Let s be 10/(-8) + 1/4. Let h = 1 + s. Let k(d) = -d**3 - 5*d**2 - 4*d - 3. Let r be k(-4). Sort 3, r, h in decreasing order.
3, h, r
Let v = -6 + 6.8. Let i = v - 0.5. Sort 0, i, 3 in descending order.
3, i, 0
Suppose v + 3 = 2*t - 2*v, -t + 5*v = 2. Put -2, 21, t in decreasing order.
21, t, -2
Let c = 0.24 + -0.34. Put c, 4, 0.5 in decreasing order.
4, 0.5, c
Let d be (-5 - -8)*(-2)/6. Put 5, d, -5 in descending order.
5, d, -5
Let n be (-2 - -5)*(-8)/(-6). Let r = n - 8. Put 1, 3, r in descending order.
3, 1, r
Let h(f) = f**3 - 6*f**2 - f + 7. Let j be h(6). Suppose 2*p - 5 + 1 = 0. Let o = 46 - 51. Sort j, o, p.
o, j, p
Let z = 0.02 + -3.02. Let v be 2/(-7)*(-2)/(-4). Sort v, 3/8, z in increasing order.
z, v, 3/8
Let s = 2.1 + 0.1. Let z = 0.8 + s. Sort 0, 1/6, z in ascending order.
0, 1/6, z
Let h = -8 - -6. Let n be (-2*(-2)/h)/(-2). Let v be (n + 0)/((-4)/3). Put v, -4, -5/3 in descending order.
v, -5/3, -4
Let f = 111.04 - 115. Let h = f - 0.04. Put 2/5, 0.1, h in increasing order.
h, 0.1, 2/5
Let c = 4.3 + -1.3. Put c, -0.5, -4 in descending order.
c, -0.5, -4
Let v = -3.05 + 0.05. Let k = -0.8 + 0.7. Sort k, v, 4 in descending order.
4, k, v
Let t(j) = -j + 15. Let w be t(0). Let y = -12 + w. Put -0.2, y, 3/2 in ascending order.
-0.2, 3/2, y
Let h = 1/39 - -35/156. Put h, 1/2, 2/13 in ascending order.
2/13, h, 1/2
Let w = -3 - -11. Suppose r + 3*d + 0*d = 0, -r + 7 = -4*d. Sort w, r, -0.4 in descending order.
w, r, -0.4
Suppose 31 - 3 = -7*s. Sort -2, s, 0, -1 in increasing order.
s, -2, -1, 0
Let g be (15/(-25))/(2/(-10)). Suppose -g*o - o + 4 = 0. Put o, 3, 0 in increasing order.
0, o, 3
Let o(y) = 2 - 4*y - 4*y + 1 + 7*y. Let l be o(6). Suppose 0 = 2*q - 7*x + 2*x - 18, -q + x + 3 = 0. Put l, q, -5 in decreasing order.
q, l, -5
Let p = -12 + 14. Suppose -p*u + u = -4. Sort 2, u, 3.
2, 3, u
Suppose -3*y + g + 1 = y, 3*g + 11 = 4*y. Put 18, 5, y in ascending order.
y, 5, 18
Let s(h) = h**2 - 3*h + 3. Let b(a) = -a**3 - 7*a**2 - 8*a - 8. Let o be b(-6). Suppose o = x + x. Let r be s(x). Put 0, -4, r in ascending order.
-4, 0, r
Let y be 19/(-8) + 6/16. Sort y, -1, -4.
-4, y, -1
Let u = 2.1 + -1. Let f = 3.9 + u. Sort f, -1/6, 0 in increasing order.
-1/6, 0, f
Suppose -4*n - 5 = 7. Let v = -9.8 + 0.3. Let f = 10 + v. Put 2/13, f, n in descending order.
f, 2/13, n
Let q(d) = -2*d**3 - 28*d**2 + 3. Let f be q(-14). Let i = 1 - 1. Sort -6/7, f, i in decreasing order.
f, i, -6/7
Suppose 3*b + x - 4 = 0, -5*b - 4 + 13 = 4*x. Sort b, -1, 5.
-1, b, 5
Let x(i) = -i - 2. Let r be 1 + (-2 - (2 + -1)). Let w be x(r). Suppose 0 = -5*p - 5*l - 20, l - 6 = p + 3*l. Put 2, p, w in ascending order.
p, w, 2
Let d = 132 + -133. Sort 42, d, 0 in increasing order.
d, 0, 42
Let m(v) = v + 2. Let w be m(-6). Suppose 7*a + 15 = 2*a. Sort w, -2, a.
w, a, -2
Suppose -4*x + 2 - 10 = 0. Let a be (0 + 6)/((-2)/(-7)). Suppose -n = -4*k + a, 2*n + 14 = -0*n + k. Put -3, x, n in ascending order.
n, -3, x
Let i = 1 - 1. Suppose 3*g = -2*g. Suppose 3*s + 9 = -g. Sort i, 1, s in descending order.
1, i, s
Let z = -9 - -7. Put 1, 4, z in decreasing order.
4, 1, z
Let l = 218 + -575/3. Let n = -26 + l. Let o = -25.1 - -25.1. Put o, n, -2/3 in decreasing order.
n, o, -2/3
Suppose 0 = 22*t - 25*t + 9. Let k = 1 - 5. Sort k, t, 1.
k, 1, t
Suppose 5 = -2*f - 3. Put f, -2, 5 in decreasing order.
5, -2, f
Let s be (-5)/2*(-8)/10. Suppose s*n = n. Sort -1, n, 3 in decreasing order.
3, n, -1
Let d(n) = -5*n**2 - 2*n - 1. Let c be d(-1). Put -1, 3, c, -3 in increasing order.
c, -3, -1, 3
Suppose 0 = -3*p - 4 - 23. Sort p, 5, 1 in decreasing order.
5, 1, p
Suppose -4*z - 28 = -64. Suppose -16 - z = -5*x. Let r = 1 + -4. Put x, r, 2 in decreasing order.
x, 2, r
Let c = -2.99 + -0.01. Let u = 1 + c. Let o be ((-5)/(-3))/(7/(-21)). Put u, o, -3 in decreasing order.
u, -3, o
Let s = 13.4 + -13.4. Put 4, -1/5, -2/7, s in descending order.
4, s, -1/5, -2/7
Suppose 5*x - 11 = -16. Put 4, 0, x in descending order.
4, 0, x
Let i = 14 - 17. Sort i, 4, -4.
-4, i, 4
Let p(z) = -z. Let d(o) = -o**2 + 5*o - 1. Let w(k) = d(k) + 6*p(k). Let i be w(0). Let h be (2/(-20))/((-4)/10). Sort h, 0.2, i.
i, 0.2, h
Let v(f) = -2*f - 1. Let n be v(-2). Put n, -2, 4 in descending order.
4, n, -2
Let n = -0.4 - 1.6. Let h = -1 + 0. Sort -2/3, n, h.
n, h, -2/3
Let t be 7/4 + 3/12. Suppose -l - 3 = -0*p - p, 4*l = -4*p + 4. Let m be p/42*3*3. Sort t, -0.1, m in ascending order.
-0.1, m, t
Suppose 1 = 3*y - 2. Let g be (-3)/((-18)/4)*-3. Sort 2, y, g in descending order.
2, y, g
Let g(i) = i + 9. Let m be g(-12). Suppose -2*c + 7*c - 25 = 0. Let d be 5/(2/(-1) + 1). Sort c, m, d in ascending order.
d, m, c
Suppose 3*v + 7*h - 2*h - 19 = 0, -3*v = 2*h - 4. Sort 1, v, 5 in decreasing order.
5, 1, v
Let j be -2*(14/(-21))/(4/(-6)). Sort 1, -4, -1, j in decreasing order.
1, -1, j, -4
Let v = 42309 + -42659.98. Let p = -348 - v. Let q = -0.02 - p. Sort -2, -1, q.
q, -2, -1
Let t = 0.4 - 0.6. Sort t, 10, 0.2 in increasing order.
t, 0.2, 10
Let f = 4/43 + 23/215. Sort f, 0, -0.4 in decreasing order.
f, 0, -0.4
Let l = -4 - -6. Let g = 1.9 - 0.9. Let y = l - g. Put 0.3, -2, y in descending order.
y, 0.3, -2
Suppose -3*s = 3*t - 6, -2*s + 4*t + 8 = -2. Sort s, -4, -6 in decreasing order.
s, -4, -6
Let r = -6 + -22. Let t = r + 26. Put t, -4, 0 in descending order.
0, t, -4
Let f = -9 + -2. Let p = -11.5 - f. Put 0.5, p, 0 in ascending order.
p, 0, 0.5
Let y(o) = 0*o - 2*o - 10*o + o**2 + 11. Let g be y(11). Put 5, 4, g in descending order.
5, 4, g
Let t = 2 + -1.7. Let u = 2 - 4. Put t, 3, u in descending order.
3, t, u
Let s be -3 + (-1)/(-5)*16. Let v = 0 + -3. Sort s, 3, v in increasing order.
v, s, 3
Let w = 10 + -5. Suppose w*v = 9 + 1. Put 5, 6, v in descending order.
6, 5, v
Let t = -2.8 - 2.1. Let b = t + 0.9. Put 4, 0.5, b in descending order.
4, 0.5, b
Let j = 51.89 + -52. Sort -0.5, 2, 5, j.
-0.5, j, 2, 5
Let t(d) = -d**2 + 6*d - 7. Let v be t(5). Let n be -6*(-1 - v/4). Suppose -1 = 2*p + 7. Sort n, 2/5, p in descending order.
n, 2/5, p
Suppose -2*q = -5*g + 3*g - 14, 4 = 2*q. Let v be (1/(-4)*2)/(-1). Let w = 0.5 + -4.5. Put v, g, w in ascending order.
g, w, v
Let t = 4 - 1. Let b(z) = z + 7. Let h be b(-5). Suppose -2*d - t*u + 1 = 0, 0*d - h*u = 5*d - 8. Sort d, 4, -5 in ascending order.
-5, d, 4
Let k = 4.34 - 0.04. Let j = 10 + -6. Let c = j - k. Sort -4, c, 4 in increasing order.
-4, c, 4
Let t = 4.09 - 0.09. Let j be (7 - -2)/(3/(-42)). Let i be (-8)/j - (-6)/27. Put i, t, -1 in increasing order.
-1, i, t
Suppose 0 = -r + 3*m - 1, 4*m = -2*r - m + 53. Let s = -12 + r. Sort s, -4, -5 in ascending order.
-5, -4, s
Let h(t) = -t**3 - 2*t**2 + 3*t + 2. Let j be h(-3). Suppose k + m + m + 10 = 0, -20 = j*k + 5*m. Let p be (k/(-25))/((-2)/20). Sort 1, 3, p in ascending order.
p, 1, 3
Suppose -21 = -3*w + 3*f, -5*f - 32 = -4*w - 2. Suppose 0 = 4*s + 9 - 61. Suppose -3*v + s = -w*q, -3*q = q