 in ascending order.
-2, 0, y
Let j be (128/(-62) - -2)*2. Let t = j + 1/248. Put -2, t, 0.3 in decreasing order.
0.3, t, -2
Suppose 0 = -3*l + 2*n + 2*n, 4*l - 5*n = 0. Sort l, -3, -6, 2 in decreasing order.
2, l, -3, -6
Suppose -2*q - 3*q + 25 = 0. Suppose 0 = -3*t + w - 4, w - q = 4*t - 0*w. Put t, 1, 1/5 in increasing order.
t, 1/5, 1
Let l = -0.98 - 0.02. Let n = 2.4 + -2. Sort -2/11, n, l in increasing order.
l, -2/11, n
Suppose -2 = -2*t - 0. Let u be t/3 + (-7)/3. Put 3, u, 2 in increasing order.
u, 2, 3
Let d = 23 - 26. Sort 0.2, 2/3, d.
d, 0.2, 2/3
Suppose -h + 0*h + 5 = 0. Suppose -3*v - 8 = 4. Let j be (-2 - -1)*(0 + v). Sort 3, j, h in decreasing order.
h, j, 3
Let v be 2 - (1 + (3 - 2)). Let m(z) = z + 5. Let c be m(v). Sort 1, c, -5.
-5, 1, c
Let q(b) = -b**3 + b**2 + b - 2. Let h be q(0). Put 0.3, 1, h in increasing order.
h, 0.3, 1
Let j = -26.8 + 29. Let n = j - -0.8. Suppose -4*d - 5*h - 2 = 0, 2*d = -h - h - 2. Sort d, n, -5 in ascending order.
-5, d, n
Let d = 399 + -11569/29. Put -5, 0.3, -0.1, d in increasing order.
-5, -0.1, d, 0.3
Let q(w) = -w**3 - 6*w**2 + 6*w - 3. Let z be q(-7). Suppose -m = 3*m. Sort -4, z, m in descending order.
z, m, -4
Suppose 18 + 2 = 4*z. Suppose 2*h - 5*v = -12, h = 6*h - z*v. Suppose -3*y + 25 = -4*w, y + 5 = 5*w + 28. Sort y, -3, h in decreasing order.
h, y, -3
Suppose 0 = m + m + 4. Let g = 7 + -3. Suppose 0*c + 4*c - g*h - 12 = 0, 9 = 3*c + 5*h. Sort c, 2, m in increasing order.
m, 2, c
Let o be (0 + (-12)/14)*-7. Let u(b) = -b + 5. Let l(q) = q - 5. Let r(w) = 5*l(w) + 4*u(w). Let n be r(o). Sort -4, -5, n.
-5, -4, n
Let s(q) = 2*q**2 - q - 2. Let d be s(2). Let m(x) = x**3 - 5*x**2 - 5*x - 1. Suppose -4*u = -0*u - 24. Let a be m(u). Put a, -2, d in decreasing order.
a, d, -2
Let d = -2 + 2. Suppose -3*y + 25 = 2*y. Sort -1, y, d in ascending order.
-1, d, y
Let j = 3 + -3.2. Suppose -10 - 5 = -3*k. Sort k, -1, j in ascending order.
-1, j, k
Let t = 95 - 95. Put 0.4, -2/51, t in increasing order.
-2/51, t, 0.4
Let u = 14.5 - 2.5. Let j = 11 - u. Sort j, -0.4, -2/17 in decreasing order.
-2/17, -0.4, j
Let l = -17.25 - -0.25. Let d = -12 - l. Put 1, -3/4, d in decreasing order.
d, 1, -3/4
Let w be -4*((0 - 4) + 4 + 2). Put -3, 0, w in descending order.
0, -3, w
Let z = -6.5 + -1.5. Let f = z + 10. Sort 1/5, -1, f in descending order.
f, 1/5, -1
Let j(m) = -6*m**3 - m**2 + m + 1. Let f be j(-1). Let q be (-18)/70 + 2/f. Sort 2, q, 2/13.
q, 2/13, 2
Let z = 1.1 - 0.7. Let u = z + -0.4. Let n = -0.2 + u. Put 1, n, -2 in decreasing order.
1, n, -2
Let l = 7 + -7.6. Let p = 15.3 - 16. Let m = l - p. Sort m, -5, -0.5 in decreasing order.
m, -0.5, -5
Let f be 4/(-30)*-5*-27. Sort -2, -5, f in descending order.
-2, -5, f
Let i be (-2)/(5 + 4/(-1)). Suppose -3*b + b - 2 = 0. Put i, b, -4 in descending order.
b, i, -4
Let a be (-2 + 2 - 0)*-1. Let x = 14 + -12. Suppose 0 = x*j + 4 + 6. Sort -4, a, j in decreasing order.
a, -4, j
Suppose -4*d + 55 = 5*m, 3*d + m = 7*d - 37. Suppose 4*q + d = 2*q. Sort 5, -2, q in descending order.
5, -2, q
Let v = -6/11 - 3/55. Suppose -2*k - 2*k + 7 = -5*y, 5*k + 2*y - 17 = 0. Sort v, k, -5.
-5, v, k
Suppose -2*h = -6*h + 20. Let n(v) = 13*v**3 + 2*v**2 - 2*v + 1. Let y be n(1). Let u be (-37)/7 + 4/y. Sort u, h, 3 in ascending order.
u, 3, h
Let b = 40 + -41. Sort 1, -23, b in decreasing order.
1, b, -23
Let w be 2/(-7) - (1 - 1). Let u be ((-8)/(-66))/((-8)/(-12)). Put w, -0.1, u in decreasing order.
u, -0.1, w
Suppose 3*b = -2*b - 20. Let s = 3 + b. Let q be ((-6)/(-10))/((-2)/(-10)). Put s, -4, q in decreasing order.
q, s, -4
Let h be 3/2*12/9. Let o be h/(-11) - 40/22. Sort -4, 0, o in decreasing order.
0, o, -4
Let o = 3.9 - -1.1. Let w = 4.5 - o. Let y = w - -0.7. Put 0.3, y, 5 in descending order.
5, 0.3, y
Let r = 11.795 + -8.76. Let c = r - -0.065. Let g = c + -3. Put g, 0.3, -2 in descending order.
0.3, g, -2
Let r = 0 + 2. Let y be (-3)/r + (-39)/(-30). Let u = 61/6 + -415/42. Sort y, u, -0.4 in ascending order.
-0.4, y, u
Let u = 2.3 + 1.7. Put -1/3, u, 5 in decreasing order.
5, u, -1/3
Suppose 0 = 4*d - 9 - 11. Sort -2, 14, d in ascending order.
-2, d, 14
Let n = 0.2 - 0.2. Let l = 40.8 - 47. Let s = -1.2 - l. Sort n, -1/10, s.
-1/10, n, s
Let x = -2 + -2. Let v = -2 - x. Put -2, v, 3 in ascending order.
-2, v, 3
Suppose -3*w - 2*v + 97 = 0, 122 = -w + 5*w - v. Suppose -5*x + w = 2*o, -3*x = -10 - 5. Put 5, -2/9, o in descending order.
5, o, -2/9
Let z be (0/(-3) - 4) + -6 + 6. Suppose 3*c - 4*x = -x - 3, -2*c + 3*x - 7 = 0. Put -3, z, c in increasing order.
z, -3, c
Let m = 3.4 + -8.4. Let k = -1 - -0.8. Sort m, k, -0.3 in decreasing order.
k, -0.3, m
Let x = 1.9 + -11.9. Let t = 15 + x. Let f = -0.1 + 1.1. Sort -0.4, f, t in descending order.
t, f, -0.4
Let r = 20 + -16. Sort 3, r, -3.
-3, 3, r
Let t be 15/12 - (3 - 2). Sort t, -2, -1/5.
-2, -1/5, t
Suppose 4 + 5 = 3*o. Let y(b) = -b**3 + b**2 - 3*b + 6. Let c be y(2). Sort o, -1, c in decreasing order.
o, -1, c
Let q = 23/24 - 5/24. Let n = 22 - 23. Sort q, 1, n in descending order.
1, q, n
Suppose 3*c + 40 = -c - 5*d, 8 = -2*d. Sort 2, 1, c in decreasing order.
2, 1, c
Let v = 87 + -85. Put -5, v, 5, -1.4 in increasing order.
-5, -1.4, v, 5
Suppose 0 = -9*s + 13*s - 16. Suppose -4*q = s*j - 20, 21 - 1 = 5*j. Sort q, 0.7, 0.2 in descending order.
q, 0.7, 0.2
Let m(t) = t**3 - 13*t**2 - 14*t + 7. Let u be m(14). Put -0.5, 5, u in descending order.
u, 5, -0.5
Let k = 0.3 + -0.7. Let n = 0.9 - 1.2. Let m = -2 - -7. Put n, m, k in increasing order.
k, n, m
Let n be 200/(-60)*((-3)/(-1))/6. Sort n, 3/5, 2/7, 0 in ascending order.
n, 0, 2/7, 3/5
Let c = -57 - -61. Suppose o + 4*o + 11 = -4*a, o - 3*a - 13 = 0. Put o, -5, c in descending order.
c, o, -5
Let f = -5 - -3. Sort 0, f, 2 in increasing order.
f, 0, 2
Let v be 2*(5/(-2) - -1). Put -8, -5, v in increasing order.
-8, -5, v
Let d be -5 - (1 + 0)*-1. Let t = 6 + d. Suppose 2*i = 5*i - 4*u + 15, -t*i + u - 5 = 0. Sort 0, -4, i in descending order.
0, i, -4
Let l = 10 + -10. Let r = l - 3. Put r, 2, 0.1 in decreasing order.
2, 0.1, r
Let b = -16.2 - -2.2. Let o = b + 13. Sort -2/3, -0.1, o.
o, -2/3, -0.1
Let c = -20.07 + 0.07. Let q = c - -15. Put q, 3, 0 in increasing order.
q, 0, 3
Suppose -l + h = 9, 5*h = -3*l - 0*h + 13. Sort l, 4, -1, -13 in decreasing order.
4, -1, l, -13
Let n(b) = -2*b**3 - 22*b**2 + 2*b + 24. Let w be n(-11). Put -4, -2, 3, w in increasing order.
-4, -2, w, 3
Let i = -5 - -4.9. Let b = i + 1.1. Let v = -0.59 + 0.09. Put v, -4/9, b in descending order.
b, -4/9, v
Suppose 5*u + p + 15 = -p, -u - p - 3 = 0. Let n = -26 + 30. Sort 2, u, n in increasing order.
u, 2, n
Suppose -2*d - 15 = -3*n + 6, 5*d = -4*n + 5. Sort d, -6, 1.
-6, d, 1
Let x be (-2 - 25/(-10))*2. Let b(l) be the second derivative of l**3/6 + 2*l**2 + l. Let a be b(-2). Sort x, -3, a.
-3, x, a
Suppose -7*r + 3*r - 20 = g, 0 = -5*g - 2*r - 10. Suppose -b + 56 = 4*n, g = -2*n + b + 1 + 21. Let d = n - 8. Put -2/7, 1/4, d in increasing order.
-2/7, 1/4, d
Let f(k) = k**3 - 6*k**2 + k + 25. Let h be f(5). Suppose 4*u + w - 8 = 0, -3*w = -3*u - w + 6. Put u, -5, h in descending order.
h, u, -5
Let a = 74 - 71. Let g = -1 + 1.2. Sort g, a, 2/9 in ascending order.
g, 2/9, a
Let s(v) = -6*v**2 - 3*v - 2. Let t be s(-6). Let d be 122/t - 6/8. Let p = d - -14/25. Put 4/5, p, 4/9 in ascending order.
p, 4/9, 4/5
Let b(u) = -u**2 + 5*u + 5. Let h be b(6). Suppose -3*r + 25 = 2*r. Sort h, r, 3.
h, 3, r
Let d = -0.38 + -0.02. Let l = 35.4 + -39. Let k = l + d. Sort 3, k, 4 in ascending order.
k, 3, 4
Let a(z) = -z**3 + 7*z**2 - 8*z + 12. Let o be a(6). Let w be 0 + (1 - 5*1). Sort w, 3, o.
w, o, 3
Let y be (88/55)/((-4)/(-10)). Put 2/5, 1, y in decreasing order.
y, 1, 2/5
Suppose -3*i - 2*w - 10 = 0, -i - 4 - 4 = 3*w. Let n be -1*2 - i - -1. Let x be (5 - -1)*n/2. Put x, -1/6, 0.1 in decreasing order.
x, 0.1, -1/6
Suppose -2*u + 9 = u. Let s(y) = -y**2 + 8*y - 11. Let c be s(2). Put u, 2, c in ascending order.
c, 2, u
Let w be 4/6 - (-2)/(-6). Let a = 850 - 845. Sort -3, w, a in descending order.
a, w, -3
Let b(m) = -2*m - 8 - m + 2*m. Let n be b(-6). Let i = 8.5 + -8. Sort n, -3, i in decreasing order.
i, n, -3
Let u be -2 - ((-2)/(-1))/(-2). Let v be (-1)/(-2) + 6/4. Put 