.
u, 4, 26
Let y be (12 - 611/52)*-8. Put 1, -3, -463, y in decreasing order.
1, y, -3, -463
Suppose 0 = 2*w + 4*t + 18, -4*w - 3*t - 50 = -29. Put w, 0, -17 in descending order.
0, w, -17
Let i = -45.116467 + 0.054467. Let x = 0.062 + i. Let j = 1818/7 - 260. Sort 2/9, x, j.
x, j, 2/9
Let g = -0.68 - 0.22. Let h = 0.1 - g. Let l = -2/903 + -1202/903. Sort 4, l, h, -0.4.
l, -0.4, h, 4
Let h = 18654/11 - 1696. Sort 99, -1, h, 4 in descending order.
99, 4, h, -1
Let y(m) be the third derivative of m**4/6 - m**3/6 + 37*m**2. Suppose 0 = 4*h - 28 + 32. Let n be y(h). Put -2, -27, n in descending order.
-2, n, -27
Suppose -27*z + 25*z = -360. Suppose -63*n - z = -69*n. Let k = 9 - 5. Sort k, 1, n.
1, k, n
Let w = 48 + -48.009. Let h = w - 8.991. Put h, -0.2, 1/2 in descending order.
1/2, -0.2, h
Let v = -0.0045 + 11.8645. Let p = v + -11.7. Put 2/5, p, -3 in descending order.
2/5, p, -3
Let q(s) = 3*s**2 - 47*s + 159. Let u be q(5). Put u, 2, -321, 4 in decreasing order.
4, 2, u, -321
Let g = 7401 + -66610/9. Let n = -0.09 - -0.09. Sort g, -0.5, n, 3/7 in ascending order.
-0.5, g, n, 3/7
Let u = -370 + 375. Suppose 5*m + 5*f - 15 = 0, -m + u*f + 25 = 4*m. Let w(h) = -h - 5. Let k be w(-6). Sort 3, k, -15, m.
-15, k, 3, m
Let j = -7013/3 + 2339. Let y = -0.36 + -2.94. Let h = -1.3 - y. Put h, j, -0.4 in decreasing order.
h, j, -0.4
Let x be 17/102*-63 + 10/4. Sort -1/3, x, -2, 0.9 in descending order.
0.9, -1/3, -2, x
Let i = -674 + 566. Sort -11, i, -5 in decreasing order.
-5, -11, i
Let c(p) = 6*p**2 - 31*p + 7. Let b(s) = -7*s**2 + 31*s - 5. Let f(l) = -3*b(l) - 4*c(l). Let g be f(10). Sort g, -35, -1, -4.
-35, -4, g, -1
Let s(p) = -12*p**2 + 48*p - 8. Suppose 0 = -4*m + 4*b - 4, 7*m - 5*m - 3*b = -7. Let v be s(m). Put -2, v, 4 in increasing order.
v, -2, 4
Suppose 153 = 499*o + 1650. Sort o, 5385, 5 in increasing order.
o, 5, 5385
Let t = -16.2 - 2.8. Let s = t - -19.4. Let u = -1.9 - -1.5. Sort u, s, -1 in increasing order.
-1, u, s
Suppose 0*c - 3*c - 66 = -3*d, 0 = -2*c - 8. Suppose f = -z + d, -4*f + 8*f = -2*z + 26. Suppose -1 - 2 = 3*o. Sort -2, z, 2, o in ascending order.
-2, o, 2, z
Suppose 0 = 5*q + 2*r + 1, -76*q - 9 = -73*q + 4*r. Put 285, -3, 4, -1, q in descending order.
285, 4, q, -1, -3
Let z = 1483/420 - 471/140. Let w(f) = -f**3 - 8*f**2 - 9*f + 3. Let q be w(-7). Sort z, 3, q in descending order.
q, 3, z
Suppose 5*v - 16 = 6*v. Let k = -1.4 + 1.2. Let m = k + 5.2. Put m, -2, v in decreasing order.
m, -2, v
Let t be 1*4 - (3403/415 + 1/(-5)). Put -553, t, 3 in decreasing order.
3, t, -553
Suppose 5*y = 2*m - 9 + 1, -m + 4 = -4*y. Suppose -5*a + 3*k + 18 - 39 = 0, a = m*k - 11. Put -5, 1, -8, a in ascending order.
-8, -5, a, 1
Let k = 12/121 + -1246/363. Put -3, -2/45, k in descending order.
-2/45, -3, k
Let k be 42/(-63)*27/(-6). Suppose 1 = -4*m + 7*m + 5*b, 0 = k*m + b - 5. Put m, -3, 3, 0 in ascending order.
-3, 0, m, 3
Let h(c) = 2*c**3 + 10*c**2 + 8*c + 3. Let o = -65 + 61. Let f be h(o). Let d(t) = -t + 2. Let s be d(-2). Sort f, 1, -1, s in increasing order.
-1, 1, f, s
Let x be (-2 - -3) + 126/(-162). Put -0.2, -1, -633, x in descending order.
x, -0.2, -1, -633
Let v be 1/(1254/152 - (-2 + 10)). Sort -16, 1, 2, v in descending order.
v, 2, 1, -16
Let s = 668 + -668.2984. Let i = 0.0016 - s. Suppose n - 16 = -3*n. Put i, n, 2 in decreasing order.
n, 2, i
Let k be -28 + (197456/10836 - (-20)/2). Suppose 0 = o + 7 + 9. Let t = 52/3 + o. Sort -38, 1/2, t, k in increasing order.
-38, k, 1/2, t
Let a be (-57)/12 + 9/(-36). Let c be ((-15)/(-15))/((-1)/(-3)). Suppose 5*i + d - c = 0, i - 3*d = -3*i - 9. Put 6/11, 0.1, i, a in decreasing order.
6/11, 0.1, i, a
Let b = 20562.168 + -20562. Sort b, -1/3, -1/4.
-1/3, -1/4, b
Let h = 800 + -801. Put 5, -0.03, h, -3/4, 0.5 in ascending order.
h, -3/4, -0.03, 0.5, 5
Let x(k) = k**2 - 42*k - 145. Let a be x(45). Let h = -140 + 137. Put 0, h, a in increasing order.
a, h, 0
Let v(g) = g**3 + g**2 + 2*g + 1. Let z be v(-1). Suppose 0 = 604*p - 581*p + 92. Sort -2, z, p, 2 in ascending order.
p, -2, z, 2
Let d = 2 - -10. Suppose 5*q - d = -4*m, -m - 2*m = -5*q - 9. Suppose 35*s + 17*s - 490 = 3*s. Sort s, q, -2.
-2, q, s
Let t = 206.9 + -204.9. Let b be (((-16)/30)/(-2))/(-2). Put b, 15, -0.4, t in descending order.
15, t, b, -0.4
Let c = -745441/105 + 50313/7. Let d = -88 + c. Let o = 0.01 - 5.01. Sort o, -3/2, d in descending order.
d, -3/2, o
Let l(c) = c**2 - c + 1. Suppose -2*s + 4*s - 11 = -u, -s + 3 = 3*u. Let j be 3/s*-4 - -5. Let f be l(j). Sort f, -2, -1 in ascending order.
-2, -1, f
Let z(p) = -2*p**3 - 54*p**2 + 5*p + 133. Let c be z(-27). Put 14, c, 46 in decreasing order.
46, 14, c
Let c(a) = -12*a - 1. Let b be c(0). Suppose -2*i - 40 = -i - j, 3*i - 4*j = -117. Sort 0, b, i in ascending order.
i, b, 0
Let q(z) = 3*z**2 - 2*z + 3. Let g(u) = 4*u**2 - u + 3. Let b(y) = 4*g(y) - 5*q(y). Let n be b(1). Put n, -1, 0.5, -0.5 in descending order.
n, 0.5, -0.5, -1
Let i = 3.08 + -0.08. Let y = 7 - i. Let l be 6/((10/60)/(-3 - 364/(-126))). Sort l, -6/11, y, 5/7.
l, -6/11, 5/7, y
Let h = -310 - -313. Suppose 3*x = -8*d + 3*d - 19, h*x - 4*d - 26 = 0. Sort 381, 3, x.
x, 3, 381
Let j be 14/(-119) - (-1850)/(-170). Sort j, 6, -3, -2 in decreasing order.
6, -2, -3, j
Let v(r) = -r**3 - 6*r**2 + 5*r - 13. Let p be v(-7). Let c = 3784 - 26470/7. Put p, c, -1 in descending order.
c, p, -1
Suppose -3*x = -a - 211, 27*x + 215 = 30*x + a. Put 5, x, 3 in decreasing order.
x, 5, 3
Let x = -116.2 + 14.2. Let z = -101.1 - x. Put z, 5, -0.3, -0.4 in decreasing order.
5, z, -0.3, -0.4
Suppose 0 = -h - 9*h + 60. Suppose 0 = -3*t - h*t + 720. Let l = t + -83. Sort 3, -13, l.
-13, l, 3
Let f = -11 + 81. Let k = 60 + -126. Let v be 1*(-76)/k - (-4)/22. Sort 0.2, f, v in decreasing order.
f, v, 0.2
Suppose 3*h + 81 - 87 = 0. Let u be (-1 - h)*28/42. Let z = -16 + 11. Put z, u, 3 in increasing order.
z, u, 3
Let g(q) = -3*q**3 + 281*q**2 + 95*q - 97. Let v be g(94). Let b(t) = t**3 - 4*t**2 - 6*t + 6. Let a be b(5). Sort 2, a, v, -5.
-5, v, a, 2
Let j(d) = -d**2 - 24*d - 123. Let w be j(-7). Put w, -27, 2, 17 in decreasing order.
17, 2, w, -27
Let h = -2.3 - 0.7. Let a = -127027 + 127028. Put h, 3, a, -6 in descending order.
3, a, h, -6
Let l = 2 + -4. Let d = 30 - 21. Let q = -4644 - -4646. Sort q, d, l in decreasing order.
d, q, l
Suppose -2*v - 8 = -2*b - 0*b, 0 = b + 3*v - 4. Suppose 5*j - 1 = -4*c + 2*c, 4*j = -4*c - b. Sort 21, 5, j in ascending order.
j, 5, 21
Suppose 0 = -5*x + 4*d + 2411 + 349, 0 = -x + 4*d + 536. Let u = x - 553. Sort -4, 108, u, 5 in increasing order.
-4, u, 5, 108
Let h be 11/(-9) + (-14)/(-63). Let f = 1 - 26. Let x be 0 + h/(-5) + 105/f. Sort x, -6, -3 in increasing order.
-6, x, -3
Let l be -3*1 + -1 + 1. Suppose -5957 = -22*m - 5803. Sort m, 0, l in increasing order.
l, 0, m
Let k(l) = -4*l + 229. Let a be k(58). Sort -6, -71, a in decreasing order.
a, -6, -71
Suppose -12*z + 23 = -31*z + 4. Sort -17, 25, z in descending order.
25, z, -17
Let v = -17114 - -17114. Sort -90, -4, 3, 5, v in descending order.
5, 3, v, -4, -90
Suppose -77*f = -85*f. Suppose -68 = 5*i - 18. Sort f, -5, 4, i in descending order.
4, f, -5, i
Let r be (-85)/(-55)*79 + 2. Let v = r + -124. Sort 2/15, 0.1, v, -0.4 in decreasing order.
2/15, 0.1, v, -0.4
Let g = 3.156 + -3.456. Put -13, g, -0.04, 5/4 in ascending order.
-13, g, -0.04, 5/4
Let g = 4.3 + 3.8. Let c = 10.9 + g. Let v = -18 + c. Sort v, 0.5, 0.2.
0.2, 0.5, v
Let w be -4 + ((-12)/(-6))/(1/2). Let x be (2 + -1)/(2 + -1). Put x, w, 11 in decreasing order.
11, x, w
Let g = 9.19 + -10.1. Let w = g - 0.09. Let n = -11/78 + 4/13. Sort w, -2/5, n, 1 in decreasing order.
1, n, -2/5, w
Suppose 9 + 1 = 4*c + 2*s, c + 3*s = -10. Let y = 10926 - 10914. Put 6, c, y in ascending order.
c, 6, y
Let u = -15.97 + 16. Let n = -2137 - -2138. Sort -0.03, u, n, -2.
-2, -0.03, u, n
Suppose -2*d + 3*j - 9 = 5, 5*d - j + 9 = 0. Let n be 1/(-1) - (2 - 1). Let m be 6/21 + (-130)/(-105)*3. Sort n, d, m, 0.
n, d, 0, m
Let r = -284140675017467629/234493525080 - -24303/704184760. Let c = 1211721 + r. Let l = c + -1/148. Put 2/11, -2, -0.3, l in increasing order.
-2, -0.3, 2/11, l
Let x(l) = 3*l**3 - 3*l**2 - 2*l + 8. Let d be x(3). Let k(g) = g**3 + 7*g**2 - 2*g 