 x = w + -5.01. Let q be (-4)/9*(15 + -12). Sort 1, q, x.
x, q, 1
Let t = 0 + -6. Let v = t - -6. Put v, 1/9, 1/5 in decreasing order.
1/5, 1/9, v
Suppose -4*u + 24 = -2*o, -4*o + 5*o = 5*u - 24. Let j be (-24)/63 + o/14. Sort 1/9, 1/4, j in ascending order.
j, 1/9, 1/4
Suppose 1 = x + 6. Sort 3, x, -4 in increasing order.
x, -4, 3
Let p be 1*(0 - 1)*-6. Suppose -4*i + 2 = 3*d, -p*i + i = -d + 7. Let k = -8 + 5. Sort 5, k, i.
k, i, 5
Let c be (8/(-20))/(2/(-20)). Suppose 4*w + 2*r = -c, 0 = -3*w + 5*r + 1 + 9. Let z = w - -1. Sort -3, 2, z in decreasing order.
2, z, -3
Let x be 34/60 + 4/(-10). Let p = 293 - 298. Sort p, x, -1 in decreasing order.
x, -1, p
Let n = 2 - 2.1. Let j = -0.1 + n. Sort j, 4, -0.03.
j, -0.03, 4
Suppose 2*z - 4*z + 18 = 4*h, -16 = -4*z - 3*h. Suppose 2*j - 14 = -2*p, -3*p + 4*j + 8 = 1. Let m = p + -5. Put m, z, 4 in increasing order.
m, z, 4
Let j = 17 + -15. Put -0.3, j, 0.3 in ascending order.
-0.3, 0.3, j
Let q = -7 - -6.6. Put q, 3/5, -0.3 in descending order.
3/5, -0.3, q
Let m(t) = 2*t - 19. Let b be m(8). Sort 5, b, 9 in ascending order.
b, 5, 9
Let b = -4 - 4. Let f = b + 8.6. Let q = 5.6 - f. Put q, 1, -2 in ascending order.
-2, 1, q
Let z = -3 + 3. Sort -4, 6, z in descending order.
6, z, -4
Let j(c) = 2*c**3 - 3*c**2 + 3*c - 5. Let p be j(2). Let h(r) = r**3 - 8*r**2 - r + 8. Let i be h(8). Put -5, p, i in ascending order.
-5, i, p
Suppose 0*w + 2*w = 10. Suppose -4*o = -4*v + 20, w*o = -3*v - 3 - 6. Let z be 2/(-8) + 52/16. Put z, v, -5 in descending order.
z, v, -5
Let w = -36.09 + 39.9. Let n = -0.21 + w. Let m = n - 0.6. Put -2/9, m, -2/3 in descending order.
m, -2/9, -2/3
Suppose -4 + 0 = -2*s. Let a be s/(-20)*30/(-8). Let p = 2 + -2. Put 0.4, p, a in ascending order.
p, a, 0.4
Let d be -1 - -3 - (-2 + -1). Let m(f) = -f**2 + 6*f - 5. Let n be m(d). Suppose -10*w + 5*w + 10 = n. Sort w, -3, -1 in decreasing order.
w, -1, -3
Suppose -3*v + 2*v = -6. Let t be (-15)/21*v/10. Sort -0.3, t, 2/5.
t, -0.3, 2/5
Let x = 33 - 37. Sort 1, 2, x in ascending order.
x, 1, 2
Let p be (0 + -1)/(2/4). Let w(o) = 2*o + 3. Let a be w(p). Put a, 3, 2 in increasing order.
a, 2, 3
Suppose -r = -2*g - 9, 21 + 1 = -5*g + 2*r. Sort 0, g, 3.
g, 0, 3
Let r be (-6)/33 - (27/33 - -2). Sort r, 6, -1.
r, -1, 6
Let k = -12.6 + 7. Let s = 6 + k. Put 2, s, -0.2 in descending order.
2, s, -0.2
Let a = -19.14 - -1.74. Let v = -17 - a. Put v, 0, -3 in descending order.
v, 0, -3
Suppose 7 = 3*m + 3*y - 17, 3*m - y - 8 = 0. Let c(o) = -o**2 + 6*o - 4. Let f be c(5). Let h = f - -2. Put m, -3, h in decreasing order.
m, h, -3
Let f = -5 + 10. Let s = -11 - -7. Let v = 2 + -2. Sort f, v, s in decreasing order.
f, v, s
Let f(m) = -m**2 + 7*m + 10. Suppose -6 - 10 = -2*s. Let j be f(s). Let v = -0.11 - 0.09. Put v, 0, j in decreasing order.
j, 0, v
Suppose 0 = -4*y - 0 - 4. Let l = 1 + -4. Put y, l, -2 in decreasing order.
y, -2, l
Let h(b) = b**2 - 10*b + 11. Let g be h(9). Sort 4, -7, 5, g in descending order.
5, 4, g, -7
Suppose 0*g = g + 3*a - 16, 0 = -4*g + a + 12. Let p(n) = n + 9. Let r be p(-4). Let q = g - r. Put q, -3, -5 in ascending order.
-5, -3, q
Let j = 0 - 4.5. Let i = j + -0.5. Sort i, -0.1, 0.04 in ascending order.
i, -0.1, 0.04
Let v(y) = y**3 - y**2 + 2*y - 6. Suppose 2*j = 5*j. Let x be v(j). Sort x, 2, -1 in increasing order.
x, -1, 2
Suppose -q - 2*v + 33 = 4*q, 0 = -5*v + 20. Suppose -q*o = -o. Put o, 3, 1 in descending order.
3, 1, o
Let k be -4 - -1 - ((-3)/(-3) - 1). Suppose f = -2*f - x - 18, -2*x = 3*f + 21. Put 5, f, k in increasing order.
f, k, 5
Let q(n) be the first derivative of -n**4/4 + 4*n**3/3 - n**2 - 4*n + 2. Let j be q(3). Sort j, 2, -4 in ascending order.
-4, j, 2
Let w = -182/9 + 20. Sort 4, 5, w in descending order.
5, 4, w
Let d(p) = -2*p - 14. Let s be d(-7). Put 0.1, -0.3, s, -1/8 in increasing order.
-0.3, -1/8, s, 0.1
Let t(x) = -x**2 + 11*x - 8. Let j be t(10). Let f = -3 - -2. Sort f, -3, j.
-3, f, j
Let j be (-2 - -1) + 2 - 0. Let g be 1/(j*3/(-12)). Let p(v) = v**2 + 6*v - 5. Let k be p(-6). Put k, g, -1 in descending order.
-1, g, k
Suppose 4 = -s - 12. Let a = 15 + s. Let r(x) = -x**2 - 5*x + 1. Let l be r(-5). Sort l, -2, a.
-2, a, l
Suppose -22 - 23 = -5*x. Suppose -w - x = -2*b, -2*b - 3 = 4*w + b. Put -1, -4, w in increasing order.
-4, w, -1
Let c = -8 + 7. Suppose g - 6 - 1 = -5*i, 0 = 5*i + 4*g - 13. Put i, 2, c in increasing order.
c, i, 2
Let g = 15 + -14. Sort 1/5, g, 4/5 in increasing order.
1/5, 4/5, g
Suppose -4*d + 40 = -3*l + d, -2*d + 35 = -5*l. Put 2, l, 3 in descending order.
3, 2, l
Let s = 6 - 5.88. Let k = 4.88 + s. Suppose -4*d = -3*q - 11, -2*q + q = -4*d + 1. Sort q, k, 4/3 in ascending order.
q, 4/3, k
Let z(j) = j**3 - 14*j**2 + 14*j - 6. Let c be z(13). Let w be 74/(-14) - (-2)/c. Let x be ((-2)/(-4)*2)/1. Sort x, w, 2 in descending order.
2, x, w
Let i(b) = 2*b**2 + 1. Let k be i(-1). Suppose 2*q - 4 = 2*l - 3*l, -l - 21 = -3*q. Let t = -7 - l. Put k, -5, t in decreasing order.
k, t, -5
Let b(c) = -c**2 - c + 1. Let l be b(1). Sort -5, l, -35 in decreasing order.
l, -5, -35
Let g = -0.67 + 0.27. Sort g, -9, 4/3, 2.
-9, g, 4/3, 2
Let z = 76 + -75. Put 5, 0, z, 3 in ascending order.
0, z, 3, 5
Let c = -4.6 + 5. Let g = 139 + -144.9. Let p = 6 + g. Sort -0.3, p, c in increasing order.
-0.3, p, c
Suppose 5 = 5*v - 4*d + 14, 7 = -2*v + 5*d. Let z be ((-6)/8)/(v/4). Let g be 4/12 + 2/(-6). Sort 4, g, z in decreasing order.
4, z, g
Let s be 16/(-114)*((-27)/(-4))/(-9). Sort 1, 2, -4, s in increasing order.
-4, s, 1, 2
Let o = 6 - 5. Suppose 6*u = 5*u - o. Put 1, u, -3 in increasing order.
-3, u, 1
Suppose -c = 4*c - 5*g - 90, -4*c + 5*g = -77. Let t = c - 10. Put -1, t, 1 in ascending order.
-1, 1, t
Let w = -0.05 + 0.14. Let j = w + -0.39. Let v = -3 - -3.5. Put v, 0, j in descending order.
v, 0, j
Suppose 4 = 44*r - 48*r. Put 10, 2, r in ascending order.
r, 2, 10
Let y(j) = -j**2 - 8*j + 3. Let p be y(-8). Suppose p*o + 5 - 17 = 0. Sort o, 0.1, -2 in descending order.
o, 0.1, -2
Let a = 0.24 + 0.31. Let c = 0.2 - 0.25. Let q = c + a. Sort q, -3/4, 0 in decreasing order.
q, 0, -3/4
Suppose -19 = -4*t - 39. Suppose 0*c = -4*c - 4. Sort c, t, 0.
t, c, 0
Let z = -10/9823 - 3917077/2259290. Let b = z - 3/46. Let o be 4/7 - (1 - 0). Sort o, b, -0.5 in decreasing order.
o, -0.5, b
Suppose -a = a - 26. Sort 2/9, -4, a.
-4, 2/9, a
Suppose 0 = u - 3 + 4. Let a = -47 + 43. Let h = 4 + -7. Put a, h, u in ascending order.
a, h, u
Let f(d) = d**2 - 11*d + 14. Let q be f(10). Put q, -3, 8 in ascending order.
-3, q, 8
Let f(y) = -y + 1. Let c be f(-4). Sort c, -3, 4.
-3, 4, c
Suppose -5*u + 12 = -8. Suppose -h - 2*i = -10, u*i + 0 + 50 = 5*h. Suppose -4*v = -5*g + 12, v + 4*v - 5*g + h = 0. Put -5, 1, v in ascending order.
-5, 1, v
Let f = -2.7 - -0.7. Sort -0.2, 0.3, f, -4/7.
f, -4/7, -0.2, 0.3
Let t be (1/2)/((-1)/(-2)). Suppose 19 = -4*m - t. Let n(b) = 3*b + 2. Let x be n(-2). Sort x, 3, m.
m, x, 3
Let i be 2/((-2)/(2 - 1)). Let b(t) = -29*t**3 - t**2 - t + 1. Let u be b(1). Let q be 2/3 + u/(-9). Sort -2, q, i in descending order.
q, i, -2
Let c = 0.7 - -0.3. Let d = c + 4. Let r = -7 + d. Sort -0.3, 0.5, r in ascending order.
r, -0.3, 0.5
Let p be (-1 - 28/(-36)) + (-3)/27. Put -0.5, -5, p, -0.4 in decreasing order.
p, -0.4, -0.5, -5
Let z be ((-4)/10)/((-1)/10). Put z, -4, -9 in descending order.
z, -4, -9
Let n = -15 - -12. Let m = 53 - 58.4. Let d = m - -5. Sort n, d, -1.
n, -1, d
Suppose -b + 0 + 5 = 0. Let r = -77.8 + 85. Let n = -7 + r. Put n, b, -0.2 in descending order.
b, n, -0.2
Let a = 0.4 - 0.3. Let p = -4.4 - -4. Let f = -3.96 + -0.04. Put f, a, p in ascending order.
f, p, a
Let a = 3.04 - 1.1. Let m = -0.06 - a. Put m, 5, -3/4 in descending order.
5, -3/4, m
Let f be ((-1)/4*0)/(-1). Sort 4, 10, f in increasing order.
f, 4, 10
Let r be 3/(1 - (-30)/(-21)). Sort -1, r, 1 in increasing order.
r, -1, 1
Let r = 3 - 1. Let c = -5 + 30. Suppose -r*a - c = 3*a. Sort 5, 2, a in increasing order.
a, 2, 5
Suppose 3 + 7 = -5*h. Put h, 4, -1, -4 in ascending order.
-4, h, -1, 4
Let v = -0.21 - 8.79. Let w = 6 + v. Put -0.2, -2, w in descending order.
-0.2, -2, w
Let m(k) = -k**2 + 3*k + 4. Let s = 4 - 1. Let q be m(s). Sort 0, q, -5 in descending order.
q, 0, -5
Suppose 