w, 0.5 in descending order.
0.5, x, w
Let t = -183 - -188. Put 0, -234, t in decreasing order.
t, 0, -234
Let y = 710 + -702. Sort 0, 3, y, -2/13 in increasing order.
-2/13, 0, 3, y
Let f = 3.1 - -2.9. Let p = f + 4. Sort -1/7, p, 0.4.
-1/7, 0.4, p
Let z = 221 + -226. Put 1/4, -0.3, z in increasing order.
z, -0.3, 1/4
Let x = -8 - -22. Let w = -14 + x. Let h = 2 - w. Put h, -2/9, 5 in decreasing order.
5, h, -2/9
Let h(u) = -10*u - 207. Let t be h(-21). Sort 184, -3, t in decreasing order.
184, t, -3
Let b = -0.2 - 0.8. Let u = -21.62 + 21. Let m = -0.82 - u. Put b, 0.5, m in descending order.
0.5, m, b
Suppose -671*p + 256 = -675*p. Sort -3, p, 1 in ascending order.
p, -3, 1
Let b = -23.3 + 26.3. Sort 0.1, b, 0.04 in descending order.
b, 0.1, 0.04
Suppose 12 = -l + 13*l. Sort -7, -3, l, -11 in ascending order.
-11, -7, -3, l
Let g be (-40)/(-12) - (-2)/(-6). Let z = 58.6 + -57.6. Sort 0.4, g, -1/7, z in increasing order.
-1/7, 0.4, z, g
Let w be -1*4 + 11 + 7. Let t = w + -13. Let f be 5 + -4 - (-1)/t. Put 3, -2, f in increasing order.
-2, f, 3
Suppose 656 = 64*c - 56*c. Sort c, 2, 4, 1 in decreasing order.
c, 4, 2, 1
Let a = -73 + 75. Suppose 3*d - 9 = -4*v - a, -v = 2. Sort -1, 3, d in decreasing order.
d, 3, -1
Let l be 7/3 - (-260)/156. Sort 7, -3, 11, l.
-3, l, 7, 11
Let p be (3 - 2) + -3 - -3. Let q(n) = -n**3 + 8*n**2 + 10*n - 7. Let l be q(9). Put p, 3/2, l in decreasing order.
l, 3/2, p
Let o(d) = 4*d + 1. Let r be o(1). Suppose 70 + 67 = -45*a - 88. Sort r, 3, a in decreasing order.
r, 3, a
Let z = -0.0069 + 0.2069. Put -63, z, -1/4 in ascending order.
-63, -1/4, z
Suppose 2*y - 4 = 0, 2 = 2*d - 5*y + 14. Sort 13, 5, 0, d in decreasing order.
13, 5, 0, d
Suppose 9*z = 7*z + 4. Let h = 129 + -130. Sort z, h, -7 in ascending order.
-7, h, z
Let z be (-2 + 2)*3/(-3). Let f be (3 + -5)/(4/10). Sort -2, f, z, -9.
-9, f, -2, z
Let x be (2/(-2))/(15/(-432)). Let l = -29 + x. Let m be 6/(-8)*96/(-144). Sort 1, m, l in decreasing order.
1, m, l
Let g = -755 - -18877/25. Put -1/10, g, 1 in ascending order.
-1/10, g, 1
Let x = -17 + 17.5. Let m = 456 + -451. Sort m, x, -0.1, -0.03 in decreasing order.
m, x, -0.03, -0.1
Let x be ((-9)/42)/(-1)*34/51. Sort x, -2/25, -1/4, 0.
-1/4, -2/25, 0, x
Let f = -81.02 - -82. Let v = 0.38 - f. Put -5, v, 5 in ascending order.
-5, v, 5
Suppose 3 = 3*o - 6*o. Let i(t) = t**2 + 7*t - 44. Let f be i(-11). Put o, -2, f in descending order.
f, o, -2
Let x be 6/(-3)*(-2)/(-2). Let h be (-4)/(12/(-9))*x/18. Put h, -0.4, 0 in descending order.
0, h, -0.4
Suppose 5*r + 10 = 20. Sort -4, r, -1 in descending order.
r, -1, -4
Let u(h) = -h**3 + 5*h**2 + 3*h + 5. Let l(o) = o + 1. Let c be l(4). Let g be u(c). Suppose 5*k - 5 = -g. Put k, 3, 2 in descending order.
3, 2, k
Let p be (-4214)/(-8127)*3/7. Let k be 1/((-1)/2 + 0). Sort -1, p, 1/3, k in descending order.
1/3, p, -1, k
Let j = 234 + -233. Sort 0, -21, j.
-21, 0, j
Let l = 130.69 - 130. Let u = l - 0.19. Sort u, 2, 1/3, -1/3.
-1/3, 1/3, u, 2
Let o be (2*19/(-1615))/(1/5). Let p = -0.5 - -0.8. Sort o, -1/7, p.
-1/7, o, p
Suppose 0 = -8*t + 221 - 181. Sort -22, t, 11 in descending order.
11, t, -22
Let o be (0 + 21/(-2))/(-9). Let d = o - 2/3. Let w be -1*(2 - 3)*-2. Put d, 1, w in increasing order.
w, d, 1
Suppose -6*v + 4 = -4*v. Let u(q) = q**2 + 4*q. Let t(x) = -x**3 - 2*x**2 + 5*x + 3. Let z be t(-3). Let f be u(z). Sort f, -2, v in descending order.
v, -2, f
Let x = 26 + -18. Suppose w - 5*l - x = 0, 4*l + 15 - 5 = 2*w. Let j be ((-3)/(-2))/((-6)/(-8)). Sort -3, w, j in decreasing order.
w, j, -3
Let t(c) = -c**3 - c**2 + 1. Let l(x) = 2*x**3 - 4*x**2 + x + 2. Let n(q) = -l(q) - 3*t(q). Let j be n(-7). Sort -11/7, j, 2/3 in descending order.
j, 2/3, -11/7
Let w(a) = a**2 - 6*a - 20. Let z(s) = -2*s**2 + 13*s + 41. Let u(q) = -9*w(q) - 4*z(q). Let i be u(5). Sort 8, 0, i.
0, i, 8
Let b = 3 + -4. Let a = 0.2 - 0. Let h be (6/(-4))/((-13)/2 - -6). Sort b, a, h.
b, a, h
Let n = 12 + -20. Let m(j) = j**3 - 19*j**2 + 21*j - 50. Let u be m(18). Sort u, -3, n in decreasing order.
u, -3, n
Let f(u) = -u**3 + 7*u**2 - 5*u - 1. Let g be f(6). Suppose g*l - 24 = -l. Suppose 3*y - 4*r + 8 = 0, 0*r + 2*r - l = -4*y. Put y, -4, 2 in descending order.
2, y, -4
Let t be 0/((-2)/2 - -2). Let k = -173 - -168. Let o = 2.4 - 2.6. Sort k, o, t.
k, o, t
Let m = 16 + -16.3. Let o = -5.8 + 2.8. Sort o, 5, m.
o, m, 5
Let a be 14/(-3) - (-5)/(-15). Let u = -0.835 + -0.165. Sort 2/7, u, a in ascending order.
a, u, 2/7
Let m be 5/(-15)*6/4. Let k = 15.4 - 16.4. Sort 2/3, k, m in increasing order.
k, m, 2/3
Suppose -3*h = -f - 46 + 58, 0 = -5*f + 15. Sort -5, h, 1, 0.
-5, h, 0, 1
Let s(c) = c + 8. Let i be s(-13). Sort i, 0.5, -0.3, -1.
i, -1, -0.3, 0.5
Let z(k) = -6*k**2 + 239*k + 41. Let c be z(40). Put c, 236, -2, -3 in descending order.
236, c, -2, -3
Let c = -423 + 422.9. Put -2, -1, 4/3, c in ascending order.
-2, -1, c, 4/3
Let s = 9 + -9.2. Let p = 0.4 + s. Sort p, -3/4, -1.
-1, -3/4, p
Let i = -1.592 + 0.592. Sort 4, 1/3, i.
i, 1/3, 4
Suppose -45 = 76*t + 31. Let d be (0 + -1)/(1/10). Let v be -4*d/8*-1. Sort v, -2, t.
v, -2, t
Let t = 1.65 + -1.55. Put t, -9, -1 in increasing order.
-9, -1, t
Suppose 0 = -3*d + 12, 3*v - 2*d - 141 = 4*v. Let o = -149 - v. Put o, 3, 1, 2 in increasing order.
o, 1, 2, 3
Let h be 1/(-15) - (-1457)/930. Put -0.4, h, -4, -0.5 in decreasing order.
h, -0.4, -0.5, -4
Let i = -24 + 20. Sort 0.4, -1, -2, i in descending order.
0.4, -1, -2, i
Let k = -0.44 + 5.04. Let d = 24.6 - k. Put d, 1, -4 in ascending order.
-4, 1, d
Let i(n) = 9*n + 23. Let j(q) = -8*q - 23. Let s(c) = 3*i(c) + 4*j(c). Let t be s(-7). Sort 0, t, -3 in decreasing order.
t, 0, -3
Suppose 0*w + 16 = 4*w + 2*a, 12 = 3*w + 3*a. Suppose -21 = -4*b - 3*g, 0 = -3*g - 1 - 2. Let d be 5/15 - 26/b. Sort d, w, -5 in ascending order.
-5, d, w
Let m = 4.6 + 0.4. Let l = -0.9 + -4.1. Sort m, 3, l in descending order.
m, 3, l
Suppose -4*v + 0*c = 5*c - 29, 0 = -2*v - 2*c + 12. Let h = 2.8 + 0.2. Put h, 13, v in descending order.
13, h, v
Suppose -1 = -2*a + 9. Suppose 3*m - a = 4. Suppose -10 = m*t - 5*p, 4*t + 6 = 5*p + 1. Sort t, -1, -3 in increasing order.
-3, -1, t
Let t = 5 - 3. Let k(j) = 3*j**2 + 9. Let b be k(-3). Let i = 40 - b. Sort t, -4, i in descending order.
i, t, -4
Let s = -6 - -5.6. Let f be (-2)/(((-1)/2)/1). Let y be 1/4*0 - f. Sort y, -2, s in descending order.
s, -2, y
Let d(g) = -2*g + 3. Let x be d(4). Let a be 3136/(-104) - 4/(-26). Let s be (-102)/a + (-4)/10. Sort s, x, 8.
x, s, 8
Let y(w) = 5*w**2 - 22*w - 19. Let s be y(5). Put -1, -32, s in decreasing order.
-1, s, -32
Suppose -2*m - 2 + 0 = 0. Let i be 3/(-12) + (-38)/8. Let g = -41 - -42. Sort g, i, m in decreasing order.
g, m, i
Suppose -2*r - 3*r = 2*c - 39, -2*c + 4 = 0. Suppose -p - r = n + 1, 0 = -n - 2*p - 13. Put -4, n, 5 in ascending order.
-4, n, 5
Let p be 60/(-1680)*4/(-1). Sort 2/3, p, -0.2 in descending order.
2/3, p, -0.2
Let q(v) be the third derivative of -v**6/120 - v**5/15 + v**4/8 + v**3/6 - 4*v**2. Let c be q(-4). Let j = c + 14. Sort -2, 1, j in descending order.
j, 1, -2
Let t = -26 - -2. Let m be ((-50)/t - 2)*1090. Let k = m + -91. Put -3, k, 1/2 in ascending order.
-3, k, 1/2
Let t = -1.14 - -1.04. Put t, -1, 31.1 in decreasing order.
31.1, t, -1
Suppose 0 = -5*q - 2*d + 34 - 6, -16 = -3*q - d. Put q, 0, -5, 20 in increasing order.
-5, 0, q, 20
Suppose 3*y - 4*i = -2*i - 64, 0 = -5*y - 4*i - 70. Suppose 0 = 5*x - 125 + 40. Let m = y + x. Sort 3, 0, m.
m, 0, 3
Let a be (-51)/(-9) - 75/15. Let o = -4 - -1. Put a, -0.4, o in increasing order.
o, -0.4, a
Let x be (-9)/10*(-4)/(-3). Sort -3/5, x, 1/3 in increasing order.
x, -3/5, 1/3
Let r = 4 - 5. Let k be (r/2)/1*-22. Suppose -z + 0 - 2 = 2*i, -i - k = -2*z. Put i, 1, 5 in decreasing order.
5, 1, i
Let v be 0 + -1 + -4 - -121. Let p = 119 - v. Put 1/5, p, -1/2, -9 in decreasing order.
p, 1/5, -1/2, -9
Suppose 0 = -5*z - 1 + 11. Let m be 44/(0 - -2) + 0. Suppose m + 3 = -5*s. Sort z, s, 1 in decreasing order.
z, 1, s
Let h(c) be the third derivative of -c**5/60 + 3*c**4/8 + 23*c**3/6 + 5*c**2. Let k be h(11). Sort k, 2, -3, -2 in ascending order.
-3, -2, k, 2
Let t be (-3)/(36/(-134)) + 4/(-24). Suppose -3 = -7*v + t. Sort -5, -3, v, 4.
-5, -