t b(s) = s**2 + 6*s + 4. Let z be b(-4). Let l be ((2 - 2) + 1)*-2. Let d be (5/20)/(l/(-8)). Sort 0, z, d.
z, 0, d
Suppose 2 + 10 = 3*p. Suppose 2*n = p*n. Sort -1, n, 4 in decreasing order.
4, n, -1
Suppose -4 + 8 = -q, 2*z = 5*q + 2. Sort -1, z, -3, 0 in ascending order.
z, -3, -1, 0
Let q = 18 - 7. Suppose q = 4*r - 3*s, -s = -3*s + 6. Suppose -r*a - 2 = -2*x, 2*a + 8 = x - 2*x. Sort 2, a, 5 in ascending order.
a, 2, 5
Let x be (-4)/(-10) - (-12)/(-55). Let f = 0.8 + -1. Let h = 0.6 + f. Put h, -0.2, x in descending order.
h, x, -0.2
Let p = -0.84 - -0.64. Put -3, 0.06, p, -0.5 in increasing order.
-3, -0.5, p, 0.06
Suppose -5 = -4*k + 3*k. Suppose 6*g + g = 0. Suppose -3*h + 9 = -0*h. Put g, h, k in descending order.
k, h, g
Let u(w) = 5*w**2 - 2*w + 13. Let k(l) = l**2 - l + 1. Let y(x) = 6*k(x) - u(x). Let q be (2 - 0)/(2/5). Let h be y(q). Put -5, 1, h in decreasing order.
1, h, -5
Let c(g) = 3*g. Suppose 0*v + 2*v + 2 = 0. Let i be c(v). Sort 5, 2, i.
i, 2, 5
Let q be 2/6*(4 - (-7)/(-7)). Let c = 0.06 - 4.06. Put -0.3, q, c in ascending order.
c, -0.3, q
Let q be 1/12*-4*0. Let t = -30 + 20. Let h be (t/(-4))/(2/4). Sort 1, h, q in ascending order.
q, 1, h
Suppose 5*f + 1 = 26. Let n be (18/(-15))/((-6)/(-20)). Suppose -4*c - 2 = -3*l, 3*l - 7*l = 4*c - 12. Put f, c, n in ascending order.
n, c, f
Let y = 13 - 7. Let m = y - 7. Sort m, 5, 0 in descending order.
5, 0, m
Let z(i) = -i**3 + 6*i**2 + 6*i + 9. Let p be z(7). Sort -1, p, 5 in descending order.
5, p, -1
Let r = -5 + 5. Let c = 632 + -628.09. Let p = c + 0.09. Sort -4, r, p.
-4, r, p
Let v = 0.5 + -1.5. Let f = 1.4 + v. Sort f, 1, -2.
-2, f, 1
Suppose 3*a + 0*j - 9 = 5*j, -5*a - 3*j + 15 = 0. Let w(t) = -t - 5. Let b be w(-6). Put b, a, -5 in descending order.
a, b, -5
Suppose -7 = 2*o - 5*k + 7, -4*o - 3*k = 2. Put 1, o, 5 in descending order.
5, 1, o
Let g = 4 - 10. Let i be (-8)/g - (-2)/3. Suppose -j + 0 = i. Sort j, 4, -5.
-5, j, 4
Let o = 27 + -30. Sort o, 3/7, 0.3.
o, 0.3, 3/7
Suppose -2*g - 4*s = 0, 2*g + s = -2*g - 7. Put 0.2, g, -3/5, 3 in ascending order.
g, -3/5, 0.2, 3
Let d = 2.6 + -0.6. Let r = -3 + d. Put -0.4, 2, r in descending order.
2, -0.4, r
Let q = 1.62 + 4.44. Let h = 6 - q. Let a = h + -1.94. Sort a, 3/7, 5 in descending order.
5, 3/7, a
Let j be 2/2*1/(-1). Let f(z) = z**3 + 6*z**2 + 7. Let d(r) = -r**2 - r - 1. Let h(y) = -d(y) + f(y). Let c be h(-7). Sort 2, c, j in increasing order.
j, c, 2
Suppose 1 = z, 15 = -3*c + 5*z - 2. Suppose 4*k + 10 = 2*r, 5*k = 6*r - r - 20. Put 0, c, k in increasing order.
c, k, 0
Let u = 25 - 21. Let w(l) = -l**2 + 7*l - 8. Let o be w(6). Sort -3, o, u in increasing order.
-3, o, u
Let q = 7.7 - 3.7. Let c = -40 + 7. Let g = c + 67/2. Sort 5, g, q.
g, q, 5
Let x = 10 + -10. Suppose 4*p + 0*p - 20 = x. Put p, 2/7, -3/7 in ascending order.
-3/7, 2/7, p
Let k = -61 + 57. Sort k, 2, -0.1, 11.
k, -0.1, 2, 11
Suppose -3*s = -4*s + 1. Let q = 0.07 + -3.07. Sort q, 1/2, s.
q, 1/2, s
Let j = 2 - 5. Let q be 8/(-16)*(5 + 1). Let w = q + -2. Sort j, -4, w in descending order.
j, -4, w
Suppose r = 4*r - 5*u - 35, 3*u - 35 = -r. Let q be (r/2)/(2 + 0). Suppose 5 + 0 = -q*k. Sort -4, k, 2/9.
-4, k, 2/9
Let p be (-3)/(-2)*52/3. Suppose 0 = 4*w + y + 29, 3*w - 2*w = -4*y - p. Let d(i) = i + 8. Let x be d(w). Put -1, 4, x in ascending order.
-1, x, 4
Let c(j) = j**3 - 5*j**2 + 6*j - 5. Let l be c(4). Let w = l - 1. Suppose -3 = n + w*n. Sort -6, -4, n in increasing order.
-6, -4, n
Suppose -9 = 3*j, 6*o - 13 = 2*o - j. Suppose v + 0 = -o. Let f = -4 + 3. Sort f, v, 3 in descending order.
3, f, v
Let m be (-27)/1284*(-184)/14. Let o = 1/107 + m. Sort -4, 0.3, o in decreasing order.
0.3, o, -4
Let r = -0.27 + -0.03. Let l = r + -0.2. Let i = -8 - -7. Sort l, 2, i.
i, l, 2
Suppose 3*v - 6 = -0*v. Let n = -8 + v. Let j = n + 5. Put j, 1, -2 in decreasing order.
1, j, -2
Let b(x) = -x**3 - 7*x**2 - 6*x + 7. Let l be b(-6). Suppose -7*s - 8 = 2*v - 2*s, -5*v = -s - l. Sort -4, v, 5.
-4, v, 5
Let j be ((-6)/(-3) + -1)*2. Let h be 3/(-2) - j/(-2). Let u be (-1128)/3995 + (6/(-10) - -1). Put h, -5, u in descending order.
u, h, -5
Let o(n) = -n**2 + 6*n - 4. Let i be o(6). Suppose -4*u + 3*x = u, -5*x = -u. Suppose u = -4*k - 1 - 3. Put k, i, -2 in descending order.
k, -2, i
Suppose -2*d - 122 = 5*j, 0 = -5*d - 0*j + 5*j - 235. Let u be 2/(-10) + d/(-105). Sort u, 5, 0.
0, u, 5
Let w be 7 - 4 - (-167)/3. Let f = 58 - w. Put f, -2, 0 in descending order.
0, f, -2
Let u(x) = x**3 - 6*x**2 + 7*x. Let c be u(4). Let n be 2 - 1/1*-2. Sort c, n, 2 in increasing order.
c, 2, n
Let c be 1/(14/6 - 2). Suppose 3*j + 3 = -3*a, 0*a - c*a - 5 = j. Put j, 0, 5 in increasing order.
0, j, 5
Let w be (-3)/2*(-1)/((-3)/(-2)). Suppose -9 = 2*k + k. Sort w, 5, k in descending order.
5, w, k
Let q(x) = 3*x + 1. Let p be q(1). Let a = -8 - -7.7. Put a, p, 2 in descending order.
p, 2, a
Let k(t) = 11*t. Let u be k(1). Suppose 4*n - 4*w - 3 = 1, 3*n + 4*w + u = 0. Sort 4, -3, n in descending order.
4, n, -3
Let u be (-6 - -6)*(-1)/2. Suppose u = -g + 5*g + 8. Sort 1, -1, g in descending order.
1, -1, g
Suppose p + 5 = -5*k, -3*p - 4 = 4*k - 0*k. Let n = -5 + 3. Sort -3, n, k in descending order.
k, n, -3
Let d = -0.01 - -5.01. Let q = -6 + 6.3. Put -3, q, d in increasing order.
-3, q, d
Let w be 4/(-3) + 0 - -2. Let o = w - 1/3. Sort o, 2, 3 in ascending order.
o, 2, 3
Suppose -5*h + h = -w + 16, 5*w - 29 = 3*h. Let b(j) be the third derivative of j**6/120 - j**5/12 + j**4/12 + 2*j**3/3 - j**2. Let o be b(w). Sort 4, o, 3.
o, 3, 4
Suppose -2*a - 6 = y, 4*y + 9*a = 4*a - 9. Suppose 3*u - y*u = 0. Let o be 1 - (1 - 2)*1. Sort o, 4, u in descending order.
4, o, u
Let l be 1 - -1 - (22 + -23). Let c = 1 + -1. Put l, -5, c in increasing order.
-5, c, l
Let f(i) = -i**3 + i**2. Let a be f(-1). Suppose 0 = -3*b - a*b. Put b, -0.2, -3 in increasing order.
-3, -0.2, b
Let o = 4.9 - 0.9. Let g = 4 - 3.98. Let s = g + -0.52. Sort o, -4, s in decreasing order.
o, s, -4
Suppose 0 = -5*v + 4*t - 10, -13 = v - 3*t. Put 5, v, -1 in ascending order.
-1, v, 5
Let x = -31 - -34. Put -8, x, -3 in increasing order.
-8, -3, x
Let b be ((-2)/4)/(5 - 2). Let v = -0.217 + -0.283. Sort b, -1/5, v in descending order.
b, -1/5, v
Suppose 0 = -4*t + 18 + 10. Let y be t*1 - (-1 + 3). Suppose -5*n - 4*u = -4, 1 = n - 4*u + y. Sort -1, n, 3 in ascending order.
-1, n, 3
Let t = 17.5 - 12.5. Sort 2/7, 1/36, t, -0.1 in ascending order.
-0.1, 1/36, 2/7, t
Let i = -18.64 - 0.36. Let o = i + 19.3. Sort 4, o, -0.4.
-0.4, o, 4
Let x be (-1 + 0 + 1)*(-8 - -9). Let l = -9 + 13. Put x, -5, l in descending order.
l, x, -5
Let q(u) = -u**3 + 5*u**2 - u - 3. Let r be q(4). Let b = 6 - r. Sort 2, b, -2 in descending order.
2, -2, b
Let z be 611/(-117) + 2/9. Sort z, 2, -0.3, 0 in decreasing order.
2, 0, -0.3, z
Let c = 2 - 7. Put -2, 2, c in decreasing order.
2, -2, c
Let j = 181/440 - 1/88. Let q = 2 + 2. Let v = -1 - -1.3. Sort q, j, v in descending order.
q, j, v
Let v = -6.795 + -0.005. Put 3/7, 5, v, -1 in ascending order.
v, -1, 3/7, 5
Let o = -1.67 + 1.57. Put 0.2, 1/4, o, 2 in descending order.
2, 1/4, 0.2, o
Suppose 6*n = 3*n. Suppose 3*h = -8 - 4. Let r = h + 2. Put r, n, 1 in decreasing order.
1, n, r
Let x(a) = -a**2 - 2*a - 3. Let n be x(-2). Let p be (-3)/(-3)*(0 + 1). Let q be (-5)/(-2)*p/15. Sort q, n, 3.
n, q, 3
Let h be 0/(1/(-1))*1. Let p(r) = 2*r**2 + 7*r - 12. Let m be p(-5). Sort h, m, 2 in decreasing order.
m, 2, h
Suppose -3*t - 20 = 2*t. Let v = 2 - t. Let w be 30/5*4/v. Sort -2, -3, w in increasing order.
-3, -2, w
Let r(f) = 4*f**2 + f - 1. Let m be r(1). Suppose 3*g - 4*a - 4 = 0, g = m*a - 2*a + 2. Sort -1, -5, g in decreasing order.
g, -1, -5
Let v = 16 + -15.63. Let u = -0.07 + v. Sort -2, -0.4, u in increasing order.
-2, -0.4, u
Suppose -76 - 204 = -4*t. Let a be 12/(-30) + 68/t. Let l = 0 + 0. Sort l, -2, a in decreasing order.
a, l, -2
Let d = 15.78 + -16. Let c = d + 0.17. Sort -2/9, c, 1.
-2/9, c, 1
Suppose t = a - 3, 4*t + 0*t + 12 = -3*a. Suppose 3*p + a*p = -4*h + 19, -3*h + 17 = 5*p. Sort p, 3, 0.2 in decreasing order.
3, p, 0.2
Let c = -0.314 + 0.004. Let h = 0.2 - 0.21. Let j = h - c. Put j, 2/11, 0.2 in increasing order.
2/11, 0.2, j
Suppose g + 1 - 3 = 0. Suppose 4*y