 in decreasing order.
d, 0.4, -5/6
Let a(b) = 2*b + 2. Let v be a(2). Let h be (v/4*-1)/(-3). Suppose w + u + 9 = 0, 2*w - 4*u - 8 = -w. Sort w, 3, h in descending order.
3, h, w
Let w(k) = k + 7. Let y be w(-4). Suppose y*r - 18 = -6. Let u(q) = -q**3 + 6*q**2 + 6*q + 2. Let z be u(7). Put 2, r, z in increasing order.
z, 2, r
Let q = 13 + -13. Let o = -0.1 + 0.2. Let d = -1.1 + o. Put q, -0.4, d in ascending order.
d, -0.4, q
Let a(t) = 4 - 2*t**3 + 3*t**3 - 2 + 4 - 6*t**2 + 3*t. Let b be a(5). Put 5, -5, b in increasing order.
-5, b, 5
Suppose 0 = -w - 4 + 1. Sort 0, 9, w.
w, 0, 9
Let v(j) be the third derivative of -j**4/6 - j**3/6 - j**2. Let w be v(-1). Suppose 2*n = -w*n - 20. Sort 1, -3, n in decreasing order.
1, -3, n
Let v = 1501/9 + -167. Let k = -0.91 + 0.11. Let s = 0.4 + k. Put 0.5, s, v in descending order.
0.5, v, s
Let d(r) = r**3 + 3*r**2 - 4*r - 2. Let x(t) = -3*t**3 - 8*t**2 + 11*t + 5. Let h(f) = 11*d(f) + 4*x(f). Let y be h(0). Sort 2, 3, y in descending order.
3, 2, y
Let v(k) = -2*k**2 - 43*k + 23. Let d be v(-22). Sort 19, 5, d, -4 in descending order.
19, 5, d, -4
Let k be 5/(20/(-14)) - -3. Put -10/7, k, -1/6 in decreasing order.
-1/6, k, -10/7
Suppose 4*z = 3*u - 2*u - 1, 0 = 4*u + 3*z - 4. Let t = -4 - -8. Let h(c) = 2*c - 2. Let i be h(0). Sort u, i, t in decreasing order.
t, u, i
Let k = -300.5 - -300. Let d = -0.1 - 1.9. Put k, d, 2/3 in descending order.
2/3, k, d
Let b = -6/47 + 309/1316. Let u = -23/84 + b. Sort -1, u, 0.03.
-1, u, 0.03
Suppose -7*x = -2*x + 3*x. Put 4, -5, 7, x in descending order.
7, 4, x, -5
Let w be (-23)/(-18) + 4/18. Let f = -0.3 + 0.1. Sort w, f, 2.
f, w, 2
Suppose 0 = 2*h + h + 15. Suppose 2*y = y - 3. Put 2/5, h, y in descending order.
2/5, y, h
Let a = 14 - 13. Suppose m - a = -4. Sort -4, m, 2 in descending order.
2, m, -4
Let r = -114 - -118. Sort r, 0, -3, 5 in increasing order.
-3, 0, r, 5
Let z = -6 - -3. Let o = -17 + 18. Sort z, 0, o in ascending order.
z, 0, o
Let s be (-4)/6 - (-5)/3. Let q be 8/(-12) + 2/3. Let o = q - s. Sort o, 4, -4 in descending order.
4, o, -4
Let p = -0.1 - -0.1. Let n = p - 0. Let h = -1.2 - -6.2. Sort h, n, 1/3 in descending order.
h, 1/3, n
Let d be 5 - ((-4)/1 + 7). Put -1, -2, d in decreasing order.
d, -1, -2
Let n = 11 - 14. Let j = 17 + -19.9. Let q = 3 + j. Put q, n, -2 in decreasing order.
q, -2, n
Let h = -11 - -11.04. Let x = -0.04 + 0.4. Let w = h + x. Put w, -1, -4 in decreasing order.
w, -1, -4
Let z = -5 - -5.1. Sort z, -2, -15 in decreasing order.
z, -2, -15
Let b(n) = n**3 - 5*n**2 - 5*n - 7. Let k be b(6). Let y = -15 + 21. Let c = -3 + y. Sort 0, k, c in descending order.
c, 0, k
Let d = 25 - 11. Let f = d + -11. Put 6, f, 0 in descending order.
6, f, 0
Let l = -50 + 51. Put -1, -3, -5, l in decreasing order.
l, -1, -3, -5
Suppose 5*f - 20 = -4*b - 0, 3*b - 2*f = 38. Suppose 3*a = 4*w + 13 + 1, -w - b = -4*a. Let u = -1045/36 - -117/4. Put w, u, -2/15 in descending order.
u, -2/15, w
Suppose 0 = -5*d + 3*v - 34, d + 0*v + 3*v = 4. Suppose 0 = -2*s - 3*s - 15. Sort -1, s, d in decreasing order.
-1, s, d
Let x = 0.4 + 0. Let o = -5.9 - -6. Let r = -2.5 - -3. Put x, o, r in ascending order.
o, x, r
Let p = 34 + -34.2. Put 0, 2/5, p, -2/7 in ascending order.
-2/7, p, 0, 2/5
Let w = 8 + -4. Let j be 2*-3*(-2)/12. Let t = j + w. Put t, 1, -1 in descending order.
t, 1, -1
Let u = 0.45 + 0.05. Let w = 1 - 0.5. Let o = w + -0.9. Sort o, 1, u in increasing order.
o, u, 1
Let v = -3 - -6. Let r = 1.02 - 1. Let i = 1.98 + r. Sort 0.1, v, i.
0.1, i, v
Let x = -7 - -7. Let o = -71 + 353/5. Sort 1, o, x.
o, x, 1
Let j = -5 + 7. Let q = 6 + -5.5. Let x = q - 0.7. Sort x, 1, j in decreasing order.
j, 1, x
Let l be (-9)/12*4/1. Let s(w) = w**2 + 5*w + 4. Let o be s(l). Let x = -0.042 + -0.058. Sort 1, o, x in decreasing order.
1, x, o
Suppose -2*c - 4 = -5*y - 4*c, 0 = y - 2*c + 4. Let b = y + 2. Sort -4, 0, b in decreasing order.
b, 0, -4
Let z(p) = 6*p**2 - p. Let i be z(1). Suppose -u - 4*u = -15. Let h be (-1)/(((-4)/u)/(-4)). Sort h, -5, i.
-5, h, i
Let t be (-2 + 0)*(6 + 90/(-12)). Suppose 2*q + 5*d = -3*q + 85, q = 5*d - 13. Suppose 6*x + q = 3*x. Sort x, -5, t in decreasing order.
t, x, -5
Let r(x) = -x**3 + 9*x**2 + 8*x + 15. Let p be r(10). Sort -3, 3, p, 0 in increasing order.
p, -3, 0, 3
Let b = 2 - 0. Suppose 5*g - 9 = b*g. Suppose i = -g + 6. Put -2, 4, i in increasing order.
-2, i, 4
Suppose 6*l + 0 = -18. Sort 4, l, 41.
l, 4, 41
Let u be (10/(-8))/5*0. Sort u, -24, 2 in decreasing order.
2, u, -24
Let a = -83.9 + 84. Let m = 2.4 - 2. Put a, 0, m in descending order.
m, a, 0
Let w = 76 + -98. Sort 2/13, 4, w in descending order.
4, 2/13, w
Let z = 2 + -1. Let s = z - 0. Let l(b) = -b**3 + 2*b**2 + b + 2. Let n be l(3). Sort s, n, 0.
n, 0, s
Let q be 2/(-8) - ((-105)/(-12) - 4). Suppose 5*y - c = -2*c + 5, c = 5. Suppose -5*z + 5 = -2*a, -a + 3*a = 0. Sort q, y, z in ascending order.
q, y, z
Let m(s) = s**2 - 8*s + 11. Let d be m(4). Suppose -3*z + 1 + 5 = 0. Sort -3, d, z.
d, -3, z
Let s be -1*(-2)/(-3 + 1). Suppose -f + 0*f = -1. Put f, 3, s in increasing order.
s, f, 3
Suppose -3 = m - 2*q, -4*m - q - 2*q + 32 = 0. Suppose 2 + 1 = -3*p. Sort p, m, 0.
p, 0, m
Suppose -5 = -3*m - 2*g, 5*m - 4*m + 2 = 3*g. Suppose 12*c = 8*c - 20. Sort -3, m, c in increasing order.
c, -3, m
Let b be (0*4/8)/1. Put -2, b, 1 in decreasing order.
1, b, -2
Suppose 41*v = 42*v + 3. Put -0.03, 0, v, 4 in decreasing order.
4, 0, -0.03, v
Let m be (-4)/2 + -1 + 0. Put -9, m, 4 in decreasing order.
4, m, -9
Let w = -0.05 - 0.25. Let x = w - -0.7. Let p = -4.4 - -4. Put -1, x, p in increasing order.
-1, p, x
Let b = -0.1 - -0.3. Let a = -8 + 13. Let u = 0 - 0.1. Sort b, u, a in decreasing order.
a, b, u
Let b = -31 - -31.2. Sort 2/3, -3, b in decreasing order.
2/3, b, -3
Let j = -6 - -10. Suppose 2 = -j*k + 6. Let b be -2 - 0 - (-1)/k. Sort 5, b, -3 in descending order.
5, b, -3
Suppose h = -5 + 1. Let f(x) = 4*x**3 - 4*x + 3*x**2 + 1 - 5*x**3 + 2*x**2. Let m be f(4). Sort -5, m, h in decreasing order.
m, h, -5
Suppose 4*u = i + 22, -u + 6 = -i - 7. Sort 3, 2, i in ascending order.
i, 2, 3
Let p(n) = -9*n + 6. Let j(t) = 5*t - 3. Let m(h) = 11*j(h) + 6*p(h). Let d be m(-4). Sort 0, d, -4 in descending order.
0, d, -4
Suppose -2 = -2*x + 4. Sort -5, -2, -8, x.
-8, -5, -2, x
Let y(f) = 2*f + 14. Let r be y(-7). Sort -5, r, -9.
-9, -5, r
Let z = -3 - -3. Suppose 6*v - 5*p = 4*v + 16, -2*v - 3*p - 16 = 0. Let q be (1/(-2)*v)/1. Put z, -1, q in decreasing order.
q, z, -1
Let b = -3 - -2. Suppose -t + 0*t = 0. Let p = 1 - t. Put b, 4, p in descending order.
4, p, b
Let r(j) = -5*j**3 + j**2 - j. Let m be r(1). Sort m, -7, 5 in descending order.
5, m, -7
Let z = 92.2 + -92. Sort -0.2, 1, z in increasing order.
-0.2, z, 1
Suppose 7*w - 6*w - 17 = 0. Let s(n) = n**2 - 17*n - 5. Let f be s(w). Put f, 0, 3 in decreasing order.
3, 0, f
Suppose 5*a + 23 = -3*y, -3*y - 7 = 3*a - 8*y. Suppose m = -2*w - 3*m, 0 = -2*w + 5*m - 27. Let c be 15/(-6)*w/5. Put a, 4, c in increasing order.
a, c, 4
Suppose 3 = -2*h + h. Put h, 4, 2 in ascending order.
h, 2, 4
Let q = -9/190 + -1/19. Sort 2/13, q, -4.
-4, q, 2/13
Let t be 0/2 + (-2380)/16. Suppose a = -2*a + 444. Let m = t + a. Sort -0.5, m, 3/2 in descending order.
3/2, -0.5, m
Let t = 0.31 - -3.69. Put -4, t, -4/3 in increasing order.
-4, -4/3, t
Let k = 18 + -15. Sort 2, k, 4 in decreasing order.
4, k, 2
Suppose 7 = 3*r + 22. Put r, 1, -1 in decreasing order.
1, -1, r
Let w = -67/2 + 33. Sort w, 3, 1/8 in descending order.
3, 1/8, w
Let c(x) = -2*x**2 - 1. Let q be c(1). Put q, -2, -5 in descending order.
-2, q, -5
Let l be (-5)/(-60)*1*-3. Sort l, 2, -1/2 in decreasing order.
2, l, -1/2
Suppose -6 = 5*r - 26. Put 5, r, -1 in decreasing order.
5, r, -1
Let n = 26.2 + -24. Let h = 2.8 + n. Suppose -2*o + 6 = o. Sort o, h, 0.1 in decreasing order.
h, o, 0.1
Let l = 0.28 - 0.11. Let c = 0.17 - l. Put -1, 1/7, c in ascending order.
-1, c, 1/7
Let i = -2 - 8. Sort 1, -4, i in ascending order.
i, -4, 1
Suppose -84 - 60 = -4*m. Let g be 62/m - (-4)/(-18). Sort -3, -5, g in ascending order.
-5, -3, g
Let f = 5 + -2. Let i be f/((-3)/(-6) + -2). Let p be ((17 - -1)/(-3))/i. Put p, -5, 2 in descending order.
p, 2, -5
Let d = 97 - 51. Let 