 (k - -2) + (9 - 6). Put -2, c, 22 in decreasing order.
22, c, -2
Suppose 45 = -u + 59. Let q(m) = -m**2 + 2*m - 2. Let i be q(3). Sort u, i, 0 in ascending order.
i, 0, u
Let p = -1255.59 + 1253.59. Let i = 5 - 3. Sort 1, p, 3, i in decreasing order.
3, i, 1, p
Let d be -9 - -8 - 221/(-182). Let r be (-4)/(-28)*-24 - -3. Put r, 2, 5, d in increasing order.
r, d, 2, 5
Let f be (9/15)/(3/(-23)*(-27)/405). Sort -4, 0, f, 2.
-4, 0, 2, f
Let y = 325.4 + -18.4. Let n = y - 319. Sort n, 0.4, 3/2, -2/13.
n, -2/13, 0.4, 3/2
Let u be (9 - 8)*5/1*-1. Let p(x) = x**3 - 8*x**2 - 9*x - 9. Suppose -r + 14 = 5. Let l be p(r). Sort l, u, 1.
l, u, 1
Let n(y) = 1305*y - 14352. Let c be n(11). Put -5, 24, c, 16 in decreasing order.
24, 16, c, -5
Let u = 294 - 297. Let z be (0/1)/(2 + 0). Let s(r) = -r**2 + 26*r - 92. Let l be s(22). Put l, u, z in descending order.
z, u, l
Let x = 6474.5 - 6429. Put 2, 0.5, x in increasing order.
0.5, 2, x
Let v = 194.07 + -190.07. Let k = 58/7 - 8. Sort k, v, -0.1, -9 in descending order.
v, k, -0.1, -9
Let y be 2/3*(-10)/(-4) - 1. Let b be -3 + 16 + -12 + -3. Sort y, 2/9, b.
b, 2/9, y
Let c = 6269 + -6270. Sort 0, c, 10/139 in descending order.
10/139, 0, c
Let u = 2799/8 - 16939/40. Let h = -74 - u. Let r be -1*(1/4 - 0). Sort h, -2, r in ascending order.
-2, h, r
Let j be (0/2)/(-19 + 22). Suppose 4*a + 0 = -5*f + 4, -a - f = j. Sort -1, 3, -3, a.
a, -3, -1, 3
Let x = 1433.805 + -1428. Let i = x - 0.87. Let t = -0.065 - i. Put -2, t, -0.01 in decreasing order.
-0.01, -2, t
Let i(o) = 12*o - 30. Let t be i(3). Suppose 3*a - t*a = -3*n + 18, 15 = 4*n - a. Put 9, n, -3, 8 in decreasing order.
9, 8, n, -3
Let w = -38 - -38. Suppose 233 - 220 = -13*t. Put 5, 4, t, w in ascending order.
t, w, 4, 5
Let o be -15 - (-1825)/100 - 3/(-4). Put 1, o, -37, -2 in ascending order.
-37, -2, 1, o
Let f = -64.99 - -65. Suppose -k - 4*k - c = 27, -3*k + 4*c = 7. Sort -4, f, 2, k in increasing order.
k, -4, f, 2
Let x be ((-30)/(-90) - (-3)/1)*48. Suppose 30*t - x = -2*t. Put t, -3, 14 in descending order.
14, t, -3
Let p(r) = -13*r + 371. Let x(s) = 2*s**3 + 32*s**2 - 4*s - 35. Let g be x(-16). Let f be p(g). Let l = -4 + 0. Sort l, f, 0 in descending order.
0, l, f
Let c = -41.1 + 87.1. Let d = 46.1 - c. Let r = 8 + -6. Put -3, r, d, -0.5 in descending order.
r, d, -0.5, -3
Let f be (-27)/9 - (2 + -7). Let y be -13 + ((-25)/(-6) - f/12). Sort 2, 1, y.
y, 1, 2
Suppose -2*h + 21 = 3. Suppose -2*x - 11 = -h, x - 3 = 2*r. Put 15, r, -5, 5 in decreasing order.
15, 5, r, -5
Let c be (-4 - -3)*(44/(-33))/(22/(-3)). Put 2/17, -190, -2/9, 1, c in decreasing order.
1, 2/17, c, -2/9, -190
Let t = 15 + -8. Let h(i) = i**2 - 5*i - 16. Let v be h(t). Let f(r) = -r - 10. Let q be f(-13). Put q, -3, v in decreasing order.
q, v, -3
Suppose 9*d - 13*d - 3*x + 7 = 0, 0 = d - 2*x + 1. Put 3, 9, -4, d in increasing order.
-4, d, 3, 9
Suppose 10*q = 8*q. Suppose 3*z - 5*z - 4*a - 24 = 0, z + 4*a + 22 = 0. Put z, -1, q, 7 in ascending order.
z, -1, q, 7
Let j = 0.8 + -0.3. Let u be (-35 + 41)*(-3)/27. Sort j, 2/9, u, 4 in descending order.
4, j, 2/9, u
Let p = -0.65 + 0.8. Suppose 14*t - 42*t = -3780. Let i = t + -138. Sort p, i, 0.4.
i, p, 0.4
Let r = -2268 + 2263. Suppose 4*p + 45 = -51. Sort r, p, 4 in ascending order.
p, r, 4
Let b(i) = i**3 + 7*i**2 + i + 2. Let a be b(-7). Let w(p) = p**3 - 5*p**2 - 32*p - 31. Let n be w(9). Sort a, n, -2 in decreasing order.
n, -2, a
Let g(o) = -2*o - 21. Suppose 2*c - 67 + 21 = 0. Suppose -20*y = -c*y - 36. Let l be g(y). Sort 1, -5, l.
-5, 1, l
Let h = -150/31 - 7858/93. Put h, -3, 4 in decreasing order.
4, -3, h
Let s(a) be the first derivative of a**2/2 - 34*a + 43. Let t be s(34). Sort 8, t, 2, 4.
t, 2, 4, 8
Suppose t - 54 + 45 = 0. Let u be (-3)/6 + 54/(-4). Let w be (-6)/27 + (-3)/(-54)*u. Put w, 4, t in decreasing order.
t, 4, w
Let y = 2.883 + -0.183. Let r = y + -2.7. Put -6/25, r, -1/5 in descending order.
r, -1/5, -6/25
Let r = -109 - 137. Let h = r + 247. Let p = 13 + -17. Put h, p, -1 in decreasing order.
h, -1, p
Let g = 32698/3 + -10899. Sort -0.02, -2, g, 0.6.
-2, -0.02, g, 0.6
Let d = -62.85 - -1.85. Let h = -60 - d. Sort 3, 0.25, h, 5 in increasing order.
0.25, h, 3, 5
Let m(x) = 23 + 7159*x**2 - 7166*x**2 + 13*x - x**3 - 14*x. Let k be m(-7). Put 1, 0, k in decreasing order.
k, 1, 0
Let y = -28 - -22. Let s = 17 + -14. Suppose -2*v = -3*g - 2, 3*v + 0*v = 2*g + s. Put y, 5, g in increasing order.
y, g, 5
Suppose 2*k + 96 = 10*k. Suppose 0 = -f + 4*f - k. Let b = 62 - 64. Sort -3, b, 2, f in descending order.
f, 2, b, -3
Suppose 21 = 2*z - 3*n - 3, 5*n - 110 = -5*z. Suppose 0 = -x - z + 14. Let m(q) = -3*q**2 - 11*q + 7. Let i be m(x). Sort i, -7, -1 in decreasing order.
i, -1, -7
Let b = 335 + -340. Let v = 11 + -6. Let m be (-65)/9 - 50/(-225). Sort b, m, v in ascending order.
m, b, v
Suppose 0*m = -2*m. Suppose m = d - 5*d + 4. Suppose 3*a - 8 = 5*n, -5*n + 4*a - 3 = d. Sort -1, 2, n in decreasing order.
2, -1, n
Let o = -2 - -3. Let y be (-41)/116 - ((-102)/(-136) + -1). Put o, y, 3 in decreasing order.
3, o, y
Let a be 1/(-9) - (5 + 138/(-27)). Let y(v) = 23*v**2 - 440*v + 52. Let b be y(19). Sort a, b, -3.
b, -3, a
Let q = 218 - 445. Let n = q - -337. Sort 1/9, n, 3, 2 in decreasing order.
n, 3, 2, 1/9
Let f = -5 - -4.7. Let t = -70.8 + 12.8. Let g = 57.5 + t. Sort 4/3, g, 0, f in ascending order.
g, f, 0, 4/3
Let n = -575.981 + 12.981. Sort n, -0.1, -1/3 in increasing order.
n, -1/3, -0.1
Let o be (34/(-8) + 5)/((-1)/(-40)). Suppose 0 = -11*p - o + 8. Sort -4, -1, 4, p in ascending order.
-4, p, -1, 4
Let j = -3 - 2. Suppose d + 3*g - 2 = 0, -516*d = -521*d - 3*g - 2. Sort -2, d, j, 0.
j, -2, d, 0
Suppose -2499*q = -2505*q. Let b = -13.1 - -13. Sort q, b, 1 in decreasing order.
1, q, b
Let i(k) = -9*k - 65. Let y be (6/(-8))/(-5 - (-427)/84). Let g be i(y). Put 3, g, -1/2 in increasing order.
-1/2, 3, g
Let w = -204.63 + 204.63. Sort w, -0.4, 1456/11 in decreasing order.
1456/11, w, -0.4
Let s = 3.12 + -0.12. Let q = s + 13. Let w = q - 21. Sort w, 4, -3 in ascending order.
w, -3, 4
Let u = -8158 + 8155. Put u, -0.08, 3/2, -1, 34 in increasing order.
u, -1, -0.08, 3/2, 34
Suppose 2*f + 440 = 4*j, 2*f = -j + 6*f + 96. Put 5, j, -1 in ascending order.
-1, 5, j
Let z = 4433 - 4435.2. Sort -1, 2/7, 0.2, 4, z in descending order.
4, 2/7, 0.2, -1, z
Let c be (16 - (-2771)/(-170)) + 1 + (-2709)/(-30). Sort -3, -1, c.
-3, -1, c
Let g = 2394 - 2393.7. Put g, -4, 5, -223 in ascending order.
-223, -4, g, 5
Let k be ((-4725)/275)/9 - ((-36)/(-33) - 1). Put 5, k, -5, 26 in decreasing order.
26, 5, k, -5
Let h(z) = -z**2 + 8*z - 3. Let u be h(8). Let v be 2/(-5) + u/105. Suppose 5*g + 96 = 17*g. Sort g, v, 0.3 in decreasing order.
g, 0.3, v
Let l = 1.248 + 1.752. Sort -0.2, -1, 0, l.
-1, -0.2, 0, l
Let q = 29 + 134. Let n = q + -168. Sort 3, 0.2, -1/3, n in ascending order.
n, -1/3, 0.2, 3
Let a = 0.4 + 1.6. Let s(m) = 99*m**2 - 402*m + 27. Let h be s(4). Put h, a, 2/41 in decreasing order.
h, a, 2/41
Let o be (10/(-75))/((-2)/10). Let i be 2*1/(5/(-94)). Let c = 38 + i. Sort 1/4, c, o in descending order.
o, c, 1/4
Suppose -8*n + 108 - 84 = -2*n. Put -36, -0.5, 5, -3, n in descending order.
5, n, -0.5, -3, -36
Let m = 890 - 889. Suppose 3*d + 8 = -3*a - 7, 0 = 3*a - 2*d. Let c = -2 + 4. Sort c, a, m.
a, m, c
Suppose 1045 = -r - 5*b + 10*b, 2*r - 4*b = -2072. Sort r, -4, 3 in decreasing order.
3, -4, r
Let n = 5.606 - 4.506. Put -1/3, n, -1, 2/23, 2/3 in decreasing order.
n, 2/3, 2/23, -1/3, -1
Let b = 750 + -746. Suppose 3*o - 7*o - 8 = 0. Suppose 4 = 5*k - 6. Sort b, k, 3, o in decreasing order.
b, 3, k, o
Suppose 32*c = -5*c - 481. Let a = 12 + -7. Suppose a*u - 13 = -2*s, -4*u + 2*s = -2 + 6. Put c, u, -1 in descending order.
u, -1, c
Let g = -0.1 - 0.2. Let l = 26957 + -26954.7. Sort 4, 1/5, l, g in decreasing order.
4, l, 1/5, g
Let d(x) = x**3 + 5*x**2 - 8*x - 8. Let z be d(-6). Suppose -u + z*u = 9. Let l = -4669363 - -4669358. Sort u, l, -4, 0.
l, -4, 0, u
Let s be (3/(-48))/((-1610)/(-2660) - 2/19). Put 0.2, -116, s in decreasing order.
0.2, s, -116
Let z = 6573 + -6575. Put z, 4, -11 in decreasing order.
4, z, -11
Let o = 103 - 108. Let c = -610.1 + 649. Let r = c + -39. Put o, 1, r in descending o