 w, 1/3
Let z = -225251 + 81090581/360. Let v = 1/72 - z. Sort 0.1, 0, v in decreasing order.
0.1, 0, v
Let r be (-38)/14 - (-6)/(-21). Let v = -2 - -4. Suppose v*h + 0*h = 2. Put h, -2, r in increasing order.
r, -2, h
Let d be (-3)/4 + 495/20. Let u be d/(-110) - (-12)/30. Sort u, -2, 0 in descending order.
u, 0, -2
Let x(r) = -r**2 + 4*r + 2. Let v be x(4). Suppose -v*p = -5 + 1. Suppose -u + 19 = -3*c, 5 = 4*u - 11. Sort p, 3, c in decreasing order.
3, p, c
Let b be 3/24*(5 - 3). Sort 0.2, 3, b in decreasing order.
3, b, 0.2
Suppose 0 = v - 4*v. Sort -1, 2, v in ascending order.
-1, v, 2
Let r = 90 + -88. Suppose -6*p - 12 = -2*p. Sort r, 3, p in descending order.
3, r, p
Let j = -56 + 57. Sort 0, j, -10.
-10, 0, j
Suppose -2*d - 4 = 2*d. Let k be 4 + -4 - (-6)/14. Sort k, -0.4, d in decreasing order.
k, -0.4, d
Let k be (-3)/(-12) + (-5)/20. Let j = -0.08 + 0.18. Put -2/9, k, j in descending order.
j, k, -2/9
Let i = 37 - 33. Sort -7, 6, i in descending order.
6, i, -7
Let a = -6.4 - -6.7. Sort 3, 0, a.
0, a, 3
Suppose 3*z + w - 4 = 13, 2*z + 4*w - 8 = 0. Let h be (-1 - z/2) + -1. Let p be (-15)/(-6)*12/(-10). Sort -2, p, h in increasing order.
h, p, -2
Let w = -7 - -7.3. Let j = 4 - -3. Let a = j + -5. Sort w, a, 5 in ascending order.
w, a, 5
Let n(v) = v + 4. Let f be n(-5). Let a be 7/21 - (-1)/(-3). Put f, a, -4 in descending order.
a, f, -4
Let q(i) = i**3 + i. Suppose -13*f + 1 = -14*f. Let b be q(f). Sort 4, -4, b.
-4, b, 4
Let z = 2.48 + -1.98. Let q = 31 + -154/5. Put -2, q, z in descending order.
z, q, -2
Let l be (-1*3)/(5 - 6). Suppose -2*z + l*c - 3 - 8 = 0, -2*z + 1 = c. Let a = -2 + 3. Sort z, 3, a.
z, a, 3
Let p(t) = 2*t - 7. Let i be p(0). Let v(u) = -11*u - 15. Let s(q) = 5*q + 7. Let r(l) = 9*s(l) + 4*v(l). Let b be r(i). Sort 5, 0, b.
b, 0, 5
Let h be (-10 - -1)*(-5)/15. Let m = -18 + 13. Let f = m - -9. Sort f, -5, h in decreasing order.
f, h, -5
Let g = 3 + -1. Let j = g + -1.8. Put -3, j, 0.4 in decreasing order.
0.4, j, -3
Let i be ((-1)/(-3))/(1/9). Let t be 1 - 6 - (2 - (-6 - -13)). Sort i, t, -2 in descending order.
i, t, -2
Let u(y) = -y**3 + 9*y**2 - 9*y + 12. Let z be u(8). Put z, 10, -1 in descending order.
10, z, -1
Let a = -4 + 5. Let j be 0*(-2 + (2 - a)). Suppose -2*h - 15 = 5*b, 5*h + 30 = -5*b - j. Put -3, 5, b in ascending order.
-3, b, 5
Let m be (2 - -3)*(-4)/(-10). Let i = 414 - 1241/3. Sort m, 1, i in decreasing order.
m, 1, i
Suppose -3*b = b + 3*h, -35 = -5*b + 5*h. Suppose -b*u - 25 = 2*o, -3*u - u + 4*o = 0. Suppose 0*m - 4*m + 16 = 0. Put u, m, -3 in ascending order.
u, -3, m
Suppose -2*p - 5*l - 9 = 0, 3*p + 2*l = 2*p - 4. Let n = -142 - -144. Put 0.3, p, n in descending order.
n, 0.3, p
Suppose 3*v - 14 = -2. Suppose v*j = 5*j. Put 3, j, -1 in decreasing order.
3, j, -1
Let d(h) = h - 6. Let c be d(3). Put -2, c, -5 in decreasing order.
-2, c, -5
Suppose -4*w - w - 15 = 0. Suppose 54*p - 49*p = 25. Put p, 4, w in increasing order.
w, 4, p
Let w = -0.2 - 2.8. Let t = w - 0. Let y(m) = -7*m - 72. Let x be y(-10). Put 5, t, x in descending order.
5, x, t
Suppose q + 0*q - 4 = 0. Let o(j) = j**3 - 5*j**2 + 7*j - 10. Let s be o(4). Let z be (3/(-15))/(s/(-10)). Sort -5, z, q in decreasing order.
q, z, -5
Let v = -71 + 498/7. Put -11, 2/5, v in descending order.
2/5, v, -11
Let h(n) = -n + 8. Let s be h(-4). Let u = 15 - s. Sort -3, -4, u in descending order.
u, -3, -4
Let n = -1/12 - -17/60. Sort n, -7, 0.1.
-7, 0.1, n
Let r = 40 - 26.3. Let m = r + -9. Let z = m + -0.7. Sort -0.4, z, 0.3 in descending order.
z, 0.3, -0.4
Suppose 53*b - 8 = 55*b. Put 21, b, -2 in decreasing order.
21, -2, b
Let u = 104 + -106. Put 2/19, 6/13, u in decreasing order.
6/13, 2/19, u
Let w be (0 + 4 - 4)/1. Let r be (-132)/28 + 4/(-14). Sort w, 4, r in decreasing order.
4, w, r
Let d be 0*(3/2)/(-3). Let b = d + 1. Suppose v - 6*v + 10 = 0. Sort v, 4, b.
b, v, 4
Let x = 2 - 6. Put -3, 4, x, -2 in ascending order.
x, -3, -2, 4
Let h = -8 + 3. Let b = h + 4. Put -3/4, b, -0.4 in increasing order.
b, -3/4, -0.4
Suppose -y = -4*s - 0*y + 14, 2*s - 3*y = 12. Suppose 0 = -5*r - 7 - s. Sort 1, r, 0.2 in decreasing order.
1, 0.2, r
Suppose -14*j + 13*j = 50. Sort 5, 2, j in increasing order.
j, 2, 5
Let a = 61.1 - 61. Sort 2/11, 2/7, 2, a in descending order.
2, 2/7, 2/11, a
Let k = -3.8 + 4. Let c = k - 0.7. Let d = -59 + 475/8. Sort c, 0.2, d in descending order.
d, 0.2, c
Let h be (-2)/4 + (-45)/(-6). Let t(j) = -j + 15. Let c be t(-5). Let m be h/c - (-3)/(-12). Put m, -0.3, -4 in ascending order.
-4, -0.3, m
Let g = -1 - -5. Suppose 0*w - g*w = 16. Suppose 7 = f - 3*v, 0 = f - 6*f + 4*v + 2. Sort w, f, 5.
w, f, 5
Let i = -134 + 126.3. Let g = -8 - i. Let t = -0.4 - -0.3. Put g, t, 2 in descending order.
2, t, g
Let i(m) = -2*m + 2. Let b be i(3). Sort 2, 5, b in decreasing order.
5, 2, b
Let j = 156 + -158.06. Let t = -0.06 - j. Let i = -0.3 + 0.3. Sort t, i, -2 in decreasing order.
t, i, -2
Let v = -0.5 - -1.5. Let l = 0.6 - v. Let z = 0.3 + l. Sort 1/4, 0.1, z.
z, 0.1, 1/4
Let f = 155/743 + 1991144/11145. Let b = 179 - f. Sort b, 3/10, 5 in descending order.
5, 3/10, b
Let y = 0.1 - -0.4. Suppose 3*u = -2*c + 60, c + 2*c = -3*u + 84. Let i be ((-4)/c)/((-1)/(-10)). Put -2, y, i in decreasing order.
y, i, -2
Suppose 5*i - 25 = -c, i + 8*c = 3*c + 5. Sort i, -2, -3 in decreasing order.
i, -2, -3
Let m(i) = 5*i + 1. Let r be m(-1). Put r, 5, 4 in descending order.
5, 4, r
Let z = 4 - 0. Suppose -2*j - j + 3 = 0. Let b be 24/44*j/(-3). Sort b, z, 2 in ascending order.
b, 2, z
Suppose -16*x + 21*x = 15. Sort 5, -2, x.
-2, x, 5
Suppose -4 = -i - 2. Suppose -155 = -j + 6*j. Let v = j + 339/11. Put v, i, -3 in ascending order.
-3, v, i
Let r = -65 + 44. Let d be 3 - (r/(-3))/1. Put 0, -5, d in decreasing order.
0, d, -5
Let o be -4 + (-3)/12*-4. Put o, 5, 0 in decreasing order.
5, 0, o
Let i be (-638)/(-165) - (2 + 2). Put i, -1/5, -2/5, 1/4 in ascending order.
-2/5, -1/5, i, 1/4
Suppose -i - 16 = -5*i. Sort i, -1, -6 in increasing order.
-6, -1, i
Suppose 4*s - 39 = m, 2*s = 2*m + 12 + 36. Let j = m - -24. Sort 3, -1, j in increasing order.
-1, 3, j
Let u be ((-2)/(-10))/(((-44)/(-20))/11). Suppose -5*s = 2 - 22. Let f(k) = -k**3 + 2*k**2 - 2*k - 1. Let i be f(2). Sort s, u, i in decreasing order.
s, u, i
Let g(v) = v + 1. Let a be g(-6). Let c(s) = -s**3 - 6*s**2 - 4*s + 8. Let k be c(-5). Sort -1, k, a in decreasing order.
k, -1, a
Let v(c) = c**3 - 9*c**2 + 9*c - 6. Let u be v(8). Put u, 3, -5, 1 in ascending order.
-5, 1, u, 3
Let y = -22.07 - -22. Put y, 0, -5 in increasing order.
-5, y, 0
Let w = 14 + -17.4. Let r = -3 - w. Let q = r + -0.3. Sort q, 1/2, -2/3 in increasing order.
-2/3, q, 1/2
Let x = 3 - 1. Let h = x + -4. Let c = -0.02 + -0.98. Sort -0.5, c, h in ascending order.
h, c, -0.5
Let q = 0.28 - 0.18. Put -0.1, -1, q in ascending order.
-1, -0.1, q
Let f = -50/39 - -8/13. Let z be 0 + -1 + 14/1. Suppose 0 = -3*a - 5*c + z, -3*c = -1 - 5. Put f, 2/17, a in descending order.
a, 2/17, f
Let q(f) = f + 10. Let k be q(-6). Let c = k - 4. Sort -5, 1, c in decreasing order.
1, c, -5
Let n = -1.07 + 0.07. Let k = n + 0.8. Sort k, 0, -4 in descending order.
0, k, -4
Suppose a + 10 = m, 2*a - m + 20 = 4*m. Let y = a + 5. Sort -3, y, 1.
y, -3, 1
Let n be (-33)/(-12) - (5 + -2). Put 1, 2, n in decreasing order.
2, 1, n
Let t = -1.9 - -2. Let d = 3 + -5. Suppose -6*l - 77 = -89. Put t, d, l in descending order.
l, t, d
Let d = -407/6 + 175/3. Sort 0.1, d, 1/4 in decreasing order.
1/4, 0.1, d
Let i be (-6)/3 - -4 - 0. Put i, -2, -5 in descending order.
i, -2, -5
Suppose -17 + 9 = -8*p. Sort -4, p, 10, 5 in ascending order.
-4, p, 5, 10
Suppose p = -c + 7, p - 5*p + c + 8 = 0. Let s = -7 - -11. Let f be (2 - 1)/((-1)/s). Sort f, p, 4.
f, p, 4
Let x = -1/7 + 12/35. Let m = -7 + 6. Let j = -0.6 - m. Put x, j, 4 in ascending order.
x, j, 4
Suppose 4*c + 2*w + 8 = 0, -c + 4 = -0*c + 2*w. Let u be (-6)/24 - (-13)/4. Sort u, c, -1 in ascending order.
c, -1, u
Let r = -30 + 28. Sort r, -0.02, 0.
r, -0.02, 0
Let u be (-1)/(-4)*(-8)/10. Let w = 5 - 4.9. Let k = 16/3 - 5. Sort w, u, k.
u, w, k
Let a be 12*(2 - (-6)/(-4)). Let n(s) = s**3 - 5*s**2 - 7*s + 2. Let h be n(a). Let q be 1/h + 38/(-8). Put -2, q, -1 in decreasing order