 + 130*c + 43. Put v, -8, n in descending order.
v, n, -8
Let l = -207 - -205. Let f be 2/l*(2 - 3/3). Let v be 9*(0 - (-1)/1). Sort f, 1, v.
f, 1, v
Let z = 0.9 + -0.6. Let s = z + 0. Let l = -273 + 278. Sort s, l, 1 in decreasing order.
l, 1, s
Let w(y) = y + 7. Let h be w(-4). Let p(x) = -x**3 + 15*x**2 - 10*x - 61. Let c be p(14). Put h, c, -10, 2 in decreasing order.
h, 2, c, -10
Let h be (-3 + 6)*-4*(-6)/(-36). Let r = -127 - -117. Sort 4, h, r in ascending order.
r, h, 4
Let d = 2 + -2. Let n = 0.3 + d. Let z be 7174/(-12660) + (-2)/20 - 4/(-2). Sort z, n, 2 in descending order.
2, z, n
Suppose 0 = -3407*v + 3390*v - 85. Sort 200, -3/5, -0.4, v in ascending order.
v, -3/5, -0.4, 200
Suppose 14*v + 7 = -42*v + 287. Let g(r) = r**2 + 11*r + 13. Let o be 2/9 - 83/9. Let f be g(o). Sort f, v, -33.
-33, f, v
Let q(n) = -n + 5. Let u be q(5). Suppose u = 8*t - 4 - 4. Suppose 4*b - 8 = -4*k, 5*k - 3 - 11 = -3*b. Put -4, k, t in descending order.
k, t, -4
Let d = 0.379 - -0.121. Suppose 2*t + v - 4 = 0, v - 3*v + 10 = 5*t. Let c be 6/99*(t + -5). Sort -2, d, -1, c in increasing order.
-2, -1, c, d
Let o = 0.3692 - 0.1692. Let w be ((-12)/(-20))/((-2)/(-10)). Suppose -w*r = -r. Sort -19, o, r in increasing order.
-19, r, o
Let a = -18 - -32. Let r = a + -13.89. Let k = 908.5 - 908. Sort k, 3, r.
r, k, 3
Suppose 10 = 2*z, 5*h + 0*z = 4*z - 20. Put h, 3500, 5 in decreasing order.
3500, 5, h
Let a be ((-1895)/(-10))/(11/66). Let b = a - 1136. Suppose 6*p - 4*p = 8. Sort 3, b, 2, p in ascending order.
b, 2, 3, p
Let r = -0.5 - 0.5. Let d = 0.5683 - -6.4317. Sort r, -4/3, d in descending order.
d, r, -4/3
Let s = -11 - -11.4. Let w be ((-6)/51)/(50/250). Put 2, w, s in decreasing order.
2, s, w
Let i = -0.08072 - 10.91928. Sort 5, -0.1, 3, 0.4, i in increasing order.
i, -0.1, 0.4, 3, 5
Let o be (-2)/3 + 40*3/99. Let g = 287 - 286.8. Sort o, g, 0.4, -5 in decreasing order.
o, 0.4, g, -5
Let y(h) = 100*h + 203. Let t be y(-4). Sort t, 2, 3, -3, -2.
t, -3, -2, 2, 3
Let i = -7 + 6. Suppose 928*k + 3*h = 923*k - 5, 4*h = 3*k - 26. Put i, k, -2 in ascending order.
-2, i, k
Let x(j) = 12*j**2 + 381*j - 96. Let i be x(-32). Let u = 13 + -18. Put 26, i, -2, u in descending order.
26, i, -2, u
Let v(l) = -l**3 + 24*l**2 - 39*l + 364. Let j be v(23). Let o be (4 - 2) + (-1)/1. Sort 4, j, -8, o in decreasing order.
4, o, j, -8
Let n = -997.3 - -997. Let b be 3*((-6)/3)/(-6). Suppose -3*x + b - 10 = 0. Sort n, x, -16.
-16, x, n
Let g = 11 - 11.25. Let u = g + -19.75. Let k = -19.6 - u. Sort k, 0.7, -3/2.
-3/2, k, 0.7
Suppose 0 = -3*j + y + 866, 22*j = 21*j - 3*y + 302. Let i = j + -291. Put i, -2, -4, -19 in decreasing order.
i, -2, -4, -19
Suppose y - 16 = 5*y + 2*j, -y - 5*j = 4. Let m be (6/(-5))/((-6)/80). Let w = m - 12. Sort 1, -2, w, y in increasing order.
y, -2, 1, w
Let j = 11.865 + 0.035. Let d = j - 12. Sort d, -5, -8, 4/3 in ascending order.
-8, -5, d, 4/3
Let k = -6.2 - 18.8. Let h = k - -36. Let c(a) = -429*a - 13294. Let m be c(-31). Sort -5, m, h, 3 in descending order.
h, m, 3, -5
Let k(a) = -a**3 + 12*a**2 - 10*a + 15. Let c be k(11). Let y be (-2)/4 + 819/c. Let v be (5/2 - 2)/(114/1140). Sort v, 0, -5, y in ascending order.
-5, 0, v, y
Suppose 2*g + 4*i - 1 = g, -4*i = -2*g + 14. Suppose -5*k + 80 = d + 3*d, k = -5*d + 37. Let s be (k/(-14))/((-1)/14). Sort s, g, 0.
0, g, s
Let f be (-1007)/(-265) - 6/(-5). Sort f, -12, 9 in decreasing order.
9, f, -12
Suppose 86*g = 83*g + i + 15, 0 = 5*g + 5*i + 15. Sort g, -2, 31, -1, 1.
-2, -1, 1, g, 31
Suppose -10845 = -11*s + 5567. Let w be 93/33 + -3 - s/22. Let g = w + 65. Sort g, -2/11, 0.1, 1/2 in ascending order.
g, -2/11, 0.1, 1/2
Suppose 0 = x + 2*u + 14, -5*u - 39 = -19. Sort x, 42, 1 in decreasing order.
42, 1, x
Suppose 22*s - 25*s + 212*s + 23826 = 0. Put s, 4, -5, 2 in ascending order.
s, -5, 2, 4
Suppose n + 5*k + 37 = 0, 0*n - n - 4*k - 32 = 0. Let z be ((-10)/8)/(3/n). Let o(q) = 4095*q + 294835. Let l be o(-72). Sort 2, l, z, -4 in descending order.
z, 2, -4, l
Suppose 4*o - 6 = -2*s, 5*o = s + 31 - 6. Suppose x = 3*c + 9, o*c + 6 + 2 = 0. Suppose -6 + x = f. Put 4, 7, f in decreasing order.
7, 4, f
Let q = -20350 + 20351. Sort -2, -5, -4, q, 2.
-5, -4, -2, q, 2
Suppose -6*z + 17*z = -627. Let v = 59 + z. Suppose -o + v*q = 10, -5*o + 4 = 3*q + 2. Sort 2, 0, 3, o in ascending order.
o, 0, 2, 3
Let m = -2 - 0.7. Let r = -3 - m. Let b = -8168.6 + 8169. Sort r, b, 2/9, 2 in descending order.
2, b, 2/9, r
Suppose -2*w + 0*h = -2*h, 2*w = -4*h + 18. Suppose 5*r = 7*r. Suppose 4*n = -r*n - 2*l + 10, 4*n - 31 = 5*l. Sort n, 2, w, 0 in ascending order.
0, 2, w, n
Suppose -1363 = 257*n - 335. Let s be -20*(7/5 - 1). Let b be s/28 + (-30)/(-7). Sort b, n, -5 in decreasing order.
b, n, -5
Let l be -3 - (1 - 1)/(-2). Let a = -8 - l. Suppose -26 = -v - 3*s - 15, 0 = -5*v + 3*s + 1. Sort 4, v, a in ascending order.
a, v, 4
Let h = 40353 + -242113/6. Sort h, -24, 5, 1, 2/9 in ascending order.
-24, 2/9, h, 1, 5
Let p = 25.04 + -25. Let l = -0.54 - -0.84. Sort 2, p, l in ascending order.
p, l, 2
Suppose 58068 - 58074 = -3*b. Suppose -3*z - 5*h - 1 = 4, 0 = -z - 3*h - 7. Put b, z, -3, 0 in decreasing order.
z, b, 0, -3
Suppose 72 - 29 + 265 = 44*m. Sort 0.34, m, -4.
-4, 0.34, m
Suppose 96 = 97*b - 93*b. Let a be 2/b - (-153)/(-108). Sort a, 1/14, 4, -1/2.
a, -1/2, 1/14, 4
Suppose 5 = -2*r + r. Let d = -207 + 219. Suppose -7 = 5*g - d*g. Sort -3, r, g in decreasing order.
g, -3, r
Let d be ((-4)/3)/((-2)/87). Let u = 229/4 - d. Sort 1/8, u, 1 in decreasing order.
1, 1/8, u
Let l = -2.3 - 8.7. Let x = 1.27 - 2.3. Let f = 1.43 + x. Sort -1, l, f, 5 in increasing order.
l, -1, f, 5
Let b = -154 + 79. Let d = -72 - b. Let o = -3 + -2. Sort o, -2/9, d in decreasing order.
d, -2/9, o
Let c be 50/8*(-12)/(-30). Let r = 951 - 944.99. Let o = r + -6. Put c, -2/17, o in descending order.
c, o, -2/17
Let x(c) = 4*c + 110. Let v be x(-24). Suppose 0 = -2*y + 4*o + v, 2*o = y - 2*o - 9. Sort -1, y, 6 in increasing order.
-1, y, 6
Let x be 276/21 + (-5)/35. Suppose -2*g - 3*w - x = 0, -2*w = -g + 3*w. Suppose 0*q = -2*q + 3*k, 4*q + 8 = 2*k. Sort 8, g, q.
g, q, 8
Let j = 8036 + -8036.7. Sort -2, j, -6 in decreasing order.
j, -2, -6
Suppose -6069 = -97*k + 101*k - q, -3 = q. Sort k, 4, -3, -5 in ascending order.
k, -5, -3, 4
Let c = 13.4 + 188.6. Let k = c + -201.89. Put -1/4, -0.1, k, 1 in increasing order.
-1/4, -0.1, k, 1
Suppose -l = 7*l - 16. Let x be (-18)/(l + -1 - 3). Suppose -3*o = -x*o - 12. Put o, -4, -8 in ascending order.
-8, -4, o
Let i = 1.6 + -1.9. Let c(w) = -w**2 + 2*w - 19. Let r be c(0). Put i, r, -5 in descending order.
i, -5, r
Let n(k) = -202*k + 17. Let q be n(2). Let l be 2/9*q/(-301). Put -44, 0, -0.3, l in decreasing order.
l, 0, -0.3, -44
Suppose 0 = 5*c - 2*t - 30, 4*c = 5*t + 220 - 196. Put -5, 23, c in increasing order.
-5, c, 23
Let x be 2/(-3) - 16/(-18). Let f = -12206/21 - -4071/7. Sort f, -4, x, -0.05.
-4, -0.05, x, f
Let y(q) = -40*q - 1398. Let w be y(-35). Put 4, 1, -31, w in descending order.
4, w, 1, -31
Let x = 1477 + -1477. Put 7, 25, x in decreasing order.
25, 7, x
Let y = 0.77 - 0.47. Let c = 455 + -455.3. Sort c, y, 8.
c, y, 8
Let v = 90 - -28. Let a = 123 - v. Sort 3, 22, -2, a in descending order.
22, a, 3, -2
Suppose 0 = -2*t + 2*z - 20, 5*t - 3*z + 30 = -2*z. Let f(c) = c + 5. Let i be f(t). Let g be (-2 - 7)/((-216)/120). Put i, -3, g in increasing order.
-3, i, g
Let t(m) = m + 9. Let q be t(-12). Let y = -4916 + 4919. Put -5, y, -11, q in decreasing order.
y, q, -5, -11
Let l = 2.4 + 0.6. Let w be (-14)/(-3) - (10 + 3 - 9). Sort 1, 0.06, l, w in increasing order.
0.06, w, 1, l
Let t = 3770 + -3765. Let i be (-4 - -2 - -4) + 3. Suppose 3*f = -i + 17. Sort 1, f, t in descending order.
t, f, 1
Let m be 7/(-2) - (-7 + 10)/((-6)/10). Sort -1.9, 9, m in ascending order.
-1.9, m, 9
Let n(w) = 5 + 4 + 88*w**2 - 89*w**2 + 14*w. Let v be n(15). Suppose -5*i - 20 = -35. Sort v, i, -5 in descending order.
i, -5, v
Let h = -2 + 12. Suppose 5*p = 4*k + 3, 3*p + 7 + 2 = -3*k. Put h, 1, k in descending order.
h, 1, k
Suppose c = 5*c - 4*j - 28, 2*c - 22 = 4*j. Suppose -5*u - 15 = 3*a, 4*a = -0*u - 2*u - 6. Suppose a = -22*r + 27*r - 10. Put -5, r, c, -2 in descending order.
c, r, 