284 = -m - 0*m. Suppose 427*a + 46 = t*a. Sort a, g, -4 in decreasing order.
a, g, -4
Let d = 578 - 21388/37. Let h = -1.824 + -3.176. Put h, 2, d in descending order.
2, d, h
Let a = 459 + -458.678. Let h = a - 0.322. Sort 0.1, -2/9, h, 2/11 in descending order.
2/11, 0.1, h, -2/9
Let q = 491.6 + -487.6. Put 1/2, q, 1/4, -5, 0.1 in descending order.
q, 1/2, 1/4, 0.1, -5
Let f be (0 - -1)/1*0. Let l be (-12 - -9) + (-188)/(-141)*(1 + 2). Put -5, 4, l, f in descending order.
4, l, f, -5
Suppose 0 = o - 4*o + 167 - 155. Sort 2, -0.0606, 0.5, o in decreasing order.
o, 2, 0.5, -0.0606
Let i be (-20)/(-3)*(3 + 0) + -2. Suppose -3*j = -4*j - 4*h - i, -2*j = -h. Suppose 2 = -3*c - d - 11, 0 = -d - 4. Sort c, -5, j.
-5, c, j
Let d(n) = -6*n - 137. Suppose -5*l + 10 = 0, 5*p + 0*p + 105 = -5*l. Let f be d(p). Sort f, 1/2, 6/11 in ascending order.
1/2, 6/11, f
Suppose 0*t - 57*t = -342. Let r = -232.1 + 232. Sort 4/5, t, r.
r, 4/5, t
Let p be (-124)/(-558) - (-50)/18. Sort -2, 132, p, 4 in increasing order.
-2, p, 4, 132
Let z = -476 + 468. Let s(w) = -2*w**3 - 12*w**2 + 53*w - 19. Let j be s(z). Sort 1, j, 5 in decreasing order.
5, 1, j
Let s(b) = b**2 + 14*b + 20. Let x be s(-1). Sort 19, 1, x in increasing order.
1, x, 19
Let w = -235.52 - -236.52. Put -0.9, w, 4, -15 in descending order.
4, w, -0.9, -15
Suppose -4 = -g - 4*y, -50*y = -3*g - 51*y - 10. Put -2, 16, 1, g in ascending order.
g, -2, 1, 16
Let z(k) = k**2 + 97*k + 2344. Let h be z(-46). Sort h, 1, 2, 77 in ascending order.
h, 1, 2, 77
Suppose -8*f - 260 = -348. Let d be 11/(-10) - (f + -14 - -2). Sort 3/4, -2, -1, d in decreasing order.
3/4, d, -1, -2
Let x be -2 + (-2)/1 + 5. Let y be (1/2)/(41/328). Sort x, y, 3, -7 in ascending order.
-7, x, 3, y
Let m = 1522 + -1521.978. Let o = -2.92 - 12.102. Let v = o + m. Put 5, -0.5, v in increasing order.
v, -0.5, 5
Let s = -193 + 195. Let b = -193 + 193. Put 6, b, 1, s in ascending order.
b, 1, s, 6
Suppose -46 = 6*p + 26. Let d be (18/p)/(15/(-6)). Sort d, -1, -8/7 in ascending order.
-8/7, -1, d
Let q = -7435 - -7430. Sort 27, q, -4, 5 in increasing order.
q, -4, 5, 27
Let p(z) = -z**3 + 26*z**2 - 47*z - 23. Let m be p(24). Sort -0.1, -4, m, 0.06.
-4, -0.1, 0.06, m
Let g = 78.4 - -22.6. Let i = g - 105. Put -5, i, -1.1 in descending order.
-1.1, i, -5
Let x = -2573 - -2568. Let w be 4/(1 - -1) + 1. Let f(j) = j**3 - 9*j**2 + 7*j + 8. Let r be f(8). Sort x, r, w.
x, r, w
Suppose 2490*r - 438 = 2709*r. Let w(b) = 4*b**3 + b**2. Let h be w(-1). Suppose 2*f - 22 = -2*t + 6*f, 23 = -2*t - 5*f. Sort r, t, h in decreasing order.
t, r, h
Let p(x) be the first derivative of x**3 - 7*x**2/2 - 6*x + 2. Let v be p(3). Sort 7, v, 5.
v, 5, 7
Let u be (-4)/6 + (-7)/3. Let n be (-8)/52 + 350/(-91). Let w(v) = -14*v - 51. Let i be w(n). Put u, -4, -2, i in descending order.
i, -2, u, -4
Let t(i) = 3*i**2 + 12*i + 13. Let d be t(-2). Sort -2, d, 5, -5 in ascending order.
-5, -2, d, 5
Let n be (-17563)/(-3150) + (56/(-36) - -2) + -8. Sort n, 3, 2 in descending order.
3, 2, n
Let p = -8.186 + 25.186. Sort -1/5, p, -255 in ascending order.
-255, -1/5, p
Let i = -2/621 + -1033/621. Let y be (-370)/122 + 4 + -1. Put y, -0.5, i in decreasing order.
y, -0.5, i
Suppose -f = -5 + 3, 0 = 2*s + 5*f - 36. Let l(c) = -4*c - 9. Let b be l(6). Let j = -38 - b. Sort s, 3, j in descending order.
s, 3, j
Let g be 6/10*(-70)/126. Sort g, 2/7, 3, 5 in ascending order.
g, 2/7, 3, 5
Let x be 2/4*2/5. Let i be (-17)/((-1377)/828) - 10. Put x, i, 8, -4/3 in decreasing order.
8, i, x, -4/3
Let t be (2 - 12)*(-6)/(-12). Suppose -3*w - 65 = w - b, 0 = -w + 4*b - 35. Let u be 3/w + 36/(-45). Sort t, u, 1, 5 in decreasing order.
5, 1, u, t
Suppose 6*s + 17 - 77 = 0. Suppose 15 + s = -5*b. Let d be 1/(-6) - (-76)/24. Put b, d, 4 in decreasing order.
4, d, b
Let p = -4818.4 - -4818. Sort -3, 9, p, 0, 12 in decreasing order.
12, 9, 0, p, -3
Let d = -16.27 + 0.27. Let u be (2 - -1)/((-267)/(-356)). Put d, 0.1, u in ascending order.
d, 0.1, u
Let g(x) = x**3 + 23*x**2 - 15*x + 216. Let c be g(-24). Put 3, -3, -5, c, -1413 in decreasing order.
3, c, -3, -5, -1413
Suppose 3*w + 4*n + 19 = 0, 4*w + 11*n - 26 = 13*n. Sort w, -5, -1, 23, -4.
-5, -4, -1, w, 23
Let l be 28/(-10)*570/(-399). Put l, 2, 547 in descending order.
547, l, 2
Let f = 3.5 - 4. Let t = 2341 - 2242.3. Let j = t - 98. Sort f, -4, j, -2/5 in decreasing order.
j, -2/5, f, -4
Let n(u) = u - 7. Let f be n(6). Let h be 2418/558 + 43/(-3). Sort f, h, 6.
h, f, 6
Let h(j) = 4*j**3 + 264*j**2 - 6*j - 395. Let b be h(-66). Let a(m) = -2*m + 6. Let s be a(4). Sort s, b, 10, -3 in descending order.
10, b, s, -3
Let s = 8695 - 78253/9. Sort 0.45, 0.1, -5, 0.3, s in decreasing order.
0.45, 0.3, s, 0.1, -5
Let m = 3 + -6. Let l = 0 + 1.3. Let u = 167 - 1167/7. Put u, l, m in decreasing order.
l, u, m
Let j = 10602 + -10613. Put j, -7, 5, -3 in ascending order.
j, -7, -3, 5
Let v be 3 + 4 + 10/(-1) - -3. Let m(n) = n**2 + 20*n + 3. Let c be m(v). Let r = -5 - -6. Put c, 4, 17, r in ascending order.
r, c, 4, 17
Let z be -15*(4/18 - 456/1080). Sort 0, z, 731 in descending order.
731, z, 0
Let t = 561 - 544. Suppose -3*b - 12 = -d, -2*b + t*d + 2 = 13*d. Sort -4, 7, b in descending order.
7, -4, b
Let o be (-71)/(-11) + ((-55040)/9116 - (-4)/106). Sort -1/2, o, 10 in increasing order.
-1/2, o, 10
Let b = 92962/9 - 10328. Put b, 0.4, 98, 5, -4/7 in descending order.
98, 5, b, 0.4, -4/7
Let s(t) = -3*t**2 + t + 3. Let p(b) = -3*b**2 + 4. Let x(r) = 3*p(r) - 4*s(r). Suppose 0*v = -11*v + 22. Let l be x(v). Sort -3, 6, 0, l in decreasing order.
6, l, 0, -3
Suppose -422*b - 149 - 1215 = -98. Put -6, 160, b in descending order.
160, b, -6
Suppose 5*n - 3*n - 6 = 0. Let i(d) = -5*d - 34. Let p(c) = -7*c - 27. Let r be p(-3). Let x be i(r). Put n, x, 0 in increasing order.
x, 0, n
Suppose 3*j + 0*j + 9 = 0. Let n = -295342 - -295343. Suppose 5*d + 3*o + 40 = 0, -2*d + 3*d = -4*o - 25. Put -15, d, j, n in decreasing order.
n, j, d, -15
Let n = 11774 + -294278/25. Put n, -4, 1 in descending order.
n, 1, -4
Suppose 2*l + 8 = 5*q, 6*l - 2*l = -4*q + 12. Suppose -v = 4*v + 20. Put v, q, -8, -3 in decreasing order.
q, -3, v, -8
Let p(v) = v + 11. Let s be p(-6). Let r be 1/3 + 1120/15. Let k = r - 76. Sort -3, 12, k, s.
-3, k, s, 12
Let o = 0 - 21. Let r(d) = -d**2 + 7*d + 411. Let z be r(-17). Let v = -9 - -5. Put v, z, o in descending order.
z, v, o
Let g = -2550 + 2549.9. Sort -96, g, -12, -3/7.
-96, -12, -3/7, g
Let u be (2/(-3))/((-175)/(-42) + -4). Put 2, 15, -3, u in increasing order.
u, -3, 2, 15
Let y be (7 - (-3 + 2)) + 4. Let a = -12720 + 12721. Sort -3, a, y.
-3, a, y
Suppose 0*c + 6*c = 42. Let l be (c/(-28))/((-2)/(-24)). Put 3, 28, l in decreasing order.
28, 3, l
Let z = -13 - -17. Suppose 0 = 2*u - 6 + z. Let n be 2*(-4)/(-6)*(-102)/272. Put n, u, -1/6 in descending order.
u, -1/6, n
Let l = 3 + 0. Let q = 0.076 - 0.176. Let t = q + -3.9. Put 0.05, 0.5, l, t in decreasing order.
l, 0.5, 0.05, t
Suppose -2*t - 1 - 5 = 0. Let f be 9/(-6)*1*(1 + -3). Suppose -f*q - 5 = r + 1, 0 = 3*q - r. Sort -4, q, t in ascending order.
-4, t, q
Suppose 195*b = 189*b + 84. Suppose -b*y = -19 - 79. Sort -3, y, 3 in descending order.
y, 3, -3
Let h = 4183/5 + -836. Sort h, 21, -0.5, -2/7 in decreasing order.
21, h, -2/7, -0.5
Let i = -4 + 6. Let j be ((-4)/6)/(15/(-9)*(-10)/75). Sort -14, i, j, -1 in increasing order.
-14, j, -1, i
Suppose -1012 = -4*w + 3*c - 1017, w = 2*c + 5. Sort w, 17, 5, -14.
-14, w, 5, 17
Let z = 0 + 1. Let w be (3 - -2) + (6 - ((13 - 7) + 8)). Suppose 10*a + 20 = 5*a. Sort z, a, w.
a, w, z
Let s = 2456/3 + -819. Let b = 1247/7 + -179. Sort s, -0.4, b, 0.
b, -0.4, s, 0
Let m = -182.7 - -192. Let v = m + -10.3. Sort 2/31, v, 1 in increasing order.
v, 2/31, 1
Let h = 14450 + -14434. Sort 5, 0, 4, h in decreasing order.
h, 5, 4, 0
Let x = 1494 - 727. Let s = -751 + x. Sort 1, 2, s in increasing order.
1, 2, s
Let u = 3.5474 + -0.1474. Put 3/5, u, -1 in descending order.
u, 3/5, -1
Let q = 333.11 - 331. Let j = q + -2. Let n = -265.2 + 263.2. Put j, 4, n in descending order.
4, j, n
Let n = 0.453 - -0.047. Let c = 15 - 13. Let a = 5 - c. Put n, a, 2 in descending order.
a, 2, n
Let p = 87.3 - 87. Let c = 5 + 1. Let b be (c/(-5))/((-12)/45).