10. Put -1/4, n, -5, 5/4 in increasing order.
-5, -1/4, 5/4, n
Let j(d) = -2*d - 2. Let f = -4 - -2. Let p be j(f). Let u = p - -2. Put u, 1/4, 0.3 in decreasing order.
u, 0.3, 1/4
Let r = 94/3 + -31. Let x = 28.4 + -26. Let w = 2 - x. Sort r, w, 3 in descending order.
3, r, w
Let n = -72 + 67. Let o be (-2 - 4/8)/(n/(-10)). Put o, 0, 7, 1 in ascending order.
o, 0, 1, 7
Suppose -4*i - 352*t = -353*t - 18, 0 = -5*i - 5*t + 35. Sort i, -4, -35 in descending order.
i, -4, -35
Let j be 3*1*(-8)/(-6). Let i be -4 + (14 + 96 - (-4 + 1)). Suppose -i*m = -108*m - 1. Sort j, -4, m.
-4, m, j
Let b = -11.85 - -11.35. Suppose 0*o - 3*o + 9 = 0. Let a = -2 + -1. Sort o, b, a.
a, b, o
Let k be ((-84)/70)/(-6) - (-12)/(-10). Let y be (1 - 1)*1/2. Sort -51, y, k in decreasing order.
y, k, -51
Suppose 16 = 2*n + 14. Let w be (0 + (-4)/8)*n. Let k = 10 + -7. Put k, w, -4 in decreasing order.
k, w, -4
Suppose -7*s - 44 + 23 = 0. Sort -16/3, s, -4/9, 3 in decreasing order.
3, -4/9, s, -16/3
Let d = 0.7 - 0.4. Suppose 10*p = 7*p + 462. Let h = p - 158. Sort d, -2, h in descending order.
d, -2, h
Let d = 8.3 + -8.33. Sort 2.6, d, -1/5 in decreasing order.
2.6, d, -1/5
Suppose 143*f + 27 = 146*f. Sort 3/7, f, 0.5, -0.06 in increasing order.
-0.06, 3/7, 0.5, f
Let j be 44/66 + (-10)/(-3). Put -1/2, 5, -4/7, j in increasing order.
-4/7, -1/2, j, 5
Let c = -8 + 14. Let m = -0.78 + 0.88. Sort c, 4, m in increasing order.
m, 4, c
Suppose -3*r - 4 = -5*f, -10 = -6*r + 2*r - f. Let o be (-14 - 2)/((-4)/r). Let q be o*(2/1)/4. Put 3, q, -4 in descending order.
q, 3, -4
Let o(n) = -n**3 - 5*n**2 + n + 5. Let b be o(-5). Suppose -4*k + 4*r + 8 = -4, -2*k + 10 = 2*r. Suppose -4*w - 39 = k*q - 11, b = w - 5*q - 23. Sort -1, 5, w.
w, -1, 5
Suppose 2*q + 11 = -5*s + 17, 4*q = 2*s - 12. Sort q, 1, -1.
q, -1, 1
Let u(j) = 5 - j**3 - 7 + j + 12*j**2 - 10. Let b be u(12). Let k = -28/3 - -10. Sort 2/11, b, k in descending order.
k, 2/11, b
Suppose -3*r + r = 34*r. Sort 24, 4, -3, r.
-3, r, 4, 24
Let x = 43/70 - 3/14. Let i = -534 - -532. Sort i, -6, x in ascending order.
-6, i, x
Let b = 3 + -2. Let y be (-75 - -72) + -1*(2 + -2). Sort 3, b, 0, y.
y, 0, b, 3
Let l = 0.02 - 3.02. Let o(g) = -2*g**3 - 2*g**2 + g + 2. Let s be o(-1). Let q be (1/s)/((-49)/(-14)). Sort l, q, 2/13 in descending order.
q, 2/13, l
Suppose -5*j + 0*m + 17 = -3*m, 5*j + 2*m = -3. Let h be 58/(-10) - -6 - (-1)/(-5). Let n be -3 - -2*(-1 - h). Sort j, -4, n in ascending order.
n, -4, j
Suppose -5*x + 10 = -4*q, 3*x = 5*q + x + 21. Sort 2, q, -3.
q, -3, 2
Let r(f) = -f**3 + 21*f**2 + 70*f + 42. Let u be r(24). Let v be (-190)/45 - 4/(-18). Sort 2, v, u, -1 in descending order.
2, -1, v, u
Let q be 26/(-39) - (-14)/(-3)*-1. Let d be 2 + (-1 - (-1 + 2)). Let o be 2/8 - d/1. Sort q, -2, o in increasing order.
-2, o, q
Let w be (3/6 + 2)*(-6 + 4). Sort w, -34, 1, 2 in descending order.
2, 1, w, -34
Let r = 39.4 - -2.6. Let h = r + -42.5. Put h, 9, 0.4 in increasing order.
h, 0.4, 9
Let o = 56 + -58. Sort -4, o, 1, -7.
-7, -4, o, 1
Suppose 6*m - 348 + 372 = 0. Suppose 4*a - 1 = -5. Let l be (0/2)/(a - -2). Sort m, 4, l in ascending order.
m, l, 4
Suppose o + 4*o + 10 = -5*r, 0 = -4*o. Let p be -1*46/(4/r) + -2. Sort p, -2, 2.
-2, 2, p
Let n = 233 + -208. Sort n, -3, -2, 7.
-3, -2, 7, n
Let n(z) be the third derivative of -z**5/30 + z**4/24 + z**3/2 - 26*z**2. Let i be n(-3). Put -3, 3, i in decreasing order.
3, -3, i
Suppose 0 = -4*q - 3*q - 14. Suppose -o + 4*z = 18, -1 = 2*o - 2*z + 5. Sort q, 0, 3, o in ascending order.
q, 0, o, 3
Let k be (0 - -2)/1 + 1. Suppose 3 = -3*y + 6*y. Let p be (y/3)/((-3)/45). Sort k, -2, p in decreasing order.
k, -2, p
Let i = 225 - 225. Let q = -0.03 - 0.57. Put -4, i, q in decreasing order.
i, q, -4
Let y = -18 + 18.48. Let b = -1.42 - y. Let r = b - -1.6. Sort r, -5, -10 in decreasing order.
r, -5, -10
Suppose 35*i = -3*i - 1064. Put 12, 1, -3, i in descending order.
12, 1, -3, i
Let n = 2.1 + 22.9. Let h = n - 42. Let q = 16.6 + h. Sort -0.3, 2, q in ascending order.
q, -0.3, 2
Let d = -18 + 17. Let b = -6/23 - 43/276. Let t = b - 1/3. Sort d, t, 5.
d, t, 5
Suppose -2*b + 2 + 8 = -2*q, -3*b - 3*q = -3. Suppose 0 = -9*a + b*a + 24. Sort -2, -5, a, -4.
-5, -4, -2, a
Let z = 1362 - 1361. Put -1, z, 17, 0.3 in descending order.
17, z, 0.3, -1
Let f be (12 - (-56)/(-7)) + -5. Put f, -3, 14 in decreasing order.
14, f, -3
Let n be 3/(0/(-1) + -1). Suppose 17*q - 10 - 10 = 31. Sort 5, 0, n, q in descending order.
5, q, 0, n
Let f be -4 - (-9)/(18/20). Suppose -f*p - 14 = 16. Put 5, p, 1 in descending order.
5, 1, p
Suppose -5*b - 5*o + 60 = 0, -b + 2*o = -2*o - 2. Sort -3, 1, b in descending order.
b, 1, -3
Let h = 0 + -0.4. Let x(r) = -r**3 - 4*r**2 + 5. Let i be x(-3). Sort i, h, 3 in increasing order.
i, h, 3
Suppose 4*a = -9 + 1. Let b be -5*(a - (-156)/75). Sort b, -2, -4.
-4, -2, b
Let j = 1.23 - 1.43. Put 4, -26, j in descending order.
4, j, -26
Let k = 56 + -32. Let u be 3/(-12) + 30/k. Put u, 5, -3 in descending order.
5, u, -3
Let q = -153 - -162. Put -6, -2, q, 1 in decreasing order.
q, 1, -2, -6
Let c be ((-78)/(-8) - -2) + 1. Let k = 13 - c. Let x = 21 - 20. Sort k, x, 1/2.
k, 1/2, x
Suppose 3*b - 6*b = 5*q + 4, 0 = -5*q + b - 12. Let d = -376 - -371. Sort q, d, 8 in descending order.
8, q, d
Let v(u) = -u**2 - 13*u - 24. Let a be v(-10). Let y = 5 + -9. Let o = 16 + -18. Sort o, y, a in descending order.
a, o, y
Let y be (-1)/4 + (-6)/(-8). Let x = 343 + -330. Sort x, 3, y in increasing order.
y, 3, x
Let g be (2 - 1) + (-3)/1. Let u = -487 + 533. Put u, -3, g, 3 in decreasing order.
u, 3, g, -3
Let f be (2/4)/((20/56)/5). Suppose f - 17 = 2*j. Sort 2, -3, j in descending order.
2, -3, j
Let d = 144 - 116. Put 4, -6, d, 5 in decreasing order.
d, 5, 4, -6
Let w = -2.5 + 2.521. Let r = w - -22.979. Let d = r - 21. Put -0.2, d, 0.4 in decreasing order.
d, 0.4, -0.2
Suppose 3*l = -4*z - 99, -5*l + 2 + 41 = -2*z. Let b be ((-4)/(-5))/(z/60). Put b, 5, -0.1 in decreasing order.
5, -0.1, b
Let s = -1.44 - -1.54. Sort -3, 4, s, -1 in ascending order.
-3, -1, s, 4
Let i = 366 + -370. Let g(b) = b**2 - 2*b - 4. Let d be g(3). Sort -3, d, i in decreasing order.
d, -3, i
Let x = 157 - 151. Suppose x = 4*b + 10. Sort b, -3, 3 in ascending order.
-3, b, 3
Let i = 252.9 - 253. Sort 2, i, -0.2, -0.7 in increasing order.
-0.7, -0.2, i, 2
Let d = -528 + 529. Sort d, 0.3, -4, 27 in descending order.
27, d, 0.3, -4
Suppose 12*g = 7*g + 2*v - 13, 3*g + 5*v + 14 = 0. Sort 9, g, -4 in descending order.
9, g, -4
Suppose -m + 4*v + 17 = 0, -v = -2*m + 1 - 2. Sort 1, m, 11, 2 in ascending order.
m, 1, 2, 11
Suppose l = 3*c - 2*l + 24, 0 = -c + 2*l - 13. Let h = 0.211 + -0.511. Put h, c, 2, 0.1 in decreasing order.
2, 0.1, h, c
Let w be (8 - (-5 + 17))/(-1). Sort -4, 3, w in increasing order.
-4, 3, w
Suppose 4*h - 60 = -3*k - 50, -3*k - 3*h = -9. Let n be ((-3)/9)/((-2)/(-6)). Put n, k, -4 in increasing order.
-4, n, k
Let d be (8/20)/(1/5) + -1. Suppose 22 = 4*f + 10. Let o = -6 + 12. Put d, o, f in increasing order.
d, f, o
Let u = -41 + 2.5. Let k = 38 + u. Sort -0.1, 3, k in ascending order.
k, -0.1, 3
Let n be 2*16/(-1)*6/(-24). Let t = 0.28 - -0.02. Sort -2/9, 4, n, t in descending order.
n, 4, t, -2/9
Let z = -141 + 140.8. Sort 3, -27, z, 2 in decreasing order.
3, 2, z, -27
Let u be 12 - -2 - (-1 - -2). Let v = 15 - u. Suppose 0 = -2*r + 6*r - 5*c + 10, v*r - 4*c + 2 = 0. Sort 4, 2, r in decreasing order.
4, 2, r
Let f = -644 + 637. Put -6, f, 5 in descending order.
5, -6, f
Suppose v + 10*v = 22. Let n = -17 - -10. Let j be (n/(-14))/(v/(-4)). Sort j, 0, 3 in decreasing order.
3, 0, j
Let r = 271/5 + -55. Let c = 605 - 605. Put -18, r, c in decreasing order.
c, r, -18
Let q = -69.4 + 71. Sort 2, -4, -5, q.
-5, -4, q, 2
Let q = 30 + -27. Let n = -7 - -11. Sort q, n, -1, 5 in decreasing order.
5, n, q, -1
Let c = -296 - -61. Let d = 3057/13 + c. Let k = -21/52 + d. Sort k, -0.2, -2/17 in ascending order.
k, -0.2, -2/17
Let p = 6 - -4. Suppose 4 - p = 2*q. Sort q, -20, -4 in decreasing order.
q, -4, -20
Suppose 0*o = 2*o + 10. Let k = 761 + -760.8. Sort k, 4, o in decreasing order.
4, k, o
Suppose -3*i - p = p - 13, 0 = -2*p - 2. Suppose 4*n - 2 = 5*t, 5*n + 10 = 3*n - 3*t. Sort 2, i, n.
n, 