 19 = 0. Suppose 0 = s + 1 + 1. Sort k, 1, s in increasing order.
k, s, 1
Suppose -8*i + 5*i = -12. Let q(p) = -p + 4. Let a be q(4). Suppose 3*m + 8 = 2*v, a - 2 = -5*v + 3*m. Sort -3, i, v in increasing order.
-3, v, i
Let u = -4 - -7. Suppose -2*z + 5*y + 12 + 3 = 0, u*z + 4*y + 12 = 0. Let v = 2 + 1. Put v, z, -5 in decreasing order.
v, z, -5
Suppose 3*u - 3*n = -33, -n + 3*n = u + 14. Put -0.4, u, 4 in descending order.
4, -0.4, u
Let f = 77.9 - 78. Let q = -4 + 4. Sort q, f, -0.4 in ascending order.
-0.4, f, q
Suppose 4*d - 16 = 4*b, 0 = 3*d + 2*d - b - 28. Suppose -3*m + 4*n = -d, 4*m - 8 = -5*n + 2*n. Sort m, 1, -3 in descending order.
m, 1, -3
Let v be 1 + 3 + (-169)/(-9). Let j = -23 + v. Sort 5, -3, j in increasing order.
-3, j, 5
Let p = -0.09 + -0.06. Let s = p + 0.05. Sort 0, s, 2/9 in descending order.
2/9, 0, s
Let d(o) = -6*o**2 - 2*o - 1. Let i be d(-1). Suppose 6 = -0*l + 3*l. Let s = l - -1. Put i, s, -3 in increasing order.
i, -3, s
Let v = -0.02 - 0.08. Put -0.2, 4/5, v in descending order.
4/5, v, -0.2
Let b be -3 - -2 - (-1 - 0). Suppose -5*j + 2*l - 39 = b, 3*j + 2*j + 48 = -l. Let z be 2/j - 22/(-18). Sort -3, z, 5 in descending order.
5, z, -3
Let g = 29 + -27. Sort 5, -1, g, -4 in decreasing order.
5, g, -1, -4
Let o(h) = -h - 2. Let j be o(-3). Let i(k) = -k**2 + 6*k - 6. Let g be i(5). Let q be (g + 1)*(0 - j). Put q, -1, -2 in ascending order.
-2, -1, q
Suppose -9 = -5*o + 2*o. Let t = 1 - o. Put t, 5, -3 in descending order.
5, t, -3
Let a = 0.14 + -0.44. Let q = 13 - 40/3. Put -2, a, q in descending order.
a, q, -2
Let f = 4 - 4. Let z = 0.08 + f. Let h = z + -0.18. Put -4, 1/5, h in increasing order.
-4, h, 1/5
Let u(n) = -n**3 - 6*n**2 - 6*n - 3. Let l be u(-2). Let x = l + 6. Put x, 4, -3 in decreasing order.
4, x, -3
Let h = 11 - 9. Suppose -h*g + 0*g - 21 = 3*z, 3*g = 5*z + 16. Sort z, 0, 1 in ascending order.
z, 0, 1
Let l(k) = k**3 + 4*k**2 - 7*k - 7. Let a be l(-5). Suppose -a = -g - 2*g. Sort 4, -5, g in descending order.
4, g, -5
Suppose -39 - 1 = -10*n. Sort 0.1, n, -4, -7 in decreasing order.
n, 0.1, -4, -7
Let b(o) = -o + 7. Let d be b(4). Suppose 0 = -z + 4*k + 18, -2*z + 20 = 2*z - 3*k. Let p be (d/6)/((-1)/z). Put 2/3, 2, p in decreasing order.
2, 2/3, p
Let a(v) = 4*v**2 - v - 1. Let q be a(-1). Sort 1, 0, q in ascending order.
0, 1, q
Let i be 4 + 5/20*-13. Sort i, -0.3, -2/15 in decreasing order.
i, -2/15, -0.3
Let p(i) = i**2 + 5*i - 2. Let q be p(-5). Let s be ((-3)/(-2))/(12/16). Suppose -4*f + s*f = 6. Sort 2, q, f in decreasing order.
2, q, f
Let q be 2*-1 - (-6)/4. Let l = -9/10 - q. Let k = -0.1 + 0.2. Put k, l, -0.1 in descending order.
k, -0.1, l
Let j = 4 + -3.8. Let c = 1586/7 - 227. Put -5, c, j in ascending order.
-5, c, j
Let k(q) = q**3 - 5*q**2 + q - 8. Let d be k(5). Let m be 0*(2 - (0 - -3)). Sort m, d, -1 in descending order.
m, -1, d
Suppose 6*l + l + 7 = 0. Let w be (3 - 4) + (-1)/1. Let k be (l - (-14)/15)*w. Sort 4, k, -3 in descending order.
4, k, -3
Let z = -10 + 9. Sort z, -6, -4 in descending order.
z, -4, -6
Let o = 95 - 94. Let w = 0.3 + 0.2. Put -0.06, w, o in decreasing order.
o, w, -0.06
Let r = -89 - -93. Put 0, -3, r, -2 in decreasing order.
r, 0, -2, -3
Let p = 1.98 - 5.98. Put 3/5, 0.3, p in descending order.
3/5, 0.3, p
Suppose 3*q = -9, -4*x = -q - 0*q - 3. Sort -1, 15, x, 1 in increasing order.
-1, x, 1, 15
Let d = 3.33 - 3.2. Let f = d + 0.07. Sort f, -1, 3 in increasing order.
-1, f, 3
Let o(a) = -a + 14. Let t be o(12). Put t, 3, 1 in decreasing order.
3, t, 1
Suppose -18*x + 23*x = 0. Put 1, -2, x in ascending order.
-2, x, 1
Let h = 0 + 2. Let w = -14 - -15. Let j be w/(-1) - (0 + 0). Put j, h, -3 in ascending order.
-3, j, h
Let u be 2/(-7) + 57/126. Sort -6, 1, u in increasing order.
-6, u, 1
Let d = 0.001 - 0.001. Put d, 3, 0.5, 0.2 in decreasing order.
3, 0.5, 0.2, d
Suppose -4*i + 8 = -4*g + 2*g, 0 = -5*i + g + 10. Put 0, i, 5 in decreasing order.
5, i, 0
Suppose l = -b + 4*b + 3, 15 = 5*l. Let p be (-2)/(1/1 + 0). Sort p, 5, b in decreasing order.
5, b, p
Let i be (-4)/(-22) - (-120)/66. Sort -1, -2, i.
-2, -1, i
Let k = -2.7 + 3. Let x = -1.9 - -2. Put -3, k, x in ascending order.
-3, x, k
Let k = 24 + -16. Suppose -6*w - k = -4*w. Suppose 4*o - 1 = 3. Put w, o, 3 in increasing order.
w, o, 3
Let z = 5 - 2.5. Let x = -3 + z. Sort -1/3, x, 2 in descending order.
2, -1/3, x
Let v(k) = -k**2 - k - 4. Let i be v(0). Let o = -164/385 - 1/385. Sort o, i, 0.2 in increasing order.
i, o, 0.2
Let d = -103 + 78. Put -1, 5, d, 1/5 in descending order.
5, 1/5, -1, d
Let q = -4 - -2. Put q, -0.4, 4 in descending order.
4, -0.4, q
Let b(u) = -u**3 - 4*u**2 - 5*u - 2. Let z be b(-3). Sort -1, -2/15, z in descending order.
z, -2/15, -1
Suppose -4*m - 10 = 2*n, n = -3*n - 4. Put -1, 1, m in decreasing order.
1, -1, m
Let p(z) = 6*z + 7. Let i be p(-2). Put i, 1, -1, 4 in decreasing order.
4, 1, -1, i
Suppose w - 9 + 8 = 0. Sort w, 4, 0.5 in decreasing order.
4, w, 0.5
Let j(b) = -4*b + 15. Let p be j(5). Put p, 4, 2, 3 in descending order.
4, 3, 2, p
Let k be (-46)/126 - 2/(-9). Let z = 18 + -15. Put k, z, -0.2 in increasing order.
-0.2, k, z
Let j = -2.9 - 0.1. Let n = 3.5 + -6. Let y = n - j. Sort -0.3, y, 4 in increasing order.
-0.3, y, 4
Let d = -5 + 5.3. Let h = d + -0.4. Let q(o) = -2*o - 14. Let s be q(-6). Put h, s, 2 in descending order.
2, h, s
Let b = 1 - 1. Let p(l) = -2*l - 10. Let t be p(-7). Suppose 0 = -n - 2*y - 5 + 8, -t*n = -4*y + 12. Sort n, -5, b.
-5, n, b
Let a(n) = -n**2 + 1. Let g(p) = 4*p**2 - 4*p - 3. Let b(z) = -3*a(z) - g(z). Let l be b(5). Suppose -32 = -60*c + 52*c. Sort c, l, -3 in decreasing order.
c, -3, l
Let r(i) = i**2 + 8*i + 8. Let j be r(-4). Let s = j + 10. Let h be ((4 - 1)/(-1))/(-1). Put s, h, 5 in increasing order.
s, h, 5
Let o = 71 + -101. Let h be o/(-4)*4/(-6). Let b = 3 + -2. Sort 3, b, h in increasing order.
h, b, 3
Suppose 2*x = 5*p, x + 38 = 6*x - 3*p. Let y be (-12)/(-10) - 2/x. Let k be (2/4)/((-2)/16). Sort y, k, 0 in decreasing order.
y, 0, k
Let x = 20 - 18. Put 17, -1, x in increasing order.
-1, x, 17
Let p = -40 - -35. Put 0.02, p, 2/21, 3 in increasing order.
p, 0.02, 2/21, 3
Let r be (0 - 2)/(-2 - 0). Suppose 0*w + 23 = -5*w + 2*f, -3*w - 21 = -3*f. Sort 2, r, w in descending order.
2, r, w
Suppose 5 = -x, 2*u + 40 = -2*u - 4*x. Sort 3, -3, u, -1.
u, -3, -1, 3
Suppose 0 = -2*o - 4*i + 16, 4*o - 6 = 5*i - 0. Suppose -o*g - 5 = 11. Put g, 4, -3 in decreasing order.
4, -3, g
Let l = 129 + -131. Put l, 1/8, 17 in increasing order.
l, 1/8, 17
Let f = -0.096 - -0.096. Let j be (-1)/(-3)*(-9)/(-24). Let z be (-6)/(-32)*6/3. Put j, z, f in descending order.
z, j, f
Suppose 4*i - i = -4*g + 4, -2*g + 12 = -i. Put g, 3, 0 in ascending order.
0, 3, g
Let x be 1/((8/(-6))/4). Suppose -8 = 3*d + d. Put d, 0, x in descending order.
0, d, x
Let n = 7 + -4. Let k = -4 - -8. Suppose k*i = i. Sort n, 1, i.
i, 1, n
Let o be 16/(-10)*(-10)/4. Let j be ((-3)/o)/((-30)/24). Sort 0.2, 2/11, j.
2/11, 0.2, j
Suppose 10 = -p + 3*p. Suppose -5*o + 4 + 1 = 4*i, -30 = -o + p*i. Sort 1, o, -5 in ascending order.
-5, 1, o
Let p = 5.6 - 6. Let z = -0.06 + -9.94. Let v = -9.7 - z. Sort -3, p, v in descending order.
v, p, -3
Let k = -6 - -4. Suppose 2*b - 1 - 5 = r, 3*r = -3*b + 18. Put k, 0.4, b in decreasing order.
b, 0.4, k
Suppose -4 = -2*h + h + g, -g = 5*h - 8. Suppose 6 - 4 = -h*v. Put -4, -5/4, v in descending order.
v, -5/4, -4
Let t be (-1)/(-3) - 4/3. Let g be t/(-4) + 8214/40. Let h = g + -205. Put h, -3/2, 0.4 in ascending order.
-3/2, 0.4, h
Suppose 18 = -2*k - f, f + f = -5*k - 45. Put 1/2, -2, k in ascending order.
k, -2, 1/2
Let x be 10/(-4) + (-8)/(-16). Sort x, 2, 1, 3.
x, 1, 2, 3
Suppose 5*x - 58 = 37. Let l = 18 - x. Put 2, 1, l in decreasing order.
2, 1, l
Let t = -93 - -96. Sort t, 4, 2, -3 in ascending order.
-3, 2, t, 4
Let h = -2 + 5. Suppose 2*y + m - h = 1, -2*m - 10 = -2*y. Let v be (2 + y)*-1 + 2. Put v, 0, 2 in decreasing order.
2, 0, v
Let l = 1806/11 - 164. Sort -3/13, 0.3, l in ascending order.
-3/13, l, 0.3
Suppose 0*x + 17 = 2*c + 3*x, -2*c - 4 = -4*x. Let q = -6 + 6. Suppose -w - 5*d + 9 = -1, 4*w - 3*d + 29 = q. Sort -3, w, c in decreasing order.
c, -3, w
Let s = 12 + -11. Let x = -4 + 3. So