 in descending order.
-2, o, -5
Suppose -k + 3*k + 5*o + 14 = 0, 0 = 2*k + 2*o + 26. Let m be 2 + (12 - (3 - 4)). Let w = k + m. Sort 1, w, -4.
-4, w, 1
Let o be (7/(-21)*4)/((-8)/12). Sort o, 147, 0.4.
0.4, o, 147
Suppose -11*v = -9*v. Put v, 2, -10 in ascending order.
-10, v, 2
Let k(f) = -f**3 - f**2 - f. Let o be k(0). Let g be (-15)/(-2)*18/5. Let b be (-6)/g + 210/(-27). Sort b, 1, o in descending order.
1, o, b
Suppose d - 2*d - 54 = -5*i, -3*i - 3*d = -18. Let f(k) = k**3 - 11*k**2 + 9*k + 12. Let h be f(i). Sort -4, h, -5, 1 in decreasing order.
h, 1, -4, -5
Let z = 16.2 - 21.2. Sort z, 1/4, -53 in increasing order.
-53, z, 1/4
Suppose -3*w + 10 = -u, -3*u - 10*w + 6*w = 4. Put -20, u, 1 in ascending order.
-20, u, 1
Let p(u) = -u**3 + 4*u**2 - 4*u - 2. Suppose 0 = -4*s - d + 8, d = 4*s + s - 19. Let i be p(s). Sort 15, -3, 0, i in decreasing order.
15, 0, -3, i
Let a be 1*5 - (-14 + 19). Let q(m) = -2*m**3 - m**2 - m. Let t be q(-1). Let p be ((-2)/(-8))/(2/t). Sort a, -0.2, p in increasing order.
-0.2, a, p
Let f = -5.37 + 5.87. Sort f, -17/2, 1, -2/7 in increasing order.
-17/2, -2/7, f, 1
Let f(n) = n**3 - 5*n**2 + 2*n - 6. Let b be f(4). Let m(l) = 2*l + 25. Let a be m(b). Sort -2, 7, a in decreasing order.
7, -2, a
Suppose 8*p = 4*p - 16, 0 = -4*s + p - 28. Suppose -25*f + 39 = -20*f - r, f + 6 = 14*r. Sort s, 1, f in decreasing order.
f, 1, s
Suppose 0*y - 4*y = -60. Let t be (6/(-4))/(y/40). Let m = -73 + 68. Put 1, t, m in descending order.
1, t, m
Let o(p) = p**3 + 8*p**2 - 11*p - 14. Let g be o(-9). Sort 3, 7, g, -1 in increasing order.
-1, 3, g, 7
Let s = 2.171 + -0.371. Sort s, -1/5, 0.1, -1/3 in decreasing order.
s, 0.1, -1/5, -1/3
Let k(z) = 15*z + 146. Let h be k(-10). Sort h, 9, 3, 5.
h, 3, 5, 9
Suppose 0 = 6*f - 7 + 1. Suppose 2*r - 12 = -3*d, -3*d + 11 = -r - f. Put -2, 4, r in decreasing order.
4, r, -2
Suppose -5*r + 13 = 13. Put 8, -2, r in descending order.
8, r, -2
Let m = -0.2 - -0.5. Suppose 23*i - 921 = -852. Put 0, i, m, 0.1 in ascending order.
0, 0.1, m, i
Let s(i) = -i - 10. Let c be s(-8). Let w = -141 + 139.86. Let u = 0.14 + w. Put 2/9, c, u in increasing order.
c, u, 2/9
Suppose -76 = -2*q + 144. Let a = q + -107. Let x = -9 - -5. Put -5, a, x in ascending order.
-5, x, a
Suppose -4*k + 30 = 2*k. Suppose -3*o = l - 8, 0 = k*o + l - 9 - 1. Put o, 3, -2 in increasing order.
-2, o, 3
Suppose 2*n = -5*q + 15 + 1, 3*q - n = 3. Let r(p) = -10*p + 2*p**q + 3*p**2 - p**2 - 5*p**2. Let o be r(-10). Sort 1, -4, o in ascending order.
-4, o, 1
Let l = 283 + -282. Let k(v) = 3*v - 4*v - 1 + 0. Let f be k(-5). Sort 2, l, f in decreasing order.
f, 2, l
Let c(v) = 3*v**2 - 13*v - 16. Let f(x) = x**2 - 4*x - 5. Let t(b) = 4*c(b) - 11*f(b). Let n be t(9). Suppose -7*w - 81 = -74. Sort w, 4, n.
w, n, 4
Let w = -60.04 - -60. Let g = w + -0.46. Sort 1/5, g, 2/7, -8 in ascending order.
-8, g, 1/5, 2/7
Let t = -2 - -6. Put -3, t, -2 in increasing order.
-3, -2, t
Suppose -352 = 7*s + 15*s. Put s, 4, 1, 2 in descending order.
4, 2, 1, s
Let r = 49/55 + -12/11. Let p = -47 + 48. Put -0.1, p, r in increasing order.
r, -0.1, p
Let w = -101 + 107. Suppose 0 = 4*g + 2*c + w, 5*g - 3*c + 45 = 2*c. Let k be ((-2)/(-6))/(3/(-2)). Put 1, g, k in increasing order.
g, k, 1
Let z = 483 + -469. Sort -10, z, -2.
-10, -2, z
Let v(f) = 2*f + 12. Let x be (2/(-3))/((-9)/(-108)). Let z be v(x). Let j be 1/z*(7 - 3). Sort -4, j, -2.
-4, -2, j
Let n(p) = -p + 12. Let v be n(16). Put v, -2, -50 in decreasing order.
-2, v, -50
Let a = 8134/45 - 1628/9. Let d(x) = x**3 - x**2 - x + 1. Let n be d(2). Suppose n*o - k = -2*k + 1, -3*o = 5*k - 17. Put 0.5, o, a in ascending order.
o, a, 0.5
Let c = 292 + -289. Let z = 0.2 - 0.7. Sort c, 5, z.
z, c, 5
Let n = -2.1 + 2. Let r = 0.475 - 79.775. Let o = r - -79. Put o, -1/2, n in increasing order.
-1/2, o, n
Let o = -120 - -120. Let z = -0.05 + -0.55. Let s = z + 0.4. Sort o, s, -4/9.
-4/9, s, o
Suppose -z + 48 = 2*z. Suppose 0 = -3*c - 13 + 22. Put z, 5, c, -3 in decreasing order.
z, 5, c, -3
Let f = 2530 + -2530.2. Let s = 6 - 13. Sort f, -1/2, s in descending order.
f, -1/2, s
Let c(a) = -a**2 + a. Let q be c(1). Let t be 4/22 - (15 + (-3094)/286). Sort -2, q, 3, t in ascending order.
t, -2, q, 3
Suppose c = -0*v + 4*v - 15, 2*c + v = 15. Suppose -7 = 2*d + 2*k + 1, 5*k - 10 = c*d. Suppose 4*s = 3*s + 4. Sort -5, d, s.
-5, d, s
Let r be (2/4)/((-1)/4). Suppose -3*s = -8*s - 15. Suppose 5*k + 22 = 2*w, 6*w = -k + 2*w. Sort s, k, r in ascending order.
k, s, r
Suppose 0 = 4*r + 12*r + 48. Sort 2/9, 1, r, -4 in decreasing order.
1, 2/9, r, -4
Suppose -32*u = -11*u - 21. Sort 11, u, -3, 2 in increasing order.
-3, u, 2, 11
Let t = 3.49 + -3.79. Sort t, -0.5, 13, -2/13 in ascending order.
-0.5, t, -2/13, 13
Let l = 0.2 + 0.03. Let p = l + -0.09. Let o = 4.86 + p. Put -4, o, 3 in increasing order.
-4, 3, o
Let b(m) = 4*m**3 - m**2 - 116*m + 116. Let k be b(1). Let p(a) = -a**3 - a**2 + 2. Let z be p(0). Sort z, -4, k, -5 in ascending order.
-5, -4, z, k
Let j = -3/416 - 407/1248. Sort 0.11, 3, j in decreasing order.
3, 0.11, j
Let k be (-34)/153 - (-8)/(-126). Put 1/7, k, -60 in decreasing order.
1/7, k, -60
Let d be (-2)/3 - 273/117. Let c = -56 + 57. Sort c, d, 3, 5 in increasing order.
d, c, 3, 5
Suppose 0 = -4*a - 7*p + 4*p - 40, 5*a + 61 = -p. Sort 1, a, -3, -4 in ascending order.
a, -4, -3, 1
Let q = 207 + -1243/6. Put 0.1, q, -1, -2 in decreasing order.
0.1, q, -1, -2
Let n = -1130 - -1126. Let k = 0.5 + -0.3. Sort 0.5, k, -7, n.
-7, n, k, 0.5
Let w = 2.86 + -3.36. Let o = 5 - 3. Sort o, w, 13.
w, o, 13
Let w(b) = -137*b + 544. Let z be w(4). Let v(u) = u**3 - 5. Let r be v(0). Sort 10, z, r.
r, z, 10
Suppose -t + 63 = 60. Put -78, 0, t, 4 in descending order.
4, t, 0, -78
Let z = 10 + -20. Let u = -10 - z. Suppose -q = 1 - u. Sort 4, q, -2 in descending order.
4, q, -2
Let h be 34/6 + (-2)/3. Let g be (-110 + 109)*3/2. Put h, 1/4, 0.5, g in ascending order.
g, 1/4, 0.5, h
Let q(t) = -7*t**2 - 10*t + 9. Let i be q(1). Put i, 1, 0.5 in decreasing order.
1, 0.5, i
Let l be 10/((-1)/8*1). Let t be (6/(-20))/(12*8/l). Let j = -15/2 - -7. Put t, j, -3/5 in descending order.
t, j, -3/5
Let r = -313/714 - -1/102. Let o = 886 + -4432/5. Put 4, r, o in decreasing order.
4, o, r
Let f be (-14)/5 + (-156)/(-195). Suppose 0 = 4*w - 11 + 15. Sort 2, w, f, 5 in decreasing order.
5, 2, w, f
Let l be (8/6 - 1)*-3. Let x(q) = 2*q**2 + 17*q + 1. Let v = 4 - 12. Let y be x(v). Sort -4, l, y.
y, -4, l
Let h = -317 + 311. Put h, 0, -1 in decreasing order.
0, -1, h
Let q = 96 + -96. Sort 1, 2, 46, q in increasing order.
q, 1, 2, 46
Suppose 7*c = -8*c + 30. Let j(u) = u + 5. Let a be j(0). Let l be (-8)/(-20) + 33/a. Sort c, l, 0 in increasing order.
0, c, l
Suppose 0 = 3*k - 2*k. Suppose 15*a - 10*a - 5 = k. Suppose 0 = 2*j - 0 - 6, -4 = 4*y - 4*j. Sort y, -5, a in increasing order.
-5, a, y
Suppose x + 5*t = -4*x + 40, t + 10 = 5*x. Let i = 46 + -46.57. Let o = i + -3.43. Put o, x, -3 in descending order.
x, -3, o
Let r = -946 + 1052. Put 0, r, -2 in descending order.
r, 0, -2
Let a be 1 - (-4 - (1 + -6)). Suppose 0 = 4*r - a*g - g + 7, -g = 2*r + 5. Sort r, -5, -17 in increasing order.
-17, -5, r
Let p be (-2)/(-16) - 995/(-40). Suppose 4*l - 36 = 64. Let b = p - l. Put -5, -1, b in decreasing order.
b, -1, -5
Suppose 5*w = 3*u + 29, -3*u + 5*w = -4*u + 17. Let m be 231/(-63) + 1/u. Put 3, m, -33 in ascending order.
-33, m, 3
Let v = -3.856 - 0.344. Put 0, v, 0.5, 2 in increasing order.
v, 0, 0.5, 2
Let i = -27/7 + 24/7. Let k(d) be the first derivative of d**3/3 + 11*d**2/2 + 25*d + 26. Let u be k(-8). Put i, u, 2/5 in increasing order.
i, 2/5, u
Let d = 357 - 1073/3. Sort -0.2, d, -4, 0 in increasing order.
-4, d, -0.2, 0
Suppose 5*j + 32 = 57. Suppose -j*g - u + 40 = -6*u, 4*u = -g - 2. Sort 3, 2, g in ascending order.
2, 3, g
Let x be (-3)/1 - (-2)/(-2). Let p(v) = 3*v**2 - 12*v + 14. Let s be p(7). Let t = -77 + s. Put -5, t, x in increasing order.
-5, x, t
Let u = -3154 + 3159. Suppose 4*c + 1 = 5*s, 2*c + 5 = 4*s + 3*c. Put s, u, 20/3 in descending order.
20/3, u, s
Let v = 7 + -8. Let y = -1.08 - v. Let c = 4.92 - y. Put c, 0.2, -0.5 in decreasing order.
c, 0.2, -0.5
Let c = 0.04 + -0.1. Let s be (-1)/(-4) - (-