y = 1115/9 + -124. Sort -8, y, 2 in descending order.
2, y, -8
Let c(v) = -v - 1. Let h be c(-3). Suppose 0*d + h = 2*d. Sort 0.5, d, 0.4 in decreasing order.
d, 0.5, 0.4
Suppose q - 3*q + 3*k = -17, -4*q + 43 = 3*k. Suppose -5*p + 3*p + 2*d - q = 0, 0 = -p - 5*d + 7. Let t = -1 - -4. Sort t, -1/2, p in descending order.
t, -1/2, p
Suppose 0 = 72*d - 73*d - 6. Sort d, 0.2, 3 in decreasing order.
3, 0.2, d
Suppose 5*d + 2*s - 20 = 0, -4*d - 4*s + 16 = -0*s. Suppose -4*b - 1 = 7. Suppose 3*m + 1 = 16. Sort d, b, m.
b, d, m
Let n = -2/577 + 1176/6347. Let y = -6.1 - -1.1. Let u = -7 - y. Sort n, 0.3, u.
u, n, 0.3
Let l be 8/(-3)*18/8. Let d = -11 - l. Sort d, -4, 1 in ascending order.
d, -4, 1
Suppose -16*h + 14 = -9*h. Put 5, h, 3 in decreasing order.
5, 3, h
Let i = 1.22 + -0.02. Let d = -0.9 + i. Put -5, 1/6, d in descending order.
d, 1/6, -5
Let a(s) = s**2 + 7*s - 8. Let j be a(-9). Let c be j/5*(-5)/(-2). Let l(u) = u**3 - 5*u**2 + 4*u - 3. Let y be l(4). Sort y, c, 0 in descending order.
c, 0, y
Let f be (-2)/(-5) - 216/40. Sort 2, -4, f in descending order.
2, -4, f
Let u = -38.6 - -36.61. Let l = -0.01 + u. Sort -5, 1, l in decreasing order.
1, l, -5
Let a = 0 + 1. Let p(m) = -3*m - 7. Let d be p(-4). Sort a, d, 3 in descending order.
d, 3, a
Suppose -3*d - 2*d = 5. Let z(h) be the first derivative of h**4/4 + 5*h**3/3 + h**2 + 5*h - 2. Let y be z(-5). Sort 2, d, y in increasing order.
y, d, 2
Suppose 4*n + 5 = -3. Sort n, -3, -4, 0.
-4, -3, n, 0
Let d(o) be the third derivative of 0 + 1/6*o**3 + o**2 + 1/24*o**4 + 0*o. Let v be d(-4). Put 0, v, 3 in ascending order.
v, 0, 3
Suppose 0 = 2*x + 4*y - 10, 4 = -x + 5*y + 2. Suppose 4*i = 2*i. Suppose -o - 3*f = -i*f + 16, -12 = o + 2*f. Sort -5, o, x.
-5, o, x
Let h = 8 - 8. Suppose 0 = -h*p + p - 4. Put p, -5, 5 in decreasing order.
5, p, -5
Let u = 10 + -10.04. Let b = -1.96 + u. Let r = 3.5 - 3. Put -1/4, r, b in descending order.
r, -1/4, b
Let m be -2 - (-3)/(0 + -1). Sort m, -1, -4 in ascending order.
m, -4, -1
Suppose 810 = -0*v - 5*v. Let j = 311 + v. Let u = j + -1189/8. Sort 3/4, -0.3, u.
-0.3, u, 3/4
Let g = -7 + 6. Let k(a) = -a**2 + 7*a - 1. Let d = 19 - 13. Let b be k(d). Sort -4, b, g in ascending order.
-4, g, b
Let l(d) = d**2 + 3*d. Suppose 2 = b + 5. Let v be l(b). Let y = -13/7 - -9/7. Sort v, y, 0.4 in increasing order.
y, v, 0.4
Suppose -3*t = 0, -f - 4*f + 15 = -5*t. Suppose 5*z + 3 = -2. Sort f, 0, z in ascending order.
z, 0, f
Let z(p) = -p**3 + 3*p**2 - p + 2. Let h be z(3). Let x(m) = -m - 5. Let f be x(-11). Suppose -f = 3*i - i. Sort i, h, 1 in increasing order.
i, h, 1
Let i = -28.4 + -0.6. Let l = i + 27.96. Let o = 0.04 + l. Sort o, -5, 2 in descending order.
2, o, -5
Suppose 2*r - 5*r - 5*l - 25 = 0, -5*r + 2*l = 21. Put -4, -3, r in decreasing order.
-3, -4, r
Let g = 2.06 + -0.06. Let w = 3.92 - -0.08. Put w, g, 0.2 in increasing order.
0.2, g, w
Suppose 2*p - 5*z = -z - 22, 21 = -3*p + 3*z. Let v = -1 - 1. Put p, -0.1, v in decreasing order.
-0.1, v, p
Let f = -48.9 - -49. Sort 3, 0, f, -5 in ascending order.
-5, 0, f, 3
Suppose -5*b + 3 = 4*o, 5*b = 2*o + 32 - 11. Let q = 62 + -57. Sort q, 0.2, b in increasing order.
0.2, b, q
Let v be 3*-4*1/(-66). Let u = -0.2 - 0.4. Let b = u - 1.4. Sort 1/6, v, b in descending order.
v, 1/6, b
Let x be -2 - -1 - (-8)/2. Let v(h) = -4*h. Let s be v(-3). Suppose -s = -0*k + 3*k. Sort x, k, -1 in decreasing order.
x, -1, k
Let l = -8.7 + 0.2. Let y = l + 8. Sort 0.5, y, 2/3 in decreasing order.
2/3, 0.5, y
Let z = -28 - -21. Put z, -2, -4 in increasing order.
z, -4, -2
Let o = -0.1 + -2.9. Sort o, -4, 0.2 in ascending order.
-4, o, 0.2
Let l be 1/3 - 12/18. Let a = -0.2 - 0. Let j = -0.7 - a. Sort j, l, 0.2 in ascending order.
j, l, 0.2
Suppose -84 = -2*a - 2*a. Suppose 0 = 4*c + a - 5. Suppose 13 - 3 = -2*f. Put c, f, 4 in increasing order.
f, c, 4
Let q = 0.01 + 11.99. Let k = q + -8. Put 3, k, -3/8 in increasing order.
-3/8, 3, k
Let m = 236/7 + -34. Put 0.04, -1/3, m in descending order.
0.04, m, -1/3
Let n be 0/(-1)*3/6. Let v = 0 - n. Let i = 18 + -21. Sort i, -1, v.
i, -1, v
Let c(d) = 2*d**2 + 2. Let s be c(-3). Let o be s/90 - 14/(-18). Sort o, -4, -1 in descending order.
o, -1, -4
Suppose -4*w = -w - 3*p + 9, 15 = -3*w - 3*p. Let b be -2*3/(6/w). Let m = 0 - 1. Sort m, -5, b in decreasing order.
b, m, -5
Let t = 10 - 5. Let f = 2 + 9. Let z = f + -11.1. Sort z, t, -1/5 in increasing order.
-1/5, z, t
Let l = 38 - 35.5. Let t = -3 + 0. Let y = t + l. Sort -5, y, 3 in increasing order.
-5, y, 3
Suppose 0 = 5*r - 2*r. Suppose a + f + 3 = 2*a, 4*a + 4*f + 4 = 0. Sort r, a, 4.
r, a, 4
Let m(l) = l**2 + l + 14. Let r be m(0). Put r, 1/4, -5 in ascending order.
-5, 1/4, r
Let y be (2/(-1))/(-3*2). Let o = -2.9 + 3. Let x = -15 - -18. Put y, o, x in descending order.
x, y, o
Let l = -4 + 8. Suppose 0 = 5*m - 3*m + 10. Put m, -3, l in ascending order.
m, -3, l
Let p = 5 - 1. Suppose 2*o - 1 = -3. Let g = o - -1. Sort g, p, 1.
g, 1, p
Let t = -20659339/76199 - 23/3313. Let i = t - -271. Let u = i + -31/115. Sort -1, 0, u in descending order.
0, u, -1
Suppose -3*l + 2*l - k - 3 = 0, 4*k + 4 = -2*l. Put 1, l, 4, -2 in decreasing order.
4, 1, -2, l
Let w be (-20)/9*3/8. Put w, -2/13, 4 in descending order.
4, -2/13, w
Let l(r) = -r - 3. Let m be l(7). Let w be m/(-55) + (-84)/(-22). Put w, -4, -3 in increasing order.
-4, -3, w
Suppose 0*t = t + 1. Suppose 7*n = 5*n - 8. Sort t, 2, n in decreasing order.
2, t, n
Suppose -19*q + 13 = -6*q. Put 0.3, q, 0.06, 1/3 in descending order.
q, 1/3, 0.3, 0.06
Suppose 8 + 0 = -4*v. Sort 5, v, 12 in decreasing order.
12, 5, v
Let k = -8 - -11. Suppose -2*y - 30 = -k*y - 5*h, 2*h + 5 = 3*y. Let a(b) = -2*b - 1. Let s be a(2). Sort s, y, -4 in descending order.
y, -4, s
Let l(a) = 10 - 5 + a + 11. Let x be l(-15). Put -5, -8, x in increasing order.
-8, -5, x
Let d be (-2)/(-11) - (-5 - (-754)/154). Sort 3/8, -28, d in decreasing order.
3/8, d, -28
Let f = 73/3 + -24. Let z = 23 + -17.3. Let l = 6 - z. Sort l, f, 2.
l, f, 2
Let d(c) be the second derivative of -c**3/6 - 4*c. Let o be d(-4). Suppose 5 = -8*l + 3*l. Put l, o, 3 in increasing order.
l, 3, o
Let m = -11 + 6. Sort m, 5, -4 in increasing order.
m, -4, 5
Suppose -w - 4 = -3. Put -2, w, 13 in ascending order.
-2, w, 13
Let p(c) be the second derivative of c**5/20 + 2*c**4/3 - 3*c**2/2 - 2*c. Let m be p(-8). Let n = -1.5 - -2. Sort m, 4, n in descending order.
4, n, m
Let i be (-5)/4 + 1 - 114/24. Let p be ((-32)/(-20))/(2/5). Put p, -1, i in ascending order.
i, -1, p
Let t = 4 - 9. Let u = -3 - t. Sort -2/15, -1/3, u in decreasing order.
u, -2/15, -1/3
Let t(h) = -h**3 - 8*h**2 + 10*h + 8. Suppose 7*g - 2*g = 4*r + 36, r + 4*g + 9 = 0. Let b be t(r). Let i = 3 - b. Sort -4, i, -1.
-4, -1, i
Let m = 5 - 9. Put m, -1, 0 in decreasing order.
0, -1, m
Let l(x) = x**2 - 9*x + 8. Let i be l(9). Suppose 0 = -2*a + 4*k + 14, k + i = 4*a + a. Put a, 4, -3 in descending order.
4, a, -3
Suppose 0 = -5*t + 8 - 28. Sort 4, t, -3 in descending order.
4, -3, t
Let z = -31 - -31.3. Sort -4/3, 2/9, z in descending order.
z, 2/9, -4/3
Let q = 1.1 - 0.1. Suppose y + 6 + 1 = 0. Let d(t) = t**2 + 6*t - 5. Let j be d(y). Put -2, q, j in descending order.
j, q, -2
Let y(v) = -v**3 + 7*v**2 + v - 10. Let w be y(7). Let g = 2 + -6. Put 8, g, w in descending order.
8, w, g
Let s be 2*((-11)/(-2) - 3). Suppose -3*j + 8*j = -20. Sort -7, s, j in decreasing order.
s, j, -7
Let r = 0.497 - 0.097. Sort -1, -5, r, -4.
-5, -4, -1, r
Suppose k = -2*k + 9. Suppose -2*p = -f + 3*p, k = 3*p. Put 2, -4, f in descending order.
f, 2, -4
Suppose -2 - 8 = 5*y + 2*z, -2*y = -3*z + 23. Suppose 15*x = 11*x. Put y, x, -1 in descending order.
x, -1, y
Let o = 2 - 9. Sort o, -4, 1 in descending order.
1, -4, o
Let j = -2.7 - -2.2. Put -2, -1, j in descending order.
j, -1, -2
Let d = 0.1 - 0.1. Let l = d + 0.1. Let f = l - 5.1. Sort -0.4, -0.3, f in decreasing order.
-0.3, -0.4, f
Let t = -5349495/887 + 6031. Let b = t + -1796/9757. Sort 1, 0.3, b in descending order.
1, 0.3, b
Let i(k) = 2*k + 6. Let s be i(-7). Let t = s - -8. Put 1, t, -3 in descending order.
1, t, -3
Let i = 6 + -6. Suppose i = -2*y + y + w + 15, 2*y - 60 = -4*w. Suppose 4*f - y = 8*f. Put -2, 0.3, f in 