 = 136*m + 700. Let x be w(-5). Put x, 2, 6 in increasing order.
2, 6, x
Let i = -10.12 - -11.12. Sort -9, i, 1/2.
-9, 1/2, i
Suppose 0 = -5*s + y + 38, -2*y + 3*y + 30 = 4*s. Put s, 3, 5 in decreasing order.
s, 5, 3
Suppose 0*y + 7*y = -378. Let c = -52 - y. Sort 7, 3, c in decreasing order.
7, 3, c
Let z = 44.073 + -0.073. Let l = z + -37.8. Let n = l - 6. Sort n, 0, -0.3 in decreasing order.
n, 0, -0.3
Let q be (-266)/95 - 6/(-3). Put q, 2/171, 2/3 in descending order.
2/3, 2/171, q
Suppose 6*p = p. Suppose p*k - 8 = 2*k. Let c be -12 + 0 + 0 + -1. Sort c, 5, k in descending order.
5, k, c
Suppose -i - 3 = -9. Suppose 3*z - 2*w = -2*z + 53, 43 = 4*z - w. Let a = z - 13. Sort a, 1, i in ascending order.
a, 1, i
Let r = -253 - -251. Let g = 11.9 + -12. Let q be (1 + -3 - -3) + -2. Sort r, g, q in decreasing order.
g, q, r
Let x = 61 - 62. Put -22, -2, 3/7, x in descending order.
3/7, x, -2, -22
Let g(p) = -2*p - 12. Let j be g(-6). Suppose j = -u - u + 22. Suppose 0 = -5*c - k + 7, 3*k - 2*k = 4*c - u. Put -4, c, -1 in decreasing order.
c, -1, -4
Let a(w) = w**3 + 5*w**2 - 6*w + 4. Let y be a(-6). Let j be 40/(-4) - -7 - (4 + -5). Sort j, y, 5, 45 in descending order.
45, 5, y, j
Let c be (22/33)/((-1)/6). Let l be c/2*90/(-36). Suppose 6*h - h = 0. Sort h, l, 1 in increasing order.
h, 1, l
Let n(h) = 2*h**3 + 9*h**2 - 7*h - 9. Let t be n(-5). Put 0, t, 23 in descending order.
23, t, 0
Suppose m - 3*p + 43 = 0, -70 = 3*m - 3*p + 89. Let b = -54 - m. Sort b, 5, 2.
2, b, 5
Let v = -0.791 - -0.75. Let t = -0.141 - v. Put 0.4, -0.5, 4, t in decreasing order.
4, 0.4, t, -0.5
Let s be 0 - -3*2/3. Let x be (-9)/4*s*2. Let j be x/(3 - (4 + -2)). Put 5, j, 1 in ascending order.
j, 1, 5
Let c be (-11 - -7) + 6 + (-2)/1. Put -4, -2, c, 4 in decreasing order.
4, c, -2, -4
Let t be (8*(-6)/(-18))/((-3)/(-27)). Put 0, 4, t in descending order.
t, 4, 0
Let i = 302 + -307. Put -3, -31, i in descending order.
-3, i, -31
Let m be 25/((-25)/2) - 45/(-24). Sort -0.7, -10, m, 1.
-10, -0.7, m, 1
Suppose 3*g + 137 = -5*d, 6*d = d + g - 121. Let s = d + 28. Let x(j) = -j + 2. Let n be x(7). Put n, 4, s in ascending order.
n, s, 4
Let q be 2 + (-1)/((-2)/(-5 + 7)). Sort 6, -5, 5, q.
-5, q, 5, 6
Let v(m) = 2*m**2 - 5. Let w be v(2). Put 5, -3, 57, w in ascending order.
-3, w, 5, 57
Let n = -1.2 - 3.8. Let h = -943 + 943.5. Sort h, 0.3, n in descending order.
h, 0.3, n
Suppose 2*j + 11*j = 0. Put -6, -3, j in increasing order.
-6, -3, j
Let i be 6/(-14) - (-100)/(-420). Let s = -1.3 - -1.5. Put 1/2, i, s, 3 in descending order.
3, 1/2, s, i
Let u(q) = q**2 - 12*q + 9. Let a be u(11). Let s(b) = b**2 + 4*b - 1. Let n be s(a). Sort 0, n, 2 in descending order.
2, 0, n
Let w be (-1 - 1) + (-12 + 8 - -9). Sort -26, -1, w in descending order.
w, -1, -26
Suppose -2*d - 4 = -6. Suppose 0 = x + 2 + d. Let m(y) = y**2 - 2*y - 41. Let j be m(-5). Put 2, j, x in ascending order.
j, x, 2
Let b be (-3 + 5)/((-40)/12). Put -2/3, b, -5, 0 in decreasing order.
0, b, -2/3, -5
Let l = -36 + 32. Let u be l/(-60)*5/(-4). Put 1, -1, u in decreasing order.
1, u, -1
Suppose -u = 6*i - i - 23, -3*i + 3 = -3*u. Let a be (78/9)/((-2)/(-3)). Suppose 9*v = a*v + 16. Sort -5, i, v in descending order.
i, v, -5
Let t = -166 + 33. Let b = 133.3 + t. Sort b, -2, 10/3, -1/4 in decreasing order.
10/3, b, -1/4, -2
Let k = -347 + 353. Put 0, 10, k in descending order.
10, k, 0
Suppose 3*g + l + 0*l = -4, -3*g + l = 8. Suppose -2*x - 14 = -4*x. Let f = 9 - x. Sort g, -1, f in increasing order.
g, -1, f
Let h = -0.2 - 0. Let n = h + 0.3. Let z = 4/29 - 45/116. Put -4, z, n in increasing order.
-4, z, n
Let s be 3 + 2*(-3)/6. Let v(n) = -4*n + 1. Let l be v(-1). Suppose -2*f + 1 - l = 0. Sort 6, s, f in ascending order.
f, s, 6
Let v be (-3 - 9/(-6))/((-3)/4). Sort v, -4, 4, -5.
-5, -4, v, 4
Suppose 3*s = s. Let c(l) = -l**3 - 12*l**2 - 21*l - 8. Let x be c(-10). Suppose x*h = -8 + 14. Put -5, s, h in descending order.
h, s, -5
Suppose -2*d = w + 10 - 1, 0 = w + 5. Let q be d/(-3)*6/(-4)*2. Sort -5, 0, q, 3.
-5, q, 0, 3
Let i be -2 + (-8 - -4) + 3. Put -106, 4, i, 2 in descending order.
4, 2, i, -106
Let y = -259 + 255. Sort -3, -0.21, 4, y.
y, -3, -0.21, 4
Let p be 30/(-18) + (-25)/(-15) + 0. Sort p, 2, -1, -2 in descending order.
2, p, -1, -2
Let d = -9/2 - -103/22. Sort -3, 2/9, d.
-3, d, 2/9
Let v = -0.04 - -5.04. Let c = 8 - 14. Let f = c - -2. Sort 2/7, f, v in ascending order.
f, 2/7, v
Let k(b) = b**3 + 8*b**2 - 11*b + 25. Let g be k(-10). Put 5, g, -4 in decreasing order.
5, -4, g
Let a = 329 + -272.6. Let f = a + -56. Let i be 1/((-10)/(-2) - 0). Put i, f, 4 in ascending order.
i, f, 4
Suppose 3*u - 14 - 4 = 0. Suppose u*x - 9 = x - 4*d, -2*d = x - 3. Let i = -6 + 3. Put x, 4, i in ascending order.
i, x, 4
Let j be (15/(-6))/((-2)/4). Let q be 240/(-108) - 2/(-9). Sort j, -4, q.
-4, q, j
Let g be (-4 - (0 + -2)) + 7. Let o = -1460 + 1458. Put 2, o, g, 1 in descending order.
g, 2, 1, o
Suppose -8 = 11*h - 30. Let g(q) = -q**3 + 3*q**2 - q. Let z be g(2). Let v be (h - z) + 1*4. Put -3, 0, v in decreasing order.
v, 0, -3
Let p(c) = c**3 - 12*c**2 - 13*c - 1. Let z(q) = 2*q**2 + 4*q - 3. Let a be z(-4). Let n be p(a). Sort 5, n, 3, -2.
-2, n, 3, 5
Let f be (-11 - 0) + (-13 - -10). Let a = f + 18. Suppose 0 = -4*z + a*d, 2*d + 3*d = -15. Put 4, z, -5 in descending order.
4, z, -5
Suppose -3*g = -2*p - 4, -4*g = 2*p + g - 12. Sort 0.5, -104/9, p in decreasing order.
p, 0.5, -104/9
Let n = 13.56 - 10.56. Let h = 23.37 - 0.37. Sort 1/2, h, n, 3/5 in increasing order.
1/2, 3/5, n, h
Let o = 7602 - 7601. Let w(d) = 4*d**2 - d. Let l be w(1). Put 5, -3, o, l in descending order.
5, l, o, -3
Let u be (3 + -5)*(-1)/7. Let r = 3.65 + -3.82. Sort r, u, -2/13.
r, -2/13, u
Let b = -92 + 84. Let z = 6 + -8. Put b, z, 5 in descending order.
5, z, b
Suppose 7*z - 330 = -3*z. Let x be (-8)/28 + z/(-7). Sort x, 4, 0, 2 in ascending order.
x, 0, 2, 4
Let o be (-17 - -15)*(-5)/2. Suppose -o*g + 7*x = 3*x - 15, 7 = -2*g - x. Sort g, 9, 1.
g, 1, 9
Let t = 1442 + -1442.5. Sort 10, -2/5, t.
t, -2/5, 10
Let l(y) = 3*y**2 + 4*y + 13. Let c be l(6). Let b = 138 - c. Sort 0, b, -3 in ascending order.
b, -3, 0
Let u(p) = -2*p**2 - 10*p + 14. Let c be u(-6). Suppose -3*h - 5*m = -25, c*h + 8 = 3*h + 2*m. Put -1, 2, h in descending order.
h, 2, -1
Let j be (-4)/(-3)*(-3)/(-1). Suppose 4*w - 2*w = -3*n, 0 = -n - 5*w. Sort j, n, 3 in ascending order.
n, 3, j
Let x = 9.45 + -9.65. Put 2, 5, -0.03, x in increasing order.
x, -0.03, 2, 5
Let a(f) = -53*f + 2 + 3*f**2 + 50*f - 5*f**2 + 2. Let s be a(-3). Put -1, 4, 3, s in descending order.
4, 3, -1, s
Suppose 387 = -8*g + 51*g. Put g, 0, -5 in decreasing order.
g, 0, -5
Suppose 0 = -0*a + 3*a + 3. Let k = a + 6. Let q be (k/3)/((-7)/21). Sort 0, q, -2/5 in ascending order.
q, -2/5, 0
Let u = -1189 - -1183. Sort -12, -2/7, u.
-12, u, -2/7
Let k be 2/(-60)*-3*4/3. Let s = 0.13 - 0.13. Put s, -1, k, 0.1 in descending order.
k, 0.1, s, -1
Suppose 12 = -2*g - 2*m + 7*m, -2*g - 4 = -3*m. Let a be g/8 + (-1)/1. Suppose 12 = -3*v, 4*z = 2*v - 7*v - 4. Put z, a, 3 in descending order.
z, 3, a
Suppose 0 = -0*q + 9*q - 360. Suppose 3*y - 4 = -q. Sort 5, y, 3, -2 in descending order.
5, 3, -2, y
Let t = 10 + -6. Suppose 3*a + o = a - 6, -3 = 3*a + 3*o. Sort -6, t, a in descending order.
t, a, -6
Let b be 10*(-2)/4*(3 + -2). Sort b, 4, 0, -8 in decreasing order.
4, 0, b, -8
Suppose -5*h - 6 + 6 = 0. Sort h, 86, -4.
-4, h, 86
Let c(h) = -h**3 + 6*h**2 - 2*h + 7. Let w be c(6). Suppose -5*v = -2*m + 24, 128*v - 4*m = 127*v - 12. Sort v, 5, w, 3 in increasing order.
w, v, 3, 5
Let b = -1.019 + 0.219. Sort 5, -4, 1, b in descending order.
5, 1, b, -4
Suppose 0 = -0*o - o - 2*i + 2, -5*i = -o + 9. Sort 0, -6, 5, o.
-6, 0, o, 5
Suppose 96 = 30*m + 186. Let n = 3 + -11. Put m, 1, n in ascending order.
n, m, 1
Suppose 7 = 3*c - 2*y, 4*c - 12 = -c + 3*y. Suppose 0 - 15 = -c*d. Let a be 11 + 15 + -28 + (-1 - -4). Put -7, d, a in decreasing order.
d, a, -7
Let f = 25 + -23. Let d be (13 + -12)/(f/(-4)). Sort d, 3, 2 in decreasing order.
3, 2, d
Let z be 6 - -4*(-7)/28. Sort z, 4, -3, -8 in decreasing order.
z, 4, -3, -8
Let l = 0 - 1. Suppose -112 - 50 = -3*h. Let g = 52 - h. Put 2, g, l in decreasing ord