= -3*b + 17. Let y = 5 - b. Sort -3, h, y in ascending order.
-3, y, h
Let c = -59 - -34. Let y = c + 23. Put -5, y, 1 in ascending order.
-5, y, 1
Suppose 15 = -h + 3*m, h - 10 + 0 = -2*m. Let p be ((-17)/51)/((-1)/(-6)). Sort p, h, 3 in increasing order.
p, h, 3
Let m(n) = -n - 9. Let s be m(-6). Put -0.4, 1/6, s in ascending order.
s, -0.4, 1/6
Let p = 419/21 - 59/3. Sort -1, -1/2, p in increasing order.
-1, -1/2, p
Let c(b) be the second derivative of -b**3/6 - b. Let n be c(-4). Suppose 0 = y + 1 + 1. Sort -3, n, y.
-3, y, n
Let m = 141/124 - 12/31. Let h = -0.19 + -0.01. Sort m, h, 1 in decreasing order.
1, m, h
Suppose 6*r + 8 = 2*r. Suppose -4*u = 5*j + 13, -u + 6*u + 5*j = -10. Put u, 0, r in descending order.
u, 0, r
Suppose 0 = i + 14 - 13. Sort -2/19, i, 0.03 in descending order.
0.03, -2/19, i
Let a be (-12)/(-10)*30/9. Let w = 6 + -3. Let l be ((-1)/4)/(4/(-12)). Sort l, a, w.
l, w, a
Let a = -17 - -15. Let u = 9 + -6. Let l = u - a. Put -0.1, 1/3, l in decreasing order.
l, 1/3, -0.1
Let y = -0.09 + -0.11. Let n be 1 - (-11)/13 - 2. Put -5, n, y in descending order.
n, y, -5
Let x = 45 - 38. Sort x, 0.4, -1 in increasing order.
-1, 0.4, x
Let l = 0.13 + 0.27. Sort l, -0.3, 2.
-0.3, l, 2
Let i(h) = -h**3 + 19*h**2 - 34*h - 4. Let v be i(17). Let f be (-1 - 2)*4/6. Put v, 3, f in descending order.
3, f, v
Let o(t) = -t**3 - 10*t**2 + t + 10. Let f be o(-10). Suppose i + f + 1 = 0. Put 3, 0, i in increasing order.
i, 0, 3
Let v(t) = -t**2 + t. Let p(l) = l**2 + 4*l. Let u(d) = -p(d) - 2*v(d). Let b be u(6). Put 2, 3, b in decreasing order.
3, 2, b
Let v(b) = -b**3 + b**2 - b - 5. Let o(m) = -m + 6. Let l be o(6). Let h be (0 + l)/(2/2). Let f be v(h). Put -3, -1, f in ascending order.
f, -3, -1
Let n(d) = -d + 9. Let h(w) = -1. Let i(g) = -2*h(g) + n(g). Let p be i(13). Suppose 2*l - 4*l + 6 = 0. Sort l, -5, p.
-5, p, l
Suppose -2*c + 2 = 0, 0*o - 3*o - 46 = -c. Let n = o - -11. Let l = 8 + n. Sort -3, -2, l in decreasing order.
l, -2, -3
Let a = -0.77 + 0.7. Sort a, -3/4, 1, 5.
-3/4, a, 1, 5
Let s = -27 - -40. Let x = s + -8. Let m = -1 - 1. Put 0.2, m, x in decreasing order.
x, 0.2, m
Let h = 0.77 - 1.07. Sort 20/9, h, -0.1 in descending order.
20/9, -0.1, h
Let x be 3 - (1/4 - (-1)/(-4)). Sort 10, -3, x.
-3, x, 10
Let x = -89.9 + 90. Let k = 0.8 - 1. Sort 4, x, k in descending order.
4, x, k
Let r be (8/(-3) + 2)*-3. Let y be 2 - 4/6*-3. Let w = y - 6. Sort 3, w, r in descending order.
3, r, w
Let t = 6.16 - -0.84. Sort 0.3, 1, t in descending order.
t, 1, 0.3
Suppose c + c = 4*y - 26, y + 21 = -5*c. Let d(x) = -x - 11. Let o be d(-8). Sort o, 2, y in descending order.
y, 2, o
Let c be 134*1/(-2)*-1. Suppose 2*o = 4*g + c - 25, -3*o + 42 = g. Suppose -4*p = -4*m - 5*p + 9, -3*p + o = 0. Sort m, -1/9, -3/2.
-3/2, -1/9, m
Suppose x = 2*c - 2*x - 22, 28 = 4*c - 2*x. Let n = 4 - 0. Sort -4, n, c in decreasing order.
c, n, -4
Let g(o) = o**3 - 9*o**2 - 10*o + 3. Let l be g(10). Let m be l/(-1) + 8 + 0. Let h(c) = c**2 + c + 2. Let t be h(-2). Sort t, -3, m in decreasing order.
m, t, -3
Suppose -x - 8 = 3*x. Let f be x/(-2)*(-5 + 4). Let a be (-3)/(-1) + 3*f. Put 0.2, a, 2/11 in decreasing order.
0.2, 2/11, a
Suppose -4*u - 5*v = -2*v - 13, 5*u - v = 2. Let h(c) = -c**3 + 5*c**2 - 3*c - 4. Let z be h(3). Suppose -b + z*b = 0. Sort u, 5, b in decreasing order.
5, u, b
Let a = -0.25 - 1.75. Sort 0.06, -3, a in descending order.
0.06, a, -3
Let p be 0 - (-6 - (-1 - 0)). Put -3, 2, p in decreasing order.
p, 2, -3
Let m = -20 - -15. Sort -0.2, 2, m in increasing order.
m, -0.2, 2
Let m = -6 - -2. Let o = -0.066 - 2.634. Let y = 0.3 - o. Sort y, 0.1, m in ascending order.
m, 0.1, y
Let x be -2*(-4)/72*-4. Sort x, 0.1, -0.3.
x, -0.3, 0.1
Suppose 3*x + 0*x + 6 = 0. Let a = 32 + -32. Put 3, a, x in decreasing order.
3, a, x
Suppose 0 = 4*d - 10 + 22. Let h(q) = 2*q**2 - 3*q. Let w be h(2). Sort w, 1, d in decreasing order.
w, 1, d
Let u(g) = 11*g**2 + 2*g + 1. Let q be u(-1). Suppose 5*p - q + 0 = 0. Put 1/2, 2/5, p in increasing order.
2/5, 1/2, p
Let h(f) = 3*f + 5. Let c(t) = 3*t + 6. Let x(n) = -3*c(n) + 4*h(n). Let b be x(-2). Let l be 2/7 - 33/(-7). Put b, l, -5 in descending order.
l, b, -5
Suppose -4*y - 2 = 3*d, 0 = 2*y + 2*y + 5*d - 2. Let t be 1/(y + (-4)/(-6)). Let h = -3.04 - -0.04. Sort h, -2/7, t in ascending order.
h, t, -2/7
Let l be (-1 + 0 + -4)/1. Put 11, l, -1 in descending order.
11, -1, l
Suppose -5*p - 70 + 15 = -5*b, 2*p + 4*b = 2. Sort p, 4, 3 in decreasing order.
4, 3, p
Let t be ((-6)/(-8))/((-2)/(-8)). Suppose 4*s + 5 = -3. Sort s, 1, t in ascending order.
s, 1, t
Let l = -1.4 - -1.7. Put 3/2, l, 2, -0.4 in ascending order.
-0.4, l, 3/2, 2
Suppose -11 - 5 = -4*a. Suppose 3*k = -k + a. Sort -0.1, k, 2 in descending order.
2, k, -0.1
Let l = -101096640177227/35482 - -2849237365. Let q = l + -32/157. Let j = q - -1323/2486. Sort 0.3, j, 0 in ascending order.
0, 0.3, j
Let i(s) = -s**2 - 4*s + 1. Let a be i(-4). Sort 3, a, 5 in ascending order.
a, 3, 5
Suppose -3*p - 3 - 9 = 0. Let o = -34 - -39. Put o, 0, p in ascending order.
p, 0, o
Let o = 0 + -0.5. Let w = -4019/252 + 44/63. Let z = 15 + w. Put z, o, -3 in descending order.
z, o, -3
Let z = 1.5 - 2.5. Let d = z - -0.5. Sort -1/7, -2/7, d in descending order.
-1/7, -2/7, d
Let s = -487/3 - -164. Let f = 0.57 - 0.07. Sort s, f, 4 in increasing order.
f, s, 4
Let h be ((-6)/10)/((-14)/(-35)). Sort h, -29, 0.
-29, h, 0
Suppose 0 = -2*l - 4 - 6. Sort -6, l, 4 in descending order.
4, l, -6
Let b be -1 + 6/(-4)*-2. Let i be (-6)/(-2) + (3 - b). Put i, 1, -3 in ascending order.
-3, 1, i
Let t be 2/((-3)/(-18)*4). Suppose 5*y = 5*v - 35, t*v + 6*y = 2*y + 28. Put 2/7, v, 3/4 in decreasing order.
v, 3/4, 2/7
Let r(t) = t**2 - t. Suppose 5*c + 3 = -g, 5*c + 1 = -2*g - 0. Let f be r(c). Sort f, 1, 5.
1, f, 5
Let d(m) = 2*m - 8. Let k be d(8). Let w(h) = h**3 + 5*h**2 + 3*h - 1. Let b be w(-4). Suppose -3*v - t - 24 = -k, -3 = b*t. Put 4, v, 1/9 in decreasing order.
4, 1/9, v
Suppose -n + 13 = 2*n + 5*q, 3*n + q - 5 = 0. Sort n, -2, 5, 2 in descending order.
5, 2, n, -2
Let f be (-62)/14 - 60/105. Let x be ((-2)/4)/((-4)/16). Sort f, x, -1.
f, -1, x
Let c be (4 - 0)/(5/15*-3). Put -2, c, -0.2 in ascending order.
c, -2, -0.2
Let l(p) = p**3 + 10*p**2 + 7*p - 15. Let i be l(-9). Suppose 0*f + 9 = 5*f + 3*w, 0 = 5*w + 10. Let z be 10/9 + (-3)/f. Sort z, i, -1 in increasing order.
-1, z, i
Let n be (-6)/4*195/351. Put 1/6, n, -6 in decreasing order.
1/6, n, -6
Let b be -3 + 4 - (4 - (0 + 1)). Let p = 1 + 0. Put b, p, 2 in ascending order.
b, p, 2
Let c = 61 - 59.96. Let j = -0.04 + c. Put j, 0.2, 5 in decreasing order.
5, j, 0.2
Let l be 16/10 - (2 - 0). Let q = -5.8 + 5.3. Let r = -4 - -2. Sort r, q, l in descending order.
l, q, r
Let k = 131 + -257/2. Put 0.5, -4/5, -5, k in decreasing order.
k, 0.5, -4/5, -5
Suppose -14*k - 2 = -16*k. Suppose 0*y + 4 = y. Put 3, k, y in increasing order.
k, 3, y
Let i(y) = -y**3 + 5*y**2 + 6*y + 1. Let a be i(6). Suppose -9*z = -8*z - 2. Sort z, a, -5 in decreasing order.
z, a, -5
Suppose 0 = -h + j + 5, 7*j = -h + 4*j + 5. Suppose q + 8 = h*q. Suppose 2*a + 2*a = -8. Put q, a, -4 in descending order.
q, a, -4
Let i = -34 + 27. Let s be (-4)/(-6)*(-18)/12. Sort 5, s, i in descending order.
5, s, i
Let v = -0.025 - -1.025. Let y = 0.1 - 0.5. Sort -1, v, y in descending order.
v, y, -1
Suppose f + 4 - 2 = 0. Let d be (-3)/(-2)*((-90)/24 - -4). Sort f, d, 1 in ascending order.
f, d, 1
Suppose -5*p = 2*o - 20, 0 = -4*p - 5*o + o + 28. Let v = p - 3. Let t be v/6 - 85/30. Sort -0.1, -5, t.
-5, t, -0.1
Let q(f) = 2*f - 3. Let d be (-7)/(-2) - 2/(-4). Let t be q(d). Sort t, -2, -4.
-4, -2, t
Let q be ((-12)/68)/((-3)/(-2)). Put -2, q, -2/13 in descending order.
q, -2/13, -2
Let k = -0.005 - -0.505. Put -2, k, -5, -9 in descending order.
k, -2, -5, -9
Let i = -79 + 74. Sort 1, -4, i, 5 in decreasing order.
5, 1, -4, i
Let v = -0.5 + 0.3. Let c = v + -0.2. Let b be (-6)/9*18/(-4). Put b, -5, c in increasing order.
-5, c, b
Let x = 3 - 1. Let k(y) = 1. Let n(d) = d - 4. Let i(a) = -3*k(a) - n(a). Let w be i(6). Put -4, w, x in increasing order.
w, -4, x
Let c be (-1 + (-9)/(-6))*2. Let a be (-3 + 0)/9 - 136/(-120). Sort 0, a, c in decreasing order.
c