ecreasing order.
t, 1, n
Let j = 862.01 + -858. Let b = j + -0.01. Let x = b + -6. Sort -3, 5, x.
-3, x, 5
Let h = 0 + -9. Let x = -13 - h. Let z(c) = -c**3 + c**2 + 4. Let m be z(0). Put x, -1, m in descending order.
m, -1, x
Let p = -58.2 - -52. Let r = p - -1.2. Let i = -14/9 - -61/45. Sort r, -3/2, i.
r, -3/2, i
Suppose -6*l + 59 = 5. Suppose -3*s - l = -5*r - 4, -4*r - 4*s = -4. Sort -5, r, -10 in increasing order.
-10, -5, r
Let s = -61.03 - -61. Sort s, 0, -0.5 in increasing order.
-0.5, s, 0
Suppose -4*t + 5*j - 45 = 0, -108*j = -2*t - 109*j - 5. Let m = 0 - -2. Put 0, m, t in increasing order.
t, 0, m
Let f(r) = -3*r**2 + 50*r + 52. Let i be f(-1). Let m = 5 - 10. Sort m, 7, 0, i in decreasing order.
7, 0, i, m
Let t be 9/24 + -1 + (-87)/(-24). Suppose -32 = -5*z - t*h, -3*z - 5*h = -z - 28. Put 2, z, -2, -1 in decreasing order.
z, 2, -1, -2
Let t be 1*(-45)/20 - 3/4. Sort 0, t, 3 in ascending order.
t, 0, 3
Suppose 0 = 8*d - 6*d - 4. Suppose -q - 3 = 0, -3*q + d = 2*b + 1. Let n(j) = -j - 1. Let c be n(-4). Put -4, b, c in decreasing order.
b, c, -4
Let c = 674 - 674. Sort 1/36, c, -2/11.
-2/11, c, 1/36
Suppose -3*y = -7*y. Let p be -2 - (-3 - -5) - y. Let o be (-1 + (3 - 2))/2. Put 2, o, p in descending order.
2, o, p
Let z = -3/70 - 1/10. Sort 5, 9/4, -3, z in increasing order.
-3, z, 9/4, 5
Let o be 4/(-3)*6/4. Let v = o - 2. Suppose 43*n = 48*n + 10. Put n, -5, v in decreasing order.
n, v, -5
Suppose 0*n = 3*n + 3*r + 45, 0 = 3*n - 5*r + 21. Let z be (6/18)/((-2)/n). Suppose -z*y - 20 = 3*y. Sort y, 0.1, 2.
y, 0.1, 2
Let h = 27.9 + -29. Let s = -1 - h. Let m = s - 0. Sort -1, m, 3.
-1, m, 3
Suppose -3*q - 2*q - 8 = -2*p, 50 = -5*p - 5*q. Let r(t) = -t. Let x(g) = g**3 - 9*g**2 + g - 6. Let l be x(9). Let w be r(l). Sort w, -5, p in ascending order.
p, -5, w
Suppose 8*d + 5*d - 169 = 0. Let g = 4 - 2. Sort d, -5, g in descending order.
d, g, -5
Let d = -27 + 31. Let b be (-17 + 29)*d/(-6). Put b, -4, -5 in increasing order.
b, -5, -4
Let w = -70 + 71. Suppose 0 = -5*p - n - 20, -p + 3*n = -w + 5. Sort 5, p, 2, -5 in descending order.
5, 2, p, -5
Suppose 12*d - 2*t = 13*d + 13, 5*t + 5 = 3*d. Sort d, 2, 4, 7.
d, 2, 4, 7
Let b = 29.4 + -32.4. Sort -0.3, 2, b in descending order.
2, -0.3, b
Let w be 1/(-4) + (-1)/(-4). Suppose w = 5*r + 2*l + 8, -r - 2*l = 3 + 5. Sort -3, 1, r.
-3, r, 1
Let a be (-1)/3 - (-79)/3. Suppose -5*l + 2*b = -34, -3*l - 5*b + a = -13. Let q(w) = -5*w**3 + 2*w**2 - w - 1. Let h be q(1). Sort h, l, 2 in descending order.
l, 2, h
Let h(i) = -18*i - 125. Let p be h(-7). Let r = 1 + -2. Sort p, r, 3 in decreasing order.
3, p, r
Let k be (8/40)/((-2)/10) - -1. Let g(j) = -j**2 - 7*j - 3. Let z be g(-6). Suppose b = -z*b - 40. Put b, -2, k in decreasing order.
k, -2, b
Suppose d + 2 = 4*a - 9, 2*d - 3*a = -12. Put -17, 4, -5, d in decreasing order.
4, d, -5, -17
Let u = -79 + 81. Put -5, u, -8, 5 in increasing order.
-8, -5, u, 5
Let n(p) = -p + 14. Let h be n(16). Suppose 3*m + 209 = -m + a, 0 = 4*m - 2*a + 210. Let v = m + 52. Sort 2, v, h.
h, v, 2
Suppose -3*x = -3*c + 6, 3*c + 2 = -5*x + 8. Suppose x = -3*f - 2*t + 7*t + 1, -3*t - 3 = -3*f. Sort 1, -5, f in increasing order.
-5, 1, f
Suppose 666 = -14*k + 2892. Put -2, -1, k in descending order.
k, -1, -2
Let t = -15 - -30. Suppose -5*a - t = 2*x, 0*a = -x + 2*a + 6. Let c = -287 - -282. Put c, x, 1 in ascending order.
c, x, 1
Suppose 3*n = 4*n + 18. Let c = n + 18. Suppose 0 = -c*k - 5*k - 25. Put k, 3, -2 in decreasing order.
3, -2, k
Let o = 8 + -10. Let p = -0.9 - -14.4. Let v = p - 13. Put o, v, 1 in ascending order.
o, v, 1
Let r = 0 - 0.4. Let n = -7181 - -7180.5. Sort n, 0.5, -2/3, r in decreasing order.
0.5, r, n, -2/3
Let d(u) = -u**2 - 10*u. Let h be d(-6). Let k be 2 - h/15 - 16/(-10). Sort 1, k, 0, -1 in decreasing order.
k, 1, 0, -1
Let s = -664 - -669. Let h(o) = -o**2 - 5*o - 4. Let l be h(-4). Sort s, 3, l in descending order.
s, 3, l
Let v = 22.2 - 17.2. Sort -3, -6/7, -4, v in descending order.
v, -6/7, -3, -4
Let n = 0.68 - 0.28. Let v = -2/135 + 49/270. Put n, v, -2/13, 0 in decreasing order.
n, v, 0, -2/13
Suppose -b + 35 = -2*w - 6*b, b - 10 = 3*w. Put -0.1, -0.01, 0.7, w in descending order.
0.7, -0.01, -0.1, w
Let m(c) = 6*c - 11. Let q be m(2). Put 10, 0, q in descending order.
10, q, 0
Let g = -81.7 - -75.2. Sort 3, 0.5, -2, g in decreasing order.
3, 0.5, -2, g
Let u = 13.5 - 13. Let x = -19 + 18.56. Let f = 2.56 - x. Sort 2, u, f in descending order.
f, 2, u
Suppose -4*p = -5*p + 1. Let m = -221 - -127. Let u = 100 + m. Put p, -0.2, u in descending order.
u, p, -0.2
Let h be 4*(-4)/(-16)*-7. Suppose 0 = 8*n + 70 - 54. Sort n, 1, h.
h, n, 1
Suppose -2*o + 409 = 111. Let h = -1041/7 + o. Let v = -2.06 + 0.06. Put -0.3, h, v in decreasing order.
h, -0.3, v
Let w be -2 + 3 + 152/(-136). Sort -4, 30, w, -2/3.
-4, -2/3, w, 30
Let d(s) = -s**3 - 2*s + 3. Let h be d(0). Suppose -16 = -4*i - c, -c + 4 = 4*i + h*c. Put 3/2, i, -2, 8 in decreasing order.
8, i, 3/2, -2
Let z = 0.254 + 1.046. Sort -5, 2, z, 0.4.
-5, 0.4, z, 2
Let d(g) = 3*g**3 + 3*g**2 + 17*g + 13. Let p be d(-3). Put 5, p, 4 in descending order.
5, 4, p
Let h = 147 - 146.12. Let u = -1.18 + h. Let p = 6 + -4. Put -0.5, p, u in increasing order.
-0.5, u, p
Let b = 304 + -316. Put b, -5, 3 in decreasing order.
3, -5, b
Let f = -23 + 9. Let m = 17 + f. Suppose -a - 12 = 3*t, -2*t = -4*a + 2*a - 8. Sort -1/4, a, m in descending order.
m, -1/4, a
Let f = 7.92 - -1.08. Put 0, f, 2/13, 4 in decreasing order.
f, 4, 2/13, 0
Let o = -0.0061 + -4.9939. Put -2, 2/17, o, -2/7 in descending order.
2/17, -2/7, -2, o
Let h = 52 + -50. Suppose 23 = 5*q + h*k, 4*k + k + 20 = 3*q. Put -2, 4, q in descending order.
q, 4, -2
Let o be (-4 + 1 - -2) + -2. Suppose -291*h - 530 = 30 + 22. Sort h, o, 15, 0 in ascending order.
o, h, 0, 15
Let b = -4.7 + 0.7. Let c = -146.57 - -6.07. Let g = 141 + c. Put -0.2, g, b in descending order.
g, -0.2, b
Let x(v) = -12*v + 2. Let n be x(0). Put -2, n, -9 in ascending order.
-9, -2, n
Let a(v) = 4*v - 25. Let f be a(5). Sort 3, f, -6, -4.
-6, f, -4, 3
Let c = 30 + -26. Suppose c*u + 20 = 0, -40 = 5*y - 0*y + 5*u. Put 0, y, 2, 4 in decreasing order.
4, 2, 0, y
Let r = -0.236 - 0.074. Let i = r - -0.21. Let p = -0.43 - -0.03. Sort p, i, 0.
p, i, 0
Suppose -66*d + 56*d = -40. Sort 117, d, 0 in decreasing order.
117, d, 0
Let d = 5242 - 15941/3. Let w = 71 + d. Sort 0.09, w, -0.4 in decreasing order.
0.09, -0.4, w
Let o = 0.041 + 2.859. Let v = -2.6 + o. Sort v, 4, -0.06 in decreasing order.
4, v, -0.06
Let l be (-1)/(-5) - 114/(-5). Sort -2, l, 3 in decreasing order.
l, 3, -2
Let w be (-476)/154 - 1/(-11). Sort 0.023, -1/4, w in descending order.
0.023, -1/4, w
Let d(c) = c + 1. Let v be d(1). Suppose -3*w = -b + 14, 2*w + v*b + 32 = -3*b. Sort w, -3, 5 in ascending order.
w, -3, 5
Let d = 1241 + -1236. Put -46, -1, d, -2 in ascending order.
-46, -2, -1, d
Let q be 2/10 - (-42)/(-35)*1. Put q, 6, 2, 5 in decreasing order.
6, 5, 2, q
Let g be (-14)/77 - 2/(-11). Let f be ((-4)/(-12)*g)/1. Suppose 2*b = -17 + 11. Sort f, b, 20.
b, f, 20
Suppose -h + p - 6 = 0, 4*h - p = -3*p. Sort -5, 6, h, 3.
-5, h, 3, 6
Suppose 6*j + 18 = -0*j. Let b be (-2)/10 + 38/(-10). Let w be (0 - (-3 + 8)) + 3. Sort b, j, w in ascending order.
b, j, w
Let d be (-9)/(3/(6*2/4)). Let t = 50 - 50.1. Sort t, -0.2, d in increasing order.
d, -0.2, t
Let r = -268 - -247.3. Let v = -20 - r. Sort 0.3, v, -5, -3/2.
-5, -3/2, 0.3, v
Let f be -3*(1 - (-28)/(-12)). Let h = 106 - 103. Sort f, -3, 1, h in ascending order.
-3, 1, h, f
Suppose 4*a = 3*k - 43, 0 = -0*a - 3*a + 2*k - 32. Put 3, a, -11, 5 in increasing order.
-11, a, 3, 5
Let z = -31 + 28. Let r = -3 - -3. Let i = r + z. Sort -1/3, i, 2 in increasing order.
i, -1/3, 2
Let v = -20 + 20.25. Let p = v + -0.65. Sort 5, 0.5, p in decreasing order.
5, 0.5, p
Let c(x) = x**2 - 9*x - 1. Let y be c(9). Sort -4, 5, y, 3.
-4, y, 3, 5
Suppose 2*h - 8 = -4*c, 0 + 4 = -4*c + h. Suppose -3*y + 2 + 4 = c. Let w = 2 + -1. Put -2, w, y in ascending order.
-2, w, y
Let x = 24 - 23.9902. Let j = 4.4198 - x. Let r = -0.41 + j. Sort r, -0.5, -1/28.
-0.5, -1/28, r
Let i = -158.2 + 158. Sort i, -3, -0.03, 6 in increasing order.
-3, i, -0.03, 6
Let c = -58 + 61. Sort