0
Suppose -2*d + 2 = -6. Suppose -h = d*h - 15. Suppose 0 = l + h*l. Put l, 5, -0.3 in descending order.
5, l, -0.3
Let s = -4.03 + 2.03. Let i = -0.1 + -0.4. Put s, i, 4 in decreasing order.
4, i, s
Let j be (-1 + 3)*27/(-18). Let t = 22 - 26.6. Let g = t - 0.4. Sort j, g, 2 in decreasing order.
2, j, g
Let i = -20 + 18. Put i, -17, 2, 3 in ascending order.
-17, i, 2, 3
Let s = -129.9 + 131. Sort 2/11, s, -4/7 in decreasing order.
s, 2/11, -4/7
Let t(c) = -c**2 + 5*c - 3. Let u be t(3). Let s(d) = d + 8. Let f be s(-7). Put u, 4, f in increasing order.
f, u, 4
Let u = -1179/5 - -235. Put -0.3, u, -4, -5 in decreasing order.
-0.3, u, -4, -5
Suppose 3*x = 11*x - 32. Sort -3, x, -1.
-3, -1, x
Let j be 1/3 + (-39)/9. Suppose 0 = -3*s + v + 7, 5*s - 5 = 2*s - v. Suppose 1 = p + s. Put p, 1, j in ascending order.
j, p, 1
Let h = -25.3 + 25. Let j = -1.4 - -1.6. Sort h, -4/9, j in ascending order.
-4/9, h, j
Suppose 2*q - 4*q = -10. Let r = -10 + 15. Suppose -v - 4 = -r*v. Sort -4, v, q in ascending order.
-4, v, q
Let j = 1 - 2. Suppose 2*r + 22 = -5*l + 3*r, 0 = l + 4*r - 4. Let i(g) = -g**2 - 5*g - 2. Let p be i(l). Sort p, 5, j in increasing order.
j, p, 5
Let b(r) = r**2 - 5. Let w be b(0). Suppose -2*f - 12 = -6*f. Put w, 4, f in descending order.
4, f, w
Let m = 0.2 + 0.8. Let i = 2 + -2.8. Let w = 1 + i. Sort w, 2, m.
w, m, 2
Let f(r) = r**3 + 8*r**2 + 7*r - 1. Let p be f(-7). Let h(j) be the second derivative of j**5/4 + j**4/12 + j**3/3 + j**2/2 - 2*j. Let y be h(p). Sort 3, y, -3.
y, -3, 3
Let g = 0.13 - 0.1. Let i = g + -0.33. Let z be (2/(-3))/((-10)/3). Sort 2, i, z.
i, z, 2
Let i be 6/(-8)*(-1 - 1). Let b(w) = w**3 + w + 5. Let x be b(0). Let z = x + -2. Sort i, z, -0.4 in increasing order.
-0.4, i, z
Suppose -t = v - 6*t + 15, 2*t = 4*v + 6. Let z = 0.3 - 0.21. Let g = -0.01 - z. Sort g, v, 0.3 in descending order.
0.3, v, g
Let a(u) = u**3 + 3*u**2 + 3. Let g be a(-3). Put g, -2, 0 in decreasing order.
g, 0, -2
Let y(b) = b**3 - 3*b**2 - b - 2. Let c be y(3). Sort -7, -1/2, c in descending order.
-1/2, c, -7
Let a = 2 + -8. Let u(l) = l + 8. Let t be u(a). Suppose 0 = 4*w + t*p + 16, 5 = -5*w + 4*p + p. Sort 1, w, -4 in descending order.
1, w, -4
Let y(k) = k + 4. Let h be y(0). Let f be h/10 - (-24)/(-135). Let d = -0.4 + 2.4. Sort 5, f, d in decreasing order.
5, d, f
Let k = 11 + -6. Let w = 9 - k. Sort -5, w, -2/9 in descending order.
w, -2/9, -5
Let x be (33/(-22))/((-2)/(-4)). Let q be x*(0 + (0 - -3)). Sort q, -5, -4.
q, -5, -4
Suppose -2*o = 2 - 6. Suppose -o*t - t + 12 = 0. Put 3, t, 5 in increasing order.
3, t, 5
Let k(u) = 14*u - 80. Let s(f) = -9*f + 53. Let w(q) = 5*k(q) + 8*s(q). Let a be w(13). Sort -5, 5, a in descending order.
5, a, -5
Let y be (5/(-5*4))/(-1). Sort 1/3, -1/3, y, -1/7 in descending order.
1/3, y, -1/7, -1/3
Let h be -2 + 3 - (-3 + 3). Suppose k - 4 = 0, -2*j + 6*k - 2*k = 12. Suppose -t - 5 + 1 = 4*x, 5 = -5*x - t. Sort x, j, h in increasing order.
x, h, j
Let p = 0.11 - 0.61. Let q = -3.6 - -4. Put p, -5, q in decreasing order.
q, p, -5
Suppose 2*k + 3 = x, 11 = 3*x + 4*k - 8. Suppose x = w + 1. Put w, 0, 1 in descending order.
w, 1, 0
Let r = -15 - -21. Let g = r + -6.5. Put 2/7, g, 5 in increasing order.
g, 2/7, 5
Let f = 0.8 - 7.8. Let y = f + 11. Let i = y - 6. Sort 0, i, 2 in decreasing order.
2, 0, i
Let t be 2/(-3) - 7/3. Let i(r) = -1 + 0 + r - 5*r**2 + 1. Let l be i(1). Sort l, t, 5.
l, t, 5
Let n = -3 + 3. Let a be (1 - 1)/(2/(-2)). Let q = n - a. Sort -3, q, 4 in descending order.
4, q, -3
Let m(c) = c - 12. Let n be m(11). Suppose 3*b = -4*a - 0*b - 3, 4*b = -2*a + 6. Sort -4, a, n in decreasing order.
n, a, -4
Let d(k) = k**3 + 9*k**2 - k - 4. Let t be d(-9). Suppose 2*z + 2 = 6. Suppose 6 = t*p - z*p. Sort 0, 3, p in increasing order.
0, p, 3
Suppose -12*l - 108 + 36 = 0. Put -3, -2, l, 1 in decreasing order.
1, -2, -3, l
Let c = 6 + -4. Suppose -3*z - 2*m = 2*z + 10, 4 = -c*z - 3*m. Let s(j) = -2*j**2 + 2. Let y be s(1). Sort z, y, -3 in descending order.
y, z, -3
Suppose h + 2*g - 22 = -2*g, 0 = -2*h + 4*g - 4. Let v = h - 11. Sort 4, 2, v in ascending order.
v, 2, 4
Let p be (3/(-6))/((-2)/(-8)). Let a be (1/p)/(9/12). Let d = 1 + a. Sort d, -5, 0.3 in increasing order.
-5, 0.3, d
Let a = -0.6 + 0.62. Let j = 0.98 + a. Sort -1, 2/7, j.
-1, 2/7, j
Let q = -2 + 3. Let z(o) = o + 1. Let x be z(q). Sort 0.3, x, 2/7.
2/7, 0.3, x
Let o = 1.2 + -0.7. Let x = -0.4 + o. Let q = -0.5 + 1. Put q, -2/7, x in increasing order.
-2/7, x, q
Let w = 0.2 - 0.2. Let i = 4.1 - 4. Let x = i - w. Put x, -1/2, 4 in ascending order.
-1/2, x, 4
Let n = 0.4 + 0. Let c be ((-2)/(-3))/1 + (-117)/(-27). Sort c, n, 0 in decreasing order.
c, n, 0
Suppose p + 3 = -2*n + 10, 0 = -2*p - 3*n + 11. Let m = 0.4 - 0.3. Let g = -0.1 + m. Sort -1/9, p, g in descending order.
p, g, -1/9
Suppose -11 - 1 = -4*c. Suppose 4*f - 3*q - 10 = -q, c*q + 10 = f. Suppose w - f = -0. Sort -2, w, 1/8 in increasing order.
-2, 1/8, w
Let z(b) = b**2 - 9*b + 7. Let k be z(7). Let l(v) = v + 10. Let y be l(k). Let c(p) = p**3 - p**2 - 3*p + 2. Let g be c(2). Sort 4, y, g in increasing order.
g, y, 4
Let r(s) = -3*s**2 + 3*s - 1. Let a(x) = -10*x**2 + 9*x - 2. Let b(u) = -2*a(u) + 7*r(u). Let q be b(2). Sort -3, q, -2 in ascending order.
-3, -2, q
Let s(t) = -t**3 - 5*t**2 + 7*t + 3. Let u be s(-6). Let n = 18.6 + -19. Put u, n, -3/5 in decreasing order.
n, -3/5, u
Let t = 1.8 + -1.1. Let o = t - 0.6. Put 1, -3, o in decreasing order.
1, o, -3
Let f(g) = g**2 - 2*g + 5. Let d be f(0). Let p be 1 + -1 - (1 + 4). Sort d, p, 0 in decreasing order.
d, 0, p
Let r = -0.341 - -0.041. Let z = -14/3 - -73/15. Put z, 2, r in increasing order.
r, z, 2
Suppose -3*d - d = -2*a - 4, -2*a + 2 = 2*d. Let z(p) = -p**3 + p**2 + p + 16. Let o be z(a). Suppose 2*y + 2*y = -v + 22, -2*y + o = 3*v. Sort -5, v, 5.
-5, v, 5
Suppose 0 = g - 4*l - l - 16, -3*g - 3*l = 6. Sort 0, g, -6.
-6, 0, g
Let y = 4722/11 - 430. Sort -1/3, y, -0.5 in increasing order.
y, -0.5, -1/3
Let l = 56 + -30. Suppose -1 = -5*x - l. Sort 2, -2, x in descending order.
2, -2, x
Let z = 3.6 + -3.7. Put -4/9, z, -4 in descending order.
z, -4/9, -4
Let m = 299/4 + -74. Let z be (21/77)/(2 - -1). Suppose -3*i - 4*x = x + 22, 12 = -i - 4*x. Put z, m, i in descending order.
m, z, i
Let h(t) = -t**2 + t + 4. Let u be h(3). Sort 5, 2, u, 4.
u, 2, 4, 5
Let l = 13/18 + -2/9. Suppose 0 = -2*n - 3*n + 2*m - 11, -2*n - 4*m - 14 = 0. Let c = -35.4 + 35. Sort n, l, c in ascending order.
n, c, l
Let d(g) = -g + 1. Let c(l) = 1. Let t(v) = 4*c(v) - d(v). Let w(h) = -3*h - 9. Let r(m) = -17*t(m) - 6*w(m). Let f be r(-3). Sort f, 1, 3 in descending order.
3, 1, f
Let l = 1.2 + -1.9. Let j = l - -1.7. Put 1/4, j, -2/9 in ascending order.
-2/9, 1/4, j
Let j = 9 + -5. Let o be (-2 + 1)*-2*(-3)/39. Sort -0.2, j, o in decreasing order.
j, o, -0.2
Let g = 2 - 5. Let r = g + 2.5. Let w be ((-3)/(-12))/(5/(-4)). Sort w, 0.5, r in decreasing order.
0.5, w, r
Suppose 2*d + 8 = 0, 5*u + 2*d = 2*u - 2. Sort 5, u, -1, -3.
-3, -1, u, 5
Let h be 5/(15/(-6)) - -2 - 4. Sort h, 1, -6 in descending order.
1, h, -6
Let n = 17 - 22. Sort -3, n, 3 in ascending order.
n, -3, 3
Let l = -12 + 11. Let a be (-1)/4 + (-34)/(-8). Suppose 4 + a = -4*r. Put l, r, 2 in increasing order.
r, l, 2
Let h(g) = -2*g + 1. Let i be h(-1). Let j be -5 + (2 + 4)/3. Let a = -1 + j. Put a, i, 5 in descending order.
5, i, a
Let u = -4 + 9. Let d = 4.08 - 0.08. Put -1, u, d in decreasing order.
u, d, -1
Let g = -3 + 3.5. Let w = -13 + 13. Suppose 2*o - 3*h + 9 = w, 2*o - o - 28 = -5*h. Put g, o, 2 in ascending order.
g, 2, o
Suppose 4*q - 2*o = 7*q - 5, 3*q - 4*o - 17 = 0. Suppose 1 = -2*b - 7. Sort q, 4, b in increasing order.
b, q, 4
Let s = -0.26 + -0.04. Let i = 3.4 - 5.4. Put s, i, -5/3 in increasing order.
i, -5/3, s
Suppose -7*i + 1 = 15. Let m = 1 - 2. Sort m, 4, i in decreasing order.
4, m, i
Let x = 0.02 + 1.98. Let k = 6/41 - -11/205. Sort 2/7, k, x in ascending order.
k, 2/7, x
Suppose 6 - 18 = -3*y. Suppose p - y = -0*p. Let d = 0.069 - 0.469. Put d, p, -4 in increasing order.
-4, d, p
Let h = -13 - -14. Sort 0, h, -0.1.
-0.1, 0, h
Let m = 1.3 - 1.8. Put -1, m, 1/4 in increasing order.
-1, m, 1/4
Let x be 6/2*(-6 + 7). Sort 2, x, -1 in 