0*i + 5*k - 6. Put -1, z, i in decreasing order.
z, -1, i
Let b be (10/4)/(-5)*(1 - -1). Put -58, b, 3 in descending order.
3, b, -58
Let n(m) = 2*m**2 - 7*m - 18. Let p be n(5). Sort 0, p, 4, 28 in decreasing order.
28, 4, 0, p
Suppose -3*n - 2*w = 19, -w = 5 - 0. Suppose 8*i - 32 = -8*i. Put n, i, 3, -4 in descending order.
3, i, n, -4
Let h = -0.356 - 0.044. Let t = -1.02 - -0.02. Sort h, 2/5, t, -4 in descending order.
2/5, h, t, -4
Suppose -4*x = 3*j - 10, 9*j = 4*j + x + 9. Sort -7, -5, -4, j in descending order.
j, -4, -5, -7
Let h = -16 + 5. Let p be (-13 - h)/(-1 + -1) + 1. Put -3, -2, p in increasing order.
-3, -2, p
Suppose -5*p - 25 = 0, -n + 17*p - 16*p + 2 = 0. Sort n, 2/141, -4.
-4, n, 2/141
Let w = -30 - -33. Let b be 0/3 - (-6 - 1). Sort b, w, 4 in increasing order.
w, 4, b
Let k = -207.4 - -207. Sort -0.5, 3, -1/3, k in increasing order.
-0.5, k, -1/3, 3
Let j = 16 - 11. Let m(b) = b**3 - 5*b**2 + 3*b - 3. Let i be m(j). Suppose -s - i = 2*s. Sort s, 0, -2 in increasing order.
s, -2, 0
Let v = 0 - -0.05. Let m be (12/(-126))/(5/15). Put v, m, 0 in descending order.
v, 0, m
Let t = -1119 + 1115. Put -35, t, 3 in decreasing order.
3, t, -35
Suppose -15 = 3*h, 5*f - 17 = 2*f + h. Suppose -12*y + 11*y = 0. Put f, 5, y, -1 in descending order.
5, f, y, -1
Let j(g) = g**2 + 4*g - 2. Let v be j(-6). Suppose 5*f - 10 - v = 0. Suppose 0 = -5*u - u + 4*u. Put f, -5, u in increasing order.
-5, u, f
Let w be (-86)/(-7) - (-6)/(-21). Let n be 4/(-3) + 676/156. Suppose 0 = -n*m + u - 8 - w, 2*u + 5 = -3*m. Sort 3, 2, m in decreasing order.
3, 2, m
Let w = -6.95 - 0.65. Let l = w + 8. Let d = 56 + -61. Sort l, d, -0.5 in increasing order.
d, -0.5, l
Let p be -9 + 32/6 + 3. Let n = 4.8 - 0.8. Let b = 2 - n. Sort -1/3, b, p in decreasing order.
-1/3, p, b
Suppose 3*c = 5*s + 22, -26*s + 27*s + 3*c = 10. Let y(d) = -2*d**3 + 2*d**2 + 3*d - 2. Let z be y(2). Put z, s, 1 in descending order.
1, s, z
Let w = -31 + 31. Suppose 4*z - k = -2*k + 12, 2*z - 3*k = -8. Sort w, -4, z, 3 in decreasing order.
3, z, w, -4
Let t be 8 - -2*(-3 - -2). Suppose -10 = t*i - i, 3*i = -2*h. Suppose -144*s - 7 = -151*s. Sort h, s, -5 in descending order.
h, s, -5
Let m = 415/21 - 136/7. Put -3, m, 0.4, 2 in descending order.
2, 0.4, m, -3
Let o(y) = y**2 + 2*y - 4. Let s be o(-3). Suppose 0 = -2*p + 3*i - 2 - 0, 2*p + i - 14 = 0. Let f = 7 - p. Put 1, f, s in decreasing order.
f, 1, s
Suppose 3*r = 4 - 7. Let g = -11 + 8. Let y = -23 + 28. Sort g, r, y in decreasing order.
y, r, g
Suppose -6*i - 3*w = -7*i + 20, 0 = -3*w - 15. Put i, 2.9, -0.2 in decreasing order.
i, 2.9, -0.2
Suppose 6*p + 3 = 5*p. Put -1, p, -9 in descending order.
-1, p, -9
Let a(x) = -x**3 + x**2 - x + 4. Let h be a(0). Let c = h + -1. Suppose 0 = 6*z - 9*z + c. Sort 2/3, -12, z.
-12, 2/3, z
Suppose -21*t = -5*t - 48. Put t, -7, -5, 1 in ascending order.
-7, -5, 1, t
Let u = 32 - 27. Suppose u*i = -0*h - 2*h - 10, 0 = h. Let t = 7 + -4. Put t, 1, i in descending order.
t, 1, i
Let f = 60 + -58. Sort f, 5, -71 in increasing order.
-71, f, 5
Let r(i) = i**3 + 5*i**2 + 3*i - 5. Let n be r(-4). Let j = 286/697 - 12/41. Sort n, j, 0.1 in decreasing order.
j, 0.1, n
Let x be 1/(2/(-10)*-1). Suppose 3*z - 5*c = -22, 4*c - 42 = z - 30. Sort x, 0.3, z, -1.
z, -1, 0.3, x
Let d = -560 - -311. Let g = d + 2741/11. Let y = 0.07 + -0.87. Sort y, -4, g in decreasing order.
g, y, -4
Let o = -91 - -132. Suppose -3*k = -4*l - 5*k + 24, -3*k = -5*l + o. Suppose 2*d - l*d = 10. Put 3, 1, d in decreasing order.
3, 1, d
Let c = 11 + -10.86. Let n = 0.11 - c. Let u = n - -0.23. Put 3, -0.3, u in ascending order.
-0.3, u, 3
Let a = -118 - -118.4. Sort -2/3, 4/7, 1, a in decreasing order.
1, 4/7, a, -2/3
Suppose -10 = -q - m, -4*q + 32 = 2*m - 0*m. Suppose y - 40 = q*y. Let z = 29 + -31. Put y, 0, z in decreasing order.
0, z, y
Suppose -15*a + 11*a = -3*t + 4, -5*t + a = 16. Suppose 2*j + 2*j + 9 = -x, 4*j + 4 = 0. Sort 12, t, 3, x in ascending order.
x, t, 3, 12
Let s = 351 - 346. Put 4, 0.083, s in decreasing order.
s, 4, 0.083
Let k = -4117/2290 - 1/458. Sort 4, 0, k in ascending order.
k, 0, 4
Let g be (0 - 2) + -4 + 7. Put 6, g, -4 in descending order.
6, g, -4
Suppose -7*s + 5*s = -16. Put 3, 4, s, -5 in decreasing order.
s, 4, 3, -5
Suppose 0*x + k = 5*x + 24, -5*x - 16 = k. Let h(j) = -j**3 - 4*j**2 + 3*j + 10. Let w be h(-4). Sort w, x, -1.
x, w, -1
Suppose 1 = x, 35*u - 5*x - 5 = 33*u. Put 54, 1, u in descending order.
54, u, 1
Let u be (-1)/((1 + 0)/(-4)). Let m = 5.8 - -30.2. Let r = m - 36. Sort r, -1, u in decreasing order.
u, r, -1
Let q = -16/9 - -62/45. Suppose 0 = 2*t + 4*n - 2, n - 4*n - 5 = -5*t. Sort -5/2, t, q.
-5/2, q, t
Let u = 5.0406 - 0.0406. Sort -5/3, 2, 0, u in ascending order.
-5/3, 0, 2, u
Let i = 13 + -10. Let j(y) be the third derivative of y**5/60 - 2*y**3/3 + 2*y**2. Let r be j(i). Sort r, -3, 1.
-3, 1, r
Suppose -5*o - 15 = 8*p - 3*p, 0 = 3*p + 4*o + 12. Let v = 3.9 + 46.1. Let i = v + -49.5. Sort -4, i, p.
-4, p, i
Let q be (-7)/28*2 + 1/(-2). Put 4, -3, q, 5 in descending order.
5, 4, q, -3
Let k(b) = b**2 + 4*b + 4. Let a be k(-4). Let q(y) = -y**2 + 1. Let s be q(1). Let d be (14/(-21))/(1/6). Put a, d, s in descending order.
a, s, d
Let b = -33193 + 33191. Let w = -1.5 + 1. Sort b, 4, w.
b, w, 4
Suppose -2*y - 10 = 23*k - 22*k, 5*k + 32 = -4*y. Sort 38, y, 2 in ascending order.
y, 2, 38
Suppose g - 3 = -5, -4*g - 283 = -5*k. Let y = k - 59. Let r = 5 + -3. Sort r, y, 5 in descending order.
5, r, y
Suppose 1 + 14 = -5*c. Suppose -50*z + 45*z - 65 = 0. Let i(u) = -u - 12. Let f be i(z). Put f, c, 0 in ascending order.
c, 0, f
Let k(u) = 2*u + 40. Let t be k(-18). Suppose 2*r + 3*r = -b + 3, 4*r + 4*b + t = 0. Put r, 5, 3 in decreasing order.
5, 3, r
Suppose -30*m + 24*m = 0. Let n = 12 - 7. Sort -3, n, m in increasing order.
-3, m, n
Let s be (-86)/(-1) + (24/4 - 7). Let d = s + -88. Put -6, -1, d, 4 in increasing order.
-6, d, -1, 4
Let c = 0.893 - 0.893. Put 2, c, -0.04 in decreasing order.
2, c, -0.04
Let r = -748 + 753. Let p = 3/2 + -2. Sort p, -5, r, 0.3 in descending order.
r, 0.3, p, -5
Suppose 0 = 14*z + 10 + 60. Sort 2, -145, z in decreasing order.
2, z, -145
Let s be -4 + 7 - 0/(-3). Sort s, 0, 49 in descending order.
49, s, 0
Let j be 4 - (4 - 2/(-21)). Let w(d) = d**2 - 7*d - 1. Suppose -4*b = 5*k - 3, k = 4*b + 4*k - 13. Let m be w(b). Put 0.3, m, j in descending order.
0.3, j, m
Let h(t) = -t**3 + 7*t**2 + 8*t - 3. Let c be h(8). Let y be -1*(54/21 + c). Let s = 1.7 - 1.4. Put -3, s, y in descending order.
y, s, -3
Let n = 71 - -13. Let b be 1/(n/60 + 2/(-5)). Let w = -305/4 - -77. Put b, w, 1/8 in decreasing order.
b, w, 1/8
Suppose 3*o = -2*d - 13, 4*o + 4*d + 6 = 2*o. Suppose 0 = 3*a - 7 - 2. Let i(y) = y**2 - 4*y + 3. Let h be i(a). Sort h, -3, o in ascending order.
o, -3, h
Let r(g) = g**2 + 11*g - 2. Let j be r(-11). Suppose 5*t + 4 = 4*y - 11, -4*y = 3*t - 23. Let m be (-15)/(4 + -1) - -13. Sort j, y, m in increasing order.
j, y, m
Let j(p) = p**3 - 4*p**2 + p - 3. Let i be j(4). Let t(l) = 5*l**2 - l. Let q be t(1). Let a = -2 + q. Put i, -2, a in ascending order.
-2, i, a
Let w be (-14 - -6)*(18/(-4) + 5). Put 6, 1, w, -9 in increasing order.
-9, w, 1, 6
Let i = -6 + 8. Suppose -5*y + r = -7, 9*y - 12*y + 3*r - 3 = 0. Let x be 0 - (-9)/(-18)*y/6. Sort -4, i, x in ascending order.
-4, x, i
Let k = -23 - -19. Let c = k + 0. Suppose 0 = -t - 2*t. Put c, 5, t in ascending order.
c, t, 5
Let h(r) = r**3 - 6*r**2 - 23*r + 61. Let d be h(8). Put 4, -3, 1, d in increasing order.
-3, 1, 4, d
Let c = 40 + -38. Let y be (c/(-10))/((-7)/35). Put y, -5, 2 in ascending order.
-5, y, 2
Let g = -10.96 - -11. Let h = g - -0.26. Sort 6, 1/2, h in descending order.
6, 1/2, h
Suppose 0 = -2*p - p - 3. Put 4, -3, -4, p in increasing order.
-4, -3, p, 4
Let c = -61 - -149. Let n = -86 + c. Let t = -0.6 - 2.4. Sort 4, t, n in decreasing order.
4, n, t
Let q(f) = -2*f**2 - 29*f - 34. Let d be q(-13). Sort -2, d, 0.23.
-2, 0.23, d
Let q = -27 + 15. Let d be ((-6)/8)/((-57)/380). Let u be 4/10*d/(-4). Sort u, 5/4, q in decreasing order.
5/4, u, q
Let v(p) = -p**2 - p + 8. Let m(g) = -g**2 + 8. Let r(s) = 5*m(s) - 4*v(s). Let w be r(6). Put 5, 9, w in increasing order.
w, 5, 9
Le