, k.
k, x, 4
Let j = -160 + 168.3. Let a = -8 + j. Put -4, -1/12, a in increasing order.
-4, -1/12, a
Let f be (-51)/(-9) - (-2)/6. Let u = -8 + f. Let s be 26/10 - (-2)/5. Sort 5, s, u.
u, s, 5
Let w = -0.3 + 0.4. Let y = 0.17 - 2.17. Put y, -3, w in decreasing order.
w, y, -3
Let b = -1.6 + 1.4. Put 35, 2/3, b in descending order.
35, 2/3, b
Let g = 6.6 - 6. Let k = 0.4 - g. Sort k, -5, -2/25.
-5, k, -2/25
Let s = 11.4 - 11.47. Sort -0.3, 0.5, s in decreasing order.
0.5, s, -0.3
Suppose 0 = -2*x - x. Suppose q = -x*q. Let b(w) = -2*w. Let f be b(1). Sort f, q, 5 in ascending order.
f, q, 5
Let y = -4 - -2. Let w = y - 3. Let h = w - -10. Put h, -1, 4 in ascending order.
-1, 4, h
Suppose 2*n + n = -15. Sort n, 5, 3 in descending order.
5, 3, n
Let a be (-10)/10*(-2 + 0). Put a, 4, 0.2, 2/13 in increasing order.
2/13, 0.2, a, 4
Let h = 9 + -8.94. Let x = h + 0.14. Sort x, 3/4, 1.
x, 3/4, 1
Let v(d) be the second derivative of -d**5/20 - d**4/3 - 5*d**3/6 - 3*d**2/2 + 3*d. Let a be v(-3). Sort 5, a, -3 in descending order.
5, a, -3
Let o = -22 + 25. Sort -0.4, o, 2/11 in increasing order.
-0.4, 2/11, o
Let x = -0.5 - 0. Let c = 5.03 + -0.03. Put 4, c, x in decreasing order.
c, 4, x
Let n be (-2)/(-12)*3/2. Suppose 0*p = -3*p + 36. Let z be 9/p + (-2)/(-8). Put -3/5, z, n in ascending order.
-3/5, n, z
Suppose -4 = -u + 5*u + 4*f, 4 = -3*u - 2*f. Suppose 16*k = 20*k. Put 3, k, u in increasing order.
u, k, 3
Let o = 107 - 106.5. Sort o, 4/5, -2/3, -25.
-25, -2/3, o, 4/5
Suppose k - 3 = -4*t, -2*k = -3*t - 9 - 19. Suppose 0 = b - w + k - 2, 29 = -5*b + w. Sort 4, b, -2 in increasing order.
b, -2, 4
Let z = 26 + -25.96. Put z, 0.4, 3/4, 4 in increasing order.
z, 0.4, 3/4, 4
Let q be 0 + (-8)/(-12) + (-22)/6. Put -2, 1, q, 11 in ascending order.
q, -2, 1, 11
Let k = -4 - -8. Suppose -k*t + 0 + 20 = 0. Sort t, 6, 1 in decreasing order.
6, t, 1
Let o = -13 - -19. Let p = o + -6.4. Let a be (-12)/(-10) + 4/(-10). Put 0.1, a, p in increasing order.
p, 0.1, a
Let w = 61 + -59. Put -9, -3, w in increasing order.
-9, -3, w
Let x = -19 - -10. Let i be (x/18)/(2/(-24)). Put -2/7, -1/2, i in decreasing order.
i, -2/7, -1/2
Let j(b) = b**3 + 4*b**2 - 5*b - 5. Let o be j(-5). Sort -3, 1, o.
o, -3, 1
Suppose 0 = -2*m + 6*m - 16. Suppose y - 5 = 2*g, m = -g - 5*y - 15. Sort 2, g, -3 in ascending order.
g, -3, 2
Let j = -5.8 - 3.2. Sort -1, 2, 0.2, j.
j, -1, 0.2, 2
Let i = 0.46 + -0.66. Put i, 2/7, 0.3, 1/3 in decreasing order.
1/3, 0.3, 2/7, i
Let l = -65/3 - -22. Let r = 8.3 - 8. Sort 0.4, r, l in descending order.
0.4, l, r
Let t = -4 + 7. Suppose -2*g - 4 = -0*p + 2*p, -t*g - 12 = 0. Suppose p*n + 1 = 9. Sort n, 2, -4 in increasing order.
-4, 2, n
Let t = -0.12 - -0.02. Let l = t - -4.1. Put l, 0, -1/2 in decreasing order.
l, 0, -1/2
Let f = -896.64 - -860. Let j = -33.7 - f. Let l = 0.06 + j. Sort -5, l, 0.1 in descending order.
l, 0.1, -5
Let v = -0.957 - 0.043. Sort 1, 8, v.
v, 1, 8
Let r = -0.14 + 0.08. Let h = r - -2.06. Sort -3, -4, h in descending order.
h, -3, -4
Suppose -3*y = 2*y + 3*j + 29, 5*j = y - 11. Let x be 1/(10/3 + -3). Sort x, y, -2 in decreasing order.
x, -2, y
Let g = -210 + 204. Sort 5, g, -5, -1 in decreasing order.
5, -1, -5, g
Let q(s) be the second derivative of s**3/6 + 9*s**2/2 + s. Let t be q(0). Suppose -3*r = -t - 6. Put -0.3, 0, r in ascending order.
-0.3, 0, r
Let r = 45 - 42. Put 0, r, -1 in ascending order.
-1, 0, r
Let v = 15/92 + 2/23. Let c = v - 3/4. Sort c, 1/7, 7 in increasing order.
c, 1/7, 7
Suppose 9 = -4*y - 2*v - 5, y + 4*v + 21 = 0. Let i = y + -1. Suppose 35 - 8 = -5*b - 3*m, -m - 16 = 4*b. Put -1, b, i in decreasing order.
-1, i, b
Let f = 3220018/87 - 37011. Let s = f + -1/29. Let i = 0.2 - 0.1. Put s, 0.5, i in descending order.
s, 0.5, i
Let j be (-1)/3 + 112/(-24). Let r be (-2)/(-2 + 1) + -2. Put r, j, 5 in decreasing order.
5, r, j
Let a = 0.001 + 0.199. Sort -4, 2/13, a, 4 in descending order.
4, a, 2/13, -4
Let y be ((-3)/27)/((-2)/12). Sort y, 3, -3/2 in descending order.
3, y, -3/2
Let t(m) = -m**2 + 23. Let f be t(0). Let s = f + -21. Sort -0.1, s, -2/5 in descending order.
s, -0.1, -2/5
Suppose 0 = -d + 6*d. Let l be d/2*(-2)/4. Sort l, 4, 2 in decreasing order.
4, 2, l
Suppose 0 = 5*o - 2*q - 3*q - 20, -4*o = -5*q - 19. Sort o, -5, 0 in ascending order.
-5, 0, o
Let m be (5/(-3) + 4)*9. Put m, 1, -1 in descending order.
m, 1, -1
Suppose -5*c - 3 = 2. Let z be 8 + (-1 - -4)*c. Sort 3, z, 2.
2, 3, z
Let v(q) = -q**3 - 2*q**2 + q - 4. Let i be v(-3). Suppose i*f = -3*m - 69, 3*m - 3 + 0 = 0. Let y be 3/(-4)*f/9. Put -2, y, 0 in descending order.
y, 0, -2
Let v = 64 + -188/3. Sort 4, -1/11, v, -3/7 in ascending order.
-3/7, -1/11, v, 4
Let y(k) = k**2 + 11*k + 8. Let c be y(-10). Suppose 3*p - 3*l = 18, 2*p - 9 = -2*p - l. Suppose 2 = -5*m - p. Sort m, c, -3 in descending order.
m, c, -3
Suppose -91 + 7 = 6*f. Sort -3, f, 2.
f, -3, 2
Suppose 0 = -5*l - 0*l - 15. Put -1, l, -20 in descending order.
-1, l, -20
Let t be (-2)/(-7) + (-4)/7. Let o(w) = -w**2 - 19*w - 1. Let x be o(-19). Put t, x, -1/7 in decreasing order.
-1/7, t, x
Let o = -5 - -2. Let t = 0.03 - -1.97. Put o, t, 0.5 in decreasing order.
t, 0.5, o
Let y = -0.14 - -0.44. Let f = 80/3 - 27. Put 1/5, f, y in descending order.
y, 1/5, f
Let w = 5 + -3. Suppose -w*k - 9 = x, 4*x + k + 10 = -5. Suppose 0 = 3*o + 1 + 14. Put o, x, 1 in decreasing order.
1, x, o
Let s = 0.116 - -0.084. Let a = 5 + -2. Put s, a, -3 in decreasing order.
a, s, -3
Suppose -2*p - p = 3*x - 6, -5*x + 10 = -4*p. Put 3, x, -5 in ascending order.
-5, x, 3
Let x = 25 - 29. Put -1, x, 1 in decreasing order.
1, -1, x
Suppose 3*u - 7 = -1. Put 3, -7, u, -3 in decreasing order.
3, u, -3, -7
Suppose 0 = -2*s, -3*h + 1 = 3*s - 8. Suppose j + v + 6 = 2, 5*v + 20 = -3*j. Suppose h*t = -j*t - 15. Sort 5, t, 0 in increasing order.
t, 0, 5
Suppose 0 = 2*w + 3*o - 4*o - 13, 4*o + 12 = 0. Let q(a) = a - 23. Let c be q(18). Put c, w, 1 in increasing order.
c, 1, w
Let h = 6 - 3. Suppose -5*r + 2*r = h. Suppose -3*a = -5*a + 10. Sort -5, a, r in decreasing order.
a, r, -5
Let k = 4 - 3.5. Sort 0.2, k, 0, -0.5 in decreasing order.
k, 0.2, 0, -0.5
Let k(w) = w**2 + 6*w - 5. Let q be k(-6). Sort 3, 12, q.
q, 3, 12
Let s = -136 - -132. Sort s, -8, -1, 1 in increasing order.
-8, s, -1, 1
Suppose u + 4 = 0, -i - 17 = 2*u - 6. Put -4, i, 0 in decreasing order.
0, i, -4
Let m(c) = -c**2 + 4*c - 5. Let i be m(4). Let o = -465 + 461. Suppose v + 3*u = -11, -3*v + 5*u - 7 + 30 = 0. Sort o, v, i in decreasing order.
v, o, i
Let a = -49 - -55. Put -2/3, a, 1, 1/3 in descending order.
a, 1, 1/3, -2/3
Let x be (-63)/(-27) + 2/3. Let j be (3 + x)*1/(-3). Sort -1, j, 4 in increasing order.
j, -1, 4
Let d = -3 - -4.4. Let q = -2.6 - d. Put 2/9, q, 0.4 in decreasing order.
0.4, 2/9, q
Let o = 135 + -543/4. Put o, -3, -2/5 in descending order.
-2/5, o, -3
Suppose s - 2*s = 2*c + 4, -4 = 4*c + 4*s. Sort 2, -1, c, -4 in decreasing order.
2, -1, c, -4
Let u be (-36)/(-65) + (-12)/30. Sort u, -4, -0.5 in descending order.
u, -0.5, -4
Let x = -6 + 5.9. Let y = -6.8 + 6. Let t = 1 + y. Put x, -5, t in ascending order.
-5, x, t
Let m be 18/24 + (-62)/40. Sort m, 3, 2.
m, 2, 3
Let c be 1 - 0/(-2 + 0). Let g = 6 + -11. Sort 4, g, c in ascending order.
g, c, 4
Let i = -4 + 5. Let t be 2 + (-5)/(-94)*-40. Let r = t + 56/1175. Sort 0, r, i in descending order.
i, 0, r
Let u = 2.7 + -25.7. Let t = 28 + u. Put t, -11, 0 in ascending order.
-11, 0, t
Let x be 16/(-88) + 42/(-11). Sort 1, 0.4, x in descending order.
1, 0.4, x
Let f be (-3)/((-3)/(-6)*2). Let u be f/(9/15) + -1. Let b = u - -9. Put 1, b, 2 in ascending order.
1, 2, b
Let c = 5.06 - 5. Let g = c - -0.24. Sort -3, -1/4, g in descending order.
g, -1/4, -3
Let n be (-11)/(-14) - (-2)/(-7). Let g = 9 + -14. Let z be 1/g - (-192)/(-40). Put z, n, 0 in descending order.
n, 0, z
Suppose 0 = p + 3*p + 20. Let h(a) = a**3 - 4*a**2 + 3*a. Let b be h(3). Sort p, 2, b in descending order.
2, b, p
Suppose 0 = 6*w - 4*w + 8. Suppose -3*f = -4*f - 3. Put f, -2, w in descending order.
-2, f, w
Suppose 2*k = -3*p + 8, 3*p + 5*k = -0*p + 11. Suppose -p*w = -w. Let n = 3 - 2.7. Put -2, n, w in descending order.
n, w, -2
Let k = -10 + 16. Let j be (-52)/k - (-4)/6. Put 3, j