1. Let y be k(1). Suppose 0 = -5*l + 4 + 1. Put -4, l, y in ascending order.
-4, y, l
Let v(q) = q + 5. Let r be v(-5). Put -3, r, 1, -4 in descending order.
1, r, -3, -4
Let c = -20 - -10. Let p = c - -15. Put -5, p, -5/3 in ascending order.
-5, -5/3, p
Suppose 8 = 2*k - 4*k. Sort -9, k, -2 in decreasing order.
-2, k, -9
Let t = 1 + -1. Suppose t = -3*f - 3*a - 6, 0*f - 2 = 5*f + a. Let l = 1/3 + f. Sort -2, 0.5, l in increasing order.
-2, l, 0.5
Let q = 4 - 7. Let f = q - -5. Let o = f + -7. Put 5, 2, o in increasing order.
o, 2, 5
Let f = 0.26 - 0.06. Sort -2/3, f, -0.1.
-2/3, -0.1, f
Suppose -3*f = 2*f - 40. Let j = 6 - f. Let l = 7 + -3. Put -5, l, j in descending order.
l, j, -5
Let f = -2 + 4. Let o(c) = c + 7. Let k be o(-6). Put f, k, 3 in ascending order.
k, f, 3
Let u = 4.01 - 0.01. Let f = -1.7 - 0.3. Let q = f + 2. Sort u, -1, q in decreasing order.
u, q, -1
Let a(l) = l - 6. Let v be a(5). Let h be 2/1*v + -1. Let b(i) = i**3 + 3*i**2 - i - 1. Let z be b(h). Put 4, z, 1 in descending order.
4, z, 1
Suppose y - 12 = 4*y. Let b be 52/14 + 10/35. Let z = -2.93 - 0.07. Sort y, b, z in ascending order.
y, z, b
Suppose 0 = -5*v - 5, 3*v + 0 = -3*n + 3. Let j be (n/(-10))/((-5)/25). Sort j, 4, -1 in descending order.
4, j, -1
Suppose -2*i + 7 = -5*u + 2*u, 4*i + 7 = -u. Let d(t) = -6375 - t + 6375 - 4*t**2 - t**3. Let j be d(u). Sort 0, 1, j.
j, 0, 1
Let x(o) = 2*o**2 - 6*o + 4. Let w be x(2). Let i(s) = s**3 - 5*s**2 - 5. Let l be i(5). Sort w, 3, l in descending order.
3, w, l
Let m = 8 + -11. Sort m, 2, -13 in decreasing order.
2, m, -13
Let l be (-6)/(-1)*(-2)/(-4). Suppose 4*v = -0*d + 3*d - 16, 4*d - 12 = l*v. Let f = v + 2. Sort 2, f, 0 in decreasing order.
2, 0, f
Let b be (3/4)/((-81)/(-24)). Let r = -0.03 + 0.53. Sort -3, r, b.
-3, b, r
Let t(a) = -a**3 - 7*a**2 - 6*a + 3. Let o be t(-6). Let p be 0*((-16)/6)/8. Sort p, o, -2 in increasing order.
-2, p, o
Let m(x) = -x**3 - 4*x**2 - 3*x + 1. Let c be m(-3). Let n be (-6)/9 - (-16)/6. Suppose 2*t + t - 12 = 2*r, n*r + 4 = -t. Sort -2, c, t in descending order.
t, c, -2
Let s = -4 + 5. Put -10, s, 0, 2 in descending order.
2, s, 0, -10
Let j = 1.5 + -1.94. Let m = 0.04 + j. Sort 3, -0.3, m in ascending order.
m, -0.3, 3
Let p be ((-6)/(-15))/(36/30). Put -3/8, 4/5, p, 0.2 in ascending order.
-3/8, 0.2, p, 4/5
Suppose -3*j + 37 = -2*d, -2*d + 7 = 4*j - 19. Sort j, 2, -2 in decreasing order.
j, 2, -2
Suppose 5*g = 77 - 102. Sort 4, 2, g, 3 in decreasing order.
4, 3, 2, g
Let a be (8/3)/((-6)/(-27)). Let r be a/10*(-5)/15. Sort r, -2/7, 5 in decreasing order.
5, -2/7, r
Let t = 0.9 - 1.2. Let m = t + -0.1. Sort 4, 0.4, m.
m, 0.4, 4
Let x be (-1)/((-2)/(2 - -22)). Let c = x + -9. Put c, -5, -3 in descending order.
c, -3, -5
Let q = 0.52 - 0.46. Sort q, 0, 1/10 in increasing order.
0, q, 1/10
Suppose -4*c + 3*a - 11 = 0, 0*c - a = -c - 3. Suppose 0 = -b - 0*b - 4. Put b, c, 0 in increasing order.
b, c, 0
Suppose 6*c - 2*c = -5*a + 39, 0 = -2*a + 3*c + 11. Let b = 2 - a. Let x = 10 - 7. Put x, 1, b in decreasing order.
x, 1, b
Let j = -0.8 - -0.3. Let s = -6 + 10. Suppose s*l - 2*l - 4 = 0. Sort j, -1/4, l in descending order.
l, -1/4, j
Let y = 4 + -2. Suppose 3*k + 5*z = -15, -4*k + 2*z - 20 = -0*k. Suppose -2*v - 21 = -3*l - 3, 4 = l. Sort v, k, y in increasing order.
k, v, y
Suppose 12 = -9*s - 6. Let j(i) be the first derivative of i**4/4 + i**3/3 + i**2 + 3*i - 1. Let z be j(s). Sort -1, 0, z.
z, -1, 0
Let u = -4 + 8. Suppose -m + 10 = 4*s - u*m, 4 = 2*m. Suppose -7*x - 1 = -p - 2*x, 4*p - 4 = 3*x. Put p, 5, s in ascending order.
p, s, 5
Let s = 24 - 23.7. Put s, -5, 2 in ascending order.
-5, s, 2
Suppose 2*v + 1 = 3*v. Let h be -17 - -12 - (-1)/v. Sort 0.3, h, 2.
h, 0.3, 2
Let b = -4 - -4. Suppose -6*n + 4*n = b. Suppose 1 = z - n*z. Put z, -4, 2 in decreasing order.
2, z, -4
Let v = 0.047 - 0.357. Let q = 0.09 - v. Sort -1/3, q, -2/3 in ascending order.
-2/3, -1/3, q
Suppose k - 2*c + 0*c - 3 = 0, c = 3*k - 14. Put 0, k, 2 in descending order.
k, 2, 0
Let w be ((-14)/(-63))/(8/(-1722)). Let r = 48 + w. Put r, -0.1, -0.2 in decreasing order.
r, -0.1, -0.2
Let x(t) = -t**3 - 17*t**2 + 16*t - 33. Let q be x(-18). Sort 5, 2, q, 2/17 in ascending order.
2/17, 2, q, 5
Let g = 1.59 - -1.41. Sort -0.5, 3/8, g.
-0.5, 3/8, g
Let z = 27 - 15. Suppose 4*q = -0*q + z. Sort 5, 4, q in increasing order.
q, 4, 5
Let p = 11 + -6. Suppose 0 = -0*h - 5*h + p. Put -1, h, 3 in ascending order.
-1, h, 3
Suppose -2*i + 15 = i. Let t(x) = x**2 + 1 - 2 - 4*x**3 + 0. Let z be t(1). Sort i, z, 0 in descending order.
i, 0, z
Let o = -0.9 - -0.6. Let h = 5.3 + o. Let l(n) = -n**2 - 7*n - 5. Let a be l(-6). Sort h, 1/10, a in descending order.
h, a, 1/10
Let m be 0 + 1 - -1*4. Suppose -m*g - 12 = 3. Suppose -p - 9 = -4*p. Put g, p, -1 in descending order.
p, -1, g
Let r(g) = g**2 + 4*g - 1. Let v be r(-3). Let x = -306 + 2445/8. Put v, x, 2 in ascending order.
v, x, 2
Let a = 1529/4020 + 14/201. Let n = -4/5 - a. Sort 0.2, n, 4 in descending order.
4, 0.2, n
Suppose 0 = 13*b - 10*b + 6. Sort b, 2, 4.
b, 2, 4
Let i = 117 - 115. Sort -5, -2, i, 1 in increasing order.
-5, -2, 1, i
Let a be (2 + 1)/((-3)/(-4)). Suppose 5*i + 12 = 3*f, -3*i - 7 = f + 3. Sort f, 1, a in increasing order.
f, 1, a
Suppose 1 = 3*r - 8. Let h = r + 2. Let n = -10 + 5. Put 0, n, h in decreasing order.
h, 0, n
Let a = -23/2 - -10. Let q = -0.8 + 1.1. Put q, a, 3 in decreasing order.
3, q, a
Suppose -11*b - 21 = -4*b. Let f(w) = w**3 + 8*w**2 + 5*w - 7. Let h be f(-7). Sort 2, b, h in ascending order.
b, 2, h
Suppose -5*n + 2 = 27. Let s be 80/14 - 4/(-14). Suppose p = -p - s. Put -2, n, p in descending order.
-2, p, n
Let s = 1.2 + 10.8. Let f = s + -17. Sort f, 3, -3/2.
f, -3/2, 3
Let b = 16 - 4. Let l = b + -6. Let c = -10 + l. Put -0.5, c, 1 in ascending order.
c, -0.5, 1
Let i = 4.65 + 0.35. Let v = 2.96 + 0.04. Put v, -5, i in descending order.
i, v, -5
Let q = -12 - -17. Suppose -3*s = s - 5*h - 5, 0 = 3*s - 4*h - 5. Put q, 4, s in decreasing order.
q, 4, s
Suppose 0 = 5*q - 2*u + 5*u - 20, 0 = -2*q - 2*u + 8. Suppose 4*b - 4*b = -6*b. Sort -3, b, q.
-3, b, q
Let i(g) = g**3 + g + 3. Let k = -1 + 1. Let h be i(k). Suppose 0 = s - 5 + 1. Put s, -2, h in ascending order.
-2, h, s
Suppose 2*t = 3*t + 2. Let d(m) = -m + 5. Let j be d(5). Let x be (-1 + j)/(1 + -2). Sort -3, x, t.
-3, t, x
Let t = -1.14 - -1.34. Put -2/13, 4, t in decreasing order.
4, t, -2/13
Let v = 17 - 14. Sort -4, -6, v in ascending order.
-6, -4, v
Let z = -24 - -28. Suppose 0 = -g + 2*q - 3*q - 3, -4*g - q = 6. Put g, z, 0.2 in decreasing order.
z, 0.2, g
Let z = -53 + 53. Sort -3, 2, 10, z.
-3, z, 2, 10
Let n(k) = 2*k + 29. Let m be n(-16). Suppose -3*i + 15 = 2*i. Put 1, m, i in decreasing order.
i, 1, m
Suppose 5*c = 4*b - 1, 0 = b - 6*b + 5*c. Put b, -9, 0 in descending order.
0, b, -9
Let r be 6*(2 + 10/(-6)). Let j = -11 + 15. Put r, 1, j in descending order.
j, r, 1
Suppose 0 = n - 2*k + 5, 5*n - 10*k + 17 = -8*k. Let o = -5 + 17. Put o, n, 2 in ascending order.
n, 2, o
Let o = 1.907 + 0.093. Let w(s) = -2*s - 3. Let t be w(6). Let k be (3/t)/((-1)/3). Sort k, o, -2 in increasing order.
-2, k, o
Let r = -1/13 - 21/65. Let s = -2 + 3. Let u be (-33)/(-36) - (-2)/(-3). Sort u, s, r.
r, u, s
Let f be 2*(2 + -5 + 2). Let h be -2 - (f - -1) - 3. Put 0.2, h, -5 in ascending order.
-5, h, 0.2
Let l = -1520565 - -212880581/140. Let t = 41/35 + l. Let a = -41/4 + t. Put -2, 1, a in decreasing order.
a, 1, -2
Let j = 284.02 - 280. Let s = j + -0.02. Put s, -0.1, -3/5 in decreasing order.
s, -0.1, -3/5
Let h = -13 + 9. Let p = -3 - h. Let c = 1314 - 1314. Sort c, -2, p.
-2, c, p
Let s = -51 + 45. Sort -3, s, -1 in decreasing order.
-1, -3, s
Let q(l) = -l - 10. Let x be q(-7). Put 3, x, 4 in decreasing order.
4, 3, x
Let o = -82 + 80. Put -3/5, o, -4, 1/2 in increasing order.
-4, o, -3/5, 1/2
Let h = 0.11 - -0.89. Put 0.3, -4, h in descending order.
h, 0.3, -4
Let n = 30 - 26. Put n, -1, -1/2 in increasing order.
-1, -1/2, n
Let q be (0 + 5/40)*-6. Sort q, -0.03, 2/3 in increasing order.
q, -0.03, 2/3
Let b be (-272)/(-144) - 1*2. Let p be (-2 - -7)*2/(-35). Sort p, -1, b in decreasing order.
b, p, -1
Let q = 6 - 5.95. Let n = -0.11 + q. Let x = 0.46 + n. Sor