Let n be c(4). Sort 2, 0, n, -1 in increasing order.
n, -1, 0, 2
Suppose -5*x + 9 = 2*r + 30, 2*r = -3*x - 11. Put r, -1, 5 in decreasing order.
5, r, -1
Let g be ((-15)/4)/(3/(-12)). Suppose 0*y = 5*y - g. Sort y, -3, 2.
-3, 2, y
Suppose 0*p - 8 = p - 5*m, 2*m - 12 = -4*p. Suppose 17 = p*i - 3. Suppose 5*o = 2*n + 7 + i, 5*n + 3*o - 4 = 0. Sort n, 4, 0.
n, 0, 4
Let n = 2.7 - -1.3. Sort 0.2, n, -15 in descending order.
n, 0.2, -15
Let j = -139 - -142. Put j, -8, -2 in increasing order.
-8, -2, j
Let t = -11.5 - -12. Put 3, 0.07, t, -1/5 in increasing order.
-1/5, 0.07, t, 3
Let u(k) = k**2 - 3*k + 1. Let h be u(4). Let n be -1*(2 - 2 - 1). Sort h, n, -1 in decreasing order.
h, n, -1
Suppose -u - 4*y = 1, -4*y - 11 = 2*u - 5*y. Put u, -7, 2 in decreasing order.
2, u, -7
Let k = 55.2 + -55. Put k, 2, -2/13 in descending order.
2, k, -2/13
Let w = -11 + 12. Sort 5, w, -15.
-15, w, 5
Suppose -4*x - 66 = -5*x. Let a be 4/(-22) - 10/x. Let u be (-10)/3 - (-4)/12. Sort a, 4, u in descending order.
4, a, u
Let f(l) = -l**2 + 7*l - 9. Let d be f(2). Put 0, -6, d, 3 in descending order.
3, d, 0, -6
Suppose 4*b - 8 = 4*r, -2*b - 2*r + 16 = -0*b. Sort b, 4, -3 in decreasing order.
b, 4, -3
Let v = -12 - -17. Put 0.4, -0.03, v, -4/7 in descending order.
v, 0.4, -0.03, -4/7
Suppose 9 = -3*l - 6. Sort 10, 0, l in increasing order.
l, 0, 10
Suppose -4*d = -2*d - 10. Suppose -2*q + d*q - 2*y + 1 = 0, -27 = -4*q - 3*y. Suppose -5*n = -4*n - q. Sort n, 2, -2 in descending order.
n, 2, -2
Let f(z) = -3*z**3 + 2*z**2 + z. Let h be f(-1). Let g = 11 - 16. Put -2, h, g in descending order.
h, -2, g
Let f = -1 + 1.3. Sort 0.05, f, -0.5.
-0.5, 0.05, f
Let s be 1 - -1 - (-8)/(32/(-12)). Put s, 10, -4, 1/5 in ascending order.
-4, s, 1/5, 10
Let d = 150 - 446/3. Let l = 3 - 3.4. Let y = 0.08 - 1.08. Put y, l, d in descending order.
d, l, y
Let r be 84/(-16) + 3 - 2/(-1). Sort 0.1, -7.4, r in increasing order.
-7.4, r, 0.1
Let y(u) = -4*u**3 + 1. Let g be y(1). Let l = -1 - 4. Sort l, -4, g in descending order.
g, -4, l
Let s(d) = 0 + d**3 + 4*d**2 + 0 + d. Let b be 5/10*2 - 5. Let z be s(b). Put z, 5, 2 in descending order.
5, 2, z
Let n be (2/4)/(6/(-24)). Let j be -5 - n - 0/4. Sort -5, j, 2 in ascending order.
-5, j, 2
Suppose -2*x - x = -12. Let i be 6 + 3 - 0 - (-1 - -4). Suppose -2*m + x = -i. Sort m, -1, 4 in decreasing order.
m, 4, -1
Let g be 4/(-1)*(-6)/8. Sort g, 1, 2 in decreasing order.
g, 2, 1
Let o(n) be the third derivative of -n**5/60 + 7*n**4/24 + n**3/6 + n**2. Let k be o(7). Suppose -2*u - 3*u = -15. Sort k, u, 5 in descending order.
5, u, k
Let h(r) = -r - 15. Let j be h(-14). Sort j, 0, -3 in decreasing order.
0, j, -3
Suppose i - 3 = -1. Let m be (-4 - -3)/((-2)/(-4)). Put i, -1, m in ascending order.
m, -1, i
Let m = -2 + 1. Let h = m + 1.1. Let v be (-36)/24*(-2)/(-9). Sort v, h, -4 in decreasing order.
h, v, -4
Suppose -2*a - 105 = -5*g + 2*a, 2*g - 42 = a. Suppose g = -b + 5. Let t be (-1 - b/18)*-6. Put t, 0, 4/3 in ascending order.
0, t, 4/3
Let g = 82 + -493/6. Put 0.5, g, 0.4 in decreasing order.
0.5, 0.4, g
Let k be 0*(1 + 0/(-2)). Let j(f) = f. Let w be j(1). Let q = 4 - w. Sort q, k, 5.
k, q, 5
Let x = 18 - 16. Suppose y = -1 + 4. Sort x, 4, y in descending order.
4, y, x
Let n be 84/56*(1 - (-7)/3). Put -2, -1, n, -4 in increasing order.
-4, -2, -1, n
Let z = 2 + -3. Let g = -4 + 7. Let w = -2 + 3. Sort w, g, z in descending order.
g, w, z
Let c = -6 + 7.7. Let o = -1.7 + 1. Let y = c + o. Sort 3, y, 2 in ascending order.
y, 2, 3
Let q(v) = v**2 + 2*v - 5. Let s be q(-4). Let d be 4 - (s + 0 - 3). Put 1, d, 2/5 in decreasing order.
d, 1, 2/5
Let l = -0.15 + -0.05. Sort l, 1, -3.
-3, l, 1
Let n = 5 - 6. Let c = n - -6. Put -0.3, -3/2, c in decreasing order.
c, -0.3, -3/2
Let a be ((-3)/(-78))/((-8)/(-32)). Let l = -0.27 - 1.83. Let g = -0.1 - l. Put -0.1, a, g in decreasing order.
g, a, -0.1
Let t = -4.3 + 0.3. Put 2/3, 10/11, t in descending order.
10/11, 2/3, t
Suppose -3 = -2*h - h. Sort 5, h, -5 in ascending order.
-5, h, 5
Suppose 0 = 5*d - v - 9, 2*d - 3*v - 2*v = 22. Suppose -4*l + 2*l = 4. Put l, -1, d in ascending order.
l, -1, d
Let g = -216/5 + 43. Let d = 11 - 15. Sort g, -0.5, d.
d, -0.5, g
Let h be (104/12)/((-2)/(-6)). Suppose -2 + h = 4*s. Put 4, -2, s in increasing order.
-2, 4, s
Suppose -4*q = 0, -7*q + 3*q = 5*r - 25. Let f(c) = -c**3 + 6*c**2 - c + 7. Let d be f(6). Sort r, d, -1 in decreasing order.
r, d, -1
Let m be (-2)/6*(1 + -16). Suppose a - m*a = 16. Let w be 2/3 + a/(-12). Put w, -3, -1 in descending order.
w, -1, -3
Let r(b) = b + 17. Let a be r(-13). Sort -4, 0, a.
-4, 0, a
Let t = -9 - -11. Let s be t - (2 + -2 + -3). Sort 1, s, 2.
1, 2, s
Let i = -59.3 - -58. Sort i, 0, -0.3 in increasing order.
i, -0.3, 0
Suppose -4*w - 2*n - 19 = w, w - 5 = 4*n. Let z(i) = 9*i**2 - 3*i - 2. Let p be z(-2). Let c be (16/p)/((-2)/(-20)). Put w, c, 0 in descending order.
c, 0, w
Suppose 0 = -6*i + 2*i + 4, -5*t + 5*i - 20 = 0. Put t, -2, 1/2 in decreasing order.
1/2, -2, t
Let s = -97 + 96.8. Let t = -5648853/115 - -49120. Let u = -6/23 - t. Put u, 1/2, s in descending order.
1/2, u, s
Suppose -4*v + 20 = v. Suppose 0 - 8 = v*c. Let b be (0/3)/(1 - 3). Put c, -3, b in descending order.
b, c, -3
Let v = 69 - 70. Sort v, -2, -36, -3 in increasing order.
-36, -3, -2, v
Let q(n) be the first derivative of -n**3/3 - 5*n**2 + 7*n - 11. Let b be q(-11). Sort -3, b, 10 in ascending order.
b, -3, 10
Let c(n) = -n**2 + 4*n + 5. Let m be c(5). Let s(p) = p + 1. Let k be s(3). Sort m, 3, k in decreasing order.
k, 3, m
Let q = 0.08 - 0.08. Let l = 0.31 + 0.09. Put 3, q, l in descending order.
3, l, q
Let f(t) = 8*t + 4. Let c be f(-3). Let q be (8/c)/(2/4). Sort 0, -3, q in decreasing order.
0, q, -3
Let f = 6 + -3. Let w be 11/f - 2/3. Let r(t) = t**3 + 14*t**2 + 25*t + 13. Let k be r(-12). Sort w, -1, k.
-1, k, w
Suppose 2*q + 3*k + 15 = 0, 2*k - 9 = q + 4*k. Sort 3/4, q, 1, 0.2 in descending order.
1, 3/4, 0.2, q
Suppose 3*j - 11 - 1 = 0. Suppose g - 2*g = 2*t - 12, 0 = -j*g + 5*t - 4. Let h = -3 + 3.1. Sort 2/9, g, h in increasing order.
h, 2/9, g
Let u = 25 + 4. Let l = u - 27. Suppose -3 - 17 = -4*q. Put l, q, 0 in ascending order.
0, l, q
Let t be 2/4*(-8)/(-10). Let i = -11 + 10.8. Sort t, i, -4 in ascending order.
-4, i, t
Let t be (-123)/39 - -1 - -2. Let r be ((-6)/5)/(21/(-70)). Put t, 2/23, r in decreasing order.
r, 2/23, t
Let h be ((4 - 9) + 6)*1/(-6). Put -0.1, -4, -0.5, h in decreasing order.
-0.1, h, -0.5, -4
Let a = -6 - -6.4. Let q = a - 0.2. Sort 2, -0.5, q in decreasing order.
2, q, -0.5
Let r = 20 + -20.3. Suppose 3*c + 0*c = -3*a - 30, -5*a - 4*c - 46 = 0. Sort r, 1/8, a in descending order.
1/8, r, a
Suppose 0 = -5*n + 7*n. Suppose n = -3*o + 4*f - 20, f = 3*o - 3 + 8. Let x(l) = l**2 + 4*l. Let i be x(-5). Put -4, i, o in decreasing order.
i, o, -4
Let l = -18 + 19. Sort 1/6, l, 3 in ascending order.
1/6, l, 3
Let a = 1.7 - 1.78. Let d = -6.3 - -11.22. Let x = d - a. Sort x, 3, 0.
0, 3, x
Suppose 3*d + 5 = -a + d, -5*a + d + 8 = 0. Put -3, a, -2 in decreasing order.
a, -2, -3
Let p = 20.2 + -20. Put 1/15, -2/11, 2, p in ascending order.
-2/11, 1/15, p, 2
Let k(u) = -u - 2. Suppose 5*c + 5 = -s + 2*s, -3*s - 4*c = 61. Let d = s + 10. Let m be k(d). Sort -4, m, 0 in descending order.
m, 0, -4
Let s = -4 + 5. Let u = -3 - s. Put 1, u, -3 in decreasing order.
1, -3, u
Let a = -1.3 + 9.3. Let h = -14 + a. Let l = 7 + h. Sort -0.2, 2/5, l in increasing order.
-0.2, 2/5, l
Suppose 4 = 4*a - 12. Sort a, -1, 3.
-1, 3, a
Let m = -0.096 - -0.196. Sort -17, m, -0.1 in descending order.
m, -0.1, -17
Suppose -b - 4*b = 20, 5*u + b - 11 = 0. Let s be -3 - 28/(-12)*u. Sort -2/7, s, -2.
-2, -2/7, s
Let u(b) = -b**2 - 3*b + 5. Let f be u(2). Suppose -3*a - 12 = -0*a. Suppose d + 15 + 1 = 3*g, 25 = 4*g - 5*d. Put f, a, g in ascending order.
f, a, g
Let g be (-8)/5 + 3 - 3/3. Sort g, 2/7, -4, -0.2.
-4, -0.2, 2/7, g
Let h = -1/35 + 39/140. Let v = 7.3 + -7. Suppose l = -7 + 2. Sort l, v, h.
l, h, v
Let j be 0*4*3/24. Let f(a) = -a**3 - 3*a**2 - 1. Let d be f(-3). Sort j, d, 3 in increasing order.
d, j, 3
Let t(q) = 12*q**3 - 2*q - 1. Let m be t(-1). Let d be (m - -5)*1*-2. Let j be (10/4)/(6/d). Sort 2, j, -1.
-1, 2, j
Let g 