 in ascending order.
-4, k, 5
Let l = 22 - 15. Let o = -12 + l. Sort o, 0.5, 2/9 in descending order.
0.5, 2/9, o
Let f = 8 - 12. Let w = -87 - -82. Put f, -3, w in decreasing order.
-3, f, w
Let a(y) = y**3 - y**2 + y - 1. Let b(r) = 3*r**3 - 11*r**2 + 11*r - 8. Suppose -5*l + 0*l + 20 = 0. Let t(v) = l*a(v) - b(v). Let u be t(-8). Sort 2, 3, u.
u, 2, 3
Let b be 20/39 - (-6)/(-9). Let k = -0.05 + 1.85. Let p = 0.2 + k. Sort b, p, -0.1.
b, -0.1, p
Let t = 2 + 14. Suppose -4*d = -4*b + 2*b - t, 5*d = 3*b + 20. Sort 2, -3, b in decreasing order.
2, b, -3
Let k = -31 + 19. Let l be -2*3/(k/10). Sort 2, 3, l in increasing order.
2, 3, l
Let b = -31 + 31.2. Put 1, 2, b in ascending order.
b, 1, 2
Let g = -0.03 - 0.11. Let r = g - -0.04. Let c = -0.1 - 0.1. Sort r, 1, c in ascending order.
c, r, 1
Let v be (2 - 4) + 0 - -5. Suppose 4*t - v*t + 6 = -m, 5*m - 3*t + 22 = 0. Put 3, m, 4 in decreasing order.
4, 3, m
Let w be (1/1)/(-4 - -3). Let v(r) = -r**2 + 3*r - 1. Suppose 0*b - b = 3*h - 11, -5*h = 3*b - 17. Let n be v(h). Sort w, -4, n.
n, -4, w
Let c(n) be the first derivative of n**3/3 - 7*n**2/2 + 3. Let h be c(7). Suppose -f - 10 = -2*d, 0 = -5*f - d - 17. Sort h, 5, f in descending order.
5, h, f
Let f = -1 - -1. Let n = f + -1. Let i = -92 - -97. Put n, i, -0.1 in decreasing order.
i, -0.1, n
Let o = 15.7 + -1.7. Let d = 3330/13 - 256. Put o, -0.2, d in increasing order.
-0.2, d, o
Let x = 14 + -18. Sort 5, x, 3, 2.
x, 2, 3, 5
Let u be 1/(2/(-2))*1. Let h = 0.1 - 0. Sort u, -2/3, h in descending order.
h, -2/3, u
Let b = -1055 - -1058. Let q = -4 - -7. Suppose -q*y - z + 5 = 0, 5*z - 9 = -2*y + 16. Sort b, -3, y.
-3, y, b
Let f(o) = -3*o**3 - o + 1. Let j be f(1). Let t = 8 - 6. Put t, j, 1/5 in increasing order.
j, 1/5, t
Let l be ((-30)/12)/(3/(-6)). Sort l, 1, -11 in decreasing order.
l, 1, -11
Let x = 1.6 - -0.4. Let h = 0 + -1. Let v = 1.2 + h. Sort v, -5, x in descending order.
x, v, -5
Suppose 4*d = d + 12. Put -5, d, 7 in ascending order.
-5, d, 7
Let s(q) = -q**3 - 3*q**2 + 10*q + 4. Let f be s(-5). Sort 0.3, f, -7, 1.
-7, 0.3, 1, f
Let u = 0.33 - 0.03. Sort -4, -1/5, 3/2, u in decreasing order.
3/2, u, -1/5, -4
Let o = 0.01 - 6.51. Let b = o + 7. Sort 0.4, b, 0 in descending order.
b, 0.4, 0
Let p = -0.56 + 0.26. Sort 2, 5, 1, p in decreasing order.
5, 2, 1, p
Let l = -72 + 71.99. Sort l, -0.2, 2 in descending order.
2, l, -0.2
Suppose 0 = -4*r + 2*w, 2*w = 7*r - 8*r. Sort -5, r, 3.
-5, r, 3
Let v(h) be the first derivative of -h**2/2 - 6*h - 3. Let c be v(-6). Let d = 0.8 - -3.2. Put c, 1, d in increasing order.
c, 1, d
Suppose -4*k + 4 = -24. Let l(u) = 3*u - 11 + u - 3*u. Let x be l(k). Sort -5, x, -1 in ascending order.
-5, x, -1
Let o = 37 - 23. Put -3, o, -0.5 in decreasing order.
o, -0.5, -3
Let o be (1/(-3))/(2/18). Let v be -1*(3/o + 2). Let p be 4 - (5 + 3/v). Put p, 1, 3 in descending order.
3, p, 1
Suppose 0*f = -3*f + 12. Let c = -62 - -62.3. Put c, -0.2, f in descending order.
f, c, -0.2
Suppose -6 = -z + 2*z. Let n = -2 - z. Sort 0, n, 2 in decreasing order.
n, 2, 0
Suppose -m + 2*y + 1 = -6*m, 0 = 3*m + 5*y + 12. Put m, -4, -5 in decreasing order.
m, -4, -5
Let o(y) be the first derivative of y**3/3 - y**2 - 2*y - 4. Let r be o(2). Put r, -3, 4 in decreasing order.
4, r, -3
Let g(x) = -x**2 + 10*x - 5. Let m be g(9). Let p(l) = l**2 - 4*l - 5. Let j be p(m). Sort -2, j, -7 in descending order.
-2, j, -7
Let o(p) = -3*p**2 - 3*p. Let u be o(-2). Let f = -4 - u. Suppose -f*m + 12 = 2*m. Put m, 5, -4 in decreasing order.
5, m, -4
Let c = 20 + -21. Sort -4/5, 21, c in ascending order.
c, -4/5, 21
Let b = -3.7 - -0.7. Sort -1, -1/3, b in descending order.
-1/3, -1, b
Suppose 0 = -6*k + 3*k + 9. Let v = -4 - -10. Let b(y) = y - 4. Let r be b(v). Sort r, k, -4 in ascending order.
-4, r, k
Let g = -7 + 11. Let j = -1 + g. Suppose -3 = -j*i - 9. Put 4, 5, i in increasing order.
i, 4, 5
Suppose -5*k + 11 = 6, 2*w - 2*k + 12 = 0. Sort w, 1, 2 in decreasing order.
2, 1, w
Let g(y) = y + 7. Suppose 5*b - 13 = -68. Let f be g(b). Put -1, 3, f in descending order.
3, -1, f
Suppose 0*l + 3*l - 21 = -3*k, 2*k - l = 2. Put k, -3, -2, -4 in descending order.
k, -2, -3, -4
Let z(r) be the first derivative of r**3/3 - 3*r**2/2 + 3*r - 1. Let u be z(2). Let h = -7 + 11. Sort u, h, -4.
-4, u, h
Let o = 129 + -129.5. Sort -0.1, o, -1/29.
o, -0.1, -1/29
Let r be 3/(-1) - (18 + 0). Put r, 5, -1 in decreasing order.
5, -1, r
Let l = 0.1 + 0. Let f(u) = 2*u**3 + u. Let m be f(-2). Let j be m/8 + 1/4. Sort j, l, -0.5 in decreasing order.
l, -0.5, j
Let t = 1 + 1. Suppose -2*z = -z - t. Sort z, -5, 3.
-5, z, 3
Let q be (-2 - -1)*(-3)/(-1). Suppose 0 = n + 24 - 28. Sort n, q, 1.
q, 1, n
Suppose 4*o - 8 = -0*o. Let w = 0 + o. Let x be 8/14*w/4. Sort -2, x, 1/9.
-2, 1/9, x
Suppose -3*w + 4 = 5*v, -3*v - 15 = -3*w - w. Suppose -2*a - 18 = -4*d, 2*d = -3*a - 5 + 2. Put 2, d, v in increasing order.
v, 2, d
Let j = -3 + 2. Put -7, 1, -4, j in descending order.
1, j, -4, -7
Let w = -0.085 + 0.485. Sort -1/6, 0.08, w in ascending order.
-1/6, 0.08, w
Suppose 0 = 2*d + 3*v + 3, 0*d - 4*d + 5*v = -27. Sort -1, -5, d in descending order.
d, -1, -5
Let z be (12 + 2)*5/10. Suppose -k + z = -g, 6*k + 2*g = k + 63. Let c = k - 15. Put -3, 5, c in ascending order.
c, -3, 5
Let q be ((-2)/10)/(18/15). Put -3, -1/2, q in decreasing order.
q, -1/2, -3
Let z be ((-30)/(-18))/(1/(-3)). Sort z, -1, 5, -6 in ascending order.
-6, z, -1, 5
Let c = 61.5 - 61. Let b = 0.36 - -0.04. Sort b, 0.1, c in decreasing order.
c, b, 0.1
Let k be (1/((-2)/10))/(-1). Suppose k = -5*m - 15. Let u = -1 - -3. Sort 3, u, m.
m, u, 3
Let k(m) be the third derivative of m**4/24 - m**3/6 + m**2. Let b be k(0). Sort b, -10, -5 in increasing order.
-10, -5, b
Let s be (-4)/(-14) + (-186)/210. Let l(m) = 3*m + 2. Let y be l(-2). Let b = 0.1 - 0.5. Put y, s, b in decreasing order.
b, s, y
Suppose 74*m + 10 = 69*m. Sort -3, 3, 4, m.
-3, m, 3, 4
Let g(l) = 12*l + 37. Let v be g(-3). Put v, 3, 4 in ascending order.
v, 3, 4
Let r = 6 - 6. Let w(q) = q + 6. Let o be w(r). Suppose 0 = c - 4*c + o. Put 5, -1, c in descending order.
5, c, -1
Let x = 1137/233 + -474313/2563. Let h = -180 - x. Put h, 0.3, -2/13 in decreasing order.
0.3, h, -2/13
Let t = 0 - 0.01. Let c = t - 2.99. Sort 2/3, c, 2/7 in decreasing order.
2/3, 2/7, c
Let m be (-2 + 1)/(1/(-8)). Let k = -6 + m. Let g = 0 - 0. Sort 3, k, g in ascending order.
g, k, 3
Let v(m) = -2*m + 4. Let i = 2 + 2. Let b be v(i). Sort b, 1, -3 in decreasing order.
1, -3, b
Let h = 2.06 + -0.06. Let m = -2 - -7. Let w = -2.955 + -0.045. Put m, h, w in decreasing order.
m, h, w
Let c be 9*(-1 - (-5)/3). Let h(i) = -2*i + 9. Let b be h(c). Let z be (-9)/3 + (1 - 3). Put b, 2, z in descending order.
2, b, z
Let j(t) = -2*t - 12. Let c be j(-7). Suppose c*q = q. Sort -1, q, 1 in decreasing order.
1, q, -1
Suppose -1 = -c + 1. Suppose 3*u + 25 = -c*u. Put 10, u, 0 in decreasing order.
10, 0, u
Let b(w) = -w**3 - 7*w**2 + 3. Let q be b(-7). Sort -14, q, 1.
-14, 1, q
Let o be (-4)/6 + (-6)/(-18). Let w = 52/3 + -17. Let f = 2/11 - -23/55. Sort o, w, f.
o, w, f
Let z = 9 + 5. Let s be z/6 - 4/(-6). Let d(n) = 2*n**3 + 2*n**2 - n + 2. Let v be d(-2). Sort v, s, -1 in increasing order.
v, -1, s
Suppose -3*t = 3*x + 6, 5*t + 10 = x - 0*x. Let w(l) = -l - 2. Let p be 0 + 0 + -2 + -2. Let j be w(p). Sort t, j, -4 in descending order.
j, t, -4
Suppose 0 = 2*l + v - 5, -l + 5*v = 24 + 1. Suppose 12 = -3*z, 44 = -l*k + 4*k + z. Let h = 9 - k. Sort -2, -4, h in ascending order.
-4, h, -2
Suppose 3*z + j - 16 = -2, 5*z = -3*j + 30. Let n = -39 - -35. Put 5, n, z in ascending order.
n, z, 5
Suppose 0 = -2*a - 3 - 1. Suppose 5*q = -4*b + 27, -3*b - 4*q = -13 - 7. Let y(o) = -o + 5. Let t be y(b). Put t, 4, a in increasing order.
t, a, 4
Suppose 2*p + 4 = -5*y + 12, 0 = -4*p - 3*y + 16. Suppose 2*d - p*s - 12 = 0, -2*d + 5*d = -s - 3. Sort 3, 4, d.
d, 3, 4
Let a = 0.1 - 0.1. Suppose j - 5*j + 4 = -3*i, -20 = -2*j - 3*i. Let d be 55/140 - 1/j. Put a, d, 4 in descending order.
4, d, a
Let m = -0.04 + -0.16. Let t = -5.03 + 0.03. Put 1, t, m in ascending order.
t, m, 1
Let x = -0.1 + -0.9. Let t = 229597/364 + -8296/13. Let q = -57/7 - t. Put q, x, -0.1 in ascending order.
x, q,