(-2). Sort -0.2, 1, z.
-0.2, z, 1
Suppose 0 = -4*h + 5*h - 1. Sort 1/3, h, -5/6 in decreasing order.
h, 1/3, -5/6
Let u = 0.2 + 1.8. Let a = u - -2. Sort a, 5, -3/2 in decreasing order.
5, a, -3/2
Let s be (-799)/85 - (-6)/(-10). Let j be ((-1)/((-4)/8))/s. Let z = -3.91 + -0.09. Sort z, j, -1.
z, -1, j
Let q be ((-6)/(-33))/((-140)/457). Let c be (-2)/(-307 + -1) - 0. Let d = c - q. Sort d, 5, -0.2 in descending order.
5, d, -0.2
Suppose 2*r + 3*r - 3*g + 17 = 0, -4*r = g. Let d be -2 + (4/4)/r. Sort -0.1, d, 1/2 in descending order.
1/2, -0.1, d
Let z = 1.2 + -1.6. Sort z, 0.08, 0.4.
z, 0.08, 0.4
Let r = -1.8 + 2. Let u = r + -0.7. Put -3, u, -4 in decreasing order.
u, -3, -4
Let w = -78 - -80. Let o be 2/8 + (-1)/4. Sort o, 3/7, w in descending order.
w, 3/7, o
Let g be (-15)/(-1) - -3 - 2. Suppose -6*d + 2*d = g. Let h be -1 + (0/(-1))/(-2). Sort h, -3, d.
d, -3, h
Let y = -30 - -37. Put y, -5, -1, -1/3 in descending order.
y, -1/3, -1, -5
Suppose 0 = -y + 3*m + 18, 2*y - m = 3*m + 26. Let r(o) = -4*o**2 - 2*o + 1. Let h be r(1). Sort 1, h, y in decreasing order.
y, 1, h
Let a = -2 + 0.4. Let u = a - 2.4. Sort u, -2/9, 0.2 in decreasing order.
0.2, -2/9, u
Let v = 0.3 + -1.3. Let b = 1 - v. Let s = -2 + 1.5. Put -0.3, s, b in descending order.
b, -0.3, s
Let v be -7 - (8 - 15) - (-4)/3. Put v, 1/7, 8/5 in descending order.
8/5, v, 1/7
Let i(n) = -n**3 + 2*n**2 + n - 1. Let d be i(1). Sort 0, d, 4 in decreasing order.
4, d, 0
Suppose 5*b - 14 = -0*b - o, 4*o - 8 = -4*b. Sort -5, b, -2 in increasing order.
-5, -2, b
Suppose -20*v - 4 = -16*v. Sort 7, v, 5 in increasing order.
v, 5, 7
Let t = 13 + -8. Let v = 9 - t. Sort -5, v, -3.
-5, -3, v
Let b = 11 + -10. Let f(s) = -3*s. Let x be f(b). Sort 4, -2, x.
x, -2, 4
Let g(x) = x**3 - x**2 - 5*x + 2. Let c be g(3). Suppose -c*o + 7 = 32. Let z = -13 - -9. Put z, o, 5 in increasing order.
o, z, 5
Suppose m + 3*p - 16 = -3*m, -3*m + 4*p - 13 = 0. Suppose -m = 3*w - 19. Suppose x = w*x. Sort 3, x, -5 in ascending order.
-5, x, 3
Let q = 0.812 + 0.188. Sort 0.6, 4, 10, q in decreasing order.
10, 4, q, 0.6
Let n = -1.5 + 2.5. Sort n, -1, 0.
-1, 0, n
Let t = 53 + -479/9. Let f = -6 + 7. Sort t, -2, f in ascending order.
-2, t, f
Let k = 36 + -23. Sort 2, -5, k in increasing order.
-5, 2, k
Let i(u) = -u**2 + 4*u - 3. Let n be i(3). Suppose -26 = 5*l - 4*j + 11, -3*l + 3*j - 21 = n. Sort l, -3, 1 in increasing order.
l, -3, 1
Let i = -8 - -7. Sort i, -4, -5 in decreasing order.
i, -4, -5
Suppose 3*k + 0*k - 4*n = -27, 2*k + 3*n + 1 = 0. Suppose -g + 30 = g. Suppose 0 = -0*u - 3*u + g. Sort u, -1, k in decreasing order.
u, -1, k
Suppose 3*w = 2*w + 4*v + 7, -2 = 2*v. Suppose -z - 3*u + 4*u = 1, -1 = -u. Suppose 4*t - 2*t + 6 = 0. Sort z, w, t in ascending order.
t, z, w
Let y(m) = -m**3 + 2*m**2 - m + 1. Let c be y(2). Let n be (-1)/(-1 + 2/3). Put 5, n, c in increasing order.
c, n, 5
Let v be ((-12)/(-14))/(18/(-28)). Put 5, v, 4 in decreasing order.
5, 4, v
Suppose -5*v - 2*m + 30 = 0, 0 = -5*v + 2*m + 6 + 4. Suppose 5*i + 0*i = -20. Put i, v, -2 in ascending order.
i, -2, v
Suppose -1 = -2*s - 5. Sort -0.3, s, -3 in increasing order.
-3, s, -0.3
Let u = -7 - -7.4. Sort 2, u, 4 in ascending order.
u, 2, 4
Let m be 160/(-50) - (6/(-10))/3. Let x be 2/(-8) + 17/4. Suppose -x*n - n = -15. Sort -4, m, n.
-4, m, n
Suppose -3*t - 3*i - 3 = 2*t, 2*t + 4*i = -4. Put -0.04, -1, t in decreasing order.
t, -0.04, -1
Let a(b) = 6*b**2 - b - 2. Let c be a(-1). Put -1, 0, c in decreasing order.
c, 0, -1
Let a = -5.4 + 5. Let o = -5 + 5.3. Sort o, a, -5 in ascending order.
-5, a, o
Let s be (40/(-12) - -5)/((-2)/(-6)). Let j(y) = y**3 + 2*y**2 + 4*y + 2. Let r be j(-2). Put r, -4, s in decreasing order.
s, -4, r
Let v = 160 - 157. Sort -13, v, -2.
-13, -2, v
Let m be -5*1*(-4)/(-10). Let o(i) = -i**3 - 8*i**2 + 2*i + 11. Let p be o(-8). Suppose w - 15 = 5*r - 3*w, r + w + 3 = 0. Sort p, m, r in decreasing order.
m, r, p
Let w be (-15)/13 + 3/3. Let h be 2/(-6)*(-36)/(-22). Let n = 5 + -3. Sort n, w, h in decreasing order.
n, w, h
Let a be 1*4*39/(-52). Sort a, -6, 0 in descending order.
0, a, -6
Suppose -4*w - 20 = 5*g, -35 = 5*g - 3*w - 15. Sort 1, -3, g.
g, -3, 1
Let w = -0.75 + 0.35. Sort w, -0.1, 0.3, 2.
w, -0.1, 0.3, 2
Suppose 2 = b - 5*b + 2*m, 12 = -4*m. Put b, -9, -5 in descending order.
b, -5, -9
Suppose -4*b + 24 = -2*c, -4*c + 32 = 3*b - 2*c. Let j be (b + 2/(-1))/(-2). Let u(s) = -s**2 - 6*s + 3. Let q be u(-7). Sort j, q, 2 in descending order.
2, j, q
Let r = 0.6 - 1.1. Sort r, -5, 2 in decreasing order.
2, r, -5
Let n = 4.4 + -4. Let x = 0 + n. Let t = 40 + -277/7. Sort 1/7, t, x in increasing order.
1/7, x, t
Suppose 0*s - 2*s = -6. Let g = 257 - 259. Put 0, s, g in descending order.
s, 0, g
Let h(d) = -d + 10. Let p be h(7). Put p, -2, 4 in decreasing order.
4, p, -2
Let h(m) = -2*m - 20. Let p(k) = k + 10. Let b(q) = 3*h(q) + 7*p(q). Let x be b(-9). Let g be 8 + -8 - (-10)/(-2). Put g, x, -1 in increasing order.
g, -1, x
Let p = 7 + -4. Let o(h) = -h**3 - 4*h**2 - 2*h + 1. Let n be o(-3). Suppose 2 = 4*a + 6. Put p, a, n in increasing order.
n, a, p
Suppose -5 = 2*u - u. Let d = -8 + 4. Sort d, u, -1 in ascending order.
u, d, -1
Let t be (-28)/16 + (-1)/4. Let u be (-3)/(t/((-4)/3)). Put 3, u, 5 in descending order.
5, 3, u
Let s be 4/(-10) - 34/(-10). Put 0, 4, s in decreasing order.
4, s, 0
Let o = 1.09 - 0.09. Let d = -2 - o. Sort d, -0.5, 5.
d, -0.5, 5
Let r = 24 + -49/2. Let d = -2.06 - -0.06. Put -3/4, r, d in increasing order.
d, -3/4, r
Let f = -118 - -113. Sort -0.5, f, -2/29.
f, -0.5, -2/29
Suppose 5*s - 10 = -0. Let f = -5 + s. Sort 0, f, -2.
f, -2, 0
Let y be 4/18 - (-8)/(-36). Let v be (1 + y)*(-102)/(-6). Sort -5, v, -0.4 in increasing order.
-5, -0.4, v
Let t = 47 - 47.29. Let u = 0.01 - t. Let z = 4.3 - u. Put -3, z, 3 in increasing order.
-3, 3, z
Let c be 2076/(-72) - (-2)/(-12). Sort 4, 3, -5, c in ascending order.
c, -5, 3, 4
Suppose -4*o + 28 = -4*r, 5*r + 22 = 2*o + 2. Sort r, -3, 4 in decreasing order.
4, r, -3
Let w = 2 - -2. Let g be w/14 - 9/252. Sort 3/5, g, 2/5.
g, 2/5, 3/5
Suppose 2*x = 3*x - 5*x. Put -1/3, -5, x, 13 in decreasing order.
13, x, -1/3, -5
Let a = -124404/55 + 2262. Let w = a + 92/165. Let t = 1.43 - 1.4. Put t, w, 1/6 in ascending order.
t, 1/6, w
Let d be (-4)/(-18) - (-11)/(-9). Put -5, d, -4 in increasing order.
-5, -4, d
Let q be 2/4 + 0*(-3)/12. Put 1, -2/7, q, 0.3 in decreasing order.
1, q, 0.3, -2/7
Let w be -1 - -3 - 2*3. Suppose 0 = -5*i - 0*i. Let p = i + -2. Put w, p, 1 in decreasing order.
1, p, w
Let k(h) = -h + 9. Let m be k(10). Let y = 14 + -17. Put m, 4, y in increasing order.
y, m, 4
Let m(i) = -4*i - 9. Let n be m(-2). Sort 3, -0.4, n in descending order.
3, -0.4, n
Let k = 34 - 34. Put -4, k, 4 in descending order.
4, k, -4
Let i = 319/5 + -64. Put 1.7, i, 2 in decreasing order.
2, 1.7, i
Suppose -27 = -5*l + 13. Let s be 13/(-3) - l/12. Let x(o) = -o + 4. Let p be x(4). Sort p, s, 4 in descending order.
4, p, s
Let a be (-3)/12 + 22/(-8). Let b = 0.26 - -3.74. Let z = -0.2 + -0.8. Put a, z, b in descending order.
b, z, a
Let h = 6 - 7. Let f(b) = -10*b - 2. Let a be f(-2). Suppose a = -t - 3*t + 2*n, -n = 5*t + 26. Sort 4, t, h.
t, h, 4
Let z = -7 - -6.9. Let g = -108 + 429/4. Let l = -0.98 - 0.02. Sort g, z, l in decreasing order.
z, g, l
Let d be (-1)/(-8) + (-226)/16. Put d, -5, 5 in decreasing order.
5, -5, d
Let v = 0.12 - -0.88. Let i = 5 + -18. Let p = -9 - i. Sort p, v, -0.1 in descending order.
p, v, -0.1
Let f(r) = 3*r**3 + r - r + 0*r - 1. Let m be f(1). Sort -5, m, -4 in ascending order.
-5, -4, m
Let b(r) = r**2 - 10*r - 1. Let k be b(10). Sort -5, 2, k.
-5, k, 2
Let p = -17/27 + -1/27. Put -1/3, -2, p in descending order.
-1/3, p, -2
Let r = 0.02 - 1.02. Let c = -0.5 - -0.64. Let g = 0.04 - c. Put g, r, 0.2 in increasing order.
r, g, 0.2
Let t be (-1)/2 + (-39)/30. Sort -0.2, 5, t, -2 in decreasing order.
5, -0.2, t, -2
Let c be 3/(-6) + (-12)/(-8). Sort c, 0.2, -3 in decreasing order.
c, 0.2, -3
Let k = -1.6 - -1.3. Let l(v) = -v. Let j be l(0). Sort k, -6, j in descending order.
j, k, -6
Let v = -10 + 11. Put v, -1/4, 0.4 in ascending order.
-1/4, 0.4, v
Let f = 0.1 - -0.9. Let i = 415 - 419. Put f, i, -0.3 in decr