et h be (-3)/(6*1/8). Put a, h, -3 in decreasing order.
-3, h, a
Let c = -23.972 + -0.028. Let b = c - -21.4. Let h = -0.4 + b. Put -2/5, -4, h in descending order.
-2/5, h, -4
Let j = 93/35 - 14/5. Sort -5, -1/5, j in decreasing order.
j, -1/5, -5
Let y = -0.5 - -1.5. Sort -2/5, y, -2/9.
-2/5, -2/9, y
Suppose b - 4*m = 4 + 6, 0 = -5*b - 5*m. Suppose -3*s = 3*q + 15, -3*s = b*s + 15. Sort q, -4, -1 in decreasing order.
-1, q, -4
Let x be 33/(-21) + 3/21*-3. Put 1, 3, x in ascending order.
x, 1, 3
Let m = 47 + -145/3. Sort 5, m, -5 in descending order.
5, m, -5
Let b = 43/24 + -9/8. Let u = 0.3 - 0.1. Sort b, u, -0.2 in decreasing order.
b, u, -0.2
Suppose 2*j - 3 = 1. Sort 0, 3, j in descending order.
3, j, 0
Let g be (-2)/(-7) + 2/(-7). Suppose g = -2*v - 3*v - 25. Let i(b) = b**2 + 3*b - 26. Let o be i(4). Put v, o, 1 in ascending order.
v, 1, o
Suppose 3*v = b + 2, 2*v - 4*b - 16 - 2 = 0. Let q = -124 - -121. Put v, q, 0 in descending order.
0, v, q
Let l = 0.3 + -0.4. Let v = -0.2 - l. Let b = 14.7 - 15. Put b, v, 0.1 in decreasing order.
0.1, v, b
Let o(h) = 2*h + 0*h - 5*h - 8 + 2. Let u be o(-3). Put -4, -1/2, u in decreasing order.
u, -1/2, -4
Suppose -2*k = 2*k + 40. Let y = k + 9. Put 1, y, 2 in descending order.
2, 1, y
Let b be ((-1)/5)/((-770)/(-100) - 8). Let k = 0.1 - 1.1. Sort 1, b, k in descending order.
1, b, k
Suppose 25 - 5 = -4*h. Let z = h - -12. Let b(x) = x - 7. Let r be b(z). Put 2, -2, r in increasing order.
-2, r, 2
Let x = -21 - -18. Put 2/9, x, 2 in decreasing order.
2, 2/9, x
Let q = 1 + 1. Let y = -306 + 306. Sort q, y, 5 in descending order.
5, q, y
Let z = 6 - 4. Let q = 5.3 + -0.3. Sort z, q, 3 in descending order.
q, 3, z
Suppose -5*r + c - 4 = 0, -r - 5*c - 5 = 1. Suppose 4 = -2*f - 2*x, 0*f = -4*f - x + 4. Let g be r + f/(-11) + 1. Put 3, g, -4 in decreasing order.
3, g, -4
Let b = 85 + -257/3. Put b, 0.1, 0 in decreasing order.
0.1, 0, b
Let j(m) be the third derivative of m**5/20 - 5*m**2. Let k be j(1). Suppose 6*x = 3*x + 12. Sort k, 0, x in decreasing order.
x, k, 0
Let c = -2.25 - -0.25. Let k = 2 + 2. Sort -1/5, c, k in decreasing order.
k, -1/5, c
Suppose 0 = -9*p - 31 + 4. Sort -6, p, 3 in ascending order.
-6, p, 3
Let c(f) = f**3 + 3*f**2 - 5*f - 4. Suppose -5*m = -2*q + 24, 3*m + 6*q - 2*q = -4. Let d be c(m). Let x = 6 - 9. Sort d, x, 3.
x, d, 3
Let o = 1.7 - -25.3. Let a = 26.6 - o. Put 0.4, a, -1/6 in descending order.
0.4, -1/6, a
Let z = 0.7 + -0.7. Put z, -5, 1 in decreasing order.
1, z, -5
Let m = 8 - 8.4. Put -4, -5, m in increasing order.
-5, -4, m
Suppose -78 = -3*d - 69. Sort 1, -1, 2, d in increasing order.
-1, 1, 2, d
Suppose s - 10 = 3*s. Sort -2, 0, s in decreasing order.
0, -2, s
Suppose 5*p = -2*k + 15, 3*k = p + 4*k - 6. Sort -5, p, 0 in descending order.
p, 0, -5
Suppose -g = f, -5 = -2*g + 5. Put -90, 5, f in ascending order.
-90, f, 5
Suppose 6*k - 7 + 25 = 0. Put -4, k, 1 in descending order.
1, k, -4
Let m = 131 - 133. Suppose 0 = 3*u + 9 + 6. Sort m, 0, u in decreasing order.
0, m, u
Suppose 0 = v + 10 - 5. Sort 0, 2, v in descending order.
2, 0, v
Let m = 0.16 - 0.16. Sort m, 4, -0.1, -1/6.
-1/6, -0.1, m, 4
Let x be 7 + -5 + 0 + 0. Sort x, 4, -5, 0.
-5, 0, x, 4
Suppose -4*k + 12 = 4. Suppose 8 - 3 = d + 3*p, -d - 10 = -k*p. Sort -0.3, 2/5, d.
d, -0.3, 2/5
Suppose 0 = 3*p + 2*k + 3, -5*p - 2*k + 2 = -k. Put 5/4, p, 0.5 in decreasing order.
5/4, p, 0.5
Suppose -2*x - 22 = 4*n, -3*x + 4*n + 9 = 2. Let z be 1 + x + (5 - -1). Sort 1, -3, z in ascending order.
-3, 1, z
Let l = -2.99 + -0.01. Let y = l - 1. Put -2, 0.1, y in decreasing order.
0.1, -2, y
Suppose 3 = v - 0. Let c be 95/(-20) + v/(-12). Put c, 2, 4 in ascending order.
c, 2, 4
Suppose 0 = -s + 5*h + 25, 5*s - 2*h + 5 = 15. Suppose -4*t = -s*t + 20. Sort 1, t, 5 in decreasing order.
5, 1, t
Let v = 0.4 - -1.6. Let a = -4.4 - -4. Put a, v, -2/13 in decreasing order.
v, -2/13, a
Let u = -36.6 - -33. Let w = u - -4. Put w, 0, -5 in ascending order.
-5, 0, w
Let a be 38/(-171) + 32/(-18). Sort -6, 2, 4, a in ascending order.
-6, a, 2, 4
Let c = 9 - 4. Let b(r) = -7*r**3 - r**2 - 2*r - 2. Let n be b(-2). Let p = -271/5 + n. Put 2, c, p in decreasing order.
c, 2, p
Let i = -0.022 + -0.478. Sort i, 0.2, -18 in ascending order.
-18, i, 0.2
Suppose -5*d = -3*s - 20, -5*d - 4*s = -0*d + 15. Put 2, -4, d in descending order.
2, d, -4
Let y = -140 - -697/5. Put y, 6, 2/3, 0.4 in decreasing order.
6, 2/3, 0.4, y
Let w = -4 - -1. Let v = -3 - w. Let p = -3199/11 - -291. Put p, v, 0.3 in ascending order.
v, p, 0.3
Suppose -5*y - 2*w = -0*w - 35, 2*y - 4*w = -10. Sort 9, y, 4 in decreasing order.
9, y, 4
Suppose 5*m - 15 = -5*y, m = 5*m - 12. Put -4/3, 0.01, y in descending order.
0.01, y, -4/3
Suppose 0 = -3*i + 1 - 16. Let z = 0.06 - 0.08. Let h = -0.28 + z. Sort i, 3/7, h in decreasing order.
3/7, h, i
Let g(a) = a**2 - 14*a + 8. Let h be g(13). Put 4, -1, h in descending order.
4, -1, h
Let g = 12.1 - 13. Sort 4/7, 2, g in descending order.
2, 4/7, g
Let l be -2 + -3 + 3 + 3. Suppose a + 3*v + 2 = 0, v + l = 3*a - 13. Put 2, a, 9 in decreasing order.
9, a, 2
Let y be 24/(-15) + -2 + 3. Let t be 5*(3 - 6/3). Let i be (-8)/(-36)*3*2. Put i, y, t in decreasing order.
t, i, y
Let v = -19 + -3. Let b = -23 - v. Put -2, b, -0.4 in decreasing order.
-0.4, b, -2
Let m be (-35)/(-5) - (5 + -2). Suppose -o + 4*o = -4*f + 7, 0 = -m*o + f + 3. Sort 2, -5, o in decreasing order.
2, o, -5
Let z = -0.222 + 1.222. Let q = -4.1 + 0.1. Put -0.2, q, z in descending order.
z, -0.2, q
Let m = -91 + 92. Suppose 15 = -3*k - 0. Put 0, k, m in decreasing order.
m, 0, k
Suppose -16 = -3*f - 0*p - 4*p, f + p = 5. Suppose 2 = -3*y + 2*y. Let t be 0/(y/(-2)) - 2. Sort t, 3, f in descending order.
f, 3, t
Let b = 33 - 20. Let g = b - 16. Sort g, -1/12, 3.
g, -1/12, 3
Let y = 46 - 51. Sort 1, -2, y, 8 in descending order.
8, 1, -2, y
Suppose -4*j - 2 - 2 = 0, 4*y + 2*j + 10 = 0. Sort -1, -4, y in descending order.
-1, y, -4
Let q be 0 - (0 + -3)*-1. Let t be (-25)/35 - (-2)/7. Sort q, t, 2.
q, t, 2
Let a = -5 + 4. Let k be 2/(6/4 + a). Let s = 4 + -5. Sort k, s, 2 in decreasing order.
k, 2, s
Let n = -5 - -4.92. Let y = n + -0.22. Put 3/4, y, -2/5 in descending order.
3/4, y, -2/5
Let h = 5.05 + -0.05. Let q = h - 2. Sort q, 2, 4 in ascending order.
2, q, 4
Let y(w) = w**3 + w**2 + w + 3. Let p be y(0). Sort 0.07, -1, p in ascending order.
-1, 0.07, p
Let h be 2/5 + (-17)/5. Let x be 19/4 - h/12. Let t be 1/((5/(-2))/x). Sort 2, t, -3 in decreasing order.
2, t, -3
Let c = -1.9 - 2.5. Let h = 0.6 - c. Suppose -5 = k - 2. Sort h, k, 2/9 in decreasing order.
h, 2/9, k
Let q(u) = -u**3 + 5*u**2 + u - 1. Let a be q(5). Suppose 102*m = 103*m - 5. Put 0, m, a in decreasing order.
m, a, 0
Let d = -28 + 28. Let z be (3/2)/(2/(-4)). Sort -5, d, z in ascending order.
-5, z, d
Let g = -0.3 - -0.2. Let l(h) = -2 + 3 + 0 + 3 + 3*h. Let u be l(-2). Put -5, u, g in descending order.
g, u, -5
Let v be (-9)/(-4) + -2 + 84/(-144). Sort -2/21, v, 0 in decreasing order.
0, -2/21, v
Let f(d) = -8*d + 5*d - d + d**2. Let s be f(3). Sort 1, s, -2/9 in increasing order.
s, -2/9, 1
Let p = -3.2 - -5.2. Sort -0.5, p, 1 in decreasing order.
p, 1, -0.5
Let r = 21 - 21. Put r, 4, 2 in ascending order.
r, 2, 4
Let p = -0.045 + 0.245. Sort 7, -0.1, 1, p in decreasing order.
7, 1, p, -0.1
Let u be (-5)/2*24/(-30). Let h = 10 - 5. Put h, 3, u in descending order.
h, 3, u
Suppose -5*t + 0*t = 10. Put 2, -1, t in descending order.
2, -1, t
Suppose 4*n - 17 = -1, 0 = -5*a - n + 14. Let q be (21/9)/(-1) + a. Sort q, -0.5, -1 in descending order.
q, -0.5, -1
Let n be (-7)/2 + 1/2. Suppose -3*c - 69 = -54. Sort c, -1, n in decreasing order.
-1, n, c
Let o = -36 + 76. Suppose o = 3*w - 7*w. Let m = w + 6. Sort 4, m, 5 in decreasing order.
5, 4, m
Suppose -2*c + 4 = 2. Let x = 4.9 + 0.1. Let h be ((-2)/15)/(2/(-6)). Sort h, x, c.
h, c, x
Let p = 86 + -82. Sort 3, 2, p, 1 in increasing order.
1, 2, 3, p
Let i = 111/2 - 57. Let k be 2/(-3)*9/(-8). Sort i, -3/4, k in decreasing order.
k, -3/4, i
Let g be -1 - (-10)/(-14)*-2. Sort -1.5, g, 2.
-1.5, g, 2
Suppose 0 = 3*q - 4*z + 13, -2*q = -q - 5*z + 19. Let p(x) = 4*x**3 - x. Let o be p(q). Let i = o - 2. Put 3, i, 5 in descending order.
5, 3, i
Let 