Put m, r, -1 in decreasing order.
r, m, -1
Let r = -19 + 24. Sort r, -3, -5 in ascending order.
-5, -3, r
Let i(s) = -s**3 - 12*s**2 - 11*s + 4. Let d be i(-11). Sort 3, d, -3 in decreasing order.
d, 3, -3
Suppose -2*k + 14 = -5*o, -15 = k + 4*k. Sort o, -2, 56 in decreasing order.
56, -2, o
Let j = -45 - -41. Sort -1, 0, 2, j in increasing order.
j, -1, 0, 2
Let z = 10 - 10. Sort z, -2, 2/7 in decreasing order.
2/7, z, -2
Let l(b) = -b**3 + 2*b**2 + 2. Let u be l(2). Suppose 4 = u*d - 4*q - q, 0 = 4*d - 5*q - 8. Let i = 4 + 0. Put i, 5, d in increasing order.
d, i, 5
Suppose 2*t - 4*p = -0*t - 14, 5*t + 30 = 5*p. Sort t, -4/7, 7/3 in ascending order.
t, -4/7, 7/3
Let i = 533/1841 - 1/263. Let g = -2 - -7. Let r = -7 + g. Sort 2/5, i, r.
r, i, 2/5
Let v(m) = m**2 - 1. Let y(t) = 4*t**2 + 3*t - 9. Let o(b) = 3*v(b) - y(b). Let a be o(-5). Put a, 0, -1 in ascending order.
a, -1, 0
Let x be 1 + 1*(2 - -2). Let q(z) = -z**3 - 12*z**2 - 11*z - 4. Let m be q(-11). Sort m, -3, x in increasing order.
m, -3, x
Let d = 47.6 - 48. Sort -2/11, d, -0.5, 0.3 in ascending order.
-0.5, d, -2/11, 0.3
Suppose 19 = 2*j - 41. Let c be (82/8)/(j/24). Let p = 9 - c. Sort p, 0, 2 in ascending order.
0, p, 2
Let h be (1/(-1))/(2/(-4)). Suppose 6*t + 5*w + 8 = h*t, 2*w + 17 = 3*t. Let g be t/15 - 34/20. Put 1/2, g, 3/5 in ascending order.
g, 1/2, 3/5
Suppose -3*b = -0*b - 5*h + 43, 5*b + 15 = -3*h. Let z be 24/9 - 2/b. Suppose 6 = -5*i + w - 6, -z*i = 4*w - 2. Put 3, i, 0 in descending order.
3, 0, i
Let b = -3 - 1. Let a = 6 - 11. Sort 3, b, a in descending order.
3, b, a
Let y(t) = -t**2 + 7*t + 10. Let d be y(8). Let f be (d/12)/(-7 + 6). Sort f, 2, 0.3 in descending order.
2, 0.3, f
Let q be (0 - 8)/(6/(-3)). Sort 6, q, -6 in decreasing order.
6, q, -6
Suppose -k - 6*i = -3*i + 7, -4*k - 4*i = 4. Suppose -k*d + 6 = -5*d. Let a = -1 + 1.3. Put a, d, 2/7 in decreasing order.
a, 2/7, d
Suppose -2*x + 6*x + 2 = 2*a, 0 = 5*a - 25. Let c = 6 - -6. Let j = c + -11. Sort x, j, 4 in decreasing order.
4, x, j
Let f be -1 + 2/(-3)*6. Let w be (-3)/((-9)/(-6)) - -2. Sort w, 3, f in descending order.
3, w, f
Let m(r) = 2*r + 4. Let a be m(-4). Let c = 0 - -3. Suppose 0*b - 2*b + 1 = c*f, -5*f + 3 = 2*b. Sort -5, f, a in increasing order.
-5, a, f
Let f(v) = -v**3 - 7*v**2 - 7*v - 8. Let z be f(-6). Put 4, -4, z, 5 in increasing order.
-4, z, 4, 5
Suppose -y - 8 = 2*z + 3*y, 0 = 4*z + 3*y + 6. Put 2, -36, z in decreasing order.
2, z, -36
Let x = 4 + 1. Let t = -0.29 - 0.01. Let j = t + -3.7. Put j, x, 1/6 in increasing order.
j, 1/6, x
Suppose -h - 4*h + 15 = 0. Suppose -3*a = 5*j - 5*a - 21, -j = -h*a + 1. Let o = -22 - -25. Sort o, -4, j in ascending order.
-4, o, j
Suppose 2*n - 7*n = 2*m + 17, 25 = 5*m - n. Suppose q + m*r = -1, -4*q + 5*q + 1 = r. Sort q, -4, 3 in descending order.
3, q, -4
Let c(q) = -q + 14. Let v be c(11). Let b be v*(0 + -1 + 2). Sort 1, b, -2.
-2, 1, b
Let p = -0.01 - 2.99. Let m = p - -3.2. Sort -3, m, 3 in decreasing order.
3, m, -3
Suppose h + 38 = 5*w + 4*h, 4*w - 28 = -3*h. Let m = 8 - w. Let f = 3 - 0. Sort f, m, 1.
m, 1, f
Let n = 523/3 + -175. Let f be (-66)/14 - 2/7. Sort n, f, 1 in ascending order.
f, n, 1
Suppose -2*q - 4*o + 14 = 0, -3*o = 4*q - 2*q - 13. Let h be 6/10 + 34/10. Suppose -3*r + 1 - h = 0. Sort r, -2, q in ascending order.
-2, r, q
Let o(q) = -q**2 + 4*q - 2. Let h be o(2). Let n be 1/(-4)*3 + -1. Let f = n - -5/4. Put f, 0.1, h in ascending order.
f, 0.1, h
Let u be 27/(-5) + 4/10. Let l(p) = p**3 + 8*p**2 + 5. Let d be l(-8). Let o = 1 + 2. Put u, d, o in descending order.
d, o, u
Suppose -3*p - 5*k - 5 = 0, k - 1 = -4*p + 2*k. Sort 5, p, 0.5 in descending order.
5, 0.5, p
Let w = 1 - -2. Sort w, 2/9, -5.
-5, 2/9, w
Let o = 26 - 22. Sort -5, o, 2 in decreasing order.
o, 2, -5
Let l(q) = -3*q - 11. Let y be l(-8). Put 5, 4, y in decreasing order.
y, 5, 4
Let b = 74 + -74.4. Let n = 17/5 + -63/20. Put b, 2, n in descending order.
2, n, b
Let u(j) = -j**2 - 7*j - 1. Suppose 2*n + 2*v + 7 = -3*v, 4*v = 3*n + 22. Let q be u(n). Let b = -29 + 25. Sort 3, q, b in decreasing order.
q, 3, b
Let v = 0 - 0.4. Let h = v - -0.9. Sort h, -5, -0.5 in decreasing order.
h, -0.5, -5
Let v = 5.1 - 0.1. Let m be (-4)/(-3) + ((-6)/18)/(-1). Sort m, 2, v in decreasing order.
v, 2, m
Let m = -87 - -87. Sort 3, -1/11, -9/2, m in descending order.
3, m, -1/11, -9/2
Let i(l) = l + 2. Let r be i(-3). Let n be 2 - (-4)/(r - 0). Let b = 113/28 + -15/4. Put 4, b, n in descending order.
4, b, n
Suppose 0*x = -4*x + 8. Let h be 5/(-2)*(-6)/15. Let t be h/(-1)*(6 - 5). Put t, 0, x in increasing order.
t, 0, x
Let o = 9.103 - 0.203. Let w = o + 0.1. Let v = w + -11. Sort 4, v, -1/4 in descending order.
4, -1/4, v
Let o = 74 + -76. Sort 4, 1, 2, o in decreasing order.
4, 2, 1, o
Let j(i) = -i + 6. Let c be j(6). Let s = -6 + -1. Let q = 3 + s. Put c, -2, q in ascending order.
q, -2, c
Let a(y) = -y - 11. Let o be a(-9). Put 1, o, 3 in decreasing order.
3, 1, o
Suppose 15*z = 10*z + 4*n - 16, -2*n = 2*z - 8. Let s = 138.7 - 147. Let g = s + 8. Sort 5, g, z in increasing order.
g, z, 5
Let m = 60/209 - 2/19. Put -0.1, m, -1/5 in decreasing order.
m, -0.1, -1/5
Let n = 10.7 - 11. Sort 0, n, 0.3.
n, 0, 0.3
Let r(p) = -p**3 - 3*p**2 + 4*p - 5. Let t be r(-4). Suppose 21*v - 92 + 8 = 0. Sort 2, v, t in descending order.
v, 2, t
Let b = -12 - -19. Suppose 4*d = -2*i - 22, -7*d = -i - 3*d + b. Put -3, i, 2 in increasing order.
i, -3, 2
Let r be 8/(-6)*(3 - 0). Let n = 8 + -4. Suppose 0 = -n*y + 3*y + 3*w - 2, w + 16 = -3*y. Sort y, 0, r.
y, r, 0
Suppose 0 = 9*w - 32 + 14. Sort 1/6, 0.4, 0.1, w in descending order.
w, 0.4, 1/6, 0.1
Suppose 3*n = n - 70. Let u be (-2)/7 + (-3)/n. Sort u, -0.4, -0.1.
-0.4, u, -0.1
Let m(g) = -4*g**2 + 30*g + 13. Let h be m(8). Sort 4, -2, 2, h in decreasing order.
4, 2, -2, h
Suppose 0 = -5*b + 7*b + 6. Let f = 6 + -2. Sort f, 0, b in decreasing order.
f, 0, b
Let t = 11 - 10.89. Let r = -0.01 + t. Sort -4, 2/3, r in decreasing order.
2/3, r, -4
Suppose 27*b = 22*b. Sort b, -1/5, -8, 2.
-8, -1/5, b, 2
Let a = 245 - 240. Let w be 0/(-2) - 12/2. Sort a, -4, w in decreasing order.
a, -4, w
Suppose -2*s = -3*m - 15, 0*m - 2*m = 2*s + 10. Let z be (-2)/7 - (-20)/70. Suppose z = 6*h + 12 + 12. Sort h, 2, m in descending order.
2, h, m
Let j = -0.1 - -0.05. Let k = j + 1.05. Sort -4, 2, k in decreasing order.
2, k, -4
Let x(n) = -n**2 - 4*n + 8. Let h be x(2). Let c(d) = -2*d + 4. Let s(t) = -t. Let y(f) = -c(f) + 5*s(f). Let g be y(-3). Put h, g, -2 in descending order.
g, -2, h
Let w = 1.55 + -1.35. Sort -43, w, 2 in descending order.
2, w, -43
Let j(t) = -6*t**2 + 1 + 8*t**2 + 0*t - 2*t + t**3. Let g be j(1). Put -5, g, 2/9 in ascending order.
-5, 2/9, g
Suppose -6 = 2*t + 4*l, -t + 4 = -7*l + 2*l. Put 2/3, -3, t in descending order.
2/3, t, -3
Let q = -0.3 - -0.2. Let m be (-2 + (-20)/(-12))*-1. Suppose 2*u - 5*s + 23 = 0, -4 = 2*u + 3*s - 5. Put q, u, m in descending order.
m, q, u
Let n be 2/(-7) - (-4)/14. Let l be (-9 - -9)*1/2. Suppose -4*s + l*s = 20. Sort n, s, -3 in decreasing order.
n, -3, s
Suppose -2*m + 4*m = 4. Let i be (3 + (-6 - -4))*5. Sort m, i, 3 in ascending order.
m, 3, i
Let g = -0.26 - -0.06. Let c = 6 + -3. Put c, g, 0 in decreasing order.
c, 0, g
Let k(a) = -a**3 + a - 4. Suppose 0 = 3*b - 21 + 3. Suppose -2*r = 3*o - b, o - r = 2*o - 3. Let u be k(o). Sort u, -1, 5 in decreasing order.
5, -1, u
Let a = -40.34 - -40. Let c = a + -0.16. Sort -3/2, -1, c in descending order.
c, -1, -3/2
Suppose m + 0 = 5*u - 8, 4 = u + m. Suppose 0 = -4*i + 3 - 11. Let h be 2/(i + 3/u). Sort h, -3, 4 in increasing order.
h, -3, 4
Suppose 0 = 21*c - 22*c - 6. Put c, -1, -2 in decreasing order.
-1, -2, c
Let m = -0.1 - 0.9. Let g = m + 5. Let l = -70/11 + 431/66. Sort -2, l, g in increasing order.
-2, l, g
Suppose 10*b - 2*b + 24 = 0. Let a be (-3)/(-9)*9*1. Sort a, -2, b in descending order.
a, -2, b
Let v(l) = -l**2 - 15*l - 18. Let s be v(-14). Let n be 2 - 0*s/16. Put -0.2, n, -5 in increasing order.
-5, -0.2, n
Let q be 14/(-40) - 16/40. Let c = -1/11 + -1/11. Put c, q, 2/15 in ascending order.
q, c, 2/15
Let t = -0.09 + -0.01. Let y = 10/33 - -1/33. Let v be (-9)/(-4)*(-3)/9. Put y, t, v in decreasing order.
y, t, v
Let d(m)