3*m + 2. Put m, b, 3 in decreasing order.
3, b, m
Let a be 2/9 - (-2874)/(-38610). Let n = 3/1945 + -488/64185. Let l = a - n. Put 0, l, 2 in descending order.
2, l, 0
Let k = 70.2 - 70. Let n = -4.6 - -0.6. Sort -2/5, n, k in descending order.
k, -2/5, n
Let w = -11 + 13. Put -3, 3, w, 2/5 in descending order.
3, w, 2/5, -3
Let n = -21 - -43/2. Sort n, 0.2, -0.1, 2/11 in descending order.
n, 0.2, 2/11, -0.1
Let q = -3.03 + 0.03. Suppose 2*g - v + 9 + 18 = 0, 0 = -g - v - 9. Let n be (-3)/(-2)*(-16)/g. Sort q, -2/3, n in descending order.
n, -2/3, q
Let p = -69 - -89. Sort -1, p, 3 in descending order.
p, 3, -1
Let i be ((-5)/(-2))/((-3)/12). Let y = i - -12. Put 0, -4, y in increasing order.
-4, 0, y
Suppose 0 = x + 70 - 70. Let r be (-14)/(-4) - 2/(-4). Sort r, x, 3.
x, 3, r
Let o be (-234)/(-12)*4/6. Suppose -5*j + 3*r = o, -3*j = 4*r + 1 + 1. Let u be j + 4 - (-14)/(-5). Sort -0.2, 3, u in increasing order.
u, -0.2, 3
Let r = -28 + 31. Suppose 0 = -3*z + 3*p - 12, 3*p - 24 = 4*z - 8. Put r, 5, z in descending order.
5, r, z
Suppose -5 = 5*i + 3*p - 5*p, -i - 28 = 5*p. Suppose 3*l + 7 + 7 = 2*n, 4*l - 4*n = -20. Sort i, l, -1.
l, i, -1
Let n be 1 - (15/5 - -6). Sort n, 2, 3 in descending order.
3, 2, n
Suppose -3*a - 16 + 4 = 0. Suppose 0*q + 8 = 2*q. Sort 2, q, a.
a, 2, q
Let r = -20 - -9. Let x = r + 8. Suppose 2*o = 5*u + 1 - 15, o + 4*u - 19 = 0. Sort -4, o, x.
-4, x, o
Let g = -2 - -2. Let v be g - ((-36)/(-15) - 2). Put 2, v, -4 in descending order.
2, v, -4
Let f = 13 + -15. Let d = 5.4 - 5. Sort f, 2, d.
f, d, 2
Let l = -12 - -11.88. Let u = l + -2.88. Sort -2, 1/4, u.
u, -2, 1/4
Let f = -0.12 + -4.88. Sort f, -0.09, 2, -1.
f, -1, -0.09, 2
Let s = 7 + -7.4. Sort -1/4, 1/2, s in decreasing order.
1/2, -1/4, s
Let x = 8 - 8.9. Let i = x + 1. Let h = i + 0.1. Put -1, -2, h in descending order.
h, -1, -2
Let u = -289/66 + 50/11. Let y = 2.96 - -0.04. Put u, y, -1/7 in descending order.
y, u, -1/7
Let i be -10*5/((-100)/(-16)). Let p(q) = -q + 2. Let f be p(-4). Let m = i + f. Sort -4, -5, m in increasing order.
-5, -4, m
Let w be ((-2 - -2)/2)/(-2) - 2. Put -4, 2/9, w, -0.5 in descending order.
2/9, -0.5, w, -4
Let u = -26 + 21. Suppose 4 = -2*g + t + 2, -4*g - 4 = 5*t. Suppose -3*w + p - 3 = -0*w, 2*p - 6 = -4*w. Put u, g, w in increasing order.
u, g, w
Let u(x) = -x**3 + 11*x**2 - 9*x - 6. Suppose 50 = -2*h + 7*h. Let f be u(h). Sort -3, -4, f in descending order.
f, -3, -4
Let i(f) = -f + 3. Let c be 0/(-5 - 8/(-4)). Let m be i(c). Put m, -3/8, 4 in descending order.
4, m, -3/8
Suppose k = 3*k - 2. Sort -0.4, -0.2, k.
-0.4, -0.2, k
Let m = 12 - 0. Let u = 11.5 - m. Sort -5, 5, u in decreasing order.
5, u, -5
Suppose 0 = -2*p + 3*r + 15, 2*p + 2*r = -p - 10. Let b = p - 1. Let s be 0 + (-6)/3 - -6. Sort b, -2, s.
-2, b, s
Let c(g) = g + 12. Let o be c(-6). Suppose -3*k = -2*l - o*k - 1, -3 = l + 4*k. Sort 3, -3, l in decreasing order.
3, l, -3
Suppose -51 = -5*n - 11. Suppose 9*f = n*f + 3. Put 4, f, 0 in decreasing order.
4, f, 0
Suppose -2*t + 1 = -1. Suppose 0 = 42*m - 36*m. Sort t, m, 5 in descending order.
5, t, m
Suppose 3*w = -0*w. Suppose -p - 1 - 5 = w. Put p, -3, -4 in ascending order.
p, -4, -3
Let m(i) = i. Let a be m(1). Suppose 0 = 5*l - a + 6. Sort l, 2, -3 in descending order.
2, l, -3
Let s(o) = o**2 - 9*o - 2. Let c be s(9). Sort -4, -1, c, -3 in descending order.
-1, c, -3, -4
Let q = 1 - 0. Put 6, q, -4 in descending order.
6, q, -4
Let r be 1 - (1 + -1) - 1. Suppose -2*y + 1 = -3*y. Let o be (r/(-2))/(y + -1). Put -5, o, -3 in ascending order.
-5, -3, o
Let n = -16 - -20. Sort n, 3, -1 in increasing order.
-1, 3, n
Let z = 1.909 - -0.091. Sort 5, -1.4, z.
-1.4, z, 5
Suppose -12 = 6*r - 2*r. Let u be 10/(-8) + (-10)/(-4). Sort 5, r, u.
r, u, 5
Let d = 93 + -91. Put d, -1, -2 in decreasing order.
d, -1, -2
Let z be 9/(-8)*(-12)/(-9). Let g = 31/22 + -10/11. Sort z, g, -0.4.
z, -0.4, g
Let i be 2/(-4)*0/5. Sort i, 4, 5 in decreasing order.
5, 4, i
Let y = 11 - 8. Let t(g) = -g - 4. Let q be t(-2). Let w = 21.1 + -21. Put q, y, w in descending order.
y, w, q
Let u be (-66)/(-12)*(-1 + -1). Let p = u + 53/5. Sort p, 1/4, 0 in ascending order.
p, 0, 1/4
Let u = -1343/66 - -121/6. Sort -1, u, 0.6.
-1, u, 0.6
Suppose 0 = j - 2*t - 3 + 7, 0 = 5*j + 5*t - 40. Suppose 10 = j*h + 2. Sort h, 5, 4 in ascending order.
h, 4, 5
Let v be 1 + 0/(-2) - -3. Sort v, -1, 0 in increasing order.
-1, 0, v
Let h be (1 + -4)/(1 - -4). Let s be -7 - -11 - (-55)/(-15). Sort h, 0.4, s in decreasing order.
0.4, s, h
Suppose -12 = 4*n - 28. Suppose 3*o + 4 + n = 5*a, -3*a = -5*o + 8. Let h = -0.09 + 5.09. Put 2/11, h, o in descending order.
h, o, 2/11
Let k = 0.13 - 0.53. Sort 3/7, -5, k in ascending order.
-5, k, 3/7
Suppose 0 = y - 2*y. Let n = 3.04 + -0.04. Put n, y, 1 in decreasing order.
n, 1, y
Suppose -6*v - 11 = 19. Sort 5, v, -29, -1 in increasing order.
-29, v, -1, 5
Let h = 74 - 73. Sort -8, -3, h, 0 in decreasing order.
h, 0, -3, -8
Let i = -7 - 1. Let j = i + 5. Let c(x) = -x**2 + 4*x - 4. Let u be c(4). Put j, 3, u in decreasing order.
3, j, u
Let c = 21 + -21. Let w be 2/2*1 - 1. Suppose w*y + 2*y = 10. Put c, 4, y in increasing order.
c, 4, y
Let f = 6 - 5. Let c = 1.5 - f. Let y = 3.2 + 0.8. Sort 0.2, y, c in decreasing order.
y, c, 0.2
Let v(q) = 2*q**2 + 3*q - 1. Let b be v(1). Sort -1, b, 1 in decreasing order.
b, 1, -1
Let z be 3/6 + 5/(-2). Let t(a) = a - 7. Let b be t(3). Put z, -5, b in ascending order.
-5, b, z
Let y = 27 - 31. Sort -4/5, y, -0.5 in descending order.
-0.5, -4/5, y
Let h(w) be the third derivative of -w**4/24 + 3*w**3/2 - 4*w**2. Let z be h(5). Let t = 1 - -1. Put t, z, -2 in descending order.
z, t, -2
Let j(p) = p**2 - 7*p + 4. Let f be j(5). Let w = -31 + 15. Let b be 4/w*(-3)/f. Put -3, b, -4 in decreasing order.
b, -3, -4
Let f = -0.4 - -0.6. Let y = -3.2 + f. Let i = y - -3.1. Sort -0.5, 4, i in decreasing order.
4, i, -0.5
Let y(h) = -h**3 + 6*h**2 - 2*h + 17. Let t be y(6). Sort t, 0, 7, -1 in ascending order.
-1, 0, t, 7
Let q be 10/((-25)/(-5)) + 0. Let p be 0/(4*2/4). Put q, 5, p in decreasing order.
5, q, p
Let w = 2296/17 - 157693/1173. Let l = 24/23 + w. Let h = 0.2 + 0.3. Sort l, -3, h in decreasing order.
l, h, -3
Let q(v) = -v + v**2 + 3*v - 3*v + 0*v**3 + 3 - v**3. Let w be q(0). Let n be ((-3)/8)/(6/4). Sort 1, n, w in decreasing order.
w, 1, n
Suppose 0 = 5*q - 10 - 0. Let m be 8/28 + 30/(-7). Put 4, q, m in decreasing order.
4, q, m
Let r = 3.6 - 7.8. Let v = r + 4. Let p = 0.3 - v. Sort 1, -0.1, p in descending order.
1, p, -0.1
Let y = -7.8 + -4.2. Put 1, -0.4, y in ascending order.
y, -0.4, 1
Let u be 15/(-9) + (-6 - -9). Put -0.17, u, -2 in ascending order.
-2, -0.17, u
Suppose -7*f = -12*f. Sort -1/11, -4, 2/3, f in descending order.
2/3, f, -1/11, -4
Let f(y) = -2*y + 2. Let i be f(-5). Suppose 2*o - i = 6*o. Let l be 0 + 1 - (-2 - 1). Put o, -4, l in decreasing order.
l, o, -4
Let m(z) = z**3 - 7*z**2 - 8*z + 2. Let v be m(8). Suppose v*f + 3 = -3. Sort -1, -2, f.
f, -2, -1
Let d be (-3)/2 - (-1)/(-2). Let p = d - -1. Sort p, 2, 0 in increasing order.
p, 0, 2
Let p = -12 - -12. Suppose 2*u = -5*k + u + 5, p = 4*k - 5*u - 33. Put 4, k, 1 in ascending order.
1, k, 4
Let j = -0.122 - -0.022. Sort 2, 7, -1/4, j in decreasing order.
7, 2, j, -1/4
Let p = -147 - -114. Sort -3, p, 3 in increasing order.
p, -3, 3
Suppose 0 = -3*t + 8*t + 20. Let u be (0/(-2))/(-3 - t). Sort u, 0.4, -1/3 in descending order.
0.4, u, -1/3
Suppose 2 = -4*r + 2. Suppose -4*f + 37 = 2*w - 3*f, 0 = -4*w + f + 83. Suppose 0 = 3*z, 7*y = 3*y + 4*z + w. Put 1, r, y in decreasing order.
y, 1, r
Let o = 6 + -9. Let q(z) = z**3 + 4*z**2 - 7*z - 4. Let t be q(-5). Let a be (t/12)/(10/4). Put a, o, 3 in decreasing order.
3, a, o
Let f be (-3)/6 + (-1)/(-2). Let y be ((-18)/3)/(-6)*-5. Sort y, f, -2 in decreasing order.
f, -2, y
Suppose -4*h + 3*z + 3 - 14 = 0, 20 = 4*z. Suppose -5*p = -5*i + 120, 127 = 5*i - 3*p + 7. Let s be -2*(-4)/(i/(-9)). Sort h, s, -5 in ascending order.
-5, s, h
Let w = 7 - 7. Let z = 5 + w. Sort -1, 1, z in decreasing order.
z, 1, -1
Let b be (-3)/(-4) + 49935/156. Let d = b + -321. Sort -4, d, 0.1 in decreasing order.
0.1, d, -4
Suppose 7 = 7*y - 21. Let u(j) = j**3 - 3*j**2 + 2*j. Let f