 3*a. Let b be c(2). Suppose -6 = -f - b. Suppose 3*l - 5*l = 3*d - 9, l - 5 = -2*d. Sort 5, l, f in descending order.
5, f, l
Suppose 2*v = -7 - 3. Suppose -3*p + 8 = p. Let z = -8 - -12. Put v, z, p in descending order.
z, p, v
Suppose -5*p = 4*i + 4, -4*i + p + 2 = 6. Sort 4, -14, i.
-14, i, 4
Let y(w) = w + 7. Let b be y(0). Suppose -4*x = 3*k + b - 3, 5*x + 5 = -3*k. Sort 3, x, -0.3.
x, -0.3, 3
Let y be (0 + 1)*3/(-15). Let c = -0.9 + -0.1. Let q = 0 - c. Put -2/5, y, q in decreasing order.
q, y, -2/5
Let n = 5.04 + -5. Let w = n - 0.14. Put 3, 4, w in ascending order.
w, 3, 4
Let j = 0.2 - 0.7. Let d = -0.48 + 1.48. Sort 1/3, d, j in ascending order.
j, 1/3, d
Let m(r) = -r**3 + 4*r**2 - 5*r + 4. Let y be m(3). Let o(d) = -d - 5. Let s be o(-6). Sort y, -3, s in decreasing order.
s, y, -3
Suppose 4*s + 3*m = -43, s + 3 = -m - 7. Let v = 9 + s. Sort v, -2, 5 in decreasing order.
5, -2, v
Suppose 0 = -r + 2*r - 4. Suppose 4 = r*s + 2*k, -k = -2*s - 3*k + 4. Sort -1, s, 3 in ascending order.
-1, s, 3
Let p = 479/4 + -119. Sort -0.3, p, 0.4 in decreasing order.
p, 0.4, -0.3
Suppose g - 5 = -2*v, 26 - 3 = -g + 5*v. Suppose 0 = -0*a - 2*a - 10. Let p be 2 - (0 - -1) - 3. Sort p, a, g in descending order.
p, g, a
Let t be -1 + 2 - (-12)/(-10). Suppose -d + 4 = 2*w + 2, 3*w + 5*d = 17. Let n = 44/555 - -2/37. Put n, w, t in decreasing order.
n, t, w
Suppose -5*o = 5*o + 80. Sort 0, o, 5 in increasing order.
o, 0, 5
Suppose 3*p - 16 - 14 = 0. Let i be p/8 - (-1)/(-4). Let j be ((-18)/(-12))/((-1)/2). Sort j, i, -1 in decreasing order.
i, -1, j
Let z = -0.17 + -0.13. Sort 5, z, -5 in decreasing order.
5, z, -5
Let i be 15/(-40)*(-4)/6. Sort i, 0.3, 0.07.
0.07, i, 0.3
Let l be -3 + (4 - 1) - 3. Suppose -2*u - 2 = -u. Put u, l, 0 in decreasing order.
0, u, l
Suppose -l + 0 = 2*h + 1, -4*h - 5 = 3*l. Put 2, l, 6 in decreasing order.
6, 2, l
Suppose 0 = 4*o + 1 + 3. Suppose -6*w + w + 21 = 2*x, 12 = 4*x. Suppose -3*l - w = -0*d - d, -d - 2*l = 7. Sort d, o, 2.
d, o, 2
Let j(x) = -x**2 - 5*x + 0 - 5*x + 2*x - 2. Let v be j(-7). Sort 3, v, -1 in decreasing order.
v, 3, -1
Suppose -3*n + 4*n - 3 = -2*p, -11 = -2*n + p. Let j be (-4)/6*(8 - n). Let w = 2 - 2. Sort j, w, 2.
j, w, 2
Let h = -0.07 + 0.04. Let j = h - 1.97. Put 0.3, 2, j in increasing order.
j, 0.3, 2
Let m be 1 - (-27)/(-15) - -1. Sort -1, m, 5, 3 in decreasing order.
5, 3, m, -1
Suppose -2*v = -0*v + 5*i - 14, -4*i + 21 = 3*v. Let u = v + -13. Put -4, 4, u in descending order.
4, -4, u
Let o(x) = x**2 + 2. Let h be o(1). Sort h, 17, 1.
1, h, 17
Suppose 2*g - 4 = 2. Put -2/7, g, 0.8 in descending order.
g, 0.8, -2/7
Let n(j) = j - 7. Let i be n(6). Let f(s) = 2*s**3 + 1. Let g be f(i). Let t(h) = h + 5. Let k be t(-4). Sort 4, g, k in decreasing order.
4, k, g
Let l = -7.16 + 0.16. Let w = l - -15. Sort -0.3, w, 2/9 in decreasing order.
w, 2/9, -0.3
Let o = 12.4 + -13. Let m = 0.6 + o. Put 4, -3, m in descending order.
4, m, -3
Suppose -7 = 2*d + 7. Let p = 6 + d. Sort 1, 3, p.
p, 1, 3
Let v = 4 + -3.7. Let d = v - 0.5. Put 2, -4/7, d in increasing order.
-4/7, d, 2
Let k = -1 + 2. Let a = -2.2 - k. Let y = -3 - a. Sort 3, -3, y in ascending order.
-3, y, 3
Let x = -0.093 + 0.293. Let d = -16/3 + 182/33. Sort x, d, 0.3.
d, x, 0.3
Let p = 8 - 13. Let x = -59 - -175/3. Sort p, -2/11, x in ascending order.
p, x, -2/11
Let w(l) = -11 + 12*l + l**2 - 2*l**2 - l**2 + l**2. Let z be w(11). Suppose 3*s - 4*s + 4 = z. Put -4, s, -3 in ascending order.
-4, -3, s
Let n be (4/3)/((-20)/(-6)). Suppose 0 = 4*g + 3*i + 3, -3*g + 1 + 3 = -4*i. Let a be (-1 - -1) + g + 3. Sort n, -5, a in ascending order.
-5, n, a
Let m = 0.5 + -0.4. Sort -4/7, 1, m.
-4/7, m, 1
Let t = 3.1 + 10.9. Let k = t - 19. Sort k, 5, 0.
k, 0, 5
Let f = 1.3 + -1.26. Let a = -4.96 - f. Put 3, -1, a in descending order.
3, -1, a
Let v = -3 + 2.9. Let c = v - -3.1. Let k = c - 5. Put 3/5, 3, k in ascending order.
k, 3/5, 3
Suppose -2*f = z - 3, 4*z + f = 2 + 3. Let w = z - 6. Let q be 3 + ((-8)/(-2))/(-2). Sort -2, w, q.
w, -2, q
Let j be (1 - -1)*(5 - 0). Let n be 2/5 - 54/j. Let w be 16/(-6)*15/10. Put -3, w, n in descending order.
-3, w, n
Suppose -5*f = -3*y + 35, 3*f + 47 = 4*y + 15. Put 0, y, -1, -5 in decreasing order.
y, 0, -1, -5
Let g = -100 - -97. Sort -4, g, -2, 1 in increasing order.
-4, g, -2, 1
Let z = 13 - 4. Let m = 13 - z. Suppose 3*q + 1 + 5 = 0. Put 0, q, m in increasing order.
q, 0, m
Suppose m - 6 = -m. Suppose -3*t = -7*t. Suppose -v = -t*v - 2. Put -4, m, v in decreasing order.
m, v, -4
Let m be 12/(3*(-2)/6). Let r be m*((-18)/4 - -4). Sort -2/5, 5, r in descending order.
r, 5, -2/5
Suppose 4*i + 8 = 0, -14 = -4*k - 3*i + 20. Let x be (-78)/(-15) - 2/k. Let l = 20 + -18. Put l, -1, x in decreasing order.
x, l, -1
Suppose 0 = -5*n + 4*n - m + 15, 2*n = -3*m + 35. Let z be ((-2)/n)/((-21)/(-35)). Sort z, 4, 1 in ascending order.
z, 1, 4
Let t = -82 - -84. Sort 1, t, 3.
1, t, 3
Suppose -5*d - 59 = -3*j, 0*j - j + d = -17. Let x = j - 17. Put 0, x, 5 in descending order.
5, 0, x
Let q = 1 + -1.2. Put q, 0, -4 in descending order.
0, q, -4
Let p(r) = -r**2 + 2*r - 2. Let u be p(2). Sort 5, u, 2 in decreasing order.
5, 2, u
Suppose 2*f = f - 5. Let t be 3/(-2) + 3/(-6). Let n be 0/(1 + (-2)/t). Put f, n, -4 in decreasing order.
n, -4, f
Suppose -m = 2*m - 12. Let n be (-55)/100 + (-1)/m. Let x = n - -37/40. Sort 4, -1/4, x.
-1/4, x, 4
Suppose -3*r = 7 + 8. Suppose 9*h = h. Put r, -4, h in descending order.
h, -4, r
Suppose 2*h - b + 13 = -2*b, 5*b + 9 = -2*h. Let s be (-12)/7 + 2/h. Put 4, -5, s in ascending order.
-5, s, 4
Let a = 1499815/6590584 - 1/190113. Let s = -76015/39 + 1949. Let j = a + s. Sort -5, j, 3 in descending order.
3, j, -5
Let p = -30.2 - -30. Sort -16, p, 2.
-16, p, 2
Suppose z = -4*a + 67, 0 = 3*a + 2*z - 6*z - 55. Sort -2/3, 0, a in descending order.
a, 0, -2/3
Let l(p) be the second derivative of p**3/3 - 5*p**2 + 7*p. Let q be l(6). Sort -3, q, 4 in descending order.
4, q, -3
Let r = 58/301 - -4/43. Put -0.2, -4, r in decreasing order.
r, -0.2, -4
Let b = 0.15 - 0.05. Let k = -0.3 + -0.2. Sort k, 7, b in decreasing order.
7, b, k
Let y(a) = 2*a + 9. Let r be y(-4). Put r, -3, 3 in decreasing order.
3, r, -3
Suppose 5*k + 9 + 10 = -q, 0 = 4*k + 3*q + 13. Let n = 2 + -1.4. Let j = n - 0.3. Put k, j, 5/3 in ascending order.
k, j, 5/3
Let b(m) = -3*m**2 + m. Let i be b(1). Let o = 8 - 7.87. Let u = -0.23 + o. Sort u, 2/13, i.
i, u, 2/13
Suppose 3 = 3*m, 5*g + 3*m + 128 = m. Let r be g*((-3)/6 - -1). Let c be 2/r - (-189)/(-39). Put 3, 2, c in decreasing order.
3, 2, c
Suppose 2*p + 12 = 6*p. Sort p, -2, -1, -3.
-3, -2, -1, p
Let h = -20 - -18. Sort h, -10, 4, 2 in descending order.
4, 2, h, -10
Let u be 0 - 70/(-72) - 1. Let n = u - 23/36. Let t(r) = 3*r**2 - 1. Let l be t(-1). Sort -1/12, l, n in decreasing order.
l, -1/12, n
Let n = 0.2 + -0.2. Sort n, 0.06, -0.3 in descending order.
0.06, n, -0.3
Suppose 0*o = -3*o. Suppose 3*m + o*m = 9. Suppose -4*u - 3*b + 17 = -2*b, 0 = u + m*b + 4. Put -1/2, u, 0 in increasing order.
-1/2, 0, u
Let z be (-2)/(2 + (-4)/3). Let c = 1 + z. Sort -3, c, 2 in descending order.
2, c, -3
Let v(u) = -u - 6. Let q(o) = -1. Let h(f) = -6*q(f) + v(f). Let b be h(-4). Sort 2, -2, b.
-2, 2, b
Let v(k) = k**2 - 5*k - 1. Let g be v(6). Suppose 0*o + 5*h - 27 = -o, 4*o + 5*h - 33 = 0. Let i be 2/(1/(1/(-1))). Put i, g, o in increasing order.
i, o, g
Let q(r) = -r - 2. Let d be q(-6). Let c = 23 - 25. Sort c, d, 0.5 in decreasing order.
d, 0.5, c
Suppose 0 = a + 4, 0 = -p - 4*p - 4*a - 6. Suppose -w + 6*s - 2*s + 9 = 0, -p*w + 2*s + 36 = 0. Let h be (-87)/w + 2/14. Sort h, -3, -5.
-5, h, -3
Let h be (2 - 0)*6/12 - -2. Put -9, 5, h in decreasing order.
5, h, -9
Let z be 2/(-5) + (-1)/(-6). Let t = 1/6 - z. Sort t, -4/3, -3 in decreasing order.
t, -4/3, -3
Let m = 0.03 + -1.03. Let q = m + 0. Put -5, q, 5 in descending order.
5, q, -5
Let f(h) = 4*h - 31. Let o be f(7). Let w = 1 - -4. Suppose u + 2*u - 1 = 2*c, 0 = w*c - 3*u + 7. Put c, o, 5 in increasing order.
o, c, 5
Let m = 2 + 2. Suppose 3*y - m = 2. Sort y, -4, -1 in descending order.
y, -1, -4
Let n = 0 + 1. Suppose -20 = -5*p - 5*q, 3*p - n = -2*q + 12. Suppose 4*k - i = -6*i + 19, 4*k + 8 = 4*i. Sort p, 0, k.
0, 