n descending order.
-2/11, k, -663
Let c = 212 - 208. Sort -21, 3, c in increasing order.
-21, 3, c
Let c = -1475.4 - -1475. Sort c, 1, -2/33 in increasing order.
c, -2/33, 1
Let g = 313 - 172. Let b = g + -1553/11. Put -2/7, 0.5, b in decreasing order.
0.5, b, -2/7
Let b be (3 - 25/10)/((-3)/(-9)). Put -29, -2, b in ascending order.
-29, -2, b
Suppose 5*j + 6 + 4 = 0. Suppose 0 = 5*l - 203 - 67. Suppose 55*p = l*p + 5. Sort p, 4, j in descending order.
p, 4, j
Let a(v) = -v**2 - 4*v + 1. Let y be a(1). Let z(u) = u**3 - 7*u**2 + 5*u - 7. Let g be z(6). Let w = g - -11. Sort -5, w, y in descending order.
w, y, -5
Let r = 2601/5 - 518. Let j = -197/85 + r. Put 0.3, j, 1, -2 in increasing order.
-2, j, 0.3, 1
Suppose 4*o - 5*t + 16 = 0, 2*o - o = -t - 4. Let q be 5 + o + (1 - 2). Sort q, 5, -2, 2 in ascending order.
-2, q, 2, 5
Let s = 3.5 + 15.5. Let t = -57 - -38.5. Let n = t + s. Sort 0.3, -0.3, n.
-0.3, 0.3, n
Let p = -56.59 - -57. Let x = -0.31 + p. Suppose -4*j + 7*m = 4*m - 22, 4*j = -2*m + 12. Put x, j, 2 in increasing order.
x, 2, j
Let l = 3 - 6. Suppose 0 = -7*y - 26 - 9. Suppose 0 = -3*t - t. Sort l, y, t.
y, l, t
Let m = 59 + -235/4. Let t = -181/1659 - 8/237. Let k = 3 - 2.5. Sort k, m, t in increasing order.
t, m, k
Let n = 1 + -1. Let y = 3 - 1. Suppose y*s - 2 = -12. Put s, n, 4 in decreasing order.
4, n, s
Let z = -4.2 + 4. Let t = 65 + -53. Put z, t, 1/6, 0.5 in decreasing order.
t, 0.5, 1/6, z
Suppose 4*z = -4*m + 24, 0 = -3*z + 2*m + 1 - 8. Let p be (-1*z + 0)*1. Suppose 236 - 491 = -26*b - 229. Put b, p, 3 in decreasing order.
3, b, p
Let x be (3 - -15)/((24/(-4))/(-3)). Let n be 1/(-3) - x/(-27). Put n, 34, 1 in decreasing order.
34, 1, n
Let p = 0.245 + 0.055. Let f = 0.1 + -0.14. Let t = f + -3.96. Put p, -0.3, t in increasing order.
t, -0.3, p
Let k = -3 - -2.5. Let o(v) = 2*v**3 - 22*v**2 + v - 12. Let r be o(11). Sort r, 5, 1/2, k.
r, k, 1/2, 5
Let a = 1/39 - 190/2847. Let h = 225/146 + a. Put h, -3, -4 in decreasing order.
h, -3, -4
Let p be (-1)/(-2)*(1 + 3). Suppose 6*x - x + 5*j = -20, -3*j - 22 = 5*x. Put p, x, 8 in descending order.
8, p, x
Let b(c) = 2*c**3 - 3*c**2 + c - 2. Let r be b(2). Let x(g) = -g**3 + 7*g**2 - 3*g - 10. Let w be x(6). Let n be (4/5)/(w/(-20)). Sort n, r, 2.
n, 2, r
Let l = 5249/517 + 168/47. Let v = 1864/143 - l. Let f = v + 57/26. Sort 2/7, -2/7, f in increasing order.
-2/7, 2/7, f
Suppose -4*k - 4*z = 24, 2*z = -0*k + k + 3. Sort -13, -0.06, k, 4 in decreasing order.
4, -0.06, k, -13
Suppose 3*m = 3*g + g - 15, 4*g + 2*m = 10. Let o(j) = j**2 - 5*j + 6. Let i be o(g). Put i, 5, -8 in descending order.
5, i, -8
Let u be 12/(-5 + 1) + (-27 - 7). Sort -3, -0.3, -0.5, u in ascending order.
u, -3, -0.5, -0.3
Let a = 42 + -208/5. Sort 0.3, -11, -4, a in increasing order.
-11, -4, 0.3, a
Let v(a) = -a**2 - 10*a - 29. Let l be v(-11). Put -3, l, -4 in descending order.
-3, -4, l
Let y(r) = -r**3 - 20*r**2 + 17*r - 80. Let i be y(-21). Suppose 5*u + 9 = 2*u. Put 0, -1, u, i in ascending order.
u, -1, 0, i
Let m = 68 - 65. Let x = 0.08 - -4.92. Put -4, 1, x, m in descending order.
x, m, 1, -4
Let f = -47 + 51. Put -0.04, f, -0.23 in increasing order.
-0.23, -0.04, f
Suppose -3*j + 3*o = 36, -21 = 4*j + o + 17. Put -2, 4, 3, j in decreasing order.
4, 3, -2, j
Let d be (-1 - 69/6)*2/(-1). Let c = 6 + -1. Sort -1, -3, d, c.
-3, -1, c, d
Let d be 3/(-4) + (-12 - -27 - 14). Let z be (1 - 0) + (-4)/2. Let p be (1 + -4)*z/6. Sort d, p, -2.
-2, d, p
Let f be (0/(-2))/(-3 + 1). Let i(r) = -r**3 + 31*r**2 - 29*r - 31. Let s be i(30). Put -3, s, -2/5, f in decreasing order.
f, -2/5, s, -3
Let i(g) = -g + 1. Let s(r) = -6*r - 3. Let y(j) = 5*i(j) - s(j). Let q be y(-4). Sort 5, q, 2 in descending order.
5, q, 2
Let k(g) = 2*g**2 - 20*g + 13. Let f(y) = 12*y**2 - 3*y. Let x be f(1). Let w be k(x). Put w, 2, 5 in increasing order.
w, 2, 5
Let d = -1092 + 7663/7. Let c = 107/42 - d. Put 0.3, c, -9, 5 in decreasing order.
5, 0.3, c, -9
Let c be (6/(-4))/(2 + (10/(-16) - 1)). Let k = -2 - -4. Sort k, c, 4 in decreasing order.
4, k, c
Let a(b) = b + 1. Let g be ((-4)/10)/((-2)/20). Let f be a(g). Let s(t) = -t**3 + 7*t + 1. Let c be s(0). Sort c, f, 0.
0, c, f
Let m = 109 - 109. Suppose 0 = -3*x - x - 12. Sort m, x, 6 in increasing order.
x, m, 6
Let o = 1971 - 1966. Put 2, 4, -6, o in decreasing order.
o, 4, 2, -6
Let b(s) = s**3 - 6*s**2 + 4*s + 5. Let d be b(4). Suppose -57 = -26*h + 27*h. Let c = -52 - h. Sort -0.3, d, c in ascending order.
d, -0.3, c
Let l = 87 - 86.8. Let n be (-1)/(-9)*6/1. Sort -27, -0.2, l, n.
-27, -0.2, l, n
Suppose 3 - 5 = -l. Suppose 3*y = -5*s + 19, -4*y + s + 4*s - 33 = 0. Let i = -68 - -72. Put i, l, y in ascending order.
y, l, i
Suppose -2*a - 3*c = 17, 2*c + 5 = -4*a - 9. Suppose -3*q + 4 = -d + 7, 3*q = 2*d. Put d, a, 1 in decreasing order.
1, a, d
Let q = 3.61 + -53.53. Let x = q + 50. Sort -3, x, 4, 0.5.
-3, x, 0.5, 4
Let n = -1107 - -1102. Put n, -3, 2, -4 in increasing order.
n, -4, -3, 2
Let v = 153.5 + -154. Put 1, 3/2, v, 0.3 in decreasing order.
3/2, 1, 0.3, v
Let h(w) = 13*w**2 - 178*w - 43. Let r be h(14). Put r, -15, -2, 4 in descending order.
r, 4, -2, -15
Let c be (-982)/(-70) + 0 + -1. Let j be 4 + 365/25 + -4 + -1. Let f = c - j. Sort 5, 0, f in decreasing order.
5, 0, f
Let g = 0 - -3. Suppose 6 = -2*o - 5*m, 0 = -3*o + g*m - 5*m + 2. Suppose o + 2 = -h. Sort -2, h, 5 in descending order.
5, -2, h
Let o = 0.3 - 2.3. Let b = 1.8 + o. Let p = 0.05 + -0.24. Sort p, -2, b in descending order.
p, b, -2
Let u = 6.8 + -7.8. Let w = 4 - 6. Sort u, 1, w in ascending order.
w, u, 1
Let c(s) = 2*s + 2. Let j be c(5). Let b be 1 - (j - (1 - 1)). Let q be 4/20 - b/20. Put q, -4/3, 3 in increasing order.
-4/3, q, 3
Suppose -3*s - 12 + 18 = 0. Put 1, 355, s in increasing order.
1, s, 355
Let y = 18.629 - -0.271. Let w = y - 19. Put w, -2/11, -1 in decreasing order.
w, -2/11, -1
Let d be 12/24*(1 - (-2 - -3)). Let q be 6/27 - 136/(-36). Sort q, 2, d.
d, 2, q
Suppose 0 = -3*m + 2*v + 3*v - 11, -4*v + 4 = 0. Suppose -90*p + 11 - 60 = 41. Sort 3, p, m in ascending order.
m, p, 3
Suppose -39 = -4*v - 23. Put v, -9, 1, 0 in descending order.
v, 1, 0, -9
Let s = -1.81 + 1.41. Sort 0, -597, s in decreasing order.
0, s, -597
Let k = 11.4 + -8.4. Let h be (2/20)/(2*(-3)/84). Sort h, 1, k in descending order.
k, 1, h
Let t = 139 - 136. Let w be (-4)/(-6) + 77/(-21). Sort w, t, -5, 4 in decreasing order.
4, t, w, -5
Suppose 5*g - 2*z = -1, -2*g + 2 + 0 = -2*z. Let a = 25 + -56. Let b = -36 - a. Sort b, g, 1.
b, g, 1
Let r be 255/238 + (-1)/2. Sort r, -0.337, 1/7.
-0.337, 1/7, r
Let j = -8 - -9. Let h be 8/(-24)*(-29 - j). Let x = -12 + h. Put 5, x, -1 in ascending order.
x, -1, 5
Let m(f) be the third derivative of f**6/120 - f**5/10 + f**4/4 - 5*f**3/6 + 13*f**2. Let w be m(5). Put 3, w, 4, -1 in decreasing order.
4, 3, w, -1
Let o = -1135 + 1131. Put o, -1, 1, -18 in decreasing order.
1, -1, o, -18
Let g = 2.05 - 5.05. Put -0.4, g, 0.032 in decreasing order.
0.032, -0.4, g
Let j = 35 + -36. Let v be 4/8*j - (-2 - 0). Sort v, 8, -2 in increasing order.
-2, v, 8
Let w(h) = -h**3 - 5*h**2 - 4*h + 4. Suppose -2*i - 5 = -i. Let g = 1 + i. Let c be w(g). Sort 0, c, -2 in ascending order.
-2, 0, c
Suppose -v + a + 9 = -a, a + 5 = v. Let r be v/4 + 3/(-12). Let p(c) = -c**3 - 5*c**2 - 5*c. Let b be p(-3). Sort r, 4, b.
b, r, 4
Let v = 1969 - 1969.3. Sort 4/23, -0.2, v in decreasing order.
4/23, -0.2, v
Suppose -4*h + 2*d + 30 = 0, 5*d = -5*h - 0*d + 30. Let q be ((-6)/10)/(342/345 + -1). Let v = q - 72. Put h, v, -5 in ascending order.
-5, v, h
Let m(w) = -w + 19. Let p be m(37). Let t(c) = 2*c. Let a be t(7). Let k = a + p. Put k, 1, 6 in decreasing order.
6, 1, k
Let t be 2 - 6/96*20. Sort 1, t, -471 in descending order.
1, t, -471
Let u(b) = -2*b**2 - 4*b + 7. Let o(z) = -4*z**2 - 8*z + 15. Let a(t) = 6*o(t) - 13*u(t). Let n be a(-3). Let i = n + -9. Sort i, -1, 1 in increasing order.
i, -1, 1
Let b be (63/(-2))/(-7) + (-4)/(-8). Sort 1, -4, -3, b in ascending order.
-4, -3, 1, b
Let x(i) = -i**3 - 14*i**2 - 51*i - 19. Let u be x(-6). Sort -2, 168, u in decreasing order.
168, u, -2
Let g = -2 - -4. Let k be 7 + (1 - (-1 - -3)). Sort -1/6, g, k in decreasing order.
k, g, -1/6
Suppose -3*r