**2 + 4*k - 25. Let o = -383 - -375. Let f be p(o). Put -3, 18, f, -4 in decreasing order.
18, f, -3, -4
Let m = -28079 - -27899. Put 3, m, 1, -1 in descending order.
3, 1, -1, m
Let x = 17230 - 17077. Put 0, -5, x in decreasing order.
x, 0, -5
Suppose 0 = -19*w + 36958 - 42316. Sort -3, 0, 5, w in descending order.
5, 0, -3, w
Let k = 12703 + -12702. Let c = -1/154 + -1531/1386. Sort k, -0.03, c, -3/5 in descending order.
k, -0.03, -3/5, c
Let i = 2014 + -2018. Let p(d) = 3*d**3 - 2*d**2 + 2. Let s be p(2). Put 4, s, i in descending order.
s, 4, i
Suppose 0 = 24*f + 26 + 94. Sort f, 4, -124 in descending order.
4, f, -124
Let u be (-13)/13*(5 + 0/(-3)). Sort -36, u, 8 in descending order.
8, u, -36
Let w be (-388)/(-5) + 4/(-10). Let p(f) = 7*f - 63. Let a be p(20). Let m = w - a. Sort m, -5, -2 in ascending order.
-5, -2, m
Let n be ((-108)/30 - 0) + 264/40 + -6. Put 0, -2, -5, n, 5 in descending order.
5, 0, -2, n, -5
Suppose -56382*v + 56370*v - 12 + 0 = 0. Put -3, -10, 11, v in decreasing order.
11, v, -3, -10
Let o be 483/2093 + (-86)/598. Sort o, -1/19, -4 in descending order.
o, -1/19, -4
Let b = -42335 - -42334. Sort b, -3, -0.34, -2/5, -3/2 in ascending order.
-3, -3/2, b, -2/5, -0.34
Let p(m) = -2*m**2 + 12 + m + 0*m**2 + 7*m + 0*m**2. Let x be p(5). Let a be x/6 - (10/(-6) - 2). Put a, -2, -4, 6 in descending order.
6, a, -2, -4
Let d(o) = -2*o - 7. Let k be d(-6). Suppose 5*q + 2*n - 127 + 168 = 0, -q + 4*n = 39. Sort -3, q, k in descending order.
k, -3, q
Let k = -66.1 - -4.1. Let l = -7253 + 7252.6. Put 0.1, -1/2, l, k in descending order.
0.1, l, -1/2, k
Let c = 776 - 775. Let j(v) be the second derivative of v**4/12 + v**3/2 - 6*v**2 - v. Let q be j(-5). Sort c, q, 8 in decreasing order.
8, c, q
Suppose 6*g - 570 = -570. Put g, 5, -35, -4 in decreasing order.
5, g, -4, -35
Suppose 224 = 2*u + 30. Suppose -u = 9*m + 92. Put m, 0.2, -1/3 in decreasing order.
0.2, -1/3, m
Suppose 279*r = 277*r + 26. Suppose -9 = -22*o + r. Let x(b) = b. Let f be x(2). Sort o, -1, f, 3 in descending order.
3, f, o, -1
Let n be 1 - ((-4)/(-10) + (-3)/(-105)). Suppose c = 4, 0*c - 28 = -5*u - 2*c. Suppose u*s = -t - t - 6, 7 = 5*t - s. Sort t, n, -1/2.
-1/2, n, t
Let o = 2233.01 - 2233. Sort 2/21, o, -6/5, 2, 0.1 in decreasing order.
2, 0.1, 2/21, o, -6/5
Suppose -817 = 362*o - 925*o + 872. Let g(s) = s - 9. Let u(a) = -3. Let j(v) = -4*g(v) + 11*u(v). Let r be j(2). Put r, 0, 0.5, o in decreasing order.
o, 0.5, 0, r
Let c be (6 - 11 - -411)/2. Let x = c + -200. Sort -4/5, x, -2/13, -2/11 in descending order.
x, -2/13, -2/11, -4/5
Let c = 1732/2571 - 6/857. Sort 0.7, c, -47, -4 in ascending order.
-47, -4, c, 0.7
Let c = -12 + 8. Suppose 4*m = -3*d + 9 + 2, 7*m - 44 = 3*d. Sort 50, m, c in ascending order.
c, m, 50
Let z = -0.2 + 0.5. Let n(a) = -287*a - 14881. Let l be n(-52). Put l, z, -1 in ascending order.
-1, z, l
Let s = 268370.1 - 268370. Let g = 39.1 - 34. Let d = 1.1 - g. Sort d, 10, s in descending order.
10, s, d
Let q = -11226 - -11225.94. Put 3, q, 1.1, -3, -1/4 in descending order.
3, 1.1, q, -1/4, -3
Suppose -t = -3*k - 6, 5*t + 2*k + 3*k = -50. Suppose 0 = -31*b + 25*b + 90. Suppose -4*g - 5*p - 11 - 16 = 0, -3*p = 2*g + b. Sort -5, g, t in ascending order.
t, -5, g
Suppose 1483 = -646*i - 1747. Put -436, i, 1, -4 in decreasing order.
1, -4, i, -436
Let h = -7/384 + -313/384. Sort -0.5, h, -13.
-13, h, -0.5
Let g be (1 - 119/105) + 10566/(-1755). Sort -2, g, -0.2 in ascending order.
g, -2, -0.2
Let q(l) = 2*l - 32. Let y(v) = v**2 + 38*v - 25. Let b be y(-39). Let n be q(b). Sort -5, -1, 8, n.
-5, n, -1, 8
Let u be (2/(-8))/(12/(-16))*63/(-35). Sort -28, u, 0, 2/7.
-28, u, 0, 2/7
Let n(y) = y**3 - 7*y**2 + 12*y - 61. Let f be n(7). Sort -1, 3, -20, f in decreasing order.
f, 3, -1, -20
Let x = 0.42 - 0.02. Let f = x - 0.5. Let d = 13/508 + -547/1524. Put -7/8, -0.3, d, f in decreasing order.
f, -0.3, d, -7/8
Let k be (-21152)/966 + (-2)/(-3). Let f = k - -148/7. Let g be (-3)/18*2*6. Sort -0.3, f, g.
g, -0.3, f
Let d = -12 - -7. Let j(k) = 11*k + 36. Let f be j(7). Suppose 13*i = 9 - f. Put 4, i, d in ascending order.
i, d, 4
Let i be 50/(-3)*(-27)/(-18). Let m be (-157)/2 + i/(-10). Let p = 534/7 + m. Sort p, 4/3, 0.
0, p, 4/3
Let n = 3 + -4. Let u be (-72)/48*(-8 + 10). Sort -48, u, n in descending order.
n, u, -48
Let s = -91 - -97. Let z be s/(-5)*20/(-12). Suppose -4 = z*m, 2*x + 4 = -5*m + 2. Sort 2, x, -4, 3 in decreasing order.
x, 3, 2, -4
Let s = -1.3227 + -3.6773. Let q = -8 + 7. Put s, q, 3/14 in increasing order.
s, q, 3/14
Let l = -10 + 11. Let q be (-3*365/15)/l. Let s = 75 + q. Put 1, -5, 3, s in decreasing order.
3, s, 1, -5
Let z be (2/6)/((-4)/(-24)). Suppose z*v = -3*n, 5 = v + 2*n + 6. Sort v, -3/5, -1, 0.4 in decreasing order.
v, 0.4, -3/5, -1
Let a = -10586 - -10646. Put 4, 3, 0, a, 5 in ascending order.
0, 3, 4, 5, a
Let t = -318 + 328. Let a be 4/(-5) + t + (-1560)/175. Put a, -4, 4 in increasing order.
-4, a, 4
Suppose 4*q + 6 = 26. Let u be (5 + 4)/((-3)/(-2)). Let w be -2*(-3 + (-36)/(-8))/u. Put q, -2/7, w, 8 in increasing order.
w, -2/7, q, 8
Let x = -29/141 - 6/47. Let i = 0.07 + -1.27. Let b = -0.2 - i. Sort x, b, -3, -2/3.
-3, -2/3, x, b
Let g(n) = 3*n + 2. Let z(i) = -11*i - 66. Let t be z(-6). Let a be g(t). Sort 4, -1, a.
-1, a, 4
Let z be 424/48 + 4 + (-23)/6. Suppose -3*x = 5*s + 1, -14 = 4*s - 5*x + z. Sort -2.8, s, 3/2.
-2.8, s, 3/2
Let d = -1.2 - -1. Let m = 247/40 - 153/40. Let p = 8/5 - m. Sort p, -0.4, -0.7, d in ascending order.
p, -0.7, -0.4, d
Let c = -5.493 - 0.507. Sort 0.3, 164, c.
c, 0.3, 164
Let v = -0.2 + 0. Let g = -486 - -441. Let z be 5 - ((-289)/g + (-10)/45). Put v, -5, z, 0.2 in increasing order.
-5, z, v, 0.2
Let u = 8649/26 + -665/2. Put 0, -2, -1/2, u, -29 in increasing order.
-29, -2, -1/2, 0, u
Let p = 5579 + -5583. Let m = -7 - -5. Suppose -10*u + 7*u + 87 = 0. Put p, m, u, -5 in ascending order.
-5, p, m, u
Let d be (-1)/(21 + 1085/(-42) - (1 - 6)). Let u be (-9)/12*-2*(-4)/(-6). Sort 5, u, 4, d in ascending order.
d, u, 4, 5
Suppose 5*y = -g - 9 + 19, 5*y + 4*g - 10 = 0. Put -1/4, 3, y, 1, 0.3 in descending order.
3, y, 1, 0.3, -1/4
Let g = 1/3 - -1/6. Let a be (1/(-6))/((-32)/64) + 3/9. Put a, g, -4, 5 in descending order.
5, a, g, -4
Let v = 206 + -203. Suppose 3*r - 24 = -v*d, 8*r - 6*r + 3*d = 19. Sort 6, r, 0, 2.
0, 2, r, 6
Let g = -39437 + 39439. Put -0.4, 4, 5, g, 169 in decreasing order.
169, 5, 4, g, -0.4
Let d be (5*(-1)/(-10)*0)/1. Put -3, d, 4, 16 in ascending order.
-3, d, 4, 16
Suppose -f = 17*f - 18. Suppose -2*w = 3*a - 11, -3*w + 2*a = -4*w + 8. Suppose 0 = 3*u - 6, 8 = -4*b + 4*u - 0. Put b, f, w in increasing order.
w, b, f
Suppose 351*u - 569*u - 1090 = 0. Sort -8, -4, -1, 2, u.
-8, u, -4, -1, 2
Let f be (-35)/21*(-444)/185. Sort 2, 5, 3, -74, f in decreasing order.
5, f, 3, 2, -74
Let x(b) = -b**3 + 5*b**2 - 6*b + 6. Let s be x(4). Let f be (s - -3)*(13 + -17). Let w(h) = h**2 + 2. Let m be w(0). Sort m, f, -2 in descending order.
m, -2, f
Let q = 1.28 - -201.72. Let m = 203.2 - q. Put 5, m, -2, -19 in ascending order.
-19, -2, m, 5
Let c = -0.070498 + -42.028502. Let o = c + 0.099. Let v = 39 + o. Sort -4, 1/4, v.
-4, v, 1/4
Let o = -71 - -120. Let p = -37 + o. Let c = p - 14. Sort 0.4, c, 1.
c, 0.4, 1
Let d = -131 + 138. Let x be (2/4)/(10/(-40)*2). Sort d, x, -4 in increasing order.
-4, x, d
Let x be (-16)/120 - 2/60. Let r = 3.56 + -3.51. Sort r, x, 3/7.
x, r, 3/7
Suppose 2*a + 3*q = 21 - 3, -5*a + 4*q - 47 = 0. Sort a, 168, -5, -7 in descending order.
168, a, -5, -7
Let g(c) = -c**2 + 8*c + 43. Let f be ((-8)/14)/(13/91). Let s be g(f). Sort -0.4, -4, s in descending order.
-0.4, -4, s
Let k be 46/(-16) + 124/(-992). Let c(i) = -i**2 + 2*i + 2. Let n be c(3). Let m be -7 + 3 + 1*n. Put m, k, 5 in decreasing order.
5, k, m
Let g be 1*3 + (30 + -44)/2. Put -0.11, g, 33, 0 in decreasing order.
33, 0, -0.11, g
Let d = -102/35 - -16/5. Let f = 0.504 + -0.224. Let g = -1.92 - f. Put d, g, -0.4 in decreasing order.
d, -0.4, g
Suppose 2676*o = 2664*o - 24. Put 4, 1, -47, -3, o in decreasing order.
4, 1, o, -3, -47
Let j = -380.47 - -384. Let z = j + 5.47. Sort -3, 0, z in increasing order.
-3, 0, z
Let k = 0.188 + 0.088. Let f = k + -6.276. Sort -