Let q(c) = c**3 - 7*c**2 + 7*c + 5. Let i be q(6). Suppose 4*u = i + 5. Let d = -187/2 + 2053/22. Sort u, -1/2, d in increasing order.
-1/2, d, u
Let w be (3 - 2)*1*-2. Let k be 1 - (w + 5 + 1). Let x be ((-4)/(-10))/(6/15). Sort k, x, -4 in increasing order.
-4, k, x
Suppose -2*p = -6*p - 16, -n + 12 = -3*p. Put n, -4, -3/2 in increasing order.
-4, -3/2, n
Let g(i) = -3*i + 13. Let v = 11 - 5. Let x be g(v). Sort x, 1, 1/2 in decreasing order.
1, 1/2, x
Let a be 3/(-2)*(-16)/(-6). Suppose -4*b = 2*u + 18, u - 3*b = 3 - 2. Let q be 2/7 - 66/(-14). Put q, u, a in ascending order.
u, a, q
Let s be (-9)/(-3) + 0 - 3. Let g be s/(4 + -1 - 2). Let o be 0/(1 + 1) + -3. Sort o, g, -1.
o, -1, g
Let z be (-2 - 1)/1*1. Sort 3, -2, z in increasing order.
z, -2, 3
Suppose -5*n = -3*t - 12, n + 2*t + 16 = -2*t. Put -5, 3, 2, n in descending order.
3, 2, n, -5
Let j = 4 + 2. Suppose -3*t + 2*p - 7 = 0, -4*t + 0*p = 5*p - j. Suppose -3*z + 4 = 1. Sort z, t, -2 in decreasing order.
z, t, -2
Let d(x) = -3*x - 1. Let v be d(1). Sort 2, v, -1, 3 in ascending order.
v, -1, 2, 3
Suppose 0 = 2*d - 0 + 8. Sort 3, 0.4, d.
d, 0.4, 3
Suppose 0 = -6*w + 8 - 14. Put -5, w, -2 in decreasing order.
w, -2, -5
Let n = 3.1 - -19.9. Let k = 22.87 - n. Let i = -0.03 - k. Sort 0.2, 0.4, i.
i, 0.2, 0.4
Suppose 5 = -4*y + 3*j, 4*y + j - 6 = y. Let l(x) = 0 + x + 2 + 1. Let q be l(-6). Put 3, q, y in ascending order.
q, y, 3
Let q = -0.26 + -12.74. Let a = q - -13.4. Let x = -1 + 1. Sort x, -2, a in decreasing order.
a, x, -2
Let r(q) = q**2 + 6*q + 5. Let v be r(-6). Suppose l + v*z - 18 = 0, z + z - 10 = l. Sort l, 3, 1.
l, 1, 3
Suppose q + 5 - 1 = 0. Let i(x) = 2*x + 1. Let o be i(-3). Let t = -7 + 12. Put t, q, o in increasing order.
o, q, t
Let c = 489 + -10267/21. Sort 5, 0, c.
0, c, 5
Let d = 0.3 - 0.4. Let c be 4/1*3/6. Let z be -2*c*(-2)/8. Sort z, d, 0.1 in increasing order.
d, 0.1, z
Let w = 2.6 + -3. Let r = -8.5 + 9. Let d be (-24)/(-10) - (3 + -1). Put w, r, d in descending order.
r, d, w
Suppose -5*t + 12 = -0*s - s, 0 = -5*s - 2*t - 87. Let w be (s + 17)/((-2)/2). Put 4, w, -1 in descending order.
4, w, -1
Let n = -3 + 3.2. Put -5/2, 3, n in descending order.
3, n, -5/2
Let t = -0.5 - -0.8. Let z = 0.1 - t. Suppose 0 = -2*b + 3*j - 2 - 0, 0 = b - 2*j + 1. Sort 3, z, b.
b, z, 3
Suppose 9*l - 3*l - 12 = 0. Sort 1/3, -0.5, -2/5, l in decreasing order.
l, 1/3, -2/5, -0.5
Let o = -27 + 187/7. Put 1.7, -4, o in descending order.
1.7, o, -4
Suppose -2*u + 8 = -3*x, 4*u - x = -6*x - 6. Put 0, u, -4 in decreasing order.
u, 0, -4
Let i = 5 + -5.2. Let a = -0.99 + -0.01. Put i, a, 2 in descending order.
2, i, a
Suppose 2*r + a - 1 - 4 = 0, r - a + 5 = 0. Suppose d + r*k - 3 = -k, -25 = -5*d + 5*k. Put 0, d, 2 in ascending order.
0, 2, d
Suppose -2*a = 3*o + 3, 0 = -2*a + 5*a. Suppose k - 9*k + 40 = 0. Sort k, o, 0 in decreasing order.
k, 0, o
Suppose -3*d = -d + 8. Suppose 2*u - 3 = 1. Suppose -10 = u*n, 0*x + 3*x + 5 = 2*n. Put -2, x, d in decreasing order.
-2, d, x
Let b(g) be the second derivative of -g**4/12 + 7*g**3/6 + g**2/2 + 5*g. Let k be b(7). Sort k, 2/25, -4 in increasing order.
-4, 2/25, k
Let q = -0.21 - 0.29. Put 0.3, 4/3, 0.2, q in ascending order.
q, 0.2, 0.3, 4/3
Let p = -14 + 10. Suppose -y = y - 16. Suppose y*s - 25 = 3*s. Sort 4, s, p in increasing order.
p, 4, s
Suppose 13*f + 17 = -9. Sort f, -35, 4, -5.
-35, -5, f, 4
Let h = 5.022 + -0.022. Put -2/7, -2, h, -4 in ascending order.
-4, -2, -2/7, h
Let x = -0.05 + -4.95. Let b = x + 4. Put -4, b, 0.5 in ascending order.
-4, b, 0.5
Let g = 30 + -34. Suppose -2 + 7 = -5*k. Put 3, k, g in decreasing order.
3, k, g
Let l = -0.093 + -3.907. Suppose -2 = 5*x + 4*f, 4*x - 2 = -f + 3. Put 3/5, x, l in decreasing order.
x, 3/5, l
Let c(b) = 2*b**3 - b. Let s be c(-1). Suppose -2*l = 5*f - 25, -l + 2*f - 10 = 4*l. Suppose -4*t + 8 = -l*t. Sort -3, s, t in descending order.
t, s, -3
Let i = -7 - -1. Suppose 5*x + 3*n = -47, -x + 13 = -4*x + 2*n. Let l = i - x. Put -2, -1, l in ascending order.
-2, -1, l
Let x = 0.1 - 1.1. Let g = x + 1. Put 2, 5, g in decreasing order.
5, 2, g
Let y = 0.3 - 0.5. Sort y, 0.2, 4.
y, 0.2, 4
Let n = 1.63 + -2.03. Put 0.5, 3, n, -5/4 in increasing order.
-5/4, n, 0.5, 3
Let k be (4/(-6))/((-10)/(-6)). Let x = -937/11 - -85. Sort -3, k, x in increasing order.
-3, k, x
Let w = -1.3 + -2.7. Let k = 13 - 71/5. Sort 2, w, k in decreasing order.
2, k, w
Let o = -2.97 + -2.02. Let x = 0.01 - o. Let t = -0.05 - -0.45. Sort -1/2, t, x in ascending order.
-1/2, t, x
Let q = -0.4 + 2.4. Let m = -111/7 + 361/21. Sort m, -0.3, q in descending order.
q, m, -0.3
Let u(a) = -a**3 - 6*a**2 - 4*a + 5. Let l be u(-5). Suppose -f + l = 2. Sort f, 3, 4.
f, 3, 4
Let y = 12 - 13. Put -4, 1, y in decreasing order.
1, y, -4
Let n be (-38)/9 - 10/(-45). Let b be 2/(-6) - 64/(-12). Sort n, 0, b.
n, 0, b
Suppose 0 = -2*o - 3*o - 5. Put 3, -2, o in descending order.
3, o, -2
Let f = 1581 + -12623/8. Let x = 241/72 - f. Let v = -0.1 - 0.4. Sort 5, x, v in decreasing order.
5, x, v
Let c = -44 + 31. Let f = c + 12. Let i = 1 - -1. Put i, 0.5, f in decreasing order.
i, 0.5, f
Suppose 7*f - 5 = 6*f. Suppose f*u + 0*u = 25. Put u, 3, -5 in ascending order.
-5, 3, u
Let x = -0.63 - -0.13. Sort x, 7, 2/3 in ascending order.
x, 2/3, 7
Suppose 0 = -3*p + 5*p - 2. Let u be (4 + -3)*0/(-2). Let k be ((-4 - 1) + 4)*-2. Put k, u, p in decreasing order.
k, p, u
Let q be (-10)/(-6)*(4 - 1). Sort 11, q, 0 in increasing order.
0, q, 11
Let v(b) = 5*b + 7. Let w be v(-5). Let q be (3/(-2))/((-3)/w). Let k = q - -4. Sort -3, k, -1 in ascending order.
k, -3, -1
Let n be -3 - (-2 + (-5 - -3)). Let b be 2/(-8) - 22/8. Suppose 4*c + 12 = -4*l, -2*l + 5*c - 25 = 3*l. Sort l, b, n in increasing order.
l, b, n
Let c = 0.3 - -0.2. Let g = -65 + -10. Let l = g - -826/11. Sort l, c, -4.
-4, l, c
Let n = 14 - 17. Let k = -1634597/1386 - -10610/9. Let x = k - 2/77. Put n, x, 0 in descending order.
0, x, n
Let x = 3 + 0. Let y(k) = -2*k + 2. Let z be y(x). Let s be (-2)/(-5)*(-20)/6. Put 1/9, s, z in descending order.
1/9, s, z
Let t = 14.6 + -26. Let l = t - -11. Put l, 3, -1/5 in ascending order.
l, -1/5, 3
Suppose -3*f + 20 = 2*f. Sort -2, f, -1 in increasing order.
-2, -1, f
Let l(t) = -4*t - 2. Let u be l(-2). Suppose d + 1 - u = -y, 5*d + 15 = 3*y. Sort 5, 1, d in ascending order.
d, 1, 5
Let h = -6776/5 - -1355. Let r = 3 - 8. Put h, -2/17, r in decreasing order.
-2/17, h, r
Let d be 8/(-2)*(-11)/22. Sort d, 0, -0.5 in increasing order.
-0.5, 0, d
Let a = 642.97 + -638. Let d = -0.03 - a. Sort d, 0.2, -4.
d, -4, 0.2
Let i = 0.9 - -0.1. Sort i, 0.2, -9/8.
-9/8, 0.2, i
Let d = 21 + -25. Let z = -37/21 + 2/21. Let r = -1.1 - -0.1. Put r, d, z in descending order.
r, z, d
Let y = -10 - -9.9. Put y, -5, 0 in ascending order.
-5, y, 0
Let l = -31/35 + 9/7. Suppose 3*a - 5 - 4 = 0. Put a, l, 4 in descending order.
4, a, l
Let r be (-3)/12 - (-61)/12. Let u = r - 185/42. Put 0, u, -2/5 in decreasing order.
u, 0, -2/5
Let b(m) = -m**3 + 4*m**2 - 3*m. Let l be b(3). Suppose -8 = -l*j - 4*j. Suppose -3 = 15*p - 12*p. Put 5, j, p in descending order.
5, j, p
Let t = -2 + 1.8. Let l = 4.2 + t. Sort -0.2, -5, l in decreasing order.
l, -0.2, -5
Let t = -3.6 + -1.4. Let y = -1 - -6. Sort y, t, -0.1.
t, -0.1, y
Let q = 0 - -1. Let f = -40 - -39. Sort q, 5, f in increasing order.
f, q, 5
Let a = 0.3 - 0.25. Let d = a - -2.95. Let u be (-18)/(-10) + 3/(-5). Put d, -0.2, u in increasing order.
-0.2, u, d
Let d = 4 + -3.6. Let r = d + -0.4. Let c = 0.07 - 2.07. Put c, 2, r in descending order.
2, r, c
Let z = -35 - -40. Sort 1, -32, z in increasing order.
-32, 1, z
Let r be (-10)/20*6*(-1 - -2). Sort r, 1, 5, -2 in descending order.
5, 1, -2, r
Let o = -1.12 - 3.58. Let c = o + 1.7. Put 1, c, -5 in descending order.
1, c, -5
Let q = -9 - -20. Let d = 6 - q. Let k = 0.096 - -0.004. Sort d, k, -1 in descending order.
k, -1, d
Let b = -0.03 - -0.43. Let q = 1 + 0. Put b, q, -3 in descending order.
q, b, -3
Let z be (0 + 0)/((-6)/6). Suppose 0 = -z*x + x. Put x, 1, -2 in ascending order.
-2, x, 1
Suppose -c - 1 = -g - 0, -4*g + 16 = 2*c. Sort -3, c, 0 in descending order.
c, 0, -3
Suppose 4*u - 4*i - 8 = -0*i, 0 = u + i + 4. Let g(l) = l + 6. Let n be g(-6). Le