in decreasing order.
5, c, y
Suppose -4*h - h + 2*c + 21 = 0, 5*h - 17 = 4*c. Suppose -10*a = -12*a + 6. Put 2, a, h in decreasing order.
h, a, 2
Let z be (-174)/(-36) - (22/12 + -2). Sort 11, -5, -3, z in increasing order.
-5, -3, z, 11
Let x be 20/(-6)*-2*6/8. Let m be -4*1/((-8)/(-6)). Put m, 0, x in decreasing order.
x, 0, m
Let k(x) be the second derivative of x**3 + x**2/2 - 3*x. Let o be k(-1). Put -4, o, 4 in decreasing order.
4, -4, o
Suppose 3*u - 4*a + 1 = 0, 4*u + 0*a - 5*a = -1. Let f = -191 + 188. Put f, u, 4 in descending order.
4, u, f
Let n = 19 + -5. Let o = n - 9. Let m = 9 - o. Sort 1/7, 3, m in decreasing order.
m, 3, 1/7
Let m = 22.08 - 18. Let f = 0.08 - m. Let h = f - -7. Put -4, 1/4, h in ascending order.
-4, 1/4, h
Let n be 2/(-5) - (-9)/10. Let v = 6.9 + -4. Let s = v + -3. Sort n, 1, s in decreasing order.
1, n, s
Let k = -56 + 54. Sort -4/13, k, -1.
k, -1, -4/13
Let d = -77 - -72.9. Let n = 4 + d. Let j = 0 + n. Sort j, 1, 3 in descending order.
3, 1, j
Let o = 7 - 7.5. Suppose -2 = -2*k - m, 0 = -0*k + 2*k + 2*m + 2. Sort o, 2, k in increasing order.
o, 2, k
Let g = -28 + 25. Put 5, 0, g in ascending order.
g, 0, 5
Let m(u) = -u**2 - 5*u - 3. Let q be ((-6)/5)/(3/10). Let d be m(q). Let k = 0.1 - 0. Put 0.2, d, k in increasing order.
k, 0.2, d
Let y = -670/521 + 130139/138065. Let q = y - 3/53. Sort q, -5, 0.5.
-5, q, 0.5
Let f = -1.4 - -3.4. Put f, 2/5, -0.4 in ascending order.
-0.4, 2/5, f
Let c = 9 + -19. Let m = 9.7 + c. Put 0.4, m, 0 in decreasing order.
0.4, 0, m
Let j = -7 + 5. Let q = -51 - -51. Sort j, -3, q in decreasing order.
q, j, -3
Let f = -1.9 + 2. Let k = -2.9 - f. Let l = 2 - 3. Put l, -0.3, k in increasing order.
k, l, -0.3
Let q be (-85)/(-34) + 6/4. Put 0, -1, q in descending order.
q, 0, -1
Let t(x) = 13*x. Let i be t(2). Suppose -2*b - 8 = -2*w + 6, -2*b - i = -5*w. Sort 3/8, 1, w in ascending order.
3/8, 1, w
Let j = -8 + 17. Let o = 225 + -431/2. Let m = j - o. Put m, -3/8, 4 in decreasing order.
4, -3/8, m
Let m = -26.4 - -26. Sort 0.4, 1/4, m in increasing order.
m, 1/4, 0.4
Suppose 3 = -l - 2*s + 3*s, -2*s + 9 = l. Suppose 0 = 4*g + g - 15. Let n be 1/((-1)/5)*1. Put n, l, g in increasing order.
n, l, g
Suppose 2*u = -5*j + 3, -5*j - 4*u + 13 = 2. Suppose -2*x = -0*x. Put j, 4, x in descending order.
4, x, j
Let t = 0.4 + -1.4. Suppose -7*y + 41 = -3*y - 5*k, 0 = 3*y - 3*k - 27. Let j be (-3)/y*1/2. Sort j, -3, t in increasing order.
-3, t, j
Suppose 0*k - 17*k = 0. Sort 1, 2, 42, k in ascending order.
k, 1, 2, 42
Suppose 2*k - 4*v - 6 = -2, 5*k = -v + 21. Put 3, 0, k in decreasing order.
k, 3, 0
Suppose 0*l = -2*l + 6. Suppose -c + 15 = -4*a + 3, 3*a - 2*c + 14 = 0. Let k be (4*a)/4 - 1. Sort 2, l, k in ascending order.
k, 2, l
Let y = -0.14 - -0.1. Let k = 0.36 - y. Put 4, -4, k in descending order.
4, k, -4
Let x(n) = n**3 + n + 1. Let v be x(-1). Put 4, 3, v in decreasing order.
4, 3, v
Let l be 35/15*(-6)/21. Sort l, -4, -3 in ascending order.
-4, -3, l
Let t be (1 - (-7)/(-8)) + (-14)/56. Sort -2/9, t, -5.
-5, -2/9, t
Suppose 2*r - 4 = j - 24, 50 = -5*r + 4*j. Sort r, -5, -1.
r, -5, -1
Suppose -r + 0*r = -x + 7, 5 = 2*x + r. Let a be x/(-3) - (6 - 8). Sort -5, a, 5/2 in increasing order.
-5, a, 5/2
Let c = -1.8 + 1.7. Sort 3, 2/5, c in descending order.
3, 2/5, c
Let g be -2 + 2 + -1 + 13. Let b = g - 7. Suppose -4*j + 2*v - 12 = 0, 3*j + 4 = -4*v - 5. Sort b, j, -2.
j, -2, b
Let y = -4 - -6. Let q be y/((-3)/18*-3). Put q, 2, -2 in decreasing order.
q, 2, -2
Suppose 0 = -4*h - n + 12, -3*h + 4*n + 0 = -9. Suppose -45 = 2*u + h*u. Put 0, 5, u in decreasing order.
5, 0, u
Let s = 15 + -4. Let p = 15 - s. Let q be ((-1)/3)/((-2)/(-18)). Put 3, p, q in descending order.
p, 3, q
Let f(z) = -z**2 + 5*z + 1. Let v be f(6). Let w be 3 - (v + 1 + 2). Sort 3, -3, w in decreasing order.
w, 3, -3
Suppose 0 = 2*r - 6*r. Let j = 106 - 98. Put r, j, 4 in decreasing order.
j, 4, r
Let c = 17.7 + -16. Let o = c - 2. Sort 5, o, -3 in increasing order.
-3, o, 5
Suppose -3*h + 0 + 3 = 0. Suppose -5*m = 2*p - 17, -11 - 22 = 2*p - 5*m. Sort p, h, -2.
p, -2, h
Let a = -7 - -7. Suppose -h + 5*h + 4*s + 72 = a, 0 = h + 3*s + 22. Let i be ((-6)/28)/((-6)/h). Sort -2/7, i, 1/3 in descending order.
1/3, -2/7, i
Let u(a) = a**3 + 8*a**2 + 5*a - 10. Let s be u(-7). Suppose -1 - 7 = -s*j. Sort j, 1, -1 in decreasing order.
j, 1, -1
Let p(s) be the second derivative of 0 - 1/12*s**4 - s - 4*s**2 - 7/6*s**3. Let y be p(-6). Sort y, -1, 2 in increasing order.
y, -1, 2
Let u(z) = z**2 - 6*z + 9. Let w be u(4). Put -2, -1, w in decreasing order.
w, -1, -2
Let m = -0.7 - -0.2. Suppose -i = b + 4, b + b - 12 = 3*i. Sort 1/12, m, i in decreasing order.
1/12, m, i
Let p = -2.8 - -3. Let l = -0.4 - -0.3. Let h = -1.73 + 2.13. Sort l, p, h in descending order.
h, p, l
Let d be 7/(-3) - 2/3. Let v(y) = -y + 16. Let g be v(20). Suppose -x = -0*x + 5. Sort x, g, d in descending order.
d, g, x
Suppose 5*y - 2 = -17. Put y, 4, -15 in increasing order.
-15, y, 4
Let y = -940/99 + 102/11. Sort 5, 0.5, y, -0.5 in descending order.
5, 0.5, y, -0.5
Let p be (-1)/4*1/(-2). Sort 1, -4/7, p in decreasing order.
1, p, -4/7
Suppose -2*b - 4*z - 13 = -7, 0 = 4*z. Sort b, 3, -2, -1 in ascending order.
b, -2, -1, 3
Let s = -14.6 - -10. Let l = -5 - s. Let x = l - 2.6. Put x, 2/3, 1 in descending order.
1, 2/3, x
Let i = -91 + 92. Put -0.1, i, -0.04, 0.2 in descending order.
i, 0.2, -0.04, -0.1
Let w = 13.1 - 13. Suppose o = -0*o + 9. Suppose -o = -4*q + q. Put 0, q, w in ascending order.
0, w, q
Suppose -o - 2*o = 6. Let k(w) = w + 8. Let s be k(-6). Suppose -s*u - 3 = 3. Sort o, u, 5 in ascending order.
u, o, 5
Let v = 2 - -7. Let w = -4 + v. Sort 4, 2, w.
2, 4, w
Let l = -0.9 - 1.1. Put 5, l, -2/5 in ascending order.
l, -2/5, 5
Let i = -10 + 11. Let b(v) = 5*v**2 + 16*v - 16. Let q(p) = 6*p**2 + 17*p - 17. Let g(w) = 7*b(w) - 6*q(w). Let t be g(9). Sort i, -2, t.
-2, t, i
Let v(u) = -8*u**3 - 6*u**2 + 6. Let j(s) = s**3 + s**2 - 1. Let d(y) = -6*j(y) - v(y). Let t be d(1). Sort t, -5, 0.1.
-5, 0.1, t
Let h(s) = -s**3 + 9*s**2 - 7*s - 10. Let g(p) = -p**3 + 9*p**2 - 7*p - 11. Let l(w) = -4*g(w) + 5*h(w). Let q be l(8). Sort -2/7, q, -3/8 in decreasing order.
q, -2/7, -3/8
Let w be 1*(1 - (-1 + 2)). Let x = -41/12 + 7/4. Sort x, w, -4/3.
x, -4/3, w
Let m be 34/10 + (-10)/25. Sort m, -1, -2 in descending order.
m, -1, -2
Let h be 1*(1 + 0)*1. Let c(f) = -f**2 + 6*f + 20. Let w be c(8). Put h, w, -3 in ascending order.
-3, h, w
Suppose 4*a + 2*t = -10, a + 3*t = 2 - 12. Let h = 0.38 + -0.43. Put -2/9, a, h in decreasing order.
h, -2/9, a
Suppose -q + 2*m + 4 = 0, 2*q + 2*m + 6 - 32 = 0. Let y be q/(-8)*(-6)/45. Let a = 109 + -2505/23. Put y, -1/3, a in ascending order.
-1/3, a, y
Suppose -k = 0, 0 = -a - k - 0 - 8. Let m be a/6*9/(-6). Let p be (-6)/(-20) + m/(-4). Put 2/11, p, -0.5 in descending order.
2/11, p, -0.5
Let v(s) = s**2 - 7. Let n be v(4). Sort -2, 3, n in decreasing order.
n, 3, -2
Let f = -1 - 3. Let n = -244/7 - -35. Sort n, 3/8, f in descending order.
3/8, n, f
Let n be 8/(-6)*(-6)/2. Let g(y) = 2*y + 3. Let r be g(-3). Let v(k) = -k**3 - 7*k**2 + 5. Let u be v(-7). Sort u, r, n.
r, n, u
Let a = -0.2 + 0.7. Suppose 5 = -2*z - 1. Let d = z - 2. Put a, d, -1/5 in descending order.
a, -1/5, d
Suppose 3 = -2*k + 5*y - 8, 4*k - 3*y = 13. Let p be (-4)/18 - k/252. Sort p, 2/11, 4.
p, 2/11, 4
Let z = 13 + -17. Let x(r) = 2*r + 2. Let g(m) = -m**2 - 2*m + 1. Let h be g(-3). Let i be x(h). Sort z, 4, i in increasing order.
z, i, 4
Suppose -4 = -4*j + 12. Let l = 2 + -2. Suppose l = 4*o - 3*o + 2*i - 7, 2*o - 2*i + 10 = 0. Sort j, o, -5.
-5, o, j
Let n be 1 + (-20)/(-2) + 3. Let y = n - 19. Sort y, -1, 1 in decreasing order.
1, -1, y
Let o = -4.2 + 4. Let p = -34.7 + 35. Sort -1, o, p in decreasing order.
p, o, -1
Let q = -0.01 - 2.99. Let t(h) = -h - 5. Let w be t(-8). Put q, 1, w in decreasing order.
w, 1, q
Let i = 13.87 + 0.13. Let n = 13.5 - i. Put 0.5, 5, n in ascending order.
n, 0.5, 5
Let k(y) be the third derivative of -y**3 + 1/24*y**4 + 0 - 3*y**2 + 0*y. Let z be k(8). Sort 0, -3, z.
-3, 0, z
Let c = -203 - -205. Suppose -5*u - 12 = 3. Let q = 0 + -1. Sort c, u, q in decreasing order.
c, q, u
Let t(j) = j**3 + 6*j**2 