 k.
k, -4, -3
Let n(h) = 7*h - 1. Let d be n(-2). Let t be (6/(-9))/(2/d). Sort -3, t, 0 in descending order.
t, 0, -3
Let h = -11 - -10. Sort h, 3, 5 in ascending order.
h, 3, 5
Let p(b) = 2*b + 5. Let g be p(-4). Suppose 4*r - 7 = -3. Sort r, g, -4 in descending order.
r, g, -4
Suppose 4*k + k + 3*s = 1, -s = 5*k - 7. Sort k, -5, -2 in ascending order.
-5, -2, k
Let f = -1/2 - -1/6. Let i be (-4)/(-2) + (-2 - -27). Let l = i + -191/7. Sort f, l, 3 in increasing order.
f, l, 3
Let h(j) = -j**2 + 7*j - 3. Let t be h(6). Suppose t*b = 4*b + 3. Sort b, 4, -0.1 in descending order.
4, -0.1, b
Suppose -5 = -2*j + q, -j + 5*q = 3*q + 5. Sort -4, j, -3.
-4, -3, j
Suppose t - 6*t = -10. Let m be 7/(-7) + 1 + 4. Put -3, t, m in decreasing order.
m, t, -3
Let c = -0.04 - 0.46. Let r be 2 + (-3)/2*-2. Sort 0.3, r, c in decreasing order.
r, 0.3, c
Suppose -5*l = 4*h + 40, 0 = -5*h + l - 3*l - 33. Sort 5, h, -1 in increasing order.
h, -1, 5
Suppose -3 - 5 = 4*f. Put -4, f, -8 in ascending order.
-8, -4, f
Let c be (12/(-40))/((-6)/(-8)). Let o be 431/4 + (-5 - -6). Let k = o + -3931/36. Sort k, c, -1.
-1, k, c
Let w = 1 + -3. Let c be (3/w)/((-12)/32). Suppose -c*h = h. Sort 2, -4, h.
-4, h, 2
Suppose -15*o = -19*o - 8. Put o, -3, 2 in ascending order.
-3, o, 2
Let f = -8 - -11. Let q(b) = b**3 + 9*b**2 + b + 5. Suppose -4*g + 5*r = 21, 4*g + 4*r + 42 + 6 = 0. Let z be q(g). Put 0.1, z, f in increasing order.
z, 0.1, f
Let k be (-1)/(-2) - (-7)/(-2). Suppose -7 - 18 = 5*w, 5*j = 5*w + 35. Let q = -4 + 3. Put j, k, q in decreasing order.
j, q, k
Suppose -2*h + 25 = 3*h - 4*a, -5*a + 20 = 4*h. Let w = h - 2. Let s be (0 + -1)/((-2)/(-10)). Sort -1, s, w.
s, -1, w
Let o(s) = s**2 - 9*s - 1. Let d be o(9). Put d, -18, -2, -3 in ascending order.
-18, -3, -2, d
Suppose f - 3*i - 6 = 10, 0 = -2*f - i + 18. Let k = f + -5. Suppose 3*t - 1 = -2*q, 0 = k*t + 3 - 18. Sort 4, q, 2 in descending order.
4, 2, q
Let c be (6/7)/(2 - 150/70). Sort 4, c, 3, -5 in descending order.
4, 3, -5, c
Let r = 1 - -4. Put 1, r, 2 in ascending order.
1, 2, r
Let r(i) = -i**3 + 9*i**2 - 7*i - 6. Let x be r(8). Suppose -3*p + 2*c + 17 = 3*c, 0 = -x*p + 2*c - 2. Sort -3, p, -4 in descending order.
p, -3, -4
Let i = 6 - 18. Put -0.5, i, 0.3 in ascending order.
i, -0.5, 0.3
Suppose -5*j = 3*u - 18, -4*u = 2*j + 4 - 14. Let s(d) = d**3 - 5*d**2 - 6*d + 7. Let z be s(6). Suppose -f + 1 = 4*c - z, -8 = -j*f - 4*c. Sort f, 5, 4.
f, 4, 5
Suppose 0*d + 13 = 3*f - 4*d, 4*f + 3*d + 16 = 0. Let j be (2 - 2)/(0 - f). Suppose -25*l + 33*l = -24. Sort l, j, -0.2.
l, -0.2, j
Let z be 1/2 + (-17)/(-34). Put z, -3, -2 in increasing order.
-3, -2, z
Let n = 2 - -3. Suppose -4*m + 8 = n*k, -3*k + 0*k + 8 = 4*m. Sort m, -3, -5 in descending order.
m, -3, -5
Suppose 3*a + 4*s + 90 = -29, -5*a = -s + 229. Let m = -20 - -37. Let t be m/a - 12/54. Sort -2/13, -3, t in increasing order.
-3, t, -2/13
Let y = -6 + 9. Suppose -5*u + 0*n = -5*n + 5, 5*n - 8 = 4*u. Suppose -g = u*g. Put g, 2, y in increasing order.
g, 2, y
Let z(s) = -s - 10. Let l be z(-7). Sort -5, -2, l in decreasing order.
-2, l, -5
Let b be (84/9)/(-2)*(-9)/6. Sort 2, b, 4 in descending order.
b, 4, 2
Let c = -1.13 - -0.13. Sort 0.4, -3/4, c in increasing order.
c, -3/4, 0.4
Let j(m) = m**3 - 14*m**2 + m - 13. Let i be j(14). Suppose 12 = 2*r - 0*r. Suppose -2*k + 5*k - 2*s = -9, -2*k + 3*s - r = 0. Put 0, k, i in descending order.
i, 0, k
Let n be 2/(2/(-5)) + 3. Suppose q + 4 = 2*q. Let h = q - 1. Sort -4, h, n in increasing order.
-4, n, h
Let k(u) = u**3 - 12*u**2 + 19*u + 10. Let x be k(10). Sort x, -5, 32 in ascending order.
-5, x, 32
Let r = -3.9 + -0.1. Sort 2/9, r, 0 in increasing order.
r, 0, 2/9
Let n = 0.59 - 5.59. Let u = -0.03 - 0.03. Sort 2/3, n, u in ascending order.
n, u, 2/3
Let c = 0.01 + 5.99. Let j = c - 5.4. Let u = 0.5 - j. Sort u, -2, 0.
-2, u, 0
Let t be -3*(4 - (-4 - (-50)/6)). Put 0, -4, t in descending order.
t, 0, -4
Let c = -0.22 - -0.3. Let t = 29 - 34. Sort t, c, 0.3 in decreasing order.
0.3, c, t
Let f = -7/2 - -4. Let u = 79/3 - 26. Let l = -142.8 - -143.2. Sort u, l, f.
u, l, f
Suppose -5*q + 5 = -10*q. Put -4/5, q, -0.3 in ascending order.
q, -4/5, -0.3
Let l be 0 - -3*20/(-12). Put 2, l, -7 in descending order.
2, l, -7
Let t be -2 + 0/(4/(-2)). Let a = 0.054 + -0.354. Sort 1, t, a.
t, a, 1
Let h(o) = -o**3 - 5*o**2 - 5*o - 2. Let i be h(-3). Sort i, 5, 4.
i, 4, 5
Suppose -70 = -5*o + 5*s, 4*o = 7*o + 5*s - 2. Let f be o/(-6)*(-8)/(-78). Let j be 2 + (-5)/4 + -1. Sort j, 1, f in ascending order.
j, f, 1
Suppose 3*r + 7 = -d + 3*d, 3*r + 2 = d. Sort 35, r, -3 in ascending order.
-3, r, 35
Suppose -2*i = 8 - 0. Let d(k) = -2*k + 5. Let n be d(5). Sort 0, n, i in descending order.
0, i, n
Suppose 2*x - 8 = -2*x. Let p be 2 + -2 + x*1. Suppose -5*g - p = 3. Put 1, 2, g in decreasing order.
2, 1, g
Let k = 44 - 47.7. Let q = 0.7 + k. Suppose 3*s - 12 + 0 = 0. Put -0.5, s, q in ascending order.
q, -0.5, s
Let q = -0.7 - -0.6. Let d = 10 + -1. Let w = 14 - d. Sort q, w, -2/5 in descending order.
w, q, -2/5
Let o be 3 + 0/(1 - 2) - 2. Suppose -4*l + 13 = -7. Sort l, -2, o in ascending order.
-2, o, l
Let r = -0.5 - -0.8. Let b(g) = g**2 - 5*g + 2. Let o be b(6). Let y = o - 12. Put y, 0.4, r in increasing order.
y, r, 0.4
Let x(k) = k**3 + 10*k**2 - k - 4. Let p be x(-10). Let j(g) = -g**2 + 3*g + 13. Let n be j(p). Put n, -2, 1/2 in decreasing order.
1/2, -2, n
Let c = 6 + -1. Let g = c - 2. Let t be -8*(-3)/30 - 1. Put t, -4, g in decreasing order.
g, t, -4
Let x(m) be the first derivative of -m**2/2 + 12*m - 1. Let j be x(7). Suppose -6*n + n = 20. Sort -5, n, j.
-5, n, j
Let v = 1.38 - 0.38. Let o = 6.2 - 1.2. Let g = -3 + o. Put g, v, 3 in descending order.
3, g, v
Let h = -0.4 + -0.2. Let b = h + 0.7. Let n = -0.31 - -0.01. Sort b, -5, n.
-5, n, b
Let a = 9.4 + -9. Let s = 1/15 + -2/5. Put s, a, 0 in ascending order.
s, 0, a
Let r = 96 - 95.9. Let f = 73/4 - 18. Sort 1/3, f, r.
r, f, 1/3
Let o = 6 - 4. Suppose -3*j = -18 + 15. Sort o, -0.1, j in decreasing order.
o, j, -0.1
Let o = 31 - 30. Put -5, 4/7, o in decreasing order.
o, 4/7, -5
Suppose p - 6 = -2*p. Suppose -y + 2*y = p. Let u be 6/36 + (-1)/y. Sort 5, u, -4 in decreasing order.
5, u, -4
Let i = 11 - 9. Suppose 4*q = 6*q - i. Sort -3, 3, q.
-3, q, 3
Let b = 15 + -25. Let g = 5 + b. Sort -2/3, g, -0.4 in decreasing order.
-0.4, -2/3, g
Let s(m) = -m**3 - 5*m**2 + 8*m + 8. Let p be s(-6). Let d be (-105)/75 - p/10. Sort d, 4, 1 in descending order.
4, 1, d
Suppose 11*g - 7*g + 8 = 0. Put 2, -5, g in descending order.
2, g, -5
Let o = -17.7 - -18. Sort o, -0.6, -3 in decreasing order.
o, -0.6, -3
Let g be 1/(-9) - (2 - 84/27). Put 4, -2, -7, g in increasing order.
-7, -2, g, 4
Suppose -2*i = o - 3*o - 12, -i + 22 = -5*o. Sort -1, 4, 3, o.
o, -1, 3, 4
Let c = -44 + 43.6. Sort 1/31, 4, c in descending order.
4, 1/31, c
Let s(w) = -w**2 + 5*w + 8. Let u be s(6). Suppose -5*j + u*z = -0*z - 24, z - 18 = -5*j. Suppose -v = -j*v. Sort -3, v, 3.
-3, v, 3
Let k = -1 - 5. Let d = k + 3. Sort -0.1, d, 0.5 in ascending order.
d, -0.1, 0.5
Suppose 0 = l - 4*z + 5*z + 1, 4*l - 5*z = 14. Put 0, 5, l, -2 in increasing order.
-2, 0, l, 5
Suppose 3 - 6 = -3*y. Suppose -g - 2 = -y. Let t be 12/(-7) + 4/(-14). Sort -5, g, t in ascending order.
-5, t, g
Suppose 5*u - 4*m = -8, 0 = -2*m + 4. Suppose -2*c + 2 = -c. Suppose 5*q - 18 = 2, 0 = -4*h + c*q + 12. Sort h, 2/9, u in decreasing order.
h, 2/9, u
Suppose -4*n - 30 = -7*n. Sort -5, n, 4 in ascending order.
-5, 4, n
Suppose l - 4*l + 9 = 0. Suppose -3*n = 5*m + l - 7, -2*m - 3*n = 2. Suppose -m*o - 6 = -5*o. Sort -4, -5, o in descending order.
o, -4, -5
Let l = -2 + 3. Let v(s) = s - 1. Let a(p) = -4*p + 5. Let q(g) = -2*a(g) - 9*v(g). Let x be q(-1). Sort l, x, -2 in ascending order.
-2, x, l
Let o be (-15 + 12)*(-2)/(-3). Sort -4, -6, o in descending order.
o, -4, -6
Suppose 2*r + 2*r = 0. Suppose 3*g + 12 = -r*g. Let j be (-1 - 5)/(9/(-6)). Sort 2, g, j in descending order.
j, 2, g
Let t = 3 + -2.5. Let l = 0.1 - t. Let j be 15/(-2)*(-1)/20. Sort j, l, -1 in decreasing order.
j, l, -1
Suppose 9 = x - 2*f, 2*f = -3*x + 6*f + 21. Put 7, 1, x in descending order.
7, x, 1
Let t be (-182)/(-8) + 1/4. Suppose 2*j + t = 