k
Let a be (-1)/(-1 - 3/2). Put 5, a, -2/5, 1/8 in decreasing order.
5, a, 1/8, -2/5
Suppose 15 = -2*q - 13. Let b be (-4)/q + 12/(-21). Put b, 5, 2 in decreasing order.
5, 2, b
Let y = -9.7 + 10. Sort y, 2/21, -0.4 in ascending order.
-0.4, 2/21, y
Suppose -5*b - 7 = 8. Sort 5, 11, b in decreasing order.
11, 5, b
Let j be 43/9 - 18/(-81). Put 4, j, -5, -4 in descending order.
j, 4, -4, -5
Let r be (8/6)/((-12)/2). Let b be 10/44*88/110. Sort -2/13, r, b in increasing order.
r, -2/13, b
Suppose 3*r - a = 2*a, 2*a = r + 4. Suppose -12 = 4*x + 4. Suppose 4*c = m + 7 + 8, 0 = -2*c - 3*m - 3. Sort x, r, c in decreasing order.
r, c, x
Suppose 0*b = -b + 1. Suppose f = -1 - 2. Sort 3, b, f in ascending order.
f, b, 3
Let k be 1/(11/(-4) + 3). Sort 0, k, 1.
0, 1, k
Suppose c - 5*c - 16 = 0. Let s = c - -1. Let x be 3 + -3 + s - -8. Put x, 1/2, 4 in increasing order.
1/2, 4, x
Let r = -10 + 13. Suppose b + r = -b + 3*a, -12 = -4*a. Sort b, -4, -1 in descending order.
b, -1, -4
Let g be (1 - (6 - 3))/(-5). Let v(m) = -4*m - 1. Suppose 2*a + 3*a + s + 5 = 0, -5*a + 4*s = 5. Let w be v(a). Sort 5/2, g, w in decreasing order.
w, 5/2, g
Suppose -2*y + y + 11 = 0. Let j = -10 + y. Put j, 2, -3 in decreasing order.
2, j, -3
Let b(l) = 12*l**3 - l**2 - 2*l - 1. Let r be b(-1). Let k be r/15*(-1)/(-2). Sort -3, 1/4, k.
-3, k, 1/4
Let j = 8 + -11. Let i be j + 2 - (-2 - -1). Sort -1, 1, i in ascending order.
-1, i, 1
Let k = 3 + -6. Let h = -0.42 + 0.22. Sort h, k, 2/5 in descending order.
2/5, h, k
Suppose -4*m + 13 = -23. Let s be m/3 - (-2 - -1). Put -3, 1, s in decreasing order.
s, 1, -3
Let v = -29 + 29.5. Put v, -2, -0.1, -0.2 in descending order.
v, -0.1, -0.2, -2
Suppose 2*r = 3*r - 2*g + 9, 3*r - 3*g = -18. Let d(w) = -w**3 + 7*w**2 - 7*w + 9. Let z be d(6). Sort z, r, -2.
r, -2, z
Let l = -1.972 + -0.028. Put -0.5, l, 3/2, -0.2 in decreasing order.
3/2, -0.2, -0.5, l
Let i = 4 - 4. Sort -2, i, 0.4.
-2, i, 0.4
Let p be ((2 - 3)*5)/(-1). Put 0, -3, p in ascending order.
-3, 0, p
Let z = 3 + -4. Suppose -2*s = s. Let m be s + 1 + (2 - 5). Put z, -5, m in increasing order.
-5, m, z
Let b = -132 + 132.4. Sort b, -0.7, -0.2, 5 in decreasing order.
5, b, -0.2, -0.7
Let r = -4 + 0. Let k be r/(2/(-4)*-2). Suppose 2*q = 7 + 3. Put q, k, -2 in descending order.
q, -2, k
Let n = -20 + 24. Let v = n - 3.96. Put v, -5, -0.5 in descending order.
v, -0.5, -5
Suppose 5*v + 4*b - 9*b = 0, -3*v = -4*b. Let l(a) = -a**3 - a**2 + a - 4. Let m be l(v). Let h = -5 + 3. Sort h, -1, m in decreasing order.
-1, h, m
Let l be (1 + 1)/(-4 + 3). Let y be (6 - (-1 - -3)) + l. Let n be (-2)/17 - (-16)/136. Put y, n, 1 in decreasing order.
y, 1, n
Let v = 27433/884 - -48/221. Let m = -31 + v. Let c = -0.04 + 0.34. Sort 0, m, c in ascending order.
0, m, c
Let q = -10 - -12. Sort -3, 4, q in descending order.
4, q, -3
Let l = 8 + -12. Put 4, -1, l in increasing order.
l, -1, 4
Suppose v + 8 = 2*g - 3*g, 4*g - v + 17 = 0. Let n = -9 - g. Suppose 3*j = 1 - 4. Sort j, n, 5 in ascending order.
n, j, 5
Let y be 36/(-17) + 2/17. Put -7, y, 2 in descending order.
2, y, -7
Let q = 30 + -34. Let c = -0.2 - -0.3. Sort c, 0, q in descending order.
c, 0, q
Let l be 2/(-10) - 11/(-5). Let x be l*3/12*0. Let b be (6/15)/((-2)/20). Put x, b, -3 in increasing order.
b, -3, x
Let d = -8 + 19. Suppose d = 2*o + 5*a, 5*a - 1 = 4. Suppose 2*z + 5*x + o = -4, -19 = -4*z + x. Sort z, 3, 0 in decreasing order.
z, 3, 0
Let w(q) be the first derivative of 2*q**3/3 - q + 10. Let f(j) = j**3 - 3*j**2 + 3*j - 1. Let v be f(2). Let x be w(v). Put -4, 0, x in ascending order.
-4, 0, x
Suppose 3*u = 5*u + 6. Let d(m) = m**3 + 5*m**2 + 7*m + 1. Let o be d(u). Sort 2, 5, o.
o, 2, 5
Let d = -19 + 15. Let a = 8 + d. Let u(r) = r**3 - 2*r**2 - 3*r + 3. Let s be u(2). Sort a, 1/5, s.
s, 1/5, a
Let v be 33/(-28) + (-6)/(-8). Let j = -19 - -19.1. Put v, 0.4, j in descending order.
0.4, j, v
Suppose -z = 4*z. Let p = 15 + -25. Let v = p - -9. Sort z, 0.3, v in increasing order.
v, z, 0.3
Suppose 0*h + 3 = h. Suppose d - h = -0*d. Suppose 3*z - k = -0*k - 2, 5*k + 6 = -z. Sort d, z, -5 in decreasing order.
d, z, -5
Let p(c) = -5*c + 5. Let x be p(2). Sort 5, x, -1, 0.
x, -1, 0, 5
Let d be (3 + -1)*2*-1. Suppose -3*m + 2*m - 19 = -5*h, -m = 3*h - 5. Suppose -2*k + h = -s, 3*s - 27 = -2*k - k. Put k, d, -1 in decreasing order.
k, -1, d
Let s(r) be the second derivative of -r**4/12 - 5*r**3/6 - 3*r**2/2 + 2*r. Let m be s(-4). Sort 0, 4, m.
0, m, 4
Suppose -3*r + 4 = 4*g + 1, 0 = -g - 4*r + 17. Let s(u) = -u**3 - 3*u**2 - 1. Let q be s(g). Put 4, 0, q in descending order.
4, 0, q
Let u(z) = z - 9. Let y be u(13). Suppose 5*g = 2*g + a + 12, 4*g = 5*a + 5. Put y, g, -2 in decreasing order.
g, y, -2
Let j = -4.19 - -0.19. Let f = 0.1 - -0.4. Put 2/9, j, f in increasing order.
j, 2/9, f
Let b be 0*(-1)/(1 + 1). Suppose t + 1 = 0, b = -x - 6*t + 4*t + 1. Let h = 5 - x. Put 5, 3, h in ascending order.
h, 3, 5
Let y = -36 + 25. Let x = y + 14. Sort -3/4, x, 0.1 in decreasing order.
x, 0.1, -3/4
Let n be 1*(-4 + 3 + -1). Sort 4, 5, n in decreasing order.
5, 4, n
Let h = -0.28 + 0.08. Let f = h + -3.8. Put 4, f, -0.3 in ascending order.
f, -0.3, 4
Let m be (6 - (3 + -2)) + -2. Let x(b) = 3 - b + m + 5. Let w be x(7). Put -2, 3, w in increasing order.
-2, 3, w
Let m be 6/(-8) - (-2 - 50/(-8)). Put 2, m, 1, -3 in ascending order.
m, -3, 1, 2
Let p(q) = 2*q**2. Let m be p(-1). Let t = 3 - m. Put t, 3, 4 in decreasing order.
4, 3, t
Suppose -30 + 5 = -p - 3*g, 3*p + 3*g - 45 = 0. Let u be 3/p*(-2672)/12. Let y = -67 - u. Sort -0.5, 3/4, y in increasing order.
-0.5, y, 3/4
Let i be (3/(-4) + 1)/(-1). Let w = 4 - 2. Let r = w + -2. Sort r, -0.3, i in increasing order.
-0.3, i, r
Let i = 2.7 + -2.7. Put -4, i, -3/7 in increasing order.
-4, -3/7, i
Let s(m) = 2*m + 4. Let w be s(-4). Sort -2, w, 0.5 in ascending order.
w, -2, 0.5
Let l = 3/416 + 309/416. Let b = 4 + -1. Sort b, -0.4, l in increasing order.
-0.4, l, b
Let n = 1/283 + -287/1132. Sort -1/2, -1, n, -18 in descending order.
n, -1/2, -1, -18
Let q be (-4)/(-4)*(1 + 2). Suppose 5*u = q*d - 0*u - 29, 2*d + 3*u + 6 = 0. Sort -2, d, -3.
-3, -2, d
Let o = -233030 + 2566500/11. Let t = o - 288. Sort 2, -0.4, t.
-0.4, t, 2
Let p(x) be the second derivative of x**4/12 + 5*x**3/6 + 3*x**2/2 - 2*x. Let j be p(-4). Let t be 6/12 - 5/2. Sort j, t, -3 in increasing order.
-3, t, j
Let c(l) = 10*l - 8. Let z be c(2). Let o be ((-3)/4)/((-1)/4). Put -0.4, z, o in ascending order.
-0.4, o, z
Let c = 10/11 - 37/77. Sort 42, c, 1/7 in descending order.
42, c, 1/7
Let r = 7 + -6.7. Let k be ((-2)/(-3))/((-2)/4). Let t = 124 - 1366/11. Sort k, t, r in descending order.
r, t, k
Suppose 4*w + 5 = -3*v, -4*w + 11 = -3*v - 2. Suppose 0 = -2*p - 10 + 4. Sort p, 5, w.
p, w, 5
Let i = 49 + -47. Suppose 0 = d + 1. Put d, i, -13 in decreasing order.
i, d, -13
Let a(y) = -y**3 + 4*y**2 + 8*y - 5. Let k be a(5). Suppose -c = 3*b - 6 - k, -5*b - 4*c = -15. Let v be 2/(-1) - b/(-1). Sort -5, v, -1 in descending order.
v, -1, -5
Let u be (-2)/((-5)/((-10)/(-3)) + 1). Let h = -4.94 - 0.06. Sort h, -1/2, u in descending order.
u, -1/2, h
Suppose 14 + 0 = -2*k. Put 4, -2, k in increasing order.
k, -2, 4
Let x be (4 - 6/2)*2. Let a = -0.1 + 1.1. Put a, x, -5 in ascending order.
-5, a, x
Let o(z) = -z**3 - 5*z**2 - z - 4. Let h be o(-5). Put h, -0.2, -1 in ascending order.
-1, -0.2, h
Let t be (9/(27/6))/1. Sort 4, t, -5, 1.
-5, 1, t, 4
Let j = 0.4 + -0.3. Let v = -0.04 + j. Let a = v - -1.94. Put a, 5, -2 in descending order.
5, a, -2
Let m be (-8*(-5)/140)/(2/28). Let z be 1/4*1*4. Put m, 5, z in descending order.
5, m, z
Let y be (2/(-2))/((-1)/(-1)). Let r = y - -4. Let o be 0 + (2 - 3) - -5. Put r, o, -2 in descending order.
o, r, -2
Let j(w) = -2*w**2 + 21*w - 11. Let h be j(10). Sort -4, -5, h in descending order.
h, -4, -5
Suppose 4 = -4*i + 20. Put i, -4, -5 in ascending order.
-5, -4, i
Suppose 0 = 3*k - 0 - 6. Sort k, -1, -3 in increasing order.
-3, -1, k
Let p = -31 - -32.4. Put -0.5, p, -2/9 in ascending order.
-0.5, -2/9, p
Let f = 0 + 0.5. Let n = 0.66 - 0.6. Let o = n - 2.06. Sort -5, o, f in descending order.
f, o, -5
Let i = 10/31 + 187/93. Put i, 2, 1 in decreasing order.
i, 2, 1
Let g = 7 + -7.48.