- y. Put 4, -1, g in increasing order.
-1, g, 4
Let a be (-1)/(-3) + (-2)/6. Suppose -4*j = 4*i - 20, 0*j + 3*j = i + 11. Let y be (1 - 0) + (a - i). Sort -5, 2, y in descending order.
2, y, -5
Let s be (-2)/(-1) - (-1)/2. Let j = -229.4 - -229. Sort 4/7, j, s in ascending order.
j, 4/7, s
Suppose 0 = 5*k - 14 + 4. Let p = -4/3 + k. Put -2/7, -1/5, p in descending order.
p, -1/5, -2/7
Suppose 5 = -2*c + 1. Put -9, c, 0 in descending order.
0, c, -9
Let n be -1 - (-3)/(-1*9/(-4)). Put -3, n, 5, -2/5 in decreasing order.
5, n, -2/5, -3
Let t = 4.8 + -0.8. Let n = t + -4.2. Let p = 10.6 + -11. Put -1/2, p, n in decreasing order.
n, p, -1/2
Let u = 0.7 - 0.4. Sort -3, -0.2, u in decreasing order.
u, -0.2, -3
Let g be (-4)/14 + (-38)/14. Let h be (-54)/10 + g/5. Put -5, h, -4 in decreasing order.
-4, -5, h
Let x be 22/(-616) + (-2)/8. Sort 9, x, 0.3.
x, 0.3, 9
Suppose k = -f + 11, 1 = -2*f - k + 26. Let n = -12 + f. Put -2, -1, n in ascending order.
-2, -1, n
Let k = -22 + 22.6. Put -0.4, 2/3, k in ascending order.
-0.4, k, 2/3
Let d be ((-1)/(-3))/(175/(-84) + 2). Sort d, 5, 3, -7.
-7, d, 3, 5
Let o = -28 - -53. Suppose q + 4*q - o = -5*u, 3*u = 2*q + 5. Let j(d) = -d**3 + 5*d**2 - 3*d + 1. Let f be j(4). Sort f, q, 0.
0, q, f
Let g(q) = q - 12. Let z be g(9). Put z, 2, 6 in descending order.
6, 2, z
Let n = -25 + 26.3. Let q = n + -1.4. Sort -5, 1, q in descending order.
1, q, -5
Let b(a) = -5*a**3 + 5*a**2 + 5*a - 1. Let g(w) = 4*w**3 - 4*w**2 - 4*w + 1. Let d(i) = -3*b(i) - 4*g(i). Let n be d(2). Sort -2, -1, n in increasing order.
n, -2, -1
Suppose 5*j + 0 = 10. Suppose 5*b - 4 = k, -j*b + 2*k = 3*b - 3. Let f be (-1)/((-8)/(-6) - b). Sort 3, 2, f in descending order.
3, 2, f
Let t be 1 - (-28)/(-24) - (-25)/6. Sort 11, t, -1 in descending order.
11, t, -1
Let g be (-2)/7 - (-2)/7. Suppose 0 = -y + 19 - 15. Put g, y, 5 in descending order.
5, y, g
Suppose -4*d + 18 = -3*o, -4*o - 7*d + 7 = -2*d. Let p(w) = -w - 5. Let b be p(0). Let a(n) = -n**2 - 5*n. Let k be a(b). Sort o, 1, k.
o, k, 1
Suppose -4*s = -7 + 27. Put 3, -4, s in decreasing order.
3, -4, s
Let u = 1/19 - 30/209. Sort u, -1/7, 5.
-1/7, u, 5
Let t = -1411/9 - -157. Put 0, t, -0.3 in decreasing order.
t, 0, -0.3
Let p be (-12)/(-8) - (-3)/2. Let v(x) = x**2 - 16*x + 38. Let m be v(13). Sort 4, m, p in decreasing order.
4, p, m
Suppose 0 = -j - 3*u - u - 3, -u - 4 = -3*j. Let a be (-24)/(-20)*10/3. Let o(m) = m**3 + 3*m**2 - 6*m - 3. Let y be o(-4). Sort j, a, y in descending order.
y, a, j
Let v(j) = -j**2 - 3*j + 6. Let s be v(-5). Put s, 5, 1 in increasing order.
s, 1, 5
Let a = -105/202 - -2/101. Sort a, -3/8, -16, -1 in ascending order.
-16, -1, a, -3/8
Let x = -0.72 - 13.28. Sort 5, x, 2/7, -1 in increasing order.
x, -1, 2/7, 5
Suppose 0 = -3*w, -j + 4*w = 3*w + 5. Let r be 1/j + 1/5. Suppose 3*f - 8*f - 15 = r. Sort f, 3, 2 in descending order.
3, 2, f
Let q(w) = 3*w**3 + w**2 - w. Let d be q(1). Put -4/9, -0.2, d, 1 in decreasing order.
d, 1, -0.2, -4/9
Suppose -3*t - t = -5*j + 27, -4*t = 2*j + 6. Put -1, -4, -2, j in descending order.
j, -1, -2, -4
Let o = -163 - -161. Sort o, 2/7, -3 in descending order.
2/7, o, -3
Suppose f = -0 + 1. Let r be (-3 - f)*(-2)/(-12). Sort 0, r, -5 in decreasing order.
0, r, -5
Let k(w) = -w**2 - 5*w. Let z be k(-5). Suppose 0 = -0*q - 2*q + f + 5, -4*f = -q + 13. Sort z, q, -4 in decreasing order.
q, z, -4
Let h = 0.45 + -0.5. Let w = 0.95 - h. Put 2/3, w, 3 in descending order.
3, w, 2/3
Let z(o) = o**3 - 5*o**2 - 5*o - 6. Let u be z(6). Suppose -m + 0*c = -4*c + 16, 5*m - 3*c + 12 = u. Suppose -4 = 4*t - 5*t. Sort -5, m, t in ascending order.
-5, m, t
Suppose 1 + 7 = -4*u + 4*v, -10 = 4*u - 5*v. Let x be 8/(-84)*3 - u. Let t = 0.7 + -1. Sort t, x, 3 in increasing order.
t, x, 3
Let k be 1*(6 + -4 + 3). Suppose 0 = -3*f - 2 - 52. Let w = f - -13. Sort w, k, -3.
w, -3, k
Suppose -4*w + 6*w = 8. Put 0, 3, w in descending order.
w, 3, 0
Let k = 54949/501 - 329/3. Let b = 509/668 - k. Let d = -0.8 + 1. Put d, 2/11, b in increasing order.
2/11, d, b
Let i = 14 + -11. Sort -4, -10, i.
-10, -4, i
Suppose -4*v + 2*v - 4*i = 14, 5*v + 3*i = -35. Let y = -8 - v. Put y, -2, 1 in descending order.
1, y, -2
Let n = 14.5 - 14.3. Put 4, 0, -2, n in decreasing order.
4, n, 0, -2
Let f(d) = d**3 + 11*d**2 - 12*d + 3. Let l be f(-12). Suppose 4*y = 5*y. Put y, 1, l in decreasing order.
l, 1, y
Let f(y) = -y + 6. Let u be f(0). Sort u, 5, 4.
4, 5, u
Suppose -a + 14 - 9 = 0. Sort a, 9, -2.
-2, a, 9
Suppose 5*s = 3*b - 40, s - 10 + 0 = -3*b. Let x = b - 6. Put 3, x, -7 in ascending order.
-7, x, 3
Let w = -1 + 1.4. Let f = w - 4.4. Put -2/7, f, -2 in decreasing order.
-2/7, -2, f
Let c be -5*1 + ((-6)/2 - -6). Put -4, c, 1, 3 in increasing order.
-4, c, 1, 3
Suppose 0 = 5*c - z - 15, -3*c + 0 = 2*z + 4. Let k = -0.9 + 0.7. Sort 2/3, k, c.
k, 2/3, c
Let p = -0.31 - -0.51. Let m be 1/2*(-4)/7. Let l be (-72)/(-130) + (-2)/5. Sort p, m, l in increasing order.
m, l, p
Let i(m) = 5*m**3 - m**2 - 2*m - 1. Let h be i(-1). Let x(y) = y**2 - y + 2. Let z be x(0). Sort z, 1, h in descending order.
z, 1, h
Let a(q) be the second derivative of q**3/6 + q**2/2 + 3*q. Let w be a(-1). Let s = -3 - -8. Sort w, s, 3 in descending order.
s, 3, w
Let y(a) = a**2 - 13*a - 8. Let n be y(13). Sort 4, 0, n.
n, 0, 4
Let n(r) = -3*r**2 - 3. Let t be n(-3). Let v be (-6)/(-10)*t/6. Let s(z) = -z**2 - 4*z + 4. Let d be s(-4). Sort 1/7, d, v in descending order.
d, 1/7, v
Suppose -2*h + 12 = -2*g, 0 = 2*g - 0*g + 4*h - 18. Let l = -1.3 + -3.7. Put l, g, 1/6 in ascending order.
l, g, 1/6
Let v = 5 + -5. Let l = 36.7 + -35. Let n = 2 - l. Put n, v, 3/2 in descending order.
3/2, n, v
Let i = -16.2 - -16. Put 0.5, 4, i in ascending order.
i, 0.5, 4
Suppose -11 = 4*r + 3*o + 5, -o = -5*r - 1. Let g be (1 + r)/(-14 - -13). Put 3, 1, g in decreasing order.
3, 1, g
Suppose -2*x + 4*x - 2*a + 106 = 0, 4*x = 2*a - 208. Let d be (1/(-3))/(x/(-18)). Put d, -5/4, 2/7 in increasing order.
-5/4, d, 2/7
Let r = 118 - 114. Sort -0.4, -1.7, r.
-1.7, -0.4, r
Suppose -2*p - 6 = -5*p. Let g = -283 - -278. Put 0.05, p, g in ascending order.
g, 0.05, p
Let n(m) = -m**3 + m**2 + m - 8. Let l be n(0). Let t(v) = v**2 - 14*v + 5. Let u be t(11). Let f be (l/u)/(2/14). Sort -1, -5, f.
-5, -1, f
Let l be (18/(-14))/(-9) + (-8)/7. Put l, 2/5, 0.3 in decreasing order.
2/5, 0.3, l
Let s = -0.3 - -0.7. Let k be (-2 - -1) + 12/2. Let u(v) = 3*v + 15. Let z be u(-6). Put k, z, s in ascending order.
z, s, k
Let m = 2 - 5. Sort -4, m, -11 in descending order.
m, -4, -11
Let p(k) be the second derivative of -k**4/12 + k**2/2 + k. Suppose -4*v = -1 - 3. Let n be p(v). Put -3, 5, n in ascending order.
-3, n, 5
Let a = -5 + 4. Let f be a/(-2)*(12 - 0). Suppose -f*o = -4*o. Sort o, -3/4, 1/11 in decreasing order.
1/11, o, -3/4
Let w = 126 + -117. Sort -1, w, -0.1 in descending order.
w, -0.1, -1
Let m = -1442/11 - -131. Sort -4/5, -0.4, m in descending order.
m, -0.4, -4/5
Let c be (2/10)/(-2 + (-21)/(-7)). Sort -1, -3, 5, c.
-3, -1, c, 5
Let z(j) = j**3 + 7*j**2 + 9*j + 18. Let r be z(-6). Sort -4, -2, r.
-4, -2, r
Let o be (0/(1 - -4))/(-3). Sort -1, 1, o in descending order.
1, o, -1
Let p = -1/23 + -39/161. Sort 4, 0, p in decreasing order.
4, 0, p
Let u = 2 - -1. Let j = -1 - -4. Suppose 0*z + j*l = -z - 12, 4 = 3*z - l. Sort 2, u, z.
z, 2, u
Let f be (5 - 3) + (-155)/2. Let d = 1959/26 + f. Sort d, 3/2, 0 in increasing order.
d, 0, 3/2
Let c(t) be the first derivative of t**2/2 - 1. Let b be c(-4). Suppose -2*m + 0 = 2. Sort b, 4, m in decreasing order.
4, m, b
Suppose x - 3 = -4. Let j be (x + -1)*(-6 + 5). Let a = 7 + -3. Put 1, j, a in descending order.
a, j, 1
Let y(h) = h**3 - 2*h**2 + h - 1. Let j be y(2). Let o(a) = 2*a**2 + 19*a + 28. Let u be o(-8). Sort 3, u, j.
j, 3, u
Suppose -k - 2*k - 375 = 0. Let x = 1627/13 + k. Sort 1/6, -3, x in ascending order.
-3, x, 1/6
Let k = -3 + 5. Suppose 0 = -5*n + 5*r + 70, -n - 2*r + 0 - 1 = 0. Let z be (-16)/(-42)*n/(-12). Put -0.1, z, k in ascending order.
z, -0.1, k
Suppose -b = x - 40, 84 = 2*x + 5*b + 4. Let q = 203/5 - x. Sort q, 0.3, -3.
-3, 0.3, q
Suppose 0 = -0*u - 2*u - 2, 3*k = 5*u + 221. Suppose -3*p = w + w - k, 2*w - 24 = -p. Suppose z = -5*q + p - 3, -4*z + 