n be m(16). Sort 3, 1/8, n, -5 in decreasing order.
3, 1/8, -5, n
Let n = -5 + 12. Let p = n - 8. Let w(b) = -b + 6. Let o be w(8). Put o, -0.2, p in ascending order.
o, p, -0.2
Let v = 1525.5 - 1526. Sort 0, -141, 1/10, v.
-141, v, 0, 1/10
Let s = -11484 - -11219866/977. Let v = s + 3918/4885. Put v, 0.2, -2/13 in descending order.
v, 0.2, -2/13
Suppose k - 6*k = -20. Sort k, 10, 1.
1, k, 10
Suppose l - 3*r - 2 = 0, 4*l + 4*r = -l + 29. Suppose 9*q - 4 = l*q. Put 4, 0, -1, q in descending order.
4, q, 0, -1
Let z be (-116)/5 - 42/(-210). Put z, 4, -3 in descending order.
4, -3, z
Let l = 610 - 612. Suppose -20 = 3*b + 2*b. Sort -21, b, l in ascending order.
-21, b, l
Let o = 9.73 + -9.63. Sort -559, o, -0.4.
-559, -0.4, o
Let j be 2*1*(4 + -11)/7. Put -7, -3, j in decreasing order.
j, -3, -7
Let o be (-1)/1 - -9*1. Suppose 3*a = -o - 7. Let j(p) = 3*p**3 + 11*p**2 + 4*p - 6. Let x be j(-3). Sort x, a, -1/7 in descending order.
x, -1/7, a
Let n be 3*(10/(-6) + 0). Suppose -12 = -3*u + 4*u - 2*c, -2*u + 3*c = 20. Sort n, u, -8 in decreasing order.
u, n, -8
Let p = -5 + 4.8. Let s = 0.41 + 1.59. Sort 0.5, s, p, 0 in increasing order.
p, 0, 0.5, s
Let b = -5 + 22. Let a = 34 - b. Let n = -14 + a. Put 0, -2, n in decreasing order.
n, 0, -2
Let v = 298 + -297. Sort 3/7, 0, -0.01, v in increasing order.
-0.01, 0, 3/7, v
Suppose -124 = 8*d - 4*d. Let i = d - -30. Put 2, i, 3 in ascending order.
i, 2, 3
Let n be (180/(-40))/(1/2 + -1). Let m be (n/6)/(12/16). Let s = 0.2 - 0.4. Put m, s, 1 in decreasing order.
m, 1, s
Suppose 0 = -32*n + 34 - 194. Suppose 10 - 22 = 4*f. Sort f, n, 2 in descending order.
2, f, n
Let a(q) = q**3 + 24*q**2 - 3*q + 40. Let j(h) = -2*h**3 - 47*h**2 + 5*h - 81. Let u(y) = -7*a(y) - 4*j(y). Let b be u(-20). Sort 0, b, 0.3 in ascending order.
0, 0.3, b
Let i = 249 + -250. Suppose -1 = -5*a + 3*q - 0, 4*q = 4*a + 4. Suppose 0 = 2*o + 8 + a. Sort o, i, -3 in descending order.
i, -3, o
Let v = -3.8 - 4. Sort -0.3, v, 3 in descending order.
3, -0.3, v
Let d = -8 + 8.06. Let v = -3.06 + d. Let j = -17 + 15. Sort j, v, -6/7 in descending order.
-6/7, j, v
Suppose -7*t + 136 = 24. Suppose t*y - 33 = 13*y. Put -4, -1, y in decreasing order.
y, -1, -4
Let i = 21/2 + -59/6. Suppose 11 = -4*w + 3. Sort i, w, 5, -0.4 in ascending order.
w, -0.4, i, 5
Let t be 76/(-1)*(-5)/15. Let b = t - 25. Put b, 0.1, 6 in descending order.
6, b, 0.1
Let c = 4 - -1. Suppose n - 12 = c*n. Let j be ((-2)/6*0/(-8)*1)/1. Put j, 1, n in decreasing order.
1, j, n
Suppose -6 = -3*t - 0*t. Suppose 0 = 6*f + 7 - 25. Put f, t, 1 in descending order.
f, t, 1
Suppose -2*g - 18 = -6. Put 24, g, 1 in decreasing order.
24, 1, g
Let h be 75/30 + -1 + (-5)/(-2). Suppose -j = -v, -h*v + v = j + 8. Put 1, v, -7 in decreasing order.
1, v, -7
Suppose 8*d + 15 = 3*d. Let b = 148 + -144. Sort b, 1, 5, d in decreasing order.
5, b, 1, d
Suppose -11*p + 164 = -56. Let v be 5 + (-6)/p*16. Let b(n) = -n. Let o be b(2). Sort o, v, 0.7 in descending order.
0.7, v, o
Let j = -0.006 - -5.006. Sort 236, 0.4, j in decreasing order.
236, j, 0.4
Let f = -3.621 - -2.721. Put -0.1, 5, f, 1/5 in increasing order.
f, -0.1, 1/5, 5
Let k = 12.36 - 0.36. Let d = k + -12.5. Put -4, d, 0.9 in increasing order.
-4, d, 0.9
Suppose -74*s = -84*s + 40. Suppose 0 = -k - 1 - 1. Sort k, s, 2 in decreasing order.
s, 2, k
Let w = -12 + 17. Suppose -2*h - h = -w*i - 22, -3*i - 14 = -2*h. Put 15, h, 2 in increasing order.
2, h, 15
Let w = 4034/3 + -1328. Put -5, w, -2, -4 in decreasing order.
w, -2, -4, -5
Let g = 15 + -15. Let m(s) = -s**2 - 2*s + 6. Let a be m(g). Let u be (4 - 1) + 3 + -2. Sort a, 0, u in descending order.
a, u, 0
Suppose 0 = -3*n - 2*j + 54, 3*n - 3*j + 8*j - 54 = 0. Put -0.5, -0.1, n in ascending order.
-0.5, -0.1, n
Let i = -802.7 + 803. Sort 2, i, -2, 1.4 in ascending order.
-2, i, 1.4, 2
Let f = 42 - 42. Let u = 3 + f. Sort -5, 5, u, 0 in descending order.
5, u, 0, -5
Suppose -76 + 22 = -3*j. Suppose -3*g + 4*w + j = w, 0 = -5*g - w + 18. Sort 3, -9, g, 2 in increasing order.
-9, 2, 3, g
Let s be (-1 + 1)*(119/(-14) + 9). Put -14, s, 4 in decreasing order.
4, s, -14
Let f = -5.08 - -5.38. Let r = -5/28 + 3/7. Sort r, f, -1/4 in ascending order.
-1/4, r, f
Let g = -34.8 + 35.8. Put 1/6, -18, -2/3, g in decreasing order.
g, 1/6, -2/3, -18
Let r be -5 + 9 - 6*(-3)/(-2). Let f be (-39)/2*(-4)/3. Put -1, -4, r, f in ascending order.
r, -4, -1, f
Let r = 824 - 38726/47. Sort -0.1, -2/11, r.
-2/11, -0.1, r
Let g = 63.4 + -63. Suppose 18*z = 34*z + 16. Let c = -106/3 + 35. Put c, g, z in increasing order.
z, c, g
Let z = -717 + 717.4. Let q be ((-20)/24)/((-1)/(-2)). Sort z, 0.2, q in descending order.
z, 0.2, q
Let y = 769 + -769.5. Sort y, 0.7, -0.8.
-0.8, y, 0.7
Suppose -2*x - 4*z = -z - 49, z + 63 = 4*x. Sort x, 1/10, -2/3.
-2/3, 1/10, x
Let s = -11 - -16. Let g = -115 - -573/5. Sort g, -1, s in increasing order.
-1, g, s
Let s be -19 - -18 - (7 + 1). Let a be ((-40)/(-60))/(2/s). Put a, -4, 4 in ascending order.
-4, a, 4
Let q(c) = -100*c**3 + 4*c + 3. Let n be q(-1). Sort 1/5, -5, n.
-5, 1/5, n
Suppose 0 = -r - 2*r - b + 19, -2*r = -4*b + 6. Suppose 26 = -8*a + 10. Put -2/3, a, r in ascending order.
a, -2/3, r
Suppose -19*s + 176 = -11*s. Put 4, s, 1 in increasing order.
1, 4, s
Suppose 0 = -a - k - 70 + 25, 5*a + 3*k + 215 = 0. Let q be (-7 - -4)/((-3)/a). Let i be 16/q - (-2)/5. Sort i, 2, -2/3.
-2/3, i, 2
Let v = -101 + 96.99. Let p = v + 0.01. Let k = p - -5. Put 3/7, -2, k in ascending order.
-2, 3/7, k
Let k = 836 + -831. Sort -2, k, -104 in ascending order.
-104, -2, k
Let g = 16079/156 - 308/3. Let a = g + -2/13. Sort 0.1, 3, a, -3.
-3, 0.1, a, 3
Let o = -16.8 - -17.2. Let t = -1 - -5. Let z be ((-2)/t)/(3/(-6)). Put 3/8, o, z in decreasing order.
z, o, 3/8
Suppose -5*x = -28 + 13. Suppose 0 = 3*b + 2*b - x*w - 85, -2*b + 8 = 4*w. Suppose -r - 3 = 2*r. Put 4, r, b in ascending order.
r, 4, b
Let t = 309 - 297. Sort -5, t, 0, 2.
-5, 0, 2, t
Let j be (1/(-1))/((-3)/(-6)). Let s = -1039 + 1044. Sort s, -1, j.
j, -1, s
Let z be (-3)/(7 - 4)*-42. Suppose z = s - 8*s. Sort s, 0, 2.
s, 0, 2
Let b = 30.8 + -1.8. Let z = b - 25.4. Let u = z + 1.4. Put u, -5, -1 in descending order.
u, -1, -5
Let n = -402 - -403. Let z(s) = s - 1. Let c be z(6). Sort n, -5, c in increasing order.
-5, n, c
Let j(t) = 3*t - 8. Let u be j(4). Let n be u/(-10) + 14/10. Put 2/5, 2/31, n in decreasing order.
n, 2/5, 2/31
Let t = 31.5 - 29.5. Sort -0.5, -1, -1/6, t in descending order.
t, -1/6, -0.5, -1
Let l = -3.07 - -0.07. Let o = -1 - l. Suppose -v + 5*s + 1 = 4*s, -3*s - 12 = 0. Sort -3/7, v, o.
v, -3/7, o
Let g = 8 + -6. Let w(c) = c**3 - c**2 + 34. Let f be w(0). Let d = -36 + f. Sort d, 0, g in ascending order.
d, 0, g
Let l = -1316 - -1316. Let t = 870/119 - 52/7. Sort l, 5, t in increasing order.
t, l, 5
Suppose -195 = -116*g + 155*g. Sort -3, g, 3.
g, -3, 3
Let x = -78.5 + 12.5. Let q = -31 - x. Let m = 36 - q. Put -2/3, m, 0 in decreasing order.
m, 0, -2/3
Let j = -40 + 73. Let t = j + -31. Sort 2/7, -1/3, t in increasing order.
-1/3, 2/7, t
Suppose -r = -6*r + 25. Suppose -3*v = 2*x - 6, v = -5*x - 68 + 96. Put 1, r, x in descending order.
x, r, 1
Let u = -57 + 87. Let f = -29 + u. Suppose -c - 3*t = -8, 0 = -c - c - 4*t + 18. Sort -1, c, f.
-1, f, c
Let l = -833 - -848. Let o = -5 - -9. Put l, 5, o in ascending order.
o, 5, l
Let y = -166 + 184. Put -1, -2, y in decreasing order.
y, -1, -2
Let d be (-561)/1*(-8)/(-60). Let i = 75 + d. Let x = 0.485 + -0.185. Sort x, -2, i in increasing order.
-2, i, x
Let v = -1 + 14. Let u = -13.03 + v. Let f = -2.03 - u. Put -0.2, -5, f in increasing order.
-5, f, -0.2
Let d = -526 - -522. Sort 256, 0.4, d in ascending order.
d, 0.4, 256
Let n be (8 + -4 - 1) + -5. Let a be 8 - 3 - (-1 - -2). Sort a, n, -1, -4 in descending order.
a, -1, n, -4
Let i(x) = -x**3 + 8*x**2 - 13*x - 1. Let d be (12/5)/(10/(-25)*-1). Let s be i(d). Put -1, 2, -2, s in ascending order.
s, -2, -1, 2
Let h(a) = -25*a - 128. Let b be h(-5). Sort 3, -5, b, 1.
-5, b, 1, 3
Let f = -41/4 + 557/52. Put 1.7, 0.4, f in decreasing order.
1.7, f, 0.4
Let v = 0.69 + -0.7. Let n = 0.01 + v. Let w = -0.5 - n. Sort -4, w, -1.
-4, -1, w
Suppose -2*g = -9 + 5. Suppose 4*x + c - g*c - 20 = 0, 24 = 