40. Sort m, u, b in increasing order.
u, b, m
Let k = 1.2 + -1. Let n = k - 3.2. Let m = -3.4 + -0.6. Sort 3, n, m in increasing order.
m, n, 3
Let r = 0 - 11. Let l = -10.5 - r. Let a = -53/12 - -11/3. Put l, a, 2 in ascending order.
a, l, 2
Let m = 4.3 - 4. Sort 4, m, 11.
m, 4, 11
Let w = 18 + -23. Sort -1/3, w, 3/7 in descending order.
3/7, -1/3, w
Let k be ((-1)/9)/((-4)/(-3 - -15)). Let f(x) = -9 - 3*x + 6*x - 2*x. Let m be f(8). Put m, k, 3 in descending order.
3, k, m
Suppose 2*a = -7 + 17. Suppose -2*j - 3*y = 2*j - 29, 0 = -2*j - a*y + 25. Let r be 1*1*(0 - 1). Put -3, r, j in decreasing order.
j, r, -3
Let b = 15 - 9. Suppose -t = -b*t - 20. Put t, -3, 0 in decreasing order.
0, -3, t
Let y be -2 + 3 + (-1)/(-1). Sort -5, y, 20.
-5, y, 20
Let t = -6 + 9. Let k be (0 + 8)*(-5)/(-10). Let f = -5 + k. Sort 1, f, t.
f, 1, t
Let v = 1.6 + -1.5. Put 0, v, 2/9 in descending order.
2/9, v, 0
Let a = 0.01 - 2.01. Sort 0.1, 1, a in ascending order.
a, 0.1, 1
Let d be 13/5 + (-6)/(-15). Let v be 1/(-2 - -5)*d. Sort 4, -1, v in ascending order.
-1, v, 4
Let u(c) = -c - 5. Let a be u(-5). Suppose -7*o + 20 = -2*o. Suppose o*x - 9 + 1 = 0. Put -1, a, x in decreasing order.
x, a, -1
Suppose j = -3 + 6. Let c be 1/j - (-51)/(-99). Sort -0.4, -3, c in decreasing order.
c, -0.4, -3
Let o = 25.02 - 25. Let s = 1.98 + o. Put s, 7, 2/3 in descending order.
7, s, 2/3
Let w = 1122.97 - 1118. Let c = 0.03 + w. Put c, 2, -0.4 in descending order.
c, 2, -0.4
Suppose 2*j = 7 + 3. Suppose 2*i - 28 = -3*o, -5*o = i + 2*i - 46. Let y be (-2 - -1)/((-2)/o). Sort y, j, 0 in decreasing order.
j, y, 0
Let d be (0 + 2 + -1)*2. Let h(m) = m. Let g be h(d). Sort 3, 1, g in increasing order.
1, g, 3
Let z = 290 + -2034/7. Let b = -53 - -58. Sort z, b, -0.5 in descending order.
b, -0.5, z
Let t = 24 + -23.7. Let x = -6 + 2. Sort 2, x, t.
x, t, 2
Let n be (3/(-12) + 0)*12 - 3. Suppose -2*q - 2*g = -g, -g = 5*q - 3. Put -4, q, n in descending order.
q, -4, n
Suppose y = 2 - 6. Put -3, y, -1 in ascending order.
y, -3, -1
Let g(s) = -3*s. Let a be g(2). Sort 2, 0, a in ascending order.
a, 0, 2
Let y be 1*(-4 - 51/(-12)). Sort 2/7, -5/4, y in ascending order.
-5/4, y, 2/7
Let o = 31 + -20. Suppose 0*q + o = 5*d + 3*q, -3*q = -4*d + 25. Let p be 3/(-1) - 0 - -5. Sort p, 3, d.
p, 3, d
Let a be 3 + 10/(-1) + 14/7. Put a, 3, -7, 4 in descending order.
4, 3, a, -7
Let x = 22 + -38. Sort 2, -5, x.
x, -5, 2
Let v = 0 - 3. Put 1, v, -2 in increasing order.
v, -2, 1
Let t be 60/40 + 2/(-4). Sort -5, t, 0.5 in decreasing order.
t, 0.5, -5
Suppose 2*d - 60 = 3*p - 6, 2*d + 2*p - 34 = 0. Suppose 7 = 3*q - 8, 0 = -2*a + 5*q - d. Sort -4, a, -1 in decreasing order.
a, -1, -4
Let r = 36 + -33. Put -8, r, -2 in decreasing order.
r, -2, -8
Let m(b) = -2*b - 1. Let t be m(-2). Let k(g) = g**3 - 2*g - 1. Let x be k(t). Suppose -5*z + 0 = x. Put -1, z, -3 in increasing order.
z, -3, -1
Let h(r) = 2*r + 7. Let t be h(-5). Let a = -0.02 - 0.38. Sort a, -4/5, t.
t, -4/5, a
Let r = -11 + 13. Sort 4, r, -3 in decreasing order.
4, r, -3
Let k be ((-4)/16)/(3/(-12)). Let g be (2 - 2)/(4/(-2)). Sort -2, g, k in increasing order.
-2, g, k
Suppose 3*j = -2*a - 2*j, 0 = 3*a + 4*j. Let o = -15 + 27. Let k be 1/(o/(-10) - -1). Put a, k, 5 in ascending order.
k, a, 5
Suppose 2*k - 14 = -2*j, 3 - 13 = 2*j - 4*k. Let c(l) = -l**2 + 3*l + 3. Let a be c(j). Put a, 0, -2/7 in decreasing order.
a, 0, -2/7
Let o = -2 + 2.1. Let p = 0.6 - o. Sort 2, 4, p in decreasing order.
4, 2, p
Let u = -3.3 + 3.25. Put u, 0.2, -1 in descending order.
0.2, u, -1
Let u(l) = 75*l**2 - 2*l - 1. Let y be u(-1). Let r = 457/6 - y. Let c = -5.13 + 0.13. Put -0.4, c, r in increasing order.
c, -0.4, r
Let b(y) = -y**2 + 2*y + 3. Let x be b(-2). Let t = 6 + -8. Put 0, t, x in ascending order.
x, t, 0
Let n be 12 + -3 + -3 + -2. Let t be -3 + 2 + -1 + 6. Let a(w) = w**3 - 3*w**2 - 5*w + 4. Let g be a(t). Put g, -5, n in decreasing order.
n, g, -5
Let c = 5 - 4.97. Let j = 0.23 - c. Let k(h) = h**3 - 2*h**2 - 2*h + 1. Let z be k(3). Sort -3/4, z, j in increasing order.
-3/4, j, z
Let p be (-1)/(27/(-141)) - (-4)/(-18). Suppose 0 = -2*v - 3*v + 15. Sort -2, p, v.
-2, v, p
Let g be 1/2*(2 + -6). Suppose y - j = -y + 6, 5*y - 4*j - 21 = 0. Suppose 2*x - y = 3*x. Sort g, 2, x in increasing order.
g, x, 2
Suppose 205 = 3*t + 811. Let y = t - -3032/15. Put 2/9, -2, y in decreasing order.
2/9, y, -2
Let j be 0/(2/(-2) - -3). Put j, 4, -5 in descending order.
4, j, -5
Let d be (-2 + 3)/(2/(-10)). Let x = -2 - d. Suppose -x*m - 5*u = 16, -1 + 7 = -5*m + 2*u. Sort -3, m, -1.
-3, m, -1
Suppose 6 + 6 = -3*f. Let b be -1 + 1 + 1/(-1). Let o be (-1 - b)/(-3 + 1). Put 2, f, o in descending order.
2, o, f
Let k(o) = o + 11. Let f be k(-9). Suppose -14 = -y - 4*w, w + w - 16 = -f*y. Let m be 1 - (y - (1 + 1)). Sort -2, m, -5 in descending order.
-2, m, -5
Let m be (-2)/8 - 3/4. Let d = -769 - -769. Sort m, d, 3 in decreasing order.
3, d, m
Let v(i) = i**3 - 4*i**2 - 3*i - 12. Let r be v(5). Let y = 0.11 + -5.11. Sort -4, r, y in ascending order.
y, -4, r
Suppose -3*g - 3*t + 3 = 0, -g + 5 = -0*t - 3*t. Suppose 6*d + 3*d = 9. Sort 5, d, g.
d, g, 5
Let i(u) = 5 - u**2 - 2*u**2 - 2*u - 4 + 4*u**2. Let n be i(1). Sort n, 5, -5 in increasing order.
-5, n, 5
Let h = 15 - 10. Suppose -2*d - r + 3 = 0, -h*d + 0*d = r - 3. Let l be (3/9)/((-2)/(-24)). Sort l, -3, d.
-3, d, l
Suppose -6*w + 2 = -16. Suppose -3*a + 0*a - 2*k - 10 = 0, a = -4*k. Let d = a + 6. Put 1, d, w in decreasing order.
w, d, 1
Let r = -30 - -25. Sort 2, -1, r in ascending order.
r, -1, 2
Let h be 119/28 - 6 - (-1)/(-4). Put 3, 2/9, -0.2, h in descending order.
3, 2/9, -0.2, h
Let g = -1 - -3. Sort 1/3, 2/21, -5, g in descending order.
g, 1/3, 2/21, -5
Suppose 5*w = w - 4. Let b be w/5 - 56/20. Sort 1, b, 5 in descending order.
5, 1, b
Let g be ((-2)/3)/(2/6). Suppose -2*w = -17 + 5. Suppose -2*x + w + 0 = 0. Put -5, g, x in decreasing order.
x, g, -5
Suppose 3*g - 4*g = 0. Let n be (-12)/(-24) - 2/(-4). Sort 2, n, g in increasing order.
g, n, 2
Suppose -n - 2*c - 3 = 0, n + 7*c - 2*c = 0. Sort n, -0.1, 0.2 in increasing order.
n, -0.1, 0.2
Let n be (0 - 3) + 64/36 + 1. Put n, -0.2, -5 in decreasing order.
-0.2, n, -5
Let w(p) = 2*p + 1. Let l be w(5). Let m = 7 - l. Let n = -2 - -4. Sort -5, m, n in increasing order.
-5, m, n
Let j = -155 - -772/5. Let z(y) = -y**3 - 6*y**2 + 7*y - 3. Let u be 2/3*63/(-6). Let n be z(u). Put n, -5, j in descending order.
j, n, -5
Let r = 1 - -4. Let m be r*(-5 - (-3 - 1)). Sort -3, -4, m in increasing order.
m, -4, -3
Let g = -14 - -16. Suppose a - k = g*a + 1, 0 = 2*a + k - 3. Sort -0.4, a, -3 in decreasing order.
a, -0.4, -3
Let i be (-16)/12*2/(-4). Let q = 0.2 - 0.2. Let j(u) = -u - 13. Let n be j(-8). Sort n, q, i in ascending order.
n, q, i
Suppose 4*c = -5*l + 16, 2*l - 4*l = 0. Suppose -i - 2*h + c*h = -2, 4*i - 8 = 5*h. Let n = -9 + 6. Sort n, i, 0.
n, 0, i
Suppose -14 = -4*f + 5*g, 3*f + g + 5 = -3*g. Let z = f + 4. Let y = 1.99 + 0.01. Sort z, 3, y in ascending order.
y, 3, z
Let u be 567/(-117) + 2/(-13). Sort -1, 0.2, u in decreasing order.
0.2, -1, u
Let r = -9 + 1.5. Let c = 7 + r. Sort 0.4, c, -4 in ascending order.
-4, c, 0.4
Suppose -1 - 2 = -c. Suppose 0 = -3*k - 0*k, c*u + 3*k + 6 = 0. Sort u, 2/7, -3 in ascending order.
-3, u, 2/7
Suppose -6 = 5*v - 36. Let j be (v/(-9))/((-4)/6). Suppose -3*q - q = -5*s + 17, 0 = 2*q + 5*s + j. Put q, 0, 2 in increasing order.
q, 0, 2
Let c be 9/126*(-2 + 0). Let s = 4.18 - 0.18. Sort s, c, 0 in ascending order.
c, 0, s
Let f be ((-36)/(-32) - 1)*1094. Let r = f + -136. Sort 2/5, 2/9, r in descending order.
r, 2/5, 2/9
Let d(v) = v**3 + 6*v**2 + 3*v - 3. Let m be d(-5). Suppose -h - 3 = 0, 52 = 3*p - 2*h + m. Suppose -p = -5*s + 12. Put -5, s, 1/2 in increasing order.
-5, 1/2, s
Suppose 0 = 7*k - 8*k. Sort -5, -10, k in decreasing order.
k, -5, -10
Suppose 0 = 4*m - 7 - 9. Let z(k) be the first derivative of k**3/3 + 9*k**2/2 - 11*k - 3. Let d be z(-10). Put d, m, 0 in ascending order.
d, 0, m
Suppose u + 15 = 12. Suppose -3*x - 20 = 2*x. Put x, -1, u in descending order.
-1, u, x
Let o be (1/8)/((-1)/(-2)). Let d = 0.317 + 1.683. Sort d, o, -3 in increasing order.
-3, o, d
Let j = 0.4 - 0.7. Let v = -0.