v = -31 - -339/11. Let n = -8 + 4. Sort v, n, 2/3 in decreasing order.
2/3, v, n
Let t = -45 + 48. Sort 24, -2, t in descending order.
24, t, -2
Let j be (-1 - -1)/(1*(1 + -2)). Put 1, -3, j, 3 in decreasing order.
3, 1, j, -3
Let f = 0.057 - 0.157. Sort 1/6, 5, f, -1/8 in decreasing order.
5, 1/6, f, -1/8
Let x = 8.15 + -8. Let z = -0.07 - -0.02. Let f = z - x. Put f, 1/3, -3 in descending order.
1/3, f, -3
Let f = -4 + 2. Suppose -6*u = -7*u + 3. Suppose u*d + 2*w + 0*w + 10 = 0, -5*d + 25 = -5*w. Put d, f, 3 in ascending order.
f, d, 3
Suppose -h + 1 + 6 = 2*o, 0 = -4*o + 5*h + 35. Sort 2, o, 1.
1, 2, o
Let j = -1 + -7. Let l be (-4)/j - (-5)/2. Suppose 6*k - 3 = l*k. Put 3, 2/3, k in decreasing order.
3, k, 2/3
Suppose 10 - 8 = 2*a. Sort -3, a, -38 in increasing order.
-38, -3, a
Suppose 4*n + 3 - 40 = 5*m, -3*m - 9 = 2*n. Suppose n*c + 0*p = p - 24, 3*c + 15 = 4*p. Sort c, -5, 0 in descending order.
0, -5, c
Let x be 18/(5 - 2) + (-7 - -4). Sort x, -1, -4 in descending order.
x, -1, -4
Suppose 6 = i + 2*i. Put -20, i, -4 in descending order.
i, -4, -20
Let l = -18 + 21. Suppose 3*j = 5*f + 12, 3*j + j = 16. Let h = f - l. Sort 4, 0.3, h in decreasing order.
4, 0.3, h
Suppose 0*s = 3*r - 5*s + 10, -3*r - 14 = -s. Sort -1, r, 2, 4 in decreasing order.
4, 2, -1, r
Let d = 12 - 10. Suppose -5*w + 3*q - 7 = 0, -3*w - 7 = -2*w + 5*q. Let y = -1 - w. Sort -3, d, y in ascending order.
-3, y, d
Let s = -0.02 - 0.11. Let o = s + 0.07. Sort -1, 2/9, o in descending order.
2/9, o, -1
Let w(t) be the third derivative of t**6/120 + 11*t**5/60 + 3*t**4/8 - 5*t**3/6 + t**2. Let o be w(-10). Let z = -9 + o. Put 5, 4, z in increasing order.
z, 4, 5
Suppose 0 = 4*r + 5*w - 30, -4*r - w - 14 + 36 = 0. Let g = r - 10. Sort 0.5, -2, g in decreasing order.
0.5, -2, g
Let n(l) be the first derivative of -3*l**4/4 + l**3/3 - l**2/2 - 3. Let i be n(1). Suppose 4 = -3*o + 1. Put o, i, 2 in decreasing order.
2, o, i
Suppose -4*n - 12 = -n. Sort 0.01, n, 2 in descending order.
2, 0.01, n
Suppose -4*h - h = -30. Suppose 25 = -5*n, 0 = -4*z + 3*z + 2*n + h. Put z, -3, 1 in ascending order.
z, -3, 1
Let i be (2/(-4))/((-4)/(-8)). Let w be (-6)/i + 0 + -3. Sort w, -2, -5 in descending order.
w, -2, -5
Let n be (-1)/(-3)*(-3)/(-4). Let q = 23 + -24. Sort 0.1, q, n in increasing order.
q, 0.1, n
Let k be ((-2)/4 + 0)*2. Put -3, k, -2 in descending order.
k, -2, -3
Let j = 4.44 + 0.06. Let t = j + -5. Let h = 0.3 - 2.3. Sort h, -0.4, t in decreasing order.
-0.4, t, h
Suppose -h - 24 = -4*d - 7, 4*d = 2*h + 22. Put 4, 5, h in increasing order.
h, 4, 5
Let i be (-8)/(-10)*5/(-20). Put -4, 0, i in descending order.
0, i, -4
Let b = -25 + 13. Let a be (-4)/6 + (-56)/b. Suppose u - 1 = -a. Put -1, u, 1 in descending order.
1, -1, u
Let t(k) = 3*k**2 - 3*k + 3*k**2 + 0*k - 6 - k**3. Let q be t(5). Let v(o) = -o - 6. Let p be v(-5). Sort q, p, 1 in increasing order.
p, 1, q
Let t = -7 + 10. Let x = 40 - 41. Sort t, x, -0.1.
x, -0.1, t
Let j(t) = t**2 - 9*t - 6. Let o be j(9). Let s be 2*(3/o + 3). Suppose s*n - 9*n = 0. Sort n, -1, 3 in decreasing order.
3, n, -1
Let d = -6 - -10. Suppose -q - 6 = 2*q. Let y = q - -3. Put y, d, 5 in descending order.
5, d, y
Let i = -2.2 - -0.2. Let g = -9 + 3. Let o = 5 + g. Sort i, o, 2/5 in increasing order.
i, o, 2/5
Suppose -2*j = -5*n + 25, 10 = -12*n + 7*n - 5*j. Sort 0.5, n, -0.2, -3 in increasing order.
-3, -0.2, 0.5, n
Suppose -14*w = 7 - 21. Put 0, -1, w, 5 in decreasing order.
5, w, 0, -1
Let t(r) = 6*r + 2. Let x be t(-2). Let u = x - -11. Put u, -5, -0.2 in decreasing order.
u, -0.2, -5
Let z = -9 + 6. Sort 3, z, -2 in ascending order.
z, -2, 3
Let m = 0 - 0.1. Sort m, 2, 3 in descending order.
3, 2, m
Let b be 6/21 - (-89)/(-140). Let z = b + -2/5. Sort -5, -2/9, z in increasing order.
-5, z, -2/9
Let f(u) = -5*u**3 - u**2 - u. Suppose 2*o - 2 = 4*o. Let n be f(o). Suppose 3*c = -4*m + 4, -3*m - 37 = -n*c - 11. Put -2, c, 0 in decreasing order.
c, 0, -2
Let x be 6/(-10) + (-69)/(-15). Suppose n = -3*n. Suppose q + n*q = -3. Put -1, q, x in decreasing order.
x, -1, q
Let x be (-2)/((40/(-12))/5). Sort -5, -2, x, 0 in descending order.
x, 0, -2, -5
Let k = -11 + 7. Let u = 49 + -345/7. Sort -3, k, u in decreasing order.
u, -3, k
Suppose -7*k = -3*k. Let q = 9 + -6. Suppose 2*a + 2*a + 5*z = -9, q*a - 3*z - 27 = 0. Sort -2, a, k in increasing order.
-2, k, a
Suppose 0 = -z + 2*n - 5, 0*z + 4*n - 13 = 5*z. Suppose 4*k - 41 = 3*w + 3, -3*k + 4*w = -40. Let i = k + -7. Sort i, z, 2.
z, i, 2
Let y = -1/14 - 10/7. Put -0.4, 1, y in ascending order.
y, -0.4, 1
Let h(l) = l**2 + 3*l. Let s be h(-3). Sort -8, s, -3 in increasing order.
-8, -3, s
Let i(j) = j**3 - 4*j**2 - 5*j - 5. Let o be i(5). Put 1, o, 3 in ascending order.
o, 1, 3
Let r = -29 - -22. Sort -0.5, r, 0.5 in increasing order.
r, -0.5, 0.5
Let c = 23/3 - 22/3. Let b = 2.19 - 0.19. Sort c, b, -0.3 in decreasing order.
b, c, -0.3
Suppose 37 = -8*i - 3. Sort -6, 3, i, -1 in descending order.
3, -1, i, -6
Let d be 54/15 + (-4)/(-10). Let t = 4 + -9. Sort 5, d, t in decreasing order.
5, d, t
Let z = 30 + -31. Put 2, -0.4, -1.5, z in decreasing order.
2, -0.4, z, -1.5
Suppose -3*d + d = 0. Put d, -1, -4 in increasing order.
-4, -1, d
Let u(x) = x**3 + 5*x**2 + 4*x - 3. Let s be u(-4). Let c = -72 - -68. Sort c, -2, s.
c, s, -2
Let i be 45/(-18)*(-1 - (-22)/10). Sort i, 7, 2.
i, 2, 7
Let y be -1*1 - (7 - 1). Suppose 11 = n + 23. Let w = n - y. Put w, -1, 5 in increasing order.
w, -1, 5
Let n(s) = 2*s**2 + s - 2. Let u be n(-2). Sort 2, -2, u.
-2, 2, u
Let i(s) = -s**3 + 7*s**2 - 6*s + 6. Let r be i(6). Suppose -5*h + 7*h = r. Put 2, h, -3 in descending order.
h, 2, -3
Let a = -0.7 - -0.6. Let m = a - 0.2. Let x = 0.1 + -0.1. Sort -3, x, m in increasing order.
-3, m, x
Let a = -12.4 - -8.4. Sort -1, a, -1/4, 14.
a, -1, -1/4, 14
Let g = 0.98 + 0.02. Let y = g - -4. Sort -1, y, -1/7 in decreasing order.
y, -1/7, -1
Suppose 1 - 7 = 3*d. Let s be 1/d + 44/8. Sort -2, s, 2 in decreasing order.
s, 2, -2
Let n = 52 - 49. Sort n, -3, 2/3, 0.4.
-3, 0.4, 2/3, n
Suppose 0 = -4*b + 2*j - 2, 8 = -4*b + 4*j. Let c = -6/31 + -8/279. Sort 2/7, b, c in decreasing order.
b, 2/7, c
Suppose w = 2*h + 2 + 2, 2*h + 4 = 5*w. Sort -3, w, 3 in increasing order.
-3, w, 3
Let c = 1.4 + 1.6. Sort 3/7, c, -1.
-1, 3/7, c
Let n = 119 + -114.19. Let c = n - -0.19. Sort c, 9, 0.3 in descending order.
9, c, 0.3
Let z = 6 + -4. Let t = z + -2.3. Let u(x) = x**3 + 6*x**2 - 6*x + 8. Let j be u(-7). Sort t, 3, j in ascending order.
t, j, 3
Let p = 0.103 + -5.103. Let r = 81 - 327/4. Suppose -a - a - 8 = 0. Sort p, a, r.
p, a, r
Let g be (-39)/65*(-4)/(-6). Sort g, -1/2, 4 in descending order.
4, g, -1/2
Let w(j) be the third derivative of j**6/120 - j**5/30 + j**3/3 - 4*j**2. Let o be w(2). Let g(z) = -z**3 + 2*z. Let t be g(-2). Sort o, t, -5.
-5, o, t
Suppose 16*i = 18*i + 6. Sort -2, 5, i, -1 in descending order.
5, -1, -2, i
Let k = 0.34 - -0.16. Sort k, 10, -0.3 in descending order.
10, k, -0.3
Let v be (-2)/(-3)*(-6)/(-4). Let t = 16 - 16. Suppose 4*o + t*o - 5 = 3*b, -3*o + 5 = -2*b. Sort o, v, 4.
v, 4, o
Let r(w) be the third derivative of w**4/24 - w**3/6 - 2*w**2. Let o be r(4). Put -3, -5, o in decreasing order.
o, -3, -5
Let f = 1 + -1.2. Let m = 1.08 + -0.68. Put 8, m, f in descending order.
8, m, f
Suppose -2*n + 3*n + 3 = 0. Suppose -3 - 9 = -3*j. Suppose 0 = 2*w + 2*x + 2, j*x - 3 = 5*x. Sort -5, w, n in decreasing order.
w, n, -5
Let c be 4/12 - (-7)/(-3). Sort 1, c, 2 in increasing order.
c, 1, 2
Let h = 52 + -51. Let y(p) = 3*p - 3. Let z be y(2). Sort -1, h, z.
-1, h, z
Let n = -25 - -24. Put n, 5, -2 in descending order.
5, n, -2
Suppose -11 = -2*h - 5. Let d(n) = -n**3 + 4*n**2 - 5*n + 4. Let q be d(h). Suppose 2*m - 8 = 4*m. Sort q, -1, m.
m, q, -1
Let j be -11*(110/(-39) + 3). Let s = -30/13 - j. Put -1, s, 1 in decreasing order.
1, s, -1
Let t = 3 + -2.5. Let i = -5 - -4.3. Let l = 0.4 + i. Sort -3, t, l in increasing order.
-3, l, t
Let t = -8.5 + 9. Let n be (-128)/(-156) - 2/3. Put t, n, -1 in ascending order.
-1, n, t
Suppose 5*v + 205 = 5*n, -n = -5*v + n - 190. Let p be (-8)/v + (-2)/9. Let q be -4*(-1 - 0) + p. Sort -3, 2, q in descending order.
q, 2, -3
Let u(d) be the second derivative