. Let k be 1/(-2)*(-1 - -7). Sort v, k, s in increasing order.
k, s, v
Let a(x) be the first derivative of x**2/2 + 6*x + 1. Let r be a(0). Suppose -3*n + r = -5*n. Sort -5, n, 4 in descending order.
4, n, -5
Let p = 1.6 - 1.9. Sort 3, p, 3/2.
p, 3/2, 3
Let s(g) = -g**3 - 7*g**2 - 5*g + 6. Let u be s(-6). Suppose 3*y + 97 = 4*h + h, 0 = 3*h + 3*y - 39. Suppose -h = -o - 22. Put -4, o, u in decreasing order.
u, -4, o
Let n = 65.1 + -65. Put -3, -2/15, n in decreasing order.
n, -2/15, -3
Let q(t) = -t + 6. Let i(m) = 8*m**3 - m**2 + m - 1. Let a be i(1). Let u be q(a). Put 4/9, 1/7, u in decreasing order.
4/9, 1/7, u
Let c(l) = -l**3 - 4*l**2 - 3*l - 3. Let h be c(-3). Sort h, -1, -4 in descending order.
-1, h, -4
Let v = -3 + 1. Let x = 55 + -52. Put 1, v, x in decreasing order.
x, 1, v
Let v(a) = -a**3 - 10*a**2 - 15*a + 13. Let r be v(-8). Suppose 0 = -3*y - 3. Put r, y, -3 in increasing order.
-3, y, r
Suppose k + 5*p = -3*k - 7, 3*p + 17 = 4*k. Sort k, 3, 18.
k, 3, 18
Let l = 131 + -131.5. Put -2, l, -3 in increasing order.
-3, -2, l
Let a = 0.2 + -0.6. Let t = -38 + 39. Let d be 45/(-10) + (2 - -1). Put t, a, d in descending order.
t, a, d
Let x(u) = -u + 2. Let f be x(0). Suppose 3*h - f = 10. Put h, -4, 3 in descending order.
h, 3, -4
Suppose 0 = -2*x - 5*s + 11 + 4, -x - 5*s + 15 = 0. Let w be x + (-4)/3 + 2. Put -4, -3, w in increasing order.
-4, -3, w
Let j = -34 + 33.5. Sort 0.1, j, 2/7, -3/11.
j, -3/11, 0.1, 2/7
Let m = -95 + 91. Let l = 2.9 + -3. Put m, l, 2/3 in descending order.
2/3, l, m
Suppose -4*c = -c - 4*o - 29, 3*c = 5*o + 31. Put -5, c, 2, -3 in ascending order.
-5, -3, 2, c
Let x = -64 + 64. Sort x, 4, -37.
-37, x, 4
Let p be -7 + 3 + (-2 - 1) - -3. Let i be -1 + 1 + (-1 - -2). Sort i, 5, p.
p, i, 5
Let k = 253/9 - 28. Let g = 0 + 3. Put g, 5, k in increasing order.
k, g, 5
Let r = -0.038 + 0.038. Sort 0.3, -2/5, r, -0.2 in ascending order.
-2/5, -0.2, r, 0.3
Suppose -a = 3*q - 4 + 20, -7 = 2*a + q. Suppose -2 = -h + 2*h. Put 5, h, a in descending order.
5, a, h
Let x = -4/17 - -29/51. Let d be ((-4)/5)/(2/(-5)). Let s be 6/(-26)*d/(-3). Sort x, -0.3, s in descending order.
x, s, -0.3
Suppose 2*r + 4 = -3*t, -3*t + r = -3*r + 10. Let a be t + 4 + (-12)/8. Put -6, 1/3, a in increasing order.
-6, 1/3, a
Let w = -2 - 0. Let i = -5.14 + 0.14. Let t = i - w. Sort 3, t, -4 in decreasing order.
3, t, -4
Let r(c) = 15*c**2 - 28*c**2 + 12*c**2 + 3. Let y be r(0). Sort y, 5, -0.4 in decreasing order.
5, y, -0.4
Let j(o) = -5*o**2 - 2*o - 2. Let r(y) = 11*y**2 + 3*y + 4. Let h(l) = -9*j(l) - 4*r(l). Let d be h(-6). Sort 3, 0, d.
0, d, 3
Let h be 10/15 - 1/2. Sort -0.1, h, 4.
-0.1, h, 4
Let l be (-66)/(-14) + 5 + -6. Let n = -24/7 + l. Put 1/2, n, -1/10 in decreasing order.
1/2, n, -1/10
Let d = -15 - -13. Put d, -4, 4 in increasing order.
-4, d, 4
Let s = 14 - 22. Let u = 13 + s. Let j = 3001/13 + -231. Sort 3, j, u in increasing order.
j, 3, u
Let o be -2 + -1 + 2 + -5. Let u = 5308/5 - 1068. Let n = o - u. Sort 5, n, 2/3 in descending order.
5, 2/3, n
Let w be (-10)/(-3)*15/(-10). Sort -0.4, w, -5/2, 2/3.
w, -5/2, -0.4, 2/3
Let h(v) = -v**2 + 2*v - 44. Let m be h(0). Put m, 0, 4 in descending order.
4, 0, m
Let a be -1*12/(-3) + -6. Put -3, a, -1 in ascending order.
-3, a, -1
Let c = 2/5795 + -2277491/162260. Let u = 55/4 + c. Let t = 12 - 8. Put 2, t, u in decreasing order.
t, 2, u
Let c(p) = -p**3 + 4*p**2 + 4*p + 3. Let r be c(5). Suppose 0*f = -2*f - l + 8, 0 = -2*f + l. Sort r, 0, f in descending order.
f, 0, r
Let x(g) = 2*g - 3. Suppose r = -2*k + 4*k - 2, -19 = -k - 4*r. Let t be x(k). Let m be (-1)/(0 - 2)*2. Sort 5, m, t in increasing order.
m, t, 5
Let s = -8 + 10. Let f(o) = o + 3. Let l be f(0). Let i be (-2*6/l)/1. Sort s, -0.2, i in descending order.
s, -0.2, i
Suppose 0*o + 8 = 4*o, 0 = 2*f - 2*o. Suppose 0 = f*h - n - 4*n - 18, 5*h = 3*n + 7. Sort 2, h, 3 in ascending order.
h, 2, 3
Let l be (0 - -4)/((-8)/(-6)). Put 4, l, 0 in decreasing order.
4, l, 0
Let s = 0.86 + 0.14. Let p = s + -4. Put p, 0.2, -1/8 in decreasing order.
0.2, -1/8, p
Let y(z) = -z**2 - 12*z - 17. Let p be y(-10). Suppose 3*q = -3*k + q - 9, 3*k = -4*q - 3. Sort k, p, -7.
-7, k, p
Let b be -2*((-3)/7 + 27/14). Put 0, b, 3, -2 in ascending order.
b, -2, 0, 3
Let p = -2.64 + 1.64. Sort p, -0.4, 0.9 in decreasing order.
0.9, -0.4, p
Let t = -19 + 24. Put 12, 4, t, -2 in descending order.
12, t, 4, -2
Suppose 4*m + 12 = 4*p, -p = -m - 6*p + 3. Put m, 9, -3 in ascending order.
-3, m, 9
Let o = 4/147 - -80/147. Let b(m) = -m**3 + 4*m**2 + 5. Let g = 7 + -3. Let h be b(g). Sort -2, h, o in descending order.
h, o, -2
Suppose 3*r - 1 = r - 5*i, 1 = -r - 4*i. Suppose -r*h - h + 36 = 3*g, -4*h = -3*g - 36. Sort -4, h, 0 in ascending order.
-4, 0, h
Suppose 2*y + 2 = 0, -5*y + 2 + 8 = -3*c. Suppose 5*p = 2 + 18. Sort p, 3, c in ascending order.
c, 3, p
Let y = -10 + 6. Let t = -18 + 18.7. Sort y, t, -1/5 in descending order.
t, -1/5, y
Let r be ((-2)/(-3))/(4/24). Suppose r*x + x - 21 = -3*a, 5*a = -3*x + 19. Put 5, x, 2 in decreasing order.
5, x, 2
Let o(x) be the second derivative of -x**3/3 + 3*x**2/2 + x. Let b be o(4). Suppose 3*g - 5*w = 27, -w - 4 = 2*g + 3*w. Sort b, g, 5 in decreasing order.
5, g, b
Let b = 6 - 6.05. Let z = -0.55 - b. Sort -4/7, 1/5, z in decreasing order.
1/5, z, -4/7
Let v = 7 + -10. Let q be 3*((-32)/(-12) + -4). Put -0.5, v, q in decreasing order.
-0.5, v, q
Let p = 6.81 + -1.81. Put -2/5, 0.4, p in decreasing order.
p, 0.4, -2/5
Let r = -2 + 1. Let y(a) = 7*a + 1. Let x be y(0). Sort r, -5, x in increasing order.
-5, r, x
Let j = 1277/15 - 85. Sort -5/3, -1, j in descending order.
j, -1, -5/3
Let w = -1.2 - -6.2. Suppose 0 = 9*d + 9. Put d, -7, w in descending order.
w, d, -7
Let p = 10.4 + -10. Suppose -6*l = -11*l + 20. Suppose -o = 3*a + 2*a - 7, l*o + 5*a + 2 = 0. Sort p, o, -1/3 in ascending order.
o, -1/3, p
Let q be (-125)/(-10) + 6/4. Let s be 10*1*7/q. Sort -1, -4, s in increasing order.
-4, -1, s
Let r(u) = -2*u**2 - 11*u + 6. Let i be r(-6). Put 4, i, -1, -5 in descending order.
4, i, -1, -5
Let h = -1 - 15. Sort h, -5, 0 in ascending order.
h, -5, 0
Suppose -4*u + 6 = -u. Let a = u + 9. Suppose -4*f + a + 5 = 0. Put 0, f, -4 in ascending order.
-4, 0, f
Let h = 9 + -10. Sort 0.1, 3, h in decreasing order.
3, 0.1, h
Let h = 1 - 6. Let f = -179/4 - -45. Put h, f, -3 in increasing order.
h, -3, f
Let w(f) be the first derivative of -f**2/2 - 16*f + 6. Let h be w(-12). Put -13, h, -5 in decreasing order.
h, -5, -13
Let a = 22.1 - 6.8. Let j = -15 + a. Sort 3/5, -4, j in decreasing order.
3/5, j, -4
Suppose -15 = -3*i, -2*u + 3*i - 11 = -0. Put -1, u, 1, 3 in increasing order.
-1, 1, u, 3
Let c = 0.7 + 1.3. Put c, -4/7, 0 in ascending order.
-4/7, 0, c
Let l = 0.22 - -13.78. Let r = -10 + l. Let b = -13 - -53/4. Sort 3, r, b in decreasing order.
r, 3, b
Let u = -113/99 + 15/11. Suppose p + 2 = -p + 4*s, 0 = -5*p + 3*s + 2. Put p, u, -1/5 in descending order.
p, u, -1/5
Suppose 0 = -2*c + 5*f, c - 3*f = -4*c - 19. Sort -2, c, 5.
c, -2, 5
Let b be ((-26)/(-4) + -4)*-2. Put -4, 1, b, 0 in increasing order.
b, -4, 0, 1
Suppose -7 = 3*o - 1. Let w be (-4)/(-10) - (-12)/20. Sort o, w, -5 in decreasing order.
w, o, -5
Let t = -1 - -6. Suppose -4*g + 5 = -3. Suppose -3*q = g*d - 2, 3 = -3*d + q + 6. Sort -4, t, d in ascending order.
-4, d, t
Let f(y) = -1 - 1 - 1 + 1 + 2*y. Let m be f(2). Let h = -1 - 2. Put m, 5, h in decreasing order.
5, m, h
Let y = 2 - 1. Suppose 0 = o + 4*w + 13, 10*o = 5*o - 4*w - 1. Put y, -4, o in increasing order.
-4, y, o
Let d be (-5)/1 - 1 - -1. Suppose -n = 2*b - 6*b - 13, 5*n + b - 23 = 0. Put -4, d, n in decreasing order.
n, -4, d
Let k = -0.6 - -0.2. Let t = 3534 - 10403/3. Let j = -67 + t. Sort k, -4, j in decreasing order.
k, j, -4
Suppose 0 = 5*a + 5 + 5. Let z be -5 - -8 - 4/a. Sort -3, -5, z in descending order.
z, -3, -5
Let j(q) = -q**2 - 3*q + 18. Let r be j(3). Let b = 3 - 1. Sort b, -2/11, r.
-2/11, r, b
Let r be (-5)/2*(-4)/5. Let s(q) = q**2 - 6*q + 5. Let g = -4 + 9. Let c be s(g). Sort c, r, 8 in increasing order.
c, r, 8
Let k = 0.03 - 0.23. Suppose 1 = -3*t + 4. Let m = -3 - t. Sort m, k, 0.1 in increasing order.
m, k, 0.1
Let t be (-1 - 1) + 3 + 3. Suppose -4*k = -t*o,