.
r, -1, 0
Let w(c) = c**3 + 9*c**2 - 10*c + 2. Let z be w(-10). Suppose 6*i - 4*i = 10. Put -1, i, z in ascending order.
-1, z, i
Let d = 64 + -59. Put 51, 1/2, d in decreasing order.
51, d, 1/2
Suppose -l + 8 = l. Let b(j) = 2*j**2 + 7. Let g(n) = -5*n**2 - 20. Let a(d) = 8*b(d) + 3*g(d). Let x be a(0). Sort 2, l, x in ascending order.
x, 2, l
Let w = 163 - 158.94. Let i = w + -0.06. Sort -3, i, -0.4 in decreasing order.
i, -0.4, -3
Let p be ((-7)/(28/(-6)))/3. Sort -5, 5, p in descending order.
5, p, -5
Let z = -0.25 - 10.75. Let r = z - -15. Sort -5, r, -4 in descending order.
r, -4, -5
Suppose -4*b - 5*g = -90, -g = -b + 13 + 14. Suppose -5*n + n = -5*y + b, -3*y - 17 = 4*n. Let h = -0.7 - -0.3. Put h, -1/3, y in descending order.
y, -1/3, h
Let s be 2/(-10) - (-5)/50. Sort 0.4, s, 0.3 in descending order.
0.4, 0.3, s
Let k be (-10)/15 + (-124)/(-42) + -2. Suppose 6*n = 3*n + 6. Sort k, -2/5, n.
-2/5, k, n
Let x(g) = -7*g - 10. Let m(d) = 6*d + 10. Let t(u) = 6*m(u) + 5*x(u). Let p be t(-7). Let l be -1*((-1 - -3) + -1). Sort p, l, 2 in increasing order.
l, 2, p
Suppose 4*d - 2*d = 8. Let g(r) = r**3 - 7*r**2 + 5*r + 2. Let w be g(6). Put 6, d, w in decreasing order.
6, d, w
Let r = -13 + 23. Put 2, 1, r in ascending order.
1, 2, r
Let q = 25 - 18. Let d = -13 + q. Let r = d - -5.6. Put -0.5, r, 4 in decreasing order.
4, r, -0.5
Let t = 9.4 + -9. Let f = 0 + t. Put -1/6, f, -0.5 in ascending order.
-0.5, -1/6, f
Let t be 4/(-14) - 37/(-7). Let i = -6 + 3. Sort i, -0.1, t in decreasing order.
t, -0.1, i
Let t be (-2)/8 + (-7)/(-12). Suppose 6*l - 40 = -4*l. Let s = 48 - 337/7. Sort l, t, s.
s, t, l
Suppose -3*b + 3 - 6 = 0. Let d be b + (-12)/15 + 1. Put d, 0.4, -2/5 in descending order.
0.4, -2/5, d
Let x = -5.9 + 3.9. Let w = -0.9 - 4.1. Sort x, w, 0.5 in ascending order.
w, x, 0.5
Let a = 6.29 + -6.8. Let d = -0.11 - a. Put 0.1, d, 2 in increasing order.
0.1, d, 2
Let y = -45 - -41. Suppose 5*t - t + 8 = 0. Sort 4, y, t in decreasing order.
4, t, y
Suppose 5*u = -4*p - 41 + 1, 2*u + 13 = -p. Let j be 1/((1 - 1) + u). Let c = -36 - -34. Sort j, 5, c in ascending order.
c, j, 5
Suppose 0 = -0*t - t + 3. Let b be 1/3*(-54)/(-6). Suppose b*h + 20 - 5 = 0. Sort t, 2, h in descending order.
t, 2, h
Suppose -2*x = 2*s + 2*x - 24, x + 16 = 5*s. Sort 0, 3, 2, s in ascending order.
0, 2, 3, s
Let l = -15 - -15.3. Put 1, l, 13 in ascending order.
l, 1, 13
Suppose 13*h - 17*h = 0. Put -3, h, -6 in ascending order.
-6, -3, h
Suppose 3*p = 2*o + 1, 5*p - 8*o = -13*o + 35. Sort 2, 4, p, 1 in decreasing order.
4, p, 2, 1
Let p = 0.3 + 2.7. Let l = 0 + p. Sort 2/15, 4, l.
2/15, l, 4
Let r = 3 + -1. Let n(u) = u - 5. Let s be n(7). Let m(a) = a**3 - 2*a**2 - a + 1. Let b be m(s). Sort b, r, 1/2 in decreasing order.
r, 1/2, b
Let v be -3 + (-4)/((-8)/14). Let z = v + -4. Put z, -2, -1 in decreasing order.
z, -1, -2
Let s = -127.3 + 134. Let g = -7 + s. Put g, -0.5, 1 in descending order.
1, g, -0.5
Let u = -26 + 207/8. Put 0.2, u, 2 in descending order.
2, 0.2, u
Let v(h) = -2*h - 8. Let o be v(-6). Sort o, -5, -3 in increasing order.
-5, -3, o
Let h = 0.152 + 0.248. Sort h, -1/9, -5 in ascending order.
-5, -1/9, h
Let c = -12 + 7. Let i = c + 2. Put i, 5, 1 in decreasing order.
5, 1, i
Let o(p) = 2*p**2 + 7*p + 2. Let x be o(-4). Let c(g) = g**3 + 5*g**2 + 6*g + 6. Let r be c(-4). Sort x, r, 3.
r, 3, x
Suppose -6 = -0*o + 2*o, r + 15 = -5*o. Suppose r = -a + 3*v + 3, -a - 4*v = -2*v - 3. Let p be 1 + 1*-1 - -4. Sort p, a, -1 in descending order.
p, a, -1
Suppose 0*f - 20 = -4*f. Let d = f + -2. Let h be 27/(-6) + 1/(-2). Put -3, d, h in decreasing order.
d, -3, h
Let h = 9 - 8.95. Let o = -0.45 + h. Let j = o - -0.9. Sort -3, j, -0.01.
-3, -0.01, j
Suppose 0 = -4*m + 12 + 4. Let s(w) = 2*w - 3. Let o = 12 + -8. Let l be s(o). Sort -2, m, l.
-2, m, l
Let q be (-4)/6 + 154/33. Suppose 0 = 4*z + 2*n, q*z - 2*n + 0*n + 8 = 0. Sort -4, 2, z in descending order.
2, z, -4
Let f = 21 - 21.5. Sort f, 1/5, 0 in decreasing order.
1/5, 0, f
Let l = 1 + 2. Sort -1/4, l, -1/10 in decreasing order.
l, -1/10, -1/4
Let o = -2.1 + 2. Let w = o + 0.1. Put 5, -4, w in ascending order.
-4, w, 5
Let v = 17 + -8. Suppose -y - 2*y - v = 0. Put 3, y, 1 in decreasing order.
3, 1, y
Let y = -24 - -28. Sort -1/4, 0.4, y in descending order.
y, 0.4, -1/4
Suppose 0 = 4*q - 3*g - 5 + 4, 0 = 5*q - g - 4. Suppose q = -u - 1. Sort 0, -4, u in descending order.
0, u, -4
Suppose 5 = -v, 6*w = 2*w - 4*v. Let y be -2 + 2 - 5/w. Sort -2, -4, y.
-4, -2, y
Let x = -2262/35 + 135447/385. Let q = 287 - x. Sort -0.2, 0.3, q.
-0.2, q, 0.3
Suppose -2 = 5*j + 13. Let u = 0.1 - -0.3. Put j, 1/2, u in ascending order.
j, u, 1/2
Let b = -4.01 - -4. Let i = -7.1 + 9.1. Put -1/4, i, b in ascending order.
-1/4, b, i
Let d(g) = 3*g + 2. Let q be d(4). Let a = q + -9. Suppose -a*m = -m + 16. Put m, 3, 1 in increasing order.
m, 1, 3
Let z = -2/139 + 155/1112. Put -0.1, z, 4 in increasing order.
-0.1, z, 4
Let d(j) = 3*j**2 - 2*j**2 + 6*j + 12 + 7*j. Let s be d(-8). Let f be 7/s - (-5)/4. Sort 2, -4, f in ascending order.
-4, f, 2
Let k = -2.9 - 2.1. Sort 10, 2/21, k.
k, 2/21, 10
Let x = 11.7 + -0.7. Let c = x + -7. Sort c, -5, -1 in descending order.
c, -1, -5
Let u = -2 - -4. Let x = 256 + -253. Let p be 1 + -2 + 1 + -1. Sort u, x, p in decreasing order.
x, u, p
Let b = -279/7 - -40. Let f = 11 + -6. Sort f, 0.1, b in decreasing order.
f, b, 0.1
Let o = 8 - 5. Let l = -23 + 16.9. Let m = 6 + l. Sort -1/8, m, o in ascending order.
-1/8, m, o
Suppose -4*l = -2*q - 14, -2*l + 7 = q + 3*l. Let c(r) = -r**2 + 7*r - 7. Let i be c(4). Sort q, i, -4 in decreasing order.
i, q, -4
Let d = -10 + 7. Let p(c) = -c - 6. Let t be p(-6). Sort d, t, 5 in decreasing order.
5, t, d
Let x be 4 + ((-2)/(-3))/((-22)/(-33)). Let o(h) = -h**3 - 4*h**2 + h + 1. Let a be o(-4). Sort x, 2, a in decreasing order.
x, 2, a
Let j = 134 - 136. Put 3, 2/9, 0.05, j in descending order.
3, 2/9, 0.05, j
Let z be (6/5)/((-33)/110). Let b be -5*(2 + (-1 - 0)). Sort b, -6, z.
-6, b, z
Let h = -4 - -1. Put 0, -5, h in increasing order.
-5, h, 0
Let p(a) = -a**2 + 15*a + 3. Let i be p(15). Put 5, i, -2, -4 in decreasing order.
5, i, -2, -4
Let l = 2.3 + 0.7. Let h be (5 - 1) + (-143)/33. Sort h, -1, l.
-1, h, l
Suppose 0 = 3*d - 0*d - 33. Suppose -w + o + 5 = 0, -2*w + o = -2*o - d. Let g be (9/(-12))/(-3)*w. Sort 5, g, -4 in decreasing order.
5, g, -4
Let r be 584/(-36) + (-4)/(-18) + 0. Let c = 3 - 4. Sort -3, r, c in descending order.
c, -3, r
Let r be ((-12)/(-16))/((-9)/16). Put r, 0.15, 5 in increasing order.
r, 0.15, 5
Suppose -17 = -v + 3*r, 4*v + 0*r - 4*r = 36. Let g = v - 11. Let x = g - -10. Sort x, 5, 1 in decreasing order.
5, x, 1
Let s = 6/55 + 68/385. Sort s, 0.5, 4/5.
s, 0.5, 4/5
Let f = -479/6 - -80. Let r be 2/(-8) - (-45)/84. Put -0.4, r, f in ascending order.
-0.4, f, r
Suppose -5*o + c + 4 = 26, -5*o + 2*c = 24. Let k = -6 - -10. Sort o, 0, k.
o, 0, k
Let g be (-56)/(-7) + 33/(-3). Let a = -1 - 1. Put g, 1, a in increasing order.
g, a, 1
Let o = 9.88 - 10. Let j = o - -0.12. Sort -3, j, 0.4 in descending order.
0.4, j, -3
Let a = -4 + 2. Let u = -0.3 - 6.7. Let p = u + 7.5. Sort p, a, 4 in decreasing order.
4, p, a
Suppose -3*s = -2*s - 4. Sort 1, s, 2 in descending order.
s, 2, 1
Let c(w) = 6*w. Let i(u) = -7*u - 1. Let p be 38/6 + (-7)/21. Let n(r) = p*c(r) + 5*i(r). Let q be n(5). Sort -3, q, 3 in increasing order.
-3, q, 3
Let x(p) = 5*p**3 - 3*p**2 + 4*p + 5. Let r(a) = -11*a**3 + 7*a**2 - 9*a - 11. Let m(o) = -4*r(o) - 9*x(o). Let g be m(-2). Put -1, g, -4 in descending order.
g, -1, -4
Let l = 31 + -14. Let h = l - 18. Put -1/6, h, 0 in decreasing order.
0, -1/6, h
Let q = 13 - 11. Let v = q - 2.3. Let u = -1/132 + -389/924. Put u, v, 0 in increasing order.
u, v, 0
Let p = -1/29 - -92/145. Put p, 3/2, 5 in decreasing order.
5, 3/2, p
Let j = -16 + 23. Sort j, -3, -4, 2 in increasing order.
-4, -3, 2, j
Let h = 0.56 - -0.44. Put -13, h, -5, 2/7 in increasing order.
-13, -5, 2/7, h
Let l be (3 + -4)/((-1)/(-1)). Let o = l - -2. Suppose -2*i - 3 = o. Sort i, -4, 3.
-4, i, 3
Let w be 11/7 + (-6)/(-14). Sort 3, -1, w.
-1, w, 3
Let m = -8 - 0. Sort 2/3, 0.2, m in descending order.
2/3, 0.2, m
Suppose 2*l + 3*l + 5 = -f, 