. Sort 1, m, 2/15.
m, 2/15, 1
Suppose 70 = j + 6*j. Sort j, 2/13, -1/3 in descending order.
j, 2/13, -1/3
Let q = -42 - -37. Suppose 0 = 2*b + 5*l - 34, -3*l = -4*b + 3*b - 5. Sort b, q, 2.
q, 2, b
Suppose 55 + 25 = 4*f. Suppose -6*h = -h - f. Put 0, h, -5 in increasing order.
-5, 0, h
Let u be (4/3)/(2/(-6)). Suppose 3*w + 6 = -2*k - 1, -2*w - 2 = 4*k. Let o = -16 - -11. Sort k, o, u in decreasing order.
k, u, o
Let d = 126 + -121. Let i = -3 + 4. Put -2, d, i in increasing order.
-2, i, d
Suppose 5*a + 5*g = 30, -3*a + 2*a - 3*g = -12. Let n = -2.04 + 0.2. Let s = n - 0.16. Sort s, a, -3 in increasing order.
-3, s, a
Let g(q) = -q**2 + 6*q - 5. Let a be g(6). Suppose -87*y = -86*y - 3. Sort a, 5, y in descending order.
5, y, a
Suppose 3 = 2*l + 1. Let b be l*(-2 + 3)*3. Let c = 0.17 + -4.17. Sort b, 1/8, c in decreasing order.
b, 1/8, c
Suppose 5*l + 35 = -20. Let a = l - -12. Sort -1, a, 2 in descending order.
2, a, -1
Let n be -2*1/6*-3. Let p = -6 - -7. Let b be -3 + p + 2 + -1. Put n, b, 3 in descending order.
3, n, b
Let x = 6.95 - -0.05. Let n = 2 - x. Let v = -4.9 + 5. Put v, n, -4 in descending order.
v, -4, n
Let w = 0.17 - -6.83. Let y = -7.05 + w. Let t = y - -0.55. Put t, 5, -0.1 in ascending order.
-0.1, t, 5
Suppose -5*i - 8 = -i. Suppose 3*c - 7 + 22 = h, -2*h + 22 = -4*c. Sort 1, c, i in increasing order.
c, i, 1
Suppose u = -6 - 7. Let k = u - -8. Let a = 4 + k. Sort a, 3, 5.
a, 3, 5
Let d be 10/(-26)*4/10. Let p be (-2)/(0 + 2/3). Let t = 3.9 - -1.1. Sort d, p, t.
p, d, t
Suppose c - 7 = -2. Suppose 4*b - 2*b = 4. Put 1, c, b in descending order.
c, b, 1
Let s = 45 + -27. Let j = s - 17.7. Let t = 1 - 6. Sort j, 2, t in descending order.
2, j, t
Let m = 1 - 0. Suppose -5*v + 6 = 3*r, 2 = 2*v + 3*v + r. Sort v, m, -2 in decreasing order.
m, v, -2
Let a(p) = -11 + p + 7 - 3*p. Let u be a(-3). Put -3, 0.4, u in descending order.
u, 0.4, -3
Suppose 0 = 3*m + 5*l - 24, -5*m = 2*l - 24 + 3. Put 4, m, -9 in descending order.
4, m, -9
Let t = -11 + 17. Suppose -t = -c - 2*u, 3*u = -0*c + 4*c + 31. Sort c, 1, -2 in increasing order.
c, -2, 1
Let o(d) = -d**3 + 10*d**2 - 10*d + 7. Let t be o(9). Sort 2, 1, -9, t in ascending order.
-9, t, 1, 2
Let r be (20/(-15))/((-12)/27). Put r, -4, -10 in increasing order.
-10, -4, r
Let f = 1.66 - -0.34. Put 5, f, -5 in increasing order.
-5, f, 5
Let i = 4 + -5. Put 0, i, 2 in decreasing order.
2, 0, i
Suppose -1 = 5*z - k - 6, k = -5*z - 5. Let m(c) = -c**2 + 3*c - 1. Let o be m(3). Sort z, -5, o in descending order.
z, o, -5
Let g = 3.47 + -0.47. Put -10, -1, g in decreasing order.
g, -1, -10
Suppose 4*l + g - 3 = 0, -4*l - 3*g = -3 + 2. Let w be (-1)/2*(l - -1). Let n = w + 3. Sort n, -2, -5 in ascending order.
-5, -2, n
Let v be 12/2 + 4*(-2)/8. Sort -5, -4, v.
-5, -4, v
Let j = 9 - 9. Put 0.3, j, -1 in decreasing order.
0.3, j, -1
Let d = 9 + -5. Let c be d/2 - (-2 + 3). Let s = 4 + -9. Sort s, 0, c in decreasing order.
c, 0, s
Let l = -98 - -90. Sort l, 5, 2, -3.
l, -3, 2, 5
Let d = 31 - 27. Sort -1, 0.3, 7, d in ascending order.
-1, 0.3, d, 7
Let j be 2/(-5) + 23/(-5). Let r = 7 + 21. Let u = r - 31. Sort j, u, 1.
j, u, 1
Let k = 11 + -6. Let u be (-4 - -5)/((-4)/1). Put k, u, 0.5 in increasing order.
u, 0.5, k
Let r be (-1)/(4302/(-3806)) + -1. Let q = r - -1/239. Let t = -109 + 983/9. Put t, q, 5 in increasing order.
q, t, 5
Suppose -7*h = -3*h + 12. Sort 2, 1, h.
h, 1, 2
Let r be ((-1)/21)/((-3)/(-9)). Sort -0.05, r, 5 in descending order.
5, -0.05, r
Let j = -26 - -31. Sort -5, j, 0.2 in ascending order.
-5, 0.2, j
Let n = -6 - -9. Let c = -1 - 1. Let v = 1.9 + c. Sort n, -3, v.
-3, v, n
Let u be 2/((-18)/349) - 1. Let m = 40 + u. Let n = -0.03 - 0.97. Sort m, n, -2/5 in ascending order.
n, -2/5, m
Let s = 37 + -37.3. Sort 1/7, s, 0.1 in descending order.
1/7, 0.1, s
Let n = 0.3 + -0.1. Let s = -0.3 - n. Let a = 0.3 + s. Put -5, 4, a in descending order.
4, a, -5
Suppose -3*w + 7*w - 16 = 0. Suppose -w = 3*q - 2*q. Sort q, -1, -5 in ascending order.
-5, q, -1
Let m be 0 + 0 + (0 - 2). Let f = 9 + -6. Suppose -5*g - 2 = f. Put m, 2, g in ascending order.
m, g, 2
Let k = 553/4 + -138. Sort -2, -4, k.
-4, -2, k
Let l = -1/16 - 3/16. Let h = 3.68 + 0.32. Let g = -3.2 + 3. Sort g, h, l.
l, g, h
Suppose -4*n = -n - 30. Let f = -9 + n. Sort -5, f, 0.
-5, 0, f
Let o be ((-1)/(-3))/(1/9). Suppose 2*i + 5*n = -13, 0*n - o*n + 9 = -3*i. Let v = -8 - -5. Sort i, 2, v.
i, v, 2
Suppose 5*l - g + 3 = 0, -6 = -4*l - 3*g + g. Let p(n) = 0 + 2 - n + l*n. Let x be p(7). Sort 3, x, -2 in decreasing order.
3, -2, x
Let i = -6 - -11. Let q(w) = -w + 4. Let o = 13 + -8. Let l be q(o). Put i, 3, l in ascending order.
l, 3, i
Let x be (-1)/(2/6)*1. Let h be (1 - 1)*4/(-24)*3. Put h, 5, x in ascending order.
x, h, 5
Let y(n) = -n**3 - 5*n**2 - 5*n. Let w be y(-4). Let b be 2 + (1 - w - -2). Let x be (1 + 0)*(-16)/(-4). Sort x, b, 3.
b, 3, x
Let m be (-7)/28 + 2 + 26/8. Sort 7, m, 2 in descending order.
7, m, 2
Let m = 0 + 5. Suppose -o - m = 5*w - 18, w = 5*o + 13. Suppose w*h - h = 0. Put h, -1/4, -0.3 in descending order.
h, -1/4, -0.3
Let n = 2 + -4. Put n, -1/19, -5 in increasing order.
-5, n, -1/19
Suppose 5*w - k + 36 = 0, 0*w - 5*w - 3*k = 32. Let c(g) = g**3 + 7*g**2 + 2*g + 8. Let d be c(w). Put d, 1/4, -1 in increasing order.
d, -1, 1/4
Suppose 42 = -9*z + 11*z. Let r be 1/(-1)*14/z. Put -2/25, -4, r in descending order.
-2/25, r, -4
Let z be 1 + 0 + (-84)/(-8). Let s = 12 - z. Put 0.3, s, 6 in increasing order.
0.3, s, 6
Let u be ((-15)/(-75))/(12/(-10)). Sort -0.3, u, 4.
-0.3, u, 4
Let n = 89 - 447/5. Sort -3/4, n, -0.7 in decreasing order.
n, -0.7, -3/4
Let i = -70 + 74. Sort i, -9/5, 1/3 in decreasing order.
i, 1/3, -9/5
Let i = -11 + 10. Let t(w) = 2*w - 2. Let z be t(-1). Sort z, 3, i in ascending order.
z, i, 3
Let c = 22/3 + -23/3. Sort 4, -23, c, 0.2 in increasing order.
-23, c, 0.2, 4
Let a = -1 - 0. Let f = 3 - 2. Let w be (3 - 5) + 2 + f. Put a, 5, w in ascending order.
a, w, 5
Let z = -4.1 + 4.56. Let o = z + -0.16. Put -0.2, o, 0.1 in descending order.
o, 0.1, -0.2
Let b(j) = -4*j**3 + j**2 + 2*j + 1. Let v be b(-1). Suppose v - 9 = -5*t. Sort -2, t, 5.
-2, t, 5
Let h = 82 + -147. Let r = h + 193/3. Sort r, -1/3, -0.4 in increasing order.
r, -0.4, -1/3
Let v be (-5 - (5 - 3)) + (-9)/(-3). Sort v, 1, -3.
v, -3, 1
Let b = 878/5 - 175. Let t = -16 + 11. Sort -0.3, b, t in descending order.
b, -0.3, t
Suppose -2*w = 2, 3*a - 8*a + 2*w + 27 = 0. Let v be -2 + (-1)/(-4 - 65/(-15)). Sort v, a, -2 in decreasing order.
a, -2, v
Let b = 23.5 - 22.5. Let y = -3 + 7. Sort b, y, 8/5 in decreasing order.
y, 8/5, b
Let u = -36 - -35.5. Sort 0.05, u, -0.3 in increasing order.
u, -0.3, 0.05
Let d be 2/(-3) + (-8)/(-3). Let x be -3 + 3 + (d - 0). Suppose 3*o - 11 = -2*u, x*o - 2*u = 7*o - 21. Sort 2, o, -3 in increasing order.
-3, 2, o
Let j = -0.18 - -0.08. Let q = 1.89 - -0.11. Put 5, j, q in descending order.
5, q, j
Suppose 3*v - 1 - 2 = 0. Let o be v/(-1 - -6)*5. Put 2, o, -3 in increasing order.
-3, o, 2
Let u be (1/(-4))/(51/136). Put u, -2, 0.02 in descending order.
0.02, u, -2
Let c = 0 + 0. Let n(z) = -z**3 + z**2. Let t be n(1). Suppose 3*m - 4 = -2*m + q, 4*m + 4*q - 8 = t. Sort c, m, -2 in descending order.
m, c, -2
Let z be 2 - (-3 + 4 + -2). Sort z, 5, 0 in ascending order.
0, z, 5
Let w be (-264)/(-15) - 8/(-20). Suppose 0 = 5*i + 3 - w. Sort -2, i, 4 in descending order.
4, i, -2
Let s = 3 - -4. Let m(t) be the second derivative of t**4/12 - 7*t**3/6 - 6*t. Let a be m(s). Put -2, -5, a in decreasing order.
a, -2, -5
Suppose -2*n - 29 = -5*o, 3*n - 3*o = -2*n - 25. Sort 4, 0, n in descending order.
4, 0, n
Let b = 34 + -40.5. Let v = b - -7. Let r be (-11)/4 - 2/8. Put r, 0.3, v in increasing order.
r, 0.3, v
Let y = 8 + -6. Suppose -2*v = y*v + 4. Let m = -1 - 3. Put m, v, 3 in decreasing order.
3, v, m
Let r = 2.2 - 2. Let m = 47.8 + -48. Let t(g) = 2*g + 1. Let b be t(-2). Put b, r, m in descending order.
r, m, b
Suppose 2*o - 24 = -2*n - 2*o, -23 = n - 5*o. Put 4, -5, n in decreasing order.
4, n, -5
Let t be (-6)/(-9)*3 + 3. Let d = 63 + -59. Put t, d, -4 in ascending order.
-4, d, t
Let m = -224.6 - -225. Sort -1, 1, m, -0.32.
-1, -0.32, m, 1
Let r be (2/(-6))/(2/6). Let z be 9/