escending order.
u, -4, m
Let z(s) = s**3 + 9*s**2 + s + 6. Let w be z(-9). Put 4, -4, w in descending order.
4, w, -4
Suppose 6*a = 4*a + 2. Suppose z + 5*k = -6 - 2, 0 = -4*z + 3*k - 9. Sort z, a, -5 in descending order.
a, z, -5
Let s = 1.3 + -1.3. Let n = -0.3 - -0.1. Put s, 1, n in increasing order.
n, s, 1
Let n(p) = p + 3. Suppose 2*f - k = -16, f + k + 8 = 5*k. Let i be n(f). Put 4, i, 1 in decreasing order.
4, 1, i
Suppose w - 9 = -13. Suppose 0 = -0*z + 4*z - 4. Let c be 5*(-4 - (-9 + 4)). Sort z, c, w in descending order.
c, z, w
Let p be 34/(-8) - 7/(-28). Sort -6, 5, p.
-6, p, 5
Let v(b) = 3*b + 2. Let g be v(-3). Let n(h) = -h**2 - 7*h - 4. Let o be n(g). Let k = -9 - -6. Sort o, 0, k in descending order.
0, k, o
Suppose -4*f + 35 = -5*b, -4*f + 6*f - 2*b - 16 = 0. Let p be ((-5)/(-4))/(4/(-16)). Sort p, f, -3 in decreasing order.
f, -3, p
Suppose -2*t - 2*z = 0, -2*t + 45 = 3*t - 4*z. Suppose 4*k + 0*k = -20. Sort -1, k, t.
k, -1, t
Let y = 1.11 - 0.11. Sort 1/3, -2/3, 0, y in decreasing order.
y, 1/3, 0, -2/3
Let x = 45.3 - 45. Suppose 5*r - 10 = -0*c + 5*c, 3 = -3*c. Put r, x, 0.5 in decreasing order.
r, 0.5, x
Let u(p) = p**2 + 2. Let s be u(-2). Let i be s/36 + (-13)/6. Sort -5, i, -1 in decreasing order.
-1, i, -5
Let l(m) = -2*m + 1. Suppose 3 = -4*o + a + 13, -4*o - a + 6 = 0. Let u be l(o). Let v = -9 + 14. Sort v, -5, u in decreasing order.
v, u, -5
Suppose 4*n = 4*z - 44, -4*z + 6*n - 3*n = -41. Sort -2, -4, z in ascending order.
-4, -2, z
Let v be ((-18)/4*(-8)/(-12))/(-1). Let m = 4 - 6. Sort m, v, -1 in decreasing order.
v, -1, m
Let i = 3 - 0. Let w = -473 + 24125/51. Let v = 47/102 + w. Put v, 4, i in ascending order.
v, i, 4
Let s = 1/250 - 103/750. Let z = -15 + 10. Let x = 0.05 - 0.15. Put x, z, s in increasing order.
z, s, x
Let g = 1861/2576 + -3/368. Sort g, 5, 0 in decreasing order.
5, g, 0
Suppose -2*z + 0*z + 8 = 0. Suppose 0 = -z*b - b. Let c = 231 + -3001/13. Sort b, 5, c in descending order.
5, c, b
Let a(r) = r**2 - r - 5. Let h be a(5). Suppose k = 2 + h. Suppose -z + 3 = 0, -k = -0*c - c - 4*z. Sort c, 3/5, 0 in increasing order.
0, 3/5, c
Suppose 4*z + 2*w = 5*w - 2, -5*w = -4*z - 6. Sort -2, 4, -15, z.
-15, -2, z, 4
Let g = 3 - 3. Let w = -2 + 0. Sort g, w, -4.
-4, w, g
Suppose -s - 85 = -6*s. Let l = s + -1. Suppose -2*p = 2*p - l. Put 0, p, 3 in descending order.
p, 3, 0
Let u = 54 - 58. Suppose 5*k + 10 = 10*k. Suppose -d = 3*d + 20. Sort k, u, d in decreasing order.
k, u, d
Suppose 0 = 2*a + 7 - 3. Put 5, -4, a in decreasing order.
5, a, -4
Let i = 0.01 + -2.01. Let b(y) = 3*y + 3. Let d be b(0). Put i, 1, d in descending order.
d, 1, i
Suppose 0 = -4*v + k, -4*v = -0*v - 4*k + 12. Suppose 3*n = -n. Sort -1, n, v in ascending order.
-1, n, v
Let k = -21 - -27. Sort 4, k, -5, 3.
-5, 3, 4, k
Let f = -0.26 + 1.26. Sort 0.4, f, 3 in increasing order.
0.4, f, 3
Let h = 21 - 20.9. Put -2, -0.7, h in increasing order.
-2, -0.7, h
Suppose 0 = -4*x - x - 2*q - 36, 3*q + 33 = -4*x. Let t be -5 + (0 - 0) + 1. Put x, t, 2 in decreasing order.
2, t, x
Suppose 2 = 4*s - 2. Suppose -3*k = -k. Suppose k*a = 2*a. Sort a, s, -6 in descending order.
s, a, -6
Let j = -11 + 11.4. Let w = j + 0.2. Let z = w + -0.9. Sort -0.03, -3, z.
-3, z, -0.03
Let c(a) = a**3 + 6*a**2 - 9*a - 9. Let v(d) = -d**3 - 6*d**2 + 9*d + 7. Let l be v(-7). Let z be c(l). Let f = 0.1 + -0.4. Put -4, f, z in decreasing order.
z, f, -4
Suppose -3*i = -5*z + 11, 4*i + 0*z = 3*z - 11. Let h = 4 + -8. Put h, -3/2, i in increasing order.
h, i, -3/2
Suppose 3*l - s - 1 = 5*l, 3*s = 5*l - 25. Suppose 2*w - 7 = -5*i + 1, 0 = l*w + 4*i - 6. Sort 3, w, 5 in decreasing order.
5, 3, w
Let t = -6 + 3. Let a(c) = c**2 + 7*c. Let z be a(-8). Let w = z - 6. Put t, w, 0 in descending order.
w, 0, t
Let t be (-2 - 1)*(-1 - 10/(-6)). Sort 2, 0, t.
t, 0, 2
Let y be 78/(-18) + 1/3. Let p(o) = -2*o**2 - 3*o + 4. Let h be p(-3). Put 5, y, h in decreasing order.
5, y, h
Let p = -38.4 - -38. Let q = -37/3 + 13. Put q, 2, p in decreasing order.
2, q, p
Let s = -13 + 9. Put 0, s, -2 in ascending order.
s, -2, 0
Let v be 16/2 - (-7 + 7). Let p = -13 + v. Sort 0, 4, p in ascending order.
p, 0, 4
Let g = 2 + -3. Let j = g - -6. Put j, -5, -4 in decreasing order.
j, -4, -5
Let l(n) be the second derivative of 1/2*n**3 - n + 0 + 0*n**2 - 1/12*n**4. Let s be l(4). Put -3, s, 2 in increasing order.
s, -3, 2
Let j = -20.5 - -15.5. Sort -3, 4/9, j, -1/9 in decreasing order.
4/9, -1/9, -3, j
Suppose -3*z + 4*t - 4 = -3, 2 = 5*z - 3*t. Sort 5, -1, 0, z in decreasing order.
5, z, 0, -1
Suppose -11 + 41 = -5*s. Let g be (3/6)/((-1)/s). Sort 5, g, 0 in ascending order.
0, g, 5
Let n be (-16)/312*(-3 - 0). Put 0.2, n, 1/4 in ascending order.
n, 0.2, 1/4
Let b = -271499/3549 - -1/7098. Let f = b + 78. Sort f, -5, -4/7 in decreasing order.
f, -4/7, -5
Let t(x) = x - 1. Let q(o) = -o**2 - 2*o + 3. Let p(u) = -q(u) - 2*t(u). Let c be p(-1). Let i be ((-15)/6)/(-5)*6. Sort 1, i, c in decreasing order.
i, 1, c
Suppose 0 = j + 1 - 2. Let v = 4 - -1. Sort 4, j, v in decreasing order.
v, 4, j
Suppose -9 = -5*j - 5*g + g, -g = -2*j + 1. Suppose -3*c - j = -7. Put 1, c, -3 in increasing order.
-3, 1, c
Let o = 30 + -35. Let h = 0.4 + -0.3. Sort h, o, -4/3 in decreasing order.
h, -4/3, o
Let a = -5 - -6. Let r = -0.7 + a. Sort -2, 2, r in increasing order.
-2, r, 2
Let g = -7 + 11. Suppose 5*x = -20, 4*m + 5*x - 3*x - g = 0. Sort -5, -2, m in descending order.
m, -2, -5
Let y be 0/1*1 - -6. Suppose -y + 2 = -2*c. Put -2, c, 5 in ascending order.
-2, c, 5
Suppose 0 = -4*x - 2*k + 7*k + 25, -4*x = -3*k - 15. Let f = 1 - x. Let b = 4 + f. Sort 0, 3, b.
0, 3, b
Let n be (-45)/15 - 4/(-1). Sort n, 6, 0 in ascending order.
0, n, 6
Let m = 29 + -42. Put m, 0.1, 2 in descending order.
2, 0.1, m
Let m be 9/7 + (6 - 7). Sort m, -8/3, 5 in descending order.
5, m, -8/3
Let l(y) = -y**3 - 9*y**2 + 9*y - 9. Let s be l(-10). Suppose -n - 2*n = -6. Let g = -2 + n. Put g, s, -1 in decreasing order.
s, g, -1
Let h = -0.1 - -0.1. Let k = 10 + -13. Let c = k - h. Sort -2, c, -4 in decreasing order.
-2, c, -4
Let d = -8 + 13. Suppose -5*k + 51 = -34. Let a = -15 + k. Put a, d, -2/15 in descending order.
d, a, -2/15
Let f be (-2)/(-5) + 0 + 0. Let k(t) = t**2 - 5*t - 2. Let i be k(5). Let o be i/(-1)*4/24. Sort -5, f, o in descending order.
f, o, -5
Let t(z) = -z**2 + 10*z + 15. Let a be t(11). Suppose m - l = -5*l - 21, 0 = -a*m - 4*l - 24. Sort 0, m, 4 in decreasing order.
4, 0, m
Let w be (46/(-14) - -3) + 24/35. Sort 0.5, -4, -0.3, w.
-4, -0.3, w, 0.5
Let t = 52.3 - 55. Let i = t + 0.7. Sort 4, 5, i.
i, 4, 5
Let y(c) = c - 6. Let k be y(10). Suppose 4*q - k = -2*r, 2*r - 1 = 6*r - q. Sort r, 1, 2 in increasing order.
r, 1, 2
Suppose a + 1 = 6. Let c be -1 - (-3 - 0/3). Put c, -5, a in descending order.
a, c, -5
Let v = -12.77 - 0.23. Let n = 13.2 + v. Sort n, 1, -5.
-5, n, 1
Let h = 1.12 - 0.82. Sort -0.05, -2, -2/19, h in ascending order.
-2, -2/19, -0.05, h
Let q = 1631/1962 - -2/981. Sort -1, 2/7, q in decreasing order.
q, 2/7, -1
Suppose -r + 12 = -2*t, -12 = 4*r + t + 3*t. Suppose 3*i = -0*x - 3*x + 9, -4*x = -5*i - 21. Put x, r, 3 in decreasing order.
x, 3, r
Suppose 0*i + i = -3. Let v be 4*(15/12 + 0). Suppose -v*p - 5 + 0 = 0. Put i, -4, p in decreasing order.
p, i, -4
Let k(q) = 2*q + 4. Let v be k(-3). Let c be (-2)/(4 + v + 0). Sort 4, -2, c in ascending order.
-2, c, 4
Let x(j) = j + 7. Suppose -3 = -s - 0*s. Suppose -3*q = -s*v + q - 24, 5*v - 5*q = -35. Let u be x(v). Sort -2, 5, u in increasing order.
-2, u, 5
Suppose 4*s - 2*y = -1 - 31, 0 = -3*s + y - 26. Let o = -879 - -878.5. Sort o, -1, s in decreasing order.
o, -1, s
Let q = 12.11 - 11.91. Let m(r) = r**3 - 4*r**2 + 3*r + 3. Let z be m(3). Put 2, q, z in ascending order.
q, 2, z
Let j be (0 + -4)*(-4 + 6). Let n be (4/j)/((-3)/30). Suppose -m + 4 = 5. Sort n, -5, m.
-5, m, n
Let q = -0.2 - 0.1. Let t be 21/((-210)/(-40)) - (-18)/(-5). Put t, -10/3, q in descending order.
t, q, -10/3
Let w be (-2)/(1 + 1)*0. Suppose -2*z + w*z = 0. Suppose 2*b - 7*b = 5*m + 30, z = -5*b - m - 26. Sort -1, b, 2 in increasing order.
b, -1, 2
Let j = -20 - -36. Suppose -3*x - 4*v - j = 0, -x = 3*v - 0 + 12. Let t be (-3)/((-4 + 2)/2). Sort -4, t, x in de