 - 2*n**2 + 1. Let u be o(i). Sort -2, 1, u in decreasing order.
1, -2, u
Let v be (1 - (-2)/(-4))*6. Suppose 0*r + v*r - 15 = 0. Sort r, 1, -2 in descending order.
r, 1, -2
Suppose 3*a - 9*a - 36 = 0. Sort a, -1, -5/2 in descending order.
-1, -5/2, a
Let m(y) = 4*y**3 - 2*y**2 + 2*y. Let f be m(2). Let q be 4/14 - (-76)/f. Suppose -12 = 4*p, -5*n + q*p + 34 = -0*p. Sort n, -1, -2.
-2, -1, n
Let q = 6 - 3. Let n(w) = -w**2 - 8*w - 4. Let i be n(-7). Suppose -i*r = 2*h - 8, -4*h - 3*r = -q - 1. Sort h, 4, 3 in decreasing order.
4, 3, h
Let t be 2/(-5) + 2456/140. Let i = 17 - t. Let w be (-2)/(-7) - 16/7. Sort w, i, -0.3 in increasing order.
w, -0.3, i
Let p = 2.98 - -0.02. Let i = -8 + p. Sort i, -4, 5 in descending order.
5, -4, i
Let h = -117 - -112. Put -11/6, h, -0.5 in increasing order.
h, -11/6, -0.5
Let j(b) = -b**2 - 2*b + 19. Let v be j(4). Let h(z) = 2*z - 3. Let w be h(3). Put w, 1, v in decreasing order.
w, 1, v
Let c be 0 - (6/(-2) - -2). Suppose 5*m + 5 = s, -3*s + c = s - m. Sort 1, 3, s in decreasing order.
3, 1, s
Let i be (12/44)/(3/(-2)). Sort i, 0, 0.4 in decreasing order.
0.4, 0, i
Let u = -17 + 17. Put u, -5, 0.2 in decreasing order.
0.2, u, -5
Suppose -q + 9 = 4*m, 7 = 3*m - 0*q + q. Sort m, -2, -0.7 in decreasing order.
m, -0.7, -2
Suppose 21 = -5*h + 1. Let n = 2.37 - 0.37. Sort n, h, 1 in ascending order.
h, 1, n
Let l = -1 + -2. Let o = l - -3.2. Let d = 0.3 + o. Sort d, 5, -0.4 in ascending order.
-0.4, d, 5
Let f(k) = k**2 - 12*k + 26. Let o be f(11). Sort o, -2, -5 in decreasing order.
o, -2, -5
Suppose -5*z + 9 = 2*y, 0 = 2*z - 4*z + 2*y - 2. Suppose z = a - 2. Suppose a*s = -0*s - 3. Sort -4, -5, s in decreasing order.
s, -4, -5
Let k be 21/(-49) - 874/14. Let x = -63 - k. Sort x, 5, 2/9 in descending order.
5, 2/9, x
Let p = 5.5 + -2.4. Let c = -3 + p. Let l = 0.6 - 0.4. Sort l, 1, c in descending order.
1, l, c
Let y be (7/5 + (-9)/(-15))*6. Put y, -5, 1 in increasing order.
-5, 1, y
Suppose 0 = 4*k + 2 - 14. Let f = 26 - 18. Let n be f*3*1/6. Sort k, 0, n in increasing order.
0, k, n
Let m = 0.3 - 0.44. Let o = 0.04 + m. Sort -3/5, -0.2, o.
-3/5, -0.2, o
Suppose -5*c + 10 = -n, 4*c + 4*n = -n + 8. Put c, 4, -1/11 in increasing order.
-1/11, c, 4
Let v = 0.11 + 5.89. Let p = 5.9 - v. Let f = 0.03 + -5.03. Put f, p, 4 in descending order.
4, p, f
Let v be (0 - 1) + -1 + 0. Let f(w) = 2*w - 5. Let m be f(5). Suppose m*r + 8 = 23. Put r, v, -5 in decreasing order.
r, v, -5
Suppose 5*m = 15 + 15. Let y be -2*-1*m/(-4). Let u = y - 1. Sort u, 0, 5 in ascending order.
u, 0, 5
Let w = -0.3 - -0.2. Let m = -9 + 6. Let b = 1 + m. Put w, 3, b in decreasing order.
3, w, b
Let y be ((-9)/(-24))/(3/2). Let g = 1 + -2. Let n = -0.7 - g. Sort -1, y, n.
-1, y, n
Let t be (12 - 10)/(2/(-4)). Sort -18, t, 4.
-18, t, 4
Let p = -180 + 130. Sort -3, p, 0.
p, -3, 0
Let h = 2 + -3. Let b = 0.1 - -4.1. Let d = b - 4. Put d, h, -0.2 in ascending order.
h, -0.2, d
Let b = 10 + -3. Suppose t = 2*y + 9, -t + b + 8 = -5*y. Suppose -4*s + 5*g = -0*s + 31, -15 = -5*g. Put y, 5, s in increasing order.
s, y, 5
Let x be 115/(-25) - -4 - (0 + -1). Sort -0.4, 0, x in descending order.
x, 0, -0.4
Suppose 0 + 6 = 2*q. Let w be 63/9 - (0 + q). Sort w, 5, 3 in ascending order.
3, w, 5
Let i = -0.33 - 0.07. Let k = 1.8 + -2. Let m = 0 + k. Put 0.1, i, m in ascending order.
i, m, 0.1
Let b be 1 - (27 + 4 + -8). Sort -2, 4, b in increasing order.
b, -2, 4
Let w(g) = g**3 + 13*g**2 - 16*g - 20. Let p be w(-14). Put p, -4, -1, 3 in increasing order.
-4, -1, 3, p
Suppose 3*d - 5 = 4. Let t(z) be the third derivative of -z**4/24 - z**3/6 - 3*z**2. Let c be t(0). Put d, c, -4 in descending order.
d, c, -4
Suppose 2*c - w = 3, 0*c - 4*c - 5*w + 13 = 0. Put 0.1, -1/9, -9, c in increasing order.
-9, -1/9, 0.1, c
Let h(o) = -o - 3. Let w be h(1). Sort 5, 3, w in ascending order.
w, 3, 5
Let d be ((-4)/10 - 0)*5. Let q be 2/1 + 7/(-21)*-3. Put q, 4, d in ascending order.
d, q, 4
Let c = 2.3 + -1.5. Put -5, -3, c in descending order.
c, -3, -5
Let n = -20.2 + 20. Put 0, n, 0.5 in descending order.
0.5, 0, n
Suppose -5*x - 5 = 5*z, 6*z - 2*z + 3*x = 0. Let b = 5 - z. Sort b, 1, -2.
-2, 1, b
Suppose -2*r - 7 = 2*h - h, 3*h + r + 1 = 0. Let a be (-104)/(-78)*(-2 + 1/2). Put h, a, -10 in decreasing order.
h, a, -10
Let l be (7 + -1)*(-1)/(-9). Sort -4, 1, l in ascending order.
-4, l, 1
Let i = 19/63 - 11/21. Put -0.5, -0.3, i in increasing order.
-0.5, -0.3, i
Let g be (-66)/(-2) - (-3)/(-1). Suppose -4*o = 6 - g. Suppose o*i = i. Sort -2, -4, i in ascending order.
-4, -2, i
Suppose 0 = o - 0*o + 3. Suppose -2*v + 5*i = 6 + 9, 0 = 3*i - 3. Sort v, o, 1.
v, o, 1
Let g = 1.6 - -0.4. Let x(f) = f**2 - f - 39. Let p be x(7). Put g, p, -3/4 in decreasing order.
p, g, -3/4
Let h = 14 - 10. Let p = -2.3 + 2. Sort h, -4, p in ascending order.
-4, p, h
Let h = 14/3 + -4. Sort h, -6, 3/7 in ascending order.
-6, 3/7, h
Let a(o) = 3*o**3 - o**2. Let w be a(1). Suppose 5*d = s + 24, d - 192 = 7*s - w*s. Let y be 15/s*4/10. Sort -3/2, 0, y in decreasing order.
0, y, -3/2
Suppose 4*v - 5*b - 66 = 0, -2*v - 15 = -2*b - 47. Suppose 3*d = v - 32. Let m be (1 - 0)/(3/d). Sort -1, m, 1 in ascending order.
m, -1, 1
Let b = -29.3 - -29. Put -5, 3/2, b in descending order.
3/2, b, -5
Let t = 0.1 + -0.1. Let c = -0.9 + 0.4. Let a = c - t. Sort a, 3/7, 2/9.
a, 2/9, 3/7
Let f be 2*(-1)/1 - 0. Let b be 0/f - 1/1. Suppose g - 3*v = -17, 8 = 4*g + 5*v - 9. Put g, b, -5 in increasing order.
-5, g, b
Let k = -31 + 35. Sort 6, 3, k in ascending order.
3, k, 6
Let r = 10.5 + -11. Put r, 0, -6 in increasing order.
-6, r, 0
Let o = 1.3 - 0.3. Let s = -0.6 - -13.6. Let k = s + -13.5. Sort -2/5, o, k in increasing order.
k, -2/5, o
Suppose q - 2 = 0, 3*d = -0*q - 5*q - 5. Put -29, 0, d in decreasing order.
0, d, -29
Let m = -4.2 - -4. Put m, 3, -1 in increasing order.
-1, m, 3
Let c = 1101/7 - 157. Let w be (10/(-4))/((-2)/4). Sort c, -1/6, w in descending order.
w, c, -1/6
Let s = -86 + 86.3. Suppose 3*x - 6*x = 0. Put s, -5, x in descending order.
s, x, -5
Let w = 0.84 + 0.16. Sort -5, -4, w in decreasing order.
w, -4, -5
Let b be (4/(-10))/(2/(-20)). Let a = b + -2. Let z be 1/5 + (-52)/10. Sort -1, z, a in decreasing order.
a, -1, z
Let v = -181 + 180.6. Put 1, -1, v in increasing order.
-1, v, 1
Let y be (-2)/10 - 81/(-855). Sort -4, y, 0.3, -5.
-5, -4, y, 0.3
Let d be 59*((-3)/738)/(-1). Let a = d - 3/41. Put -0.5, a, -0.1 in decreasing order.
a, -0.1, -0.5
Let c = -8/15 - -1/5. Let m = -0.8 + 0.84. Let n = m - -4.96. Sort 4, n, c in ascending order.
c, 4, n
Let n be (((-12)/20)/(8/20))/(-3). Sort -1, n, 5 in decreasing order.
5, n, -1
Let t = -3.371 + 0.071. Let c = 3 + t. Let n = 0.2 + -0.1. Sort n, 3/4, c.
c, n, 3/4
Let y = -19.94 + 20. Put 0, -1, y, -2 in descending order.
y, 0, -1, -2
Let o be ((-5)/(-2) + -2)*6. Let y = o + -4. Let f be (3 - 2)*(3 - y). Sort f, 1, 5.
1, f, 5
Suppose -p - p = 0. Suppose -2*c + c + 5 = p. Sort -4, -5, c in descending order.
c, -4, -5
Let p be 1*((0 - 0) + 3). Let f(a) = -2*a + 7. Let u be f(p). Put -4, 4, u in decreasing order.
4, u, -4
Suppose 3*o - u - 25 = -2*u, u = -4*o + 34. Let f be 8 - (-3)/(6/(-4)). Let m = o - f. Sort m, 2/17, -2 in ascending order.
-2, 2/17, m
Let a(s) = s**2 - 5*s + 6. Let b be a(4). Suppose -t = 6 - b. Put 4, t, 3 in increasing order.
t, 3, 4
Let q = -14 - -14.9. Let n = q - 0.6. Put n, 0.1, 0 in descending order.
n, 0.1, 0
Suppose 0 = 4*v - 2*r - 5 + 3, v + r = 5. Let j be v/2*(2 - -3). Suppose -3*p = -2*i + 6 + 2, -20 = 2*i + 4*p. Sort j, 2, i in decreasing order.
j, 2, i
Let n be 784/(-264) + (-3)/(-1). Let c = n + 25/264. Sort 2/9, -0.5, c in ascending order.
-0.5, c, 2/9
Let x(f) = f**2 - 10*f + 17. Let p be x(8). Put 0, p, 5 in descending order.
5, p, 0
Let i = -58/7 - -172/21. Sort i, 1, -2/9 in ascending order.
-2/9, i, 1
Suppose 4 = -y + 5*v, -16 = -3*y + 7*y + 4*v. Suppose -12 = -15*d - 27. Put d, y, -5 in decreasing order.
d, y, -5
Let k = 28.1 - 28. Sort -0.1, -0.2, 1/3, k in increasing order.
-0.2, -0.1, k, 1/3
Let v = -44 + 42. Sort 2/3, v, 2, -11.
-11, v, 2/3, 2
Let f = 4.3 - 0.8. Let u = 3 - f. Sort -0.04, -3, u.
-3, u, -0.04
Let v = -33.33 + 33. Let f = 0.03 + v. Suppose -4*o + 6 = -7*o. Put f, o, 4 in increas