0 = -b*l. Sort h, 6, -5.
-5, h, 6
Suppose 0 = -6*b + 9*b. Suppose d - 2 = -b. Sort -4, -3, d in decreasing order.
d, -3, -4
Let x be 52/(-20) - 0 - -7. Sort -0.4, -1/5, 3, x.
-0.4, -1/5, 3, x
Suppose -40*c + 29*c = -22. Put -2, 5, 0, c in decreasing order.
5, c, 0, -2
Let r = 0.3 - 0.2. Let q = 163 + -166. Sort 9, r, q in ascending order.
q, r, 9
Let r(b) = 5*b + 10. Let t be r(-8). Let f = t + 29. Let k = 0.5 - 0.8. Put f, k, -3 in increasing order.
-3, f, k
Let o be 24 + -3 + 9 - 7. Put o, 4, 2, 3 in ascending order.
2, 3, 4, o
Suppose 2 + 1 = k. Put 1, k, -5, -61 in increasing order.
-61, -5, 1, k
Let m = -46 - -44. Let a be 5/m + (-9)/(-6). Sort 3, 5, a, 0 in increasing order.
a, 0, 3, 5
Let q(o) = -o**2 - 18*o + 22. Let n be q(-20). Sort -2, 1/3, n in descending order.
1/3, -2, n
Let t = 27/7 - 129/28. Let s = 26 + -19.6. Let d = 1.4 - s. Sort d, 1/2, t in ascending order.
d, t, 1/2
Let c = 1.82 + 7.88. Let p = c + -9. Let w = -0.7 + p. Put -1, -0.3, w in decreasing order.
w, -0.3, -1
Let p be 76/20 - 1/(-5). Let h = 253 + -256. Sort -5, h, p, -1 in descending order.
p, -1, h, -5
Suppose 4*h + 5 = -3*g, -h = g + 4*g - 20. Suppose 0 = q + 15 + 40. Let w = q - -60. Sort h, 4, w.
h, 4, w
Let t = 11 + -17. Let h = -325.4 - -325.3. Sort t, h, 0, 0.3 in decreasing order.
0.3, 0, h, t
Suppose h - 11*k - 16 = -7*k, 0 = 3*h + 2*k - 6. Sort 13, 2/39, h in decreasing order.
13, h, 2/39
Let f(n) = n**2 + 9*n - 2. Let t be f(-8). Let q = t - -7. Sort q, 1, 4 in descending order.
4, 1, q
Let y = 47.1 - 43.1. Put -2/11, -5, 0.5, y in descending order.
y, 0.5, -2/11, -5
Let u = 221 + -438. Let w = u + 141. Sort w, 0.3, 2/5.
w, 0.3, 2/5
Suppose 3*a - 34 = -5*c, 0 = -5*c - 5*a + 35 + 5. Put 0.4, 1, c in descending order.
c, 1, 0.4
Let z = -0.2 + 0.3. Let d be ((-16)/320)/((-3)/15). Put 0, -3, d, z in decreasing order.
d, z, 0, -3
Let i = -1.7 + 1.9. Suppose -58*w - 60 = -73*w. Sort i, -4, w in decreasing order.
w, i, -4
Suppose o + 3*o - 20 = 0. Let y be o/(-1) + -6 + 10. Sort -3, y, 1, 2.
-3, y, 1, 2
Let z = 0.43 - 0.03. Let j(a) = a**2 - 5*a - 1. Let m be j(-9). Let i be (-3)/15*m/10. Put z, i, 0.2 in ascending order.
i, 0.2, z
Suppose -3*f - 32 = 4*c, -21 - 10 = 3*c + 4*f. Suppose 0*o = -2*o + 14. Sort -1/11, c, o.
c, -1/11, o
Let l = 997 + -996. Let c = -1 - -1. Let r = -3 - 0. Sort c, l, r in increasing order.
r, c, l
Let o be (-4)/(-14) + 4/(-14). Suppose o*v + 6 = 2*v. Suppose -3*f - v = 3*h, -5*f + 3*f + 2 = 4*h. Sort h, -2, -3 in ascending order.
-3, -2, h
Let l = -4 + 9. Suppose 4*h = -l + 1. Let c = 0 + h. Put 1, 0, c in ascending order.
c, 0, 1
Let w = 13/15 + -1/5. Let i = 2.21 + 1.79. Sort i, w, -1, -4/7 in descending order.
i, w, -4/7, -1
Suppose 14 = -5*i - 16. Suppose -3*v - z + 2 - 6 = 0, -3*v + 4 = 5*z. Sort v, i, 1.
i, v, 1
Suppose -4*o + 2*a - 4*a - 28 = 0, 23 = -3*o - 2*a. Let p be 22/(-4) + (-4)/8. Let f = 13 + -12. Put p, o, f in descending order.
f, o, p
Let v = 33 + -34. Let s be v*1 - (15 + -16). Let o = -9 - -6. Sort s, o, -2 in descending order.
s, -2, o
Let w be 0 - -3 - (-2 + -4 + 4). Let x be -2*w*(-7)/14. Sort 1, -5, x, 4 in ascending order.
-5, 1, 4, x
Let v = 503.8 + -505. Sort v, -0.1, -2/7, -0.2 in decreasing order.
-0.1, -0.2, -2/7, v
Let g = -810 - -833. Let r = -1.9 + 0.9. Put g, -3, r in descending order.
g, r, -3
Let g = -28 - -31. Let m(z) = -z + 10. Let u be m(5). Put 1, u, g in increasing order.
1, g, u
Let h = 76 + -69. Suppose -6 = -2*g, -g - h = 4*u + 2*g. Put u, 2, 0 in increasing order.
u, 0, 2
Let x = 5 + -1. Let v = -33.098 + 28.098. Put -2, x, -1, v in increasing order.
v, -2, -1, x
Let m = -51 - -51.3. Let o = 268/19 - 14. Sort -3/5, m, 0.5, o in increasing order.
-3/5, o, m, 0.5
Let z = -0.94 - 0.26. Put 4/7, 2/11, z in descending order.
4/7, 2/11, z
Suppose 15 = -11*q + 12*q. Suppose -4*h - h = -q. Sort 4, -2, h in increasing order.
-2, h, 4
Let x(d) = -d**2 + 5*d + 2. Let v be x(5). Sort 2/5, 1/2, 0.08, v in decreasing order.
v, 1/2, 2/5, 0.08
Suppose -3*c - 2*f + 5*f + 12 = 0, -c + 24 = -5*f. Let u(m) = -3*m. Let s be u(c). Suppose -s*q = -0*q + 6. Put q, -0.1, 0.4 in ascending order.
q, -0.1, 0.4
Suppose a = -4*t + 7, 7*t = 3*t - 3*a + 13. Let k(p) = p**3 - 5*p**2 + 5*p - 1. Let u be k(t). Sort 5, u, -2/11 in decreasing order.
5, u, -2/11
Let o be 2 - (0 + -3) - 6. Put -1/16, -0.2, o in descending order.
-1/16, -0.2, o
Let v = -3 + 1. Suppose 5*f = -m - 38, -2*m - 18 = 3*f + m. Let w = 13 + f. Sort v, -6, w in ascending order.
-6, v, w
Let s be 5 - 13/(273/108). Sort -1/8, 0.2, -0.3, s.
-0.3, s, -1/8, 0.2
Suppose 2*k + 2*b - 12 = 0, -10*b - 18 = -4*k - 11*b. Sort 0, 5, 7, k.
0, k, 5, 7
Let x(i) = -3*i + 5. Suppose -k - 77 = -4*m, -2*k - 7 = m + 3*k. Let w = m - 16. Let t be x(w). Put 2, -5, t in increasing order.
-5, t, 2
Let o = -1097 - -1112. Put 2, -1, o, -5 in descending order.
o, 2, -1, -5
Let z(h) = h + 1. Let t(w) = -3*w - 3. Let p(v) = -3*t(v) - 8*z(v). Let j be p(1). Suppose 7*f - 40 = 2*f - 4*y, 2*y - 10 = 0. Put f, -3, j in descending order.
f, j, -3
Let b = 922 + -921.8. Sort 4, b, -0.35 in ascending order.
-0.35, b, 4
Suppose 11*p - p - 1140 = 0. Suppose -5*r + 4*r - 8 = 0. Let t be p/(-264) + (-2)/r. Put t, 0.3, -2/15 in decreasing order.
0.3, -2/15, t
Let z be 6/(-15)*(390/(-132))/13. Put -5, 5/4, z, -2/3 in ascending order.
-5, -2/3, z, 5/4
Let g = -8 + 4. Let b = 2 + g. Let v be (-224)/(-40) - 10 - -4. Sort b, -4, v in decreasing order.
v, b, -4
Let k = 4 - 4.3. Let h(o) = o**2 - 33. Let x be h(-6). Sort k, x, -2.
-2, k, x
Let t = -18 - -55. Suppose t - 47 = 2*u. Put -4, u, -3 in decreasing order.
-3, -4, u
Let h = 2034 + -109835/54. Put -2, 0, -1/4, h in descending order.
h, 0, -1/4, -2
Suppose 63*i - 6476 = 895. Sort i, -3, -4.
-4, -3, i
Let r be 3/((-15)/(-2)*1). Let q = r - 16/15. Sort 9, q, 2 in increasing order.
q, 2, 9
Let k = 286 + -291. Put 2, -8, k, -0.2 in descending order.
2, -0.2, k, -8
Let c(q) = -q**3 + 7*q**2 + 2*q + 51. Let n be c(8). Let z be 105/(-4) + (-1)/(-4). Sort n, z, -2 in ascending order.
z, -2, n
Suppose 2*t - 9 + 13 = 0. Let c = 2 - -13. Suppose 0 = 5*g + 5 + c. Sort g, t, 1 in descending order.
1, t, g
Let u be (-1 - 1)*(-9)/6. Let t = -23/3 + 73/6. Let c = 19/4 - t. Sort c, u, 0.1.
0.1, c, u
Suppose -3*a = o - 2, 4 = -6*a + 4*a. Suppose -l + o = -5*l. Let u be 0 - -1*(l - 1). Sort -2, u, 3 in descending order.
3, -2, u
Let z = 0.3 - 0.3. Let q = 32/3 - 11. Suppose 0 = 3*t + 7 + 2. Put t, z, q in ascending order.
t, q, z
Suppose 3*t + 73 = 85. Put t, -25, -2 in decreasing order.
t, -2, -25
Let v = 144 - 144.4. Sort -2/11, 2/5, v.
v, -2/11, 2/5
Suppose -v - v + 12 = 4*d, -5*v = -4*d - 2. Let b = -2396 - -2394. Sort b, d, 3 in increasing order.
b, d, 3
Let j = -230 - -227. Sort 4/9, 0.1, j, 2/7 in descending order.
4/9, 2/7, 0.1, j
Suppose 4*b - 2*s = -7*s - 16, b + 4 = -2*s. Let g be (b - -7)*(-2)/6. Put 5, g, -5 in decreasing order.
5, g, -5
Suppose -h + 5*r - 5 = 0, 66*r = 61*r. Sort -14, h, -1, 0.
-14, h, -1, 0
Let i = 7 + -3. Let n = 6 - 5.95. Let g = 2222 - 2221. Sort i, n, g.
n, g, i
Let j = -47 - -52. Let f(d) = -d**2 + 6*d - 7. Let o be f(j). Sort o, 1, 12 in descending order.
12, 1, o
Let g be -8 - -1*0/(-3). Let o = 11 + g. Suppose -o = d - 3*w + 5, -2*d + 2*w = 0. Sort d, -4, -1 in decreasing order.
d, -1, -4
Let c(d) be the first derivative of -d**4/2 + 2*d**3/3 - d**2/2 - 5. Let k be c(1). Let v be (-3)/12 + 1/4. Sort v, k, 5 in ascending order.
k, v, 5
Suppose -2*u - 156 = -54*u. Put -2, u, -9 in increasing order.
-9, -2, u
Let b = 0.7 + -0.64. Let h = 2302/5 + -460. Put h, -0.1, b, 5 in decreasing order.
5, h, b, -0.1
Let h = -0.582 + 0.482. Put -6, -4/5, 0.3, h in ascending order.
-6, -4/5, h, 0.3
Let l be (8 - 2 - -2) + -13. Sort 51, 3, -3, l in ascending order.
l, -3, 3, 51
Let g(l) = -5*l + 3*l**2 + 4*l**2 + 0*l**3 + 6 - l**3. Let x be g(6). Let b be ((-3)/(-8))/(x/8). Sort 1, -4, b in descending order.
1, b, -4
Let s = -47 - -41. Let a = s + 2. Let g(l) = 2*l + 3. Let o be g(-3). Sort 2, o, a in ascending order.
a, o, 2
Let k = 6 - -18. Let g = 21 - k. Put 0, g, -1 in descending order.
0, -1, g
Let y = 871 - 866. Let t(m) = -6*m - 2. Let x be t(-7). Suppose -2*d + 2*g = -38, 39 = 5*d - g - x. Put d, 2, y in ascending order.
2, y