0. Sort d, w, 1 in increasing order.
d, w, 1
Let r(n) = 4*n + 1. Let b be r(-2). Let o = 1 + -3. Sort o, -4, b in increasing order.
b, -4, o
Suppose 0*t - 3 = 3*t. Sort 6, t, 5.
t, 5, 6
Let t be (1 - 6)*2/(-5). Suppose t = f + 6. Let k be (-3 - 0)/(0 - -1). Put k, f, -2 in decreasing order.
-2, k, f
Let d be (-1 + 2)/((-6)/(-18)). Suppose 2*s + 7 = -3*g + 4*g, -4*s = 4*g + 32. Put g, -1, d in decreasing order.
d, -1, g
Let x(l) = -4*l**3 + l - 1. Let g be x(1). Suppose k - 2*k = -4. Sort -5, g, k in descending order.
k, g, -5
Suppose 5*w = q - 18, -4*q = -0*q + 4*w. Suppose 2*z - 2*r - 16 = 0, z + 5*r + q = -7. Sort 3, -4, z.
-4, 3, z
Suppose 4*l - 14 = 3*w, 4*w = -w - 3*l - 4. Suppose 3 = -0*n + n. Put w, n, 1 in ascending order.
w, 1, n
Let m be ((-1)/(-6))/(3/(-12)). Suppose 4*s + 2*d + 28 = 0, -4 = 4*d + 12. Sort s, -4, m in descending order.
m, -4, s
Let p be 1 - ((-3)/(-4) - 0). Let a = 1.3 - -3.7. Let m = -10 + a. Sort 0.2, p, m in descending order.
p, 0.2, m
Suppose 29 = -2*x - 5*p, -x + 2*p = -4 - 4. Let v be (((-12)/(-2))/(-2))/1. Sort v, 5, x in increasing order.
v, x, 5
Suppose -4*j = 5*m - 13, -2*j = -3*j - 4*m + 17. Let p = 11 + -26. Let t = p + 15.5. Sort j, t, 4 in decreasing order.
4, t, j
Let w = 17 + -16. Let f = -27 - -80/3. Put f, w, -4 in ascending order.
-4, f, w
Suppose 3*k = 30 - 15. Put k, 1, -6, 3 in ascending order.
-6, 1, 3, k
Let z = 2.5 - -0.5. Sort -3, 0.1, z in descending order.
z, 0.1, -3
Suppose f = 5*v + 13, -5*v - 2 = -5*f - v. Let o = 29 - 18. Let i = -10 + o. Sort i, -4, f in descending order.
i, f, -4
Let g be (-2)/(5/35*7/2). Let t = 3 - 1. Sort 1, g, t.
g, 1, t
Suppose -3*k = -24 + 12. Let t be (-4)/(-12) - 64/(-6). Let j = t - 16. Put -4, k, j in descending order.
k, -4, j
Let a = 1.65 + -0.05. Let v = -2 + a. Sort 1/9, 1/5, v in descending order.
1/5, 1/9, v
Let g(o) = 5*o + 1. Let r be g(-1). Sort -5, r, -1 in descending order.
-1, r, -5
Let o = 828/7 + -118. Sort o, 0.5, -3, -4 in increasing order.
-4, -3, o, 0.5
Let w = 18 - 25. Let d(n) = n**2 + 6*n. Let x be d(w). Let y = x - 4. Put y, 2, -1 in decreasing order.
y, 2, -1
Suppose -7*g - 3 = r - 8*g, 2*r - 4*g = -16. Let t = -2 + -3. Put -1/11, t, r in decreasing order.
r, -1/11, t
Let i = 85 + -89. Put i, 1, 3/2, 2 in ascending order.
i, 1, 3/2, 2
Let m(n) = n + 9. Let l be m(-9). Let p be (-17)/7 - l - -2. Let a = 5 + -4.8. Sort p, a, 6/11 in decreasing order.
6/11, a, p
Let g = -2 - 3. Sort 7, 5, g.
g, 5, 7
Suppose -p = 3*p - 8. Let u = 0 + p. Let w be (-2)/(-4) + (-10)/4. Put u, -4, w in decreasing order.
u, w, -4
Let g be ((-4)/6)/((-10)/45). Let p(y) = -y**3 + 3*y**2 + y - 3. Let z be p(g). Put z, -5, 3 in decreasing order.
3, z, -5
Let t = -10 + 15. Sort t, 2, -9.
-9, 2, t
Let o = -4 + -6. Let g = 5 + o. Let k(j) = -j**2 + 2*j + 4. Let m be k(4). Put m, g, 5 in decreasing order.
5, m, g
Suppose 48 = 4*u - 24. Suppose 2*g + u = -z - 3*g, 2*g = -z - 9. Let c = 0 - -1. Put c, -2, z in ascending order.
z, -2, c
Suppose 0 = -5*c - p + 8, 0*c = -c - 5*p + 16. Let a = -23/10 - -5/2. Sort -4, c, a in descending order.
c, a, -4
Suppose p + 4*z = -3*p - 8, -3*z - 6 = p. Suppose 28 = 5*w - 2*y, 8 = 2*w - 5*y + 1. Suppose -3*j = w + 6. Put -3, j, p in decreasing order.
p, -3, j
Let c = 6 - 2. Let u = -63.8 - -64. Sort c, 1, u.
u, 1, c
Suppose 5*c - 24 = -4*p, 0*p + 2*c - 9 = -p. Let l be (p - -2) + 1*-1. Let q = 29 + -24. Sort q, l, -2.
-2, l, q
Suppose -6*y + 3*y = 0. Let o(k) = k**2 + k + 2. Let j be o(y). Sort -5, 1, j.
-5, 1, j
Let m = 0.6 - 0.8. Sort -11, -2, m in increasing order.
-11, -2, m
Let s = 14.2 + -14. Let z = -5 + 0. Let m = z - -1. Sort -4/3, m, s in decreasing order.
s, -4/3, m
Let y = -15 - -16. Sort y, -1, -2/3.
-1, -2/3, y
Suppose -4*u + 5*u = 5. Sort u, -1, 0, 7.
-1, 0, u, 7
Let c = -0.44 + 0.04. Let u = 2 + -4. Sort u, c, 0.2.
u, c, 0.2
Let m = 15 + -14.5. Let s = 1159/5 + -231. Sort m, s, 6/11.
m, 6/11, s
Let p = -0.56 + -0.04. Let d = -1.4 + p. Let w = 3 + -8. Sort d, -0.3, w.
w, d, -0.3
Let b = 8 + -13. Suppose -3*d - 10 - 2 = 0. Put d, b, -1/8 in decreasing order.
-1/8, d, b
Let h = -144/7 - -21. Let g(a) = a**3 - 8*a**2 - 9*a + 5. Let i be g(9). Suppose 0 = -2*t - 1 - i. Put -0.4, h, t in increasing order.
t, -0.4, h
Let p = 0.12 + -0.82. Let w = 0.75 - -3.95. Let l = p + w. Put 0, -1/4, l in ascending order.
-1/4, 0, l
Let m = 0.6 + -1. Sort -0.04, m, -4.
-4, m, -0.04
Let v be 2*-49*(-1)/(-2). Let a = -199/4 - v. Sort -3, a, -5.
-5, -3, a
Let l be ((-1)/(-2) - 1)/(7/(-154)). Sort l, -2, -5 in ascending order.
-5, -2, l
Let r(v) = v**3 - 7*v**2 + 6*v + 3. Let t be r(6). Let w(j) be the third derivative of j**5/60 + j**4/4 - j**2. Let a be w(-5). Put -1, a, t in ascending order.
a, -1, t
Let v = 0.2 + -0.2. Let o(d) = -d + 2. Let q be o(-3). Put v, -3, q in increasing order.
-3, v, q
Suppose 5*m - u - 2 = 0, -5*m + 0*u + 11 = 2*u. Let j be -1 - (-9)/15*m. Let r = 2.05 - 0.05. Put -0.5, r, j in decreasing order.
r, j, -0.5
Let n be (-3)/(-3) + 56/2. Suppose -2*f - n = 11. Let u be (-4)/f - 19/(-5). Put -3, u, 3 in decreasing order.
u, 3, -3
Let m = -13 - -12. Let n = 7.6 + -7. Let o = n + m. Sort -3, o, -5 in increasing order.
-5, -3, o
Let o = -53 - -54. Let y = -4.27 + 0.16. Let w = y - -0.11. Sort o, w, 3.
w, o, 3
Let h be 0/((2 + -4)/(-2)). Let w be (-2)/5 - (-310)/25. Suppose 0*j + 4*j - w = 0. Sort j, -2, h in descending order.
j, h, -2
Let u = -1.28 - -1.3. Let q = 0.08 + u. Sort -1, q, 0.4 in decreasing order.
0.4, q, -1
Let p = -5 - -10. Suppose -3*r - 15 = -0*r - 2*h, 5*r - 5*h = -25. Put p, -1, r in increasing order.
r, -1, p
Let z = 0.7 + -0.94. Let x = -1.24 - z. Let r be ((-2)/15)/(2/10). Put 0, x, r in descending order.
0, r, x
Let r be (5/(-90))/((-2)/(-8)). Let t = -103 + 427/4. Let d = -53/12 + t. Put d, 0.1, r in descending order.
0.1, r, d
Suppose 4*o = 5*z - 18, 3*z + 17 - 46 = 5*o. Let v = o + 2. Sort -3, v, 3 in ascending order.
v, -3, 3
Let d(k) = -k**3 + 6*k**2 - 5*k + 1. Let x be d(5). Sort x, -5, 2.
-5, x, 2
Let p be (20/(-45))/((-2)/9). Sort -5, 1, p in descending order.
p, 1, -5
Let x = -2.4 - 0.6. Let f = 3.5 + x. Let l = 5 - 1. Sort f, 0, l in decreasing order.
l, f, 0
Let u be (4 - -2)/((-9)/(-6)). Let y be (u - -1)*(-1)/(-1). Put -5, y, 3 in decreasing order.
y, 3, -5
Let z = 7 - 6.89. Let w = 0 - 0.01. Let h = z + w. Sort h, 0.2, -2 in decreasing order.
0.2, h, -2
Let i(o) = -o**2 - o + 1. Let q be i(1). Suppose 85*g - 88*g + 3 = 0. Sort g, 5, q in decreasing order.
5, g, q
Let v be (-4)/(-6) - 2/(-6). Suppose 5*p + 4 = 3*n - 3, 3*p = -5*n + 23. Sort n, 0, v.
0, v, n
Let z be 3 + (3 - 9) + 3. Suppose -l = 5*t - 2 - z, -l - 8 = -5*t. Let c = -2 + 2. Put t, -5, c in increasing order.
-5, c, t
Let u = 650 + -654. Let b = -1 - -0.8. Let y = -6 + 4. Sort b, y, u in decreasing order.
b, y, u
Let p be 1 + -1 + 3 + -14. Let j = p - -6. Put -2, 3, j in increasing order.
j, -2, 3
Let h = 3.5 - 3. Let v = 1/41 - 91/369. Sort -2, h, v.
-2, v, h
Let q = -13 + 16. Suppose 0 = -2*l + q*h + 2*h + 30, -2*l - 3*h - 2 = 0. Sort -1, 0, l in decreasing order.
l, 0, -1
Let i = -0.3 - -0.2. Let g(v) = -v + 8. Let m be g(6). Suppose m = h - 2*h. Put i, h, 3 in decreasing order.
3, i, h
Let g be (335/55)/(-1 + -8). Let u = -5/11 - g. Let k = 44 + -218/5. Sort u, k, 5.
u, k, 5
Let i = 0.8 + 3.2. Put 5/3, 1, i in decreasing order.
i, 5/3, 1
Let r = 0.04 + 2.96. Let v = r - 1. Let f = -75 - -74. Sort f, v, 1/5.
f, 1/5, v
Let f be 1/3*(0 + 1). Let b = -0.13 + 5.13. Sort -1/3, f, b in decreasing order.
b, f, -1/3
Let z = 3.7 - 0.7. Suppose 0 = 2*l - 2, 4*d = 2*l - 7 - 19. Let s = d - -8. Put z, s, 0.4 in decreasing order.
z, s, 0.4
Let d be -4*(-1)/(-2) + 11. Let y = d + -5. Put y, -4, 1 in descending order.
y, 1, -4
Let u(n) = -n + 5. Let v be u(5). Suppose -2*s - 2*k - 2*k = v, 2*s - 4*k = 0. Suppose 6*x - 2*x + 8 = s. Sort x, 3, 0 in decreasing order.
3, 0, x
Let c = -32 - -162/5. Sort c, -1.8, -5 in ascending order.
-5, -1.8, c
Let l be ((-3)/36)/(2/4). Let r = 5 - 2. Sort -0.2, r, l in descending order.
r, l, -0.2
Let x = -620/921 + 2/307. Let b be 0/4 - 4/10. Put x, b, -1/10 in descending order.
-1/10, b, x
Let p be (40/25)/(4/10). Put -7, p, 5 in ascending order.
-7, p, 5
Let w(f) be the first derivative of f**