-2*s + 9 = 3. Suppose 4 = u, 6*u = -3*j + s*u + 18. Let g = -10.2 + 10. Put -0.3, j, g in decreasing order.
j, g, -0.3
Let b = -0.03 + 3.03. Let k = -122 + 118. Sort 1/2, k, b in ascending order.
k, 1/2, b
Let p be 0 - 2/(-112)*23. Let b = 3/17 + -7/136. Let w = p - b. Sort 4, w, -0.3 in ascending order.
-0.3, w, 4
Let q = 91 + -92. Sort q, -5/3, 0.11 in ascending order.
-5/3, q, 0.11
Let y be 46/36 - (-2 + (-25)/(-10)). Sort 4, 2, y in increasing order.
y, 2, 4
Let b(n) = -n**3 + 8*n**2 - n + 7. Let i be b(8). Put 3, i, 0, -4 in increasing order.
-4, i, 0, 3
Let g = 15.2 - 15. Sort g, -5, 8/7 in increasing order.
-5, g, 8/7
Let o be 286/(-16) + (-3)/24. Let p = -25 - o. Sort p, -5, 1.
p, -5, 1
Let c be (-2)/(-4) - ((-52)/(-72))/1. Sort 1/3, c, 2/7.
c, 2/7, 1/3
Suppose 0 = -4*i + 9 + 3. Sort 0, -1, i in ascending order.
-1, 0, i
Suppose 11*v = 6 + 16. Sort v, -3, 3, 0 in decreasing order.
3, v, 0, -3
Let b = 3 + -7. Sort 0, 2, -5, b in decreasing order.
2, 0, b, -5
Let d(g) = g**3 - 8*g**2 + 5*g + 10. Suppose 3*i = -4*r + 11, -3*r - 2*r + i + 28 = 0. Suppose 5*o + c = 31, -r*c = -o - 2*c + 19. Let k be d(o). Sort 5, k, 3.
k, 3, 5
Let k = 0 - -11. Let o be -6 + (-1 - 0/(-2)). Let q = k + o. Put -2, -3, q in decreasing order.
q, -2, -3
Let y = 47 - 47. Sort -1, y, 4 in decreasing order.
4, y, -1
Let o(u) = 6*u + 62. Let g be o(-6). Put 3, g, 2 in decreasing order.
g, 3, 2
Let d be 1/(3 + 8/(-3)). Suppose 4*r + 12 = 2*y, -5*r + d*y - 2 - 15 = 0. Sort 0, -4, r in increasing order.
-4, r, 0
Let r(z) = z**2 - 6*z + 10. Let m be r(5). Put -5, m, -4 in descending order.
m, -4, -5
Let f = 55/68 + -18/17. Sort f, 0.2, -2/3 in increasing order.
-2/3, f, 0.2
Let t = 11.1 + -11. Sort -5, t, -6/11, -3 in descending order.
t, -6/11, -3, -5
Suppose -m + 4 = 1. Let i = -152 + 154. Sort i, -3, m in descending order.
m, i, -3
Suppose -6*r = -10 - 14. Put -2, -6, r, -3 in increasing order.
-6, -3, -2, r
Let x = 9 - 1. Let n = x + -3. Let o(t) = t - 14. Let i be o(11). Put -5, i, n in increasing order.
-5, i, n
Let q = 4 - 2. Suppose 3*o - q = 2*o. Put -3, o, 4 in increasing order.
-3, o, 4
Let u = 0 - -2. Suppose 5*x = 4*j + 1 - 16, 3*j + 3*x - 18 = 0. Put j, -1, u in ascending order.
-1, u, j
Let x = 65.1 + -75. Let l = x + 10. Sort 1/3, l, -1.
-1, l, 1/3
Let z = 0.08 + -0.07. Let o = -3.01 + z. Sort 2, o, 5 in ascending order.
o, 2, 5
Let x = 2.2 + -2.7. Put 5, 0, x in ascending order.
x, 0, 5
Let v be (2*8/20)/(3/15). Sort -3/7, 0.4, v, -1 in decreasing order.
v, 0.4, -3/7, -1
Let n = -10.1 + 9. Let f = n + 0.9. Let j = 3 - 0. Put j, 0.4, f in ascending order.
f, 0.4, j
Let k(f) = -3*f**3 + f**2 - f - 1. Let x be k(-1). Suppose -5*h + 30 = 2*s - 5*s, -5*h + 35 = -4*s. Sort x, h, -4 in descending order.
x, h, -4
Let i be 3/(-12) + (-34)/(-8). Suppose 8*v - 8 = i*v. Let n = -15 + 15.4. Sort 1, n, v in descending order.
v, 1, n
Let f(h) = -2*h**3 + 3*h + 2. Let y be f(-1). Sort -4, y, -2.
-4, -2, y
Suppose k = 4*u - 8, -2*k + 19 = -7*k - u. Sort k, 5, 1 in increasing order.
k, 1, 5
Suppose 5*f - 2 - 8 = 0. Sort -3, -2, f in ascending order.
-3, -2, f
Let k = 10 + -6. Let n = 5 + -2. Put n, k, 0 in decreasing order.
k, n, 0
Let f be 27/9 + (-5)/2. Let a = -0.2 - 0.3. Sort f, a, -3 in descending order.
f, a, -3
Let c be 152/56 + 2/7. Let b = 2 - c. Sort 5, b, -4 in decreasing order.
5, b, -4
Let j(z) = 2*z - 5. Let f be j(3). Let w = 1 + f. Sort w, 4, -5 in increasing order.
-5, w, 4
Let z = -12 + 7. Sort 8, z, 1 in increasing order.
z, 1, 8
Suppose 3*z = -15, 0*r + z = -2*r + 3. Let l(g) = g**3 + 8*g**2. Let c be l(-8). Sort r, 0.06, c in ascending order.
c, 0.06, r
Let m be -1 + (-2 - 894/(-27)). Let h = 30 - m. Sort h, -1/10, 2 in decreasing order.
2, -1/10, h
Let u be (2/(-4) + (-110)/(-44))/2. Let l(x) = -x**3 - 10*x**2 - 8*x + 11. Let y be l(-9). Suppose 0*m = 3*m - 12. Put m, u, y in descending order.
m, y, u
Let q = 3.1 + -3. Let m = -0.3 - -0.1. Let p(d) = 2*d**2 - 2*d - 1. Let h be p(-1). Put q, h, m in decreasing order.
h, q, m
Let c = 14503867/106571 + 53/5609. Let q = c + -136. Let g = 1.05 + -0.65. Put -3/2, q, g in increasing order.
-3/2, q, g
Suppose 0 = 5*b + 4*w + 10, 4*w + 29 = 9. Let f(n) = 2*n - 12. Let r be f(8). Sort -4, b, r in ascending order.
-4, b, r
Let r = 43 - 31. Let w(n) = n**3 - 12*n**2 - 2*n + 18. Let y be w(r). Put 5, y, 4 in ascending order.
y, 4, 5
Suppose -p = -3*p - 8. Let b = p - -3. Sort 3, b, 0 in increasing order.
b, 0, 3
Suppose 0 = -4*k + 4 - 0. Sort k, -4, -5 in decreasing order.
k, -4, -5
Let m be ((-5)/15)/(1/(-6)). Suppose 2*z - l = -1, m*z - 1 = 5*z - l. Sort z, 3, 2.
z, 2, 3
Let k(c) = -c - 12. Let w be k(-7). Sort w, 0, -2, -3 in increasing order.
w, -3, -2, 0
Suppose -p = 4*p - 15. Let x be (8/(-14))/((-12)/42). Sort 6, p, x.
x, p, 6
Let a = -0.3 + 0. Let d = -3.4 + 3. Sort a, 3/5, d.
d, a, 3/5
Let u = -9 - -10. Sort u, 3, 0 in decreasing order.
3, u, 0
Suppose -x + 20 = 5*f + 4, 3*f - 12 = 0. Sort x, 1, -3 in decreasing order.
1, -3, x
Let h = 4 + -5. Let r = -6 + 8. Let k(p) = p**2 - p - 2. Let n be k(r). Sort -2/15, h, n.
h, -2/15, n
Suppose -18 = -2*v - 2*m, -2*v - 4*m + 6 = -v. Let x be (-3)/(-1)*v/15. Sort -4, x, 1 in ascending order.
-4, 1, x
Let d = 6.8 + -11.8. Put -8, 0.5, 4, d in increasing order.
-8, d, 0.5, 4
Let v(j) = -j**2 + 6*j - 6. Let o be v(4). Suppose -12 = -o*b - 4. Suppose 3*q + 12 = -4*f, -b*f - 16 + 4 = -5*q. Sort 1, 1/3, f in ascending order.
f, 1/3, 1
Let j = -2.9 - -10.7. Let a = j - 8. Let f = 0 + 0.2. Sort f, a, 0.1 in ascending order.
a, 0.1, f
Suppose 3*s - 5*g + 6 = -10*g, -5*g + 8 = -4*s. Suppose 4*y + 4*i - 8 = 0, -y + 2*i + 2*i = 13. Let h = s - y. Sort 4, -2, h.
-2, h, 4
Let r be 4/6 + (-1)/(-3). Let f(k) = -3*k**2 - 5*k**2 + k**2 - k**3 - 4*k**2. Let z be f(-11). Sort -4, z, r in increasing order.
-4, z, r
Suppose -v - 1 + 9 = -4*n, 0 = -4*v - 4*n - 28. Put 5, -0.5, v in decreasing order.
5, -0.5, v
Suppose -4*a + p + 6 = -8*a, 2*p + 5 = -a. Let t(v) = -v**3 - 6*v**2 + 2*v + 7. Let q be t(-6). Sort q, a, 1 in increasing order.
q, a, 1
Let n be (-10)/(-9)*186/124. Suppose 0*h + 3 = 3*h. Let o be (2 - (-22)/(-6)) + h. Sort n, o, -4 in increasing order.
-4, o, n
Let i(m) = m**2 + 5*m + 1. Let k be i(-3). Sort k, 1.1, -3/4.
k, -3/4, 1.1
Let c = -4 - -2. Let p = 202 + -197. Sort c, -4, p in increasing order.
-4, c, p
Suppose 0 = -0*d + 3*d + 15. Let m be (-180)/(-385) + (-4)/14. Sort d, -1, m in increasing order.
d, -1, m
Let z = 4 - 6. Let y = -2 - -21. Suppose -4*l - 2*t = -3*t + 17, 3*t + y = -2*l. Sort 0.1, l, z.
l, z, 0.1
Let q = -98/129 - -4/43. Sort q, 0.2, -3/7.
q, -3/7, 0.2
Let k = 0.18 + -0.68. Sort 0.5, k, -14 in increasing order.
-14, k, 0.5
Let v = -1 + 6. Let h = -8 + v. Sort -1, 1, h in descending order.
1, -1, h
Let v = -0.39 - -1.39. Let s = 0.21 - -0.09. Sort s, v, -0.3 in descending order.
v, s, -0.3
Let n be 1*-1 + 1 + 1. Let d be 48 + -52 - (1*-2 - -3). Sort -2, d, n.
d, -2, n
Let s be (-1 + (-18)/(-12))*-2. Let z(u) = -2*u - 3. Let d be z(-3). Put 4, s, d in descending order.
4, d, s
Let r = -12 + 18. Sort -2, r, 4 in decreasing order.
r, 4, -2
Suppose 4*h + r + 10 = -7, 5*r + 34 = -3*h. Sort h, 5, 1 in increasing order.
h, 1, 5
Let i = -0.1 - -1.1. Let n = 72 - 218/3. Sort i, n, -5.
-5, n, i
Let w be (-2)/14*27/9. Let z = -0.3 + 0.5. Let g = z - 0.2. Put -0.4, w, g in decreasing order.
g, -0.4, w
Let k = 8 + 0. Let j(i) = -i + 4. Let u be j(k). Put -2, -1, u in ascending order.
u, -2, -1
Suppose -o = 2*y - 2, -y = 2*o - 0*o - 1. Suppose -4*l + 3 + 1 = 0. Put l, o, -2 in increasing order.
-2, o, l
Let g = 8 - 4. Put 2/9, -2, g in descending order.
g, 2/9, -2
Let u = -16.7 + 17. Sort u, -4/5, -0.3 in descending order.
u, -0.3, -4/5
Suppose 200 = g + 41. Let j be g/180 + 1/(-4). Let y = j - 5/6. Put -1/3, -2/9, y in descending order.
y, -2/9, -1/3
Let a be ((-12)/5 + 2)*1. Let f = -1 - -1. Suppose -15 = 5*c - 0. Sort a, c, f.
c, a, f
Let d be 4/((-3)/9*3). Sort 2, d, -1 in ascending order.
d, -1, 2
Let a = 31 + -36. Suppose -2*t = -3*y - 15, -12 = -4*t + 2*y + 6. Sort t, 4, a.
a, t, 4
Let y = 0.3 + -0.2. Suppose 0 = -2*c - 2*v - 10, 0 = v + 3*v + 12. Let m = -6.32 + 2.32. Put c, m, y in descending order.
y, c, m
Let b = -95/534 - -1/89. Sort 0.5, b, 0, 12/