u + -29/3. Let r = -2/19 + 23/38. Put 0.3, r, v in descending order.
r, v, 0.3
Let f = 2.83 + 0.17. Put f, 1/4, 1/7 in decreasing order.
f, 1/4, 1/7
Let y(j) = -j**2 - j + 15. Let z be y(-4). Suppose 0*n + 2*n - 10 = 0. Suppose -n*i - 2*w - 30 = 3*w, 20 = -4*w. Sort i, z, 5.
i, z, 5
Let d = 6 + -17. Sort -2, d, 0, 4 in decreasing order.
4, 0, -2, d
Suppose 0 = 3*t - 2*b + 46, -2*t - 4*b - 1 = 3. Let q = -6 - t. Suppose 0*g - 2*g = -q. Sort -3, 5, g.
-3, g, 5
Let m = 5.1 - 0.1. Sort 0.5, 0.4, m.
0.4, 0.5, m
Let n = 0.033 + -5.033. Sort n, -8, -4.
-8, n, -4
Let w be 11/33 - 1/12. Sort 0.03, w, 1 in decreasing order.
1, w, 0.03
Let l = 14 + -12. Suppose -3*r + 2*p = -13, l = -5*p - 23. Suppose -y - 5*d + 3 = 2, -3*y - d - 11 = 0. Put r, y, -1 in descending order.
r, -1, y
Let j be 1/(-2)*0 + 0. Put 5, j, 6 in increasing order.
j, 5, 6
Let t be (-9)/3*26/6. Let f = t - -15. Sort f, -15, 4 in descending order.
4, f, -15
Let r = -1 - -1. Suppose r = -3*f + 2*l + 2, -2*l - 2*l = 4. Suppose 8*w - 3*w + u + 1 = 0, f = -w + 2*u + 2. Sort w, -1, 4 in decreasing order.
4, w, -1
Let v(t) = t**3 + 7*t**2 + 5*t - 4. Let d be v(-6). Suppose 2*q + d*q = 4. Let x be (-3)/9 - 14/(-6). Put -3, x, q in increasing order.
-3, q, x
Suppose 0 = -f + 5*f - 16. Sort -4, 0, 9, f in increasing order.
-4, 0, f, 9
Let a = 12 - 16. Let h = a - -8/3. Put 0.4, 0.1, h in increasing order.
h, 0.1, 0.4
Let i(k) = k**3 + 2*k**2 + 4. Let a be i(-3). Suppose -2*c = -5*h + 2*h - 6, 0 = -5*h - 2*c - 10. Put a, 4, h in ascending order.
a, h, 4
Let c be (48/60)/((16/(-70))/4). Put 0, c, 4/3, -1/8 in descending order.
4/3, 0, -1/8, c
Suppose -4*w = 5*z + 47, 9*w = 4*w + 10. Let u = z + 14. Suppose 2*a + 4 = a. Put a, u, 4 in ascending order.
a, u, 4
Let u(b) = 0 + 9*b - 7*b + b**2 + 2 - 5. Let s be (-3 + 2)/(1/3). Let v be u(s). Put 2, -1, v in descending order.
2, v, -1
Let n = -56 - -51. Sort 5, 0.2, -3, n in increasing order.
n, -3, 0.2, 5
Let c = 0.3 - 0. Let f = 13 - 12.6. Sort f, c, 2/11 in descending order.
f, c, 2/11
Suppose 3*m - 15 = -4*k, 2*m - 10 = -3*k + 6*k. Put 4, 0, m in ascending order.
0, 4, m
Let j be -2 + (1 - 6/5) - -3. Sort j, -0.2, 0.4 in decreasing order.
j, 0.4, -0.2
Let l = -142 - -147. Let g = -3 - -4.5. Let p = 2 - g. Sort 1/6, p, l in descending order.
l, p, 1/6
Let u = 2.2 + -2. Let z = u + -0.3. Let b = z - 0. Sort -4, -2, b in increasing order.
-4, -2, b
Let o(u) = -u**3 - 9*u**2 - u - 6. Let b be o(-9). Put b, -5, -13 in increasing order.
-13, -5, b
Let t(a) be the first derivative of a**4/4 + 2*a**3 - a**2 - 7*a - 1. Let g be t(-6). Let y(j) = -j - 13. Let p be y(-9). Put 1, p, g in descending order.
g, 1, p
Let s(y) = -2*y**2 - 4*y + 28. Let m be s(-5). Sort -4, m, -3 in descending order.
m, -3, -4
Let m(t) = 2*t**2 - 3*t - 4. Let c be m(3). Let f = 6 - c. Sort 2, 0.1, f.
0.1, f, 2
Let j be (-3 - 42/(-10))*-10. Let t be (j/(-8))/((-4)/(-8)). Put -4, t, 5 in increasing order.
-4, t, 5
Suppose -o = -2*o + 4. Let z be o/14 + (-6)/21. Sort 5, z, 3 in ascending order.
z, 3, 5
Let n = -8 + 8.3. Let x = -5.06 - -0.06. Suppose -a = -2*a - 1. Put n, x, a in ascending order.
x, a, n
Let c be (-9)/(-6) + (-261)/6. Let s be (c/(-44) + -1)*4. Let i = -3.1 - -3. Put -0.3, s, i in decreasing order.
i, s, -0.3
Let p be (10/3)/(2/3). Suppose 5*b = -p*c - 0*b - 20, 0 = -5*c - 4*b - 19. Let d = -1 + c. Sort 1/4, -5, d in descending order.
1/4, d, -5
Suppose 4*x + 0*x + 8 = 0. Put 5, x, -5, -4 in decreasing order.
5, x, -4, -5
Let b = 22/7 - 170/63. Sort b, -0.5, -3 in decreasing order.
b, -0.5, -3
Let a(l) = 1 - l + l**2 - 5 + 2*l. Let k be a(-3). Let r be 0/(1 + 0 + -3). Sort k, -5, r in descending order.
k, r, -5
Suppose 4*z + 170 = -3*w, 0*z - 5*z - w = 207. Let d = z - -29. Let q be (d/(-3) - -1) + 1. Sort 4, q, -1 in descending order.
q, 4, -1
Suppose -4*d + 7*d + 9 = -2*v, -4*v + 15 = -5*d. Put 4, 12, -2, v in decreasing order.
12, 4, v, -2
Suppose 5*v - 4*v - 10 = 0. Let t(n) = -n + 10. Let i be t(v). Let b be (5/4)/((-6)/(-24)). Sort b, 2, i.
i, 2, b
Let r = 10 - 7. Sort r, -1, -2 in decreasing order.
r, -1, -2
Let f(n) = -n**2 + 5*n + 8. Suppose 3*q - 14 = q. Let t be f(q). Suppose 3*c + 4*l - 17 = -6, -10 = -5*c - 5*l. Sort 3, t, c in descending order.
3, c, t
Let w be (-60)/(-8)*(-8)/10. Let b be w/(-4) + (-171)/54. Sort b, -0.1, -3 in decreasing order.
-0.1, b, -3
Let j = -4 + -1. Suppose -3*h + 9 = -2*g, -3*h = 2*g - 0*h - 9. Put g, j, -2 in decreasing order.
g, -2, j
Suppose -4*x = -0 - 4. Suppose 0*o + 3*u = -4*o - 59, u - 17 = 2*o. Let a = o + 9. Sort a, -4, x in decreasing order.
x, a, -4
Let z = -122 - -135. Put z, 2, 0 in decreasing order.
z, 2, 0
Let x = 0.32 - 1.32. Put 0.1, x, -0.04, -0.3 in decreasing order.
0.1, -0.04, -0.3, x
Let o = 5 + -5.3. Let h = o + 0.2. Let u = -2.1 - h. Sort 4/3, u, -1/4 in decreasing order.
4/3, -1/4, u
Let i be (128/96)/(3*2). Suppose 0 = -d + 1 - 2. Put d, -5/2, i in decreasing order.
i, d, -5/2
Let h(i) = i**3 + 5*i**2 - 7*i + 5. Let r be h(-6). Let z = 7 - r. Let c = 7 + z. Put 2, c, -1 in decreasing order.
c, 2, -1
Let v = 7.5 - 8.5. Suppose 5*u + 2*w + 8 = -2*w, -5*u = -w + 23. Put u, 0.4, v in ascending order.
u, v, 0.4
Let n = -1 - -1.5. Let l = -29/5 + 329/55. Let i = 1 + -1.4. Put n, i, l in descending order.
n, l, i
Let b(d) = -d**2 + 6*d - 4. Let p be b(4). Let g = -15 - -6. Sort g, p, 5.
g, p, 5
Suppose x + 4 = t, 0 = -2*x - 3*t + 1 + 1. Let g(m) = -m**3 + m**2 + 2*m + 1. Let w(u) = u**3 - 4*u**2 - 4*u - 6. Let h be w(5). Let l be g(h). Sort x, l, -3.
-3, x, l
Let o = 31/162 - 2/81. Sort -2.1, o, 0, -1/3 in descending order.
o, 0, -1/3, -2.1
Suppose f + 3 = 2*f. Suppose -4*l + f*i = -10 - 21, 3*l - 3*i = 24. Suppose -3*p + 23 = 5*r, -2*p + 2*r - l = -p. Put p, -4, 3 in increasing order.
-4, p, 3
Let g = -23 - -22. Let r(v) = v**2 + v - 2. Let j be r(2). Put j, -5, g in increasing order.
-5, g, j
Let u = -1.2 - 1.8. Sort u, -2/11, 0.
u, -2/11, 0
Let o(v) = v**3 + 2 + 6*v - 7*v**2 + 0*v**3 + 0*v**3 + 2. Let k be o(6). Put -5, k, -1 in ascending order.
-5, -1, k
Let d = -7 + 11. Let s(r) = -3*r - 1. Let y be s(1). Put y, d, -5 in increasing order.
-5, y, d
Let v be 0*2/4 + 0. Suppose v = -p + 1 - 2. Let y = -11 + 12. Sort y, -3, p in increasing order.
-3, p, y
Let a = 0.07 - -2.93. Let j = 0 + -0.4. Sort j, a, 0 in ascending order.
j, 0, a
Let d = 2 + -3. Let y be ((-2)/5)/((-6)/(-60)). Sort y, -2, d.
y, -2, d
Let h = -11.6 + 12. Sort 1/2, 41, h in descending order.
41, 1/2, h
Let j = -274 - -3012/11. Let t = -2 - -2.4. Sort j, 3, t in decreasing order.
3, t, j
Let d = -9 + 16. Put d, -3, -5 in decreasing order.
d, -3, -5
Let k = 1.9 - -2.1. Sort 2, 9, k in ascending order.
2, k, 9
Suppose -2*c + 2*r = -4*c - 10, 0 = r. Let m be ((-4)/(-8))/((-2)/(-12)). Suppose -4*u + m*u + 1 = -v, 4*v = -5*u + 5. Put c, -2, v in increasing order.
c, -2, v
Suppose -q + 8 = q. Put -5, -4, q in decreasing order.
q, -4, -5
Suppose 10 = 4*c + c. Put c, 4, -1/3 in ascending order.
-1/3, c, 4
Let n be 12 - 3/(-6)*2. Suppose -4*b = 20, b = -4*o - 6 + n. Suppose 4*u - 3*u = -o. Sort 3, 1, u in increasing order.
u, 1, 3
Let m = -2 - -1.2. Let b = -0.3 - m. Suppose p - 6*p = -5. Put p, 2/5, b in descending order.
p, b, 2/5
Suppose -p = 3*i - 6*p + 19, 3*p - 23 = -4*i. Let x = 2 + -2. Let v = x - 2. Sort 4, i, v in ascending order.
v, i, 4
Let x = 4.2 + -0.7. Let y = x - 4. Put -5, y, 1/2 in decreasing order.
1/2, y, -5
Let i = -3.4 - -2. Let d = 0.4 - 1. Let a = d + i. Sort -4/3, a, -4.
-4, a, -4/3
Let l be (-18)/(-4)*4/6. Let y(i) be the first derivative of -i**3/3 + 5*i**2/2 + i + 1. Let x be y(4). Put x, 4/3, l in decreasing order.
x, l, 4/3
Let v be 0 + (-8 - (-5 + 1 - -1)). Put 0, -9, -4, v in increasing order.
-9, v, -4, 0
Let m(z) = -4*z**3 - 7*z**3 + 12*z**3 + 6*z**2 - 10*z - 16. Let i be m(-7). Put 1, i, -2 in ascending order.
-2, 1, i
Let g = 2 + -3. Let b be -1 - (3/(-4) + (-21)/84). Sort 5, b, g in increasing order.
g, b, 5
Let p be ((-6)/9)/((-4)/(-6)). Sort -5, p, -7 in ascending order.
-7, -5, p
Let k = -13 + 11. Let c(t) = 2*t**2 - 3*t - 4. Let f be c(3). Let i = -10 + f. Sort k, 2, i.
i, k, 2
Let m(y) = -2*y + 2*y + y + 10. Let u be m(-6). Put 0, 1, u in increasing order.
0, 1, u
Let x = -8 + 7.7. Sort x, 3/8, -2/5 