 Let y(h) = h - 6. Let m(c) = 5*p(c) + y(c). Let b be m(1). Let n = 2/15 - b. Put 5, 12, n in descending order.
12, 5, n
Suppose -5*s + 49 = 4*r, -2*s + 28 = -2*r + 5*r. Put 10, r, -2 in decreasing order.
10, r, -2
Let w(x) = -15 - 2*x**3 - 22 + 14*x + 34 - 27*x**2. Let k be w(-14). Sort 3, 5, -4, k in decreasing order.
5, 3, k, -4
Let i = -327 - -327. Put -2/3, 4, i in decreasing order.
4, i, -2/3
Suppose -5*x = -x. Suppose x*z - 2*z - 4 = 0. Let u = z + -3. Put u, -4/5, -0.3 in descending order.
-0.3, -4/5, u
Let h = 4 - 4.3. Let s = -32 - -32.25. Let n = 0.05 - s. Sort h, n, 0.3.
h, n, 0.3
Let p = -4 + 9. Suppose 5*b - p*h = -3 + 28, -4*b = 4*h - 12. Sort -7, b, 2 in descending order.
b, 2, -7
Let i(k) = -k**2 + 4*k. Let q be i(5). Let y = 21 + -16. Suppose 9 - y = 4*h. Sort 4, h, q in decreasing order.
4, h, q
Let u = -5 - -6. Let d be ((-6)/64)/(10/40). Suppose -4*a - 12 = -0*a. Sort d, a, u in decreasing order.
u, d, a
Let u be ((-144)/(-66) - 7) + 14/(-77). Put 3, -53, u in ascending order.
-53, u, 3
Let x = 1353280140/2753007191 + -3/1498643. Let h = x - -9/167. Let o = 13/4 + -3. Sort h, 4, o in increasing order.
o, h, 4
Let y = -53.023 - -53. Let f = y - 0.977. Sort -2, -7/10, f in descending order.
-7/10, f, -2
Let c be 1 + 7/(-15) - (-42)/315. Sort 18, c, -0.4.
-0.4, c, 18
Let f = 19 + -23. Let s be 2228/(-12) + f/2. Let h = -186 - s. Sort 0.4, h, -1 in descending order.
h, 0.4, -1
Let z = -9/2 - -19/4. Let b be 295/(3*(-6)/14). Let x = -229 - b. Sort x, 5, z.
z, x, 5
Suppose 15 = s + 4*m + 13, 0 = -5*m. Sort s, 18, 1, -2.
-2, 1, s, 18
Let b = -0.028 - 0.014. Let x = -4.042 - b. Put -0.3, x, 3 in ascending order.
x, -0.3, 3
Suppose 2*c - 2*g = -6, 4*c + g - 19 = -36. Sort -5, -571, c in descending order.
c, -5, -571
Suppose y = -4*l - 14, 6*y - 5*y + l + 5 = 0. Put 4, y, 11 in descending order.
11, 4, y
Let h = 74 - 63. Sort h, 3, 1 in decreasing order.
h, 3, 1
Suppose i = -p + 6*i + 30, -5*p - 2*i + 15 = 0. Suppose 0 = 5*s - 2*d + 22, 4*d - p*d = -3*s - 13. Sort -1, 20, s in ascending order.
s, -1, 20
Let t(y) = -2*y**3 + 24*y**2 - y + 17. Let h be t(12). Sort h, 2, -4, 4.
-4, 2, 4, h
Let h(y) = -2*y - 4. Let r be h(-3). Let m = -21.5 - 4.5. Let x = -22 - m. Sort x, -1/6, r in ascending order.
-1/6, r, x
Suppose 5*k - 2*l = 32 + 49, -3*k = 2*l - 39. Suppose 4*u + 49 = -k. Let w = u + 15. Put -5, w, 4 in descending order.
4, w, -5
Suppose -2*g + 0 = -6. Suppose 0 = 3*k - 4*f - 24, -4*f + f = k - 8. Suppose -o - k = -10. Put -3, o, g in descending order.
g, o, -3
Let j = 681 + -680.6. Suppose -4*l - 5*o + 161 = 0, 0*o - 2*o + 2 = 0. Sort l, 4, j.
j, 4, l
Let g be (-8)/(32/26) + 6. Put -1, g, 5, 0.08 in ascending order.
-1, g, 0.08, 5
Let a be ((-1)/8)/(2 + (-20)/16). Sort 0.9, -0.3, 3, a in ascending order.
-0.3, a, 0.9, 3
Let s be (-4)/((-80)/(-6))*325/585. Sort -9/5, -2, -1/2, s.
-2, -9/5, -1/2, s
Let t = 32 - 92. Let i be 16/88 - t/33. Sort 2/19, i, 1, -4 in descending order.
i, 1, 2/19, -4
Let y = 12.8 + 0.1. Let t = y - 0.9. Let q = 14 - t. Sort -1/7, -1, q in decreasing order.
q, -1/7, -1
Let n be (-10 - (-270)/24)*4. Sort -0.3, n, 3/8, -14 in ascending order.
-14, -0.3, 3/8, n
Let f = -1035.5 + 1035. Put f, 4, -0.3, 2/3 in decreasing order.
4, 2/3, -0.3, f
Let w = -0.064 + -4.936. Suppose -3*t - 16 = 2*p, 0 = -2*t + 3*p + 2*p + 2. Sort w, 5, t, -1/4 in decreasing order.
5, -1/4, t, w
Let n(k) = -11*k + 40. Let t be n(16). Let h = 141 + t. Sort 1/6, h, 0.
0, 1/6, h
Let j = 0.6386 - 0.1386. Let b be 0/(-2) + (-3 - -5). Put -12, j, 1/3, b in ascending order.
-12, 1/3, j, b
Let f(v) = -3*v + 11. Let o be f(-3). Let t = -11 + o. Sort t, 1, -5 in ascending order.
-5, 1, t
Let q = -2005 + 2001. Put 6, 0.3, -0.5, q in decreasing order.
6, 0.3, -0.5, q
Let x = -33.5 + 34. Let z = -3116/5 + 621. Let j = -79/45 - z. Sort 0.3, j, x.
0.3, j, x
Let i be (1 + -3 + 1)*3. Let n = 159 + -158. Let u be 2/(14/21) + n. Sort u, 8, i in decreasing order.
8, u, i
Let r = -51.4 + 1.4. Sort r, -3, 0.4.
r, -3, 0.4
Let w be -1 + 1 + 410/(-41). Put -2, 4, w, -4 in decreasing order.
4, -2, -4, w
Let j(m) = m**2 - 5*m - 1. Let q be j(6). Suppose -d = -54*d + 14 + 92. Put q, d, -3, 3 in descending order.
q, 3, d, -3
Let o = 206 + -198. Sort 2, 1, o.
1, 2, o
Suppose -f = 3, 14 - 35 = -3*r + 3*f. Sort r, -3, 1, -11.
-11, -3, 1, r
Let i = -1 + 4. Suppose -i*q + 2*g - 3*g = 1, 0 = g + 1. Suppose 0 = o + k - 2, -4*k = -2*o - q*k - 2. Sort -3, -1, o.
-3, -1, o
Let g be 3 - (-2)/(-11)*(-589)/(-38). Sort 3, -1/6, g, 1 in decreasing order.
3, 1, g, -1/6
Let y = -127 - -127.5. Sort 3, -1/12, -2/7, y.
-2/7, -1/12, y, 3
Let s(a) = 2*a. Let c be s(2). Let l be -4 + (3/(-6))/((-2)/16). Put l, -4, c in decreasing order.
c, l, -4
Let i = -183.11 + 184. Let z = i + -4.8. Let l = z - 0.09. Sort l, 2, -5.
-5, l, 2
Let f = 8 - 7. Let p be ((-2)/f - -1)/6. Let n = -18 - -20. Sort n, -1/3, p in descending order.
n, p, -1/3
Suppose -3*u + 2 = -4. Suppose -4*d - 2 = 3*k, 0*d - 2*d = -u*k - 6. Let h be (d + -1 - 1)*-1. Sort -2, h, 3.
-2, h, 3
Let s(p) = p**3 - 5*p**2 - 15*p + 4. Let d be s(7). Let k be 6/(-8)*d + 3/(-12). Sort 3, k, -20 in ascending order.
-20, k, 3
Suppose 0 = 2*o + 2*o + 24. Let t be ((-3)/(1 - 22))/((-3)/(-21)). Put o, -3, t in decreasing order.
t, -3, o
Let d = 74.6 - 69.6. Sort -2/7, 0.05, d, -0.1 in ascending order.
-2/7, -0.1, 0.05, d
Let l = 45 - 37.6. Let n = 2.4 - l. Sort n, -4, -2 in descending order.
-2, -4, n
Let i = 8 - 5. Suppose 4*u = h + 4, 4*u - u - 18 = -3*h. Let c = 286 + -281. Put i, c, u in ascending order.
u, i, c
Let c = -4 - -2.8. Let m = 545 + -544.7. Sort m, -0.2, c.
c, -0.2, m
Let w be (2/(-4) - -1)*8/20. Put 1, -1, -0.2, w in decreasing order.
1, w, -0.2, -1
Suppose -560 - 16 = 12*j. Sort 1, j, -5 in ascending order.
j, -5, 1
Let k be 98/(-258) + 1/3. Let m = -501.2 + 501.3. Sort 3/4, k, m.
k, m, 3/4
Let q = -1.9 + 2. Let s be (-28)/42*27*(-1)/2. Let m be 11/5 - s/(3 + 0). Sort q, m, -15.
-15, m, q
Let z(c) = -3*c + 2*c + 1 - 7*c + 0*c. Let f be z(0). Put -1, f, 2, -3 in descending order.
2, f, -1, -3
Let r(v) = v**3 + 8*v**2 + 13*v - 2. Let x be r(-6). Suppose 4*i - 2 = -10. Sort x, -1, i in ascending order.
x, i, -1
Let s(m) = m**2 + 8*m + 7. Let x be s(-6). Let k = -201 + 170. Let r(j) = j**2 + 30*j - 30. Let q be r(k). Sort q, x, -2.
x, -2, q
Suppose 0 = 2*s + 3*s - 130. Suppose -2*w - 3*p - 9 = -4*w, 5*w - 4*p = s. Put -1, 1, w in ascending order.
-1, 1, w
Suppose 4*c - 5*c + 3 = 0. Let q be (1 + -1)/(7 - 6). Suppose q = r - 0 - 5. Put r, c, 8 in increasing order.
c, r, 8
Let q = -1837 + 1836.7. Let s = -27 + 28.1. Put 2/3, s, q in increasing order.
q, 2/3, s
Suppose 16 = 5*b - 3*y + 4, 2*b = -4*y - 16. Sort -12, b, -9 in increasing order.
-12, -9, b
Let d(n) = -n - 15. Let h be d(-10). Let i be (-4)/(-6) + (-24)/9. Let y be (-2)/(-1) - i/(-2). Put h, 0, y in ascending order.
h, 0, y
Let j be (-111 + 117)/(2 - 0). Sort 164, 4, j, -2.
-2, j, 4, 164
Suppose 5*l + 0*l = 15. Let h be l + 0 + (0 - 7). Sort 4, h, -2, 7 in ascending order.
h, -2, 4, 7
Let x = 1211 - 1215. Let q = -26/9 + 79/18. Put -11, x, q in decreasing order.
q, x, -11
Let s = 22 + -3. Suppose -3*a - c + s = -a, 3*a - 25 = -5*c. Put -0.5, a, 1/2 in decreasing order.
a, 1/2, -0.5
Suppose 100 = 6*p + 4*p. Let b be p/(-9)*120/(-50). Put b, 4/3, 4, 2/7 in decreasing order.
4, b, 4/3, 2/7
Let q be 8/7 + 18*(-30)/(-140). Suppose 5*z - z + 2*w = -8, -z - 3*w = -8. Let d = z - -11. Put q, -3, d in descending order.
d, q, -3
Let h = -0.41 - 1.19. Let w = h - -2. Put 0, w, -4 in decreasing order.
w, 0, -4
Let u be (-2)/(-15)*14/4 + 1. Let l = 4/5 - u. Put -19, l, 1/2 in decreasing order.
1/2, l, -19
Let c = -6521/11 + 593. Sort -6, 0, c in descending order.
c, 0, -6
Let h = 10 - 6. Suppose -3 = -h*j - 19. Sort j, -2/5, -0.2.
j, -2/5, -0.2
Let o = 4306/5 - 861. Put o, 3/4, -139 in decreasing order.
3/4, o, -139
Suppose 11*s + 17*s + 56 = 0. Let z = -1 - -1. Suppose -2*h = -5*h - 12. Put z, h, s in increasing order.
h, s, z
Let i = -3 - 0. Let h be (5/60)/(5 - (-48)/(-9)). Sort h, i, 5 in decreasing order.
5, h, i
Let x be -188 - -181 - (-5 - (-1 - -1)). Sort x, 1, -3 in decreasing order.
1, x, -3
Let x be 4/26 - 3240/780. Sort -9, -3, 3, x.
-9, x, -3, 3
Let k = 195 - 184. So