scending order.
21, m, -1
Let b(q) = q**3 - 4*q**2 - 10*q - 10. Let r be b(6). Let h(u) = u**2 - 10*u + 11. Let v = 12 - 4. Let t be h(v). Put 5, r, t in descending order.
5, r, t
Let v = 3 + -2.5. Let i = 49 + -77. Let w be 4/i + 57/105. Put w, v, 0 in descending order.
v, w, 0
Suppose -4*t - 5 = 5*l - 3, 0 = -2*l - 4. Put -5, t, -65 in descending order.
t, -5, -65
Let r = -172 + 171. Sort 2/23, 0.2, -2, r.
-2, r, 2/23, 0.2
Suppose -r = -3*r + 2*v - 4, 4*r + 4*v + 8 = 0. Let s(l) = -l - 1. Let z be s(-2). Sort r, z, -6 in ascending order.
-6, r, z
Let r = 1119.6 - 1120. Let i = 0.02 + -3.02. Sort r, -1, i in increasing order.
i, -1, r
Let m be (-11)/(-594)*9*9. Let p = 7 - 7.5. Put 0.5, m, p, 1/6 in descending order.
m, 0.5, 1/6, p
Let m = -70.8 - -71. Let v = m - 0.23. Sort -3, 0.4, v in descending order.
0.4, v, -3
Suppose 15 = 7*c - 13. Suppose -7 = c*i + 5. Put 11, 2, i in ascending order.
i, 2, 11
Let v(t) = 14*t**2 - 42*t + 43. Let k be v(1). Put k, -1, -3 in ascending order.
-3, -1, k
Let j be (3/1)/(1 + (-56)/32). Let n = 32 + -28. Put j, n, 5 in descending order.
5, n, j
Let a be 1/(-3) - 104/(-24). Suppose -2*k = a*j - 36, -3*k - 3*j - 22 = -5*k. Suppose -5*p = 4*s - k, 7 = 5*s + 2*p - 2. Sort s, -2, -1 in descending order.
s, -1, -2
Let q = -623 - -620. Sort -609, q, 1 in decreasing order.
1, q, -609
Let t(r) = -r**3 - 30*r**2 + 33*r + 58. Let w be t(-31). Sort 2, w, -110, 1 in ascending order.
-110, w, 1, 2
Let c(w) = 3*w**3 - 2*w + 1. Let s be c(1). Suppose -s*b = -0*b. Let i = 1 + -0.7. Sort i, -0.3, b in decreasing order.
i, b, -0.3
Suppose -4*o = -3*o - 2. Let n(f) = f**3 + 13*f**2 - 13*f + 19. Let l be n(-14). Suppose -s = -4*m - 4*s - 20, l*m + 4*s + 25 = 0. Sort o, -1, m.
m, -1, o
Suppose 42 = -591*c + 589*c. Sort 3, 14, c in ascending order.
c, 3, 14
Let v = 16.3 - 18.3. Put 0.111, 0.3, v in decreasing order.
0.3, 0.111, v
Let t be ((-8)/(-7))/(4/14). Suppose t*y + 8 - 52 = 0. Sort y, -5, 4.
-5, 4, y
Let x be (8/84)/((-12)/18). Put x, 5, 0 in descending order.
5, 0, x
Suppose -2*m = 3*k - 38, 5*k + 6*m - 9*m - 57 = 0. Put -1, k, -3 in increasing order.
-3, -1, k
Suppose 34 = -10*z + 124. Sort 0, z, -4.
-4, 0, z
Let i be 2/(-5) - 69/15. Put -6, 1, i, 4 in decreasing order.
4, 1, i, -6
Let o be 1/(-2 + (-14)/(-6)). Suppose -u + 3 = 5*l + 1, 3*l + 5*u - 10 = 0. Let q = -2 + l. Sort -1, o, q in ascending order.
q, -1, o
Let y be ((0 + -1)/2)/(3/318). Let x = y - -48. Sort x, -4, -1, -54 in increasing order.
-54, x, -4, -1
Suppose -4*m - 3*m = 4*m. Sort -5, 1, m, 4.
-5, m, 1, 4
Let r = -48.1 - 4.9. Let a = -50 - r. Sort a, -4, -3, -5.
-5, -4, -3, a
Suppose 2*g = -2*m - 16, 2*m + 4 = -0*g + g. Suppose 3*u = 4 - 1. Put g, 2, u in ascending order.
g, u, 2
Let w be (-5 - (-6)/(-6))/(-1). Suppose -12*b = -w*b + 6. Let n = -11 + 19. Sort -4, b, n.
-4, b, n
Suppose 3*l - 12 = 0, 0 = -10*z + 11*z + 4*l - 14. Put 0, 11, -3, z in increasing order.
-3, z, 0, 11
Let v = -28 - -27.9. Let w = -17 + 10. Let f = -8 - w. Sort f, 0, v in decreasing order.
0, v, f
Let w(d) = 2*d - 3. Let s be w(2). Let o(i) = -i + 6. Let a be o(4). Let m be ((a - 2)/2)/(-2). Put s, m, 5 in increasing order.
m, s, 5
Let i = -107.89 - -108. Sort 2, i, 2/3 in ascending order.
i, 2/3, 2
Let b be (1 - 2) + 2 - -55. Let n = b - 63. Put -4, n, 4 in increasing order.
n, -4, 4
Let k(n) = 8*n + 34. Let d be k(-16). Put d, -2, 0, 2 in descending order.
2, 0, -2, d
Let k = -1200 + 1208. Sort 5, 10, 0, k in descending order.
10, k, 5, 0
Suppose 22*l - 456 = -566. Let f(o) = o**2 - 2*o + 2 + 7*o - 4*o. Let i be f(-2). Sort -2, i, l.
l, -2, i
Let w(y) = 201*y + 399. Let q be w(-2). Let z = -2 + 3. Put -5, q, z in descending order.
z, q, -5
Let o be (3/(-9))/(1/3). Suppose -5*k + 0 + 5 = -5*m, 3*k = -5*m + 43. Let v be -6 - (k/(-14) + (-4)/7). Put 1, o, v in decreasing order.
1, o, v
Let c = 11 - 10. Let n(o) = -2*o + 4. Let d(t) = -t**2 - t - 1. Let s(p) = d(p) + n(p). Let l be s(-3). Sort l, c, -5.
-5, c, l
Let h(f) be the first derivative of 4/3*f**3 - f + 1 + 1/4*f**4 + 1/2*f**2. Let c be h(-4). Sort -1/8, c, -1.
c, -1, -1/8
Let w = -19 + 39. Let q be 1/(w/(-8) + 3). Suppose -2*b + 2 = -5*f, -5*f + q*b - 4 = -2*b. Put 8, f, -5 in ascending order.
-5, f, 8
Suppose -5*x + 4*l = -x - 60, -2*x + 3*l + 30 = 0. Suppose 4*j - 5 = x. Put -2, j, 4 in decreasing order.
j, 4, -2
Let w be (-1 - (-6)/4)*8. Let x(y) = -6*y + 5*y + y + w + y. Let m be x(-4). Put m, -1, 2 in descending order.
2, m, -1
Suppose 5*k + 4 = 2*p, 0 = k + 5*p + 4 + 13. Put k, -154, 0, 1 in descending order.
1, 0, k, -154
Let t(w) = -w**3 - 2*w - 1. Let p be t(2). Let l = 11 + p. Put 0, -11, 2, l in decreasing order.
2, 0, l, -11
Let m = 7 + -9. Let o be (6 - 15) + (-1 - m). Sort -2, o, -5.
o, -5, -2
Suppose -2*c + 5*m + 1 = 2*c, c - 7 = -m. Let q = 152 - 150. Sort q, c, 0 in ascending order.
0, q, c
Let j be (54/12)/((-6)/8). Let d = 13.4 - 13.4. Put j, -4/5, d in ascending order.
j, -4/5, d
Let z = 1167.18 - 1020.2. Let a = z - 152. Let h = -0.02 - a. Put -1/7, h, -1/4 in increasing order.
-1/4, -1/7, h
Let z = -4 + 16. Suppose 0 = d - 16 - z. Suppose 4*j = 4*k - d, -4*k + 15 + 5 = 0. Sort 1, j, -3.
-3, j, 1
Suppose 0 = 3*m + 5*m - 32. Let n(y) = y**3 - 3*y**2 - 2*y - 4. Let z be n(m). Put 0, -12, z, -4 in increasing order.
-12, -4, 0, z
Suppose 6 = x + 117. Put 0, -2, x in descending order.
0, -2, x
Suppose 0 = -2*x + 5*b - 4*b - 2, -1 = -5*x + 4*b. Suppose 0 = 246*l - 7 + 144 + 1093. Let r = 4 + -2. Sort x, r, l in decreasing order.
r, x, l
Let o(z) = -z - 3. Suppose 3*t + 7 = -5. Let c be o(t). Let x(p) = -p**2 - p + 2. Let k be x(-3). Sort c, k, 2.
k, c, 2
Let q = 17 + 17. Let i = 31 - q. Sort 1, 2, 4, i in decreasing order.
4, 2, 1, i
Let p(f) = f**3 - 3*f**2 + 2. Let t be p(2). Suppose 4*v = 24 - 8. Suppose -o - 2*b - 13 = 0, -v*b - 9 = o - 3*b. Put t, o, 1 in decreasing order.
1, t, o
Let s = 0.1263 - 2.1263. Sort 1, 3, s, -0.56 in descending order.
3, 1, -0.56, s
Let c = -30 + 30.6. Let l = c - 1.6. Let x = -4 - l. Sort 1/2, x, -2.
x, -2, 1/2
Suppose 5*j - 13 = l, 7*l - 8 = -j + 9*l. Suppose -j*x + 12 = 4*x. Let d = 1 - 1. Put x, d, -1 in descending order.
x, d, -1
Let n be (-225)/27 + 10 + (-2)/3. Sort n, -3, 44 in ascending order.
-3, n, 44
Let i be -17*(-14)/(-49) + 3/(-21). Sort i, 6/5, -3/4, 0.17 in descending order.
6/5, 0.17, -3/4, i
Let u(p) = 6*p + 55. Let c be u(-9). Put c, -3/2, 1/6 in decreasing order.
c, 1/6, -3/2
Let b = -0.4 - -1.4. Let p = -1204 + 1204.1. Sort b, p, 0.2 in ascending order.
p, 0.2, b
Let h = 60.98 - 61. Let k = 0.86 + 0.14. Put -0.5, k, h in decreasing order.
k, h, -0.5
Let l be (18/(-8))/(-7 - 87/(-12)). Put l, -3, 0 in decreasing order.
0, -3, l
Suppose 6*v = 8*v + 8. Let c be v - -1 - (-26)/8. Let d = -1 - -6. Put -2/13, d, c in decreasing order.
d, c, -2/13
Let t = 137/88 - 11/8. Let l = 10 + -12.7. Let c = l - -2.8. Put t, c, -0.4 in decreasing order.
t, c, -0.4
Let y(p) = -3*p - 48. Let f be y(-16). Let d = -52 - -58. Put -4, d, f in descending order.
d, f, -4
Let q = -1756/99 + 158/9. Put 4, -1/29, q in decreasing order.
4, -1/29, q
Suppose -2*a - 26 = -d, -26 = 2*d - 3*d + 4*a. Let c = 14 - d. Let t = 7 + c. Sort t, 2, -2 in descending order.
2, -2, t
Let r = -1082 + 1081. Put r, 0.4, 7 in decreasing order.
7, 0.4, r
Suppose -10*p - 28 = -3*p. Put -2, p, 3 in ascending order.
p, -2, 3
Let t(w) = -w + 52. Let s be t(10). Sort 4, s, 14 in descending order.
s, 14, 4
Let y(c) = 5*c + 10. Let i be y(-3). Put 3, -3, 0, i in increasing order.
i, -3, 0, 3
Let v be (-490)/56 + 2/(-8). Let a = -62 + 63. Sort 5, a, v in descending order.
5, a, v
Let v = 90 + -93. Suppose -2*t - 18 = -4*d, 0 = 5*t - 3*d + d + 5. Put t, v, 8 in increasing order.
v, t, 8
Let q be 54/(-2)*1/(-1). Let r = q - 31. Let c = 4/43 + -71/301. Sort c, r, -1/5.
r, -1/5, c
Let u = -15.24 - 0.76. Let z = u + 16.08. Put z, 3, 2 in descending order.
3, 2, z
Let u be (-7 + 0)/7*(-1 - -2). Sort 1, -3, -27, u in descending order.
1, u, -3, -27
Let o = 4.56 - 4.16. Sort o, 0, -1.7 in decreasing order.
o, 0, -1.7
Let g = 216 + -215. Sort g, 5, 3, -91.
-91, g, 3, 5
Let l(k) = -2*k**3 - k**2 - k + 2. Let g be l(0). Let o = g + -1. Let m be 2/(-5) - 2/(-5). Sort -2, m, o in ascending order.
-2, m, o
Let g be -3 +