 Let b be i(12). Let d be (b/(-5))/((-4)/20). Sort d, 5, 0 in decreasing order.
5, d, 0
Let o = 6 + -6. Let b = o - 0.1. Sort 3/7, b, -1/6 in decreasing order.
3/7, b, -1/6
Let j be (-2)/(2 - -4)*-3. Let r be (2/4)/(j/6). Suppose -b - 5 = r*v, -v = -5*v - 4*b - 20. Sort -5, v, -1 in decreasing order.
v, -1, -5
Let s = -4 + 1. Let v = -11.5 + 15. Let f = v + s. Sort 3, 1, f in decreasing order.
3, 1, f
Let b = 41 + -26. Suppose 2*l - b = -l. Put 4, l, -1/4 in decreasing order.
l, 4, -1/4
Let w = -0.5 + -3.5. Let v = w - -3. Put 2, v, -2 in increasing order.
-2, v, 2
Let w = -20 + 35. Let z be 25/w + (-1)/1. Sort z, -0.3, -5 in decreasing order.
z, -0.3, -5
Let o be ((-3)/6)/(3/6). Let l = -17/1366 - -1945303/9562. Let b = l + -203. Sort o, b, -2/9 in increasing order.
o, -2/9, b
Let f = 1289/2165 - -2/433. Let m = -1.2 + 1. Sort f, m, -0.1 in descending order.
f, -0.1, m
Let u = -5 + 10. Let o be 1 + -1 + -4 + u. Sort -4, -5, o in ascending order.
-5, -4, o
Let m(j) = -3*j - 1. Let q be m(-1). Suppose -2*r - 10 = -0*s - 2*s, s + 4 = -q*r. Let h = 1 + -6. Put s, h, -4 in decreasing order.
s, -4, h
Let k be 1 - 1 - (-4 + 6). Sort 5, 2, k.
k, 2, 5
Let n = 3 - 2.89. Let m = 4.89 + n. Let h = m + -10. Sort h, 0.2, 2 in descending order.
2, 0.2, h
Let s be ((-6)/((-6)/3))/1. Suppose 6 = -6*j + s*j. Let o(m) = m. Let y be o(0). Put 3, y, j in decreasing order.
3, y, j
Let o = -3 + 4. Let z(s) = -3*s**3 - 2*s**2 + s. Let l be z(o). Let w be -5*1 - (-5 - l). Put 2/11, -1/4, w in increasing order.
w, -1/4, 2/11
Let y be -3 + 13 + 1 + 0. Suppose -2*r + 4*q + 37 = 3*r, 2*q = r - y. Let w(z) = z**3 + 20*z**2 + 17*z - 43. Let c be w(-19). Put 1/2, r, c in descending order.
r, 1/2, c
Let t = 0.048 + 1.952. Sort -2/51, 0.3, t, -5 in decreasing order.
t, 0.3, -2/51, -5
Suppose 4*o - 3*o + 1 = 0. Let b be 0/((2 - 2) + o). Let k be (0/(-2) + 3)/(-1). Put b, k, 1 in ascending order.
k, b, 1
Let w = 1.94 + 0.06. Suppose 5*l - 4*b + 32 = 0, 0 = 2*l + 2*b + 2*b - 4. Put -2/5, w, l in increasing order.
l, -2/5, w
Let d be (-14)/(-3) - 12/18. Let r be (d - 1)*(-4)/(-6). Let k be -1*r + 0/1. Sort k, 4/7, -3 in increasing order.
-3, k, 4/7
Let p = -29 - -34. Let x = 0.2 - 0.4. Sort 0.5, p, x.
x, 0.5, p
Let f(i) = i**2 + 3*i - 4. Let w be f(-4). Suppose 4*v + 1 = 2*t - 1, -2*t - 4*v + 2 = 0. Put w, t, 4 in descending order.
4, t, w
Let x(t) = -t**3 + t**2 + 2*t. Let g be x(2). Let a be -1 - (1 - (g + -20)). Let c be (-2)/52*a + -1. Sort -5, c, -0.5 in ascending order.
-5, -0.5, c
Suppose -18 = -5*w + 2*w. Suppose 2*t = -4 + w. Put t, -1, 3 in decreasing order.
3, t, -1
Suppose 4*j + 1 = -5*n, j - 1 = 2*j + 2*n. Put j, 0, -2 in ascending order.
-2, 0, j
Let m = 94/5 + -20. Put m, -5, 1 in ascending order.
-5, m, 1
Suppose 4*c + 2*t + 14 = 0, 3*c - 2*t + 10 = -4. Put -5, c, -24 in increasing order.
-24, -5, c
Suppose -7*z = -9*z + 2. Let y be -3 + 1*(15 - 2). Sort y, z, 3.
z, 3, y
Let v(l) = -l - 12. Let r be v(-7). Let p = -23 - -24. Sort r, p, 4 in ascending order.
r, p, 4
Let c be 3/(1 + -1 + 0 + 3). Let p be 3/(6/(-4)) - -2. Put c, p, 5 in increasing order.
p, c, 5
Suppose -p + 0*p + 4 = 0, 5*f = -4*p - 4. Let q be 2/(12 + 1 + f). Let n = -260/3 - -86. Sort -3, n, q in decreasing order.
q, n, -3
Suppose 29*j - 3 = 30*j. Put 3/5, 11, j, 4 in increasing order.
j, 3/5, 4, 11
Suppose -5*d - 6 = -2*v, -2*d + 8 = 2*v + 2. Sort -3, 2, v in increasing order.
-3, 2, v
Suppose c = -3*c - 16. Put c, 3, 5 in descending order.
5, 3, c
Let c be -1 - (-2 - -4) - 1. Let s = 4 - 2. Suppose -p = -v + 4, 2*p + 19 = v - s*p. Put c, v, -3 in descending order.
v, -3, c
Suppose 2*r + 3 = 1. Let h be (-1)/4 + (-45)/(-340). Sort r, 2, h in descending order.
2, h, r
Let k(f) = -f**2 - 5*f + 5. Let i be k(-6). Suppose 4*b = -4*u, 3*u - 5 = 4*b + 2*u. Let h be (b - (-1 - 1)) + 2. Sort -3, h, i.
-3, i, h
Let u(p) be the third derivative of -p**6/360 + p**4/24 + 2*p**2. Let v(h) be the second derivative of u(h). Let f be v(1). Sort -0.2, 5, f in increasing order.
f, -0.2, 5
Let x(d) = 0*d + 2*d + 2*d**2 - d**3 - d**2 - 1. Let m be x(1). Sort -5, m, 4.
-5, m, 4
Let h(x) = 2*x + 9. Let f be h(-6). Put -5, f, -4 in decreasing order.
f, -4, -5
Let g = 0.004 + 1.996. Put -7, 5, g in decreasing order.
5, g, -7
Suppose c + 29 = 3*r - 4*c, r = -4*c - 13. Sort -5, r, -11, -3 in increasing order.
-11, -5, -3, r
Let a be -3 - (-39)/(1 - 4). Let v be 27/12 - (-4)/a. Sort v, -0.01, -2 in decreasing order.
v, -0.01, -2
Let w(a) = -a**3 + 2*a**2 + 3*a. Let j = 4 + -1. Let p be w(j). Put p, 3, 4 in descending order.
4, 3, p
Let m = 41 - 41.3. Sort -1/8, -3, m, 2 in descending order.
2, -1/8, m, -3
Let y(c) = -c**2 + 7*c + 47. Let a be y(11). Put 1, -4, a, 4 in decreasing order.
4, a, 1, -4
Let o = 62 + -371/6. Sort 0.4, 3, o in decreasing order.
3, 0.4, o
Let j = 135 + -131. Put j, -1, 8, 3 in ascending order.
-1, 3, j, 8
Suppose 0 = -y + 5*c - 4, 2*y + 5*c = y + 6. Let x be (-56)/12 + y/(-3). Let u be (-4)/6 + (-5)/(-3). Sort -3, x, u.
x, -3, u
Suppose 10 = 34*j - 36*j. Sort j, 4, -11 in decreasing order.
4, j, -11
Suppose -2*z + 12*z = 20. Suppose -i + 3*v = -11, 2*i + v - 6 = -v. Put i, -1, z in ascending order.
-1, z, i
Suppose -3 = -2*y - y. Put 0, 5, y in decreasing order.
5, y, 0
Suppose 0 = p - 6*p + 10. Let v be p + (1 - (-1 - -2)). Suppose -5*d - 5*q = -15, 4*q - 5 = -3*d + 4. Put v, d, -5 in decreasing order.
d, v, -5
Let n = -4 - -10. Let y = n - 3. Suppose -3*m = -5*m - 8. Put 1, y, m in decreasing order.
y, 1, m
Suppose 6*w - w = 0. Suppose 0 = -34*c + 24*c - 20. Put c, w, 5 in increasing order.
c, w, 5
Let f = -8 + 8. Let s = -0.1 + f. Sort s, -4/9, -1/2 in descending order.
s, -4/9, -1/2
Let x = -35.5 - -36. Put x, -0.1, -6 in decreasing order.
x, -0.1, -6
Let j = -70 + 50. Put j, 0.4, -0.1 in increasing order.
j, -0.1, 0.4
Let j = 8 - 3. Suppose -4*a + 40 = -j*i - 9*a, -3*i = -2*a - 1. Let t = -15 + 13. Sort 3, t, i in decreasing order.
3, t, i
Let s = -8.8 - -9. Let w be ((-4)/33)/((-6)/(-9)). Put w, 1, s in descending order.
1, s, w
Suppose -m = 3*x - 4*m - 6, 5*m = 3*x - 6. Let c = 8 - 4. Let b = c - 6. Sort b, -3, x in descending order.
x, b, -3
Suppose -7 = -2*u - 11. Put 2, -1, u in decreasing order.
2, -1, u
Suppose 6*d + 10 = -14. Put d, -1, -7 in descending order.
-1, d, -7
Let p(y) = 2*y**2 - 8*y. Let h be p(5). Let a be 26/h - 4/(-10). Sort a, -1, 2.
-1, 2, a
Let r = 48 - 50.7. Let k = r - -3. Let c = 37/11 + -233/66. Sort c, k, 0.2 in decreasing order.
k, 0.2, c
Let p = -13 - -11. Put p, 0, 5 in ascending order.
p, 0, 5
Let w = 1/51 - -95/357. Let f = 0 - 3. Let h = 2.9 + f. Put h, w, 0 in decreasing order.
w, 0, h
Let s(k) = -4*k + 17. Let a be s(8). Sort -1, 3, a in decreasing order.
3, -1, a
Suppose 2*f = 5*y + 150, -y = y - 5*f + 60. Put -0.4, -4, y in descending order.
-0.4, -4, y
Let d = -404/7 + 58. Put -1, d, 1 in descending order.
1, d, -1
Let t = -5.85 + 6. Let l = t + -0.05. Put 0, l, -3 in decreasing order.
l, 0, -3
Let b = 3 - 0. Let v be (-9)/12 + (-21)/(-12). Let y = 0.12 + -0.52. Put b, y, v in decreasing order.
b, v, y
Suppose 3*v - 3*x + 3 = 0, -x + 9 = 5*v + 2. Sort v, -2, 5, -1 in descending order.
5, v, -1, -2
Let l = 4 + 28. Suppose 5*s - l = 3*n, 0 = -2*n - 0*n - 2*s. Put 5, n, -1 in descending order.
5, -1, n
Let q be (-16)/(-152) + (-222)/(-57). Suppose -5*s = w + 22, 0*s + 4*s + 29 = 3*w. Sort 0, s, q in ascending order.
s, 0, q
Let y = -40 - -40. Put y, -0.4, 1, -1/2 in ascending order.
-1/2, -0.4, y, 1
Let l = -0.3 + 0.1. Let s(h) = -2*h**2 - 31*h + 15. Let g be s(-16). Let x = 0.04 - -0.36. Put g, l, x in decreasing order.
x, l, g
Let g(s) = -2*s - 34. Let n be g(-15). Put -3, 1, n, -1 in descending order.
1, -1, -3, n
Suppose 4*n + l - 7 + 0 = 0, -4*n - 2*l + 2 = 0. Sort -2, -7, n, -5 in increasing order.
-7, -5, -2, n
Suppose -5 = -4*v + 5*n, 0 = -2*v + n - 3*n - 20. Let b be ((-2)/8)/(v/40). Suppose -b*l + 1 = -l. Put l, 3, 2 in increasing order.
l, 2, 3
Let x(f) = 16*f + 53. Let p be x(-3). Let y(h) = -h**2 - 3*h + 2. Let l be y(-4). Sort -4, l, p.
-4, l, p
Let g be 1/(-5) + (-18)/(-15). Sort -3/2, -1/2, g.
-3/2, -1/2, g
Let w = 23 - 22. Sort 2, w, 0.4 in decreasing order.
2, w, 0.4
Let j(y) = y**3 + y + 2. Suppose -8*i + 3*i = 0. Let x be j(i). Sor