 8*w. Sort w, 1, -2 in increasing order.
-2, w, 1
Let k(w) be the first derivative of 21*w**2 - 83*w + 85. Let r be k(3). Sort 1, -3, 0, r.
-3, 0, 1, r
Let m = 299 + -325. Let g(u) = u**2 + 36*u + 268. Let y be g(m). Put -4, 4, y, 3 in decreasing order.
y, 4, 3, -4
Let d = -0.17 + 0.17. Let m = 7.05 + -0.05. Let h = m + -7.03. Sort 0.2, d, h in ascending order.
h, d, 0.2
Let y = 22 + -19. Let d be 4*y/10*(-70)/(-84). Sort d, -27, -3, -1.
-27, -3, -1, d
Let q(r) = -7*r**2 + 2*r - 3. Let o be q(2). Let j = o + 30. Suppose -3*d = -9 - j. Sort -2/3, 0.4, d in increasing order.
-2/3, 0.4, d
Let w = 739 + -692. Sort 2, w, 0.3 in decreasing order.
w, 2, 0.3
Let n(y) = -33*y - 4. Let j be n(-1). Suppose -j*f + 10 = -24*f. Suppose -2 = -f*m - 0. Put -2, m, -3 in descending order.
m, -2, -3
Let b = 56036.97 - 56037. Let v = -13 + 8. Put -0.5, 0.3, b, v in ascending order.
v, -0.5, b, 0.3
Suppose w = 5*k - 178, 0*k - 4*w - 64 = -2*k. Let g be 62/k - (-57)/(-38). Sort g, -1.2, 0.3, 2.
-1.2, g, 0.3, 2
Let i = 12.913 - 9.913. Sort 1, i, 719.
1, i, 719
Let t(m) = -12*m + 115. Let n be t(10). Let c(i) = -12*i + 55. Let d be c(2). Put n, d, -3 in descending order.
d, -3, n
Suppose -40*q - 18*q + 182 - 240 = 0. Suppose 81 = -r + 3*i, 2*r + 147 = -2*i + 3*i. Sort q, -2, 4, r in decreasing order.
4, q, -2, r
Let a = -19.41 - -0.41. Let g = 18.753 + 0.247. Let r = g + a. Sort r, -2, 2/5, -3.
-3, -2, r, 2/5
Let t be 2/(80/(-160) + (-1)/(-10)). Put 116, -1, t in descending order.
116, -1, t
Let a = 2665.35 + -2668. Sort 3, 0.1, a in decreasing order.
3, 0.1, a
Let q = -7.5 - -4.5. Let d = -17 - -38. Sort -0.2, d, q, -2 in increasing order.
q, -2, -0.2, d
Let q be 385/33 + 7 - (32/12 + -3). Sort q, -13, -5 in descending order.
q, -5, -13
Suppose 39 = -6*p - 3. Let i = 61/9 + p. Suppose 6 = -2*h - 4*b, 5*h + 6 = b + 24. Sort i, -4, -5/4, h in decreasing order.
h, i, -5/4, -4
Suppose -469*r + 470*r + 5*w = -59, -2*r = 3*w + 69. Put 1, -3, r, 2, -2 in descending order.
2, 1, -2, -3, r
Suppose 5*q - 2*o = -2, 3*q - 4*o - o = -5. Suppose -3*l + 307 = -6*g + g, 5*g + l + 291 = 0. Let m = 57 + g. Sort q, m, -3.
-3, m, q
Let a = 9/8 + -59/88. Put -1/8, a, -4, -3/2, -2 in descending order.
a, -1/8, -3/2, -2, -4
Let m = -19026/5 - -3806. Put -0.376, -0.1, 0.3, m in descending order.
m, 0.3, -0.1, -0.376
Let u = 1.321 + -1.721. Let k be (4/5)/((-1)/5). Sort 2, k, u in increasing order.
k, u, 2
Let h = -79/219 - -2/73. Let q be (-850)/(-238) - 4/7. Suppose 0 = 4*j - q*p + 8*p, 4*j + 2*p = 0. Sort h, -1, j in descending order.
j, h, -1
Let c(a) = 2*a + 3. Let n be c(-2). Let i = -158378 - -158379. Put n, 11, i in increasing order.
n, i, 11
Let a(j) = j**2 + 41*j - 4. Let v be a(-41). Put v, 4, -358 in ascending order.
-358, v, 4
Let f(q) = 3*q**2 + q - 1. Let v be f(1). Let u = -4 - -11. Suppose -i - 3*d + u = 0, 5*i + 4*d - 18 + 5 = 0. Put v, i, 2 in ascending order.
i, 2, v
Let b = -496868 - -496867.5. Let g = -4 + 6. Sort -106, g, b in ascending order.
-106, b, g
Let r(u) = u**2 - 4*u - 7. Let m be r(6). Let w(s) = -2133*s + 36264. Let t be w(17). Sort m, t, -5 in ascending order.
-5, t, m
Let t(q) be the second derivative of q**4/12 - 29*q**3/6 - 135*q**2/2 + 90*q. Let a be t(33). Let k = 0.1 - 0.5. Sort a, k, -1/6 in decreasing order.
-1/6, k, a
Let c = 0.05533 - 1.05533. Let z be (-6)/8*(-8)/(-21). Put -4, c, -0.06, z in ascending order.
-4, c, z, -0.06
Let r = -0.05 + 0.1. Let y(z) = 10*z + 85. Let g be y(-7). Suppose 6 + g = 7*q. Sort q, 1, r in descending order.
q, 1, r
Let b(l) = -13*l + 2. Let c be b(-1). Let v = -13 + c. Suppose w - 1 = v. Put 4, w, 2 in ascending order.
2, w, 4
Let p(u) = 2*u**3 + 2*u**2. Let d be p(-3). Let s = d + 147/4. Let b = 530.2 + -529.8. Sort b, s, -10 in ascending order.
-10, b, s
Suppose 84*f = 125*f + 112*f + 459. Suppose -1 = -i - 2*u, 4*i = 6*u - 3*u - 7. Put f, 14, i in increasing order.
f, i, 14
Let h(g) = g**2 - 6*g + 4. Let k be h(4). Let d = 1 - -4. Let l = 338/1281 + 4/183. Sort k, d, l in decreasing order.
d, l, k
Let x(a) = 10*a**2 + 102*a - 10. Let l be (-4)/(-3)*(1560/(-16))/13. Let p be x(l). Sort -5, -3, 0, p in descending order.
0, -3, -5, p
Suppose -5*g + 36 = -3*i, g + 5*i = -g + 33. Let p = 412 - 410. Sort p, g, 4, -2.
-2, p, 4, g
Suppose -j = 5*z + 35, -7 = 6*j - 9*j + z. Let r(t) = t**2 - 3*t - 2. Let n be r(4). Put j, 3, 11, n in decreasing order.
11, 3, n, j
Let n = -39 + 37. Let d = 0.48 - 0.79. Let t = -0.71 - d. Put n, 1, t, -1/4 in descending order.
1, -1/4, t, n
Let p = -375 - -370. Let k = 0.1 - 0. Let u = 474 + -474.01. Put p, k, u in descending order.
k, u, p
Let m = -0.15798 - 3.84202. Sort -1/4, 2177, m.
m, -1/4, 2177
Let n(r) = r**3 + 53*r**2 + 612*r + 2. Let g be n(-36). Put -3, g, -4, -44 in decreasing order.
g, -3, -4, -44
Let b = 0.4 - 12.5. Let s = b + 107.1. Let t = 93 - s. Sort -7/5, -4, t in descending order.
-7/5, t, -4
Let v = -13761 - -13761. Put v, -8/9, 11, 0.4 in decreasing order.
11, 0.4, v, -8/9
Let c(h) = 13604*h - 13608. Let w be c(1). Suppose -5*k + 10 + 15 = 0. Sort -3, k, 3, w in increasing order.
w, -3, 3, k
Let q = -5.11 + 4.31. Put 2, -2/9, 3, -5, q in descending order.
3, 2, -2/9, q, -5
Suppose 0 = -d + 2*l - 79, 7*l = 2*d + l + 158. Sort 4, 3, d, 2, -1.
d, -1, 2, 3, 4
Let n(z) = -7*z - 34. Let u be n(-6). Suppose -10*d + 11*d = -1. Put -9, 1, d, u in decreasing order.
u, 1, d, -9
Let i be (1/2)/((-8)/(-48)). Let n be (5/(-20)*-1)/((-2)/(-24)). Suppose 3*p - 12 + n = 3*c, 2*c = p. Sort i, 5, p in descending order.
p, 5, i
Suppose -5*o + 12 = 2. Let m be 10*(6/(-24) - 66/(-120)). Suppose 189 = -m*x + 153. Sort -4, -1, x, o in decreasing order.
o, -1, -4, x
Let d = 528 + -530. Put -0.8, d, -1, -60 in ascending order.
-60, d, -1, -0.8
Let q be (8/12)/((-114)/162*-9). Sort 0.3, -568, q in increasing order.
-568, q, 0.3
Let b = -187.7 - -188. Sort -12, b, 7, 0.2 in ascending order.
-12, 0.2, b, 7
Let y(x) = -x**3 + 10*x**2 - 8*x - 5. Let a be y(9). Let z be (3/6 + 0)/((-2)/a). Let n be 5 + z + 6/(-1). Put 4, n, -1, 3 in decreasing order.
4, 3, -1, n
Let x = -12453 + 12453. Sort 1279, -1, -5, x in ascending order.
-5, -1, x, 1279
Let z be -1 - 0*5/15. Sort -2, 347, z.
-2, z, 347
Let m = -11 + 2. Suppose -60*y + 50*y = -57*y + 188. Put -10/9, m, -2/13, y in descending order.
y, -2/13, -10/9, m
Let z be -2*2*1/(-2). Suppose 0*r - 20 = -r + 4*m, 3*r + 2*m - 4 = 0. Let c be (-4)/(-8) + r/(-16). Put 1, z, c, 0.2 in decreasing order.
z, 1, c, 0.2
Let s = -154 - -174. Suppose s*h + 27 = 11*h. Put h, -114, 0 in descending order.
0, h, -114
Let l = -1 + 1. Suppose l = 2*r - 6, -18 = -3*c - 0*c - 3*r. Suppose 2*i + 4 = o, 2 = 2*o - 20*i + 15*i. Put 2, o, c in ascending order.
2, c, o
Let o be 524 - ((-2)/(-8) + 9/(-4)). Suppose 5*m - o = -541. Sort m, 1/2, 6 in increasing order.
m, 1/2, 6
Let w be 778*(2 + (-15)/10). Let d = w - 378. Sort 5, 2, d in decreasing order.
d, 5, 2
Let l be 1/3 + 140/30 + -4. Sort 0.04, l, 1/5.
0.04, 1/5, l
Let u = 4921 + -4921. Sort 3.5, u, 1/6, -1 in ascending order.
-1, u, 1/6, 3.5
Let t = -1479.9 - -1480. Put -389, -0.15, t in increasing order.
-389, -0.15, t
Let c = -0.7 + 0.2. Let d = 30249 - 30251. Put 0.2, 4, c, d in ascending order.
d, c, 0.2, 4
Suppose -4 = -4*m + 12. Let u = -220 + 223. Let j be 3/3*1 + -2. Sort u, m, j, 1 in increasing order.
j, 1, u, m
Let p(y) = -20*y**2 - 4*y + 1. Suppose 0 = 3*i - 7 + 1. Suppose 3*x + 5*d - 8 = 0, i*d = -0*x + x + 1. Let q be p(x). Sort 4, -5, q in decreasing order.
4, -5, q
Let b = 7 + -48/7. Let c = 1.2 - 1. Let v = 1810 - 1814. Put v, c, b, -3 in ascending order.
v, -3, b, c
Let r = 22391.2 - 22391. Put 0, 1/4, r, 231 in descending order.
231, 1/4, r, 0
Let u = 6374 + -6372. Put -0.01, u, -598/3 in descending order.
u, -0.01, -598/3
Suppose p + 2 = 0, -m - 90*p + 87*p + 2 = 0. Put 46, m, -5 in increasing order.
-5, m, 46
Let f(h) = 5*h**2 + 42*h - 119. Let x be f(3). Sort 5, 25, x, -5 in decreasing order.
x, 25, 5, -5
Let u(y) = y**2 - 31*y + 32. Let v be u(1). Let j = 5 + -5. Put v, 51, j in ascending order.
j, v, 51
Suppose -5*s = 5*q - 10, 167 - 147 = -2*s + 4*q. Let w be 2/(-12)*-3*22. Put w, 3, s, 4 in ascending order.
s, 3, 4, w
Suppose 3*u = z + 10, -3*u - 224*z + 31 = -228*z. Sort 4, 125, u, 0.
0, u, 4, 12