 decreasing order.
11, n, -0.5
Let i = -226/15 + 15. Let t = -5762.7 + 5763. Put -1/3, t, i in decreasing order.
t, i, -1/3
Let v = 0.28 - 0.38. Sort v, -0.4, -2/29 in decreasing order.
-2/29, v, -0.4
Let k = -31 - -30.9. Let i = -0.05 - k. Sort 5, i, 0.1 in decreasing order.
5, 0.1, i
Let c = -99 - -101. Let z = -7/18 + 1/18. Let t = -9 - -6. Sort z, c, t in ascending order.
t, z, c
Let p be (0 + 2)*(476/(-474) - -1). Let y = 131/79 - p. Sort y, 5, 4/5 in increasing order.
4/5, y, 5
Suppose -5 - 1 = -2*h. Let x(y) = -4*y - 6*y - h - 32*y**2 + y**3 + 29*y**2. Let a be x(5). Sort a, -7, -2 in descending order.
-2, a, -7
Let y = -120 - -119.6. Let r = y - 0.6. Sort r, -2/7, 0.01, -0.2.
r, -2/7, -0.2, 0.01
Let l(k) = -k**3 + 3*k**2 - k - 2. Let t be l(2). Let x = 12.22 - 12.62. Sort t, x, -1, -3 in descending order.
t, x, -1, -3
Let x = 2.08 - -0.42. Let r = x + -0.5. Sort 0.5, -12, r in ascending order.
-12, 0.5, r
Let j = 0 + -10. Let q be 4/j + 322/630. Let g = -11.83 - -11.8. Put 3, q, g in descending order.
3, q, g
Let t be (-10 + 1)/(-1*1). Let r = -10349 - -10346. Sort r, 1, t in descending order.
t, 1, r
Let m = -98.2 - -97.2. Let c = 0.04 - 0.54. Put -2/67, m, c in decreasing order.
-2/67, c, m
Let v(a) = a**2 + 22*a + 3. Let u be v(-22). Let f = -21 - -16. Put f, u, -10, -3 in descending order.
u, -3, f, -10
Let w = -34773/22 - -1581. Put w, -1/3, -0.3 in ascending order.
-1/3, -0.3, w
Let z = -0.0972 - -0.0472. Sort z, -9, 3, -3/5.
-9, -3/5, z, 3
Suppose 3*a = 0, -g + 5*a = -4*g. Suppose 2*u + u = g. Suppose -v + u*v + 5 = 0. Sort v, -4/7, -0.5 in decreasing order.
v, -0.5, -4/7
Let c(t) = t**2 + 7*t - 4. Let m(q) = q**3 + 7*q**2 - 6*q + 8. Let u be m(-8). Let y be c(u). Let a = 176.4 - 176.3. Sort y, 4/9, a in descending order.
y, 4/9, a
Let d be (-38)/(-14) + 6/21. Suppose 0 = 4*k - 16, -k + 1 = d*x - 6. Put 4, x, -5, 3 in descending order.
4, 3, x, -5
Let a = 13417/2 + -6851. Let t = 141 + a. Sort -3/10, 4/7, -3, t.
-3, t, -3/10, 4/7
Let f = 22 - 26. Put 33, -1, f in decreasing order.
33, -1, f
Let i = 207 - 212. Sort 2, i, 1, 0 in descending order.
2, 1, 0, i
Let d = -5.2 - -0.2. Let i = d + 5.2. Let l = -2.04 - -0.04. Sort i, 0, l in increasing order.
l, 0, i
Suppose 0 = 37*l + 694 + 416. Put -12, -5, l in increasing order.
l, -12, -5
Suppose a + 0*a = 2*t, -t = -a - 2. Let m be (3 - (t + 7)) + -1. Sort -20, m, -2 in decreasing order.
-2, m, -20
Let p(z) = -6*z - 27. Let o be p(-8). Suppose 6*c = -c + o. Put c, -2/19, 1/2 in increasing order.
-2/19, 1/2, c
Let x = -7.4 + 7.77. Let n = -0.63 - x. Put n, 0.03, 4, 0.2 in decreasing order.
4, 0.2, 0.03, n
Let f = 2794/3 + -930. Sort -1/3, f, 0.1, 1/25.
-1/3, 1/25, 0.1, f
Let h = 521 + -502. Put h, 0, 1 in descending order.
h, 1, 0
Let s be -3 + (339/(-120))/(-1). Let u be (1 - 12/10)/(-1). Let c = s - u. Sort 1, c, -1 in descending order.
1, c, -1
Let n = -0.465 + 0.465. Sort -1/7, -0.2, 0.33, n in descending order.
0.33, n, -1/7, -0.2
Let f be 2 + 3/((-3)/5). Put 4, 3, f, 41 in increasing order.
f, 3, 4, 41
Let f be 31/8 - (-1)/8. Suppose -12*p = -f*p - 176. Let h = -202/747 + 4/83. Put h, -5, p in descending order.
p, h, -5
Let t(c) = 3*c**2 - 21*c + 14. Let f be t(6). Sort 17, 3, f in ascending order.
f, 3, 17
Let o(v) = v**2 - 12*v + 22. Let r be o(3). Sort 4, -10, -3, r in decreasing order.
4, -3, r, -10
Let o(r) = 2*r**3 + 3*r**2 - 3*r - 3. Let f be o(-2). Suppose 0 = -2*w + 3*w + 4. Sort 0, f, w in descending order.
0, f, w
Suppose -12*h = -60 + 24. Sort h, 43, -2, -1 in descending order.
43, h, -1, -2
Suppose -22*q + 18*q - 32 = 0. Let c(h) = -h**3 + 5*h**2 - 5*h + 2. Let r be c(4). Put 1, q, -4, r in descending order.
1, r, -4, q
Let s = 13 + -11. Let w be (-11)/(-11)*s/(-113). Let i = -335/226 + w. Put 0.5, -1/2, i in descending order.
0.5, -1/2, i
Let z = 4.17 - 5.17. Put -0.1, z, -4, -26 in decreasing order.
-0.1, z, -4, -26
Suppose 1 = l - 1. Suppose -l = -3*x + 1. Sort 4, -5, x in increasing order.
-5, x, 4
Let l be (-14*21/(-98))/((-3)/1). Put l, -5, -2, 16 in descending order.
16, l, -2, -5
Suppose 0*z = -2*z - 6. Let l = 43 - 64. Let n(s) = 2*s + 36. Let y be n(l). Put 1, z, y in increasing order.
y, z, 1
Suppose 25 = 53*d - 28. Sort 5, d, -82 in descending order.
5, d, -82
Let n be (-2)/4 - (-11)/6. Let x = 907.6 + -908. Let m = 0.3 + -0.2. Put n, x, m in decreasing order.
n, m, x
Let w(z) = 14*z + 136. Let b be w(-13). Put 0, b, 2 in ascending order.
b, 0, 2
Let g(j) = -j**2 - 11*j + 11. Let d be g(1). Put d, 1, 0 in increasing order.
d, 0, 1
Let f = 613 - 616. Put 19, -4, f in decreasing order.
19, f, -4
Let x = -36/13 + 226/91. Let i = 1241/11 + -113. Put -3, x, i in descending order.
i, x, -3
Suppose o = -3*l + 88, -5*o = -l - 2*l + 82. Sort -4, l, 4.
-4, 4, l
Let r = -4 - -5. Suppose 0 = 4*v - 5*u + 12, -3*v + 22 = 4*u - 0*u. Put 4, r, v in descending order.
4, v, r
Suppose c - 4 = -h + 4*c, 2*h = 3*c + 2. Sort 57, h, 3, 1.
h, 1, 3, 57
Let d = 1.8 + -1.6. Let h = 8.8 + -7.8. Put -2/3, h, d, 2 in descending order.
2, h, d, -2/3
Let q = 279 + -189. Let h be (-36)/q*(-15)/8. Suppose 2*l - 10 = -3*y, -3*l = -0*l + y - 8. Sort l, -2, h in decreasing order.
l, h, -2
Let v(y) be the third derivative of y**6/120 - y**5/4 - y**4/24 + 11*y**3/6 - 8*y**2. Let z(q) = 9*q - 3. Let m be z(2). Let k be v(m). Sort -3, 3, k.
k, -3, 3
Let d(h) be the second derivative of -h**4/12 + 7*h**3/6 - 7*h**2/2 + h. Let p be d(5). Let t be -1 + 10/(40/(-12)). Put t, 5, p in decreasing order.
5, p, t
Let q be (21/(-4))/(6/(-32)). Let j be (-3)/(-6) - 38/q. Put -2, j, -0.2, 1 in ascending order.
-2, j, -0.2, 1
Let a = 9957/11 - 905. Sort a, -3, -1 in decreasing order.
a, -1, -3
Let d = 26 + -25.82. Let r = d + -3.18. Sort -1/3, r, 2/15 in increasing order.
r, -1/3, 2/15
Suppose 0 = -4*l - 3 + 7. Let g be (24/72)/(l/(-9)). Sort g, 0.5, -0.07 in ascending order.
g, -0.07, 0.5
Let j = -0.23 - 2.22. Put -3, 1/7, j in decreasing order.
1/7, j, -3
Let c(p) = -19*p - 2. Let u be c(-1). Let i = u - 14. Suppose -i*z = -0*z + 5*v - 28, 5*z - v - 28 = 0. Put z, 3, -3 in ascending order.
-3, 3, z
Let v = -3.2 - -0.2. Let r = 341 + -341. Put v, 4, 3, r in ascending order.
v, r, 3, 4
Suppose 0 = -c + 2*l - 17 + 2, -2*l = -3*c - 25. Let y be ((-4)/38)/(-2)*(c + 3). Let r = 0.5 + 0. Put y, r, 4 in ascending order.
y, r, 4
Let k(v) = -v**2 + 13*v - 26. Let h be k(10). Let m(c) = c**3 - 3*c**2 - 3*c - 4. Let b be m(h). Put -13, 4, -3, b in decreasing order.
4, b, -3, -13
Suppose -7 = 2*a + f, -a - 3 = -0*a + f. Let r be -5 + 3 + (1 - -1). Put r, -3, a in descending order.
r, -3, a
Suppose 0*s + 3*s = -27. Let r be (s/18)/((-2)/4). Let h = 10 + -10. Sort -4, r, h.
-4, h, r
Let k = 128 - 71. Suppose 6*v + 3 - k = 0. Sort v, -0.3, 0, 0.2.
-0.3, 0, 0.2, v
Suppose -4*i = -d - i - 5, -3*d - 2*i = 4. Let w = -5470 + 5469. Put 5, 2, d, w in decreasing order.
5, 2, w, d
Suppose 5*x = n - 3, 2*x + 4*n = 4*x + 12. Let a be 1 + 1*(x + -1). Put 4, 0.2, a in descending order.
4, 0.2, a
Let v = 11003/19 - 579. Let s = 7.2 - 7. Put s, 3, 4/5, v in increasing order.
v, s, 4/5, 3
Let s = 64 - 64.3. Let l = -0.24 + 3.24. Put s, -1/7, l in ascending order.
s, -1/7, l
Let h be 11/66*12/(-15). Let a = 38.7 - 37. Let z = a - -0.3. Put z, -3, h in descending order.
z, h, -3
Let x = 18 + -15. Suppose -x*u + 29 = -2*u. Sort -2, u, -4.
-4, -2, u
Let r = -161/3 + 52. Put r, -3, 4, 0.2 in ascending order.
-3, r, 0.2, 4
Let p be ((-10)/(-4)*52/2405)/(-3). Let f = -343/555 - p. Let r = 0.1 - 0.1. Sort 0.3, f, r in ascending order.
f, r, 0.3
Let p = -10975312/155 - -70808. Let o = 2/31 + p. Suppose 5*n - 5 = 20. Put n, o, -0.5 in decreasing order.
n, o, -0.5
Let f be (-11)/(-77) + (-27)/(-7). Let l(n) = n**3 - 10*n**2 + 12*n - 22. Let r be l(9). Sort f, r, 3 in decreasing order.
r, f, 3
Let d = -255 - -261. Sort d, 0, -5 in increasing order.
-5, 0, d
Suppose -s = 5*p + 4, 0 - 8 = -s - 2*p. Let j be s/10 - (-6)/(-10). Sort 0, -1/6, j in decreasing order.
j, 0, -1/6
Suppose 3*j = -3*w + 54, 0 = -0*j + 3*j - 5*w - 46. Let v = 5518/7 - 788. Put 4, v, j in decreasing order.
j, 4, v
Let n = 0.016 + -84.016. Let w = -84.1 - n. Sort -0.14, w, -2.
-2, -0.14, w
Let t be 1/(-15) - 1/3. Let g = -2/2375 + -2371/4750. Put -1.8, t, g in descending or