w = 5.18 + -0.18. Let x be (-5)/((-25)/(-2)) - 0. Put x, -1, w in descending order.
w, x, -1
Let o(b) = -11*b - b**3 - 5*b**3 - 6 - 11*b**2 + 5*b**3. Let f be o(-10). Suppose -y + 2 = -2*m, -4*m - 19 + 3 = 4*y. Sort m, f, 3 in increasing order.
m, 3, f
Suppose -1 = 3*z - 22. Suppose 3*t - n - 11 = 5*t, 29 = -3*t - 4*n. Sort t, z, 1 in descending order.
z, 1, t
Let z = -163/3 + 55. Let q = 7 - 8. Let i = -2 - q. Sort 4/3, i, z in decreasing order.
4/3, z, i
Let p = 1.153 + 0.147. Put 1/9, p, 0.1 in decreasing order.
p, 1/9, 0.1
Let p be 20/(-70) + (-24)/14. Let w be p/(-6) - 50/15. Suppose -3 = 7*u - 4*u. Put u, w, -2 in decreasing order.
u, -2, w
Let f = -1096/17 - -15136/85. Let g = 113 - f. Sort g, -0.2, 1 in increasing order.
g, -0.2, 1
Let j(k) = -k - 23. Let o(g) = -g - 24. Let p(s) = 4*j(s) - 3*o(s). Let m be p(-15). Sort -9, 4, m in ascending order.
-9, m, 4
Let m = -9 - -3. Let w be (m/54)/(2/4). Sort w, 1/2, -0.5 in decreasing order.
1/2, w, -0.5
Suppose f + 0 - 5 = 0. Let i(n) = n**3 + 21*n**2 - 45*n + 21. Let j be i(-23). Sort f, j, 3 in ascending order.
j, 3, f
Let f be (-2)/((-2)/(-3))*1. Let v = 4 - 5. Sort v, f, -5 in decreasing order.
v, f, -5
Let o be 8/16 + (-3)/2. Sort -3, o, -5.
-5, -3, o
Let z = 6.8 - 7. Put -4, 2, z in increasing order.
-4, z, 2
Let x be (-6)/(4/(-8) - -2). Suppose 7 + 8 = 5*j. Let t = -0.7 + 0.2. Sort t, j, x in increasing order.
x, t, j
Let y = 0 - 1. Let u = 111 - 107. Sort y, u, 11.
y, u, 11
Let k = 2.9 - 1.9. Sort 2, k, 5 in descending order.
5, 2, k
Let q be 2/4 - (-2)/(-4). Let x be (-4)/(-10)*((-18)/(-6) - 8). Put -4, q, x in decreasing order.
q, x, -4
Suppose -n = 3*n - 12. Let t = -13 + n. Let v be (-4 + 1)*t/105. Sort v, 3/5, 1 in decreasing order.
1, 3/5, v
Let i(p) = 3*p**3 + 2*p**2 - p. Let a be i(-2). Let s be a/6*(-10)/35. Sort 1/8, -0.5, s in descending order.
s, 1/8, -0.5
Let r(t) = -2*t + 12. Let l be r(7). Let h(y) = -2*y - 3. Let m be h(-3). Sort m, l, -3.
-3, l, m
Let p be (-4)/6*(-6)/(-34). Put 0, p, 1/2 in descending order.
1/2, 0, p
Let c = 23 + -14. Let z = 13 - c. Let q be (((-30)/4)/(-5))/(-4). Sort q, z, 1/6.
q, 1/6, z
Let k be (2/7)/((-5)/10). Sort k, 0.1, 1/7 in increasing order.
k, 0.1, 1/7
Let j be -6 + (4 + -1 - 1). Put -1, j, -2 in descending order.
-1, -2, j
Let d = 12 + -10. Let q = -204369/4105 + -12/821. Let x = q - -50. Sort x, -4, d in increasing order.
-4, x, d
Let x = -3 + 7. Let n(p) = 4*p**2 + x*p + 1 - 3*p**2 - p. Let g be n(-3). Sort 2, -4, g in decreasing order.
2, g, -4
Let w(y) = -y - 1. Let j be w(-3). Suppose -5*p = -7 + 2. Suppose -j - 2 = -4*v + g, -v + g = -p. Put -1, -2, v in increasing order.
-2, -1, v
Suppose -2 = -4*n + 3*s + 1, 16 = -2*n - 2*s. Let p be 1 - (1 + (n - 0)). Suppose -p*w = -0*w. Put w, 0.1, -3 in descending order.
0.1, w, -3
Let x(f) = -f + 5. Let q be x(4). Let y be 4/(-8) + 0 - q. Sort y, -4/3, 2/11 in decreasing order.
2/11, -4/3, y
Let c = 0.175 - 0.275. Let r be ((-3)/8)/(1/4). Sort c, -4, r in increasing order.
-4, r, c
Let z = -35 + 31. Let v be (-27)/45 - 6/(-10). Sort -2, v, z.
z, -2, v
Let b be 5*(-4)/(-4)*1. Let w be -6*(2/4 + -1). Suppose -20 = y + w*y. Sort b, 4, y in decreasing order.
b, 4, y
Let c = 178 - 1248/7. Let b = -42/11 + 736/187. Sort -3, c, b in ascending order.
-3, c, b
Let x = 17 + -12. Sort 2, 3, x, -4 in ascending order.
-4, 2, 3, x
Let g = -5 - -8. Suppose 0 = -2*a + 8 - 18. Sort a, g, -3 in descending order.
g, -3, a
Let o = 14.57 + 1.83. Let g = o + -3.4. Let w = 11 - g. Sort w, -1/4, 1 in increasing order.
w, -1/4, 1
Suppose 7 = -6*z - 5. Sort z, 5, 3 in decreasing order.
5, 3, z
Let f(r) = -r - 5. Let z be f(-7). Sort z, -2, 4.
-2, z, 4
Let h(n) = n + 18. Let d be h(-14). Put 3, -1, 1, d in decreasing order.
d, 3, 1, -1
Let p = -20 - -19.6. Put 12, 3/5, p in decreasing order.
12, 3/5, p
Suppose -u = -0*u - 6. Let z = u - 4. Let o be z*(2/(-4) + 1). Put o, 2, -4 in descending order.
2, o, -4
Let x(f) = -5*f + 6. Let s(v) = -6*v + 6. Let o(q) = 4*s(q) - 5*x(q). Let y be o(5). Put y, -2, -5 in ascending order.
-5, -2, y
Suppose -2*x + 10 = x - 5*q, 5*q + 10 = -5*x. Put 5, x, -4 in decreasing order.
5, x, -4
Let y(m) = m**2 - 3*m - 6. Let r be y(-5). Let d be (-381)/12 + -1 - 1. Let s = d + r. Sort 1, s, -0.5 in descending order.
1, s, -0.5
Let m = -56 + 281/5. Let o = -29 - -38.8. Let v = -10 + o. Sort -3/4, v, m.
-3/4, v, m
Suppose 0 = -2*b - 7 + 17. Put b, 0, -4 in ascending order.
-4, 0, b
Let r be (-2)/4 - 42/(-12). Suppose r*q - 33 = -0*q. Suppose q = 3*s + 5. Sort s, -3, 1/3.
-3, 1/3, s
Let a = -37 - -29. Sort a, -2, 3.
a, -2, 3
Suppose -20 = -12*f + 8*f. Sort f, -14, 0.
-14, 0, f
Let u(p) = -3*p**3 + 4. Let h(m) = -m**3 - m**2 + m + 1. Let r(v) = -4*h(v) + u(v). Let y be r(-5). Put y, 0, 5 in decreasing order.
5, 0, y
Suppose 8 = -2*n - 2*c, 0 = n + 2*n + 2*c + 8. Sort n, 2, 6 in descending order.
6, 2, n
Let p = 8 - 11. Let t = -3.3 - p. Let c = t + -0.1. Sort -1, 1, c in ascending order.
-1, c, 1
Let a be (-4)/(1 - (-172)/(-4)). Put 0.16, a, 0.2 in decreasing order.
0.2, 0.16, a
Let c be (-2)/(-5) - 130/(-50). Suppose -5*b = -c*b - 6. Sort -5, 1, b in decreasing order.
b, 1, -5
Let y(x) = x**3 + 22*x**2 + 2*x + 43. Let v be y(-22). Sort -3, 0, -13, v.
-13, -3, v, 0
Let g = -24.7 - -25. Let d(q) = q**2 - 2*q. Let o be d(3). Sort g, -0.4, o in increasing order.
-0.4, g, o
Let c = 3.4 + 0.6. Let y = c + -5. Sort -2, -4/7, y in ascending order.
-2, y, -4/7
Let x be 12/(-15)*10/(-4). Suppose -5*a + 2 = -0*q - x*q, -a - q + 6 = 0. Let k(i) = 5*i - 30. Let y be k(6). Sort a, y, -3 in decreasing order.
a, y, -3
Suppose 0 = -x - 2*b + 11, -2*x - 15 = -3*b - 2. Suppose 0 = t - 1 - x. Suppose -t*h + 4 = -2. Sort h, 0, 1/3 in decreasing order.
h, 1/3, 0
Suppose 6*a - 2*a + 12 = 0. Let b be 12/(-18) - 11/(-3). Suppose 4 = 5*y - b*y. Sort 1, a, y.
a, 1, y
Suppose -4*b = -0*b. Suppose 0*x + 4*x = b. Let n(i) = i**3 - 3*i**2 - 1. Let y be n(3). Sort x, 3, y in decreasing order.
3, x, y
Let r be (-1)/3 + -2 + 1. Let k = 1276739/72 - 17733. Let u = -8/9 - k. Sort 2, u, r in increasing order.
r, u, 2
Let s = -10 - -5. Let n = -11 + 15. Put 2, n, s in decreasing order.
n, 2, s
Let v = -14.1 + 14. Put v, 2, -0.4, 3 in increasing order.
-0.4, v, 2, 3
Suppose 19*r + 15 = 14*r. Sort 3, -5, r in descending order.
3, r, -5
Let n = 0.7 + -0.4. Let x = -0.3 - 2.7. Sort n, x, 1 in decreasing order.
1, n, x
Let z be ((-2)/(-6))/((-1)/(-60)*5). Put 83, z, -4 in increasing order.
-4, z, 83
Suppose -a + 20 = 3*a. Sort a, 1, -4 in increasing order.
-4, 1, a
Let z = 3 + -1. Let v = z + -2. Sort -0.2, v, 2/15 in descending order.
2/15, v, -0.2
Suppose -h = -2*u + 8, -h + 5*u + 10 = -6*h. Put -20, -2, h in descending order.
-2, h, -20
Suppose 0 = -4*s + 5*s - 4*s. Put s, 10, 5 in descending order.
10, 5, s
Suppose -2*y + 11 = -4*v + v, 2*v = -6. Sort y, -3/7, 8.
-3/7, y, 8
Suppose -3*k - 20 = -4*k. Suppose m - 6*m = k. Let o = 9 + -8. Put m, 2, o in increasing order.
m, o, 2
Let d = 6.82 + 0.18. Let q = 10 - d. Let j = -5.1 - -0.1. Put 1, j, q in decreasing order.
q, 1, j
Let p be 41 + -38 + (-1)/1*7. Sort p, 5, 1, 2.
p, 1, 2, 5
Let r(p) = -p - 6. Let n be r(-7). Put n, 0, -5, -2 in descending order.
n, 0, -2, -5
Let m = -104 + 514/5. Sort 0, m, -5 in increasing order.
-5, m, 0
Let i be 1/((-5)/10) - 2. Sort -3, i, 0, -1.
i, -3, -1, 0
Let v = -2 + 4. Let b be ((-6)/(-15))/(v/20). Suppose b*x - 4 = -z, -2*x + 4 = z + 2. Put 5, x, -3 in descending order.
5, x, -3
Let y = 1.1 - 0.8. Let q = 7 - 5. Let b = 1.5 - q. Put b, y, 3 in descending order.
3, y, b
Suppose -2*f + 5*f = -5*t, 2*t = -f. Let x(z) = z - 4. Let k be x(4). Suppose -2 = u - k. Sort -4, u, t in decreasing order.
t, u, -4
Let h = -3.704 + 0.004. Let i = h - -4. Let v = 9 + -5. Sort -2, i, v.
-2, i, v
Let k = -4.25 + 0.25. Sort k, 4, -0.1 in descending order.
4, -0.1, k
Let t = -11 + -2. Let y = 19 - 21. Put t, y, 1/6 in descending order.
1/6, y, t
Let s = 34 + -39.1. Let k = s - -1.1. Put 3, -0.4, k in ascending order.
k, -0.4, 3
Let j = 13 + -38/3. Let a = 4 - 3.8. Let q = a - 0.2. Sort j, -2/9, q in decreasing order.
j, q, -2/9
Let p = 2 + -1.9. Suppose -a + 2*a + 1 = 0. Sort p, a, 0.2 in decreasing order.
0.2, p, a
Suppose 15 = -3*z - 0*z. Let a(h) = -h**2 + h 