v = 8.2 - 10.9. Sort v, 32, 5 in decreasing order.
32, 5, v
Let x be 16/3*252/96. Let n = -5 - -9. Suppose n*k - 2 = x. Put 3, -3, k, 0 in descending order.
k, 3, 0, -3
Let m = -1/15 - 1/10. Let g = -14458 - -14457. Put g, -12, m, 5 in increasing order.
-12, g, m, 5
Let s = 24214 + -17796. Sort 5, s, -2 in decreasing order.
s, 5, -2
Let o = -1091.6746 + 1092. Let z = o - -0.0746. Let s be 1 + -14 + -1*1. Sort z, s, -1/4, -5 in ascending order.
s, -5, -1/4, z
Let w(p) = -26*p + 728. Let l be w(28). Suppose 0*b + 4*b - 16 = 0. Put b, -2, -1, l in decreasing order.
b, l, -1, -2
Let c = -6551 - -6550. Sort 0, -6, c, -3 in ascending order.
-6, -3, c, 0
Suppose 3*y = 14 - 251. Let f = y - -76. Suppose 0 = 3*z + 15 - 45. Sort f, 5, z in decreasing order.
z, 5, f
Let c = -2837 - -2834. Let v = -17 + 21. Sort 7, -2, v, c in descending order.
7, v, -2, c
Let i = 35575 - 604556/17. Let v = i + -13. Suppose 0 = -x + 2*x + 5. Put v, -4/7, x in decreasing order.
v, -4/7, x
Let f = 368.15 + 8.85. Let k = -345.9 + f. Let a = k + -31. Sort 1/6, -0.06, a in decreasing order.
1/6, a, -0.06
Let j = 9719 + -9716. Sort 2, -84, -1, j, -2 in descending order.
j, 2, -1, -2, -84
Let d = -607.167 - -611.167. Let a = 7/76 - 257/1140. Put -0.19, d, a in decreasing order.
d, a, -0.19
Let j = 582 + -738. Let q = 155 + j. Sort -2/15, -5/12, q in ascending order.
q, -5/12, -2/15
Let x(h) = -22*h + 1 + 24*h + 58. Let p be x(-24). Let m = 40/7 + -193/35. Sort -2/5, p, m in descending order.
p, m, -2/5
Suppose 0 = -87492*d + 87528*d. Sort -15, 1, -4, d in decreasing order.
1, d, -4, -15
Let n = -35.41 - -8.41. Let x = 0.038 - 26.038. Let k = x - n. Sort k, 0, -1 in descending order.
k, 0, -1
Let c = 89.113 + -0.113. Let s = c - 92. Let y = -2.7 - 7.3. Sort s, -2/15, y in descending order.
-2/15, s, y
Let h = -0.95449 - -5.95449. Let x = 0.1 - 0.4. Put h, -2, x, 0.4 in increasing order.
-2, x, 0.4, h
Let z(p) be the third derivative of p**5/60 + 7*p**4/12 - 17*p**3/6 - 28*p**2. Let d be z(-15). Let g be (-696)/18*d/(-24) - -3. Sort -0.1, g, 3.
g, -0.1, 3
Suppose -5*c + 182 = -63. Let i = c + -50. Let m be (-8)/2 - i - (-1)/(-1). Sort 5, -2, m in increasing order.
m, -2, 5
Let s be 8 + 5 + 80/(-4). Sort -5, s, -3, -71, 0 in ascending order.
-71, s, -5, -3, 0
Let o = 9114 + -9114. Put 1/2, o, 4, -54 in decreasing order.
4, 1/2, o, -54
Let g(k) = 3*k**3 - 6*k**2 - 21*k - 14. Let r be g(4). Sort -42, r, 3, 2, -7.
-42, -7, r, 2, 3
Let u = -119 - -119. Suppose u = -4*f + 2*r, -f - 2*r = r. Sort 4, f, 1, -3 in decreasing order.
4, 1, f, -3
Let f = -42 + 44. Suppose v + 16 = -4*x, 3*x + 11*v - 15*v + 31 = 0. Sort 1, f, 4, x in descending order.
4, f, 1, x
Let n(x) = 3*x + 12. Let f be n(-5). Suppose -12*j - 12 = -9*j. Sort j, -2, f, 4.
j, f, -2, 4
Let t be ((-1190)/204 - (0 + -6))/(1/(-2)). Sort 2, t, 6 in ascending order.
t, 2, 6
Let l = -7551 + 14416. Let w = l - 6877.029. Let g = -0.029 - w. Put -2/3, g, 2/3 in decreasing order.
g, 2/3, -2/3
Suppose 5*l - 21 = -6. Suppose -2*o + 51 = -3*i - 35, 0 = -3*i + 4*o - 94. Sort l, 5, i.
i, l, 5
Let w(p) = -3*p**2 - 4. Let m(f) = 3*f. Let q(z) = 3*m(z) - w(z). Let i be q(-3). Sort i, -6, -1, 3.
-6, -1, 3, i
Let l be 19/95*(-3)/(-6). Let u = 2.88 - -0.12. Sort u, -0.8, 2, l in descending order.
u, 2, l, -0.8
Let n = 172 - 58. Suppose 24*s = 18*s + n. Sort 4, s, -2.
-2, 4, s
Let r = -23 + 11. Let v(f) = -f**3 + 5*f**2 - 13*f + 32. Let o(s) = -s**3 + 25*s**2 - 17*s - 164. Let k be o(24). Let q be v(k). Sort r, q, -5, 1.
r, -5, q, 1
Let q = -17 + 17. Let h(m) = 6*m**2 + 74*m - 144. Let o be h(-14). Sort o, 71, q in descending order.
71, q, o
Let b(t) = -t**2 + 9*t - 15. Let r be b(6). Let x be 8 + 1/4*4. Suppose -r + x = -3*c. Put c, -1, 2 in descending order.
2, -1, c
Let j = -775.04 - -813. Let k = -0.04 - j. Let h = -37.5 - k. Put 3/8, h, -3 in descending order.
h, 3/8, -3
Let s = 150.72 - 145.72. Sort 1, -0.055, 13, s, -3 in decreasing order.
13, s, 1, -0.055, -3
Suppose b - 2*u + 10 = -7*u, 0 = -5*b + 2*u - 185. Let i be (5 - 1)*20/b. Let m = -2411/5 + 482. Sort -2/11, i, m in decreasing order.
-2/11, m, i
Suppose 0 = -416*g - 2009 + 5753. Put 10, 15, g in descending order.
15, 10, g
Let q = -25 + 21. Suppose -10*u = 4*u + 8*u - 110. Put u, 2, q in ascending order.
q, 2, u
Let s = -311 + 311. Sort s, 31, 26 in increasing order.
s, 26, 31
Let l = -967.6 - -1248. Let h = 280 - l. Sort 9, 0, h, -2/9.
h, -2/9, 0, 9
Let w = -128 - -126. Suppose a + 16 = -2*g, 3*g + 1 + 9 = -5*a. Let c = -14 + 19. Put c, g, w in descending order.
c, w, g
Suppose -43*y - 148 = 31*y. Suppose 3*j + 241 = z, -4*z - 76 = j - 0*j. Sort -4, j, y in descending order.
y, -4, j
Let q = 3830 + -3829. Put 0.5, -1/5, q, -0.4 in increasing order.
-0.4, -1/5, 0.5, q
Let w be (-12)/16*(-140)/105. Suppose -5*x + k - 6*k + 135 = 0, 5*x - 4*k = 99. Sort w, -3, x in descending order.
x, w, -3
Let d = 0.334 + 0.096. Let y = -0.07 - d. Let i = 1/1830 + 3653/12810. Sort y, 1, i in ascending order.
y, i, 1
Suppose 6*i - 56 = 14*i. Let y = i - -4. Sort -5, y, 1 in descending order.
1, y, -5
Let n(k) = -k**3 + 15*k**2 + 2*k - 25. Let b be n(15). Suppose 0*g + 60 = 5*g - b*a, 2*a + 48 = 5*g. Sort 2, g, -2, -5 in ascending order.
-5, -2, 2, g
Let k(j) = -4*j**2 - 6*j + 21. Let b be k(2). Let x = -5 - b. Put -3, 4, -5, x in descending order.
4, x, -3, -5
Let v be (2/4)/(-12 + (-852)/(-72)) + 7. Let z be (-20)/6 + 2/6. Put z, -5, v, -6 in decreasing order.
v, z, -5, -6
Suppose 3*a - 21 = -3*h - 3, 0 = 2*a - 10. Let u be (((-242)/(-33))/11)/(2/(-21)). Sort u, -3, 5, h in ascending order.
u, -3, h, 5
Suppose s - 9*s = -24. Let l be (-12)/(-20)*145 - 33/(-3). Put l, -1, 5, s in ascending order.
-1, s, 5, l
Let k be -2 + (-5)/15 + (-215)/(-86). Sort -0.1, -8.72, k.
-8.72, -0.1, k
Let w(h) = 2*h**3 - 56*h**2 + 43*h - 119. Let v be w(27). Put -14, v, -2 in ascending order.
v, -14, -2
Suppose -z + 7 = -3*f, 11 = -z - 5*f - 6. Let d be 1 + 2 + 0 - 0. Suppose -2*s - d*s = -5. Put -13, s, z in descending order.
s, z, -13
Let c(q) = q**2 - 3*q - 36. Let j be c(8). Suppose -26 = 5*d - 4*a, j*d + a + 2*a - 4 = 0. Let k(b) = -6*b + 1. Let u be k(1). Sort -1, d, u in ascending order.
u, d, -1
Let m = 477.8367 + 0.1633. Sort 7, -3, m, -1.
-3, -1, 7, m
Suppose 13*k = -25*k. Sort -3, 45, -0.4, -5, k in increasing order.
-5, -3, -0.4, k, 45
Let z(h) = 2*h**3 + h**2 - 4*h + 8. Let w be z(2). Let r be (-201)/(-39) - w/130. Put r, -2, -16 in descending order.
r, -2, -16
Let z(d) = 7*d**2 + 36*d + 7. Let g be z(-5). Put 38, 29, g in descending order.
38, 29, g
Let s(p) = 2*p**3 + 15*p**2 + 5*p - 12. Let m = -28 - -21. Let x be s(m). Suppose -5*i + t = -10, i + 3 - 5 = -x*t. Put i, 0, 5 in ascending order.
0, i, 5
Let s = -353 - -262. Sort 2, s, -4/9.
s, -4/9, 2
Let p = 64.915 + -67.915. Let k = 0.3 - 0.2. Sort 0, k, p, 14.
p, 0, k, 14
Let u be 128/256*(3 + -3). Sort 1, -541, u.
-541, u, 1
Let b(g) = -g**2 - 13*g - 40. Let h be b(-6). Suppose h - 8 = -3*y. Sort y, -1, 1.
-1, 1, y
Let l = -7 + 2. Suppose 9*a - 58 + 1 = -10*a. Put -4, 83, l, a in decreasing order.
83, a, -4, l
Let h(f) = 18*f**2 + 77*f - 5. Let p be h(3). Put 3/2, -3, p, -1, -0.4 in decreasing order.
p, 3/2, -0.4, -1, -3
Let k be (-1001)/(-65) + -14 + 3/5. Sort -1, k, -2, 4 in decreasing order.
4, k, -1, -2
Let f be (-54)/(-90)*30/(-33) + (-122)/(-22). Put f, -4, 2, -886, 1/8 in descending order.
f, 2, 1/8, -4, -886
Suppose -2*z - 4*a = -22, 2*z + 6 - 20 = -2*a. Let f = 15 + -13. Sort -4, z, f, 64 in increasing order.
-4, f, z, 64
Let n(o) = -81*o - 160. Let x be n(-2). Sort -4, x, 3, 0 in ascending order.
-4, 0, x, 3
Suppose 8357 = 5*p + 8377. Sort -2, p, 5/29 in decreasing order.
5/29, -2, p
Let n be -9 - (-48)/4 - -2. Let k(m) = -m**3 + m**2 + 2*m + 1. Let t be k(2). Let c be 13 + t - (9 - 6). Sort 0, 1, c, n in ascending order.
0, 1, n, c
Let x(w) = 4*w**2 + 34*w + 5. Let p be x(5). Let o = p - 280. Sort 33, o, -3 in ascending order.
o, -3, 33
Let z = 262 + -262.161. Let l = -0.261 - z. Let k = 242/63 + -32/9. Sort k, l, 0.1.
l, 0.1, k
Let q = -45 - -79. Suppose 3 = -5*x - 4*z, x - 2*z - 25 = -q. Sort 1, 13, x.
x, 1, 13
Let g be 1/4 + 45/12. Suppose 0*b = -4*b + g. Let h be (-6)/4*(-8)/3*b. Put h, -5, -4 in decreasing order.
h, -4, -5
Let v(x) 