0 = d + 3*d - 24. Let g(f) be the first derivative of -f**4 - f**3 + f**2/2 + 3*f + 74. Let s be g(-1). Sort d, s, 5 in descending order.
d, 5, s
Suppose -171*c - 243 + 413 = -1027. Put -46, 4, c in ascending order.
-46, 4, c
Let f = 3.24 + -3. Let b = f - -0.06. Let j be 3252/(-864)*4 - -15. Sort 2, b, j.
j, b, 2
Suppose 4 = -2*t, -2*z + 7 = 3*z + 4*t. Suppose 3660*s - 1434 = 4138*s. Sort -5, s, z in ascending order.
-5, s, z
Suppose -3*j = 13*s - 14*s - 115, -5*j = -2*s - 194. Sort -9, -5, j.
-9, -5, j
Let a = -0.1597 - 0.2403. Sort -4, a, 941.
-4, a, 941
Let h = 70 + -9. Let k = h + -60.2. Put -3/2, 4, k in ascending order.
-3/2, k, 4
Let r = 0.69 - -0.11. Suppose 20*a - 15*a - 32 = -k, -k + 4 = a. Suppose -3*d + 13 = -x, -12*d + 9*d - 5*x = -a. Put 2/9, r, d in descending order.
d, r, 2/9
Let l(j) = -j**3 + 10*j**2 + 9*j + 25. Let w be l(11). Suppose -c + 21 = -b + 3, -b = 4*c - 92. Sort 4, w, -1, c in increasing order.
-1, w, 4, c
Let r = -112.979 - -112.87. Let n = 62.291 - 63.4. Let o = r - n. Sort -5, -4, o in increasing order.
-5, -4, o
Suppose 4*g - 240 = -0*g - 3*j, 0 = 2*g + 3*j - 114. Suppose 55 - g = 2*k. Put k, -3, -5 in decreasing order.
-3, k, -5
Let y be ((-24)/(-144))/((12 - 5)/(-147)). Sort 10, -1/8, y, 4.
y, -1/8, 4, 10
Let c = 107 - 226. Let w = 136 + c. Sort 2, w, -3, -5 in decreasing order.
w, 2, -3, -5
Let t = -43 + 42. Let z(v) = v**2 - 1. Let d be z(2). Let o(h) = h**2 - 4*h - 1. Let p be o(d). Sort p, t, 5 in descending order.
5, t, p
Suppose p - 12 = 3*c, -136*p - 2*c = -139*p + 8. Suppose 0 = -z - z. Suppose -b + z*b = -2. Sort -2, 4, b, p.
-2, p, b, 4
Suppose 0 = 8*w + 3944 - 1088. Let f = 356 + w. Suppose j = -3*j. Sort j, -2, 1, f in ascending order.
-2, f, j, 1
Let z = 0.044 - -0.1. Let y = z + 0.006. Let i = 2.4 - -0.6. Put y, i, -1 in increasing order.
-1, y, i
Let h = 11922 + -11878. Put -3, -10, h in decreasing order.
h, -3, -10
Let c be 210/(-532) + -3 + (-110)/(-38). Let v = 1/11 + 29/44. Put -2/85, c, v in ascending order.
c, -2/85, v
Suppose -48 = 4*p - 60. Suppose -5 + 85 = 4*y. Suppose 3*a - y + 17 = 0. Sort p, a, -5, -10 in increasing order.
-10, -5, a, p
Let m = 2887.4 + -2887. Put 2/11, m, -3, 0.3, -1/3 in descending order.
m, 0.3, 2/11, -1/3, -3
Let i = 0.4 - 0.5. Let h be (34/(-8))/((-1)/16). Let t = 70 - h. Put i, -1/4, 0.4, t in decreasing order.
t, 0.4, i, -1/4
Suppose 0 = -5*v, 37*y - 41*y + 2*v + 24 = 3*v. Sort 88, y, -3, 3.
-3, 3, y, 88
Let q be (((-265)/70)/(6/12))/(-1). Let d = -62/7 + q. Sort d, -1/5, 2/3, 0 in descending order.
2/3, 0, -1/5, d
Let x be -8 + (1106 - 6)/(-2). Put 5, x, -3 in increasing order.
x, -3, 5
Suppose 65 + 31 = -24*s. Sort -5, s, 1/13, -2.4 in decreasing order.
1/13, -2.4, s, -5
Let g be ((-243)/(-729))/((-26)/(-12)). Let v be 3/(96/70) + -2. Put v, -3, g, 0 in ascending order.
-3, 0, g, v
Suppose 0 = -3561*n + 3582*n + 84. Put n, 2/5, -1/6, 349 in ascending order.
n, -1/6, 2/5, 349
Let d = -46.28 + 42.28. Put 2/3, d, 19 in descending order.
19, 2/3, d
Let y = 24.5 + -25. Let g = 96.46 + 0.54. Let d = g + -96.6. Sort 1, d, y in descending order.
1, d, y
Let j = -4862 + 4859. Sort j, -5, -1, -13.
-13, -5, j, -1
Let q = -423 + 596. Let g = q + -176. Put -79, -1, g in increasing order.
-79, g, -1
Let h be (1/((-88)/(-66)))/(1/4). Sort -5, 120, h, -1.
-5, -1, h, 120
Let l = 420 - 416. Suppose 2*t - 28 = -36. Let c = -11 + 6. Sort c, l, 0, t.
c, t, 0, l
Let y = -108.98 - -109. Let i = y - 0.52. Sort -0.4, 0.2, i, 16 in decreasing order.
16, 0.2, -0.4, i
Let t be -9 - 230/(-45) - -4. Suppose o - 14 = -16. Put 0.3, 1, t, o in decreasing order.
1, 0.3, t, o
Let s = -63.778 - -61.6. Let j = s + 0.178. Sort 2, 0.2, j in descending order.
2, 0.2, j
Let k(c) = -6*c - 192. Let z be k(-32). Suppose z*i - 3*i - 18 = 0. Put 6, 0, -5, i in decreasing order.
6, 0, -5, i
Suppose 5*h = 110 + 20. Suppose -2*o - 2*x - 12 = 0, -6*x - h = 5*o - 2*x. Suppose 0*w + 36 = 6*w. Put w, -3, o, -1 in descending order.
w, -1, o, -3
Let b = 8288.05 - 8288. Let k be (-8)/(-6)*(-1)/3. Put 4, k, b in decreasing order.
4, b, k
Let v = 19968 + -19987. Sort -18/31, v, -1 in descending order.
-18/31, -1, v
Let q = -9430 + 9429. Sort 2, q, 3, 4, -191 in descending order.
4, 3, 2, q, -191
Let q be (-4 - -8)/(5/1 + -3). Suppose 0 = -4*z + 3*c + 9, 5*z - 14 - 21 = -c. Let t be (25/15 - q)*z. Put -4, t, 5 in decreasing order.
5, t, -4
Let r(p) = p**3 + 100*p**2 + 100*p + 93. Let d be r(-99). Sort d, -2/9, 0.061 in increasing order.
d, -2/9, 0.061
Let u = -133.43 - -135.43. Let i = -67 + 339/5. Put -0.5, i, -0.25, u in descending order.
u, i, -0.25, -0.5
Let s be (-1)/6 + (-3)/9. Let l = 86 - 77. Let h be (11/231*14)/(2/l). Put 0.2, h, s in ascending order.
s, 0.2, h
Let o = 14831.5 + -14831. Sort -2, 28.7, -0.4, 2/3, o in descending order.
28.7, 2/3, o, -0.4, -2
Let j(y) = y**2 + 23*y - 1185. Let d be j(25). Put -1, -231, d, -2 in increasing order.
-231, -2, -1, d
Let y = 5536 - 5539. Put -4, -5, y, 6, 9 in descending order.
9, 6, y, -4, -5
Let t = -3001 - -3003. Sort 4, -16, t, -1/2 in increasing order.
-16, -1/2, t, 4
Suppose -i + 25 = -6*i. Suppose 4*j - 2*j - 4*y = 0, 3*y + 6 = 0. Let c(m) = 120*m + 1565. Let v be c(-13). Sort i, v, j, -6 in ascending order.
-6, i, j, v
Let x be (2055/81)/(-5) - (2282/(-189) - -12). Put x, 13, -4, 18 in descending order.
18, 13, -4, x
Let t = -9204 + 9205. Sort 33, t, 2, -4 in descending order.
33, 2, t, -4
Let i be ((-4)/18)/((-8)/(-894)) + -1. Let m = i + 26. Sort 0.2, m, 3.
m, 0.2, 3
Suppose 0 = -5*k + 25. Let h be 7*30/4*48/(-252). Put k, h, 2 in decreasing order.
k, 2, h
Let u = 438 + -875/2. Sort u, 12, 2/5, -5 in increasing order.
-5, 2/5, u, 12
Let c = -0.227 + 45.727. Let f = 45 - c. Put 5, 31, f in increasing order.
f, 5, 31
Let h(v) = -2*v - 2. Let i(x) = 3*x - 103. Let n(u) = 2*h(u) - i(u). Let w be n(14). Put w, -3, -2, -26 in increasing order.
-26, -3, -2, w
Suppose -10*q - 4 = -11*q, -4*q + 31 = -3*j. Put 12, -1/5, -3/7, j in ascending order.
j, -3/7, -1/5, 12
Suppose -599*h - 35483 - 5249 = 0. Sort h, -4, 42 in decreasing order.
42, -4, h
Let w = -50.4 - 15.6. Let v = w - -66. Let u = -151/3 + 2573/51. Put v, 4, u in increasing order.
v, u, 4
Let y = 4 - 6. Let f be (10/(-6) + (-7)/273*-26)/(-1). Put f, -5, y in descending order.
f, y, -5
Suppose 70 = -5*u - 4*y + 181, -3*y = 2*u - 50. Let l be (u - 15) + 1 + -2. Put l, -4, -1, -14 in decreasing order.
l, -1, -4, -14
Let m(j) = j**3 - 5*j**2 + 6*j - 25. Let q(g) = g**3 - 5*g**2 + 6*g - 25. Let d(h) = -4*m(h) + 5*q(h). Let v be d(5). Sort v, 4, -29 in ascending order.
-29, 4, v
Suppose -22 = -5*w - 152. Put 0.4, 8, 3, 0.2, w in decreasing order.
8, 3, 0.4, 0.2, w
Let g be 3*3/45*5. Let j = 7 - g. Suppose 0*h = j*h - 42. Put -3, h, -1 in descending order.
h, -1, -3
Let v = 2054 + -2057. Sort 3, v, -63, -1.
-63, v, -1, 3
Let z(i) = -2*i. Let p be z(-3). Let x = -6 + p. Suppose 65*n = 195 - 585. Put n, -5, x in descending order.
x, -5, n
Let w be ((-27)/12)/(12*(-17)/544). Suppose 0*u - 28 = 2*u. Sort 4, u, w in decreasing order.
w, 4, u
Let y = -85.7 + 85.7. Let d be (-8 + 0 + 0)/(-2). Sort d, -4, 1.5, y.
-4, y, 1.5, d
Suppose 4*w + w - 4*f - 7 = 0, -3*w + 3*f + 3 = 0. Let n = -38869 + 38874. Sort n, -3, w, 9 in descending order.
9, n, w, -3
Let c = 76 + -72. Suppose -21 = -10*a - 1. Suppose 2*o - 3*s - 2 = 7, -2*o + 12 = -4*s. Sort c, a, o, -2 in ascending order.
-2, o, a, c
Suppose 6*l = 4*v + 4*l + 888, 0 = 4*v - 3*l + 884. Let m = v + 225. Put -4, m, 0 in descending order.
m, 0, -4
Let t = -877.7 - -878.7. Put t, 26, -0.89 in decreasing order.
26, t, -0.89
Suppose -b = -5*q - 147, q = -b - 63 + 216. Let k be (-50)/(-114) - 16/b. Sort -3, 2/17, -1, k in increasing order.
-3, -1, 2/17, k
Let o = 7005 + -6937. Put o, -5, 0.2 in increasing order.
-5, 0.2, o
Suppose -5*r = -r - 12. Suppose -3*j + r = -4*n - 14, -4*n - 8 = 0. Suppose 2*f = 6, -j*k - 3*f = f - 12. Sort -2/9, k, 1/4, 5 in descending order.
5, 1/4, k, -2/9
Let w(c) be the first derivative of 2*c**3 + c + 1. Let n be w(1). Suppose 66*z + 14 = 73*z. Put n, z, 1, -4 in decreasing order.
n, z, 1, -4
Let c = -445 + 444.6. Let j = 0.001 + -6.001. Let y = -5 - j. Put y, c, -10/3 in increasing order.
-10/3, c, y
Let u = -21505 - -21503. Put 11, 17, 