Let u be (12/50)/(8/20). Sort o, u, -1 in descending order.
u, -1, o
Suppose -3 + 5 = v. Suppose l + 0*l + v = 0. Suppose s = 31 - 28. Put s, l, 0 in descending order.
s, 0, l
Let b = 1000575 + -10998300/11. Suppose 8*d = 3*d + 3645. Let v = b - d. Sort 0.3, v, 0 in ascending order.
0, 0.3, v
Let d be (-1550)/350 + (-2)/(-14)*-4. Let b = -0.2 + 0.1. Sort d, b, 18 in ascending order.
d, b, 18
Let r(s) = -s - 6. Let u(b) be the third derivative of -b**5/30 + 3*b**4/8 - 2*b**3 + 6*b**2. Let v be u(4). Let j be r(v). Put -1, j, 12 in descending order.
12, j, -1
Let b(y) = y**2 + 10*y + 23. Let x be b(-5). Let s = 0 - -8. Put s, x, 0 in ascending order.
x, 0, s
Let g = -0.2 + 0.4. Let b(i) = -i**3 - 7*i**2 + 22*i + 33. Let q be b(-9). Put q, -1, g, -3/2 in decreasing order.
g, -1, -3/2, q
Let v = 126 + -92. Let o = 33.9 - v. Sort o, 4.3, -0.4 in descending order.
4.3, o, -0.4
Suppose 7*k + 16 = 51. Suppose -k*b - 7 = 3. Sort 1, -3, b in decreasing order.
1, b, -3
Let b = 139.3 - 105. Let g = -34 + b. Sort g, -3, 2/3.
-3, g, 2/3
Let y = 165 + -165. Let j = -3 + 3.5. Sort j, y, 20.
y, j, 20
Let h be (-14)/(-4) + (-2)/(-4). Let r = -638/255 - -1/510. Put r, 0, h, 3 in decreasing order.
h, 3, 0, r
Let l be (-5)/((-275)/(-30)) - (-2 + 0). Let x = -75/44 + l. Sort x, 2, 3/4 in ascending order.
x, 3/4, 2
Let x(v) = -11*v + 29. Let l be x(3). Suppose 2*f - 4 = 6. Put l, 4, f in descending order.
f, 4, l
Let z = 10 - 2. Sort 5, z, 0, 2 in descending order.
z, 5, 2, 0
Suppose -4*g - g = -160. Suppose 6*v + t - 10 = v, g = 4*v - 4*t. Suppose 5*x - v*y - 46 = 0, -2*x = -x - y - 8. Put x, -4, 3 in descending order.
x, 3, -4
Let v = -8 - -7.94. Let z = v + 0.08. Let h = -1.069 - -0.869. Put h, 0.5, z in increasing order.
h, z, 0.5
Let a = 118 + -118. Put -4, a, -2/45, -1/2 in ascending order.
-4, -1/2, -2/45, a
Let d = -959 + 968. Sort 0, -0.5, d.
-0.5, 0, d
Let a = -517 + 527. Sort 5, a, -3 in descending order.
a, 5, -3
Let z = 5.19 - 1.19. Sort -11, 0.2, z in increasing order.
-11, 0.2, z
Suppose -p - 6 = 2*w + 2, -10 = 5*p. Let t be 1/(-3)*w/(-21)*-12. Let n be (20/65)/(-1 + 3). Put t, 5, n in ascending order.
n, t, 5
Suppose -7*k + 5*m = -6*k + 16, 0 = -k - 3*m. Let f(o) = -19*o - 22. Let z be f(-1). Put 3, k, z in decreasing order.
3, z, k
Let i = 10.3 + -11.6. Let q = 4.3 + i. Put -4, q, 5 in decreasing order.
5, q, -4
Let x = -493.9 - -494. Put -6, x, -8 in decreasing order.
x, -6, -8
Suppose b - 4 = -0. Suppose b*j = -c - 3*c + 24, j - 3 = 2*c. Suppose 11 = -j*u - 4. Sort 1, 2, u.
u, 1, 2
Suppose 0 = -4*l + 3*u - 1, 8*u + 3 = -2*l + 9*u. Put l, -1, 5 in ascending order.
l, -1, 5
Let f = -16 - -12. Let n = f + 7. Sort -4, n, -2 in increasing order.
-4, -2, n
Let z be (-5)/(-4) - (-1)/(-4). Let k be 3/1 + (14 - 7). Let l = 15 - k. Sort -6, l, z in increasing order.
-6, z, l
Let g = -36 - -31.4. Let u = 4.9 + g. Sort u, 1/3, -0.5 in descending order.
1/3, u, -0.5
Let z = -4.7 + 9.7. Sort -2.2, z, -0.1 in decreasing order.
z, -0.1, -2.2
Suppose -5*d - 36 = -3*t, 35 = 4*d + t + 57. Sort d, 0, 3/7, -1/5 in ascending order.
d, -1/5, 0, 3/7
Let b(w) = -5*w + 125. Let r be b(24). Sort r, 3, -0.1, -2/3 in ascending order.
-2/3, -0.1, 3, r
Let i be (-2)/33 - (-12400)/(-13200). Suppose 8 = -4*f, 4*u - 2*f = -6*f - 20. Sort u, i, 1 in increasing order.
u, i, 1
Suppose 2*h = 3*m - 5 - 1, -3*h + 13 = m. Put 32, h, 0 in increasing order.
0, h, 32
Let y be ((-11)/242)/((-2)/(-8)) + 63/(-77). Suppose -3*g + 5 = -2*w, 4*w + 0*g + 3*g = -19. Put y, w, -5 in descending order.
y, w, -5
Suppose 55 = 5*s - 0*s. Suppose 4 = s*i - 12*i. Sort 6, 1, i.
i, 1, 6
Let o = -3 - -2. Let x = 28 + -24. Suppose 2*z = c + 2*c + 21, -x*z + 17 = -c. Sort -3, z, o in decreasing order.
z, o, -3
Suppose 5*p - p = -8. Suppose -3*b + 3 + 3 = 0, -2*f - 3*b = -18. Suppose -4*k = f + 6. Sort k, p, 2.
k, p, 2
Let m(k) = -k**2 + 19*k - 40. Let p be m(18). Let l = 17 + p. Sort -0.2, -20, 4, l.
-20, l, -0.2, 4
Let t = 616 + -620. Sort -2/13, t, -0.01 in decreasing order.
-0.01, -2/13, t
Let t = -0.1 + 0.6. Let u = 1.016 + -3.04. Let z = -0.024 - u. Put -0.4, z, t in increasing order.
-0.4, t, z
Let a = -3.11 + 0.11. Put -1/3, -1/129, a in descending order.
-1/129, -1/3, a
Let x be ((-65)/(-9) + -7)/((-8)/(-12)). Let b = -0.3 + 0.7. Sort x, b, -4, -5 in decreasing order.
b, x, -4, -5
Let k(p) = -p**2 - 9. Let m be k(5). Suppose 3*v = 3*x + v + 13, -5*x - v - 26 = 0. Sort m, x, -0.1, 1 in increasing order.
m, x, -0.1, 1
Suppose 0 = -4*z + 9 + 3. Suppose -39*p + 29*p - 50 = 0. Let v = -3 - -3.5. Put v, z, p in descending order.
z, v, p
Let s = 0.75 - 0.05. Let h = 0.3 + 0. Let d = s + h. Sort 5, 1/6, d.
1/6, d, 5
Let r = -297 - -286. Let p(q) = -2*q + 2. Let c be p(1). Sort c, r, -1, -4.
r, -4, -1, c
Let c = -1 + -9. Let n = -8 - c. Let b = 46.2 + -46. Put b, 1/6, n in descending order.
n, b, 1/6
Suppose -9*f - 1 = -28. Sort f, 5, 4.
f, 4, 5
Let k = 4 - 3.7. Suppose 0 = 5*u - u - 20. Let z be ((-6)/12)/((-1)/u). Put z, k, -3 in ascending order.
-3, k, z
Suppose 2*x - 17 = -3*u, 5*u + 10 = 5*x + 5. Sort 10, u, -3, -5.
-5, -3, u, 10
Let v be ((-2)/(-4))/(1/6). Let h(g) = g**3 + 6*g**2 - 4. Let b be h(-5). Let u = 21 - b. Sort 4, v, u.
u, v, 4
Let i = 4 - 17/4. Put 0.4, -0.2, i, 0 in increasing order.
i, -0.2, 0, 0.4
Let o = -209 - -200. Sort o, -2, 1, 3.
o, -2, 1, 3
Let t be 0/4 - (-2)/3. Suppose -9*d - 5*d = -4*d. Sort t, 6, d in descending order.
6, t, d
Let k = 61 + -55. Put 0.5, k, 14 in decreasing order.
14, k, 0.5
Let u(s) = s**3 - 3*s**2 + s - 1. Let d be u(3). Suppose 0 = -d*w - x - 1, 9 = 3*w + 3*x + 2*x. Let l be -1 + 4 + 1 + -3. Put w, l, 9 in increasing order.
w, l, 9
Let o(c) = 4*c**3 + c. Let n be o(1). Suppose -t = -n*t + 16. Suppose -2*y - 14 = 4*q, 0 = 3*y - q + t*q + 12. Put y, 5, -3 in decreasing order.
5, y, -3
Let k(q) = -q**3 + 29*q**2 - 28*q - 1. Let j be k(28). Put -4, j, -103, -3 in ascending order.
-103, -4, -3, j
Let r = -8/9 - -29/63. Let g = 0.452 - -0.048. Sort 2/9, g, -3, r in descending order.
g, 2/9, r, -3
Let r = 96 - 387/4. Let s be 4/6 + 26/(-30). Let w = -1.43 - 1.57. Sort r, s, w.
w, r, s
Suppose -i - 4 = -0*i + 5*m, 2*i - 2*m = 52. Let a be (-69)/(-21) - 3 - 48/i. Let d be 2/6 - 26/6. Sort -2/7, d, a.
d, a, -2/7
Suppose 34*q = -5*p + 38*q - 8, -p = -4*q + 8. Suppose 0 = -3*o - 0*o + 5*t - 31, 2*o + 5*t = 21. Sort 4, 1, p, o.
o, p, 1, 4
Let h = -15.54 - -15.44. Sort h, 0, 764 in decreasing order.
764, 0, h
Suppose 0 = 5*y - 15, 3*b - 18 = 5*b - 4*y. Let c = -130 + 42. Let w = 87.8 + c. Sort -1/12, w, b in decreasing order.
-1/12, w, b
Suppose -3*h - 5*z = 3 - 2, -h = -3*z + 5. Let l be h - (10/(-1) - -5). Sort l, 5, 14.
l, 5, 14
Let c = 6 - 9. Let t(m) = -m**3 - 10*m**2 - 9*m + 12. Let g be t(-9). Let l be (-1)/(-2)*g/(-3). Put c, 5, l in descending order.
5, l, c
Let f = -0.69 - -0.45. Let t = f + -0.26. Sort -0.3, t, -5/4, -0.1 in ascending order.
-5/4, t, -0.3, -0.1
Let s = 1.19 + -1.69. Let j = -121 + 489/4. Sort 6/11, 1, s, j in increasing order.
s, 6/11, 1, j
Let v = -205 + 205.2. Put v, -0.4, -68 in increasing order.
-68, -0.4, v
Suppose -58*z = -66*z - 24. Put 33, 8, z in descending order.
33, 8, z
Suppose 5*x - 6 = 2*x. Let z = -3.01 - -5.79. Let q = -0.22 - z. Put q, -0.05, x in ascending order.
q, -0.05, x
Suppose 0 = -2*u + 4*u - 6. Let b = -453 + 450. Put b, 15, u in descending order.
15, u, b
Suppose 25*m = -2837 + 13037. Sort -4, 4, m, -5 in decreasing order.
m, 4, -4, -5
Let n be (0 - -1) + (-4 + -44)/8. Put 3, n, 7 in decreasing order.
7, 3, n
Let q = -385.91 - -386. Put 2, 4/7, q, -2 in decreasing order.
2, 4/7, q, -2
Let z be 6 + 18/(-6) + -3. Suppose -3*a = -8*a - 25. Put z, 5, a, 1 in increasing order.
a, z, 1, 5
Let z = 0.073 + 8.027. Let l = -8 + z. Let m = 0.7 - 0.73. Sort l, m, -1 in decreasing order.
l, m, -1
Let k = -1 + 1.3. Let s(r) = 3*r**3 - r**2 + 2*r - 1. Let z be s(1). Suppose -5*p - 3*m = -4 - 3, z*m - 16 = 4*p. Put 3, p, k in increasing order.
p, k, 3
Let d(y) = 6*y - 27. Let l be d(-3). Put 2, l, 3 in increasing order.
l, 2, 3
Let g = -71 - -100. Let d = 24 - g. Sort -1, -0.3, d, 1/2 in decreasing order.
1/2, -0.3, -1, d
Let s = -7 - -11. Suppose -41*l + 36*l = -5. Let u = -2 + 2. Put s, u, l in ascending order.
u, l, s
Suppose 5*z