sing order.
p, o, 1
Let t = -1647/2959 - -3/269. Sort t, -0.4, -0.3.
t, -0.4, -0.3
Suppose 3*z - 4 = 2. Suppose 3*j + 3*g - 27 = 0, 0 = 3*j - 5*j - 3*g + 21. Let m = -7 + j. Sort -3, m, z in decreasing order.
z, m, -3
Let k = 37 - 41. Sort -0.5, k, -4/5.
k, -4/5, -0.5
Let u(q) = -13*q**2 + 2*q + 4. Let d(h) = -9*h**2 + h + 3. Let n(p) = -7*d(p) + 5*u(p). Let f be n(2). Put f, 2, -2 in decreasing order.
2, -2, f
Let f = -85 + 88. Sort 1, f, -5.
-5, 1, f
Let t = -18 + 53/3. Suppose 3*d = 7*d - 24. Let v be (6/(-10))/(5 - d). Put v, 1/3, t in descending order.
v, 1/3, t
Let u be 2/((-1)/6*-3). Suppose -v = 7 - 4. Let k = v + u. Sort -2, k, 5.
-2, k, 5
Let f be 20/(-15)*(-3)/(-2). Sort 1, 0, f in decreasing order.
1, 0, f
Let c = -24 - -34. Let s be 0 + (-2)/(4/c). Sort -0.4, s, -3.
s, -3, -0.4
Suppose 5*o - 19 = 2*f, o - 4*f - 11 = -0*f. Put -2, o, 12 in decreasing order.
12, o, -2
Let x = 154/195 - -2/195. Sort 0.3, -0.4, x in decreasing order.
x, 0.3, -0.4
Let d be ((-7)/(-14))/(-1 - -3). Let p = 14 + -9. Suppose 0 = 5*x - 3 - 12. Put d, p, x in decreasing order.
p, x, d
Suppose b - 2*b + 2 = 0. Let y = b + -6. Let p = 6 - 6. Sort y, p, -1 in increasing order.
y, -1, p
Suppose -3*b + 4 = -11, 0 = -5*i - 4*b + 40. Let z(f) = f - 1. Let c be z(i). Sort c, 4, 1.
1, c, 4
Let o = 44 - 46. Put -1/3, o, 0.1, 8 in decreasing order.
8, 0.1, -1/3, o
Let h(t) = -t**2 + 9*t + 5. Let b be h(9). Suppose 15 = b*p - 5*m, -3*p = p - m - 12. Sort 0.5, 2/5, p in descending order.
p, 0.5, 2/5
Let z be -3 + (-8)/(-2) - -1. Let m(i) = -i**3 + 2 + i + 3*i + 2 - 6 - 4*i**z. Let h be m(-5). Put 1, 2/17, h in decreasing order.
h, 1, 2/17
Let j = -1 + 5. Let b = -18 - -14. Sort -3, b, j.
b, -3, j
Let j be (0 + -6)*(-1)/3. Let g = j - 2. Let k = 0.1 - -0.1. Sort 0.5, k, g in ascending order.
g, k, 0.5
Let z(o) = -o**3 - 3*o**2 - o - 3. Let b be z(-3). Suppose b = -2*l - 7 + 17. Let y be (-5)/(2 - 1) - -2. Sort -2, l, y.
y, -2, l
Let s = 14 + -10. Suppose -2*q = 2*c - 3*q - 9, -3*c + 5*q + 31 = 0. Sort c, s, 3 in increasing order.
c, 3, s
Suppose -u + 0*u = 0. Sort u, -5, 4 in increasing order.
-5, u, 4
Let x = -2.2 + 2. Let l be 36/(-24)*3*2. Let u = 10 + l. Sort u, -0.5, x.
-0.5, x, u
Let x be -4 + 2 + 2 + -1. Let y = 6 + -4. Put 3, y, x in decreasing order.
3, y, x
Let m = 26 + -25.78. Let j = -0.08 - m. Let q(z) = -z - 2. Let r be q(-4). Put r, j, -0.5 in descending order.
r, j, -0.5
Let j = 0.125 - 1.265. Let b = j - -0.14. Put b, -4, -5 in ascending order.
-5, -4, b
Suppose -3*m + 5 = 4*b - 2*m, 2 = 5*b - 3*m. Let n be (9 - 6)*b*-1. Let l(a) = -4*a. Let p be l(-1). Sort n, -5, p in descending order.
p, n, -5
Let x = -0.1 - 0. Let v = -4.1 - x. Sort 3, 4, v.
v, 3, 4
Let w = 0 + -2. Suppose 3*g = 6*g - 15. Suppose -g*k = b - 2 - 2, 0 = 3*b + 2*k - 12. Put -4, b, w in descending order.
b, w, -4
Let o = 14 - 10. Put 1, o, -3 in increasing order.
-3, 1, o
Let s = -71 - -74.7. Sort 3, s, -5 in decreasing order.
s, 3, -5
Let l = 9.9 + -10. Let p = 0.05 - 2.05. Put -1, p, l in increasing order.
p, -1, l
Let u be (-20)/8*-4*(-2)/(-5). Let i(a) = -2*a**2 - 4*a - 3. Let b be i(-2). Sort u, 1, b in increasing order.
b, 1, u
Let m = -6.5 + -0.5. Let y = m + 7. Put y, -2, -3 in descending order.
y, -2, -3
Let h = -2.4 - -4.4. Put 5, 0.2, h in ascending order.
0.2, h, 5
Let g = 211 + -163. Put 2, 5, g, 1 in increasing order.
1, 2, 5, g
Suppose 2*j + 3*o = 17, -o - 18 = -3*j - 3*o. Sort -0.5, 8, j.
-0.5, j, 8
Let z = 3 + -4. Suppose 5*q - 15 = -2*d, 8*d + 4*q = 3*d + 12. Put z, d, -5 in decreasing order.
d, z, -5
Let n = -46 - -45.8. Sort -2, n, 0.3, 0.2.
-2, n, 0.2, 0.3
Suppose -3*g - 1 = -r + 3, 5*r - 40 = -5*g. Suppose -3*s - r = -19. Suppose 0 = -d + t + s, 0 = -d + 3*d - t - 9. Put d, -4, -5 in decreasing order.
d, -4, -5
Let x(u) = u**2 + 2*u + 3. Let w(v) = -v**3 + 11*v**2 - 9*v - 12. Let n be w(10). Let m be x(n). Sort -4, m, 1 in decreasing order.
m, 1, -4
Let n = 1.1 + -1. Let q = -4.9 - -0.9. Sort q, -2, n in decreasing order.
n, -2, q
Let q be 6 + 3/(2 - 5). Suppose 2*d + 4 = 3*d. Let p be (12/8)/((-2)/d). Sort 2, p, q in descending order.
q, 2, p
Let n(w) = -w**2 - 7*w - 5. Let i be n(-5). Let h be (-1 - 2)*1/(-3). Sort i, h, -3.
-3, h, i
Let u = -37 - -38. Sort -0.3, -0.4, 0.3, u in increasing order.
-0.4, -0.3, 0.3, u
Let c = -0.4 - -2.7. Let a = c + -2. Let t = a + -0.2. Put 3, 0.3, t in decreasing order.
3, 0.3, t
Suppose 8 = -c + 4*q, -4*c - q - 2 = -2*q. Suppose -i + 25 = -6*i. Sort i, c, 4 in decreasing order.
4, c, i
Let c = 110 + -78. Suppose -15 = -5*o + 3*s + 14, 4*s = 5*o - c. Put 2, o, -1/2 in increasing order.
-1/2, 2, o
Let f = -117 - -122. Let j = -3 - -7/2. Put j, -2/3, f in descending order.
f, j, -2/3
Let r = -1.2 - -2.2. Let f = -3.99 - 0.01. Put -1, f, r in decreasing order.
r, -1, f
Let g = 10 + -2. Let w = g - 8. Sort w, -1, -0.2 in increasing order.
-1, -0.2, w
Let a = -3 + 5. Sort 3, -0.01, a.
-0.01, a, 3
Let k = -17 + 18. Let n = -7 + k. Put n, -4, -0.2 in increasing order.
n, -4, -0.2
Let j be (-11)/(-3) - (-4)/(-6). Let v = 3 + -3. Suppose 6*o - 12 = 9*o. Sort o, j, v in decreasing order.
j, v, o
Let k be (-1)/3*-14 - 2. Let y = k + -7/3. Let w be -4*((-9)/(-12) - 2). Sort w, y, 5/4 in descending order.
w, 5/4, y
Let j(q) = q**3 + 7*q**2 + 6*q + 3. Suppose 7*c = 4*c - 18. Let l be j(c). Suppose -l*r = -4*k - 13, -6*r + 30 = -2*r + k. Put -4, r, -2 in descending order.
r, -2, -4
Let f = -0.96 + -0.04. Let v = -3.98 - 0.02. Let h be (-3)/2*(-24)/90. Sort h, f, v.
v, f, h
Let u = 9 + -2. Let s be (-9 + 535/60)/((-10)/(-16)). Put u, -0.1, s in descending order.
u, -0.1, s
Let s = -0.11 - -0.31. Let a be 3/6 + 18/4. Sort 2, a, s in increasing order.
s, 2, a
Suppose 0 = v - 2*v + 5. Let h = v - 1. Suppose 0 = -2*u + 7*u - h*r + 17, -4*r + 12 = 0. Sort u, 3, -4 in ascending order.
-4, u, 3
Let r = -0.09 + 5.09. Let y = r + -10. Sort 0.4, y, -2/15.
y, -2/15, 0.4
Let g = 0.3 - 1.3. Let x = -0.42 + 0.02. Let w be 15/(-12)*1/5. Sort x, w, g in increasing order.
g, x, w
Suppose -g + 3*k = 6, 3*k = -g + 1 + 5. Let c = 5 - g. Put -4, c, 1 in decreasing order.
c, 1, -4
Suppose 3*q + 2*d = -101, -3*d + 85 = -4*q - 44. Let w be (-1)/3 + 154/q. Put w, -4, 1 in ascending order.
w, -4, 1
Suppose 0*k = -5*k + 10. Let u be 20/(-5) - -1*k. Sort 3/2, 0.3, u in decreasing order.
3/2, 0.3, u
Let g be (-7)/(-5) - 4/10. Sort 5, -5, g in descending order.
5, g, -5
Let q(p) = 3 - 5*p + p + 3*p. Let m be q(7). Let x = 2.4 - 2.1. Sort m, x, 4 in ascending order.
m, x, 4
Let g = -18.23 - -18. Let m = -0.07 + g. Sort m, -1/4, 1 in increasing order.
m, -1/4, 1
Let v = -5.159 + 0.059. Let g = v - -0.1. Let o = 16 - 50/3. Put g, 1/5, o in decreasing order.
1/5, o, g
Suppose 0 = f - 3*f. Let y = -0.03 - 0.77. Let p = -0.7 - y. Put f, 0.5, p in decreasing order.
0.5, p, f
Let l be 0/(-2) + 1 + 0. Let s(i) = i**2 - 7*i + 4. Let r be 38/6 - (-4)/(-12). Let v be s(r). Sort v, 0, l in decreasing order.
l, 0, v
Suppose -6*v + 12 = -2*v. Let h be -2 - (-11 + -2 + 0). Let n = h + -7. Sort -5, v, n.
-5, v, n
Let u = -20 - -20.2. Sort u, 0, -4 in decreasing order.
u, 0, -4
Let d = 8 - -3. Let x = d - 4. Suppose 0 = -3*i + x - 22. Put -2, 3, i in decreasing order.
3, -2, i
Let y = -16 + 15. Sort 5, -3, y in ascending order.
-3, y, 5
Let m = -13.1 - -14. Let w = m - -1.1. Sort w, 0.3, -4 in decreasing order.
w, 0.3, -4
Suppose -3*y = 5 - 14. Let o = 0.4 - 0.4. Put 1, o, y in decreasing order.
y, 1, o
Let n = -16 + 11. Let p be 5/(-4) + (-2)/(-8). Let g be p + -2 + (2 - 0). Put 3, g, n in increasing order.
n, g, 3
Let t = 76 + -534/7. Put t, 10, 1 in decreasing order.
10, 1, t
Let w be (-2152)/2168 - 2/(-2). Put 0, 1, w in increasing order.
0, w, 1
Let r be (-1)/(-2)*-2 - (-4 + 2). Sort -3, r, 5, -5 in descending order.
5, r, -3, -5
Let f be (4 + 160/(-36))/2. Sort f, -1/3, 5.
-1/3, f, 5
Let u be ((-8)/12)/((-2)/9). Suppose -26 = f + 4*f - 4*v, -v = 4*f + 4. Suppose -5*y - 10 = 0, 2*y = -4*m - 2*y - 20. Sort m, u, f in increasing order.
m, f, u
Suppose 4*v + 21 - 1 = 0. Let k = 46 - 46. Put k, 2, v in descending order.
2, k, v
Let v = 59 - 54. Sort v, 7, -0.1, -3 in decreasing order.
7, v, -0.1, -3
Let v(o) = o + 7. Let q be v(-3). Let y be (0 + 1)/(-1) - -1. Let d = q + y. Sort d, 1/3, 