0 = -43*a - 5*d. Put b, -4, a in decreasing order.
b, -4, a
Let t = -33 - -38. Suppose -3*h + 3*v - 9 = -v, -h = -2*v + t. Sort h, -3, 12.
-3, h, 12
Let p be 24/32*2/(-4). Let o be (206/(-765))/(3/(-5)). Let c = -2/459 + o. Sort 4, p, c.
p, c, 4
Suppose -v - o - 20 = v, 20 = -2*v + 5*o. Suppose 2*b - h - 12 = h, -b + 14 = 3*h. Let k = v + b. Put 3, 2, k in descending order.
3, 2, k
Let s = 36 + -16. Suppose 39 - 9 = 3*a. Suppose -3*v = 6*x - 4*x - a, v = -4*x + s. Put v, 3, 5 in increasing order.
v, 3, 5
Suppose 5*r + 5*f - 10 = 0, -5*r - 14*f + 15*f + 16 = 0. Sort 59, r, 1/6 in ascending order.
1/6, r, 59
Let r = -414 + 414.2. Put 0.098, r, 0.3 in decreasing order.
0.3, r, 0.098
Let b be 6/10 + (-4)/(-10). Let i = -882 - -889. Sort b, i, 5.
b, 5, i
Let z = 249 - 245.91. Let f = -0.09 + z. Put f, 0.12, 2 in ascending order.
0.12, 2, f
Let y = 3 + -9.5. Let o = 8.5 + y. Sort 11, o, 3.
o, 3, 11
Let j(v) = -4*v**2 + 9*v + 10. Let q be j(-1). Suppose 5*b - 20 = -0*b. Sort q, 2, b, -4.
-4, q, 2, b
Suppose -2*o - 5 + 1 = 0. Let z = -6 + o. Let k be (9/(-30))/(6/z). Sort k, -3, 0.1.
-3, 0.1, k
Suppose 3*k + 1 = 5*c - 2, 5*k + 2*c - 26 = 0. Suppose 0 = 5*i + k*i. Let y(q) = q**2 - 4*q - 1. Let v be y(3). Sort v, -1, i in increasing order.
v, -1, i
Suppose -j = 2*g + 13, 0 = -g - j - 2 - 7. Sort -3, g, 5, -35 in descending order.
5, -3, g, -35
Let v = -12 + -5. Let x = v + 22. Suppose 4*t = -2*g, -x*t = -0*t + 4*g. Put 4, t, -5 in ascending order.
-5, t, 4
Let j(z) = z**3 - 3*z**2 - 2*z - 6. Let l be j(4). Let r be (5/(-3))/((-1)/3). Put r, l, 7, -1 in ascending order.
-1, l, r, 7
Suppose -5*x - 1 = 4. Put x, -18, 5, -3 in decreasing order.
5, x, -3, -18
Let l(b) = -b**2 + 9*b + 65. Let n be l(14). Suppose -7*j = -10*j - 18. Put 0, 3, j, n in increasing order.
j, n, 0, 3
Suppose o - 15 = 2*i, -i + 4 = 2*o - 1. Suppose o*j + 0*j = 0. Suppose 5*v = -r - 26, 3*r - 5*v + 4 = -r. Sort -4, r, j in decreasing order.
j, -4, r
Let h be 20/(-88)*5/(150/24). Put h, 0.6, -14 in ascending order.
-14, h, 0.6
Let g = -42 + 70. Let s = 28 - g. Sort s, 1, 5.
s, 1, 5
Let x(w) = w**3 + 6*w**2 + 3*w - 10. Let j be x(-5). Put 5/4, 3/4, j, -0.4 in descending order.
5/4, 3/4, j, -0.4
Let p = -3.8 + 4. Let y = 219 + -216. Sort 4, y, -1, p in decreasing order.
4, y, p, -1
Let b be -7 + 55/(-40)*-8. Sort -143, b, 2, -3 in descending order.
b, 2, -3, -143
Suppose -j = 3, -5*t = -3*j - 2*j - 40. Suppose 0 = 3*u - t*x + 31, 3*u - 18 = 7*u - 2*x. Sort 4, 5, u in ascending order.
u, 4, 5
Let u(p) = 3*p - 45. Let h be u(15). Sort h, -4, -129 in decreasing order.
h, -4, -129
Let y = 7 - 3. Let m be ((-45)/(-6))/(1/2) - 3. Sort 3, m, y in decreasing order.
m, y, 3
Let p = 35.1 - 36.3. Put -5, p, -1 in ascending order.
-5, p, -1
Suppose b + 9 = 21. Let h = -12 + b. Put 4, h, -5 in descending order.
4, h, -5
Let r be 3 + (3 - 5) + 23. Suppose r = 9*o - 12. Let k(h) = -h - 4. Let x be k(0). Put o, 2, x in descending order.
o, 2, x
Suppose -320 = g - 5*g. Let m = -242/3 + g. Put m, 6, -1 in decreasing order.
6, m, -1
Let g(k) = 5*k**2 + 18*k + 16. Let l be g(-1). Sort -4, 11, l in increasing order.
-4, l, 11
Suppose 4*p + 2*t = 6 + 14, 0 = -2*p + 2*t + 4. Suppose 71 = -2*g + 75. Put -50, g, p in decreasing order.
p, g, -50
Let o be ((3 + (-5 - -3))*-3)/1. Sort o, 6, 1, 0 in decreasing order.
6, 1, 0, o
Let r = 246 + -247. Sort 2, r, 0, -18.
-18, r, 0, 2
Suppose v + 0*w + 4*w = -28, -2*v = w + 28. Suppose 0 = 5*c + 31 - 11. Let n be (v/(-20))/(c/10). Sort -9, n, -2 in descending order.
n, -2, -9
Let a = -0.9 + 0.98. Let r = 0.01 - a. Let v = r + -3.93. Put v, -0.1, -2/7 in decreasing order.
-0.1, -2/7, v
Let f = 285 + -284.5. Sort -46, f, 0.4, 5/3.
-46, 0.4, f, 5/3
Let v(k) = k**2 - 39*k - 103. Let x be v(41). Let h(n) = n**3 + 5*n**2 - 5*n + 7. Let z be h(-6). Put x, -5, z in descending order.
z, -5, x
Suppose 0 = -b - b + 2. Suppose -3*x + x = 5*m - 12, 0 = -4*m. Sort b, 5, x, -5 in descending order.
x, 5, b, -5
Let c = 66 + -52. Put c, 0, -4 in descending order.
c, 0, -4
Let h(x) = -x - 12. Suppose -w - 5 = 8. Let m be h(w). Suppose 4*a + 45 = a + 5*r, r = 4*a + 60. Put m, a, 3 in decreasing order.
3, m, a
Suppose 5*z - 27 = d + 3*d, -18 = 3*d - 3*z. Put -15, 1, d in descending order.
1, d, -15
Let h = 11.7 + -11.3. Put -1.2, h, -4 in decreasing order.
h, -1.2, -4
Let j be (9 - 1)*(-58)/(-232). Let a be 4 + (-1)/((-2)/2). Sort -12, a, j in decreasing order.
a, j, -12
Let j(m) = m**2 - 5*m + 4. Let i be j(4). Let y = 8 - 11. Suppose -151 = 18*g + 47. Put y, i, g in decreasing order.
i, y, g
Let b be ((-48)/120)/(12/10). Sort b, -5, -2.
-5, -2, b
Let n = 0.26 - 2.16. Let h = n + 2.1. Put 0.5, -3, h in ascending order.
-3, h, 0.5
Let w be (-2)/(-2*(1 - 2)). Let g(d) = d**3 + 3*d**2 - 6*d. Let v be g(2). Let r(c) = -3*c + 28. Let i be r(v). Sort w, i, -2 in descending order.
i, w, -2
Let k = 194 - 190. Sort k, 5, 2/437.
2/437, k, 5
Suppose 6 = x - 4*x. Suppose 0 = 7*y + 6 - 41. Sort 3, y, x in decreasing order.
y, 3, x
Suppose 4*v - 4*k = -3*k - 33, k = 5. Suppose -4*p + 3*p = 3. Sort -4, v, p, -2 in ascending order.
v, -4, p, -2
Let z = 2.67 - 2.37. Put 2, -2, z, -2/3 in increasing order.
-2, -2/3, z, 2
Let d(n) = n**2 + 4*n - 5. Let s be d(-4). Suppose 5*j - 6 = 14. Let f be 1/(((-4)/1)/(-4)). Sort j, f, s in descending order.
j, f, s
Suppose 4*t + 4*h = -0*t + 20, -4*h = -4. Suppose 0*z - 4*z - 154 = -2*r, -200 = 5*z + 5*r. Let p = z - -38. Sort t, p, -3 in increasing order.
-3, p, t
Suppose -q + 1 = -1. Let k = 152.643 - -0.357. Let f = k + -150. Sort f, q, -0.5 in descending order.
f, q, -0.5
Let v = -5 - 5. Let w = 2 + 1. Let a = 333 + -338. Sort a, v, w in descending order.
w, a, v
Let v be (-35)/56*11/110. Put -0.5, -5, v, -4 in descending order.
v, -0.5, -4, -5
Let i = -2107/9 - -234. Put 2/13, i, 1, -0.2 in descending order.
1, 2/13, i, -0.2
Suppose -y = -4*y - 21. Let r = 141 - 76. Let c = 64 - r. Sort y, -3, c in decreasing order.
c, -3, y
Suppose 24 = 2*q + 4*u, -u + 20 = 3*q + u. Sort 84, q, -5, -3.
-5, -3, q, 84
Let m = 90.8 + -84. Let j = m - 7. Sort -5, 0.2, j.
-5, j, 0.2
Suppose -3*m + 1 = 4. Suppose 2*f - 2 = 80. Let k = -45 + f. Sort m, k, -3 in descending order.
m, -3, k
Let o be (-3 - (-1 + (-1 - 1)))*1. Sort 4/3, o, 3/2, 0.5 in decreasing order.
3/2, 4/3, 0.5, o
Suppose 8*h + 79 = 119. Sort -2, h, 32 in decreasing order.
32, h, -2
Let t(l) = l**3 + 11*l**2 + 10*l - 1. Let q be t(-10). Sort -64, 2, q.
-64, q, 2
Let q = -1.06 - -0.06. Let u = 3 - q. Let j = 0.55 - 3.55. Sort j, u, -2/9 in increasing order.
j, -2/9, u
Suppose -3*x - 64 = -5*f, 4*x - 4 = 2*x. Sort -3/5, 5, f in decreasing order.
f, 5, -3/5
Suppose 5*m = -2*i - 12, i + 12*m = 13*m + 1. Sort -3, i, 7, 1 in decreasing order.
7, 1, i, -3
Let z be 3/(-12) - (-66)/328. Let o = 678587/82 + -8275. Let t = z - o. Put 5, t, -5 in ascending order.
-5, t, 5
Let f be (1/(-18)*2)/(7/(-42)). Sort 6, f, -1/5 in descending order.
6, f, -1/5
Let t = 0.066 - -7.934. Put -5, t, 3 in ascending order.
-5, 3, t
Let w be ((-2)/27)/((-4)/12). Let b = 2.1453 - 0.1453. Sort w, b, -2/3.
-2/3, w, b
Let b be -3 + (4 - 1) + 3. Suppose -13 = 4*o + 5*l, b*l + l + 35 = 5*o. Let u be (-1)/(-3) - (-17)/(-6). Sort o, 0.5, u in decreasing order.
o, 0.5, u
Let k(i) = -3*i + 12. Let o be k(5). Suppose -4*t - 29 = -5*z, -3*z = -2*t - 8*z + 23. Put t, -4, o in decreasing order.
t, o, -4
Let t = 4 - -1. Let i be (-15)/((-75)/10) - 2. Sort t, i, -4 in descending order.
t, i, -4
Let h = -5.3 + 5.07. Sort h, 0, -3 in decreasing order.
0, h, -3
Suppose -2*f = -5*q - 27, 4 = f + 3. Let o = -8 + 12. Put q, 3, o, 0 in decreasing order.
o, 3, 0, q
Let p = 608 + -606. Let c(r) = -r**3 + 7*r**2 + 8*r + 3. Let u be c(8). Put p, 5, u, -4 in descending order.
5, u, p, -4
Suppose 4*l + 3*t + 1 = 0, -2*l + 3*t + 7 = 2*t. Let v = -588 + 588. Put 3, v, l in increasing order.
v, l, 3
Let o be (26 - 25) + (-2)/(-1). Let p be 2/(-1 - (-1 + 1)). Sort -5, p, o in ascending order.
-5, p, o
Suppose 2*n = 3*n - 9. Let i be (-4)/50 + 12/75*-12. Let v(z) = -3*z - 9. Let g be v(-4). Sort n, i, g in decreasing order.
n, g, i
Let j = -0.008 - 4.792. Let s = -8.2 + j. Put s, 3, 2 in increasing order.
s, 2, 3
Suppose 0 = -6*d + 5*d + 5*x + 41, x + 5 = 0. Suppose t = 11 - d. 