+ 10. Sort a, x, -0.5.
x, -0.5, a
Let n = 7788 - 7791. Sort 3, 5, -24, n, -44 in increasing order.
-44, -24, n, 3, 5
Let p be 1098/560 - 2 - (341/88 + -4). Sort 2/15, p, -4, 2, 1/5.
-4, p, 2/15, 1/5, 2
Let f be (-9 - -13)/(20 - 21). Suppose 3*y = y, 0 = 5*k + 3*y + 25. Let b = k - -8. Sort b, f, -1, 5 in decreasing order.
5, b, -1, f
Let m = 998 + -497. Let s = -504.61 + m. Let f = 0.39 - s. Put -0.07, -1/2, f in ascending order.
-1/2, -0.07, f
Let c(t) = t - 4. Let d be c(9). Let s = -8 + d. Let j = -2207 - -2211. Put s, j, 0.5 in descending order.
j, 0.5, s
Let t = 33 - 289. Let h = 248.6 + t. Sort h, -5, 0.3 in increasing order.
h, -5, 0.3
Let w(r) = 3*r**2 - 241*r + 70. Let k be w(80). Suppose -2*j - t = -5, 2*t - t = 4*j + 5. Put 3, k, j in decreasing order.
3, j, k
Suppose 7*p - 8 = 8*p. Let f be ((-3)/(-5))/(p/20). Let d = 177.4 - 176.4. Put f, -2/7, -4, d in decreasing order.
d, -2/7, f, -4
Let s = -0.7 - -0.3. Suppose -4*h + 4 = n, -3*h - 20 = -5*n - 0. Put 7, h, -0.2, s in increasing order.
s, -0.2, h, 7
Let z = 1208 - 1751.5. Let c = z - -544. Put 0.1, -0.1, c, -4/5 in increasing order.
-4/5, -0.1, 0.1, c
Let d = -2.2144 + 2.1144. Sort 0.08, -0.3, 17.9, 0.2, d in increasing order.
-0.3, d, 0.08, 0.2, 17.9
Let w = 2 + 3. Let a = 226.3 - -57. Let x = 283 - a. Sort -1, x, w, 3/7 in descending order.
w, 3/7, x, -1
Let l = -241.8 + 256. Let x = l + -14.14. Put 5, -5, x, 0.2 in increasing order.
-5, x, 0.2, 5
Let z = 18817.7 + -18818. Put -9, z, 2/17, -3, 6 in decreasing order.
6, 2/17, z, -3, -9
Let t = 83 + -87. Let y = 277 + -277. Let j be 16/6 - 6/9. Sort t, j, -8, y in descending order.
j, y, t, -8
Let s = 6 + -6. Suppose s*l - l - 1 = 0. Suppose -5*f + 5 = 3*j - 9, -f - 2*j = 0. Sort l, f, -8 in ascending order.
-8, l, f
Let y be (1/(-30)*18)/(13/(-5) + 2). Suppose 5*v = -2 - 23. Put y, 3, 11, v in descending order.
11, 3, y, v
Let u be ((-2)/4)/((-2)/(-12)). Let z = 203.246 - 202.246. Sort z, u, -4, 0 in ascending order.
-4, u, 0, z
Let b = 71 - 43. Let t = b + -34. Let m = -177 - -177. Put t, m, -4/9 in decreasing order.
m, -4/9, t
Let c be (-2)/(-4)*0/183. Suppose 12*p = 16*p - 4. Put -21, p, c, -3 in decreasing order.
p, c, -3, -21
Suppose 0 = 4*n + 4*o - 0*o, -3*n - 4 = 2*o. Suppose 10*w - 9 = 21. Put 5, n, w, 2 in decreasing order.
5, w, 2, n
Suppose -2*n + 36 = -46*n - 228. Let u(k) = k**2 - 5*k - 2. Let o be u(6). Suppose -3*h = 16 - o. Put h, 1, n in descending order.
1, h, n
Let r = -185/1199 + -3/109. Let x = 12.1 - 12.4. Sort r, x, -2/83.
x, r, -2/83
Let f = 4.298 + -8.298. Put 1.6, f, -1, 2/11, 0 in decreasing order.
1.6, 2/11, 0, -1, f
Suppose -5687*m - 16 = -5683*m. Sort -1, 15, 5, m in ascending order.
m, -1, 5, 15
Let q be -25 + 161/253 + 26. Let x = 22 - 13. Put q, 4, x, 0.1 in ascending order.
0.1, q, 4, x
Let w = 2.5 - 2.2. Let x = 0.3223 - 0.6223. Sort w, 4, x, -2/3.
-2/3, x, w, 4
Let s = 2647.8 + -2770.8. Sort -5, s, 0.4, -1/17 in decreasing order.
0.4, -1/17, -5, s
Let d = -1.19 + 1.19. Let n = d + -0.1. Sort -4, -0.2, n, 2 in increasing order.
-4, -0.2, n, 2
Suppose 4*x - 6*x = -510. Suppose j + 205 = -5*t, 5*t + x - 30 = -5*j. Let v be t/70*(-7)/10. Put -1/4, v, -6 in descending order.
v, -1/4, -6
Let w = -3 + -6. Let q(b) = -b**3 - 10*b**2 - 5*b + 22. Let f be q(w). Sort -5, f, 4, 3.
f, -5, 3, 4
Let q = -82 + 2.5. Let j = -80 - q. Let z = 0.2 + j. Sort 3, 2, z.
z, 2, 3
Let x be 108/(-104)*(-9)/((-108)/16). Sort -6, 1/5, x in ascending order.
-6, x, 1/5
Let t(u) = 31*u**2 - u. Let c be t(1). Suppose n + c = 35. Let d be (-33)/(-3) + 6/(-3). Sort n, d, -1, -3 in decreasing order.
d, n, -1, -3
Let q = 121/41 + -482/205. Put 5, 44, 2/5, q in decreasing order.
44, 5, q, 2/5
Let f(z) = -27*z**2 + 336*z - 132. Let g be f(12). Sort -2, g, 81, 2 in ascending order.
-2, 2, g, 81
Let f = -0.147 - -0.047. Let k(q) = q**2 + 54*q + 726. Let n be k(-27). Put 0.2, n, f, -2 in increasing order.
n, -2, f, 0.2
Suppose 3*h = 5*b + 72, 4*h - 64 = -221*b + 217*b. Put -23, 5, h in decreasing order.
h, 5, -23
Let y be (-3340)/336 - (-12)/(-84). Let s be 2 + 69/12 + 1. Let u = y + s. Put -2/11, 1, 1/2, u in ascending order.
u, -2/11, 1/2, 1
Let g = -194 - 160. Let y = g + 355. Let t = 0.4 - 0. Sort t, -0.7, y.
-0.7, t, y
Let a = 1.33405 + -1.43405. Suppose c + 2*c - 12 = 0. Sort -2/3, a, c, 4/15.
-2/3, a, 4/15, c
Let q be 15/(-5) - (4 - 11). Let x be q*1/(-4) - (9 - 3). Put -4, x, 4 in descending order.
4, -4, x
Let n = -1838 + 1839. Sort -223/2, 4, n in ascending order.
-223/2, n, 4
Suppose 330*m = -592*m + 183*m - 2956. Suppose -y + 4*y + 4*q = -9, 4*y + 12 = -2*q. Put y, 4, m, 7 in increasing order.
m, y, 4, 7
Suppose 99*h = 102*h - 15. Let b = h - 18. Let g = 283 - 3115/11. Put b, -5, g in decreasing order.
g, -5, b
Suppose 20 = 4*y, 0*y - 4 = 3*q - 5*y. Let g be ((-4)/(-6) - 1) + (-62)/(5766/(-403)). Sort 0, g, q.
0, g, q
Let y = 29 - 25. Suppose 5*k - 52 = 2*b - 0*b, 0 = -3*k + y*b + 20. Suppose -3*q = q + k, 3*n - 5*q - 15 = 0. Sort n, 2, -5 in descending order.
2, n, -5
Suppose 33 - 781 = -11*n. Let w = n - 65. Sort w, -1, -12 in descending order.
w, -1, -12
Let f be -8 + 48/4 + 297/(-33). Put 431, f, 9 in increasing order.
f, 9, 431
Suppose -307 + 144 = -163*p. Put 12, -4, -5, p, 3 in ascending order.
-5, -4, p, 3, 12
Let m(b) = b**3 - 12*b**2 - 6*b - 96. Let r be m(13). Sort r, 0, -6, -8, 2 in descending order.
2, 0, r, -6, -8
Suppose -19*k = -757 - 858. Let d = k + -87. Sort d, 2/7, 36.
d, 2/7, 36
Let k = -21.088 + 21. Let q = -1655 - -1655.038. Let m = q + k. Sort -0.1, 4/3, m in descending order.
4/3, m, -0.1
Let n be (0 - 129/27) + 80/(-360). Put -2/39, 3/2, -1, n, -2/17 in increasing order.
n, -1, -2/17, -2/39, 3/2
Let x = 6809 - 6812. Let w = 29 + -59. Put w, 5, 0, x in increasing order.
w, x, 0, 5
Suppose -36*w = -22*w + 14. Put 1, w, 1474 in descending order.
1474, 1, w
Suppose -2*t = 14 + 32. Suppose 6 + 1 = -o, -j + 2*o = -15. Sort t, -2, j in decreasing order.
j, -2, t
Let p = -76 + 104. Let l = -26 + p. Suppose y = -l*y + 3. Sort y, -3, 1/13, -1 in increasing order.
-3, -1, 1/13, y
Let m be 264/68 + ((-896)/(-3570) - 6/45). Sort m, -1/2, -0.31, 2/19 in descending order.
m, 2/19, -0.31, -1/2
Let b be (-3)/6 - 14/(-4). Suppose 2809 = -18*l - 3761. Let k be 0 - (0 + -5) - 0/l. Put b, k, -2 in decreasing order.
k, b, -2
Let l = -21 + 28. Suppose l*p - 54 - 2 = 0. Suppose t + 3*c = -3 - p, 6 = -3*c. Sort t, 2, -6 in descending order.
2, t, -6
Suppose -19 = 5*l + 2*u, -2*l + 4*u - 19 = u. Let t(c) = c**2 - 2*c - 4. Let i be t(-2). Sort l, 1, 0, i.
l, 0, 1, i
Suppose -2*v = -5*v - 3. Let k be (-3573)/(-24) - (-13)/104. Suppose -k*n - 40 = -157*n. Put v, -5, 32, n in decreasing order.
32, n, v, -5
Let q be 1/(-4) - 778/(-8). Let o = -4746 - -4839. Let l = q - o. Put 3/11, 5, -5, l in ascending order.
-5, 3/11, l, 5
Let s(x) = -4*x**3 + 9*x**2 - 17*x + 18. Let z(i) = 5*i**3 - 9*i**2 + 19*i - 16. Let h(q) = -4*s(q) - 3*z(q). Let t be h(8). Sort t, 3.8, 3/5.
t, 3/5, 3.8
Let x be -9 + 627/69 + (1440/92)/4. Sort -123, -3, x.
-123, -3, x
Let i = -17/7 - -18/7. Suppose -95 = -145*o - 9*o + 59. Sort i, 1/4, -1/2, o in descending order.
o, 1/4, i, -1/2
Let s = -105998.4 - -105998. Let q be -1*(-1)/4*-2. Put s, q, 0.3, -3/4 in decreasing order.
0.3, s, q, -3/4
Let b = 160 + -160. Sort b, -278, 1, 2.
-278, b, 1, 2
Suppose 5 = -2*x + 1. Suppose -234 = -7*k - 171, -2*p + 6 = 2*k. Sort x, p, -3 in ascending order.
p, -3, x
Suppose z = -2*z + 15. Let d(a) = -18*a**2 - 6*a**3 + 5*a**3 + 22*a + 33 - 14 + 38. Let v be d(-19). Put 1, v, z in increasing order.
v, 1, z
Let o = -0.2893 - -0.2893. Sort 34/3, 5, -4, -0.4, o in ascending order.
-4, -0.4, o, 5, 34/3
Let c = -41707 + 41697. Sort -5, 28, c, -4, 1 in descending order.
28, 1, -4, -5, c
Let h be 28/4 + (-160)/32. Sort 64, 0, h, -4 in ascending order.
-4, 0, h, 64
Let w = 68 - 202/3. Let o(n) = n**3 + 17*n**2 - 16*n + 35. Let a be o(-18). Let h be (a + 6)/(-2*3/2). Sort h, w, 0.3 in decreasing order.
w, 0.3, h
Let z be ((-72)/6 + 8)/((-7)/98*-7). Let s(b) = -b**2 - 8*b + 2. Let n be s(-8). Sort n, 0, z, 5 in decreasing order.
5, n, 0, z
Let u = -19.2 - -15.7. Let a = 3.1 + u. Put 2, -0.06, a in descending order.
2, -0.06, a
Let o = -24 - -23.874. Let j = o + -31.874. Put -0.5, 