0.8. Sort h, z, 0.2 in decreasing order.
z, 0.2, h
Let f = -2.92 + 5.92. Sort 8, -0.2, f in increasing order.
-0.2, f, 8
Let u = -4.73 + 3.768. Let c = 0.038 - u. Let f be 1/(-3)*(-3)/(-4). Sort -3, f, c in descending order.
c, f, -3
Let k = 26.79 + -27. Let n = k - -6.21. Let o = n + -5.8. Put 1, o, -2/13 in increasing order.
-2/13, o, 1
Let k = -7.6 - -8. Let i(a) = a**3 - 6*a**2 - 8*a + 8. Let m be (10/(-15))/(2/(-21)). Let v be i(m). Sort v, k, 2/11.
2/11, k, v
Suppose 0 = -p + 2*f + f - 3, -p + 1 = f. Let l = -22 - -19. Sort l, -11, p in descending order.
p, l, -11
Let r(a) = -1. Let d(b) = b. Let x(m) = -d(m) + 2*r(m). Let j be x(-6). Suppose 14*g + 28 - 17 - 39 = 0. Put g, -2, j in decreasing order.
j, g, -2
Let b be (-1 + 1)/(-3) + (-4)/(-20). Sort -2, -0.8, b in descending order.
b, -0.8, -2
Suppose 5*n = -4*t + 27, 0 = t + 4*n + 4 - 19. Let b(p) = p**3 + 16*p**2 - p + 276. Let o be b(-17). Sort o, -10, t in decreasing order.
o, t, -10
Let p = 10285/9 + -1143. Sort p, -1/13, -0.8, 4.
-0.8, p, -1/13, 4
Let g = 0.7879 + 1.2121. Let h = -0.1 + -0.1. Let v = -1066/19 + 56. Sort v, h, g in increasing order.
h, v, g
Let h = 0.1 - -0.1. Let y = 893/4 + -223. Let p = 2.02 + -0.02. Sort p, y, h in ascending order.
h, y, p
Let b(u) = 2*u**2 - 65*u - 33. Let f be b(33). Let i(m) = m**3 + 11*m**2 + 10*m. Let c be i(-10). Suppose v + 2 = -c*v. Sort v, f, -3 in descending order.
f, v, -3
Let i = 42 - 42. Suppose c + c = i. Sort -1, -3, c.
-3, -1, c
Suppose d + 4*j = 0, 3*j - 33 + 10 = 5*d. Let t be 6/(-4)*(-10)/3. Suppose -2*b + 10 = 3*r, 0 = t*r - 2*r - 2*b - 14. Put 1, d, r in descending order.
r, 1, d
Suppose -9 = -l - t, 2*t = -5*l - t + 37. Suppose -p - 3*x - x - 13 = 0, 5*x + 35 = l*p. Put 6, p, 4 in increasing order.
p, 4, 6
Let p(l) = -l**3 - 4*l**2 - 2*l + 1. Let d be p(-3). Let m = 6 - 5. Let r = -1 + m. Sort d, -3, r in increasing order.
-3, d, r
Let u(l) = l**2 - l - 5. Let j be u(-4). Suppose -s + j - 3 = 0. Let x = s - 16. Sort 6, 1, x in increasing order.
x, 1, 6
Suppose 25*z - 49 = 18*z. Suppose -2*y - 25 = 3*y, -2*y - z = m. Let n = 0 - -1. Put m, n, -5 in decreasing order.
m, n, -5
Let c be -1 + 0 + 5 + -1. Let p = -147 - -149. Let r be (1 - p)*3 - (-49)/7. Sort c, -3, r in decreasing order.
r, c, -3
Suppose 4*m - 52 = -0*m. Let o = 27 - m. Sort o, -1, 4, 5 in descending order.
o, 5, 4, -1
Let l be 8/(-32) + (-2)/(-8) + 1. Sort 3, -4, l in descending order.
3, l, -4
Let b = 0.5 + -1. Let d(r) = 636*r + 1270. Let c be d(-2). Sort c, b, 2.
c, b, 2
Suppose 3*u - 126 = p - 4*p, -5*u - 2*p = -216. Suppose -48*j = -u*j. Sort 1, j, 4, 2 in descending order.
4, 2, 1, j
Let w be (-14)/3 + (-12)/(-18). Let a be -6*w*3/(-126). Let m be (-22)/(-52)*(-12)/(-33). Put m, -1/9, a in increasing order.
a, -1/9, m
Let j = -2.007 - 0.993. Sort -2/5, -2/33, j, 0.21 in descending order.
0.21, -2/33, -2/5, j
Let o = 1.6 + -0.6. Let u = -15 - o. Let a = 19 + u. Sort 0.3, 4, a in ascending order.
0.3, a, 4
Let r(s) = -s**3 - 2*s**2 + 13. Let v be r(0). Suppose -7*p = v + 15. Sort -5, p, -6, 0 in increasing order.
-6, -5, p, 0
Let i = 39/224 - 1/32. Sort 1, -1, i, 1/2 in increasing order.
-1, i, 1/2, 1
Let u = 18.72 - 19. Let t = 2.72 - u. Let h be ((-2)/(-3))/((-11)/(-33)). Put h, -2/5, t in descending order.
t, h, -2/5
Let b = 45 + -80. Let p = b + 35.4. Let c be (-15)/25*(-3 + 1). Sort c, p, 3.
p, c, 3
Let x(z) = z + 2. Suppose 73 = -4*q + 2*h - 3*h, 3*q + 5*h + 76 = 0. Let y be x(q). Put -4, 4, y in increasing order.
y, -4, 4
Suppose -3*x = x + 16. Let b be 27/(-81) - 1/3*x. Sort b, -9, 5 in ascending order.
-9, b, 5
Let m = 14 - 15. Let d = 75669/7 + -10914. Let x = -104 - d. Put m, x, -0.2 in descending order.
x, -0.2, m
Let d = -106/9 + 12. Sort 0.03, d, -0.2, 0.2 in increasing order.
-0.2, 0.03, 0.2, d
Let c = -30 + 31. Suppose 5*v - 3*t + 23 = 0, -t = -v - 4*t - c. Let i = 0.1 + 0. Put v, 1/5, i in decreasing order.
1/5, i, v
Let b = 1518 - 1520. Sort b, 11, 10 in descending order.
11, 10, b
Let c = -17 - -28. Let y = c + -11. Let w(u) = 3*u - 31. Let r be w(9). Sort y, r, 3 in ascending order.
r, y, 3
Let s be -2*(-1 + (-4)/(-2)). Let q be ((-4)/(-10))/(1/15). Suppose -q*v - 12 = -2*v. Sort s, -4, v in increasing order.
-4, v, s
Suppose 30*c + 19 + 13 = -2*c. Let k = -0.7 + -2.3. Put 0.3, k, 1/7, c in descending order.
0.3, 1/7, c, k
Let j = -119/5 + 24. Let g(c) be the second derivative of -c**3/3 + 9*c**2/2 - 2*c. Let i be g(4). Sort j, -0.3, i in decreasing order.
i, j, -0.3
Let h be 270/(-189)*7/(-2). Let w(v) = -v**2 + 7*v - 3. Let r be w(6). Put -2, h, r, -4 in ascending order.
-4, -2, r, h
Suppose 42 = -7*a - 91. Let b = -26 + 27. Put -3, -2, b, a in increasing order.
a, -3, -2, b
Let k = 463 - 372. Sort k, -1, 1 in descending order.
k, 1, -1
Let u be ((-3)/(-9))/(6/72). Let p be u + -1 - (-11 + 6). Suppose 0*h = 2*h - p. Sort 1, h, 3 in ascending order.
1, 3, h
Let k(q) = -q**3. Let d be k(1). Let o be 21/6 + (-2 - 0). Let h be (6/(-14))/((-9)/(-6) - 0). Sort d, h, o in increasing order.
d, h, o
Suppose 0 = -4*q + 4*g + 32, q - 5*g - 24 = -0*q. Suppose c - 40 = -q*c. Suppose 3*h + 4 = -2*w - 3*w, 0 = 3*w + 4*h - 2. Put -1, c, w in increasing order.
w, -1, c
Let l(k) = -k**2 - 46*k - 149. Let s be l(-43). Sort -4, s, 0 in decreasing order.
0, -4, s
Let a = -179 - -39. Let q = a + 983/7. Put 1, q, 0.4 in decreasing order.
1, q, 0.4
Let c = -259.78 - -256. Let d = 0.78 + c. Sort d, 2, -2 in decreasing order.
2, -2, d
Let u = -23 + 25. Suppose -u = 7*v - 23. Sort v, 0, -3.
-3, 0, v
Suppose -2*v + 2*d - 20 = 4*d, -2*d - 14 = v. Sort 1, v, -1 in ascending order.
v, -1, 1
Suppose -5*z + z = -48. Let k be (-232)/(-6) + 4/z. Suppose -3*p + 4 = -0*c + 5*c, 0 = -2*p + 5*c - k. Sort 4, 0, p.
p, 0, 4
Let o = 1/2482 + -541079/7446. Let d = 72 + o. Put -1/3, d, -4/7 in decreasing order.
-1/3, -4/7, d
Let j = 0.01 + -4.01. Let b = 6 + j. Let v = -34 + 38. Put v, b, 0.3 in increasing order.
0.3, b, v
Let l(p) = -4*p + 36. Let f be l(9). Put 2, f, -10 in decreasing order.
2, f, -10
Let l be (-1)/4 + (-2)/(-8). Let p = -70 - -80. Let h = p - 12. Put h, -5, l in decreasing order.
l, h, -5
Let x be (-12)/22 + (-1785)/55. Sort x, 0, 1 in descending order.
1, 0, x
Let b(p) = 3*p**3 - 2*p**2 + 1. Let c be b(1). Let k = -26 - -30. Suppose -k*w - 7 = -3*d, 3 = -c*w - d + 2*d. Put -5, w, 5 in ascending order.
-5, w, 5
Let a(v) = -5*v**2 - 5*v. Let i be a(-1). Sort 1, i, -16, -4.
-16, -4, i, 1
Suppose 4*h - 1040 = 3*w, -h - 22*w + 17*w = -237. Sort -2, 0, h in decreasing order.
h, 0, -2
Suppose 0 = 2*i + 4*y + 20, -y = 3*i - 3*y - 2. Let a = 363 + -363. Sort a, -11, i, -5 in increasing order.
-11, -5, i, a
Suppose -r = 4*z - 16, 0 = -3*r - 13 + 1. Let d = 46 + -61. Sort d, -4, z in decreasing order.
z, -4, d
Let n be (-1)/1 + (-1 - -2). Suppose 36 = -3*k - 5*m, 4*m - 97 = k + 4*k. Let w = k - -18. Put 5, n, w in increasing order.
n, w, 5
Let g = 806 + -808. Put g, -3/5, -21/11, -5 in ascending order.
-5, g, -21/11, -3/5
Suppose 2*o = 4*p + 22, 9*o = -2*p + 7*o - 2. Put p, -5, -13, 0 in ascending order.
-13, -5, p, 0
Suppose 0 = -0*h - 4*h - 3*b - 47, 5*h + 73 = b. Sort -1, h, 4, -4 in increasing order.
h, -4, -1, 4
Suppose 0*u + 3 = -x - 3*u, 0 = -u. Sort -13, x, 4 in ascending order.
-13, x, 4
Suppose -3*n = -2*q + 2, 41 = -5*q + 16. Suppose 5*d = d + 16. Let l = -5 + d. Sort n, l, -5 in decreasing order.
l, n, -5
Let m be -2 + 27 + (-43560)/1650. Let p = -3.89 - 0.11. Let r = -0.3 + 0.2. Sort r, m, p in decreasing order.
r, m, p
Let v = -0.106 - 0.394. Let w = -7 - -6.3. Let i = w - -0.4. Put i, 3, v in decreasing order.
3, i, v
Suppose 2*s + 21 - 7 = f, 3*f = 5*s + 34. Let q = 4 - 4.24. Let n = -0.06 + q. Sort 0, f, n in decreasing order.
0, n, f
Suppose -g + 4*m = g - 480, -4*m = -5*g + 1182. Let f be 21/(1323/g) + (-4)/(-14). Sort f, -5, 1, 3 in ascending order.
-5, 1, 3, f
Let h = -1018 + 1019. Sort 3, h, -5, 13 in decreasing order.
13, 3, h, -5
Let a = -0.14 - -3.14. Suppose -2*o + 5*o - 10 = -2*w, -w = -3*o - 5. Suppose w*d = d. Put a, d, -2/3 in ascending order.
-2/3, d, a
Let m(y) = -5*y**2 - y. Let n be m(-1). Let g = -13 + 19. Let a be 0/((-3)/((-9)/g)). Sort 2, n, a.
n, a, 2
Let n(v) = v**2 - 6*v + 9. Let k be n(5). Suppose -8*c - 18 = -5*c + 2*r, 