ort -4, 3, p, j in decreasing order.
p, 3, j, -4
Let t = 0.1 + 0.1. Let z = 0 + t. Let y = -624 + 623. Sort -1/5, z, y in ascending order.
y, -1/5, z
Let c = -556 - -561. Put c, 699, 2, 4 in increasing order.
2, 4, c, 699
Suppose 4*i - 28 + 32 = 0. Put -2, 0.1, 0, i in descending order.
0.1, 0, i, -2
Let s = 0 + 2. Suppose v = -s + 5. Suppose 0 = j - v*j + 10. Put 0.4, -2/19, j in descending order.
j, 0.4, -2/19
Let v = 401 - 400. Sort v, -5, -1.
-5, -1, v
Suppose 0 = -425*l + 428*l + 15. Sort 19, l, 0, 2.
l, 0, 2, 19
Let w = 146 + -143. Sort 0.1, w, 1/9 in decreasing order.
w, 1/9, 0.1
Let d be 104/8 + (-1 - -4) + -3. Sort -2, d, -3.
-3, -2, d
Let h = -12.47 - -17.47. Let r = 4.7 - 5. Sort -5, 2, r, h in descending order.
h, 2, r, -5
Let n = -5 + 0. Let o be 4 + ((-29)/9 - (-4)/18). Let u be (0 + o)/((-4 - 1)/(-5)). Put n, u, 5 in descending order.
5, u, n
Let p = 1 - 0.6. Let x = 1.03 - -7.37. Let f = 7.4 - x. Sort 5, p, f in increasing order.
f, p, 5
Let m(v) = -30*v - 147. Let i be m(-5). Sort i, 2, 143 in increasing order.
2, i, 143
Suppose 5*q - 3*q - 4*f + 60 = 0, 2*q - 3*f + 63 = 0. Let i be q/126 + (-2)/(-7). Put -3, 1, i in descending order.
1, i, -3
Let a be 14/147 + 65/(-21). Put a, 5, 72 in descending order.
72, 5, a
Let i = 0 - -4. Let o be 6*i/8 + -10. Let t = -5 - o. Put 5, t, 0 in decreasing order.
5, t, 0
Let o(m) = -m**2 - 7*m + 4. Let y(q) = -q**3 + 12*q**2 - 1. Let p be y(13). Let g be 1/(-5) - p/(-25). Let x be o(g). Sort 0.3, -0.2, x in increasing order.
-0.2, 0.3, x
Let q = 16/235 + 294/2585. Sort -3, q, -0.05, 0.04 in ascending order.
-3, -0.05, 0.04, q
Let a(w) = -3*w + 2. Let i(f) = f. Let u(r) = -a(r) - 2*i(r). Let p be 4/16 - 9/4. Let t be u(p). Sort t, 1/3, 0.1.
t, 0.1, 1/3
Let i(v) = -4 - 5*v + 4*v - v**2 - 1. Let j be i(0). Suppose -4*y - f = 0, -3*y = 7*f - 4*f. Sort 5, j, y in decreasing order.
5, y, j
Let d be (-3)/(2 + 1 + -4 + 2). Put d, -5, 17.9 in increasing order.
-5, d, 17.9
Let o = -0.77 - -0.8. Let t = o - 25.03. Let y = t + 27. Sort -11, 1, y.
-11, 1, y
Let b = -0.35 - -0.05. Let a = 67.28 - 60.3. Let f = -0.02 - a. Put f, -1/2, b in descending order.
b, -1/2, f
Let w = 4.74 - 1.74. Sort w, -15/8, -2/71 in decreasing order.
w, -2/71, -15/8
Let n(m) = m**3 - 2*m**2 + m - 10. Let p be n(0). Let b = -14 + 9. Put b, -1, p in decreasing order.
-1, b, p
Let r = 28 + -24. Suppose -r*v = 2*j + 2 - 8, 0 = 5*v + j. Let y = -1 + 2. Put y, v, -6 in ascending order.
-6, v, y
Suppose h - 4*h + 9 = 3*f, -3*h + 5 = 4*f. Sort h, 5, 3, -1 in ascending order.
-1, 3, 5, h
Suppose 0 = -2*q + 25 - 73. Let z be 8 - 35/14*4/5. Let b be 4/z*36/q. Sort -3, b, 0.
-3, b, 0
Suppose -a - 2 = -5. Let f be -5*(-16)/40 + -4. Sort 5, -3, a, f in ascending order.
-3, f, a, 5
Let m(b) = -b + 0*b + 8*b - 5*b**2 - 4*b - 2. Let x be m(2). Let s = -13 - x. Sort s, 1, -5 in decreasing order.
s, 1, -5
Let a(u) = u**2 - 12*u + 24. Let s be a(10). Put -3, s, -118 in increasing order.
-118, -3, s
Suppose 0 = 29*d - 13*d - 64. Sort d, -1, 2, -25 in decreasing order.
d, 2, -1, -25
Let r = -162 + 973/6. Let b = -16.7 + 16. Put b, 4, r in decreasing order.
4, r, b
Let u = -329 - -333. Sort 1/24, -1/5, u in increasing order.
-1/5, 1/24, u
Let q = -541 + 545. Suppose -3*j + 8*j = -g - 22, 0 = 3*g + 5*j + 26. Let u be -3 + (-1)/(g/(-4)). Put u, q, 3 in ascending order.
u, 3, q
Suppose 3*d = 8*d - 4*k + 102, 0 = 3*d - k + 64. Put d, -1, 3, -5 in descending order.
3, -1, -5, d
Let t = -0.94 + -1.06. Sort t, -0.2, -26, 1 in descending order.
1, -0.2, t, -26
Let r be (-9 - -7)/(-2) - 4674/(-10). Let j = 470 - r. Let p = 3 - -1. Sort p, j, 2.
j, 2, p
Let l be -7*1 - (-19 + 13). Put 0, l, 5 in increasing order.
l, 0, 5
Let h(y) = y - 2. Let p be h(4). Let f be 3*6/(-36)*10. Put f, -4, p in descending order.
p, -4, f
Let m = 3 + -3.2. Let h(q) be the third derivative of q**5/60 - 7*q**4/24 - 11*q**3/3 + 5*q**2. Let n be h(9). Put m, n, 0.1 in ascending order.
n, m, 0.1
Let m(c) = -5*c - 4. Let h be m(-5). Let o be 2/(-6) - (-70)/h. Suppose -2*w + 3*l = -7, 2*w - 28 = -o*w - 3*l. Sort w, 1, 4 in descending order.
w, 4, 1
Let z(h) = h**3 - 39*h**2 + 145*h - 175. Let p be z(35). Suppose 3*x = 2*g - 6*g - 218, -3*x = -2*g - 118. Sort -2, g, p.
g, -2, p
Suppose 7*p = 124 - 12. Suppose 6*v - p*v - 30 = 0. Sort v, 4, -36 in ascending order.
-36, v, 4
Let g = 74 + -74. Let p = 32 - 18. Let a be 10/(-10) + p/10. Sort g, a, -5.
-5, g, a
Suppose -4*a = -5*m - 5, -3*a = -m - 0*a + 10. Let s be 2/(-9) + (-195)/(-27). Sort 3, m, -4, s in decreasing order.
s, 3, -4, m
Let k be 2 - -1 - 16149/(-35). Let c = 466 - k. Put 2, 4/5, c in descending order.
2, c, 4/5
Let g(x) = x**3 + 5*x**2 + 4*x + 2. Let t be g(-5). Let j = 20 + t. Let q = j - 2. Put 4, q, 1 in decreasing order.
4, 1, q
Suppose 30 + 18 = -4*f + 4*j, -40 = 3*f - 4*j. Sort -4, -2, f in descending order.
-2, -4, f
Suppose -15 + 27 = 4*s. Sort s, 4, -5, 18 in decreasing order.
18, 4, s, -5
Let d be (0 - 1) + (-5)/(-5). Let t = 794 - 789. Put 1, t, -5, d in ascending order.
-5, d, 1, t
Suppose 2 = -2*k + 2*c, 0*k - 2*k - 4*c = 20. Let a(p) = 2 + 2 + 3*p + 2. Let w be a(k). Sort w, -4, -1 in ascending order.
w, -4, -1
Let r be 5 + (-1)/((-1)/(-1)). Let u be (-10)/(-12)*(-29)/((-232)/48). Let g = r - u. Sort -2, g, 0 in decreasing order.
0, g, -2
Let k = 978 + -978. Put k, 10, 9, -1 in decreasing order.
10, 9, k, -1
Let x(o) = o**3 - o**2 - 2*o - 2. Let h be x(-1). Let v = 0 - 5. Let u = 8 + v. Put h, 1, u in decreasing order.
u, 1, h
Let o = -11 + 6. Let d be 49/(-35) + (-2)/(-5). Sort -4, o, d in descending order.
d, -4, o
Let r = 479 - 538. Put r, 1, 5 in descending order.
5, 1, r
Let l = -22/117 - -707/234. Let h = l + -13/6. Let d(g) = -2*g**2 + 13*g - 20. Let u be d(2). Sort u, h, -0.2 in increasing order.
u, -0.2, h
Let c(g) be the third derivative of g**6/120 - g**5/60 - g**4/12 - 8*g**2. Let m be c(-2). Put m, -4, 2 in increasing order.
m, -4, 2
Let n = -194 - -194.2. Sort -1/4, n, 0.11, -2 in descending order.
n, 0.11, -1/4, -2
Let w = -128.4 + 128. Put 0.3, w, 2, -0.3 in ascending order.
w, -0.3, 0.3, 2
Let u be 1 + 6 - (-2 + -1). Let i be 10/50 - (-28)/u. Suppose 4*x + 20 = j, -3*x + 4*x = i*j - 5. Sort 0, 3, x in ascending order.
x, 0, 3
Suppose 5*q - 4*x = -24 + 4, 0 = 5*q + 4*x + 20. Let y(u) = -3*u + 17. Let d be y(4). Suppose -v - d*z + 5 = 0, 9 = 2*z + 3. Put v, q, 4 in descending order.
4, q, v
Let w = 12 - -23. Let d be (-6 - -3) + w/11. Let z = -13.95 + 14. Put z, 0.1, d in decreasing order.
d, 0.1, z
Let x = -1 - -6. Let j(f) = -25*f + 174. Let o be j(7). Sort x, o, 9, -4.
-4, o, x, 9
Let b(n) = n**2 + 15*n - 1. Let s be b(-15). Let a(k) = k**2 + 2. Let y be a(0). Let p be (y - -1) + (2 - 4). Sort p, s, 5 in descending order.
5, p, s
Let g = 79/84 + -13/12. Sort 2, 1, -1/3, g in ascending order.
-1/3, g, 1, 2
Let k be 92/20 + -5 - 2/70. Let n(d) = -d**2 + 6*d + 6. Let a be n(7). Put k, a, 2/17, 0.02 in descending order.
2/17, 0.02, k, a
Let c = -185 + 185. Put c, -9, -4 in ascending order.
-9, -4, c
Suppose 3*b - 44 = 4*d, 0 = -3*b + 5*b - 8. Put 0, 4, d, -0.04 in increasing order.
d, -0.04, 0, 4
Let y = 16 + -10. Suppose -3*n + g + 3*g - 2 = 0, y = 4*n - g. Sort n, 3, -1.
-1, n, 3
Let v be (2/4)/(4/(-8)). Suppose 0 = o + 1, 5*q - 3*o + 8 = -4. Sort v, q, 5, 2.
q, v, 2, 5
Let w(b) = -b**3 + 18*b**2 - 15*b + 36. Let s be w(17). Let r = s + -76. Sort -3, r, -4, -1 in descending order.
-1, -3, -4, r
Suppose -5*y = -4*l - 619, 347 = -2*l + 2*y - 7*y. Let q = l + 641/4. Sort -0.1, q, -0.5 in descending order.
-0.1, -0.5, q
Let t(r) = r**3 - r + 29. Let p be t(0). Let a = p - 25. Sort 1, 2, a.
1, 2, a
Suppose 9 = o + 11. Let n = 27 + -25. Let b be (1/n)/((-2)/(-20)). Sort b, -3, o in decreasing order.
b, o, -3
Let q be 1/2*(12 - 10). Let w(b) = 21*b. Let m be w(q). Put 0, m, 5 in ascending order.
0, 5, m
Let z(m) = 5*m - 25. Let u be z(7). Suppose -3*t + 27 = -4*k, -t - 6*k - u = -k. Sort 4, t, 1, 3 in increasing order.
1, 3, 4, t
Let h be 6/8 - 78/8. Let p = h - -8. Let o be 8 + -9 + 0 + p. Sort -5, o, 0 in decreasing order.
0, o, -5
Suppose -16 + 10 = -6*y. Let m(g) = -g**2 + 2*g - 4. Let h be m(3). Let b(q) = q**3 + 7*q**2 + 2*q + 8. Let o be b(h). Sort y, o, 2.
o, y, 2
Let w be 1 - (460/80 + 2/