Let p = 9.5 - 7. Let o = p + w. Put 0.4, o, -2/7 in ascending order.
-2/7, 0.4, o
Suppose 2*q - 2 = q. Sort -1, 4, q, 9.
-1, q, 4, 9
Suppose 2*f + 24 = 5*c + 4*f, -2*f = -3*c + 8. Put -2, -5, -4, c in increasing order.
-5, -4, -2, c
Let d = 61 + -60.8. Let i = -2.5 + 0.5. Let c be (-2)/(-5) - 3/5. Sort c, i, d in decreasing order.
d, c, i
Suppose 5*j - 5*p = -40, -2*j - j + 4*p - 27 = 0. Put 7, 0, j in decreasing order.
7, 0, j
Suppose 2*c = c - 2. Let z(h) be the third derivative of -h**6/30 + h**5/60 - h**3/6 + 3*h**2. Let r be z(-1). Put -3, r, c in ascending order.
-3, c, r
Let s = 0.88 + -0.18. Sort 3, -1, s.
-1, s, 3
Suppose h + 22 = 3*h - 4*o, -2*o - 18 = -2*h. Sort 5, h, 2, 1.
1, 2, 5, h
Let r = 3.7 + 3.6. Let v = r + -7. Sort v, 2, -2/7.
-2/7, v, 2
Suppose -2*c - 3*x + 18 = -x, 4 = 4*c - 4*x. Sort -1, 1, c, 0.
-1, 0, 1, c
Suppose -3*a = -6*a + 6. Suppose v - 40 = 5*v + 4*b, 0 = -v - a*b - 15. Let d be (-2)/(-2)*-1 + 0. Sort d, 2, v.
v, d, 2
Let u = 117/4 - 811/28. Suppose -6*d + 2*d = -32. Let h be (18/d)/(18/12). Put h, u, 2 in ascending order.
u, h, 2
Let b = -2/147 - 32/49. Let d = -0.1 + -5.9. Let g = 11 + d. Put b, g, 0 in decreasing order.
g, 0, b
Let q be -3*2/3 + -1. Let k = -6 - q. Let u be (-4)/(-18) + 20/(-9). Put -5, k, u in ascending order.
-5, k, u
Suppose 4*m - 8 = 4*z, -z = -2*m - 0*z. Let f be (m - -2)/(2 + -5). Suppose 4*s + 3 = -5*g, -5*s - 3*g - 6 - 1 = 0. Put 4, f, s in decreasing order.
4, f, s
Let h = 0.01 - 0.02. Let o = -2.01 - h. Put o, -0.5, 2/7 in ascending order.
o, -0.5, 2/7
Let r = -0.02 + -2.98. Suppose 40*z - 2 = 39*z + t, 5*t + 4 = 2*z. Put r, z, -1/4 in decreasing order.
z, -1/4, r
Let x be (2 - 3) + 2/1. Let i = 2/3 + 11/6. Let p = -4.2 + 4.4. Sort i, p, x in increasing order.
p, x, i
Let c = -54 - -52. Sort c, -1/3, -3.
-3, c, -1/3
Suppose 2 = -3*m + 5. Suppose i = 4*i - 42. Suppose -i*n = -10*n. Sort m, -1, n in ascending order.
-1, n, m
Let s = -12 + 8. Put s, 2, -6 in increasing order.
-6, s, 2
Let w = 5.11 - 0.11. Sort -0.1, w, 0, 0.2 in decreasing order.
w, 0.2, 0, -0.1
Suppose -3*v = k - 19, 5*k - 2*v - 6 = k. Suppose 5*w = 2*d + 2*d + 4, -3*w - 3 = 3*d. Sort w, k, -5 in descending order.
k, w, -5
Let u = -5 - -11. Let j(k) = k**2 - 6*k + 4. Let s be j(u). Put -2, s, 3 in increasing order.
-2, 3, s
Let s = -441/8 - -55. Sort s, 2/5, -0.4.
-0.4, s, 2/5
Suppose 5*r = 18 + 7. Suppose r*k + 14 = -n, -n - 2*n + 6 = -k. Let w = -5 - -4. Sort w, -5, k.
-5, k, w
Let f = 28 + -26. Sort -0.4, f, 1 in descending order.
f, 1, -0.4
Let h(q) = -3*q + 23. Let r be h(6). Let m = 6 + -8. Let i be (-2)/(-6) + m/(-6). Sort i, -0.3, r in decreasing order.
r, i, -0.3
Suppose -4*i - 4*r = -20, 5*r - 23 = 2*i - 5*i. Put i, 30, 5, -4 in decreasing order.
30, 5, i, -4
Let w(u) be the second derivative of -u**5/20 - u**4/12 - 3*u**2/2 + u. Let i be w(0). Suppose 3*v + 0*v = 4*t - 7, -2*v - 2*t = 0. Sort v, i, 5.
i, v, 5
Let k = -0.072 - 2.928. Put k, -4, -0.2, 0.18 in descending order.
0.18, -0.2, k, -4
Let w = 33 + -17. Suppose -3*a = -a - 2*k - w, a = -3*k - 4. Sort -2, -4, a in descending order.
a, -2, -4
Let a = -0.3 + -4.7. Suppose t = -d - 2, -4*d = t - 5*t. Let b = 10 + -8. Put d, a, b in descending order.
b, d, a
Let h be ((-3)/14)/(4/12). Let u = 1/7 + h. Let f = 8.3 + -8. Put f, -3, u in decreasing order.
f, u, -3
Suppose -3*o = -4*r - 12 + 1, 0 = 4*r - 4*o + 16. Put -1, 9, r in decreasing order.
9, r, -1
Let f = 0.3 - -0.1. Let a(n) = n**3 - 8*n**2 - n + 8. Let g = 13 + -5. Let z be a(g). Sort f, -1/3, z in decreasing order.
f, z, -1/3
Let t(m) = -m**3 + 6*m**2 - m + 7. Let v be t(5). Suppose -v = -4*s + 4*f + 33, -3*s + 48 = -4*f. Let h be (-8)/s + 30/(-9). Put -5, h, 1 in ascending order.
-5, h, 1
Let d(s) = -s**2 - 8*s - 7. Let l be d(-6). Sort 3, -4, l in ascending order.
-4, 3, l
Let o = -545/4 - -138. Put 1, o, -2, -3 in ascending order.
-3, -2, 1, o
Let u be -2 - -3 - (-3)/(-1). Suppose x - 1 = -5*k, -3*x = x - 2*k - 4. Sort u, 2, x in ascending order.
u, x, 2
Let s = 2.5 + -3. Put 0, s, 3/5 in increasing order.
s, 0, 3/5
Let x = -16 - -18. Let j be x/((2 + -4)/(-2)). Put -5, j, -0.1 in decreasing order.
j, -0.1, -5
Let o be ((-6)/8)/(18/16). Let w = 0.243 - -0.057. Sort 1/9, o, w in decreasing order.
w, 1/9, o
Let m = -20 - -29. Let d = -16 + 2. Let a be 3/m - d/(-24). Sort 3, -1/7, a.
a, -1/7, 3
Suppose 5*q + 29 = -4*d, -17 - 1 = 3*q + 3*d. Let n(r) = -r**3. Let b be n(1). Sort 0, b, q.
q, b, 0
Suppose 3*s - s = -2. Let c = -2 - s. Suppose 16 = k - 4*f, 8 + 8 = -4*f. Put 2/5, k, c in decreasing order.
2/5, k, c
Let m(j) = j - 2. Let c be m(-2). Suppose r - 2 = 3*r. Suppose -5*l = -14 + 4. Sort l, r, c in decreasing order.
l, r, c
Let a = 233/6 + -39. Put 0.2, -3, a in decreasing order.
0.2, a, -3
Suppose -4*n + 9*n + b - 15 = 0, 4*n - 36 = 4*b. Let c be ((n/6)/(-1))/2. Let p = 847 - 851. Sort -0.4, c, p in decreasing order.
c, -0.4, p
Suppose 5*g = -5*m - 13 - 7, 2*g = 3*m + 7. Let r(l) = -l - 1. Let p be r(-6). Sort p, g, -5 in descending order.
p, g, -5
Let w(h) be the first derivative of -2*h + 1 + 1/3*h**3 - 1/2*h**2. Let m be w(0). Put 2, m, 5 in descending order.
5, 2, m
Let l be ((-4)/3)/((-1)/3). Sort l, 1, 8 in descending order.
8, l, 1
Let g = 2 - 0. Let w = -0.0564 + -0.4436. Put w, g, 2/5 in decreasing order.
g, 2/5, w
Let l be 81/(-6) + 2/4. Let q = l + 8. Let b = 0.2 + 0.1. Sort b, q, -1.
q, -1, b
Let q be 26/(-22) + (-44)/(-242). Put q, 6, -5 in descending order.
6, q, -5
Let j = 5 + -1. Let p be j*(-2 - 2/(-8)). Let s be 8/28 - 2/p. Put s, -5/2, 5 in ascending order.
-5/2, s, 5
Suppose 3*c = -3*f - 3, -4*f + 3*c = -0*c - 17. Put f, 1, -25 in ascending order.
-25, 1, f
Let u = 483/1195 + -1/239. Put 5, 6, u in decreasing order.
6, 5, u
Let i = 17 + -23. Sort -4, i, 2/3 in increasing order.
i, -4, 2/3
Suppose 5*z = 4*k - 16, -k - 2*k - 4*z + 12 = 0. Sort 2, -1, k.
-1, 2, k
Let v = 8 + -3. Suppose j - v*j = 3*t + 20, -24 = 4*t + 4*j. Suppose -2*h - 11 = -13. Put -1, t, h in decreasing order.
h, -1, t
Let y = -4 - 0. Let z(c) = c**3 - 7*c**2 + 7*c - 8. Let l be z(6). Let h = l + -1. Sort 2, y, h.
y, h, 2
Let i(x) = -2*x - 1. Let o(h) = h. Let c(t) = i(t) + 3*o(t). Let n be c(-4). Put n, -0.1, 0.2 in ascending order.
n, -0.1, 0.2
Let p = -4 - 1. Let g be (p - -4)/(2/(-4)). Put 1, -1, g in descending order.
g, 1, -1
Suppose -3 = 3*c + 3. Sort -5, c, 2 in descending order.
2, c, -5
Let z be (7 + -4)/((-12)/(-32)). Sort 0, z, 1 in descending order.
z, 1, 0
Suppose 0 = 5*q - 45 + 50. Sort -0.5, 1.4, q.
q, -0.5, 1.4
Let d(k) = -k + 12. Suppose 5*u = 20, -2*i - 5*u - 16 = -5*i. Let a be d(i). Sort -2, a, -4.
-4, -2, a
Let f = -48 - -42.6. Let q = f - -1.4. Put 0.3, q, 2/7 in descending order.
0.3, 2/7, q
Suppose -a - 7 = -11. Put -2, 5, a in increasing order.
-2, a, 5
Suppose 0 = 4*p - 2*p. Suppose 3*h = 3*k - 18, p = 4*k - k + h - 14. Suppose -4 = -3*l + k. Sort l, -2, -3 in decreasing order.
l, -2, -3
Let s = -17/2 - -161/18. Sort 5, -0.04, s in descending order.
5, s, -0.04
Let a = -18.6 + -2.4. Put -4, 4, a in descending order.
4, -4, a
Let o = 3 + -2. Let p(f) = f**2 - 7*f - 1. Let j be p(5). Let k = -11 - j. Sort 5, o, k.
k, o, 5
Let f(d) = -5*d**2. Let a be f(-1). Sort 1, 0, a.
a, 0, 1
Let s be (11/(-4) + 1)*10/(-7). Sort -0.5, 3, s.
-0.5, s, 3
Let q = -17/7 + 19/7. Let k be 0 + -1 + (-4)/(-1). Sort q, k, -1/10 in descending order.
k, q, -1/10
Let o = 6 - 10. Let b = -3 + 2. Let r be (-1 - 0 - b)/(-1). Put o, -1, r in ascending order.
o, -1, r
Suppose -7 = p - c, 0 = 8*p - 13*p + 2*c - 20. Sort -3, 1, 0, p in decreasing order.
1, 0, p, -3
Let k be 2 + 1 + 0 + -5. Sort -1, -5, k in descending order.
-1, k, -5
Let x = -3.13 - -1.13. Sort -9, 5, x.
-9, x, 5
Suppose -j = 2*j - 3. Let a be (j/7)/((-1)/(-2)). Put 1/5, a, -1 in decreasing order.
a, 1/5, -1
Let w = 0.055 - -1.905. Let f = w - -0.04. Let c = -3.3 - -3. Sort f, -2, c in increasing order.
-2, c, f
Let c = -0.01 - -2.01. Let r = 10/3 - 8/3. Sort r, c, 0 in ascending order.
0, r, c
Let l be 2/6 + 2/(-6). Suppose -5*a = -1 - 4. Let j be a - 6/(-9)*-3. Put l, -3, j in decreasing order.
l, j, -3
Let y = 0.12 + -0.82. Let z = y - 0.3. Sort z, 0.3, 4 in decreasing order.
4, 0.3, z
Let u be (3/18)/(-1) + 0. Let f be 2 + -1 - 3/2. Put