. Let z = -3829 + 3833. Suppose 0 = 3*c - 6*c + 6. Sort c, y, z, 0 in decreasing order.
z, c, y, 0
Suppose -2*s + 4*s = -3*z + 19, -z - 2*s = -13. Let q be (-2)/(z/(-78)*2). Suppose q - 10 = -4*a. Sort 1, 4, 14, a in ascending order.
a, 1, 4, 14
Let m = 110 - 113. Let v = 0 - m. Sort v, 5, 0.5 in decreasing order.
5, v, 0.5
Let v = -805 + 805. Sort v, 4, -10, 3, 1 in decreasing order.
4, 3, 1, v, -10
Suppose g - 22 = 4*j, 8*j - 5*g + 26 = 9*j. Put j, -331, 4 in descending order.
4, j, -331
Let b = -56638 - -56640. Let j = -5.6 + 6. Sort j, 3/8, 1/8, b.
1/8, 3/8, j, b
Let h(j) = -2*j**3 + 14*j**2 + 9*j + 53. Let n be h(8). Put -5, -2, 2/3, 9, n in decreasing order.
9, 2/3, -2, n, -5
Let a be (348/18 + -20)/(4/(-3)). Put 11, -2/7, a, 1/5, -3 in descending order.
11, a, 1/5, -2/7, -3
Let r be (-50)/(-8) + 64 + -64 + (-12)/2. Sort 2, -1/6, r, -12.9, 8 in descending order.
8, 2, r, -1/6, -12.9
Let k be ((-3)/(-12))/((-10)/(-8)). Let w = 13.652 + -13.652. Let t = 0.6 - -4.4. Sort k, t, 2/5, w in decreasing order.
t, 2/5, k, w
Suppose 5*q = -4*h + 14 + 42, -h = 4*q - 36. Sort -4, q, -59, 1, 3 in descending order.
q, 3, 1, -4, -59
Suppose -3*u + z + 10 = 0, -z = 2*u + 3*z - 2. Suppose -g - 4 = u*g. Let c be g/3 + (-12)/(-12). Put -0.02, 2/11, c in ascending order.
-0.02, 2/11, c
Let a be ((-80)/(-6) + (44 - 57))/(10/114). Sort 4, 0, a, 3 in descending order.
4, a, 3, 0
Let x = 106/1365 - -8/105. Suppose 2 = g + 2*f - 2, -3*f = -g - 6. Let v be -1 - (g + (-15)/9). Sort v, 0.4, x in decreasing order.
v, 0.4, x
Let q = 178 + 416. Let p = q + -3565/6. Put p, -2/17, 3 in increasing order.
p, -2/17, 3
Suppose -5*z + 3*b = 32, z - 11*b + 20 = -7*b. Sort 10, 5, -3, -2, z in descending order.
10, 5, -2, -3, z
Let n = -0.08 - 0.07. Let m = 162.85 - 163. Let p = n - m. Sort 5, 0.1, p in decreasing order.
5, 0.1, p
Let f be (0 + (-3)/(-36))/((-102)/(-48)). Put 5, f, 7/9, 0.3 in descending order.
5, 7/9, 0.3, f
Let y be (-2)/((4/370)/(2/10)). Let z = 24 + y. Let r = -16 - z. Put r, 7, -2 in ascending order.
r, -2, 7
Let o = 0.3 + -1.3. Suppose 4*j - 25 = -17. Let m be ((-98)/28 - -5)*2*j. Sort m, 0, o, 1.
o, 0, 1, m
Let t = -0.2511 + 0.0511. Sort t, -2, 61.
-2, t, 61
Let s = -356.8 - -351.8. Sort 1, s, 0, 16 in descending order.
16, 1, 0, s
Let h = -0.1 + 4.1. Let r = 6369 + -6364. Put r, 0.15, h in increasing order.
0.15, h, r
Suppose 0 = -16*y + 102*y. Put -2, -122, y in decreasing order.
y, -2, -122
Let q be ((-144)/90)/(2/(-5)). Suppose -q*v - 13 = -h - 0*h, -4 = 5*h + 3*v. Sort -22, -1, h, 2 in decreasing order.
2, h, -1, -22
Let f(o) = -31*o - 26. Let y be f(11). Let w = y - -365. Suppose k = -0*k - 5. Sort 4, -4, k, w.
k, -4, w, 4
Let c be 6 + 8 + (-430)/30. Sort 2/9, c, -72, 51 in descending order.
51, 2/9, c, -72
Suppose 7 = -5*i - 8. Let u(o) be the second derivative of -o**3/3 + 15*o**2 - 4*o. Let h be u(16). Sort 4, i, -1, h in descending order.
4, -1, h, i
Suppose 2*f + 4 = 4*f. Let b(r) = r**3 - 9*r**2 - 34*r - 29. Let a be b(12). Let g be (-2)/(-9) + (-129)/(-27). Put a, f, g in descending order.
g, f, a
Suppose 49*f = 51*f + 6. Let m = 242 + -240. Put f, m, 0 in ascending order.
f, 0, m
Let j = -1203 - -1204. Put j, 2, 4, 5, -2 in decreasing order.
5, 4, 2, j, -2
Let w = 100 + -102. Let t = -0.364 + 0.664. Put -2/21, t, -0.3, w in decreasing order.
t, -2/21, -0.3, w
Suppose -22 = -4*u + t, 2*u + 3*t - 7 = -3. Let i = 4242 - 4238. Put 3, -4, u, i in descending order.
u, i, 3, -4
Let f be 1/(-5) - (-8)/(-10). Let l be ((20 - f) + -4)/(-30). Let p = l + 173/270. Put p, 0.4, -3 in descending order.
0.4, p, -3
Suppose 16 = 3*n - 2*k, -5*n - 2*k = -3*n - 24. Let p be n/(-6)*(-43)/172. Let b = 0.3 - 0.4. Sort b, -14, p.
-14, b, p
Let m be 2*(4 + -1)/(-3). Suppose -5*g = 0, 5*b - 3*g = -54 - 121. Let f = 37 + b. Put 5, -4, m, f in decreasing order.
5, f, m, -4
Let k(r) = -r**3 + r**2 + 34*r - 3. Let b be k(0). Suppose h = 2*h + 5. Put -20, h, b in decreasing order.
b, h, -20
Suppose -h = -0 + 7. Let a(i) = 2*i**2 + 81*i - 90. Let f be a(-43). Suppose -132*w + f*w = -21. Sort h, 0, w in increasing order.
h, 0, w
Let i = -7.29 - -7.12. Let g = 0.57 + i. Put 2, g, -10 in increasing order.
-10, g, 2
Let l = -1756.9 - -1756.89. Put l, -0.1, 1.4, -0.3 in descending order.
1.4, l, -0.1, -0.3
Suppose 0 = 9*v + 8 - 161. Put v, -5, -2 in descending order.
v, -2, -5
Let q = 2.7967 - -0.2033. Let o = -0.17 + 0.14. Sort q, o, 0.5, 15 in increasing order.
o, 0.5, q, 15
Let a(v) = v**2 - 9*v - 2. Let m be a(6). Suppose 3*p + 498 + 310 = 4*b, -826 = 3*p + 5*b. Let y = 276 + p. Sort m, -3, y in descending order.
y, -3, m
Let g be 64/(-8)*1/(-2). Suppose 3*h - 22 + 1 = 2*p, -4*p = 0. Sort h, g, -2 in ascending order.
-2, g, h
Let l be 2 + -37 + (3 - (3 + 0 + 1)). Sort 4, 3, -3, l, 2.
l, -3, 2, 3, 4
Let l = -152 - -108. Let p = -45 - l. Let i = -0.3 + 0.6. Sort -2/7, i, p in ascending order.
p, -2/7, i
Suppose 3*s - 14 = 28. Let x = s + -11. Let d be 1 + -3 - 1 - -8. Sort 6, x, d.
x, d, 6
Let n be (-4)/14 - 3720/(-280). Suppose 2 = 5*p + 27*h - 23*h, 0 = 2*p - 3*h + n. Put 10, p, -3 in decreasing order.
10, p, -3
Let s be (-1 - -2)/(2/10). Let l(q) = -q**2 + 12*q - 31. Let j be l(5). Suppose -2*r = 5*v + 2, -12*r + 16*r + 4 = j*v. Sort r, -4, s in descending order.
s, r, -4
Let b(q) = -11*q - 112. Let w be b(-10). Let v = 19.3 - 22. Let r = -3.1 - v. Sort 5/3, r, w, -1 in increasing order.
w, -1, r, 5/3
Let x = -1.2 + 0.2. Let f be 165*10/120 - (-36 - -51). Sort x, -8, f, 5 in increasing order.
-8, f, x, 5
Let h = 4 + -5. Let c be (-248)/(-42) + 90/945. Let u be 4/8*(-1 - -11). Put c, u, h in decreasing order.
c, u, h
Let n = -1114.84 - 2.16. Sort 1/4, n, -4.
n, -4, 1/4
Let k be 2/((-18)/(-20) + -1). Let f be 6/k - 2/(-4). Let h = -62375.03 - -62375. Sort h, f, 2/9 in decreasing order.
2/9, f, h
Let b = -18136 + 18137. Let h(i) = -i - 4. Suppose 0*w = -4*w, -5*d + 4*w = 30. Let a be h(d). Put 4/7, -5, b, a in ascending order.
-5, 4/7, b, a
Let o(q) = q + 7. Let s be o(-5). Let f(r) = 3*r**3 + 99*r**2 + 2*r + 63. Let j be f(-33). Put j, s, 5, 3 in ascending order.
j, s, 3, 5
Let c = 81.01 - 81. Let j = 0.248 + -0.148. Sort j, 4, c, 5 in decreasing order.
5, 4, j, c
Let q = -107 - -118. Suppose -1 - 2 = -2*m - o, -o + q = 4*m. Suppose 22*w - 27*w = -5. Sort 7, m, w in increasing order.
w, m, 7
Let a(m) = m**2 - 4*m + 3. Let b be a(3). Suppose 4*i + 5*h = 107, 0 = 4*i - 2*h - 88 + 2. Suppose 18*t + i + 13 = b. Sort 3, -1, t in descending order.
3, -1, t
Suppose y - 5 = 0, p - 3*y = 2*p - 41. Suppose -4 = -2*d - p. Let z be -4 + 4 - 2/1. Sort 4, d, z.
d, z, 4
Let n(c) = -c**3 + 3*c**2 + 16*c + 4. Let l be n(-3). Suppose -10*b - l = -5*b. Sort b, -5, -12 in decreasing order.
b, -5, -12
Let s be (-3)/12*-9 + 3/(-12). Suppose 4*q + 48 = 3*r, 0*r - 3*q = s*r - 15. Let u be 15/r - 3/12. Sort 4, -5, u in decreasing order.
4, u, -5
Suppose 4*w - 52 = 3*q, 2*q - 62*w = -57*w - 51. Put -2, -4, q, 10 in decreasing order.
10, -2, -4, q
Let o(r) = 2*r**3 - 31*r**2 - 13*r + 416. Let i be o(15). Let c = 4 - -9. Put i, c, 3 in descending order.
c, 3, i
Let q = 17933/7 - 2562. Sort q, -12, 1, -3, -8 in ascending order.
-12, -8, -3, q, 1
Let r = 34.79 + 1.21. Let i = r - 36.07. Sort 2/9, 3/4, i, 0.4 in descending order.
3/4, 0.4, 2/9, i
Suppose -2*h = 4*y + 404, h = -5*y - 182 - 329. Put -3, -5, -14, y in decreasing order.
-3, -5, -14, y
Suppose -9*u = 325 - 172. Put u, -8, -5 in increasing order.
u, -8, -5
Let t = 0.7 - 1. Let d = 5826 - 29127/5. Sort d, t, 5, -1 in decreasing order.
5, d, t, -1
Let y(g) = g - 16. Suppose -3*k + 50 + 1 = 0. Let v be y(k). Let d = -233 - -238. Sort v, 101, d in increasing order.
v, d, 101
Let s be 2/(-4)*10/25. Let o(g) = g**3 + 33*g**2 - 34*g + 1. Let n be o(-34). Let a be (3 - n)/((-108)/(-81)). Sort -1/2, a, s.
-1/2, s, a
Let v(f) = -f**2 + 75*f - 141. Let c be v(2). Let w = -0.7 - -2.7. Sort -2, -4, c, w.
-4, -2, w, c
Let m(b) = 11*b**2 + 16*b - 87. Let g be m(6). Let r be (5/2)/((g/(-30))/27). Let u = 2 - 3. Sort -22, u, r, 1.
-22, r, u, 1
Let w(z) = 19*z**2 - 1. Let a be w(-1). Suppose -5*p + a = -7. Let i be ((-3)/p + 1)/(16/160). Sort 5, i, 2, -1.
-1, 2, i, 5
Suppose -68*a - 1967 = 141. Suppose -5*z = -17 - 3. Sort 2, -3, z, a.
a, -3, 2, z
Let z = 4