-4)). Put t, 2, -9 in ascending order.
-9, t, 2
Let s = -25.6 - -26. Let r = 0.8 + -4.8. Put 0.3, r, s in descending order.
s, 0.3, r
Let b = -1/15 - 1/10. Let j = 6.07 - 6. Let n = j + -0.07. Sort -2/9, b, n.
-2/9, b, n
Let p = -16114 - -97031/6. Let y = -58 + p. Put 1, y, -4 in ascending order.
-4, y, 1
Let s = 19 + -14. Let m = 0.01 + -0.31. Sort s, m, 4.
m, 4, s
Let p = 0 + 0.06. Sort 0.1, -1, 4, p in decreasing order.
4, 0.1, p, -1
Let c = -0.39 + -0.61. Let h = 453/11 + -41. Put h, 0, c in decreasing order.
h, 0, c
Let o = 1.6 - 2. Let f = 2 - 1.1. Let p = f + o. Put 0.1, -3/7, p in descending order.
p, 0.1, -3/7
Suppose 3*x - 2*x = 0. Suppose -9 = -5*p + 6. Sort x, 5, p in increasing order.
x, p, 5
Suppose -5*p + 3*s = 0, 3*s = 5*s. Put -13, 4, p in increasing order.
-13, p, 4
Let o be (-1)/(-2)*0/(-2). Let r be (-2)/(-4) + (-3)/(-10). Let n = 64 + -385/6. Sort n, o, r.
n, o, r
Suppose -r = m, 4*m - 4*r + 16 = -0*r. Sort -3, -4, m in increasing order.
-4, -3, m
Let t = 8 - 5. Let v(x) = -x**3 + 2*x**2 + 8*x - 16. Let q be v(3). Sort 4, q, t in decreasing order.
4, t, q
Let d = -313/3 + 104. Put -3/2, d, -0.9 in ascending order.
-3/2, -0.9, d
Let h = 64 - -86. Let s be (-4)/h*(7 + -12). Sort s, 0.1, -1 in ascending order.
-1, 0.1, s
Let k be (3/(-10))/((-3)/4). Let d = 0.7 - 1. Sort d, 0.3, k.
d, 0.3, k
Let u = 0.6 - 0.1. Let o = -979/7 - -140. Sort u, 2/3, o in decreasing order.
2/3, u, o
Let v be 6/80 + (-17)/85. Sort v, -3, 0 in ascending order.
-3, v, 0
Let h = 5 + -4. Let n(q) = 4*q**3 + 2*q**2 - q. Let r be n(h). Sort -2, r, 2 in descending order.
r, 2, -2
Suppose x = -4*r - 12, -2*r = -4*x - r - 48. Let q = x - -17. Let y be 0 + 3/(-3)*-1. Put -3, q, y in decreasing order.
q, y, -3
Let p = -32 - -46. Let g = p - 12. Sort -5, -2/5, g.
-5, -2/5, g
Suppose 31 = l + l + 3*h, 5*l - 75 = -5*h. Put -2, l, 1 in increasing order.
-2, 1, l
Suppose 0 = -4*x - 4*r + 4, r = -r - 2. Suppose -4*s = -x*s - 26. Suppose -5*p + 24 = -4*v, v + p = 4*p - s. Sort -4, 0, v.
-4, v, 0
Let c be -3*(7 + -9)*(-1)/(-3). Put c, -2, 0 in decreasing order.
c, 0, -2
Suppose 0 = -127*s + 19*s. Suppose 0*i - 9 = 3*i. Let a be (4/6)/((-2)/12). Sort a, i, s in descending order.
s, i, a
Let b = 16 + -7. Let m = -6 + b. Put m, 5, -2 in descending order.
5, m, -2
Let u = -5 - -9. Sort 0.4, u, -3/5 in ascending order.
-3/5, 0.4, u
Let g(o) = -o - 5. Let q be g(-8). Suppose 5*z = -10, 5*z + 25 = -5*r - 0*z. Put -2, q, r in ascending order.
r, -2, q
Let d(c) = 2*c**2 - 3*c - 4. Let u be d(3). Sort -1, -6, u in decreasing order.
u, -1, -6
Let d = -5.26 + 0.26. Let v be -3 + (-1)/((-8)/18). Sort d, 0.1, v in decreasing order.
0.1, v, d
Suppose -3*g - 2*g = 0. Sort 0.5, 5, g in increasing order.
g, 0.5, 5
Let d = -2.4 - -2. Sort -1/4, d, 2 in increasing order.
d, -1/4, 2
Let o be 2*2/(-2) + 0. Let p(c) = c + 2. Let u = -1 + -1. Let b be p(u). Sort -5, o, b in decreasing order.
b, o, -5
Let y = -27 + 16. Let c = y - -11.5. Put -2/15, 2, c in increasing order.
-2/15, c, 2
Suppose -29 = 2*v - 3*o, -2*v + 5*v = -o - 27. Put v, 1, -3 in increasing order.
v, -3, 1
Let z be ((-15)/2)/(-5)*2. Put z, -2, 5 in increasing order.
-2, z, 5
Let i = 0.25 + -5.25. Sort 1/3, 4/5, i in ascending order.
i, 1/3, 4/5
Suppose -13 = -3*v - 4. Let w = v + 2. Put -2/3, -3/7, w in increasing order.
-2/3, -3/7, w
Suppose -3*i + w + 0*w + 10 = 0, 3*w = -4*i - 4. Put -1, i, 3 in descending order.
3, i, -1
Let y = -4 + -1. Sort 1, 4, y in descending order.
4, 1, y
Let v be 0/1 - (-4 + 0). Sort v, 2, -4.
-4, 2, v
Let n(v) = -v**3 - 15*v**2 - 2*v - 32. Let l be n(-15). Sort l, -1, 5 in descending order.
5, -1, l
Suppose -3*y - 2*z = -15, 0 = 2*y + 3*z - 12 + 2. Let j = -105 + 103. Suppose -4*h + 0*h = -4. Put h, y, j in descending order.
y, h, j
Let o = -0.8 - 2.2. Sort 4, o, -0.5.
o, -0.5, 4
Let a = 42 - 37. Put -1, -2, a, 2 in decreasing order.
a, 2, -1, -2
Let s be ((-3)/63)/(1/(-6)). Put 4, -0.3, s in descending order.
4, s, -0.3
Let w = 12 + -12. Suppose -5*v - 9 = 1. Put v, w, -4 in increasing order.
-4, v, w
Suppose 0 = -3*s + s - 14. Let b be -3*(3 + 80/(-24)). Sort b, 0, s in decreasing order.
b, 0, s
Let k = 15.3 + -17. Let a = -1.2 - k. Sort a, 0, -0.3 in ascending order.
-0.3, 0, a
Let g = -2 + 4. Let k be (-33)/(-11) + 0 + -3. Put 5, g, k in decreasing order.
5, g, k
Suppose r - 6*k + 15 = -2*k, 3*r = 3*k. Suppose -r*o + 3*u + 10 = 4*u, -2*u = -10. Sort -4, o, 3.
-4, o, 3
Let z be 24/(-36)*15/(-2). Sort -3, -5, z, 3.
-5, -3, 3, z
Let g be (-6)/2 - (-1 + 3). Suppose 0 = -2*f - f + 15. Sort g, 2, f in decreasing order.
f, 2, g
Let g(o) = 2*o**2 - 5*o - 4. Let b be g(4). Sort -4, b, 4 in decreasing order.
b, 4, -4
Let m = -9 - -13. Sort 2, -8, m in decreasing order.
m, 2, -8
Let v be ((-30)/(-8))/((-2)/(-8)). Let w = v + -11. Sort 1, 3, w.
1, 3, w
Let x = 0 - -0.2. Let t be 7585/(-10060) + (-3)/(-4). Let b = t - 980/6539. Sort 0, x, b in increasing order.
b, 0, x
Suppose 2*t - 2 = 2. Suppose 4*s = -x + 8, -t*x = 4*s + x. Let z(c) = -c + 2. Let y be z(6). Put s, y, 1 in descending order.
s, 1, y
Let f = 94 - 94. Sort 4, f, 3, -2/11.
-2/11, f, 3, 4
Let c = -0.31 + 0.21. Let t = -0.03 - 1.97. Sort t, -5, c in ascending order.
-5, t, c
Suppose 0 = 2*g - 7*g - s - 5, 0 = -5*s. Put -2, 1, g in decreasing order.
1, g, -2
Let q be (-8)/16 - 2/(-5). Put q, -1/5, 0.4 in increasing order.
-1/5, q, 0.4
Let z be (-1086)/(-56) - (0 - -1). Let b = z + 33/14. Let r = -21 + b. Sort 1, -0.1, r in decreasing order.
1, -0.1, r
Suppose d - 10 = -2*f - 0*f, -5*d + 4*f = 6. Suppose -3*s + 8 = -4*r + s, 24 = -5*r - d*s. Sort -0.3, 3, r in decreasing order.
3, -0.3, r
Let v = -0.31 + 0.01. Let y = v + 5.3. Let n = 29/9 + -3. Put y, n, 1 in increasing order.
n, 1, y
Suppose 3*r = -0*r - 15. Suppose 2*s = 4*s + 44. Let t = 22 + s. Put r, t, -2 in ascending order.
r, -2, t
Suppose 0 = -2*j + 7*j - 45. Suppose y - 2*p + 2 = 0, 2*y = -0*y + 5*p - 7. Let b = j - y. Sort 0, b, 3 in ascending order.
0, 3, b
Let b = 39 + -39. Put 0.5, 0.2, b in ascending order.
b, 0.2, 0.5
Let b = 17.3 + -17.5. Put b, -5, -1, 0.5 in descending order.
0.5, b, -1, -5
Let i = 6.04 + -0.04. Let w = -11 + i. Suppose 0 = -2*m + 5*m. Put w, -1/3, m in ascending order.
w, -1/3, m
Let p = -0.215 + 2.985. Let f = -0.23 - p. Put f, -2/13, -5 in decreasing order.
-2/13, f, -5
Let z = 6.96 + -7. Let v = 0.44 + z. Let y = 3 + -2.9. Sort v, -5, y in ascending order.
-5, y, v
Let b be ((-11)/(-44))/((-2)/(-16)). Sort -5, -6, b.
-6, -5, b
Let r(j) = j**2 - j + 8. Let d be r(0). Let c = 8 - d. Sort c, 5, -2 in decreasing order.
5, c, -2
Let l(c) = -c**2 - 4*c - 4. Let q be l(-3). Let o = -1 - q. Suppose -6 = -o*h - 2*h. Sort h, 0, -3.
-3, 0, h
Suppose 5*v + 14 = -1. Let b be 0/((-9*1)/3). Let p = -6 + 2. Sort v, b, p in decreasing order.
b, v, p
Let c(s) = -s + 10. Let a be c(9). Let z be 0 + (-2 - (-22 - 0)). Let v be 17/(-4) + (-15)/z. Put -1, a, v in increasing order.
v, -1, a
Suppose -4*n = -4*z - z + 7, 0 = -5*z - 5*n - 20. Let s be 1 + -2 + (0 - -4). Suppose -2*h - 22 = 3*k, -5*k + 10*k + 25 = -h. Put k, s, z in decreasing order.
s, z, k
Suppose -3*m + 9 = 3*w + 2*w, 2*w = -3*m + 9. Suppose w = -6*n + 4*n - 2. Let b be n/(-1*(-2 + 1)). Sort 5, b, -3.
-3, b, 5
Suppose -4*v + 3 + 1 = 0. Let y(u) = 2*u**2 - 6*u. Let g be y(4). Put -4, g, v in ascending order.
-4, v, g
Suppose -1 = -12*z + 11*z. Put -4, z, -5 in ascending order.
-5, -4, z
Let t be 3 - -1*(-4 - -1). Let j = -21 + 20. Sort j, t, -2/17 in decreasing order.
t, -2/17, j
Let g = 4 + -3. Let h be -1 - (-1)/(g/1). Sort h, -4, -1 in increasing order.
-4, -1, h
Suppose 4*a - 2*a - 5*f = 2, -3*a = -f - 3. Suppose 2 + 2 = -4*y. Put y, a, -4 in increasing order.
-4, y, a
Let m(q) = -q**3 + 9*q**2 - 4. Suppose 2*g - 15 = 3. Let y be m(g). Suppose 7 = 3*o - 8. Sort 1, o, y in decreasing order.
o, 1, y
Let y = 6.5 + -7. Put y, -2, -5 in decreasing order.
y, -2, -5
Let w = -17/93 + 1/62. Put 5, -4, w in descending order.
5, w, -4
Let k be 1/6 + -23 + 23. Suppose 2*o - 1 = 5*q + 4, 5*q + 5 = -3*o. Put q, k, -2 in ascending order.
-2, q, k
Suppose -4*k + 2 = -18. Sort k, -5, 1 in descending order.
k, 1, -5
Let a = 0 - -1. Suppose -s = -0*s. Suppose 0 = -4*n - s*n. Put a, n, -2 in decreasing order.
a, n, -2
Let