21)/(-52). Put c, s, 0.5, -0.2 in decreasing order.
0.5, c, s, -0.2
Let d be -10 - (3 + 9)/6. Let a be (2 + (-8)/12)/((-8)/d). Sort 0.3, a, -2 in ascending order.
-2, 0.3, a
Suppose -c + g = -1, -c - g - 1 = -5*c. Suppose -5*n = -a + 9 + 8, -n = 5*a + 19. Sort a, 5, c, 4.
a, c, 4, 5
Let j(d) = -d**3 - 18*d**2 - 45*d - 4. Let m be j(-15). Let u(s) = -s**2 + 3*s + 1. Let k be u(3). Put m, -0.4, k, -2 in descending order.
k, -0.4, -2, m
Suppose -4*a + 4*t = 0, -a - 24 = -5*a - 4*t. Suppose 42*m = 72*m + 30. Sort 4, m, a in decreasing order.
4, a, m
Let w = -25/33 + 12/11. Suppose 7*p + 19 = -3*p - 21. Sort 4, 3, p, w in descending order.
4, 3, w, p
Let h = 10.56 - 6.56. Sort -0.02, -4, 1/26, h in increasing order.
-4, -0.02, 1/26, h
Suppose 4*a + v - 92 = 0, 3*a - 5*v - 69 = -0*a. Put 2, a, 5 in decreasing order.
a, 5, 2
Let i = 63 - 58.3. Let c = 4.3 - i. Put c, -4, -2 in descending order.
c, -2, -4
Let b be (-2)/11 - 2630/55. Let i = b + 68. Let c be (-30)/i*(-2)/6. Sort -2/17, c, -1/5 in increasing order.
-1/5, -2/17, c
Suppose 5*o - 5*x - 24 = 6, 2*x = -3*o + 3. Suppose -2*h - 6*v + 4*v + 14 = 0, h - 15 = -o*v. Suppose 3*g - 2*g = -4. Sort g, h, -5 in descending order.
h, g, -5
Let w be ((126/(-18))/7)/(5/(-4)). Sort w, 3/7, -1/5, -6 in decreasing order.
w, 3/7, -1/5, -6
Suppose -5*d = -0*d - 80. Suppose -6*t + 2*t = d. Let l(v) = v**3 + 8*v**2 - 10*v - 7. Let r be l(-9). Put r, t, 5 in increasing order.
t, r, 5
Let q = -77 - -73. Let f be (2 - (-6)/q)/((-2)/4). Put -3, f, -2 in descending order.
f, -2, -3
Let y = -15 - -11. Let l = 1.163 + -1.063. Sort l, -0.1, y in descending order.
l, -0.1, y
Suppose 9 = 3*j + 31*m - 29*m, -4*m = -j + 3. Sort 30, j, 0.05.
0.05, j, 30
Let q = -11 + 16. Let d be 1 + 1/((-4)/(-16 - 0)). Let p be (-2)/d*10/(-4). Sort q, 2, p in descending order.
q, 2, p
Suppose -24 = -3*r - r. Suppose 2*q + r - 14 = 0. Let y be (-15 - -5)/(-2 + q). Put -4, 2, y in decreasing order.
2, -4, y
Let k be (((-63)/(-14))/(-9))/(4/(-24)). Sort k, 5, -3, 7 in ascending order.
-3, k, 5, 7
Suppose -2*a + 151 = -5*j, -8*a + 6*a = 4*j - 106. Put a, 4, -1 in decreasing order.
a, 4, -1
Let w = 0.2 + -0.6. Let f = w - 0. Let i = 1.4 + f. Sort -1, i, -4 in ascending order.
-4, -1, i
Suppose -2*n - 3 = b, -2*n - 9 = -n + 2*b. Let x(l) be the first derivative of l**4/4 + 2*l**3 + l**2/2 + 11*l + 8. Let t be x(-6). Sort n, t, -2.
-2, n, t
Let s = -3 - -7. Let h = 258 - 258.1. Put h, s, -0.3 in ascending order.
-0.3, h, s
Suppose 0 = -5*u - 4*c + 40, -2*c + 26 = 3*u - 0*c. Suppose 0 = -12*s - u - 24. Sort 0, s, -6, 4 in increasing order.
-6, s, 0, 4
Let h be (1/(-3))/((22 - 8)/126). Put 4, h, -1, -2 in decreasing order.
4, -1, -2, h
Let d = 615900 + -141656661/230. Let q = d + 3/115. Sort -1/3, 1/5, q, 4 in descending order.
4, q, 1/5, -1/3
Let k = 685/2 + -342. Put k, -0.1, 2 in decreasing order.
2, k, -0.1
Let q = 0.65 + -1.2. Let n = -0.05 - q. Let o = 8/21 - 194/399. Put n, o, 2/7 in decreasing order.
n, 2/7, o
Let q(j) = -j**2 - 21*j + 52. Let i be q(-23). Let n be (-1 + 3/i)/(3/(-6)). Sort 8, n, 0 in decreasing order.
8, n, 0
Suppose 4 = 4*r + 5*z, 8 = -5*r - 3*z - 0. Let u(v) = -v**2 + 7*v - 6. Let p be u(7). Sort r, 2, p in decreasing order.
2, r, p
Suppose 2*l + 24 = -4*b, l + 3 = -b - 5. Let z(j) = -6*j**2 + 346*j + 471. Let d be z(59). Sort 3, -3, d, b in ascending order.
b, -3, d, 3
Let c be 2*(-3 - (1 - 2)). Let t = -3894 - -3895.953. Let g = t - -0.047. Sort c, -3, g in decreasing order.
g, -3, c
Let c(k) = -k**2 - k + 1. Let u be c(-2). Let s(d) = d**2 - 6*d + 2. Let l be s(6). Let w = 84 + -84. Put l, u, w in decreasing order.
l, w, u
Suppose -28 = -4*b - 4*k, 0*b + b = -5*k + 15. Let j be 1/(-4) - 45/(-20). Put -5, j, b in decreasing order.
b, j, -5
Let h = 2.4 - 2.23. Let n = -0.221 + -0.049. Let m = n + h. Put 0, m, 4/9 in decreasing order.
4/9, 0, m
Let h = 0.051 + 3.949. Sort -34, -4, h, -0.1 in increasing order.
-34, -4, -0.1, h
Suppose r = f - 1, 4*f - 3 = r + 4. Suppose -1 = -i - 3*a, 4*a - 14 = 5*i - 38. Sort 6, i, r.
r, i, 6
Let b = -4 - -2. Let a = 19 - -11. Let y be 1/((-3)/a*b). Sort -2, y, -1 in descending order.
y, -1, -2
Let m(x) = -4*x + 50. Let j be m(12). Put -4, j, 5 in ascending order.
-4, j, 5
Let z be (2 - 2)/(1/1). Let w = -13 + 21. Let x be (-10)/6 + w/12. Sort 1/4, z, x in increasing order.
x, z, 1/4
Let d be (1/(-3))/((4/(-1))/48). Let c be (d/30)/(12/(-30) - -1). Sort -5, -1/3, c, 0.02 in ascending order.
-5, -1/3, 0.02, c
Let p = 483 + -1933/4. Sort 3, p, -1/3, -3 in ascending order.
-3, -1/3, p, 3
Suppose 4*v - v = 765. Let r be 81/v - 2/10. Suppose -2022 = -9*q - 1986. Sort q, 0.3, r in descending order.
q, 0.3, r
Let x = 73/308 - -1/77. Let n = 60 - 65. Sort n, 0.3, 5, x in descending order.
5, 0.3, x, n
Let w = -26.1 - -0.1. Let s = 26.6 + w. Let u be 2/8 + 5/(-52). Put s, u, 4 in decreasing order.
4, s, u
Let k be 3*25/(-45)*1. Suppose -4*s + 7*d + 31 = 4*d, 12 = s - 5*d. Let b be -3 + (0 - s/(-2)). Put -5, k, b in increasing order.
-5, k, b
Suppose -47 = -3*p - 4*v - 4, -2*v = -5*p + 37. Suppose -3*b - 5*n = -0*n + 17, 2*b + p = -n. Sort 3, 12, b in descending order.
12, 3, b
Suppose b + 114 = -0*f - f, -2*f - 3*b - 230 = 0. Let t be (1674/(-4))/((-30)/(-8)). Let k = f - t. Put 0.2, 0.15, k in increasing order.
k, 0.15, 0.2
Let c = -24.3 - -24.271. Sort c, -1/6, 2/5 in decreasing order.
2/5, c, -1/6
Let o be 2 + (2 - 81/21). Let q be (-6)/(-8) + 200/(-80) + 2. Sort 4, -2/17, o, q.
-2/17, o, q, 4
Let y = -2597/34 - -153/2. Put 1/5, 3/7, y in decreasing order.
3/7, 1/5, y
Let k(i) = 5*i - 28. Let f be k(6). Let s = -4 + f. Put s, 3, 0 in descending order.
3, 0, s
Let g = -96 + 95.3. Suppose 6*o - 3*l + 160 = o, 0 = 5*o - 4*l + 165. Let j = 117/4 + o. Put j, 0.2, g in ascending order.
g, 0.2, j
Suppose -5*c - 2*u + 4 + 9 = 0, 2*c + 5*u - 22 = 0. Suppose -5*a + 46 = 3*y, -8*y = -4*y - 4*a - 40. Put c, y, 4 in increasing order.
c, 4, y
Let r = -28 + 24.8. Let h = r - 1.8. Suppose 4*p + 5*w + 13 = 0, -p + 5*w = p - 31. Put 0.5, h, p in increasing order.
h, 0.5, p
Suppose 0 = 4*z - 2*z. Suppose 0 = 2*y - 17 - 5. Suppose t - y + 8 = 0. Put z, 5, t in increasing order.
z, t, 5
Suppose -4*c - 8 = 4*d, -27*d = -22*d - 3*c + 34. Suppose 4*m - 4 = 4. Let u = -3 - -8. Put m, u, d in increasing order.
d, m, u
Let v be -2 - (1 - (-2 + 7)). Suppose 0 = -3*h - s + 3, 0*s - s = v*h - 2. Sort 3, -13, 2, h in decreasing order.
3, 2, h, -13
Let v = 4 + -6. Let j be 8/(-12) + v/6. Let s be j - (-2 + 2*-2). Put 1/3, s, 1 in decreasing order.
s, 1, 1/3
Suppose 1 + 11 = -3*d. Suppose -18*h = -13*h + 75. Let m be (-9 - -3)/((-10)/h). Sort m, d, 1 in increasing order.
m, d, 1
Let i = 2 - 4. Suppose 9*k - k = 40. Suppose -53 = k*s - 78. Sort -4, s, i in decreasing order.
s, i, -4
Let h = 23.41 - 23.4. Put 0.2, -4, h in decreasing order.
0.2, h, -4
Suppose 3 + 2 = k. Suppose 1 - 26 = -k*c. Suppose c*h = 4*b + 12 + 21, -2*h - 4*b + 2 = 0. Put -1/4, h, -1 in ascending order.
-1, -1/4, h
Let h = 101 - 99. Let k = 26.4 - 26. Sort h, 0, k, 3/5 in decreasing order.
h, 3/5, k, 0
Let z = 104.3 + -103.7. Sort z, 2/3, 5 in decreasing order.
5, 2/3, z
Suppose 3*t = -6*t + 99. Suppose t = -z - 3*b, -b = -5*z + 3*z + 13. Put -69/2, 0.2, z in ascending order.
-69/2, 0.2, z
Let g = 13 + -7. Suppose -4*w + 2 - g = 0. Put 4, 3, w in descending order.
4, 3, w
Let l = 199 + -195. Sort 2, -2, l, 5 in decreasing order.
5, l, 2, -2
Suppose 0 = 4*t + 8, -2*r - 4*t = t + 10. Suppose r = -3*n - 4*o + 23, 3*n + 2*o - 25 + 6 = 0. Suppose 0*a - n = a. Sort a, 3, -2 in ascending order.
a, -2, 3
Let w be 40/(-15)*(-3)/(-12)*-3. Suppose -3*v = -w*v + 4*y - 2, -v + 2*y - 28 = 0. Sort -1, v, 3 in ascending order.
v, -1, 3
Let u(a) = -a**3 + 11*a**2 + 16*a - 36. Let x be u(12). Let w = -2 + 0. Let n be (w - (-56)/x) + -2. Sort n, -2, -1/2 in descending order.
n, -1/2, -2
Let j = 1008 + -1007.6. Sort -2, j, 0.2, -62 in decreasing order.
j, 0.2, -2, -62
Suppose -23*b + 29*b + 12 = 0. Suppose 5*i = 10*i - 15. Let w(s) = -s**3 + 4*s**2 - 4*s + 3. Let r be w(3). Sort i, r, b in decreasing order.
i, r, b
Let d = 7 + 25. Let j = -35.7 + d. Let q = -4 - j. Put 3, q, 0.4 in decreasing order.
3, 0.4, q
Let p = -4.7 - -0.7. Let z = -3.3 + -8.7. Let h = z - -14. Put 