
Let c(f) = -4*f**3 - f**2 - 3*f - 3. Let p be c(-1). Let l = 0 + -4. Let i be 0/2 + (-2)/2. Put l, i, p in descending order.
p, i, l
Let v = 1.17 - -9.53. Let j = -11 + v. Put 2/7, j, -2/3 in ascending order.
-2/3, j, 2/7
Let l = 0.1 + 0.9. Let d = 7.2 + -7.4. Sort -1, l, d in ascending order.
-1, d, l
Suppose -d - 3*t + 20 = -0*t, -5*t = 5*d - 50. Let a = -0.3 + 0.7. Put -3, a, d in increasing order.
-3, a, d
Let a = -478/585 - -2/117. Sort -0.2, a, 1 in ascending order.
a, -0.2, 1
Let i = -184 - -4598/25. Sort -5, 2, i in descending order.
2, i, -5
Let l be (14 + 30/(-5))*(-2)/(-4). Sort l, -10, 2.
-10, 2, l
Let d = 11.6 - 11. Suppose 3*q - 2*y = 1 - 17, y + 6 = -2*q. Sort d, q, 0.4 in ascending order.
q, 0.4, d
Let l be 1 + 3/3 - -3. Suppose -4*h + l*h = 0. Let y be 3*1 + h/(-1). Put 1, 0, y in increasing order.
0, 1, y
Let m = 17 + -13. Suppose -4*x - 10 = -2*q, q + 30 = -x - 4*q. Sort 2, x, m in descending order.
m, 2, x
Suppose 3*s - 3 = 3*h + 3, 5*s - h + 6 = 0. Let r = -2 - -4. Suppose 5*l - 3 = 22, -5*l + 35 = r*i. Put s, i, -4 in descending order.
i, s, -4
Suppose 3*c - 16 = -i, 8*i - 20 = 3*i. Let r(w) = 3*w + 5 + 0*w - c*w + 6. Let b be r(8). Put 0, 5, b in descending order.
5, b, 0
Let k = 23/99 - 5/11. Let m be (-4)/10 - (-238)/(-180). Let g = k - m. Put g, -2/5, 0.5 in increasing order.
-2/5, 0.5, g
Let c = 5.9 - 0.9. Let p = c + -1. Let f = -1.02 + 0.02. Sort p, f, 3/8 in descending order.
p, 3/8, f
Let l = -10 + 7. Suppose -3 = -3*r + 4*r. Let x be 0 + -2 - (-9 - r). Sort 3, l, x in ascending order.
l, 3, x
Suppose -3*w - 6 = -2*w - 3*z, -2 = 3*w - 5*z. Let f = 11 - w. Let j be (-22)/f + 4/10. Sort j, 0, -5 in ascending order.
-5, j, 0
Suppose 0 = 3*h - 2*h - 3. Suppose -5*j + 3*d = 10, j - 4*d = -h + 1. Let i be (4/6)/(6/(-9)). Sort -4, i, j in ascending order.
-4, j, i
Suppose 2 - 3 = -4*n + l, l + 1 = n. Put 3, 1, -2, n in decreasing order.
3, 1, n, -2
Let l be ((-7)/14)/(2/(-40)). Let o be (-28)/(-6) - l/15. Sort -4, -5, o.
-5, -4, o
Suppose -3*g - 10 = -8*g. Sort 3, g, 0 in descending order.
3, g, 0
Let n be 2/4*6/(-9)*-6. Let x = -5 - -1. Sort x, n, 3.
x, n, 3
Suppose 2*x = 2*k + 12, -5*k - 5 = 20. Sort x, -1, -3 in increasing order.
-3, -1, x
Suppose 9*a - 7 = -d + 4*a, 2*d + 2 = -2*a. Let q(f) = f**2 - f + 4. Let r be q(0). Sort -1, r, d in descending order.
r, -1, d
Suppose -3*s - 2*o - 7 = 0, 4*o = 2 + 2. Put s, -1/10, -1/3 in descending order.
-1/10, -1/3, s
Suppose -6*i + 3*i = 0. Suppose -2*z + i = 2. Let r be (-1)/2 + 2 + z. Sort -0.5, r, -0.1 in increasing order.
-0.5, -0.1, r
Let g = -0.03 + 0.33. Sort g, 0.2, 13/2.
0.2, g, 13/2
Let j = 12.6 + -16.6. Let y(q) = -q + 2. Let s be y(3). Let t be -1*2 + (-1 - s). Put 0.1, t, j in descending order.
0.1, t, j
Let d = -11 - -14. Let a = 2 + d. Sort 0.4, -4, a.
-4, 0.4, a
Let b(y) = y**3 - 6*y**2 - y + 6. Let t be b(6). Suppose 0 = 4*r - 12 + 4. Put t, -5, r in decreasing order.
r, t, -5
Let q = 3.1 - -4.9. Let u = -0.023 - -7.723. Let y = u - q. Put y, -1, 0.4 in decreasing order.
0.4, y, -1
Let b = 89 + -97. Put 2, -1, b in ascending order.
b, -1, 2
Let a(x) be the second derivative of 5*x**3/6 - x**2 + x. Let t be a(3). Suppose 3*r + 4*f - 26 = 0, 2*r - 3*f = r - t. Sort r, 4, 3 in descending order.
4, 3, r
Let g = -5/22 + -19/110. Sort -4, 0.1, g in increasing order.
-4, g, 0.1
Suppose 6*s + 5 = 5*s. Let q = 0.084 + -1.084. Let c = -2/53 + 128/583. Sort s, q, c in decreasing order.
c, q, s
Let q = -1.7 + 2. Let o = -517/6 - -86. Let i = -8 + 7.5. Sort o, i, q in ascending order.
i, o, q
Suppose 5*c = -7*c + 4*c. Sort 7, 4, 5, c in descending order.
7, 5, 4, c
Let r = -3 - 2. Put 0, r, -3 in decreasing order.
0, -3, r
Let c = -1199/7 + 171. Let m = 1524/5 + -305. Sort c, -3, m in decreasing order.
m, c, -3
Let o(g) = g**3 + 3*g**2 + 2*g - 1. Let s be o(-2). Suppose -5*a - 3 = -4*a. Suppose -2*k + 7 = -3*c - 0*c, 3*c + 11 = 4*k. Put s, a, k in descending order.
k, s, a
Let y = 88 + -86. Put 0.02, y, -2 in ascending order.
-2, 0.02, y
Suppose -3*x + 0 = 3. Let d be (-2 + 2)*(-1)/2. Suppose 2*f - 4 = -d*f. Sort -5, x, f in decreasing order.
f, x, -5
Suppose 5*h - 13 = -3*u, -u = -h + 9 - 0. Let v be -1 - u/6*6. Sort -2, -3, v.
-3, -2, v
Let s(u) = u**3 + 6*u**2 + u + 2. Suppose 2*c + 5*n + 9 = -2*c, -5*n + 15 = 0. Let a be s(c). Suppose -3*j + 15 = 3. Sort a, j, 5 in decreasing order.
5, j, a
Let o be 5/(-100) + 4/(-20). Sort -1.9, -0.3, o, 3 in increasing order.
-1.9, -0.3, o, 3
Suppose -2*j + 38 = 2*j + m, -3*m - 12 = -2*j. Let t be 22/(-6) - (-6)/j. Put t, -2, 5 in descending order.
5, -2, t
Let u be (-3)/1 + 4 + 0. Sort -20, u, -2.
-20, -2, u
Let w = 53 - 52.74. Sort 0.2, 5, -0.4, w in ascending order.
-0.4, 0.2, w, 5
Let c(h) = h. Let g(l) = l**2 - 3*l + 7. Let q(r) = -5*c(r) + g(r). Let n(y) = -y + 16. Let f be n(10). Let p be q(f). Put -4, -2, p in descending order.
-2, -4, p
Suppose 0 = 2*s - 2*p + 3*p + 6, 5*p = 2*s + 18. Sort 2, -3, s in ascending order.
s, -3, 2
Let f be (-596)/9 + (-4)/(-18). Let x be 16/(-56) + f/14. Sort x, 3, 1.
x, 1, 3
Let v(a) = a**2 + a + 4. Let k be v(0). Suppose -5*w - 43 = -18. Let n(m) = -m + 8. Let r be n(6). Put r, w, k in decreasing order.
k, r, w
Let m be (14 - 10)*2/4. Put -1, -4, m in ascending order.
-4, -1, m
Let l = -4.3 + 3.9. Put -3/5, l, -2/3 in descending order.
l, -3/5, -2/3
Let b = 120.92 + -118. Let i = b + 0.08. Put 0, -4, i in ascending order.
-4, 0, i
Let r be (-10)/4*(-42)/(-35). Put r, 5, -2, 3 in increasing order.
r, -2, 3, 5
Let s = -2 - -1. Let c = 98 - 92. Put 2, s, c in decreasing order.
c, 2, s
Let r = -1.6 - -2.6. Put -3/5, r, -0.5 in ascending order.
-3/5, -0.5, r
Let q(y) = y + 34. Let d be q(-35). Let c(x) = -x + 7. Let j be c(6). Put d, -3, j in descending order.
j, d, -3
Let q = 19 + -16. Put q, -0.3, -2/7 in descending order.
q, -2/7, -0.3
Let g = -67/192 - -1/64. Suppose 0*m = 2*m + y - 5, 0 = 4*y + 4. Put -0.5, m, g in ascending order.
-0.5, g, m
Suppose 15 = 4*o - 1. Suppose 0 = -4*q + 5*x + 6, -o*q - 3*x = q - 26. Sort 3, q, -4.
-4, 3, q
Let g = -29 + 37.3. Let w = g - 8. Sort 0.4, w, -2.
-2, w, 0.4
Suppose -82 = -3*f - 73. Sort 5, -3, f in descending order.
5, f, -3
Suppose 2*t + 0*t = 0. Let b be (-1)/(((-4)/6)/((-40)/(-12))). Sort t, 8, b.
t, b, 8
Let h = -327007/3795 - -3/2530. Let f = h - -86. Sort 3, f, -1 in decreasing order.
3, f, -1
Let w be (68/(-10))/2 + (-24)/(-60). Sort 2, -1, w, 4 in descending order.
4, 2, -1, w
Suppose -4*s - 3*c - 12 - 13 = 0, -3*s - 5*c = 27. Put s, 3, 4 in increasing order.
s, 3, 4
Suppose -32 = -6*k + 3*k + 4*a, -1 = k + a. Let h be (k + -1)/(3/4). Let g(z) = 2*z - 13. Let d be g(5). Put 3, d, h in increasing order.
d, 3, h
Let d be 1/((0 - 0) + -1). Sort -5, -2, d in decreasing order.
d, -2, -5
Suppose 7*u - 2*u + 5*b = 10, -3*u = -b - 14. Suppose 13 = u*h - 3. Put h, 1, -6 in decreasing order.
h, 1, -6
Let n = 0.074 + -0.474. Sort n, -0.1, -1, 0.2 in decreasing order.
0.2, -0.1, n, -1
Let u = 15 - 19. Suppose 5*g = 2*w + 9, 0 = -5*g + 6*w - w. Suppose -g*i + 1 = -4*i. Put u, i, 5 in increasing order.
u, i, 5
Let z be (1 - 2)*-1*3. Let q be (-2)/3*42/7. Let k be 8/q + (0 - 2). Sort k, z, 5/2.
k, 5/2, z
Let v = 1.4 + -1. Let m = 2.3 + 8.7. Let y = 11.5 - m. Sort y, v, 2 in decreasing order.
2, y, v
Let z = 24.5 + -25. Sort 2/5, z, -5 in ascending order.
-5, z, 2/5
Let v(g) = -g**2 - 5*g + 1. Let d be v(-5). Put d, 3, 0 in ascending order.
0, d, 3
Let h be 0 + 1 - (-1)/(-1). Let n(b) = -b**2 + b + 1. Let z be n(h). Suppose -a + 4*a = -12. Put -1, a, z in decreasing order.
z, -1, a
Suppose -10 = -0*d + 5*d. Sort 2, 0, d in descending order.
2, 0, d
Let t be (0 - -4)/(-4)*1. Let m be (3 - 0) + -9 - t. Sort 1, -3, m.
m, -3, 1
Let z = 0.1 - 0. Let d = z - 0.5. Suppose -4*w + 3*b - 3 = -3*w, 0 = -2*w + 3*b - 6. Sort w, d, -0.3 in descending order.
-0.3, d, w
Suppose 4*z + 4 + 4 = 0. Let s = z + 6. Suppose 0 = -3*p + x, s*p - 5*p + 5 = -2*x. Sort -3/2, 0, p.
-3/2, p, 0
Suppose -m - 2 + 0 = 0. Sort m, 2, 3 in decreasing order.
3, 2, m
Suppose 4*j + 7*i - 2 = 2*i, -4*i = -8. Sort -4, j, -27 in decreasing order.
j, -4, -27
Let f(i) = -2*i**2 - 1. Let z be f(-1). Let a = 9 + z. Suppose 0 = -4*c + 4*s - 4, 2*s - 4*s - a = 0. Sort -3, c, 3 in descending order.
3, 