 n + y. Put b, 1/3, 0.5 in descending order.
0.5, 1/3, b
Suppose -y + 30 = -5*y - r, 3*y - r + 26 = 0. Let s be 918/y + (-5 - -2). Let q = -117 - s. Put -5/3, -0.5, q in decreasing order.
q, -0.5, -5/3
Suppose -2*p + s = -16, -5*p - 5*s = -7 - 3. Let x = p - 7. Let k be ((-9)/(-6))/(6/8). Sort k, 5, x.
x, k, 5
Let d be 35/(245/(-14))*(-1)/(-2). Let b = 2.06 + -0.06. Let q = 0 - -1. Put b, q, d in decreasing order.
b, q, d
Suppose -4*t + 7 = -9. Let h be 5 + 0 - t - 7. Sort -1, h, 5 in decreasing order.
5, -1, h
Suppose 3*g - 4*q = 2 - 4, 0 = -q - 1. Put 5, -53, g, -4 in decreasing order.
5, g, -4, -53
Suppose 0 = 5*b - 1 - 4. Let c be (0 - b)*(2 - -3). Let y(u) = -2*u - 11. Let q be y(-9). Sort q, c, -3.
c, -3, q
Let v = -984.4 - -984. Sort v, 3, 4, -3 in descending order.
4, 3, v, -3
Suppose -4*f = -17*f + 39. Suppose -2*v = 2*i + 12, v + 6 = -v + i. Sort f, -11, v in decreasing order.
f, v, -11
Let l(u) be the third derivative of -u**6/40 - u**5/60 + u**3/3 - 5*u**2. Let h be l(1). Sort -12, h, 1.
-12, h, 1
Suppose 4*v + 4*t = -20, -11 = -6*v + 4*v + 5*t. Let j = -34 + 18. Let g be (-2 + (-8)/(-2))*(-2)/j. Sort -3, v, g in increasing order.
-3, v, g
Let d(g) = -6*g + 169. Let b be d(34). Put 0, b, 6 in increasing order.
b, 0, 6
Let u be 1 + 1959840/(-8756) + -2. Let w = -400/199 - u. Let s = w + -223. Sort -5, -4, s in decreasing order.
s, -4, -5
Let w be 2/(-4)*-2 + -1. Let k be ((-3)/2 - 0/3)*42/63. Sort k, 24, w in descending order.
24, w, k
Let i be (-24)/35 + (-6)/(-15). Suppose 34*m + 3 = 67*m - 36*m. Sort m, i, 2/5 in decreasing order.
2/5, i, m
Let u = -0.34 + -0.06. Let s = 2.5 - 0.5. Let v = 9628 - 48137/5. Sort u, v, s in descending order.
s, v, u
Let x = 9 + -1. Suppose -6*b + 3*b - s + 19 = 0, 3*b - 3*s - 39 = 0. Let j be (1/2)/(b/(-48)). Sort 2, x, j in increasing order.
j, 2, x
Suppose 9716*k - 9756*k + 200 = 0. Suppose 0 = 6*x - x - 20. Suppose 5*j = 3*z - 16, -5*j - z - 4 = -2*j. Sort j, x, k.
j, x, k
Let h be -5 + 14/(-35)*-5. Sort 1, 3, h.
h, 1, 3
Suppose 5*v = -5*j + 40, 3*j = -4*v - 3 + 33. Let k be (-15)/(v*2/16). Let b = -23 - k. Sort 1, -10, b in ascending order.
-10, b, 1
Let r = -110 + 114.984. Let i = r - -0.016. Let a be 3/2 - (-1 + 1). Put i, 2, a in descending order.
i, 2, a
Let u(c) = -c + 1. Let t be u(-1). Let h be (-1)/t*-6*1. Put 4, 0, h in increasing order.
0, h, 4
Let h be 12/(-8)*(-2)/3. Let o be h/(14/4)*(7 + -6). Sort -0.3, o, -12 in decreasing order.
o, -0.3, -12
Suppose -3*d + 0*n + 7 = -4*n, -4*d + 14 = -3*n. Suppose v + d = 0, -2*g + v + 5 = -6. Suppose -2 = 3*m - 5. Sort -2, m, g in decreasing order.
g, m, -2
Suppose -17*q - 8 = -25*q. Sort 25, -1, 2, q in ascending order.
-1, q, 2, 25
Let k = 82.7 + -86.37. Let u = 0.33 - k. Let l = -3 + 4. Sort l, u, 5/6 in descending order.
u, l, 5/6
Let s = -3 - -2. Let k = 4 - s. Let r = -4 + k. Sort 5, r, 0.1 in decreasing order.
5, r, 0.1
Let a(w) = -19*w + 1. Let n be a(1). Sort n, 2, -5.
n, -5, 2
Let y = -0.46 + -0.04. Sort 5, y, -0.1, 2/25 in increasing order.
y, -0.1, 2/25, 5
Let o = 30.941 + 0.059. Let x = o - 34. Sort x, -2/11, 2 in ascending order.
x, -2/11, 2
Let d(h) = h**2 - 5*h - 4. Let a be d(6). Suppose 3*v = 4*c + 1, -7*v = 3*c - a*v + 37. Sort c, -2, 0, 3.
c, -2, 0, 3
Let o(p) = -9 - 7*p**2 + p**3 + 3 + p + 0*p**3. Let m be o(7). Let b = 0.05 - -1.95. Sort m, b, 2/3.
2/3, m, b
Let s(t) = -2*t**2 - 8*t + 3. Let l(x) = x**2 + 7*x - 4. Let u(f) = 3*l(f) + 2*s(f). Let j be u(5). Let g be 33/j - 5/(-10). Put 4, g, 5 in decreasing order.
5, 4, g
Let u = -6.1 - -0.6. Let w = -6 - u. Sort 3, w, 0 in descending order.
3, 0, w
Let z = 22 - 19. Let w be (z/9)/(5/75). Suppose c = -o + 2*o, -10 = w*c. Put -4, o, 0 in ascending order.
-4, o, 0
Let h = 2448.5 - 2448. Put 1, 1/24, h in descending order.
1, h, 1/24
Let o(f) be the second derivative of f**5/20 - f**4/12 - 5*f**3/6 + 3*f**2/2 - f. Let t be o(2). Sort 3, 5, t, -5 in decreasing order.
5, 3, t, -5
Let q = -0.7 - -0.2. Let x = 6847.5 - 6847. Sort x, -3, q, -0.18.
-3, q, -0.18, x
Let n be (-124)/(-105) - (-1 - (-15)/21). Let v = -14/5 + n. Put 0.4, -1, v, -0.5 in descending order.
0.4, -0.5, -1, v
Let i = -1294 + 1290. Sort -112, -5, i, -2 in descending order.
-2, i, -5, -112
Let j = -42 + 60. Suppose 15*u + 6 = j*u. Sort 5, -4, 4, u in ascending order.
-4, u, 4, 5
Let o(r) = -3*r - 5*r + 10*r. Let u be o(-2). Put u, -8, 2 in decreasing order.
2, u, -8
Let x be ((-1323)/126)/(((-9)/(-24))/1). Sort 3, -2/3, x in increasing order.
x, -2/3, 3
Suppose -3*x + 14*x - 11 = 0. Sort 66, -4, x in ascending order.
-4, x, 66
Let t = -1792 + 1809.03. Let h = -17 + t. Put 0.5, 5, h in decreasing order.
5, 0.5, h
Let r = 0.65 + 0.48. Let j = 0.87 + r. Put -9/10, j, -4, 1/6 in ascending order.
-4, -9/10, 1/6, j
Let r = 294 + -299. Put -1, 6, r in decreasing order.
6, -1, r
Let v be (-1 + -2)*2/3. Let h be 1/((-4 - v)/(-2)). Suppose -4*w - h + 0 = 3*k, -5*w - 5*k + 5 = 0. Put 3, w, 1 in decreasing order.
3, 1, w
Let n be (10/(-10) + -4)/(-5). Sort -1, -6/7, n, 0 in ascending order.
-1, -6/7, 0, n
Let v(r) = -r - 3. Let h be v(-6). Suppose -7 = -h*z + 5. Put -5, 0, z in decreasing order.
z, 0, -5
Let n = -1.267 - 0.733. Let y = 44 - 133/3. Sort 3, y, n in increasing order.
n, y, 3
Let z = -221.6 + 221.6. Let h = -0.3 - -1.3. Put -2, h, z, 2 in ascending order.
-2, z, h, 2
Let g be (3 + -38)*(-30)/35. Let l be g/25*1/(-3). Let w be (0 - 1) + (-4)/(-6). Sort l, w, -0.1.
l, w, -0.1
Let m = 2064 + -2103. Sort -4, -2/19, -0.5, m in decreasing order.
-2/19, -0.5, -4, m
Let y = 409 + -409. Put 0.1, y, 2/15, -3/8 in increasing order.
-3/8, y, 0.1, 2/15
Let z(u) be the first derivative of u**2 - 14*u + 12. Let v be z(7). Suppose -3*o = 2*o - 25. Sort v, o, -4 in descending order.
o, v, -4
Suppose -36 = 1411*y - 1420*y. Let d = 4 - 2. Sort y, 5, d.
d, y, 5
Suppose -5*c + 3*u + 19 = 0, 3*u - 2 + 9 = -c. Suppose 0 = c*p - p + 2. Let s be -2 - (-7 + (-24)/(-4)). Put s, 8, p in ascending order.
p, s, 8
Suppose 7*p = 12*p + 30. Sort -4, p, 7, 1 in decreasing order.
7, 1, -4, p
Let d = 5 - 4.96. Let g = d + -6.04. Let o = g + 8. Sort -1/4, -0.3, o in descending order.
o, -1/4, -0.3
Let f be -1 - (-2 - 3/(-4)). Let c = 81 - 111. Let s = -89/3 - c. Sort s, -4, f in descending order.
s, f, -4
Let b = -9.4 - -1.4. Let l = -10 - b. Suppose -2*o + 6 - 2 = 0. Put -0.05, o, l in decreasing order.
o, -0.05, l
Let f = -27.19 - 14.81. Sort f, 4, 2 in descending order.
4, 2, f
Let y = -3/17 + -13/119. Let l = 28 + -18. Suppose 0 = 3*t + g + l, t = 2*g + 2 - 3. Sort y, 0.5, t.
t, y, 0.5
Let h = 4.393 + 1.307. Let u = 4.05 + -0.05. Put 3, -2/5, h, u in descending order.
h, u, 3, -2/5
Let p(r) = r**2 - 2. Let o be p(-2). Suppose -3*a = j - 4, -3*a - o*j = -7*j - 34. Sort a, -9, -5.
-9, -5, a
Suppose -m - 1 = -2. Suppose -14 = 3*v + m. Sort 1, v, 3, -2.
v, -2, 1, 3
Let v = 0.5 + 1.5. Let r = 38.041 + -38. Let m = r + -3.041. Sort v, m, -4.
-4, m, v
Let g(a) = 2*a + 46 + 12 + 6*a - 5*a. Let o be g(-19). Let f = -1.2 - -0.2. Put o, -3, f in ascending order.
-3, f, o
Let r be 26/7 - (-13)/((-91)/28). Sort 3, r, -2/11, -5 in ascending order.
-5, r, -2/11, 3
Let j = -455 - -451. Sort j, -99, 0.2 in ascending order.
-99, j, 0.2
Let s = 113 + -106. Sort 9, -4, 1/7, s in decreasing order.
9, s, 1/7, -4
Let s = -5 + 10. Suppose -s*g + 8 = -g. Suppose 3*a - 2*l = 3*l - 6, 0 = -g*a + 4*l - 6. Put a, -3, 2 in descending order.
a, 2, -3
Suppose 0 = 4*u - 4*d, 2*d - 3 = u - 2*d. Let x = -19 + 17. Sort x, 3, -3, u in descending order.
3, u, x, -3
Let f = -227 + 226. Sort 16, f, 4 in ascending order.
f, 4, 16
Let q = 5.94 - 6. Let s = q + -3.94. Let g be -25 + 6 + -3 + -1. Sort g, s, -1.
g, s, -1
Let w be ((-1)/4)/((-6)/(-8)). Let y = 2.9 + -4.9. Let d = 44 + -44.5. Sort d, y, w in descending order.
w, d, y
Suppose 54 = 24*m + 30*m. Sort -8, -3, m in decreasing order.
m, -3, -8
Let y = 15 + -20. Let f = -3.9591 + -0.0409. Sort -2/7, y, -0.2, f in ascending order.
y, f, -2/7, -0.2
Let q be ((-6)/(-30))/((-9)/45). Put q, -4/9, 25 in ascending order.
q, -4/9, 25
Suppose 36 = 4*h - 5*s, 0*h + 3*s = 3*h - 24. Let r be 8 - 3 - 1*h. Let j = -5 + r. Put -2, -0.1, j in ascending order.
j, -2, -0.1
Suppose 5*y + i + 19 = 0, -2*i + 4 - 12 = 0. Sort -25, y, -4, 0 in incr