.
x, m, -7
Suppose f = 5*b - 14, 5*f + 2*b = -9 - 7. Let c be (5 + -6)/(3/(-21)). Suppose c = 5*d + 17. Put d, -5, f in descending order.
d, f, -5
Let y = 3.847 + -4.07. Let t = y - -0.023. Put 0, t, -4 in decreasing order.
0, t, -4
Let n(x) = x**3 - 3*x**2 - 7*x + 2. Let t(q) = q**3 - 2*q**2 - 6*q + 2. Let m(p) = 2*n(p) - 3*t(p). Let k be m(1). Put -3/7, k, 2 in ascending order.
-3/7, k, 2
Let b = 36 + -37. Let m be (-4*4/8)/b. Sort 0, -4, m.
-4, 0, m
Let h = -227 + 129. Let s = -97.6 - h. Sort s, 3, 0.3 in descending order.
3, s, 0.3
Suppose -32*t + 13 - 45 = 0. Put 10, 4, t, 30 in descending order.
30, 10, 4, t
Let q = -52 - 14. Let j = -64 - q. Sort 4, j, -1, -2 in increasing order.
-2, -1, j, 4
Let m be 377/91 - (-2 - -6). Let w = 0.2 + 0. Sort 6, 3, w, m in increasing order.
m, w, 3, 6
Let h = -333/4 + 83. Sort h, -2, 0.081.
-2, h, 0.081
Let a(s) = -s**2 - 11*s - 10. Let t be a(-10). Let j = -639 - -649. Sort j, t, 5, -1 in decreasing order.
j, 5, t, -1
Suppose 2*c + 14*c = 1936. Put c, 1/6, -0.5 in descending order.
c, 1/6, -0.5
Let s be (-34)/(-6) - ((-55)/(-15) - 3). Suppose -u = 3*u. Sort 1, s, u, -3 in increasing order.
-3, u, 1, s
Suppose -310 + 270 = 10*h. Put -49, -1, h, 5 in ascending order.
-49, h, -1, 5
Let t be 1 + -1 - (-33)/11*1. Sort t, -4, 2, -5 in descending order.
t, 2, -4, -5
Let z = 96 - 95. Let u = -4 + -14. Let i be 20/6*u/15. Sort 4, z, i in decreasing order.
4, z, i
Let o = -133/30 + 23/5. Let m be -4*(-4 - (-199)/50). Let a = m + 28/275. Put o, a, -4/3 in increasing order.
-4/3, o, a
Let j = -15.823 - -0.823. Sort -2, -0.6, 1, j.
j, -2, -0.6, 1
Let q(u) = -u**3 + 8*u**2 - 6*u - 10. Let k be q(7). Let j be 15/45 + (-28)/(-6). Suppose 3*z - j*t - 2 = -4*t, -3*t = 6. Sort z, k, 4 in decreasing order.
4, z, k
Suppose 72*c + 260 = 85*c. Put -2, c, -4 in decreasing order.
c, -2, -4
Let b(c) = 12*c - 9*c - 4*c + 2*c**2 - 1. Let i be b(-1). Sort -5, -8, i in descending order.
i, -5, -8
Let k be ((-4)/((-16)/(-9)))/3. Let z = 827 + -810. Sort k, 0.4, z in ascending order.
k, 0.4, z
Let r = -478 - -477.5. Sort -0.2, r, -18 in descending order.
-0.2, r, -18
Let o = 117 + -118. Sort 28, o, 5 in ascending order.
o, 5, 28
Let i(y) = -y - 2. Let j be i(4). Let f be j/(-15) - 6/15. Suppose f*q - 5 = q. Put 2, -2, q in ascending order.
q, -2, 2
Let s(k) = k**3 - 3*k**2 + k - 1. Let m be s(3). Suppose 0 = -0*h - m*h. Let r be (1 + h)*(1 - 1). Sort 4, 5, r in ascending order.
r, 4, 5
Suppose -19 = -3*k - z, -4*k = -2*k + z - 14. Sort 4, 10, k, -2.
-2, 4, k, 10
Let y = 2 + 9. Let z = y + -11. Sort z, -5, 3 in increasing order.
-5, z, 3
Let r = -4.8 + 4.37. Let f = -21.13 - -21. Let h = r - f. Put h, 2/3, -4 in increasing order.
-4, h, 2/3
Let y = -107 - -91. Let f be ((-8)/28)/(y/28). Put f, -4, -0.1 in decreasing order.
f, -0.1, -4
Let b = 0.2 + 0.8. Let n = -85 + 74.3. Let r = n + 8.7. Sort r, -1/4, b.
r, -1/4, b
Let x = -785 - -788. Suppose 5*m + 5 = 30. Suppose -m*i - 1 + 21 = 0. Put x, -3, i in decreasing order.
i, x, -3
Suppose -5*q + a + 3 = 0, 0*q = 3*q + 5*a + 15. Let f be (5 - 3)*(15 + 4). Let n = -42 + f. Sort q, n, 1.
n, q, 1
Suppose -5*p - 379 = 5*m - 39, -3*m = -5*p + 244. Let h = m + 69. Put 0, 16, h in descending order.
16, 0, h
Suppose 0*c + 23 = 3*c + 5*h, 0 = -c + 5*h + 1. Let p be c/(-12)*(1 - -1). Sort -4, p, 1, -2 in descending order.
1, p, -2, -4
Let d = -838.3 + 753. Let o = d + 85. Put 1, -5, 0.3, o in descending order.
1, 0.3, o, -5
Let a be (4 - (-18)/(-12))*6/(-5). Put -5, -532, a in decreasing order.
a, -5, -532
Let r(t) = -t**3 + 8*t**2 - 12*t - 1. Let o be r(6). Sort o, 71, -0.2 in increasing order.
o, -0.2, 71
Let x(u) = u + 5. Let z be x(-4). Let c = -169 + 173. Put c, z, 5 in decreasing order.
5, c, z
Let l = -0.096 - 0.304. Let u = -10 - -15. Sort l, u, -0.1 in decreasing order.
u, -0.1, l
Let o = -2/69 + 94/69. Let q = -23 - -24.3. Let a = -1.4 + q. Sort 0.2, o, a in descending order.
o, 0.2, a
Let n(f) = -f**2 + 5*f - 3. Let k be n(4). Suppose 4*a - 22 = 5*c + 3*a, a - 2 = 0. Put c, k, -3, -2 in increasing order.
c, -3, -2, k
Let f(s) = -s**2 - 5*s + 3. Let w(n) = -3*n + 33. Let k be w(13). Let r be f(k). Put 3, r, 4 in descending order.
4, 3, r
Suppose -12*o - 32 = -44. Put o, -1, 14/9, -0.3 in decreasing order.
14/9, o, -0.3, -1
Let f = -1.809 + 0.809. Put 1/11, 5, 3, f in decreasing order.
5, 3, 1/11, f
Let c = 0 + 0. Let k = 1474 - 1479. Put c, 0.3, k in descending order.
0.3, c, k
Let u = -2 + 7. Put u, 0.3, -0.11, 3/4 in decreasing order.
u, 3/4, 0.3, -0.11
Let i = 4.9453 - -0.0547. Put 2/15, i, 2/51 in decreasing order.
i, 2/15, 2/51
Let o = 315 + -310. Let f(r) = -20*r**2 - r - 1. Let b be f(-1). Let k be 4/(-18) - b/45. Put 0.5, k, o in increasing order.
k, 0.5, o
Let v = 23 + -17. Let w be ((-28)/(-5) - v)/((-9)/5). Sort w, 9, -4 in descending order.
9, w, -4
Let i = 6 - -183. Let f = i + -1321/7. Let y = 11 - 11.2. Sort f, -5/2, y in descending order.
f, y, -5/2
Let b = -65/3 + 461/21. Let i = -37.63 - -41.63. Sort i, 0.5, b in descending order.
i, 0.5, b
Let i be -1*((-42)/6 - -5). Sort -3, -1, i in ascending order.
-3, -1, i
Let l = -122 - -126.1. Let r = l - 9.1. Sort 2, r, -3, -2/15 in descending order.
2, -2/15, -3, r
Let o(k) = k**2 - 6*k - 9. Let m be o(7). Let x = m + -4. Sort -2, 1, x.
x, -2, 1
Let g(r) = r + 4. Let u be g(-4). Let w = 3 + -2. Let b be ((3 + -1)/2 + 0)*w. Sort 2, u, b.
u, b, 2
Let v = 6 - 4. Let p = -29 + 27. Let o be 2/(-4)*p + 2. Sort 1, o, v in descending order.
o, v, 1
Suppose 4*y + 124 = 4*k, 2*k + 33 = -y + 4*k. Sort 0, y, 4 in descending order.
4, 0, y
Let w = 2.0082 + -0.0082. Put -37, w, 4 in increasing order.
-37, w, 4
Let y(f) = -f**3 - 2*f**2 + 3*f + 1. Let d be y(-3). Suppose -4*u + 19 = a, -5*u + 5*a = -6 + 1. Put u, -4, d in decreasing order.
u, d, -4
Let x = -44 + 49. Let r be 2/(-6) + (-10)/(-3). Suppose -r*j + 1 = 7. Put -7, j, x in ascending order.
-7, j, x
Let l = -17 - -17.05. Let k = 0.15 - l. Sort k, -0.2, 3 in descending order.
3, k, -0.2
Let a be ((-15)/(-25))/(1*(-3)/(-15)). Suppose -15 = 3*w - a*g, -4*g = 4*w - 9*w - 20. Sort w, 3, -3 in descending order.
3, w, -3
Suppose 0 = -2*i - 10*i + 3*i. Sort 17, -2, 3, i in descending order.
17, 3, i, -2
Let m = 0.646 - 0.656. Sort m, -8, 2, -0.1 in descending order.
2, m, -0.1, -8
Let u be 5 + (-2)/3*33/22. Let c be ((-32)/(-2))/(-4) + (u - -2). Sort 8, c, 4, 3 in increasing order.
c, 3, 4, 8
Suppose -38 = k - 63. Suppose -k*z + 9 = -24*z. Put z, 1, -1 in increasing order.
-1, 1, z
Let t(l) = -2*l**3 - 5*l**2 + 3*l. Let f be t(-3). Put -11, -3, 5, f in ascending order.
-11, -3, f, 5
Let x be 8 + (-3)/((-12)/(-16)). Suppose 7*t + x = 18. Suppose -t*u - 3 = -4*l - u, 3 = l + 2*u. Put l, 8, -3 in decreasing order.
8, l, -3
Let l = 1698 - 1738. Sort 4, -12, -2, l in decreasing order.
4, -2, -12, l
Let n = 11 - 19. Let g = n + 4. Let a = 145/286 - 1/143. Put g, -0.4, a in ascending order.
g, -0.4, a
Suppose 0 = p + 3*p + 20, u = 5*p + 27. Suppose -3*i - 17 = -4*o + 11, -o = -4*i - 20. Suppose -a - 18 = -o*a. Put 5, u, a in descending order.
a, 5, u
Let c = 16 - 27. Let v = -6 - c. Let y(z) = -z**3 + 6*z**2 - 6*z + 2. Let u be y(v). Sort -4, 0, u in increasing order.
-4, u, 0
Let h be (-1)/1 - (5 + -5). Let x = h - -6. Suppose i = x*i - 20. Sort -5, i, 0 in ascending order.
-5, 0, i
Let v = 0.33 + -3.23. Let j = -8.6 + 11.3. Let r = j + v. Put 0.4, 11, r in increasing order.
r, 0.4, 11
Let y = 107 + -112. Sort y, 3, 5, -1 in ascending order.
y, -1, 3, 5
Suppose 3*t + 10 = -2*t. Let a = -4025 + 4026. Sort t, 16, 0, a in decreasing order.
16, a, 0, t
Suppose -57 = 6*b + 27. Let a(z) = -z**3 - 7*z**2 - 7*z - 2. Let q be a(-6). Put b, q, 0 in increasing order.
b, 0, q
Suppose 0 = -1060*t + 1058*t - 10. Sort 38, t, 0 in descending order.
38, 0, t
Let w(t) = t**3 + 7*t**2 + 3*t - 14. Let c be w(-6). Suppose -i = -c*i + 18. Sort 0, -0.4, i, 3/4.
-0.4, 0, 3/4, i
Suppose 3 = 3*r - 78. Let c = -284 + 259. Let k = r + c. Sort 1, -3, k.
-3, 1, k
Let t = 195 - 195. Sort 5, t, 11 in ascending order.
t, 5, 11
Let v = -233 + 235. Sort v, -2, -5 in decreasing order.
v, -2, -5
Suppose -12 = 8*k + 4*k. Suppose 4 = 3*i - 11. Sort -6, k, i in ascending order.
-6, k, i
Let n(t) = t**3 - 7*t**2 + 7*t - 7. Let s be 