 m, -47
Let l = -27398 + 27396. Let p = 29 + -144/5. Put -0.7, p, 4, l in decreasing order.
4, p, -0.7, l
Let d be 198/(-18) - ((-6)/(-57) + 616/(-76)). Suppose 5*v - 20 = -0*v. Suppose 5*m - 2 = v*m. Put 5, m, d, 1 in descending order.
5, m, 1, d
Suppose 4*i + 5 = 5*s, -4*s - 10 = -i - 25. Let n = -22 - -17. Sort i, -0.3, n in decreasing order.
i, -0.3, n
Let w = -0.008633 - 2.991367. Let l = -0.12 + 0.132. Put 5, w, l in decreasing order.
5, l, w
Let v = -0.7 + -0.3. Let c = 1461 + -1458.5. Put v, c, 4 in descending order.
4, c, v
Suppose -39 = 3*i + 3*q, 3*i + q = -1 - 22. Sort i, -3, 10, 25 in descending order.
25, 10, -3, i
Let c = -35140 - -12790877/364. Let u = c - 3/52. Let g = 2 + -1.6. Sort -0.17, 5, g, u in decreasing order.
5, g, -0.17, u
Let h(j) = -4*j**2 + 2. Let q be h(-2). Let n be (-4)/14 + (-32)/q. Let y = 18795 - 18799. Put y, n, -0.4 in descending order.
n, -0.4, y
Let a = 0.551 + -0.051. Let g = 2.09 - 2.11. Sort -0.01, g, a in ascending order.
g, -0.01, a
Let j be 7/21*(1 + 2). Let g = -276 - -274. Let h be 203/(-14) + 9 + (-5)/g. Put 0, j, 3, h in decreasing order.
3, j, 0, h
Let r = -1463 - -1463.13. Let v = 135 + -134.7. Put v, 1/6, r, -2 in descending order.
v, 1/6, r, -2
Let x = 925 + -267. Let h = 653 - x. Sort -1, -1.6, 0.1, h in descending order.
0.1, -1, -1.6, h
Let q = -408.8 + 406.8. Sort q, -109, 4 in decreasing order.
4, q, -109
Let h be (16 - (4 + 13))*(-1*1 - -2). Put 3, h, 351, 4 in ascending order.
h, 3, 4, 351
Suppose 3*u - 18 = -9*r, -5*u + 21*r - 17*r + 11 = 0. Sort -0.1, -1/308, -3, u in decreasing order.
u, -1/308, -0.1, -3
Let o be 2/2 + 132 + (9 - 4). Let s = 135 - o. Put s, 5, 4, 1 in descending order.
5, 4, 1, s
Suppose 22 = -23*z + 47*z - 26. Suppose -4*k + k - 39 = 0. Put -2, k, z in decreasing order.
z, -2, k
Suppose -260*h = -5244 - 2556. Sort -1, 0.2, -4/3, h, -19.
-19, -4/3, -1, 0.2, h
Suppose -i + 2*g - 1 = -0*i, 3 = 3*i - 3*g. Let d be -8*(-63)/18 + -27. Let f be 0*(-2)/(-8)*-2. Put f, i, d in descending order.
i, d, f
Suppose 67 - 27 = -10*k. Put 2, 1, 7, 3, k in ascending order.
k, 1, 2, 3, 7
Suppose 0 = 26*u - 25 + 129. Sort 3, u, 58 in decreasing order.
58, 3, u
Let s be 6/(-45) + (-128)/(-60). Let z be 6 + s*18/(-12). Put 5, 64, z in decreasing order.
64, 5, z
Suppose 2*r - 3*l = -0*r - 426, -5*l = -10. Sort 4, r, 3 in ascending order.
r, 3, 4
Let c = 4448 - 4455. Suppose -5*o + 9 = -3*f - 10*o, 4*f = 3*o + 17. Sort c, -2, f in ascending order.
c, -2, f
Let y = 1768 - 1190. Let p = 577.7 - y. Sort 31/2, p, 0.1 in increasing order.
p, 0.1, 31/2
Let q = -83 + 95. Suppose s = -3*f + 2*s - 18, -2*f - q = 3*s. Let k be 3/5*(-1 - f). Put 7, -5, 1, k in descending order.
7, k, 1, -5
Let q be (195/(-25))/((-177)/(-295)). Sort 3, 4, -3, q in ascending order.
q, -3, 3, 4
Let f = 3975 + -3975.3. Put -0.5, 3/19, 10, f in increasing order.
-0.5, f, 3/19, 10
Suppose -6*r = 3*r - 18. Suppose 7 = r*t - 5*f, -4*t + 2*t = -f + 5. Let d = -0.2 + 0.4. Put 3/7, d, t in decreasing order.
3/7, d, t
Suppose 2*t + 3*t = 0. Let p(c) = 5*c + 53. Let w be p(-5). Suppose -o - 4*n - 13 = 0, -4*o - w = 5*n - n. Sort t, o, -3, 2 in descending order.
2, t, -3, o
Let q = 2112 + -2111. Put q, -5, -1, -4 in increasing order.
-5, -4, -1, q
Suppose 9*o - 420 = 2*o. Let x = -36 + o. Suppose 5*h = 7 - 27, -3*q + 3*h + x = 0. Sort q, 2, -3, 3 in increasing order.
-3, 2, 3, q
Suppose -27*q + 33*q + b - 394 = 0, b = -5*q + 329. Sort q, 88, 5 in descending order.
88, q, 5
Let f = -16 - -12. Let w(b) = 6*b**2 - b + 5. Let s be w(0). Suppose 0 = -28*r + s + 51. Sort r, 0, 4, f.
f, 0, r, 4
Let d(h) = h**2 + 7*h - 306. Let m be d(14). Suppose 3*k + 4*q - 28 = -2*k, -k - 4*q = -12. Sort m, 2, k, 3.
m, 2, 3, k
Let t = 285 + -285. Suppose 5*s = 5*j - 50, t = 4*j + 5*s - 25 + 30. Put -1, 10, j in ascending order.
-1, j, 10
Let y(g) = 3*g**2 - 2. Let q be y(-1). Let s = -251 + 245. Sort 0, s, q in descending order.
q, 0, s
Let s(x) = x - 7. Let n be s(4). Let p = -63193 - -63194. Sort 9, 0, n, p in descending order.
9, p, 0, n
Let v = 114 - 110. Let b(l) = -3*l**2 + 12*l + 15. Let p be b(5). Sort p, v, -2, -1 in increasing order.
-2, -1, p, v
Suppose 1010 = 14*x + 996. Let a be (-6)/27*(-3 + 2). Sort -0.6, a, x.
-0.6, a, x
Suppose -11*i + 83 = 3*i - 85. Let b(t) be the first derivative of -t**2 + 37*t - 1. Let u be b(i). Sort 0, u, -2 in decreasing order.
u, 0, -2
Let c be 100/40 + (27/(-12))/(33/(-22)). Put 0.2, -1, c, 11, 0.3 in increasing order.
-1, 0.2, 0.3, c, 11
Let r(f) = -21*f + 8. Let t(l) = -18*l + 7. Let b(p) = 2*r(p) - 3*t(p). Let s be b(0). Put 3, s, -18 in decreasing order.
3, s, -18
Let a = -875 - -362. Let p = -510 - a. Let b(m) = 2*m - 1. Let r be b(-1). Sort 1, p, 5, r in ascending order.
r, 1, p, 5
Let z(v) = 2*v**3 + 33*v**2 + 47*v + 28. Let g be z(-15). Sort -3, -12, -4, g in descending order.
g, -3, -4, -12
Let l = -5.9565 - -10.9565. Let p = -0.7 - -0.2. Sort p, -7, l.
-7, p, l
Let u = 64427 + -64428. Let h(y) = -2*y**2 + 3*y - 3. Let s be h(3). Sort 4, u, 1, s in ascending order.
s, u, 1, 4
Suppose -4*c = -5*y + 5, c - 2*y - 3 = -2. Let r(o) = -o**3 - 5*o**2 + 24*o + 2. Let h be r(-8). Let g be 216/8*h/6. Sort c, g, -2 in increasing order.
c, -2, g
Let a = 32 - -21. Let c = -58 + a. Let i = 0.01 + -0.01. Sort i, 2, c.
c, i, 2
Let t = -73 + 57. Let z be (-1)/(-2)*(-14 + t/(-4)). Let s(h) = 3*h + 12. Let j be s(z). Put j, 2, 4, 1 in descending order.
4, 2, 1, j
Let t = -1635/7 + 234. Let r = -97 - 26. Let s = r - -118. Put t, s, 0 in decreasing order.
t, 0, s
Let m = 64 + -66. Let u(k) = k**2 + 20*k - 49. Let h be u(-22). Let w be ((-6)/(-10)*h/4)/(-3). Put -1, -2/7, m, w in ascending order.
m, -1, -2/7, w
Let w = -23 + 20.7. Let r = w - -3.3. Let j = -816 + 813. Put r, 3, -2/5, j in decreasing order.
3, r, -2/5, j
Suppose 7*l + 4 + 31 = 0. Let n be (-1)/(-3) - 77/(-21). Suppose 0 = 20*q - 18*q - n. Sort -2, -1, q, l in ascending order.
l, -2, -1, q
Let y = 5329 + -5330. Let z be (-2 - 2)*(-57)/12. Sort y, z, 3 in decreasing order.
z, 3, y
Suppose 4*d + 1 = 5, 7 = -2*v + 3*d. Let i = -1241 + 1237.286. Let b = -0.286 + i. Put b, -0.2, v, 3 in increasing order.
b, v, -0.2, 3
Let o = 1529 + -1007. Let h = o - 522. Sort -0.29, 4, h in increasing order.
-0.29, h, 4
Let r = -118/77 + 12/7. Let c = 275.09 + -277. Let i = c + 0.91. Put r, -6, -3, i in decreasing order.
r, i, -3, -6
Suppose 0 = 3*q - y + 5*y - 15, 2*y + 6 = 0. Suppose 15*z + 96 = q*z. Let r = 20 + z. Put r, -0.1, 2/23 in ascending order.
-0.1, 2/23, r
Let d(g) = g**2 + 12*g - 13. Suppose -4*b - 5*m = -9*m + 20, -3*m + 21 = -5*b. Let a be d(b). Sort 0, a, 1/3 in decreasing order.
1/3, 0, a
Let x = 9590/3 + -3192. Sort x, 5, 0.6 in descending order.
5, x, 0.6
Let h be ((-80)/(-24) + -4)*507/2. Let a = -1522/9 - h. Put a, -3, 0.4 in increasing order.
-3, a, 0.4
Let r be 4/(-48)*3 + (85/20 - 3). Sort 9, -20, r in increasing order.
-20, r, 9
Let p = 1157 + -1145. Sort -2, -3, p, 3, 5 in descending order.
p, 5, 3, -2, -3
Let j = -25513.5 + 25514. Put 63, j, -4 in descending order.
63, j, -4
Let c = 450 - 455. Let i(g) = g - 1. Let w be i(5). Suppose 3*z - 6 - 4 = -k, 0 = -k - w*z + 14. Put 5, k, 20, c in descending order.
20, 5, k, c
Let n = 6 + -41. Let a be (-23)/(-5) + (-14)/n. Suppose 5*y - u - 2*u = 20, a*y = -2*u + 20. Put -2, 3, y in ascending order.
-2, 3, y
Let t = -43771 - -43775. Sort t, 1, -142.
-142, 1, t
Let n = -116762/49 - -2383. Sort n, 1/3, -3 in ascending order.
-3, n, 1/3
Suppose -2*g = 10, -2*p + g = -g - 16. Let w(z) = z**3 + 57*z**2 + 779*z - 94. Let x be w(-34). Sort p, x, 4.
p, 4, x
Suppose -4*c + 11 + 13 = 0. Let x be -3*(-1 - (-14)/c). Let n = 3.2 - 5.2. Sort 3/4, x, 5, n.
x, n, 3/4, 5
Let z(v) = -132*v - 4829. Let y be z(-37). Put -9, y, 4 in increasing order.
-9, 4, y
Let w be (-32)/(-5) + (-6)/15. Let h be (-2)/(3/(w/(-4))). Suppose 417*r + 438*r = 1710. Put r, -1, h in increasing order.
-1, h, r
Let q = -0.06756 - 0.23244. Put 4, -7, -0.4, q, -21 in decreasing order.
4, q, -0.4, -7, -21
Suppose 7 = -3*n - 4*n. Suppose 2*u - 48*u = -92. Suppose -4*o + 3*j + j = 40, 0 = 5*o - j + 70. Sort o, n, u, -5 in increasing order.
o, -5, n, u
Let k = -1188.9 + 1188.88. Put 0.3, k, -0.2, 1, -2 in ascending order.
-2, -0.2, k, 0.3, 1
Let u