m
Let x be (-2)/(-4)*(-4)/(-2). Let l be (2/3)/((-6)/18). Put l, x, 4 in descending order.
4, x, l
Suppose 0*j - 2 = -j + c, 5*j = -2*c - 11. Let q be (0 + 0)/((-2)/(-2)). Suppose -2*v = -q*v + 10, -2*l - 3 = -v. Sort -2, l, j in descending order.
j, -2, l
Let s = 113 + -112. Sort 0.04, -0.1, -0.5, s.
-0.5, -0.1, 0.04, s
Let c be 3*(-2 + 4)/6. Suppose -j + 79 = 5*m, -4*j = 4*m - m - 61. Suppose y + 4*y + 4*g - 1 = 0, y - 3*g = -m. Sort y, c, -2.
y, -2, c
Let x = -4/9 - 2/9. Let j be 3/4*2/9. Let v be 3 + ((-4)/2 - -1). Put j, v, x in decreasing order.
v, j, x
Let f be (-2)/15 - (-73)/(-15). Sort 3, f, -3 in decreasing order.
3, -3, f
Let g = 2.93 + 0.07. Let q = 67 + -69.9. Let f = q + g. Sort -3, f, -2 in descending order.
f, -2, -3
Suppose -t - 2*t - 10 = -2*z, -3*t = -4*z + 8. Put t, -3, 1 in decreasing order.
1, -3, t
Let a be (-24)/(-9)*6/(-4). Let u(g) = g - 4. Let f be u(6). Put a, f, 4 in decreasing order.
4, f, a
Suppose 0 = -19*j - 22 - 16. Sort j, 5, 3, 2.
j, 2, 3, 5
Suppose 3*o = 4*u + 15, 0 = 4*u - 0*o + 5*o + 7. Put -5, u, -2 in increasing order.
-5, u, -2
Let c(k) = k**2 - 2*k + k + k**2 + k**3 + 0*k - 1. Let t be c(-2). Let y be t/(-2) + 40/16. Sort -5, -2, y.
-5, -2, y
Let c(u) = -u**2 + 6*u + 4. Let a be c(6). Suppose -3*y + 22 = -5*x, -15 - 13 = -5*y + a*x. Sort y, -4, 1 in ascending order.
-4, 1, y
Let a(c) = -2*c**2 - c + 5. Let t be a(7). Let d be t/(-45) - (-4)/(-18). Sort 0, -5, d.
-5, 0, d
Suppose -2*o = 6 - 14. Put 1/10, -0.7, o, 1 in decreasing order.
o, 1, 1/10, -0.7
Let i(l) = l**3 + 4*l**2 + 5*l + 6. Let g be i(-3). Put -2, g, 2, 7 in increasing order.
-2, g, 2, 7
Let h = -55 - -56. Sort -3, h, -4, 2 in increasing order.
-4, -3, h, 2
Suppose -u - 2*o - 6 = 4, o = 5*u + 28. Let a(i) = -i**3 - 5*i**2 + 5*i - 8. Let v be a(u). Sort -4, v, -3 in descending order.
v, -3, -4
Let n = 6 - 7. Put 0, n, -3 in descending order.
0, n, -3
Let k = 0.08 - 0.02. Let l = k - 2.06. Sort 0.5, 2, l in descending order.
2, 0.5, l
Let j = -6 - -4. Let f = -2 - j. Put 4, -5, f in ascending order.
-5, f, 4
Let q = -19 - -39. Let k be (2/(-5))/(4/q). Sort k, -5, -1.
-5, k, -1
Let o(n) = -n**3 - 6*n**2 - n + 3. Suppose -4*m - 35 = -11. Let i be o(m). Let w(d) = -d**2 + 9*d + 5. Let r be w(i). Sort 4, r, 2.
2, 4, r
Let o(w) = -w**2 + 17*w - 18. Let y be o(16). Sort -4, y, -1 in decreasing order.
-1, y, -4
Let q = -0.7 + -0.3. Let r = q + 2. Let z = 0 - r. Put z, 1, 0.4 in descending order.
1, 0.4, z
Let m be ((-1)/(-1))/(-1) + 1. Suppose -2*w = 12 + 4. Let c be 6/8 - (-38)/w. Put c, m, -1 in ascending order.
c, -1, m
Let c(s) be the second derivative of s**4/12 - 3*s**3/2 - 3*s**2/2 - 4*s. Let o be c(7). Put o, -3, -5 in decreasing order.
-3, -5, o
Let l be 6/16 - (-1192)/64. Sort l, 0, -1 in descending order.
l, 0, -1
Let b = -15 - -9. Let o = b - -5. Sort o, 1, 0 in decreasing order.
1, 0, o
Let h = -11 + -9. Let u be h/(-6)*(-3)/(-2). Let l be (-10)/6 + 1 + 35/21. Put -3/5, l, u in decreasing order.
u, l, -3/5
Suppose 0 = 3*k + 5*x - 17 - 0, -4*k - 5*x + 21 = 0. Let u(q) = q**3 + 20*q**2 - 22*q - 26. Let t be u(-21). Sort t, 2/3, k.
t, 2/3, k
Let r be 100/36 - 2/(-9). Let z be (-78)/80 + r/5. Sort 4/9, 1, z.
z, 4/9, 1
Suppose 4*b = 6*b - 12. Let l(x) = -x + b - 3 - 3. Let n be l(-4). Sort 0, 3, n in decreasing order.
n, 3, 0
Let x(z) = 2*z - 29. Let y be x(13). Sort y, 1, 6 in ascending order.
y, 1, 6
Let g(c) = -c**3 - 25*c**2 - 25*c - 23. Let u be g(-24). Suppose -i = -2*i + 4. Put u, i, 0 in descending order.
i, u, 0
Let q = 9 - 20. Let k = q + 10.5. Sort 4, -1/7, k.
k, -1/7, 4
Let j = 0.04 + -4.04. Sort -3/4, j, 5 in descending order.
5, -3/4, j
Suppose -7 = s + i, -4*i - 23 = 5*s + 10. Let a = -249 + 2239/9. Sort -0.2, s, a in descending order.
-0.2, a, s
Suppose 2*m - l = -2*l + 10, -25 = -5*m - 2*l. Let o = -3 + m. Suppose 3*w + 3*p + 3 = 0, -p - p + 4 = 0. Sort o, w, -5 in descending order.
o, w, -5
Let i(f) = -f**3 - 9*f**2 - 8*f - 3. Let d be i(-8). Let p = -23 + 25. Sort p, d, -1.
d, -1, p
Let m be (-5)/(-35) - (-68)/14. Sort -5, 4, m in descending order.
m, 4, -5
Let r(q) = -7*q + q**3 - 3*q**2 + 7 + 10*q**2 + 4. Let c be r(-8). Let g = 2 - c. Sort -2/7, -3, g in increasing order.
-3, g, -2/7
Let m = -15 - -15. Sort m, 3, -5 in descending order.
3, m, -5
Let n = -0.4 + -2.6. Let i = -3.6 - n. Sort -0.1, -1/4, i in ascending order.
i, -1/4, -0.1
Let i(f) = -3*f - 45. Let h be i(-16). Sort h, -5, -4, 5 in ascending order.
-5, -4, h, 5
Suppose -20 = -5*r, -2*n + 5 = 4*r - 5. Suppose s - l = -3*l - 3, 5*l = -10. Suppose -4*a = a. Put n, s, a in ascending order.
n, a, s
Let d = -22 - -22.4. Put d, -1/3, -2 in decreasing order.
d, -1/3, -2
Let z = 0 + 0. Let t(o) = 9*o - 8*o + 1 - 6. Let r be t(6). Put z, r, 3 in decreasing order.
3, r, z
Let q = -8 + 11. Let p = 28 + -31. Put -1, q, p in descending order.
q, -1, p
Let g = 0.24 - 0.14. Sort -2/3, g, -1/2 in decreasing order.
g, -1/2, -2/3
Suppose -3*w - 8 - 4 = -3*q, 2*w - 2 = 0. Suppose 0 = -q*i - 3 - 17. Sort 4, i, 0.2 in decreasing order.
4, 0.2, i
Suppose 3*x - 16 = 2*j - 45, 12 = 3*j. Sort 2, x, 3 in descending order.
3, 2, x
Let d be 2/(5*1 + 0). Let p = -91 - -94. Put -0.4, d, p in decreasing order.
p, d, -0.4
Let s = -1 + 0.6. Put -1/3, -5, s in decreasing order.
-1/3, s, -5
Let w = -27/124 + -1/31. Suppose t = 5*t + 8. Sort w, t, -0.3 in decreasing order.
w, -0.3, t
Let f = -0.084 - -0.184. Sort -1, -0.3, f in ascending order.
-1, -0.3, f
Suppose f - 4*l - 19 = 2*f, -4*f - 4*l = 16. Let m be (-2 - (-3 - 2))/f. Put m, -1, 4 in increasing order.
-1, m, 4
Let o = -26 - -18. Sort -2, 3, o in increasing order.
o, -2, 3
Let o(w) = w**3 - 6*w**2 + 8*w - 9. Let f be o(5). Suppose 17 = -3*b - 1. Let a be b/10 + f/(-15). Put -3, a, 1 in ascending order.
-3, a, 1
Let f = 44 - 46.05. Let j = 0.05 + f. Let x = 41 + -38. Put x, j, -5 in increasing order.
-5, j, x
Suppose -2*q = -q + 5. Let x = 0.0717 + -0.0517. Sort q, x, 0 in increasing order.
q, 0, x
Let z = 12.06 + -0.06. Let b = z + -5. Let c = b - 6.6. Sort c, 3, 1/3.
1/3, c, 3
Let s = 0.8 - -3.8. Let k = -5 + s. Let x = 0.8 + k. Sort -5, -4, x in decreasing order.
x, -4, -5
Suppose 0 = 5*f - 4*t + 40, t + 13 = 4*f + 45. Let c = -308 - -2467/8. Sort f, c, -1 in descending order.
c, -1, f
Let p = -2 + 7. Let q(d) = 5*d**2 - 2*d + 1. Let h be q(1). Sort 2/17, h, p in ascending order.
2/17, h, p
Suppose d + d = -4. Sort -4, d, 4 in decreasing order.
4, d, -4
Suppose -2*s - 14 = -2*m, -5 = -5*s - 6*m + 3*m. Sort 8, s, 1.
s, 1, 8
Let k = 1 - 10. Let y = -13 - k. Put -2, -1, y in decreasing order.
-1, -2, y
Let c(f) = -f**3 + 27*f**2 + 26*f + 51. Let t be c(28). Sort 3, -4, t, 5 in descending order.
5, 3, -4, t
Let d = 0.5 + -0.2. Let s = 1733/8 - 217. Let a = 0.6 - 0.6. Put d, s, a in decreasing order.
d, a, s
Let o(b) = b**3 + 6*b**2 + 6*b. Let f be o(-5). Suppose -2 + 10 = -4*z. Let v be ((-1)/z)/((-3)/24). Sort v, f, 0 in descending order.
0, v, f
Let i = 0.54 - 0.5. Let l = i + -0.54. Sort 3, l, -0.4 in descending order.
3, -0.4, l
Let v = 1 - 2. Let g = 20 + -15. Sort -2, v, g.
-2, v, g
Let u be ((-9)/(-2))/(2 + (5 - 10)). Let a = 0 - 0.2. Sort a, u, 0.5 in descending order.
0.5, a, u
Let f = 44.6 + -45. Put -0.2, 2, -5/9, f in increasing order.
-5/9, f, -0.2, 2
Suppose 4*b = 2 + 10. Suppose -t + 2 = -b. Suppose -5*i - 3*l = 2*l - 15, 0 = 5*l - 5. Sort t, -2, i in descending order.
t, i, -2
Let o = 0.217 - -0.083. Sort o, -5, -0.2 in decreasing order.
o, -0.2, -5
Let h(n) = 2*n + 3. Let z be h(-4). Let r = -5 - z. Sort r, -5, -2 in descending order.
r, -2, -5
Let m(g) = g**2 + 4*g - 4. Let o be m(-5). Let k(t) = -4*t**2 + t - 1. Let d be k(o). Suppose 5 = -5*i, 5*h - 3*i - 2 = 6. Sort d, h, 4 in descending order.
4, h, d
Suppose 5*a - 21 = -v, 0 = -2*a - 0*v - v + 6. Put -4, 3, a in ascending order.
-4, 3, a
Let s = -203 + 198. Let m be (-3 - -1) + 32/18. Sort m, s, -0.2 in descending order.
-0.2, m, s
Let r be (-4)/(-10) + (-444)/(-15). Suppose -80 + r = -5*c. Let m = -6 + c. Put -2, m, 1/3 in descending order.
m, 1/3, -2
Let o = -27 + 31. Let u be 0/(-13) - o/26. Let n be ((-2)/(-4))/((-2)/8). Put n, -1/4, u in increasing order.
n, -1/4, u
Suppose 8*b - 5*b - 18 = 0. Let x be ((-24)/(-16))/(b/20). Put 4, -4, x in descending 