z = -0.32 - -0.02. Put -4, z, i in decreasing order.
i, z, -4
Let l be (-4)/6 - 60/(-9). Suppose -l*u + 3*u + 9 = 0. Let n be (2*-2 - -2)/1. Sort u, n, 1 in descending order.
u, 1, n
Let z = -4 + 4. Let t = -0.2 - z. Let s = -18 + 13. Sort -0.1, t, s in ascending order.
s, t, -0.1
Suppose 6 = g + 5*p + 24, -4*g - 5*p - 27 = 0. Put -2/9, -1/5, g in descending order.
-1/5, -2/9, g
Let t(w) = 5*w**2 - 1. Let a be t(-1). Sort a, -1, -4 in increasing order.
-4, -1, a
Let h = -0.039 - -0.039. Put 3, -4, h, 4/5 in decreasing order.
3, 4/5, h, -4
Let l be ((-4)/(-6))/((-48)/(-72)). Put 0, -4, -1, l in descending order.
l, 0, -1, -4
Suppose 5*s + 2 = 17. Let t(p) = -4*p**2 - 6*p + 2. Let f be t(-2). Put s, -5, f in descending order.
s, f, -5
Let d(s) = -s**2 + s + 2. Let f be d(0). Let b = 73 - 73.01. Sort b, f, -1 in decreasing order.
f, b, -1
Let c = -34 - -36. Put c, -1, 5 in descending order.
5, c, -1
Let l = 304 + -3954/13. Let w be 4/(-18) - (-6)/27. Put w, -0.2, l in descending order.
w, l, -0.2
Let d = 9 + -12. Put 8, d, 0.5 in increasing order.
d, 0.5, 8
Let o be (-8)/12*(3 + (-15)/4). Put o, -1/2, 4, -0.4 in increasing order.
-1/2, -0.4, o, 4
Let a be -1 + (-8)/(-6) + -1. Let b(z) be the second derivative of z**4/12 - 2*z**3 - 5*z**2 + 7*z. Let t be b(13). Sort a, t, 2 in descending order.
t, 2, a
Suppose -4*s + 0 + 12 = 0. Put -1/5, s, 0.2 in ascending order.
-1/5, 0.2, s
Let d = 5 + -2. Let g = d - 3.1. Sort -4/3, g, 3/7 in descending order.
3/7, g, -4/3
Let d = -0.06 + -1.94. Let j = 6 - 11. Let m be 2/(-32)*(-4)/2. Sort d, j, m in decreasing order.
m, d, j
Let r = 0.03 + -2.03. Let o = -3 + r. Let a = 0.1 + -2.1. Put a, o, 0 in ascending order.
o, a, 0
Let m be ((-19)/4)/(2/8). Sort 0.3, m, 2 in descending order.
2, 0.3, m
Suppose 0 = -21*l + 11*l - 400. Put l, -4, 1 in ascending order.
l, -4, 1
Let a = 25.02 - 0.02. Let b = -29 + a. Sort 0.2, 2, b in decreasing order.
2, 0.2, b
Let o be (-5)/30 + 5/(-6). Let c be o - (-1 - (1 + 1)). Sort -2/13, 0.2, c in decreasing order.
c, 0.2, -2/13
Let d be 2 + -1 - (2 + 39). Let h be 2/(-4) - (-4)/d. Let z = -3 + 3.1. Put 0, z, h in descending order.
z, 0, h
Let o = -8 - -3. Let k = 1.1 + -0.9. Sort o, -2, k in ascending order.
o, -2, k
Let o = -1.72 + 1.7. Let y = o + 0.32. Sort 0.2, y, 0.05.
0.05, 0.2, y
Let l = -111/11 - -117/11. Let p be 1 + 6/7 - 2. Let r = 4 - 2. Put r, p, l in increasing order.
p, l, r
Suppose 5*o - 2*h - 16 = 0, 2*o - 4*o = 2*h - 12. Suppose -4*w + 6 = -w. Let p be (((-16)/(-20))/2)/1. Put w, o, p in decreasing order.
o, w, p
Let d = -421/10 + 83/2. Sort d, -0.3, 5 in descending order.
5, -0.3, d
Let v = 2 - 6. Let y(k) be the second derivative of k**4/12 + k**3/6 - 3*k**2/2 + 4*k. Let l be y(0). Sort -5, l, v in decreasing order.
l, v, -5
Let v = -1.3 - -3.3. Let g = 9 - 4. Sort 0, v, g in decreasing order.
g, v, 0
Let r be (-9)/6*6/(-3). Suppose r*o - 2 = -8. Sort o, 3, 0.4.
o, 0.4, 3
Suppose 3*u + t = 0, 3*t - 5*t + 6 = 0. Let f = 52 - 49. Sort u, f, 0 in increasing order.
u, 0, f
Suppose -5*p + 15 = 0, -3*p + 6*p - 21 = 3*n. Let q = n - -5. Sort q, 2, -1 in descending order.
2, q, -1
Let a(i) = -i**2 - 5*i - 2. Let y be a(-4). Put y, 7, 5 in ascending order.
y, 5, 7
Let d(z) = 3*z + 1. Let m be d(2). Let y = -5 + m. Put -2, -4, y in descending order.
y, -2, -4
Let l = -26 - -29. Sort -3, l, -5 in decreasing order.
l, -3, -5
Suppose -f + 4 = 1. Suppose -l - f = -d, 2 = -4*d + l + 5. Suppose 4*w = -d*w + 16. Sort w, 5, 2 in increasing order.
2, w, 5
Let c = -0.11 + 0.02. Let q = -1.91 + c. Sort -0.01, q, -3 in descending order.
-0.01, q, -3
Let h = -31 + 36. Sort h, 0, -9.
-9, 0, h
Let o(j) = 6 - j**3 + 5*j**2 + 0 + 0*j**3 - 7*j. Let f be o(4). Put 1, 5, f in increasing order.
f, 1, 5
Suppose -3*z + 0 = -4*a - 3, 0 = -2*a + 3*z - 3. Put -4, 1, a in ascending order.
-4, a, 1
Suppose 11 + 10 = -5*d - r, 5*d + 2*r + 22 = 0. Sort 5, 4, d in descending order.
5, 4, d
Let a = -19 - -21. Let w be -1*1 - 7/(-6). Sort a, -0.5, w in decreasing order.
a, w, -0.5
Let r = 10 + -5. Suppose -r = 3*i + 10. Sort 4, 3, i in ascending order.
i, 3, 4
Suppose 1 = -4*v - 3. Sort 3, v, -5 in increasing order.
-5, v, 3
Suppose 0 = 5*o - 16 - 9. Put o, 2, 3 in decreasing order.
o, 3, 2
Let a = 2 + 1. Let m = -0.4 - 0. Sort a, m, 0.5 in decreasing order.
a, 0.5, m
Let r(y) = y**3 + 5*y**2 - y - 8. Let v be r(-5). Let p = 3 - 3.2. Sort p, 0.01, v.
v, p, 0.01
Let y(i) = -i - 11. Let l be y(-7). Let u = 0 + -3. Sort 5, l, u.
l, u, 5
Let b = 2.6 - 0.6. Let y = 3.1 + -3. Let n = -0.1 - y. Put 0.07, n, b in descending order.
b, 0.07, n
Let h be 5*-2*(-2)/(-10). Suppose -3*v = -2*v - 5. Suppose 8 = v*q - 7. Put h, q, 2 in decreasing order.
q, 2, h
Let h = 73 - 123. Let c be (-8)/36 + h/18. Sort c, 0.2, -2 in decreasing order.
0.2, -2, c
Suppose b + 3 - 38 = 0. Let n = -17 + b. Suppose 4*p + 0*t + 4*t = -12, -4*t = -2*p + n. Sort -5, p, 4 in decreasing order.
4, p, -5
Suppose -14*s = 21*s - 29*s. Let z = 4 + -3. Put z, -2, s in descending order.
z, s, -2
Let l(u) = -u + 1. Let t be l(-4). Put -2, 3, -5, t in descending order.
t, 3, -2, -5
Let t be ((-110)/6)/5 - -3. Let g = 17 + -12. Sort g, 1, t in descending order.
g, 1, t
Let u(n) = -n - 1. Let c be u(5). Let j be c/(-4) - 21/(-6). Sort j, -3, 2 in ascending order.
-3, 2, j
Let z = -22 - -52. Let v be 12/z*(-2)/(-2). Sort 4, -11, v.
-11, v, 4
Let j = 25 - 22. Sort j, 1/5, -2/11, -0.1 in increasing order.
-2/11, -0.1, 1/5, j
Let z = 9 + -6. Suppose h = 2 - 1. Sort h, -5, z in descending order.
z, h, -5
Let o(l) = 3*l + 4. Let j be o(-3). Let w(u) = u + 1. Let q be w(j). Let c be 3/q - (-78)/(-24). Put c, -5, -1/2 in decreasing order.
-1/2, c, -5
Let x(y) = -y**3 + 4*y**2 - y. Let h be x(3). Suppose -4*n = -n - h. Sort n, 0.3, 1.3 in decreasing order.
n, 1.3, 0.3
Suppose -5*u - 10 = 0, 0 = 4*p - u - 4*u + 26. Let a be (-12)/(-8)*2/p. Put 0.4, 6, a in ascending order.
a, 0.4, 6
Suppose -c + 3 = 2*c. Let b = 9 - 5. Sort b, c, -2 in descending order.
b, c, -2
Let u = -17 - -17. Let v = -9 + 13. Put v, -3, u in ascending order.
-3, u, v
Suppose 0 = -0*r - 2*r + 4. Sort r, -3, -5 in decreasing order.
r, -3, -5
Let l be (12/(-15))/(35/(-25)). Sort 3, 0.06, -1, l in decreasing order.
3, l, 0.06, -1
Suppose 5*d + x = 31, x - 2*x - 23 = -4*d. Suppose -3*r = 2*c - 17, -c - 2*r + 7 = r. Let q = c - d. Sort 0, 5, q in ascending order.
0, q, 5
Let q be (-5 - -2)/((-1)/(-2)). Let w be 2/4 - 21/q. Sort w, -1, 5.
-1, w, 5
Let q be (-36)/27*(-1 - 0). Sort 5/3, q, -0.3 in descending order.
5/3, q, -0.3
Suppose -6 = -4*i + 10. Suppose -48 = -3*s + y - i*y, 0 = -3*y. Suppose -2*w + 3*t - 5*t - s = 0, 0 = -4*w - 2*t - 24. Sort 1, -5, w in descending order.
1, w, -5
Let l be (-6)/(-8)*(11 + -15). Let a be l*(28/12 + -3). Let h(d) = d - 1. Let s be h(6). Sort 3, s, a in ascending order.
a, 3, s
Let b = -13 - -25. Let i = b + -11. Let k(h) = -h**3. Let u be k(1). Sort u, i, -5 in decreasing order.
i, u, -5
Let l = 0.8 + -1. Let v = 326875706/345 + -947465. Let k = v + -1/69. Sort 4, k, l.
l, k, 4
Let x = 1.5 + -1.1. Let v = 87 + -171/2. Sort x, v, 2/13 in descending order.
v, x, 2/13
Suppose 2*l - l = 2. Suppose 3*v + l - 23 = 0. Let f = v + -2. Sort f, -4, -5 in decreasing order.
f, -4, -5
Let q(p) be the first derivative of -p**4/6 + p**3/6 - p**2 - 1. Let f(x) be the second derivative of q(x). Let m be f(1). Sort -5, 5, m in descending order.
5, m, -5
Suppose 5*o + 1 = -2*j - 14, -4*o = 4*j + 24. Put -3, o, 3 in increasing order.
-3, o, 3
Let l be 12 - 8 - (3 + 1). Let t(z) = -z**3 - 3*z**2 - 2*z + 1. Let q be t(-2). Sort 4, q, l in decreasing order.
4, q, l
Suppose -2*b + 20 = -2*d + 2, 5*d = -4*b. Let v = 0.2 - -3.4. Let x = v + -4. Sort 1, b, x.
x, 1, b
Let v = -0.1 + 0.3. Let g = 1.05 - 1.25. Put -3, g, v in descending order.
v, g, -3
Suppose 3*x = -q + 10, 2*q - 6 + 1 = -x. Put -3, -7, q, 2 in ascending order.
-7, -3, q, 2
Let v = -30 + 29.6. Sort -4, 0.5, v, 1/5 in descending order.
0.5, 1/5, v, -4
Suppose 0 = -2*r + r + 7. Put 4, r, 1 in ascending order.
1, 4, r
Let i be (4 + -8 + 2)/1. Put 3, 12, i in descending order.
12, 3, i
Suppose 0 = 3*q - 7 - 8. Suppose -n + 25 = -6*n + 3*y, 0 = 3*n + 4*y - 14. Put n, q, 3 in decreasing order.
q, 3, n
Let j(s) = s**3 + s**