Sort 5, s, 7.
s, 5, 7
Let x = -68 + 68.3. Sort x, 4, -0.5, 0.4.
-0.5, x, 0.4, 4
Let p = 0.8 + -0.9. Put 0.6, p, -5, -3 in increasing order.
-5, -3, p, 0.6
Let q be 2*12/(-8) - -3. Suppose -t + 2*k + 16 = -2*k, -k + 15 = -5*t. Put t, -2, q in ascending order.
t, -2, q
Let k(t) = t**3 + 12*t**2 + t + 9. Let x be k(-12). Let z be x + 1 + 1*-1. Let b(y) = y. Let w be b(-5). Sort z, w, 4 in ascending order.
w, z, 4
Let r = 0.18 - 0.08. Sort 0.5, 8, r.
r, 0.5, 8
Let a be 32/(-6) + 2/6. Let g = -5 - -8. Suppose 6 = -0*z - g*z. Put 5, z, a in descending order.
5, z, a
Let p = 3 + 4. Suppose -3*c - 1 + p = 0. Sort c, -1, -5 in descending order.
c, -1, -5
Let u(n) = 11*n - 48. Let s be u(4). Sort 0, s, 0.6.
s, 0, 0.6
Let z = -2/3 + 5/12. Let j(m) be the first derivative of m**4/4 + m**3 - 5*m**2/2 - 5*m - 3. Let w be j(-4). Put z, 4, w in ascending order.
w, z, 4
Let s = -72 - -72.1. Put -5, s, 0 in decreasing order.
s, 0, -5
Let j be (-2)/(-14)*-9 - -1. Let m = 13 - 11. Sort j, m, 0.3.
j, 0.3, m
Suppose 4 = c + 1. Suppose 15 = -2*r + 3*r - 4*m, -3*r - 4*m - c = 0. Sort 1, r, -2 in decreasing order.
r, 1, -2
Let p(u) = u**3 - 6*u**2 - 7*u - 10. Let z be p(8). Let d = z + -25. Suppose -f = -3*v + 4*f - d, -2*v - 33 = -5*f. Sort 1, v, 2.
v, 1, 2
Let a = -7.3 + 7. Sort -0.1, -2, 3/4, a.
-2, a, -0.1, 3/4
Suppose 2 = w - 0*w, -2*x - 2*w - 6 = 0. Let h = -3 + 7. Suppose -3*n = h*i - 23, 11 = -4*i - 5*n + 36. Sort i, x, -2 in ascending order.
x, -2, i
Suppose 3*z - 2*p + 20 + 14 = 0, -5*p = -4*z - 36. Sort z, 1, 2 in increasing order.
z, 1, 2
Suppose 0 = 4*z + 16. Suppose -q + n + 2 = -2*n, -2*q + 4 = -2*n. Sort 3, q, z.
z, q, 3
Let n be (-2)/(-6)*(9 - 3). Let w = -7 + n. Suppose -4*i + 25 = j, -j - 20 = i - 6*i. Sort 4, w, j in ascending order.
w, 4, j
Suppose 3*r = 4*n - 20, n = 4*r + 4*n + 35. Let a be r/(-20) - (-54)/(-10). Sort -2, -4, a in decreasing order.
-2, -4, a
Suppose -23 = -3*y - 2*a, y - 4*a + 14 = 3. Let m = 6 - y. Let w(h) = -h + 1. Let o be w(5). Put -1, o, m in decreasing order.
m, -1, o
Let w be (5/(-2) - -3)/(2/(-16)). Sort 0, -2, w in decreasing order.
0, -2, w
Let y = 0.06 + 1.94. Sort -5, -1.3, y.
-5, -1.3, y
Suppose -3 - 12 = -5*d, 5*a - 4*d + 32 = 0. Let v = -1 - 0. Sort -3, a, v in ascending order.
a, -3, v
Let j(p) = -p**3 + 5*p**2 - 3*p - 1. Let n be j(4). Sort 0, n, 5 in decreasing order.
5, n, 0
Let s = 65 - 61. Sort -2, -1, 0, s.
-2, -1, 0, s
Let c be (2/(-2))/((-1)/2). Suppose 10 = 4*j - 2*i, -2*i + 2 = j - 3. Let w be j + 2 + -3 + 1. Sort c, -3, w in decreasing order.
w, c, -3
Suppose -r + 3*n = 19, -r + 4*n + 10 = 34. Let t be (2 - 4 - 3) + 2. Sort t, -1, r.
r, t, -1
Let n be (-5 - -5) + 16/10. Sort 5, 2/9, n.
2/9, n, 5
Let i(p) = p - 6. Let o(h) = 2*h**3 - 2*h**2 - h + 1. Let k be o(2). Let j be i(k). Let x be j/3 - (-22)/6. Put x, 2, 1 in descending order.
x, 2, 1
Suppose -b = -3*b. Suppose b = -4*x + 2 + 6. Sort 4, x, 5.
x, 4, 5
Suppose 4*w - 14 = 26. Suppose -7 = k - 2*k + 3*f, 4*k = -f - 24. Let t = k + w. Sort 3, -2, t in descending order.
t, 3, -2
Suppose -7*g = -2*g - 40. Let z be (-27)/(-5) - g/20. Let o(j) = j**2 + 5*j - 5. Let x be o(-6). Sort x, z, -4 in increasing order.
-4, x, z
Suppose 3*x + 1 = -p, 0 = 2*p - 4*x - 8. Sort 1, -5, -2, p in decreasing order.
p, 1, -2, -5
Suppose 4*a + 18 = 3*a + 4*m, 0 = 3*m - 12. Suppose 2 = -4*i - 22. Let y = i - -6. Put y, -3, a in decreasing order.
y, a, -3
Let b(t) = 6*t + 3. Let o be b(-3). Let c be o/(-3) + -2 + 1. Suppose 2 = c*i - 6. Sort 5, 1, i in descending order.
5, i, 1
Let i = 12 - 10. Sort 0.3, -2, i in ascending order.
-2, 0.3, i
Let w be (1/12)/(3/8). Let c = 6.3 + 0.7. Let y = c + -6.5. Put 3/4, w, y in increasing order.
w, y, 3/4
Let b be (4 + -3)*(1 - 2). Suppose 11*r = 6*r - 10. Sort -3, r, b.
-3, r, b
Let i be ((-2)/(-4))/((-2)/(-20)). Let d be (50/(-15))/((-2)/3). Suppose 0 = -2*v - 0*y + y, -2*y = -d*v. Sort -3, v, i in decreasing order.
i, v, -3
Let y(k) = k**2 + 20*k + 23. Let f be y(-18). Put -3, -1, 2, f in ascending order.
f, -3, -1, 2
Suppose -10 = -4*j + 2*j. Suppose 0 = j*i - i. Put i, -5, 1/3 in descending order.
1/3, i, -5
Suppose 0*y - y = 4. Put y, -2, -3 in descending order.
-2, -3, y
Let n be ((-2)/3)/(4/6). Let a(k) = k**3 + k**2 - 2*k + 1. Let x be a(-2). Sort x, n, 2 in descending order.
2, x, n
Let o be (1/(-2)*10)/(-1). Suppose 0 = l + 4*l + o. Let c = -4 - -1. Sort c, l, 5 in decreasing order.
5, l, c
Let p(q) = -q**2 + 8*q - 8. Let o be p(6). Suppose 9 = -3*c - 0. Put -4, o, c in increasing order.
-4, c, o
Let a = -23 + 25. Let i be ((-8)/30)/((-3)/(-5)). Put -1/4, i, a in descending order.
a, -1/4, i
Let t = 11 + -15. Let k = t - -3.7. Put k, -3, -4 in decreasing order.
k, -3, -4
Let i = 21.2 + -21. Let y = -6 - -1. Suppose 0 = -2*l - 1 - 1, -u = -2*l - 4. Put y, u, i in descending order.
u, i, y
Suppose -l + 4*a - 3 = a, 3*a = -l + 3. Let y be -1 - (-3 - 1 - l). Let z(o) = -o**2 - 4*o - 1. Let f be z(-4). Sort f, y, 1.
f, 1, y
Suppose 0 = 4*x + b + 15, -2*x - 3 + 0 = -b. Suppose -4*p = -6*p - 4*h + 2, -4*p + 4*h + 16 = 0. Put p, 4, x in increasing order.
x, p, 4
Let v(h) = -h**3 + 10*h**2 - h + 8. Let u be v(10). Sort -26, 1, u in descending order.
1, u, -26
Let q be 2/(((-16)/10)/(-4)). Suppose 7*t - 3*t - 2 = -2*c, -t - q*c = -5. Put -2, t, -4 in descending order.
t, -2, -4
Let l = 3.94 - -0.06. Let y = l + -2. Sort y, 2/7, -0.5.
-0.5, 2/7, y
Let q = -5.3 + 5. Let j = -19 - -23. Put q, 2, j in increasing order.
q, 2, j
Let i = 8 - 26/3. Suppose -3 = -g - 1. Put g, 1/12, i in increasing order.
i, 1/12, g
Let s be 1 + (-3 - (1 + -5)). Suppose -6*u + s*u = -8. Let z = -7 - -12. Sort z, u, -1.
-1, u, z
Suppose 38 = 12*b + 74. Suppose 4*y - 13 + 1 = 0. Sort -4, y, b in descending order.
y, b, -4
Let i = -24 - -26. Sort 4, i, -6 in decreasing order.
4, i, -6
Let i be (-10)/14 - (-6)/(-21). Let y = -0.16 + 5.16. Sort i, y, -2/15 in descending order.
y, -2/15, i
Let d be 20/(-22) - 4/10. Let p = 21/11 + d. Put -0.3, p, -4 in ascending order.
-4, -0.3, p
Let l = 10 + -8. Let k = -1 + l. Sort k, 2/7, 0.4.
2/7, 0.4, k
Let w be (-2 + 1)/((-1)/2). Suppose w - 5 = -y. Put -1, -3, y in increasing order.
-3, -1, y
Let b be 3/(-9)*195/(-5). Sort -1, -4, b in descending order.
b, -1, -4
Let s be 1/(-3)*(-126)/(-28). Let f be -3*(8/6)/1. Put s, 0.4, f in descending order.
0.4, s, f
Let l = -8 - -5. Let c = 7 + -5. Suppose 2*s = c, -s = -3*g - 2*s + 7. Sort l, g, 1 in increasing order.
l, 1, g
Let f be (-3)/2*4/(-3). Suppose 15 = -f*k + n, -4*n + 15 = 2*k + n. Let m = -1.06 + 0.06. Sort k, -2/3, m in increasing order.
k, m, -2/3
Let u = -0.28 - 0.02. Let q = -0.41 + 0.62. Let b = q - 0.01. Put b, 4, u in increasing order.
u, b, 4
Let j = 2.04 - 0.04. Let a = -2 - j. Put a, 0, 3/5 in ascending order.
a, 0, 3/5
Let d = 9 + -6. Let j = 0 + d. Suppose j*k = -7 + 22. Sort 1, k, 0 in ascending order.
0, 1, k
Let j = 14 - 29/2. Let r = 0.2 + -0.4. Sort r, -4, j in increasing order.
-4, j, r
Let c be (-3 - -1)*(-3)/2. Let m = -13 + 9. Sort m, c, 0 in decreasing order.
c, 0, m
Let k(z) be the third derivative of -z**5/60 + z**4/3 - 4*z**3/3 - 3*z**2. Let q be k(7). Let x be (-114)/24 - (-1)/(-4). Sort q, x, 0 in descending order.
0, q, x
Let m be (-1 - (-3)/2) + 205/82. Sort -5, 20, m in decreasing order.
20, m, -5
Suppose s + 1 = 4. Suppose -3*x - 9 = 3*b, s*b - 5*x = -x - 23. Put 0.1, -2, b in descending order.
0.1, -2, b
Let s = 8.93 + -9. Let o = 0.05 + s. Let n = -0.38 + o. Sort 0.1, n, 0.5 in decreasing order.
0.5, 0.1, n
Let x = -530/273 + 44/21. Let q = 2.41 - -0.09. Let z = q - 3. Put x, z, -4/3 in increasing order.
-4/3, z, x
Let d = -0.09 + -0.31. Put 1/5, -1/2, d in ascending order.
-1/2, d, 1/5
Let f = 18 + -17.86. Let b = -5.14 + f. Sort 1, b, 4 in descending order.
4, 1, b
Suppose 5*j + 15 - 25 = 0. Suppose 2*h - 12 = -2*h. Sort -5, j, h.
-5, j, h
Let f be (-24)/39*5/(-20). Sort f, 1/3, -1.
-1, f, 1/3
Let r(b) = b**2 - 8*b - 13. Let f be r(9). Let w = 0 + 4. Sort f, 1, w in increasing order.
f, 1, w
Let n be (20 - 23)/((-6)/20). Put 1, n, 3 in decreasing order.
n, 3, 1
Suppose -23 + 7 = -4*q. Put -8, q, 3 in ascending order.
-8, 3, q
Let u be (-24)/(-2)*(189/18 - 11). Let n be (1 + (-2)/4)*-8. Sort n, 3, u in decreasing order.
3, n, u
Let 