, 0 = -0*g + 2*g + 5*b - 14. Suppose 0 = -g*d + 5*d - 6. Put 3, d, i in ascending order.
i, d, 3
Let q = -35.6 + 36. Put q, 5, -0.3, 8 in increasing order.
-0.3, q, 5, 8
Let c = -0.2 + 0.6. Let x = -74.9 + 73.9. Put c, 0, x in descending order.
c, 0, x
Let x be 8/(-2)*1/(-38). Sort x, -5, 2 in ascending order.
-5, x, 2
Let w be 14/2 + 5/(15/(-6)). Sort w, 1, -3, 14 in decreasing order.
14, w, 1, -3
Let l = -1 + -5. Let h(d) = -d - 6. Let n be h(l). Sort 4, 3, n in descending order.
4, 3, n
Let q = 37/85 + -4/17. Put q, -4, -2/3 in descending order.
q, -2/3, -4
Let q(x) = -x - 1. Let b be q(-3). Suppose 0 = m + m - 8. Suppose 0 = -v - 2*s - 7, m*s + 2 = -0*v + 2*v. Put b, v, 5 in descending order.
5, b, v
Let r(b) = b**3 - 7*b**2 + 5*b + 3. Let s be r(6). Suppose -2*v = -5*v + 6. Let w be 16/(-12)*(5 - v). Put s, -1, w in increasing order.
w, s, -1
Let n(y) = y - 8. Suppose 50 = 5*k + p, -p = k + p - 19. Let l be n(k). Let s be (l/2)/((-5)/20). Put 1, s, 2 in ascending order.
s, 1, 2
Let p be ((0 - 1)*0)/(11 + -9). Let y(c) = -c - 9. Let b be y(-7). Sort b, 5, p.
b, p, 5
Let z be (-10)/(-4)*2/(-1). Let a be ((-11)/2 - -2)*2. Let u(l) = l**2 + 8*l + 8. Let y be u(a). Sort y, z, 5 in descending order.
5, y, z
Let k(h) = -h**3 + 6*h**2 + 7*h - 2. Let l be k(7). Suppose -4*g + 0*g + 2 = -s, -4*s = 8. Sort g, l, 3 in decreasing order.
3, g, l
Let j = -0.24 + -0.26. Put 0, -2, j in descending order.
0, j, -2
Let a = -0.01 - -12.01. Let q = a - 8. Sort q, 0.5, 0 in descending order.
q, 0.5, 0
Let v(t) = t**3 + 2*t**2 - 6*t - 7. Let n be v(-3). Sort n, -3, 1 in increasing order.
-3, 1, n
Let d be -2*1*1/(-4). Let n be 8/42 + -5 + 33/7. Sort d, 3, n in decreasing order.
3, d, n
Let v be (-9)/6 + (-2)/4. Let a = -81 - -85. Put a, v, 3 in increasing order.
v, 3, a
Let q be -1 - (-24)/15 - 1. Let v = -46 + 45. Sort q, 2/3, v in decreasing order.
2/3, q, v
Let b = 0.67 - 2.67. Let y = 1 - 1.1. Sort y, 3, b.
b, y, 3
Let s(f) = f - 5. Let g be s(8). Suppose 3*z - g = 9. Suppose 0 = -z*m + 7 - 3. Sort -0.4, -1/5, m in ascending order.
-0.4, -1/5, m
Let r be (4/3 + -2)/(-10 + 8). Sort -8, 3/5, r in descending order.
3/5, r, -8
Let v(c) = c + 5. Let t be v(-5). Let s = 8.96 - -0.04. Let i = s - 9.4. Sort t, i, -2 in ascending order.
-2, i, t
Let t = 12 - 8. Let c be (2*2)/(3 - t). Sort 1, 3, c.
c, 1, 3
Let v = 4 + -4.4. Let g(w) = 0*w + 3*w - w - w - 6. Let k be g(6). Put 0.4, v, k in increasing order.
v, k, 0.4
Suppose 4*s - 2*s = -o + 8, 2*s = -5*o + 16. Put -3, o, 4, -4 in increasing order.
-4, -3, o, 4
Let k(r) = -r**3 + 11*r**2 + 11*r + 16. Let g be k(12). Put g, -4, -5 in decreasing order.
g, -4, -5
Let t = -8 + 9. Put t, 0, -2 in ascending order.
-2, 0, t
Let l = 8 + -2. Let j be (-10)/(-15) + 26/l. Put -5, j, 4 in decreasing order.
j, 4, -5
Suppose o + 0*o = -3. Sort o, 2, 1 in decreasing order.
2, 1, o
Let n(z) = -z**3 - 7*z**2 - 9*z + 3. Let i be n(-5). Let u be (1 + -2)/((-2)/12). Let f be i/(-2) + u + -3. Put -1/2, 0.2, f in descending order.
f, 0.2, -1/2
Let c(z) = z**2 - 5*z + 2. Let i be c(5). Let v be 1 - -6 - (6 - 3). Let y(j) = j - 5. Let a be y(4). Put v, a, i in descending order.
v, i, a
Suppose 6 = 3*c - 3. Suppose -2*y - 6 = 4*d + 6, 0 = -c*d. Let b(q) = q**2 + 6*q - 3. Let i be b(y). Sort -1, 5, i.
i, -1, 5
Let d = 31 - 27.6. Let f = d - 0.4. Sort -0.1, f, -1.
-1, -0.1, f
Let h = 2 - 4. Let v(g) = g**2 - 3*g + 3. Let u be v(2). Let j = h + u. Put 4, j, -2 in increasing order.
-2, j, 4
Suppose 0 = d - 3*d + 4*a - 2, 0 = 3*d + a - 4. Sort d, -1, -5 in increasing order.
-5, -1, d
Suppose -12 = -4*b + 3*t, -4 = 3*b - b + t. Put 3, -3, b, -2 in ascending order.
-3, -2, b, 3
Let n(g) = -g + 1. Let f be n(4). Let x = 4 + f. Let j = 0 + 3. Sort j, 2, x in descending order.
j, 2, x
Suppose -3*q + 12 = -0*q. Let k(s) = s**3 + 7*s**2 + 7*s + 6. Let y be k(-6). Suppose d = 2*h + h - 13, -3*h + 15 = y. Sort 3, d, q.
d, 3, q
Suppose -3*r = -0*r - 72. Suppose -5*p + 12 = 4*d - 15, -4*d = 4*p - r. Put 5, -4, p in ascending order.
-4, p, 5
Let j be 4*(0 - (-1)/(-18)). Let x = -14 + 5.2. Let d = -9 - x. Sort 0.2, d, j in descending order.
0.2, d, j
Let r = -8 + 5. Let c = -181 - -2713/15. Sort c, 1, r in ascending order.
r, c, 1
Let x be 27/(-105) - 14/(-35). Sort 3/8, x, 8 in decreasing order.
8, 3/8, x
Let s(z) = -z. Let j be s(-1). Suppose -2*k + 10 = 0, 2*o + 2*k = -2 - 2. Sort o, 4, j.
o, j, 4
Suppose h = 5*r + 54, 2*h + 8 = -2*r - h. Let g = r + 14. Put -2, 1, g in increasing order.
-2, 1, g
Let y(f) = f**3 + 8*f**2 + 5*f. Let m be y(-7). Suppose 2*n + 2*h = -2*h + m, n - h = -8. Put 2, n, 3 in descending order.
3, 2, n
Let y(p) = p**2 + 8*p + 3. Let o be y(-5). Let f = o - -8. Put -8, 0, f in increasing order.
-8, f, 0
Let l = -6 - -10. Suppose -3*p + 4 = -7*p, -l*p - 28 = -4*h. Suppose h = 3*s + x, -3*s = 4*x - 6 - 0. Put 0, s, -4 in ascending order.
-4, 0, s
Let u = 0.08 + -6.08. Put u, -5, 0 in descending order.
0, -5, u
Let g be (6/(-21))/((-1)/7). Suppose -3*q - g + 6 = -y, -3*q + 20 = -5*y. Put 2, q, -2 in descending order.
2, q, -2
Let a = -3 - -5. Suppose -5*t + 4*q + 32 = -0*t, -t - 2*q - 2 = 0. Sort a, t, 0.
0, a, t
Let q = -2 - -1. Let y(l) = l**3 + 12*l**2 + 12*l + 13. Let k be y(-11). Suppose 0*h - 5*h + 25 = 0. Sort k, h, q in ascending order.
q, k, h
Let n = 15 + -16. Let u be 1*1*(1 - 0). Sort n, u, -5.
-5, n, u
Let q be (-44)/30 + (-8)/(-12). Sort -2, -0.5, q.
-2, q, -0.5
Let r be ((1 + -1)/3)/3. Suppose 5*g - 4 = -4*n, r = 5*n + 2*g - 5 - 0. Sort -4, -5, n in increasing order.
-5, -4, n
Let x(j) = 4*j**2 - j. Suppose -6*h + 5 = -h. Let f be x(h). Sort f, -4, -3 in ascending order.
-4, -3, f
Let g(f) = f - 19. Let o be g(17). Let p be (2 - 8)/(-3) - 7. Put p, o, 4 in descending order.
4, o, p
Let l = -78.09 - -78. Sort -0.1, 2/3, l in ascending order.
-0.1, l, 2/3
Let n = 3 - 5. Let d = n + 0. Let m be (-8)/(-20) - 54/10. Put d, 1, m in ascending order.
m, d, 1
Let n = 1.1 + -1. Suppose 2*f + 3*f - 3*u = -19, -3 = -f + 4*u. Sort n, -2, f in decreasing order.
n, -2, f
Let d = -17 + 19. Sort 5, d, -2.
-2, d, 5
Let s = 8.2 - 1.2. Let y = 7 - s. Put 1, y, -1/2 in increasing order.
-1/2, y, 1
Let x = -316 + 317. Suppose 5*f = 4*f + 2. Suppose -f = -d + 1. Put d, -5, x in descending order.
d, x, -5
Suppose n + 11 = 3*n - f, 4*n - 17 = -3*f. Suppose -3*y = -g - 14, -g + 2*y + 4 = n*y. Sort g, 1, 3 in increasing order.
g, 1, 3
Let s(g) = -g**3 + g**2 - 2*g - 2. Let y be s(-1). Let i be 6/(-9) - 5/(-3). Let z be i/5 - (-1)/(-5). Put z, -5, y in increasing order.
-5, z, y
Let n = -5 + 5. Let s = n - 1. Let c = 0.8 + 0.2. Sort s, 0.4, c in decreasing order.
c, 0.4, s
Let k be 4/(-14) - (-46)/14. Let l(d) = d**2 + 6*d + 1. Let s be (-9)/(2 + (-2)/4). Let u be l(s). Put k, -3, u in ascending order.
-3, u, k
Let s = -16 + 13. Put -4, s, 1/3 in ascending order.
-4, s, 1/3
Let h = 3 + -2. Suppose -2*a = -7*a + 25. Sort h, a, 4 in increasing order.
h, 4, a
Let z = 10 - 14. Let b = 1.2 + -1. Put b, z, 0.4 in descending order.
0.4, b, z
Let s = -3 + 7. Let y(o) = -9*o + 6. Let a be y(2). Sort -2, a, s in increasing order.
a, -2, s
Let r = 10 - 4. Put -0.3, r, -2/9 in descending order.
r, -2/9, -0.3
Let q(w) = 2*w - 3. Let z be q(4). Suppose -n + 1 = -0*n - v, -3*v = -4*n + z. Put n, -3, -2 in decreasing order.
n, -2, -3
Let z = -263/5 - -52. Let k = -5 - -7. Let u = 2.1 + -2. Sort u, z, k.
z, u, k
Let t be (-180)/(-325) - 3/(39/2). Let l = -2.3 - 0.7. Put 0.5, l, t in increasing order.
l, t, 0.5
Let v = -8.1 + 6.1. Sort 3/8, 6, v, 2 in ascending order.
v, 3/8, 2, 6
Let g be 8/(-6) - (-5)/15. Sort g, -5, 4 in ascending order.
-5, g, 4
Let h(n) = n**3 - 4*n**2 + 3*n. Let t be h(2). Let k be (1 - (1 - -1))*5. Put t, -10, k in decreasing order.
t, k, -10
Let d be (2 + -2)/(1/(-1)). Let w = 0.35 - -0.05. Let m = 0.5 + -0.3. Put w, d, m in increasing order.
d, m, w
Suppose 53 = 4*n - 7. Suppose -t = -4*t - n, 3*s = -3*t. Let y(w) = -w**3 + 4*w**2 + 5*w + 5. Let m be y(s). Sort m, -2, 3.
-2, 3, m
Suppose 0*d - 4*d - 4 = 0. Suppose 5*z - 2*p = -0*z, 2*z - 4*p = 16. Suppose n = -5*x + 16, x + x - 2*n - 16 = 0. Sort z, d, x in increasing order.
z, d, x
Let q = 0 + -1. Let y be q/3*(-12)/26. Let t = -62 + 64. Sort t, 4, y in decreasing order.
4, t, y
Let h(d