8 + -10). Sort -1, 0, y.
y, -1, 0
Let l = 0.8 + -1. Let f(w) = w**2 - 2*w. Let k be f(3). Suppose d + 0*d + k*j = 1, -5*d - 27 = -j. Put l, d, 4 in decreasing order.
4, l, d
Let m(g) = -2*g**3 + 41*g**2 - 20*g. Let p be m(20). Put 1, -4, p, -1 in decreasing order.
1, p, -1, -4
Let s = -2.4 - 1.6. Put s, -0.2, 0 in increasing order.
s, -0.2, 0
Let t = 111 - 114. Put 5, t, -2, 0 in descending order.
5, 0, -2, t
Let q = -37 + 35. Put 5, q, -5, 2 in ascending order.
-5, q, 2, 5
Let z = 6 + -1. Let r be (1 - -2)/(9/6). Suppose -r*g - 4*o + 0 - 2 = 0, -3*g - 3 = -3*o. Sort -7, g, z.
-7, g, z
Let n = 1 + -4. Put n, 2, 0 in ascending order.
n, 0, 2
Let y(i) = 5*i**2 - 3*i + 1. Let v be y(1). Sort v, 1, 7.
1, v, 7
Let v = -1.1 - -0.8. Let r = -45 - -45.31. Let w = -0.01 + r. Sort 3, w, v in decreasing order.
3, w, v
Suppose 5*k + l + 5 = k, -2*k + 4*l = -2. Let d = 6 + -9. Put k, d, 5 in descending order.
5, k, d
Suppose 0 = a - f, 8 = -2*f + 2. Let s be 4/2 - 6/4. Sort s, 2/5, a in increasing order.
a, 2/5, s
Let n be ((-1)/1)/(2/(-4)). Let k = -20 - -20. Suppose k = 7*s - 2*s - 20. Sort s, 5, n in descending order.
5, s, n
Let b = -91/4 - -23. Let o be (-4)/6*(-6)/8. Sort b, o, 3 in increasing order.
b, o, 3
Suppose -11 = 8*h - 3*h + 2*z, -14 = 2*h - 4*z. Let q be (-1)/(-2 - (-6)/4). Suppose 3 = q*i + 4*r + 13, 4*r + 7 = i. Sort i, 2, h.
h, i, 2
Let r = -7 - -6. Let j(p) = -p**3 + p + 25. Let f be j(0). Suppose -3*l + l + 35 = 5*n, -f = -l - 4*n. Sort -5, l, r.
-5, r, l
Let j = 1 - 3. Let r = 8 + -8.4. Put r, j, -0.5 in ascending order.
j, -0.5, r
Let u = 9 - 8. Suppose -f = -0*f - u. Let t be (4 - f) + -3 + -5. Put 2, 0, t in decreasing order.
2, 0, t
Let u(m) be the second derivative of -1/3*m**3 + 1/20*m**5 - 3/2*m**2 + 0 + 2*m - 1/4*m**4. Let p be u(4). Put 3, -2, p in descending order.
p, 3, -2
Let a = -35 + 24. Let p = -11.9 - a. Let f = 1 + p. Sort 0, 1/4, f in increasing order.
0, f, 1/4
Let r = -6.6 - -7. Sort 1/11, 4, r.
1/11, r, 4
Let u = -2.6 + -0.4. Let l = -52 - -56. Sort l, u, 0.2 in increasing order.
u, 0.2, l
Let q = -17.1 + 17. Sort -6/11, q, 5 in increasing order.
-6/11, q, 5
Let l be (2 - 5)/(1 - 2). Suppose -3*b - 3 = -f, -l*b - 3 = -0*b + 2*f. Let h be (27/45)/((-6)/8). Put h, -5, b in descending order.
h, b, -5
Let p(k) = k**2 + 10*k - 16. Let f be p(-11). Let x = 0 + -3. Put f, x, 2 in increasing order.
f, x, 2
Suppose -d - 11 = 2*x, 2*d + 5*x = -d - 30. Let v(n) = n**2 - 2*n + 1. Suppose 0*k + 4*k - 12 = 0. Let s be v(k). Sort 0, d, s in descending order.
s, 0, d
Suppose -2*l + 5*n + 31 = 0, 2*l - 14 = -l + n. Sort 2, l, 5.
2, l, 5
Let w = -1.1 + -2.1. Let r = -3 - w. Suppose 5*c - 4 = -z, 3*z + c = 3 - 5. Put r, -0.2, z in ascending order.
z, -0.2, r
Suppose 400 = -4*c + 4*g, 0 = 5*c - 2*g - 51 + 539. Let x be c/28 - 4/(-2). Let n = -64/35 - x. Sort n, 3/7, -2 in ascending order.
-2, n, 3/7
Suppose -4 = -6*t + 5*t. Sort 5, t, 0, 1 in decreasing order.
5, t, 1, 0
Suppose -12*g + 14 + 118 = 0. Sort 1/4, -3, g in descending order.
g, 1/4, -3
Let x(d) = -2*d. Let b(y) = -35*y. Let m(t) = 6*b(t) - 110*x(t). Let g be m(-3). Let s be (-26)/10 + 12/g. Put s, 4, 2 in increasing order.
s, 2, 4
Let h = 9 - 42/5. Let x = -4.87 + -0.13. Sort x, h, 3.
x, h, 3
Let z(l) = -l**2 - 5*l + 3. Let i be z(-6). Sort 4, i, 5.
i, 4, 5
Let l = 97 + -97. Put 4, l, -45 in ascending order.
-45, l, 4
Suppose -5*m - 35 = -0*m. Let o = m + 5. Sort -5, 3, o in descending order.
3, o, -5
Suppose 0 = 2*z - 4*b - 10 - 14, -4 = b. Put z, -4, -3 in descending order.
z, -3, -4
Let f = 17.4 - 17. Sort -0.7, 2/9, f in descending order.
f, 2/9, -0.7
Let o = -77 - -68. Sort -3/4, 4, o.
o, -3/4, 4
Suppose 0 = -4*d - d + s + 33, -s + 23 = 3*d. Sort 4, -1, d in descending order.
d, 4, -1
Let x be 5/4*(10 - 6). Suppose -2*d - d - 33 = 0. Let v = d + 9. Put x, 2, v in descending order.
x, 2, v
Let b = -93.9 + 91. Put 2, -4, b in increasing order.
-4, b, 2
Let j = 4 - 10. Let u = -5 - j. Let b = -2993/9 - -333. Sort -3, u, b in descending order.
u, b, -3
Suppose -z - 12 = -4*z. Suppose 4*r = -z*h, 3*r + 6*h - 1 = 2*h. Put 4, -4, r in decreasing order.
4, r, -4
Let i = 8 - 6. Let z = i + -2. Let y = -3.9 + 4. Sort 1/4, y, z in descending order.
1/4, y, z
Let w = 10 - 6. Let r = 20 + -15. Sort 1, w, r in descending order.
r, w, 1
Let g = -2/35 - -16/35. Let c = -1 - 1.7. Let b = 3 + c. Sort b, g, 0.
0, b, g
Suppose 3*l + 2*b = 7*l - 18, -l - 3*b + 8 = 0. Let t(g) = g + 7. Let q be t(7). Let z be 0 - (q/(-12) + 1). Put z, -0.1, l in increasing order.
-0.1, z, l
Let x(t) = -t**2 - 5*t + 7. Let b be x(-6). Let c(f) = -f + 8. Let z be c(8). Let v be (0 - -2)*1 + z. Sort -2/3, b, v.
-2/3, b, v
Suppose -3*l - 53 = -62. Sort 2/11, l, 3/2 in decreasing order.
l, 3/2, 2/11
Let v(o) = o**2 + 6*o - 6. Let f be v(-6). Let y be f/(-27) + (-80)/198. Sort y, 0.1, 2/7 in descending order.
2/7, 0.1, y
Let p = 0.31 - 0.32. Sort p, -0.2, 0.2.
-0.2, p, 0.2
Suppose -6 = 2*n - 0. Let t = -5 - -7. Let x(v) = -v + 1. Let z be x(t). Sort n, z, -4 in descending order.
z, n, -4
Let y = -2/3 - -16/33. Let d = 83 - 88. Sort 1/10, y, d in ascending order.
d, y, 1/10
Suppose 6*y - 12 = 2*y. Sort y, 0, 4 in increasing order.
0, y, 4
Let t = 21 + -64/3. Let l = -3 - -2. Let d be l/((1 + 0)/(-3)). Sort -6/11, t, d in descending order.
d, t, -6/11
Suppose -3 - 13 = -4*m. Suppose l = m*w + 5*l - 28, 5*w - 2*l = 14. Sort w, 2, 14 in ascending order.
2, w, 14
Let d be 4/(-8) - 6/4. Suppose 0 = u - 5*u. Sort -1, d, u in increasing order.
d, -1, u
Let p(a) = -a**3 - a**2 - 1. Let y be p(0). Let n be (3 + -3)/y + 2. Sort 3, n, 0 in decreasing order.
3, n, 0
Let m be 30/4*(-2)/(-3). Suppose 0 = 2*k + m - 3. Suppose 4*f + 3 = 3*u, -5*f + 2*u - 5 = 4. Put k, f, 2 in descending order.
2, k, f
Let k = 20 - 17. Sort -5, k, 5 in decreasing order.
5, k, -5
Suppose -13 = -3*r + l, 5*r - 5*l - 22 = 13. Let x be -1 + 4 + (-2 - 4). Let j be x - (-6)/(-2) - -2. Sort j, r, -5 in descending order.
r, j, -5
Let i = -190 + 290. Let m be i/126 - 4/7. Put -0.4, -12, m in ascending order.
-12, -0.4, m
Let a = -7 + 9. Let t(f) = f**2 - f - 3. Let r be t(a). Put r, 3, 1 in increasing order.
r, 1, 3
Let d(w) = -w**2 - 3*w + 7. Let h be d(-6). Sort -2, -4, h in increasing order.
h, -4, -2
Let r = -5.4 + 5. Put r, -1/5, 9 in increasing order.
r, -1/5, 9
Let b be (-9)/(-15) + 18/45. Sort -4, 1/2, b in decreasing order.
b, 1/2, -4
Let a be (-3)/((-4)/(-4)) - 1. Put 2, a, 4 in increasing order.
a, 2, 4
Let z = 0.158 + 2.912. Let d = -0.07 + z. Put d, 0.1, 5 in decreasing order.
5, d, 0.1
Let t = 0.28 + 0.02. Put 0.5, t, 2 in decreasing order.
2, 0.5, t
Let b be 1/3 + 369/27. Let l = b + -9. Suppose 0 = 3*z + z - 4. Put z, 4, l in increasing order.
z, 4, l
Let y be -1 - 2 - (-23 + 16). Put -1, -5, y in descending order.
y, -1, -5
Suppose -6*x + 15 = -3*x. Sort -5, x, -1 in decreasing order.
x, -1, -5
Let p(l) = -2*l + 19. Let m be p(8). Sort m, -6, -1, 4 in ascending order.
-6, -1, m, 4
Let o be (2 - 2) + (-3)/(-5). Let r be ((-3)/30)/(1/2). Put r, 0.2, o in descending order.
o, 0.2, r
Let l = -0.6 - -1. Sort -4, 3/2, l.
-4, l, 3/2
Suppose v = -0*v. Suppose -16 = 4*j + 3*k - 5*k, -k = v. Sort -5, j, 2 in decreasing order.
2, j, -5
Let q = 1 - 4. Sort -4/9, q, 4/7.
q, -4/9, 4/7
Let v be (4 - 5)/((-2)/(-4)). Sort 3, v, -5, -1 in descending order.
3, -1, v, -5
Let w be (-90)/(-8) + 2/(-8). Put 3, w, 1 in decreasing order.
w, 3, 1
Let z(b) = 2*b + 6 - 6. Let f be z(2). Put -1, -3, f in ascending order.
-3, -1, f
Suppose 10 = -2*m - 28. Let r = 23 + m. Put 1, r, -3 in increasing order.
-3, 1, r
Suppose -5*d + 3*w = -32, 5*w - 3*w = d - 12. Let c(h) = -2*h - 3 + 3*h + 0. Let o be c(d). Put -1, 4, o in ascending order.
-1, o, 4
Suppose 2*n = -2*n - 36. Sort n, -2, -3 in ascending order.
n, -3, -2
Let h be 3/5 + (-126)/10. Let g be 4/h - 8/(-6). Suppose -l = -2 - g. Sort -2, -3, l in descending order.
l, -2, -3
Let i(x) = -x**3 + 7*x**2 + 7*x + 7. Let r be i(8). Let y be 2/1 - (-1 + 2). Let c = 2 - y. Sort 5, c, r in decreasing order.
5, c, r
Let h(o) = 2*o + 28. Let y be h(-12). Suppose 0 = 3*d + 4 - 10. Put -3, d, y in descending order.
y, d, -3
Let t(k) = -9*k + 4*k + 5*k + k + 3. Let r be t(-3). Put r, -1/9, -1 in increasing order.
-1, -1/9, 