t n = -236 + f. Sort n, -1, 5 in decreasing order.
5, -1, n
Let a be (-1007)/(-636) + 2/(-6). Let m = -31.3 + 31. Put -2, a, m, 4 in increasing order.
-2, m, a, 4
Let l = 195 - 195. Let s(m) = -m - 1. Let d(u) = u + 1. Let j(i) = 2*d(i) + s(i). Let k be j(-4). Sort 4, l, k in descending order.
4, l, k
Suppose 19*k - 380*k = -1083. Put -2, k, -3, 17 in descending order.
17, k, -2, -3
Let k(p) be the third derivative of -p**4/4 - 16*p**3/3 + 1415*p**2. Let l(m) = m - 1. Let d be l(-4). Let g be k(d). Sort 1, g, 2 in ascending order.
g, 1, 2
Let s be (-9)/(189/18570)*(-12)/(-30). Let l = 354 + s. Sort 0, -0.03, -4, l in ascending order.
-4, -0.03, 0, l
Let k = 318.02 - 318.22. Let q = -0.03 + 6.03. Sort -2/35, q, k in decreasing order.
q, -2/35, k
Let a = 174 + -163. Suppose a*l = 10*l + 3. Put 46, l, -2, 5 in descending order.
46, 5, l, -2
Suppose -64*g - 310 = -69*g + 5*x, 5*x = -2*g + 82. Put 2, g, -17 in ascending order.
-17, 2, g
Suppose b - 18 + 263 = 0. Let n = 242 + b. Sort 11, n, -5 in increasing order.
-5, n, 11
Suppose 4*f = 6*f - 8, -2*f = 2*v + 342. Let c = v - -176. Sort c, -192, 0 in decreasing order.
c, 0, -192
Suppose -23*f = 12*f + 230 + 85. Let n be (8/14)/(4/14). Put -2, n, f, -3 in decreasing order.
n, -2, -3, f
Let g = 13 - 10.9. Let r = -1.1 + g. Let m be -29 + 45 + -13 + 3/(-2). Sort m, 4/13, r in descending order.
m, r, 4/13
Let l = 176.895 + -177. Let r = l - 0.095. Sort -29, -2/9, r, -2/5 in ascending order.
-29, -2/5, -2/9, r
Let o = -0.14061 + 0.64061. Sort 0, 3, -0.5, 1, o in ascending order.
-0.5, 0, o, 1, 3
Suppose 0 = -7127*s + 7129*s - 6. Sort -4, 875, -8, s.
-8, -4, s, 875
Let u = 3434 - 3436. Sort -1.7, 1/4, u, 3/4 in decreasing order.
3/4, 1/4, -1.7, u
Suppose -11975*t = -11974*t + 27. Put -2, -7, t, -3 in ascending order.
t, -7, -3, -2
Let i = 9024.97 + -9024. Sort -0.1, i, 0 in descending order.
i, 0, -0.1
Let q(n) = -n - 26. Let w be 6 + 1 + 1 + -4. Suppose -k + w*k + 33 = 0. Let r be q(k). Put 0, r, -2 in increasing order.
r, -2, 0
Suppose -14 = 2*d - 3*h, 7*h = -5*d + 10*h - 35. Sort d, -1, -77 in decreasing order.
-1, d, -77
Let z be 2/(13 - (26 + -11)). Sort 64, 0, z, 5 in ascending order.
z, 0, 5, 64
Let t = -2025 - -2024. Put t, -295, 3, -3 in decreasing order.
3, t, -3, -295
Let w be 4 - (7 + -6 + 0). Suppose -x + w*x = 5*x. Put x, -5, 0.04, 0.3 in decreasing order.
0.3, 0.04, x, -5
Let r be (-1)/(-5) + 27/15. Suppose 0*p - p = -4. Let t = 101049 + -101056. Sort r, -2, t, p in decreasing order.
p, r, -2, t
Let t be 4*11/77 - 10/(-7). Sort -1, t, -4, 3, 1.
-4, -1, 1, t, 3
Suppose 3 + 15 = -t. Let y(d) = -16*d**2 + 18*d - 6. Let r be y(1). Sort t, 3, r, 0.
t, r, 0, 3
Let b(u) = -2*u**3 - 26*u**2 + 16*u + 210. Let p be b(-13). Sort p, -34, -0.3 in decreasing order.
p, -0.3, -34
Suppose -1131*n + 1134*n + 141 = 0. Suppose 5*o + 25 = 2*v, -3*o - 17 = -2*v + 2. Put 1, n, v in increasing order.
n, 1, v
Let c be ((-81)/9 + 8)*-157 + 7. Sort 5, c, -4 in ascending order.
-4, 5, c
Suppose 12*y = -36 + 48. Let t be -1 - 0/(8 + -4). Put 0, y, t in increasing order.
t, 0, y
Let b(l) = -7*l - 414. Let s be b(-60). Let t be (15/s)/((-51)/(-12) + -3). Sort 0, t, 68 in ascending order.
0, t, 68
Let a = 91 + -122. Let u = a + 31. Suppose -2*o + 0*g + 22 = -5*g, 3*g + 12 = u. Sort -52, -4, -5, o in descending order.
o, -4, -5, -52
Suppose -5*n + 2*i = 11, -2*n = 3*n + 2*i - 1. Let u = 16.396 - 15.896. Sort u, -1/43, n, 1/5 in decreasing order.
u, 1/5, -1/43, n
Let m(z) = -16*z - 17. Let l be m(-1). Let k = 86 - 85. Sort l, -4, 4, k in descending order.
4, k, l, -4
Let u(p) = -p**3 - 11*p**2 + 10*p - 8. Let z be u(-12). Suppose 2*j - 5*t - 20 = 0, 2*t - 6*t - z = -j. Let i = 195 + -199. Put j, i, -2, 7 in descending order.
7, j, -2, i
Let n = 6741 + -6736. Put 3, n, -4, -37, -1 in descending order.
n, 3, -1, -4, -37
Let x be (40/12)/((-4)/(-6)). Let p be (-5)/(-4) + 3/(-12). Let h = -60824 - -60819. Sort x, p, -2, h in increasing order.
h, -2, p, x
Let k = 1552/5389 + -54/317. Put 2, k, 6, -2/3, 9 in descending order.
9, 6, 2, k, -2/3
Let s = 0.5397 + -0.326. Let p = -0.0863 - s. Put -5/2, p, 0.12 in ascending order.
-5/2, p, 0.12
Let y = 5.1 - 16.1. Let q = 5.5 + -0.5. Sort 2, q, y in ascending order.
y, 2, q
Suppose r + 2*o + 0*o + 111 = 0, -3*r - 2*o - 349 = 0. Let h = r + 124. Let g be (-5)/15 - ((-75)/(-9))/h. Put g, -4, -0.1, 1 in increasing order.
-4, g, -0.1, 1
Suppose -43*w + 48*w + 10 = 0. Put -1/5, w, -1485/4 in ascending order.
-1485/4, w, -1/5
Let s be (4180/171 - 24) + (-23)/(-9). Sort 4, -5, s, -3, -4 in ascending order.
-5, -4, -3, s, 4
Let p(z) = -25*z - 226. Let h be p(-9). Sort 1, 4, 2, h in ascending order.
h, 1, 2, 4
Suppose 0 = 3*j + 15 - 9. Let o be 1/(j*3/162). Let c be (-6)/o + (-47)/9. Sort 2, c, 13.
c, 2, 13
Suppose 0 = -2*h + a - 0*a + 1, 0 = 4*a + 4. Suppose h = 2*g - 4*g + 7*g. Suppose d + 5 = -c, -3*c + 0*c + 3*d - 15 = g. Sort c, 5, -3, 1.
c, -3, 1, 5
Let k = 0.6 + -0.2. Let l = 4516744/3 + -1505581. Put 3/25, 0, l, k in ascending order.
0, 3/25, l, k
Let r = -14 + -27. Let h = -1870 - -1866. Sort h, -1, r.
r, h, -1
Let b be 855/(-76) + (-1)/(-4) - -6. Let t be (b/(-3))/(-7 - 110/(-15)). Put -2, t, -1, -4 in increasing order.
-4, -2, -1, t
Suppose -5*l + 16 = 8*w - 5*w, -2*w + 8 = 4*l. Suppose 0 = -9*d - 24 - w. Put 10, d, -9 in increasing order.
-9, d, 10
Let x(t) = 25*t + 16. Let q be x(4). Suppose 8*s - 12 = q. Let u = 16 - s. Sort 1, u, -3.
-3, u, 1
Let p = -911 - -913. Suppose -p*q + 7*c = 3*c - 14, -2*c = -4*q + 4. Suppose 4*s - 1 - 15 = 0. Sort s, -2, q in ascending order.
-2, q, s
Let b be ((-14)/21)/((-75)/45). Sort 41.1, 0.6, b in decreasing order.
41.1, 0.6, b
Let l = -10357 + 10352. Sort 7, 0, l, -4, -2.
l, -4, -2, 0, 7
Let w = -361 + 372.32. Let z = w - 12.318. Let g = z - 0.002. Sort g, -6, -0.3 in decreasing order.
-0.3, g, -6
Let p be (-4)/(4/12*-3). Suppose p*o = 7*o - 3. Let x be (-68)/51*(o - -2). Sort x, 1, 4, -3 in descending order.
4, 1, -3, x
Let n = -1347 - -1344. Sort -5, n, 8, -4 in increasing order.
-5, -4, n, 8
Let p(q) = q**2 - 38*q + 300. Let h be p(27). Sort h, -167, -3 in increasing order.
-167, -3, h
Let x = 11.62 + -253.45. Let f = x - 0.17. Sort -3/5, -2, f.
f, -2, -3/5
Suppose 353*t = 318*t + 70. Let d(v) = 2 + 0 - v**3 - 7*v + 1 - 7*v**2. Let r be d(-6). Sort t, r, -3.
-3, t, r
Let t = -8 + 10. Suppose -4*b - 12 = t*z, 3*b - z = z + 5. Let d be 0 + -1 + -4 + b. Sort 0, -1, -5, d.
d, -5, -1, 0
Let v = -91/32 + 809/352. Sort 5/7, 4, -2/23, 2/7, v in decreasing order.
4, 5/7, 2/7, -2/23, v
Let l = 1162 + -1097.3. Let b = 65 - l. Let i be 0 - 1 - 2/(-4). Put i, b, -1 in increasing order.
-1, i, b
Let x = -34201 - -34236. Sort -3, 2, 5, 3, x in descending order.
x, 5, 3, 2, -3
Let k = -113/714 - 13/102. Let g(a) = -a**3 - 7*a**2 + 9*a + 10. Suppose -2*y - 9 = 7. Let o be g(y). Sort 8, k, o in decreasing order.
8, o, k
Let c = 30957 + -30957.52. Sort -4/7, c, 7/4 in ascending order.
-4/7, c, 7/4
Suppose 29 - 2 = -9*c. Let n = 451 - 453. Put 0, c, n, 4 in decreasing order.
4, 0, n, c
Let g be (-21)/49 + 50/35. Let k be (-10)/15 - g*(-16)/15. Put 0.06, k, 0, -0.1 in decreasing order.
k, 0.06, 0, -0.1
Let t = -411.806 - -411. Let k = t - -0.406. Sort 0.1, k, -0.1 in increasing order.
k, -0.1, 0.1
Suppose 4*f = 3*h - 76 - 67, 0 = -f - 5*h - 53. Let a be f/6 + 7 + (-2)/3. Sort 5, a, 9, 3 in descending order.
9, 5, 3, a
Let x = -2020 + 2004. Sort 1/4, x, -2, -0.1 in decreasing order.
1/4, -0.1, -2, x
Let h(o) = -100*o + 79. Let g be h(1). Sort g, 8, -1, 4 in increasing order.
g, -1, 4, 8
Let p = 6807 + -6229. Sort 3, p, 2.
2, 3, p
Let b = -15/506 + 581/2530. Let i = 6 - 6.4. Sort -66, i, b in ascending order.
-66, i, b
Let p be ((-15)/42 + 0)*(-13)/65*-4. Put 18, p, -6/13, -1 in ascending order.
-1, -6/13, p, 18
Suppose -3*q + 3*k = 6, 7*k - 26 = -3*q + 2*k. Let z be (-28)/(-70) - 22/5. Sort z, -1, 1, q in increasing order.
z, -1, 1, q
Let k = 2236 - 2232. Put k, -100, -3, -4, -2 in descending order.
k, -2, -3, -4, -100
Let n = -28682 + 28681.8. Sort -8, n, -4/3, -3, 0.5 in ascending order.
-8, -3, -4/3, n, 0.5
Suppose 2*b + 2*u - 20 = -2*u, 4*u - 12 = 0. Suppose b*q + 2*s - 10 = 0, -4*s + 4 = 3*q + s. Suppose 0 = -t + 22 - 21. Sort -4, t, -3, q.
-4, -3, t, q
