 Sort 5, 1, 0, d in increasing order.
0, 1, 5, d
Let q(x) = -x - 1. Let g be q(-3). Let p(l) = -3*l**2 - 118*l - 1125. Let t be p(-25). Sort t, -5, 0, g in increasing order.
t, -5, 0, g
Suppose -6 = u - 3. Let a be -1*3*(8 + -9). Suppose -a*x - 2*i = -5, 0*x + 3*x - 2*i = 1. Put 0, u, -2, x in descending order.
x, 0, -2, u
Let q = 3822.1 - 3822. Suppose i + 10 = 3*c, -i + c - 4 = 2. Sort -76, q, 4, i in decreasing order.
4, q, i, -76
Let h = -5376 - -5385. Put h, -567, 3 in decreasing order.
h, 3, -567
Suppose 144*u = 148*u - 1796. Let j = -430 + u. Put 4, j, -1 in descending order.
j, 4, -1
Let h = 142 + -141.788. Let v = 0.712 - h. Put v, -5, -3, -4/3 in decreasing order.
v, -4/3, -3, -5
Let d(f) = -2748*f + 16417. Let l be d(6). Put 21, 3, -4, l in ascending order.
l, -4, 3, 21
Suppose y - 2 = 0, 2*c - 4*y = -y + 104. Let n be ((-3)/2 - 1)*(-198)/c. Let w be ((n - 2) + -6)/((-1)/5). Sort -4, 5, w in increasing order.
w, -4, 5
Let w = 8.409 - 0.009. Let a = -6097.9 + 6106. Let j = w - a. Sort -0.4, 1, j in descending order.
1, j, -0.4
Let c be (1*89/(-4))/(3/12). Let g = c - -85. Sort 1, 2, g, -1 in increasing order.
g, -1, 1, 2
Suppose 0 = -4*k - 5*f + 9, 2*k = -f - 274 + 271. Put 4, k, 0, -7, -5 in ascending order.
-7, -5, k, 0, 4
Let j be 1588/(-13) + (-21)/39*10/(-35). Put -2, -5, j in decreasing order.
-2, -5, j
Let b = 569.44 + -5.44. Let s = b - 566. Sort s, 2.5, 5.
s, 2.5, 5
Let m be (-3)/57 + 11926/1691 + (-10 - 2). Sort 582, 1, m.
m, 1, 582
Suppose -76*h - 10*h = 126 + 304. Let x be (1 - 1 - 2)/(-1). Suppose 41 = 5*l - 39. Sort h, x, l in descending order.
l, x, h
Let y = -65 - -64. Let j be y*(-2)/(-3)*105/(-14). Let l = -7 - -17. Put 4, l, -3, j in decreasing order.
l, j, 4, -3
Suppose 4*g + 33 = -5*u + 2*u, -g = 5*u - 13. Let q be 3*((-10)/g - 57/(-114)). Suppose 0*j + 2 = -j. Sort 6, j, -1, q in increasing order.
j, -1, q, 6
Suppose 5*u = -5*f + 70, 0 = -0*f + 2*f - 2*u - 28. Suppose -f = 14*m - 0. Let h(o) = -o**3 + 6*o**2 + o. Let b be h(6). Sort m, b, 4 in decreasing order.
b, 4, m
Let w = -19 + 20. Let v(l) = 10*l - 39. Let s(a) = 15*a - 59. Let f(m) = 5*s(m) - 8*v(m). Let r be f(4). Put r, w, 2 in increasing order.
r, w, 2
Let n = -2 + 1. Let z be (-2)/7 + (1 - 1). Suppose -415*i - 252 = -352*i. Sort i, n, z in decreasing order.
z, n, i
Let g = 2631 + -2629. Sort 5, g, -4, -62.
-62, -4, g, 5
Let z = -8387 - -8386.6. Let x be 3/3 + 3/1. Sort x, -0.12, -5, z in descending order.
x, -0.12, z, -5
Let y = -338.6 + 339. Suppose -34 - 30 = -4*n. Let q be n/(-40) + 46/(-10). Put y, q, 0.06 in ascending order.
q, 0.06, y
Suppose 2*x + 0*x = 0. Let c be (9 - 2) + 3/(-1). Let z = 9074 - 9076. Sort c, x, z.
z, x, c
Let d = 5014 - 5027. Let a = 9 + -4. Suppose -5*y = -3 + 13. Sort a, d, -1, y in descending order.
a, -1, y, d
Let t = 0.148 + 3.052. Let j = t + -4.2. Put j, 4, 1/5, -5 in increasing order.
-5, j, 1/5, 4
Let a(z) = -z**2 + 3*z. Let t(b) = -b**3 - b**2 + 10*b + 30. Let s(d) = 6*a(d) - t(d). Let c be s(5). Let w = 0.2 - 0.2. Sort c, 2, w in descending order.
c, 2, w
Suppose -b + 3*b + 3*b = 0. Let t be b + (-12)/(4 + 0). Put t, 3, 10 in descending order.
10, 3, t
Let w(q) be the second derivative of q**5/20 - q**4 - 7*q**3/3 + 8*q**2 + 2*q + 4. Let p be w(13). Sort p, 11, 0, -4 in ascending order.
-4, 0, p, 11
Let j be 3 + 0 + 1 + 5 + -10. Let t = -3 + -1. Let q = -157 - -123. Sort t, -5, j, q.
q, -5, t, j
Let y(q) = 2*q**2 - 40*q - 85. Let d be y(-2). Let t = 1.95 + 0.05. Let c = 275.6 - 276. Sort t, c, d.
c, t, d
Suppose -4*w + w - 9 = 0. Let x = 555 + -540. Let b be 3/(-12)*(-2 + 4)/(-2). Put x, w, b in decreasing order.
x, b, w
Let n = 0.0782 - 257.0782. Let p = -247 - n. Put -0.5, p, -2, 0.2 in ascending order.
-2, -0.5, 0.2, p
Let b(c) = -9*c + 189. Suppose 6*a = 342 - 204. Let y be b(a). Sort -1, 7, y in descending order.
7, -1, y
Let a be (3496/(-288))/23 - 24/(-32). Put -11, 3/2, 5, a in decreasing order.
5, 3/2, a, -11
Suppose -16*a - 240 = 15*a + 29*a. Put 31, 1, 2, 4, a in ascending order.
a, 1, 2, 4, 31
Suppose -r = 2*j + 72 - 79, -2*j - 3 = 3*r. Let u be (0 - -2)/(-2)*2. Sort u, 6, 2, r.
r, u, 2, 6
Suppose 5*b = 3*o + 11, -3*b + 3*o = -25 + 22. Put 8, b, 5, -26 in decreasing order.
8, 5, b, -26
Let w = 5243 + -5105.03. Let g = -138 + w. Let i(m) = m - 1. Let v be i(5). Sort -0.4, 2, v, g in decreasing order.
v, 2, g, -0.4
Let c(j) = 10*j + 112. Let k be c(0). Suppose -k = 4*r - 32*r. Put 0, r, -27 in decreasing order.
r, 0, -27
Let j be (1/2)/(1/(-8)). Let i = -61569 - -61569. Put j, i, 3, 5 in ascending order.
j, i, 3, 5
Suppose 330*s + 6 = c + 329*s, 2*c + 5*s + 30 = 0. Sort c, -3, 4, -25 in descending order.
4, c, -3, -25
Suppose q + 157*w + 20 = 153*w, -4*q - 3*w - 2 = 0. Put q, 347, -0.2 in decreasing order.
347, q, -0.2
Let m = 0.306 - 19.006. Let y = 19.1 + m. Put -0.5, -5, -1/7, y in descending order.
y, -1/7, -0.5, -5
Let j be 5/20 - (-74)/(-8). Let d(s) be the third derivative of -s**4/24 - 11*s**3/6 - 2*s**2. Let p be d(j). Sort 1, p, 18 in descending order.
18, 1, p
Suppose -19*c = 15426 - 2943. Let d = c + 659. Suppose 18 = 2*t - t + 2*n, -t - 4*n + 24 = 0. Sort t, d, -2 in descending order.
t, d, -2
Let m(v) = v**3 + 4*v**2 - 7*v - 9. Let f be m(-5). Suppose -9*n - 340 = -94*n. Put 2, 3, n, f in descending order.
n, 3, 2, f
Let i be (-3)/((10 - 11)*1*-1). Let p = -380.1 + 380. Suppose w + o = -1, 2*o + 3 = 9. Sort 1, p, i, w in decreasing order.
1, p, i, w
Suppose 20 = -4*a + 36. Suppose w = c + 4, -5*c - 3*w = -a*w + 20. Put -1, c, -8, 5 in decreasing order.
5, -1, c, -8
Let c = 70 - 73. Suppose -3*g - 8 - 4 = 5*z, -g + 3*z = -10. Put -18, 4, g, c in increasing order.
-18, c, g, 4
Let b = -71 - -67.1. Let y = -1.095 - -4.995. Let i = y + b. Sort -0.3, 5, i, -0.4 in ascending order.
-0.4, -0.3, i, 5
Let k be (-119)/(-15) + -7 - (4 + 22/(-5)). Sort 0.5, 1/8, 2, k, 1/13.
1/13, 1/8, 0.5, k, 2
Let q be 17/((-357)/6) - (-13)/(-28). Let h = 37/10 - 23/6. Put h, 2/7, 0.3, q in ascending order.
q, h, 2/7, 0.3
Let k = -15 + -12. Let r be (2/3)/((-6)/k*-21). Put -0.18, -0.2, r in ascending order.
-0.2, -0.18, r
Let a = 0.194 + -0.176. Let l = a - 4.018. Put -0.13, l, 3, -0.5 in decreasing order.
3, -0.13, -0.5, l
Suppose 126*a = 290 + 214. Sort 8, a, 7.
a, 7, 8
Let o be 3604/102 + -35 - (-8)/(-6). Suppose 9*h - 265 = 14*h. Put h, o, 3 in ascending order.
h, o, 3
Let b = -17.2 - -17.8. Let t = -5.86 - -5.5. Let m = -0.46 - t. Sort -0.5, m, b in descending order.
b, m, -0.5
Let y(d) = 9*d + 41. Let t be y(-12). Suppose 2*r - 5*s = -137, 3*r - 3*s = -0*r - 183. Let u = t - r. Put -2, -1, u in descending order.
-1, -2, u
Suppose 17*t + 19 = -34 - 15. Suppose 0 = -2*b - 6 + 8. Sort b, -5, t, 7.
-5, t, b, 7
Let d = 16.8005 - 0.8005. Sort d, -1, -0.3 in decreasing order.
d, -0.3, -1
Let w = 19025 - 95123/5. Put 1/5, -0.01, 0.16, w in descending order.
w, 1/5, 0.16, -0.01
Suppose 5*j - 35 + 0 = 0. Let i be 2/(-10)*(j - 2). Put i, 45, -3 in decreasing order.
45, i, -3
Let d = -230.936 + 231. Let g = -0.364 + d. Sort 0.5, g, -2/7, -3.
-3, g, -2/7, 0.5
Let a = -179 - -646. Let f = a - 462. Sort 4, 10, -3, f in ascending order.
-3, 4, f, 10
Let f be (-1 - -1) + 6/(-21). Let b = 3265 + -9797/3. Sort b, f, 4 in decreasing order.
4, f, b
Suppose 0 = 5*k + 4*b - 25, 19 = 3*k - 2*b + 4. Sort 122, 2, k in increasing order.
2, k, 122
Suppose 7*y - 3 - 2 = 2*y. Let d = -24 + 24. Put d, y, -274 in decreasing order.
y, d, -274
Let b be (0 - (-1)/(-4)) + 4182/(-328). Put -3, 3, -5, -1, b in descending order.
3, -1, -3, -5, b
Suppose 3*b + 19 = -4*s, 34*s + 22 = -5*b + 37*s. Sort b, 8, 0, 20 in descending order.
20, 8, 0, b
Let l = 200.39 - 200.67. Sort 7, l, 1/6, 2/13 in ascending order.
l, 2/13, 1/6, 7
Let z be (-2)/(-6) - ((-11409)/2808 + 4). Let u = z + 5/104. Sort -4/7, u, -3/7 in ascending order.
-4/7, -3/7, u
Let q = -169 - -178. Suppose 7*n + 2*n = -q. Let b(f) = -7*f - 2. Let v be b(-1). Sort v, n, 2.
n, 2, v
Let j = -5885 + 5893. Sort 4, j, -3, -1, 0 in ascending order.
-3, -1, 0, 4, j
Let z(y) = y**2 - 7*y - 8. Let d be z(8). Let f(i) = -18*i - 1. Let t be f(d). Sort 41, t, -4 in decreasing order.
41, t, -4
Let k = -53 - -8.1. Let l = k + 10.4. Let b = l + 34. Sort -1/4, 1/7, b in ascending order.
b, -1/4, 1/7
Let 