1 - (-6)/10). Sort k, 1, 5 in descending order.
5, k, 1
Let s be (-4)/(-2 - 6/3). Put s, -2, -1 in ascending order.
-2, -1, s
Suppose -4 = 5*q + p + p, 3*p + 6 = -5*q. Sort -4, -1, q in decreasing order.
q, -1, -4
Let t(a) = -a**2 + 4*a + 1. Let z be t(5). Let l be 0 + 4 + (z - -3). Suppose -5*f - 15 = 5*o, -2*f - f = 12. Sort o, l, -3 in descending order.
l, o, -3
Let d = 5 - 1. Let y be (-2)/d - 10/(-4). Suppose -3 = -y*i + 1. Sort i, 4, 1 in descending order.
4, i, 1
Let n = 0.08 - 4.08. Put n, 2, -3 in increasing order.
n, -3, 2
Let q = 13 + -13. Sort -4, -0.2, q, -2 in decreasing order.
q, -0.2, -2, -4
Let w(u) be the first derivative of -u**4/4 - u**3 + u**2/2 + 3*u - 1. Let t be w(-3). Suppose 4*j = -0*j + 8. Put -4, t, j in increasing order.
-4, t, j
Let a = -3.2 + 2.8. Put -0.7, a, -1 in ascending order.
-1, -0.7, a
Let x = -0.08 + 2.08. Let d = 1 + x. Let o = -64 + 194/3. Sort d, o, -3 in descending order.
d, o, -3
Let i = 0.06 - 0. Let g = -5.06 + i. Let k = 3 - 3.2. Put k, 1/2, g in increasing order.
g, k, 1/2
Suppose 0 = -5*g - 2*t - 9, -6 - 3 = 3*g + 3*t. Put 5, g, -18, -4 in decreasing order.
5, g, -4, -18
Suppose 0 = 55*m - 58*m + 3. Sort 3, -5, m, -1 in decreasing order.
3, m, -1, -5
Suppose 0 = 4*o - m - 5 - 7, 2*o - m - 8 = 0. Suppose -2*n + 11 = -3*p, -3*n + o*p = -3 - 16. Let u be 33/(-7) + (-2)/n. Put 5, u, 4 in ascending order.
u, 4, 5
Suppose 7*k - 4 = 11*k. Sort 2/11, 1/6, k in ascending order.
k, 1/6, 2/11
Let f = 1.2 - -3.8. Let b = -660/7 - -94. Let v be -1*96/42 - 2/(-7). Sort f, b, v in descending order.
f, b, v
Let q be (4/8 - 1)*2. Let x(k) = 6*k - 1. Let z be x(-1). Sort q, z, -2 in increasing order.
z, -2, q
Let q = 0.02 - 0.42. Let j = 3.5 - 3.5. Suppose -3*v = -0*v - 5*f - 4, -6 = 2*v + f. Sort q, j, v in descending order.
j, q, v
Let z = 0.01 + -4.01. Sort 3, z, 0.2.
z, 0.2, 3
Suppose 4*m + 1 = -3. Sort -3, m, -5, 1/6.
-5, -3, m, 1/6
Suppose -5*f = -2*r + 16, -r - 10 = 2*f - 0*f. Let z(b) = 5*b - 1. Let u be z(1). Sort u, f, -1 in increasing order.
f, -1, u
Let t be 5/(-30) + 2/(-12). Sort -2, t, 4.
-2, t, 4
Let v(y) = 2*y - 2*y - 1 - 3*y. Let h be v(-3). Let g = h - 12. Sort 5, -2, g in decreasing order.
5, -2, g
Let y be -5*(-3)/9*3. Let g = 0 + -0.5. Put -1, y, g in descending order.
y, g, -1
Let z = -4/189 - -494/5481. Sort 2/15, z, 3 in ascending order.
z, 2/15, 3
Let o(w) = 7*w - 2. Let r be o(2). Let b be (r/16)/((-3)/(-12)). Suppose -5*d + 2*c = -d, -3*d = 3*c + 9. Put b, d, -3 in decreasing order.
b, d, -3
Let c be (-15)/5 + -1 + 6. Put c, -2, -1 in descending order.
c, -1, -2
Let o be (3/12 - 0)*4 - 1. Sort o, 2, -1/3.
-1/3, o, 2
Let v(x) = -x**2 - 8*x + 10. Let p(m) = -m - 18. Let i be p(-9). Let b be v(i). Put -1, b, 10 in increasing order.
-1, b, 10
Suppose -1 - 5 = 3*h. Let w = h + -3. Let m = 6 - 3. Sort w, -3, m.
w, -3, m
Let x(k) = k**3 + 6*k**2 + 5*k - 4. Suppose -2 = -c - 6. Let n be x(c). Suppose 0 = 5*s - 33 + n. Put -5/6, -1/10, s in ascending order.
-5/6, -1/10, s
Let k be (6/10)/(12/(-60)). Let w = -10 - -5. Put -2/5, w, k in descending order.
-2/5, k, w
Suppose 0 = -w + 4, -4*p + 3*w - 1 - 7 = 0. Put -5, 6, p in descending order.
6, p, -5
Suppose 4*m + 2*y - 20 = 0, -2*m = 3*m + 4*y - 28. Let t(a) = -a - 4. Let x be t(-3). Suppose -v - 4*v - 25 = 0. Sort v, m, x.
v, x, m
Let i = -2.06 + 0.06. Let m = 1.2 + -0.2. Let n = i + m. Put -1/4, 2/13, n in ascending order.
n, -1/4, 2/13
Let u = -22 - -40. Let v = -14 + u. Put -0.2, v, -5 in ascending order.
-5, -0.2, v
Let k = 0.16 + 3.24. Let a = k + -3. Suppose -3*i + 21 = -4*r, 3 = 4*i - 3*i. Sort a, 3/2, r in decreasing order.
3/2, a, r
Let g = 6 - 9. Let y = g - -3.4. Sort -2, y, 3 in decreasing order.
3, y, -2
Let i = -6 - -8. Let c be 0*(-3)/(8 + 1). Sort 0.4, i, c in descending order.
i, 0.4, c
Let d be 2 + 1 - (-2)/(-2). Put d, 0.5, 1 in decreasing order.
d, 1, 0.5
Let j = -11 + 5. Let d = -11 + 22. Let f = j + d. Sort f, 2/17, -2/13 in descending order.
f, 2/17, -2/13
Let r(f) = -1 - 5 + 5 - 2*f. Let d be r(1). Sort -2, d, -5 in increasing order.
-5, d, -2
Suppose 4*x + 20 = 0, -5*g + 2*x + x + 10 = 0. Suppose 5*s - 2*m = -7*m, 0 = 5*s - m + 24. Sort s, 2, g in descending order.
2, g, s
Let d = -2 + 5. Suppose -k = -2 + d. Put k, -3, -5 in decreasing order.
k, -3, -5
Let s = 99.2 - 99. Put -2/3, -0.8, s in decreasing order.
s, -2/3, -0.8
Let k = -22 - -12. Let g = -14 - k. Put -3, g, 1 in descending order.
1, -3, g
Let f be (-2)/(-4)*(0 + 0)/2. Sort 2, -2, f, -3 in descending order.
2, f, -2, -3
Let c(b) = -b**3 - 5*b**2 + b + 2. Let n be c(-5). Put 5, n, 1 in ascending order.
n, 1, 5
Suppose 5*j - 12 = 2*j. Suppose 0 = -3*k + r, -j*k = -3*r - 2*r. Put 1, k, 3 in decreasing order.
3, 1, k
Let a be 355/(-10)*(-2)/(-3). Let n = -23 - a. Suppose 2*f + 2*f + 8 = 0. Sort f, n, -1.
f, -1, n
Suppose -m + 10*m = m. Sort m, -14, -5 in descending order.
m, -5, -14
Let z = 184 + -188.14. Let d = z + 0.14. Let u = 147/20 - 38/5. Put -0.5, u, d in increasing order.
d, -0.5, u
Suppose 6 = -4*v + 2*v. Suppose 4*t + j - 6*j = -9, 0 = 5*t - 2*j - 10. Sort v, t, -4 in decreasing order.
t, v, -4
Let b = 2.058 - 0.058. Put b, -4/7, -20 in descending order.
b, -4/7, -20
Suppose 5*j + 3*g + 2*g = -40, -4*g + 45 = -3*j. Let r be 2 - (1 - 2)*j. Let t = r + 8. Put t, 4, -5 in descending order.
4, t, -5
Let l = 0.05 + 0.1. Let i = l - -5.85. Let z = i - 2. Sort z, 0, 1 in descending order.
z, 1, 0
Let t = -0.044 + 0.001. Let j = t + -3.857. Let l = j + -0.1. Put l, -0.4, 3 in increasing order.
l, -0.4, 3
Let m = 81 - 83. Suppose -2*l + 12 = 5*a, 5*a - 15 = -5*l - 0*a. Sort l, m, -0.4 in ascending order.
m, -0.4, l
Let k = 1/6 + -2/3. Let n = 0.09 - 3.09. Sort 0.5, n, k.
n, k, 0.5
Let c = -44 + 36. Put c, 3, -4 in increasing order.
c, -4, 3
Let d = -3.285 + -0.075. Let c = d - 0.74. Let u = c + 4. Sort 0, u, 4 in descending order.
4, 0, u
Let s = 0 - 0.3. Let h = s - 0.5. Let t = h - -0.4. Sort 2, -2/3, t in increasing order.
-2/3, t, 2
Let f = -25 - -26. Sort f, 4, -1 in ascending order.
-1, f, 4
Let q(m) = m**2 + 0*m**2 + 0*m**2. Let v be q(0). Put v, -2, -12 in decreasing order.
v, -2, -12
Let x be 4/(-14) - 18/(-14). Let p be (9 - 8)*0/(-2). Let u = x - p. Sort -5, u, -4 in decreasing order.
u, -4, -5
Suppose 15 = -s - 4*s + 3*d, 5*d + 9 = -3*s. Sort s, 2, 0 in ascending order.
s, 0, 2
Let h(u) = u**2 + 4*u. Let f(a) = a**2 + a. Let w(v) = -4*f(v) + h(v). Let y be w(1). Let c = 0 - y. Sort c, -5, -4 in decreasing order.
c, -4, -5
Let c = 2 + -18. Let x = c + 5. Let l = x - -6. Sort 0.5, l, 5 in increasing order.
l, 0.5, 5
Let f(v) = v**2 + 4*v + 4. Let d be f(-4). Let k be (60/(-18))/(4/(-6)). Suppose -s + 2*s = -k. Sort 0, s, d in decreasing order.
d, 0, s
Let l(m) = -m**2 + 6. Let h be l(-6). Let b be ((-2)/5)/(6/h). Let d be (0/(b/(-2)))/2. Sort 3, d, -1 in descending order.
3, d, -1
Let b = 477 - 145. Let g = b - 4318/13. Let m = 2 + -1. Put m, -5, g in decreasing order.
m, g, -5
Let j = 3.8 + -4.1. Let w(r) = r**3 + 5*r**2 + 5*r + 5. Let g = -6 - -2. Let s be w(g). Put j, 2, s in descending order.
2, s, j
Suppose 2*t - 18 = -t + 3*y, -2*t + 16 = -3*y. Let o be (t - 3) + 1 + -1. Let w be o/(((-21)/3)/(-1)). Put w, 0.2, -2 in ascending order.
-2, w, 0.2
Let s = 0.6 + -4.6. Put s, 0.1, -5 in ascending order.
-5, s, 0.1
Let d = 11 - 7. Let f(m) = m**3 - 5*m**2 + 5*m - 3. Let o be f(d). Sort o, -1, 5 in increasing order.
-1, o, 5
Let q = -6 + 5.7. Suppose 0 = -43*t + 42*t. Put -4, t, q in descending order.
t, q, -4
Let d(u) = 3*u**3 - 2*u + 1. Let b be d(1). Sort b, -2, 4, 1 in descending order.
4, b, 1, -2
Let a = 98 + -100. Sort -1/2, -1/4, a, -0.07 in decreasing order.
-0.07, -1/4, -1/2, a
Let l(r) = r + 3. Let n be l(-3). Suppose n = -3*u - 0*u + 18. Suppose u = -g + 2. Put 0, g, 5 in decreasing order.
5, 0, g
Let x = -33 - -35. Sort -31, 1, x in decreasing order.
x, 1, -31
Let b be (2 - 3)*(-2 - -1). Let s = b - 1. Suppose -5*j + 2 = 3*h, 0*j + 4*h + 1 = -3*j. Sort -1, s, j in decreasing order.
j, s, -1
Let t = -1104/145 - -2/145. Let x = t + 36/5. Sort 2, 3, x.
x, 2, 3
Suppose 5*l + 53 + 22 = -3*p, -56 = 3*l + 4*p. Let w(a) = a + 16. Let h be w(l). Suppose -9 = -5*j + 6, 4*g + 4*j + 8 = 0. Sort -3, g, h.
g, -3, h
Suppose -19 = -2*f - 3*f - 2*c