 Sort 3, 0.3, o, q.
o, q, 0.3, 3
Let u = -1259 - -1258.94. Sort 0.3, -1, -5, u in descending order.
0.3, u, -1, -5
Let x = 3/55 + 28/495. Let q(b) = -2*b - 1. Let v be q(2). Let m be 10/(-8)*6/30. Sort v, m, x in descending order.
x, m, v
Let v = 2227.5 - 2227. Sort -0.771, v, 1 in descending order.
1, v, -0.771
Suppose 3*u = x - 32, 4*u - 2*x = -5*x - 34. Put 3, 2/9, u in increasing order.
u, 2/9, 3
Let y = -41.56 + 41. Let f = 0.14 - y. Sort -3/4, 1, f in ascending order.
-3/4, f, 1
Suppose t + r + 4 = -4*t, 2*r = -4*t - 8. Put -6, t, -3 in decreasing order.
t, -3, -6
Let p(g) = -9*g + 170. Let w be p(19). Put 4, -128, w in descending order.
4, w, -128
Let r be 22/(-3) - (-4)/(-6). Let t = 0.473 + -5.473. Sort t, 3, 0.2, r.
r, t, 0.2, 3
Let n be 8/(72/27) + 1 + 6. Let h be ((-24)/(-9))/((-4)/(-6)). Put h, n, 0, 5 in decreasing order.
n, 5, h, 0
Let m = -20 - -24. Suppose 3*s - m*f + 17 = 0, -3*f + 10 = -5*s - 0*f. Let i = 1 - -4. Put s, i, -1/2 in decreasing order.
i, s, -1/2
Suppose v = -2*y - 5, y + 2*v = 12 - 19. Sort 0, y, 3, -6 in increasing order.
-6, y, 0, 3
Let q(x) = -x + 1. Let l be q(-1). Suppose 4*f = -4*z + 12, 0*f = -z - 4*f. Suppose 2*w - z*b = -4, -l*w + 5*b = 3*w + 15. Sort w, -3, 3 in decreasing order.
3, -3, w
Let n = -2603 - -2615. Put 0.4, n, 5 in ascending order.
0.4, 5, n
Let m = 6717/17 + -395. Suppose -10 = 2*c - 5*d, -2*c = 3*c - 4*d + 25. Let y = 0 + c. Put y, -0.3, m in descending order.
m, -0.3, y
Let n = 61 - 63. Let j(v) = 2*v - 1. Let h(k) = 5*k - 1. Let z(l) = 3*h(l) - 7*j(l). Let g be z(n). Sort 4, g, -2 in descending order.
4, g, -2
Suppose 21*q = -1 + 1. Sort q, 4, 15 in ascending order.
q, 4, 15
Let o = -2425 - -2452. Put o, 10, -0.1 in descending order.
o, 10, -0.1
Suppose -q - 3*v - 2 = -v, 4*v = 5*q - 18. Suppose -2*n + 4*j - q = -36, 4*n + 4*j = 8. Let c = -23/3 + n. Sort c, -2/9, -1/8 in increasing order.
c, -2/9, -1/8
Let q = -765 + 761. Put -8, -5, 1, q in ascending order.
-8, -5, q, 1
Let v(n) = n - 2. Let r be v(4). Let u(b) = b**2 - 5*b - 5. Let w be u(6). Put w, -1, r in decreasing order.
r, w, -1
Let t(w) = -2*w**2 - 2*w + 1. Let m be t(1). Let r = 588 + -600. Sort 0, r, -5, m in decreasing order.
0, m, -5, r
Let f = 20.68 + -13. Let m = f - 3.75. Let a = m + 0.07. Put a, 2, -13 in decreasing order.
a, 2, -13
Suppose -4*l = j - 0*j + 2, 2*l - 6 = 3*j. Suppose k = 4 - 8. Suppose 3*x = -2*g + 37, 0 = 2*x - x - 2*g + 1. Put x, l, k in decreasing order.
x, l, k
Suppose -52*a + 53*a - 5*j = 60, 5*a = -4*j + 329. Put -4, a, 4, 1 in descending order.
a, 4, 1, -4
Let i = -5 - -1. Suppose -41*f = -39*f + 12. Let v = f - i. Sort 4, 1, v in descending order.
4, 1, v
Suppose 0 = 4*o + 2*b - 24, 2*b = -5*o - 3 + 32. Let k = o + -5. Let y be -2 - (k + 2 - 9). Sort 2, y, 0 in descending order.
y, 2, 0
Let c = 5 + -2. Let q be (17 - c) + (1 - 5). Suppose 11*m - 4 = q*m. Put m, -3, 1 in decreasing order.
m, 1, -3
Let y(o) be the third derivative of -o**4/12 + 7*o**3/2 + 5*o**2. Let g be y(11). Let b(p) = p + 6. Let l be b(-11). Sort 0, g, l in decreasing order.
0, g, l
Suppose 3*z - 3*v = z + 36, -2*z - 5*v + 36 = 0. Let a = -17 + z. Let g be a/(1/(-2)) - 3. Sort g, -3, 1.
g, -3, 1
Suppose 0 = -4*x - 4 + 40. Suppose 5*v - x = 11. Let w = 10 - 8. Sort v, -1, w in decreasing order.
v, w, -1
Let v(f) = -f**2 + 22*f - 19. Let m be v(21). Put m, 0, 3 in increasing order.
0, m, 3
Let g = 139 - 137. Put g, -0.11, -5 in decreasing order.
g, -0.11, -5
Let i = -0.0342 - -0.0532. Put i, 1/5, -3, -3/5 in descending order.
1/5, i, -3/5, -3
Suppose -4*x = -3*b - 2 - 34, 0 = -5*b - 5*x - 95. Suppose -2*s = 2*y - 3*y - 19, y = 3*s - 23. Let r = y - b. Sort r, -2, 4 in increasing order.
-2, 4, r
Let f(l) = l**3 - 7*l**2 + 6*l + 2. Let o(i) = -i**3 + 11*i**2 + 13*i - 6. Let s be o(12). Let y be f(s). Put -4, y, -15 in increasing order.
-15, -4, y
Suppose -2 = -2*a + 8. Suppose -4*d - 2*n - 18 = -d, a*d - 3*n + 30 = 0. Let k be d/4*10/(-3). Put k, 4, -5 in descending order.
k, 4, -5
Suppose -2*j = j - 2*s - 12, 0 = -2*s. Let n = -3/346 + -671/2422. Sort -4, n, j in descending order.
j, n, -4
Let f be (-111)/27 - (-29)/261. Let p be 2/(-3) + (-14)/6. Sort -1, f, p in descending order.
-1, p, f
Let w(k) = k**2 + 7*k - 1. Let q(s) = -s**2 - 6*s + 1. Let h(m) = -5*q(m) - 4*w(m). Let j be h(0). Put 6, j, -2 in increasing order.
-2, j, 6
Suppose -9*c = -12 - 6. Suppose 20 = -4*r - 3*o, c*o + 13 + 12 = -5*r. Sort 4, r, -4.
r, -4, 4
Let m = -391/4 + 97. Let a(f) = -f + 15. Let v be a(14). Let l(k) = -4*k**3 - k**2 + k. Let i be l(v). Sort -0.5, i, m in decreasing order.
-0.5, m, i
Let q(m) = m**3 + 4*m**2 + 20. Let p be q(-5). Sort -3, -24, p in descending order.
-3, p, -24
Suppose -9*z = -14*z. Suppose -4*d + 4 = -3*w, -5*d = -z - 5. Put w, -0.4, 0.2 in increasing order.
-0.4, w, 0.2
Let o = -37 + 34. Let t be (4/(-3))/(4 + -6). Put o, t, -1, 2 in decreasing order.
2, t, -1, o
Let n be (9/(-15))/(0 - -1). Let m = 1233 - 1236. Put n, m, 1, -0.3 in descending order.
1, -0.3, n, m
Let h = 115056/7 - 16368. Let q = 69 - h. Sort q, -0.1, 3.
-0.1, q, 3
Let a = -118 + 76. Let l = 39 + a. Put 0, 1, l, 5 in decreasing order.
5, 1, 0, l
Let r = -68.8 + 68.8. Let n = 4.6 - 5. Put r, n, 2/3 in ascending order.
n, r, 2/3
Suppose 84 = 2*o + 26. Let a be ((-71)/(-213))/(((-2)/(-40))/(6/(-8))). Sort a, 1, -2, o in descending order.
o, 1, -2, a
Let w(q) = 11*q - 65. Let c be w(5). Put 3, c, -4, 7 in descending order.
7, 3, -4, c
Let y(w) = -w - 2. Let v = 2 + -6. Let b be y(v). Let i = 1.34 + -1.34. Sort i, -4, b.
-4, i, b
Let t = -106 + 106. Let l = 1.6 - 2.6. Put -0.31, l, t in decreasing order.
t, -0.31, l
Let b = 3.35 - 3.05. Sort b, -5, -1, 5 in increasing order.
-5, -1, b, 5
Suppose 0 = -0*i - 7*i + 28. Put 5, i, -36, -5 in descending order.
5, i, -5, -36
Suppose 0 = f + 3*u - 13, 5*u - 1 - 2 = f. Let s be (3 + -4)/1 + -8. Let r be s/f + (-6)/(-21). Sort r, -5, 5 in decreasing order.
5, r, -5
Let l(h) = h**3 + 7*h**2 + 3*h - 3. Let y be l(-6). Let f = -5 + y. Let x be ((-2)/4)/(-1)*f. Put x, 0.1, 3 in decreasing order.
x, 3, 0.1
Suppose -2*o = m - 0 - 7, -5*m = -25. Let p be ((-3)/(-2))/(o/(-2)). Suppose -9*u + 20 = -4*u. Put p, 7, u in ascending order.
p, u, 7
Let j be 16/176*77 + -7 + 1. Sort j, -42.2, -4 in ascending order.
-42.2, -4, j
Let o(a) = -6*a - 1. Let i be o(-1). Let r be (-8)/52 - (-1 + (-470)/13). Suppose r + 5 = 7*b. Put i, b, 1 in descending order.
b, i, 1
Suppose -5*a + 5 = -0*a, 3*b - 3*a + 12 = 0. Sort 1, b, -4, 0.
-4, b, 0, 1
Suppose -2*c = -0*c - 4. Suppose -c*d + 0 = -3*h + 5, -9 = -3*h. Put 5, 3, 1, d in descending order.
5, 3, d, 1
Suppose 4 = -3*o - 8. Let x = 4.89 - -0.11. Let h = x + -10. Put h, o, 4 in descending order.
4, o, h
Suppose 2*n - 5*n + 12 = 0. Suppose n*a = -0*a. Suppose -3*t + 2 = -y - 0, t = -9*y + 10. Put a, 4, y in ascending order.
a, y, 4
Let a = 12 - 8. Let v = 220 + -220.5. Sort v, -4/7, a in decreasing order.
a, v, -4/7
Let r(d) = -2*d - 26. Let t be r(-12). Let s be ((-2)/9)/(t/(-3)). Put 3, s, -2 in decreasing order.
3, s, -2
Let f be 51/(-85) - 4/10. Put -14, -2, f, 2 in descending order.
2, f, -2, -14
Let j(h) = -h + 4. Let w be j(4). Suppose 1 + w = q - 4*m, -5*q = -m + 33. Sort -5, q, 5.
q, -5, 5
Suppose 5*h + 0*h = v + 8, 3 = h. Suppose -4*j - 5*m = 13 + 12, j + 2*m = -v. Put -3, 4, j, 5 in decreasing order.
5, 4, -3, j
Let r(w) = w**2 - 286*w - 2*w**2 + 288*w. Suppose 1 + 7 = 4*a. Let s be r(a). Sort s, -2, -1.
-2, -1, s
Let w(b) = b**2 - 15*b + 29. Let d be w(13). Suppose 0 = p + d*p + 44. Sort 1, p, 0 in descending order.
1, 0, p
Let p(s) = 21*s + 154. Let w be p(-7). Let h(x) = x**3 + 6*x**2 + 7*x + 7. Let c be h(-5). Sort c, 0, w.
c, 0, w
Let o(s) = 11*s**2 - 2*s - 1. Let m be o(-1). Let u = m + -10. Let h = 8 - 12. Sort h, 0, u in decreasing order.
u, 0, h
Let x be ((-66)/231)/((-2)/14) + 1. Sort -3, 2, x, -2.
-3, -2, 2, x
Let c = 8 + -19. Let k = c - -10. Sort 1/3, k, 3 in ascending order.
k, 1/3, 3
Suppose 5*o - 356 = 4*r + 544, -3*o + 225 = -r. Let x be 4/30 + (-5)/(r/(-96)). Sort -1, 1, x.
x, -1, 1
Let o = -4058228/11 + 368679. Let c = 251 + o. Put -4, 3, -2, c in descending order.
3, c, -2, -4
Let d = 1.3 + -1. Let f(i) = 19*i - 12. Let b be f(5). Suppose 5*u + b = 88. Sort -