= k - 11.8. Let s = i - 1. Sort s, 0, -0.5 in ascending order.
-0.5, 0, s
Let v be (4 - 1)*(-115 - -112). Sort 3, v, 12 in ascending order.
v, 3, 12
Let v = -460 - -456. Put -0.049, -5, v in decreasing order.
-0.049, v, -5
Let a = 1375 + -1370. Sort 4, a, -2, 8 in descending order.
8, a, 4, -2
Let i = 5.4 + -9.4. Suppose 0 = 3*b - 5*x + 10, 4*b + x + 0*x = -21. Let j be (11/3 - 4)*b. Put 0, i, j in increasing order.
i, 0, j
Let g = -26 + 15. Let c = -13 + 14.2. Let x = c - 1.4. Sort g, x, 3/2 in ascending order.
g, x, 3/2
Suppose -2*b + 3*b = 5, -5*r + 2*b = -10. Let h = 28 + -20. Suppose 0 = h*t - 17*t - 27. Sort t, -2, r in ascending order.
t, -2, r
Let k be (-1)/((-2)/(-12)) + 2 - -8. Suppose -4*m = -2*m - k, -3*m = 3*i. Sort i, 0, -3 in ascending order.
-3, i, 0
Suppose 0 = 3*d + 5*x - 21, 2*x = d - x + 7. Let a(t) = t**2 - 8*t + 2. Let u be a(8). Suppose -4 = u*w, -4*z + w + 4*w = 6. Sort z, -2, d in increasing order.
z, -2, d
Suppose 2*h + 4*r - 26 + 10 = 0, 3*r = 3*h + 3. Suppose -f = -h*f. Sort 5, f, -7.
-7, f, 5
Let t = -1.2 + 1.3. Let w = 6 + -25. Let j = 23 + w. Sort 2, t, j in increasing order.
t, 2, j
Let a = -608 - -612. Sort -0.04, a, -4/3 in ascending order.
-4/3, -0.04, a
Let p(d) = -d**3 + 2*d**3 + 0*d - 2*d**2 + d. Let b be p(1). Let s = -57 + 56. Sort s, b, -9.
-9, s, b
Let j be 15/((-12)/4)*49/(-35). Sort j, -11, 1, 0.
-11, 0, 1, j
Let n = -3 + 3.2. Let g = -112/3 + 110/3. Sort -4, g, n in increasing order.
-4, g, n
Let a(c) = -c**3 - 5*c**2 + 7*c + 47. Let q be a(-4). Sort 6, q, 1, -4.
-4, 1, q, 6
Let r(f) = 56*f - 113. Let b be r(2). Sort 5, b, -3, 11 in decreasing order.
11, 5, b, -3
Let a be 1 + -1 + (2 - 4). Let s be 4 - (0 - a) - -2. Let d be 28/140 - (64/(-10))/(-2). Put s, 3, d in descending order.
s, 3, d
Let m = 9 - 4. Let l be (-3)/(-9) + 34/6. Suppose -t + 20 = -l*t. Sort 2, t, m in descending order.
m, 2, t
Let y be -1 + (-1)/(1/3). Let d = 222 - 220. Put 3, y, d, 6 in ascending order.
y, d, 3, 6
Let k = -78 + 60.7. Let o = 17 + k. Sort -4, 0.3, -1/4, o in increasing order.
-4, o, -1/4, 0.3
Suppose 5*i + 3*y = -56, 4*i = 17*y - 14*y - 34. Sort 4, 5, 0, i in decreasing order.
5, 4, 0, i
Suppose -w - 5 = 16. Let f = w + 42. Let b = -26 + f. Sort b, -3, 5.
b, -3, 5
Let m = -412 - -414. Sort 5, -4, 13, m in increasing order.
-4, m, 5, 13
Let k = 62 + -188/3. Let n = -10.1 - -10. Put k, n, -4 in decreasing order.
n, k, -4
Let f = 5.4 + -1.4. Let i = -313.04 - -285. Let y = 28 + i. Sort f, y, 2 in decreasing order.
f, 2, y
Let f = -98 - -488/5. Put -4, 0.5, f, 2 in decreasing order.
2, 0.5, f, -4
Let t(k) = k**2 - 2*k + 20. Let a be t(0). Let h be ((-12)/(-15))/(2/a). Suppose 2*m - h = 0, -4*w - 4 + 12 = 2*m. Sort w, 5, 3 in descending order.
5, 3, w
Suppose 0 = 4*p + 18 - 14. Let s(t) = t + 1. Let b be s(3). Suppose 7*f - 5*q = 2*f - 10, b*f = -5*q + 10. Put p, -2, f in descending order.
f, p, -2
Let p(n) = -6*n - 1. Let d be p(-1). Let h be (d/30)/(4/9). Let u = 0.04 - -0.36. Sort 5, u, h in decreasing order.
5, u, h
Let o(z) = 2*z - 8. Let p(u) = u**3 - u. Let y be p(2). Let s be o(y). Let x = -11 - -13. Sort s, x, 0.1 in descending order.
s, x, 0.1
Let r = -10028 - -10025. Let j be (-1 - (-1 + 2))/(-2). Put j, r, 4 in increasing order.
r, j, 4
Let p be 1 - (11 + -12)/(2/(-2)). Put p, 5, -11, -4 in ascending order.
-11, -4, p, 5
Let d be ((-6)/(-4)*(-24)/(-18))/(-2). Let b be (2 - -1) + (d - -2). Let q = 1 + -10. Put b, q, 2 in increasing order.
q, 2, b
Suppose 7*x + 50 = 12*x. Let n be (x/(-12))/((-8)/48). Sort n, -4, 1/4 in descending order.
n, 1/4, -4
Let f(u) be the third derivative of -u**6/120 - u**5/6 + 11*u**4/24 + 5*u**3/6 + 18*u**2. Let n be f(-11). Put n, 0, -11 in decreasing order.
n, 0, -11
Let j(y) = -4*y**2 + y + 6. Let o be j(-2). Let u be (4/114)/((-40)/o - 3). Let v = -10 + 51/5. Put v, 2/11, u in descending order.
v, 2/11, u
Let t = -144/385 + -2/77. Sort -10, 2/5, t in descending order.
2/5, t, -10
Suppose -24 = -31*t + 35*t. Let c(s) = -s**2 - 7*s - 10. Let q be c(t). Sort 3, 5, q in increasing order.
q, 3, 5
Let n be 1 - (-3 + (0 - -1)). Suppose 5 = p + 3*h, -3*p - 5*h + 2*h = -15. Suppose p*v = -1 - 4. Sort n, -8, v in descending order.
n, v, -8
Let h = -13 - -2. Let m = h + 14. Let z = -0.8 + 0.83. Sort z, 0.2, m.
z, 0.2, m
Suppose -z = 526*n - 529*n - 24, 2*z = 2*n + 20. Suppose 0*i = -4*x + 2*i + 4, -4*i + 3 = 3*x. Sort -5, -2, x, z in ascending order.
-5, -2, x, z
Suppose 7*q + 36 = 11*q. Let a be -2 - (-2 + 3)*-6. Sort q, -5, -1, a in decreasing order.
q, a, -1, -5
Let t(g) = g**3 + 3*g**2 - 3*g + 9. Let d be t(-4). Let n = 16/69 - -10/23. Sort 4, d, n in increasing order.
n, 4, d
Let u = 123 - 53. Let d = -70.5 + u. Put 0, d, 5 in ascending order.
d, 0, 5
Let z(h) = h**3 - 3*h**2 + h - 3. Suppose -3*i - 3 = -12. Let g be z(i). Sort 4, g, 1 in ascending order.
g, 1, 4
Let u be ((-6)/4)/((-2)/(-4)). Let f(y) = -y**2 + 10*y - 11. Let d be f(-5). Let a = d - -89. Sort a, 4, u in ascending order.
u, a, 4
Let h be ((-2 - -4) + -3)*-1 + 100. Let b = h - 106. Sort -2, 26, b, 1 in ascending order.
b, -2, 1, 26
Let f be 2 + 2*(-6)/4. Suppose -42 = -4*r + 6. Suppose -r = 6*a - 2*a. Put a, f, -5 in descending order.
f, a, -5
Let k = 592 + -595. Suppose 5*c = v - 15, 0 = 2*v - 4*c - 19 - 5. Put v, k, 5 in increasing order.
k, 5, v
Suppose 0 = -4*j - 4. Let d(p) = -p**2 - 17*p - 38. Let w be d(-14). Put w, 5, j in decreasing order.
5, w, j
Let j be -1*0*1/(-2). Let k be 1 + (10/(-6) - j). Let g = 0.1096 - -4.8904. Sort -2/11, g, k in decreasing order.
g, -2/11, k
Let n(h) = -36*h**3 + 6*h**2 + 6*h + 1. Let d be n(-1). Let g be 3/9 - (-14)/(-6). Sort g, d, 3 in descending order.
d, 3, g
Let p = -860 - -1044. Sort 0.5, p, -1/2.
-1/2, 0.5, p
Let z = -58.39 - -58. Let h = 1087.61 - 1092. Let o = h - z. Put 6/11, -5, o in ascending order.
-5, o, 6/11
Let x(r) = -23 + 17 - r + r**2 + 4*r. Let f be x(-4). Put 2, 1, f in decreasing order.
2, 1, f
Let u(x) = x + 5. Let m be u(-8). Let o(t) = t**3 - 80*t + 9. Let v be o(-9). Sort m, 12, v in ascending order.
m, v, 12
Suppose -11*r + 15*r = 0. Let c be ((-4)/(-3) + -2)/2. Sort r, c, 4/7, 2.
c, r, 4/7, 2
Let s = -0.11 - 0.19. Let i(t) = 4*t. Let g be i(1). Suppose f + m = -f, 0 = 5*f - g*m - 13. Sort s, -5, f in decreasing order.
f, s, -5
Let f = -47.05 + 47. Let c be (3/(-8))/(60/16). Sort f, 2/3, 5, c in descending order.
5, 2/3, f, c
Suppose 3*o + 3*i + 14 + 250 = 0, -3*o = i + 264. Let h be (o/(-55))/((-2)/(-5)). Sort -8, 2, h in increasing order.
-8, 2, h
Let a(n) = n**2 + 8*n + 21. Let j be a(-4). Sort 129, -5, j in decreasing order.
129, j, -5
Suppose 159*t = 161*t + 5*u + 14, 0 = -2*t - 4*u - 12. Sort 94, t, 0.2 in descending order.
94, 0.2, t
Suppose -4*n + 8 = 12. Let l be 48/(-36)*-2*3. Suppose 3*p - l = -2. Put n, p, -5 in decreasing order.
p, n, -5
Let d = -82/1209 - 8/93. Let u = -1.4 + 7.4. Let j be (-17 + 19)*(-2)/4. Sort u, d, j in increasing order.
j, d, u
Let g = 0.3 + -0.1. Let f = 1131 + -1133. Put f, 6/5, g in descending order.
6/5, g, f
Let c = 3 - 8. Let v be 1*(2*-2)/(-1). Let w be 14/(-49) - v/(-14). Put -0.4, w, c in descending order.
w, -0.4, c
Let z(c) = 5*c - 62. Let i be z(13). Let m = 65 + -94. Put i, -4, m in increasing order.
m, -4, i
Let x(z) = 2*z - 149. Let b be x(-10). Put 3, b, 1/7 in increasing order.
b, 1/7, 3
Let s be 2 + (6/15)/((-8)/80). Suppose -3*f + 17 = 3*q - 2*q, 4*f = -4*q + 76. Put s, 4, q, 5 in decreasing order.
q, 5, 4, s
Let y = -17192/3 + 5731. Let r(h) = -h**2 - h + 2. Let w be r(-3). Sort -2, -0.1, w, y in decreasing order.
y, -0.1, -2, w
Suppose -10*m = -0*m. Let l be m/(-9) + -1 + 0. Put 5, l, -3 in descending order.
5, l, -3
Suppose 0 = -10*j + 36 + 34. Put j, 28, 5 in descending order.
28, j, 5
Let k = -38.47 - -39. Let y = 0.23 - k. Let u = 0.063 - 7.063. Put u, 4, y in descending order.
4, y, u
Let i(d) be the second derivative of d**3/3 - 33*d**2/2 - d. Let r be i(14). Sort -2, 5, 1, r.
r, -2, 1, 5
Let m = 163 - 165. Sort 5, -24, m, -1 in ascending order.
-24, m, -1, 5
Let l = -0.54 - 4.46. Let i = 0.217 + 4.783. Put l, i, 0.1 in decreasing order.
i, 0.1, l
Let v = 1851 - 2172.1. Let j = -339 - v. Let t = -18 - j. Put -4/7, t, 4 in decreasing order.
4, t, -4/7
Let w be ((-2)/3)/(20/120). Sort