k, h.
h, -3, a, k
Let a(g) = -g**2 - 6*g + 1. Let o be a(-5). Let m = -8 + o. Let s = -367/6 + 184/3. Sort m, s, -0.5, -5.
-5, m, -0.5, s
Let w = -9.8 - -10.43. Let t = -123.93 - -122.8. Let b = w + t. Sort -4, -38, b, 1 in decreasing order.
1, b, -4, -38
Suppose 12*u - 1918 - 1442 = 0. Let m be (u/80)/((-1)/12*-3). Sort m, 5, -5, -1 in decreasing order.
m, 5, -1, -5
Suppose 103*a = 94*a. Suppose 0 = -b - q + 1, 10*q - 16 = 2*b + 6*q. Sort 5, b, a in descending order.
5, a, b
Let d = -229 + 227. Let a be d/(264/(-40) - -7). Let l(k) = -k**3 - 6*k**2 + 4. Let r be l(-6). Sort -2, a, 2, r in increasing order.
a, -2, 2, r
Let a(r) = -3*r + 26. Let s(c) = 2*c - 24. Let v(y) = 4*a(y) + 3*s(y). Let t be v(5). Put t, 9, -2 in descending order.
9, t, -2
Let r be (-357)/91 - 10/130. Sort 5, 6, 2, -1, r.
r, -1, 2, 5, 6
Suppose 156*q + 167*q - 46 = -184*q + 461*q. Suppose 5*r + 4 = -1. Let x be 5 - (1 - 2)/r. Put x, q, -16 in ascending order.
-16, q, x
Let a(l) = -l**3 + 20*l**2 - 37*l + 15. Let d(r) = 3*r**2 + 24*r + 54. Let g be d(-2). Let s be a(g). Let u = -5 - -5.3. Sort 1/9, u, s in descending order.
u, 1/9, s
Let i(z) = 24*z - 9. Let f be i(-13). Let t = f + 4175/13. Put -5, 0.3, t, 4 in descending order.
4, 0.3, t, -5
Let s = -5233 - -5235. Sort -2, s, -5, 12 in ascending order.
-5, -2, s, 12
Suppose 288*f - 1723 + 283 = 0. Sort 2, 4, f in descending order.
f, 4, 2
Suppose -14 = g - 2*c, 0 = -0*c - 2*c + 10. Suppose 36*j = 33*j + 4*p - 70, -3*j - 10*p - 14 = 0. Put j, g, 2, 1 in descending order.
2, 1, g, j
Let v be (-62 - -56)*1/3. Sort -4, -201, 5, v in increasing order.
-201, -4, v, 5
Let b = -20572 - -144002/7. Let t = 0.04 + -1.04. Sort b, -2/3, 0, t in descending order.
0, b, -2/3, t
Suppose b + 42 = -5*u, 2*u - 243 = 5*b + 48. Let o = -52 - b. Let k(i) = i**3 - 5*i**2 - 2*i + 7. Let y be k(o). Sort y, -4, 2.
-4, y, 2
Let a = 233 - 229. Let x be -4*2/a - 1. Let f = -4 - -8. Put x, 6, f in ascending order.
x, f, 6
Let c = -1.8 - -2.16. Let z = -0.04 - c. Let x = 440 + -449. Sort z, 0, x in decreasing order.
0, z, x
Let d be (2/(-3))/(-4 - -2). Let o be 22*246/2255 + 198/(-70). Sort d, 0.1, o, -24 in descending order.
d, 0.1, o, -24
Let i = -9 + 6. Let y = 3278 + -3282. Sort 7, y, i, 5.
y, i, 5, 7
Let j = -3795.3 - -3796. Put 0.1, -4/3, -2, -0.3, j in increasing order.
-2, -4/3, -0.3, 0.1, j
Let f(l) = 6*l + 54. Let w be f(-10). Let x be 258/(-90) + w/45. Put 4, 5, x in descending order.
5, 4, x
Let j be (-2 - 4)*6/(-36). Let z(m) = -5*m**3 + 2*m**2 + 2*m - 3. Let u be z(j). Sort u, -109, 5, -3 in decreasing order.
5, -3, u, -109
Let h be (-6 + 6)/(-4)*(7 - (-2 - -8)). Let n be (-20)/(-7) - (3 - 0). Sort h, -20, n in decreasing order.
h, n, -20
Let v(o) = -5*o**2 + o. Let i be v(-1). Let d be 54 + i/3 + 1. Let p = d + -48. Sort -5, p, -2 in descending order.
p, -2, -5
Let k = -4807 - -4808. Sort -0.2, k, 91.
-0.2, k, 91
Let q be (20 + -37 + 15)/((-1)/(-3)). Sort q, -9, 5 in ascending order.
-9, q, 5
Let u = 4689 + -4586. Put 4, u, -1, 5 in decreasing order.
u, 5, 4, -1
Let b be 0*(-33)/1584*-48. Suppose 0 - 12 = 4*f, -f - 12 = -3*u. Let d = u - 1. Sort 4, d, b.
b, d, 4
Let p(n) = -n + 9. Let v be p(8). Let b be -3 - ((-44)/12 + v). Sort b, 3/8, 0.3 in descending order.
3/8, 0.3, b
Let k = 7.4 + -474.4. Let u = -468 - k. Let b = 0.4 + 0.6. Sort 5, b, u in ascending order.
u, b, 5
Suppose -47*o - 99 = -287. Let d be 0/2 + (3 - 7). Sort d, o, 1 in increasing order.
d, 1, o
Let h(l) = 144*l - 7491. Let y be h(52). Put -1, -221, y, 4 in descending order.
4, -1, y, -221
Let m = 119 - 107. Put -1/5, -1/17, m, 3 in increasing order.
-1/5, -1/17, 3, m
Let t(p) = 54*p - 51. Let o be t(1). Suppose -4*g + 2*j = -g + 49, 0 = -5*g - 2*j - 103. Sort -5, o, g, 5 in decreasing order.
5, o, -5, g
Suppose -2*t - 18 = 2*r - r, 2*r - 2*t + 6 = 0. Let d = 323 - 324. Sort 0, r, d in ascending order.
r, d, 0
Let p = -8595 + 8593. Suppose 3*t = -0 - 12. Put -23, -3, t, p in descending order.
p, -3, t, -23
Let x = 54.5 + -55. Let p be ((-4)/30)/((-9)/(-30)). Let u = -22468/33711 - 2/11237. Sort u, 5, p, x in descending order.
5, p, x, u
Suppose 9 = -4*o + 5*a, -4*a = -97*o + 98*o - 24. Let b be -1 + (-2)/2 - 2. Sort 0, o, b, -9.
-9, b, 0, o
Let v = 0.01339 - 0.01339. Sort 9, v, 15, 4, -5 in descending order.
15, 9, 4, v, -5
Let h(i) = -i**3 - 5*i**2 - 6*i - 4. Let t be h(-7). Let w = t + -682/5. Let u = -0.2 + 0.3. Sort 1/4, u, w, 0.2 in decreasing order.
1/4, 0.2, u, w
Let t = -1557 + 1533. Put 1, 0, t, -4 in decreasing order.
1, 0, -4, t
Let k be 74/296 + (-17)/36 - 51/(-108). Put -15, -0.5, -5, -2.4, k in decreasing order.
k, -0.5, -2.4, -5, -15
Let p = -198 - -405. Let n = -204 + p. Sort 7, n, 1/4.
1/4, n, 7
Let b(f) = f**2 + 5*f + 1. Let v be b(-4). Let g = 6 + v. Let p be -20 - (-54 - -14) - (3 + 10). Put p, g, -5, -1 in decreasing order.
p, g, -1, -5
Let x(s) = -s**2 + 9*s + 8. Let f be x(8). Suppose m = 5*m + f. Let n(y) = 2*y - 57. Let c be n(26). Put -2, c, 2, m in decreasing order.
2, -2, m, c
Suppose 2*o - 29 - 23 = -2*x, -3*x + 2*o + 88 = 0. Suppose -44 = -4*f - x. Put -2, f, -5 in decreasing order.
f, -2, -5
Let s = 14741 + -14749. Sort s, 1, 2, -13, -0.4 in descending order.
2, 1, -0.4, s, -13
Suppose -2*j + 4*n + 32 = 0, -5*n + 6*n + 12 = j. Sort -60, 3, j, 1, -1 in ascending order.
-60, -1, 1, 3, j
Let w(j) = 4*j - 39. Let k be w(10). Suppose 2*a - 12 = -18. Sort -8, a, k.
-8, a, k
Let y = -3932 + 3932.4039. Let h = -0.0961 - y. Let m be (-27)/6 - (-1)/2. Sort -2, h, m, -0.1 in increasing order.
m, -2, h, -0.1
Let m be 215/275 + (-9)/15. Let v = -175.1 + 33.1. Let q = v - -139. Sort 1, 1/2, m, q in descending order.
1, 1/2, m, q
Let x = 2095 - 14663/7. Put x, 8, 4, -0.3 in decreasing order.
8, 4, x, -0.3
Suppose 14*o - 10*o - 20 = 0. Let l be 1/5 - (-14)/o. Suppose -g + 20 = l*g. Sort 0, g, 6, -2.
-2, 0, g, 6
Let g = -8 + 3. Let u be 198 - 204 - (1 - 452/64). Sort 3/8, u, -1, g in ascending order.
g, -1, u, 3/8
Suppose 6*t - 3 = 5*t. Suppose -4*q - d - 171 = 0, -78 = 4*q - t*d + 113. Let w = 46 + q. Sort -5, -2/3, -1/6, w in increasing order.
-5, -2/3, -1/6, w
Let p(b) = b**2 + 7*b + 4. Let g be p(-7). Let i be 238/(-70) - (0 - g). Put -1, i, -4 in increasing order.
-4, -1, i
Let r = 1904 - 13326/7. Let g = -5.12 - -0.12. Sort g, 2, 1, r in ascending order.
g, r, 1, 2
Let m be (66/9 + -7)/((-2)/30). Let f be 2*(-6)/30*m. Sort 5, -3, f, 0 in decreasing order.
5, f, 0, -3
Let k(q) = q**2 - 3*q - 22. Let l be k(-3). Sort 7, l, 8, 3 in ascending order.
l, 3, 7, 8
Suppose -3*b - 6 = 0, -825 = -2*t - 4*b + 975. Sort 1/6, 3/7, 1/10, t, -2/5 in ascending order.
-2/5, 1/10, 1/6, 3/7, t
Let y(g) = g**3 + 13*g**2 + 17*g + 24. Let t be y(-11). Let k = t + -46. Suppose -k = -13*o - 7. Put o, 7, -2 in decreasing order.
7, o, -2
Suppose 6 = -5*z + 31. Suppose 4*a = 6*a + 4*w + 46, -z*a + w = 137. Sort -3, 1, a in decreasing order.
1, -3, a
Let w be (3/12)/((-3)/(-8)). Let s = 858 + -858. Sort -3/17, s, w.
-3/17, s, w
Let d = 1981/8 - 248. Let f = 0.5 + -0.4. Let j = 37 - 47. Put d, j, f in descending order.
f, d, j
Let c = -202 + 827. Let r = 605 - c. Sort -2/11, r, -0.1 in descending order.
-0.1, -2/11, r
Let l(h) = -3*h**2 + 205*h + 138. Let m be l(69). Let n(a) = -2*a - 1. Let r be n(4). Put r, -5, m in decreasing order.
m, -5, r
Suppose 0 = 4*y - 12*y - 16. Suppose 3*o + 15 = 4*z - 9, 3*z - o = 18. Let l be ((-12)/10*(-15)/z)/(-1). Put -6, 2, l, y in ascending order.
-6, l, y, 2
Let y(k) = k**3 - 35*k**2 - 44*k + 2657. Let a be y(34). Let d(v) = v**2 - 3*v - 2. Let t be d(3). Let c = -1 + -2. Sort c, 2, t, a in decreasing order.
a, 2, t, c
Let z = 19461 - 19460. Sort -54, -2, 0, z in descending order.
z, 0, -2, -54
Let v(w) = w**3 - 25*w + 72. Let j be v(7). Sort j, 5, -1, 3.
-1, 3, 5, j
Let y = -353 - -157. Let l = -197 - y. Let p = 4 - 9. Sort -8, p, l in decreasing order.
l, p, -8
Suppose 155*s - 177*s = -22. Sort -10, -5, s, -1 in increasing order.
-10, -5, -1, s
Let p = -9 - -12. Let m be (-4 + p + 2)*3. Suppose 0 = -5*h - m*q - 5, q - 10 = 3*q. Sort 3/2, 3, h in decreasing order.
3, h, 3/2
Let i(a) be the first derivative of 2*a**3/3 - 9*a**2/2 - a - 23. Let p be i(5). Suppose 0 = p*b + 7 - 3. Sort -4, 2, b in descending order.
2, b, -4
Let u = -67 + 