-2)*24/84. Sort z, -4, k in descending order.
k, z, -4
Let i = 28 + 4. Let n = i - 29. Suppose 2*o = -n*o + 20. Put o, -1, -3 in increasing order.
-3, -1, o
Let s = -18 - -18.32. Let t = s - -8.28. Let b = t - 9. Sort b, 3, 1.
b, 1, 3
Let o = -9 + 13. Let f(b) = -b + 1. Let i(v) = -7. Let h(k) = 2*f(k) + i(k). Let l be h(-3). Sort l, 0, o.
0, l, o
Let x = 154 + -154. Suppose 28 = 2*d - 2*z - x*z, -5*d - z = -46. Put 1, -1/3, -3, d in decreasing order.
d, 1, -1/3, -3
Let i = -8.35 - -8.15. Sort 45/8, 2/11, 0.2, i in ascending order.
i, 2/11, 0.2, 45/8
Let h be 50/8 - 5/((-25)/(-30)). Suppose 4*t + 5*o = 29, -5*o + 23 = -2*t - 0*t. Sort t, 4, h, -1/6 in increasing order.
-1/6, h, t, 4
Suppose 0*l - 3*l = 6. Let i be -8*1/(-2) + 3 + -11. Let y be (0/(-2))/((-4)/2). Sort y, i, l in increasing order.
i, l, y
Let v = 128 + -252. Let r = 121 + v. Sort -4, -9, 0.3, r.
-9, -4, r, 0.3
Suppose 3 = 2*d + 4*o - 5, d = o - 2. Let u be -2*(-2 + d)/(-2). Let h = -7 - u. Sort h, -7, 4 in descending order.
4, h, -7
Let i be (192/(-63) - 3) + (-1 - -7). Sort 0.4, -10, i.
-10, i, 0.4
Suppose 3*v - 23 = 5*g, 6*v - g = 8*v + 2. Let d be -1 + v + 0 - (8 - 8). Sort 1, -5, d in increasing order.
-5, d, 1
Let d = -0.083 + 48.083. Let t = d + -34.3. Let f = t - 14. Sort -1, f, 7 in descending order.
7, f, -1
Let z be -35 + (4 - (-5 - -1)). Sort -4, 3, z, -1.
z, -4, -1, 3
Let r = -448 - -449. Let o = 1 + 4. Put r, -3, o in increasing order.
-3, r, o
Suppose 5 + 11 = 4*g. Suppose 8*b - 9*b - 20 = 0. Let u be (7 + 105/(-14))/((-2)/b). Sort 5, g, u in descending order.
5, g, u
Let c(f) = -f**2 - 5*f + 2. Let a be c(-4). Suppose 0 = -23*p + 20*p + 6. Put -2, a, 5, p in ascending order.
-2, p, 5, a
Let u = -2.4 - -0.4. Suppose -76*y = -87*y - 11. Put u, y, 5 in increasing order.
u, y, 5
Let v(o) = 96*o**3 - 2*o**2 - 3*o - 2. Let m be v(-1). Let u = m + 98. Put -1, u, 4 in descending order.
4, u, -1
Let o(v) = v**3 - 23*v**2 - 26*v + 54. Let r be o(24). Let t = 11 - 13. Put -5, t, r in increasing order.
-5, t, r
Suppose i - 2 - 3 = 0. Suppose -i*w = t - 19, -5 = -2*t - 7. Sort -2, w, 3.
-2, 3, w
Let b(s) = -s**3 - 19*s**2 + 23*s + 64. Let f be b(-20). Sort -3, 29, f in increasing order.
-3, f, 29
Suppose 16*m + 20 = 11*m. Let c be (5/15)/(1/3). Let w be (c/(-3))/((-3)/(-27)). Sort m, -5, w in decreasing order.
w, m, -5
Let m(u) = u**2 + 5*u + 2. Let h be m(-5). Suppose 1 = h*n - 3. Sort 4, n, -1 in decreasing order.
4, n, -1
Let d = -12.77 - -12.57. Sort 6, d, -2/13, 6/11 in descending order.
6, 6/11, -2/13, d
Suppose 53*o = 4*o + 588. Put -2, 3, o in descending order.
o, 3, -2
Suppose -p = -3*s + 6, 2*s + 2*s - 3*p = 13. Suppose 0 = -4*b + 3*b. Suppose -3*m + 22 = 5*y - 0*m, 2*m - 8 = b. Sort 4, y, s in descending order.
4, y, s
Let g = 0.19 - -0.01. Sort 28, g, -3.
-3, g, 28
Let f(w) = 22*w - 151. Let j be f(7). Sort j, 7, 5 in descending order.
7, 5, j
Suppose -30 = -5*d + 4*d. Let c be (-36)/48*(-8)/d. Let l = c + 0. Put l, 1/8, -0.1 in decreasing order.
l, 1/8, -0.1
Suppose 4 = -m + 4*x - 15, 31 = -5*m + 4*x. Sort 6, -0.01, m, 0.5 in decreasing order.
6, 0.5, -0.01, m
Let x be (3/(-6))/((-2)/(-48)). Let b = x + 19. Suppose -3*p = -5 - b. Put p, -1, -4 in decreasing order.
p, -1, -4
Let k(i) = -i**3 + 3*i**2 - 4*i + 4. Let l be k(3). Let n be l/(-8) - 1/2. Sort n, -1, -13 in descending order.
n, -1, -13
Let i = -184 - -182. Sort i, -40, 0.4 in descending order.
0.4, i, -40
Suppose 14*o = 11*o + 3. Put 3, o, -4, -1 in increasing order.
-4, -1, o, 3
Suppose -39*z - 195 = -54*z. Suppose 3*u - 9 = 6*u. Sort 5, 0, z, u in increasing order.
u, 0, 5, z
Let q be ((-26)/(-10) - (-4)/10)/1. Let p = q + -1. Let d = 4 - 1. Put d, p, 7 in ascending order.
p, d, 7
Let z(x) = x**2 + x + 1. Let r(v) = v**3 - 10*v**2 + 17*v + 35. Let q(k) = r(k) - 5*z(k). Let u be q(14). Put u, 0, -5 in decreasing order.
u, 0, -5
Suppose 3*t - 7*t + 9 = 5*g, 0 = -t + g - 9. Put 1, 0, -68, t in increasing order.
-68, t, 0, 1
Suppose 3*y + 2*a - 10 = 0, 0*y + 2*y - 5*a = -25. Let v be (2 + 24/(-20))/((-25)/(-125)). Sort 2, y, v in descending order.
v, 2, y
Let c = -370 + 574. Suppose -c + 54 = -5*w. Suppose -w = -4*b - 10. Sort 1, b, 3 in descending order.
b, 3, 1
Let g be (0 - 8/104)/((-8)/52). Put 5, -0.4, -2, g in decreasing order.
5, g, -0.4, -2
Let j = 900 - 895. Sort 23, j, -0.4 in descending order.
23, j, -0.4
Let p(t) = t**2 + 6*t - 5. Let b be p(-7). Let u be (5/b)/((-1)/(-6)). Let l be 3/15 - (-42)/u. Put -5, l, -3 in ascending order.
-5, -3, l
Let q(j) be the second derivative of -j**3/6 - j**2 - 2*j. Let l be q(-6). Suppose 0 = p + 4*z - 22, 5*p - 17 = -4*z + 13. Sort l, p, -1 in decreasing order.
l, p, -1
Let o = 3 + -7. Let x(t) = -t**3 + 48*t**2 + 50*t - 47. Let l be x(49). Sort l, 1, o in increasing order.
o, 1, l
Suppose 0 = -0*u + u + 1. Let b be (-17)/((-935)/(-66))*(-50)/(-6). Sort u, b, -3, 0 in decreasing order.
0, u, -3, b
Let m(b) = b + 1. Let d be ((-8)/1)/(-9 + 11). Let j be m(d). Suppose -6 = s - 2. Sort s, -2, j in decreasing order.
-2, j, s
Suppose -5*n = 5*n - 440. Let p = -49 + n. Suppose 0 = -2*y - 3 + 9. Sort 4, y, p in decreasing order.
4, y, p
Let g = -0.42 - -0.02. Let r = -4.2 + 4.189. Let t = -1.989 + r. Put -0.06, g, t in descending order.
-0.06, g, t
Suppose -4 + 5 = -2*u + 3*d, 3*u = -3*d + 6. Let a be (-2 + u)/(-1*1). Suppose 0 = -19*g + 10*g + 36. Sort 0, g, a in ascending order.
0, a, g
Let h = 0.6 + 3.4. Sort 6/13, 2/13, h, -0.4 in decreasing order.
h, 6/13, 2/13, -0.4
Let h = 98 - 76. Suppose 5*u = -2*t - 0*t - h, -4*t = -5*u - 16. Put 0.3, -2, -0.03, u in ascending order.
u, -2, -0.03, 0.3
Let n = -3.37 + 0.07. Let a = n + 3. Put 2, 5, a in decreasing order.
5, 2, a
Let x(s) = -s**2 - 8*s + 20. Let b be x(-10). Put -4, 5, 1, b in ascending order.
-4, b, 1, 5
Suppose -41 + 137 = -3*w. Let f = w + 30. Put -4, 2, f in ascending order.
-4, f, 2
Let b = 281 - 276. Sort 1, 41, b, -4.
-4, 1, b, 41
Let y = 107 - 112. Let c(n) = 17*n**3 + n**2 + n. Let b be c(-1). Sort b, 5, y in increasing order.
b, y, 5
Let s = -0.49 + -26.51. Let y = -24 - s. Let j = -48 + 44. Put j, -5, y in ascending order.
-5, j, y
Let b = 21 + -16. Suppose -f = -b*f - 4. Put f, -2, -3 in descending order.
f, -2, -3
Let x = -12 + 12. Let g be (-6)/3 - (-4)/8*2. Sort 0.1, 2, x, g in increasing order.
g, x, 0.1, 2
Let c = 0.14 + -5.34. Let x = -0.2 - c. Put 0.4, x, 3, 0.08 in ascending order.
0.08, 0.4, 3, x
Suppose 3*k - 23 = 4*s, 0 = -2*k + 2*s - 3 + 19. Let t(l) = 48*l - 430. Let y be t(9). Sort k, 0, y in increasing order.
0, y, k
Suppose 3*c - 3*w - 18 = -6*w, -2*c + 3*w - 8 = 0. Put c, -3, 3, -20 in decreasing order.
3, c, -3, -20
Let y = 10 - 14.3. Let p = -4.34 - y. Put p, -0.2, -5 in increasing order.
-5, -0.2, p
Let p(q) = -q**3 + 7*q**2 - 3*q - 35. Let t be p(5). Sort 4, t, -7, 5 in descending order.
5, 4, t, -7
Let q = 705 + -702. Sort -15, -5, -4, q.
-15, -5, -4, q
Let p = 333 - 330. Put -1, p, -63 in descending order.
p, -1, -63
Suppose 0 = 5*y + 2*p - 10, -5*y - 5*p = -y - 25. Suppose -2*m - 21 = -3*m. Let l be (14/6)/7*m. Sort -4, l, y in decreasing order.
l, y, -4
Let k be 9/(-21) + (-2)/(-8)*4. Put 4, -6, k in decreasing order.
4, k, -6
Let b(z) = -2*z**2 + 10*z + 2. Let r be b(5). Let t = 45.3 + -45. Put -0.3, t, r in decreasing order.
r, t, -0.3
Suppose 49*t - 31*t - 90 = 0. Suppose 3*v - 1 - 11 = 0. Let x be (v/8)/(2/(-32)). Put t, -3, x in increasing order.
x, -3, t
Let t be 0 - (-3)/(12/8). Suppose 0 = -3*q - 1 - t. Sort q, -2, 2/25 in descending order.
2/25, q, -2
Let z = 0.53 - -0.47. Let b = -1 + -1. Sort b, -0.7, z, 4 in decreasing order.
4, z, -0.7, b
Suppose -5 = 2*s + 3*l, s + 3*l + 2*l - 8 = 0. Put -2, s, 0 in decreasing order.
0, -2, s
Let k = -2.66 + 0.06. Let t = -6.6 - k. Let a = -27/4 - -13/2. Put a, -0.3, t in ascending order.
t, -0.3, a
Let c = 170 - 175. Sort c, 2, -14 in ascending order.
-14, c, 2
Let i be (-3 - (-6)/3)/(3*1). Let z = -4/17 + -1/68. Sort i, 3, z.
i, z, 3
Let c be (2 - -2) + -3 - -3. Suppose a - 6 = 4*r, 2*r - 4*a + c = 8. Sort -9, 1, r in descending order.
1, r, -9
Let c be (-57)/(-12) + (-4)/(-16). Suppose -j - 16 = 3*j. Let l = -3 - -2. Sort j, l, c in descending order.
c, l, j
Let c be -6 - (166/(-9) - -13). Sort -8, c, -2/9 in descendi