 v(h) be the second derivative of h**4/12 - 12*h. Let p(u) = a(u) - 4*v(u). Let w be p(-2). Sort w, -3, 4.
-3, 4, w
Suppose -26 = -4*a + 3*k, 154*a - 4*k - 18 = 157*a. Sort -5, a, 4, 12, -1.
-5, -1, a, 4, 12
Let b = -18715 - -18715.02. Sort -8, b, 6, -3/4, -1.
-8, -1, -3/4, b, 6
Let n = 2.19 + -4.31. Let t = n + 0.12. Put 0.5, 6, t in descending order.
6, 0.5, t
Let c(v) = v**3 - 5*v**2 - 66*v + 278. Let d be c(9). Put -5, -8, 4, d in ascending order.
-8, -5, 4, d
Let j(x) = 57*x**2 + 114*x + 1. Let z be j(-2). Sort 315, -3, z in increasing order.
-3, z, 315
Let r(i) = 1. Let t(q) = -7*q - 34. Let v(m) = 3*r(m) - t(m). Let h be v(-5). Sort h, 0, -2 in decreasing order.
h, 0, -2
Suppose -9*o + 14*o = -20. Let i be (o/6)/((-4)/60). Let l be i/(-15)*(17 - 2). Sort l, -4, 1/6 in ascending order.
l, -4, 1/6
Suppose -3*b - 2*p = 3, 0 = 5*p - 25 + 10. Sort 5, 1, -2, b, 183.
b, -2, 1, 5, 183
Let i = -11 - 20. Suppose v - 3 = 6. Let d be (-16)/v + (-10)/45. Sort i, d, 2.
i, d, 2
Suppose 8*q = -29*q + 185. Suppose q*r + 2*k - 31 = 0, 0*r + r - 4*k = 15. Put -5, r, -4 in descending order.
r, -4, -5
Let p be (-4144)/294 + (-14)/(-147). Let x = 0.5 - 6.5. Sort -5, x, p in decreasing order.
-5, x, p
Let l = -17.07 + 17. Let u = 16 - 159/10. Let o be 3 + (-97 + 90)*(-10)/(-22). Sort u, l, o in decreasing order.
u, l, o
Let t = 7023 + -7020.7. Put 25, t, -2/13 in increasing order.
-2/13, t, 25
Let p be 46/6 - 1/(-3). Suppose 0 = -2*h + 3*u + 11, -3*h + u = 5 - 4. Sort -5, h, p in descending order.
p, h, -5
Let l be 32/8 - (-3 + 16 - 3). Put l, 24, 5 in decreasing order.
24, 5, l
Let n be 4/(-6)*(-16)/(128/12). Let t be (-5)/((-10)/6) - -2. Let m(p) = p - 10. Let s be m(t). Sort -4, s, n.
s, -4, n
Let w = -26046 + 26048. Let j be ((-2)/(2 - 0))/2. Put -2/5, j, w, 30 in decreasing order.
30, w, -2/5, j
Let t = 143 + -139. Let b be t/(-14) - 44/(-7). Sort 17, -5, b in increasing order.
-5, b, 17
Let a(r) be the first derivative of 21*r**2/2 - 18*r - 21. Let l be a(4). Let f = l - 62. Sort 2, 5, f.
2, f, 5
Let o = -60.66 + 60.76. Sort 0.4, o, -1/2, 0.2, 0.24 in descending order.
0.4, 0.24, 0.2, o, -1/2
Let r = 8432 - 8431.99. Suppose 8 = 5*z - 9*z. Sort r, 1, z, -3/5.
z, -3/5, r, 1
Let g(s) = -s**2 + 24*s - 128. Let p be g(12). Put p, -1, 1 in ascending order.
-1, 1, p
Let v = -0.9894 - -1.1894. Sort v, -2/3, -2/429 in decreasing order.
v, -2/429, -2/3
Let w be -3 - 10/(390/(-171)). Let g = 23/26 - w. Sort 4, -38, -2/3, g in decreasing order.
4, g, -2/3, -38
Suppose 4*c - 2*c = 12. Let k be (-3528)/(-12)*(-4)/c. Let v be 0/(-2) + (-28)/k. Put -4, 19, v in descending order.
19, v, -4
Let z = -2862 + 2862. Put 6, z, 26 in descending order.
26, 6, z
Suppose -14 + 7 = -a. Suppose 12 = -a*b + 40. Put 5, -5, -1, b in ascending order.
-5, -1, b, 5
Let d(h) = -2*h**2 - 8*h - 9. Let z be d(-3). Let w be (z + 7 - 0)/((-2)/(-23)). Put -1, w, 0, 1 in decreasing order.
w, 1, 0, -1
Let a = 80 - 479/6. Let x = -410 + 723. Let t = 314 - x. Sort a, t, -3/10 in ascending order.
-3/10, a, t
Let p(r) = -27*r**2 - 457*r + 32. Let t be p(-17). Put 0, 86, t, -1, 4 in increasing order.
t, -1, 0, 4, 86
Suppose -17*b = -13078 + 13163. Put 1, 5, -9, b, -1 in descending order.
5, 1, -1, b, -9
Suppose 3*f = 82 - 19. Let m = -23 + f. Let o be 0 + m/4 + (-13)/26. Sort o, 9, 0 in descending order.
9, 0, o
Suppose 5*l - y = 0, 0*y + 7 = -2*l - y. Let d be 2*(l - (1 + -1)). Let i be 9 + -10 + 7 + -1. Sort i, d, -5 in increasing order.
-5, d, i
Let t(q) = 5*q + 2*q + 15 - 8*q - 5*q. Let s be t(3). Let u = 0 + 0. Sort s, -6, u, 4 in increasing order.
-6, s, u, 4
Suppose -2*a + 2 = 4*l, -3*a - 4*l - 18 = -5*a. Suppose q + q - 5*z + 20 = 0, -2*q + 20 = a*z. Sort q, -1, 62 in descending order.
62, q, -1
Let p = 11.74 + -12.01. Put -8, p, 2/13 in increasing order.
-8, p, 2/13
Let j = -750.1 + 748.1. Put j, -2845, 0.4 in decreasing order.
0.4, j, -2845
Let h = -428.41 - -427. Let k = -3.59 + h. Sort -4, k, 3, 5 in ascending order.
k, -4, 3, 5
Let u(f) be the third derivative of -f**6/60 + 11*f**5/30 - 5*f**4/6 - f**3/3 + 69*f**2. Let a be u(10). Sort -12, a, 2 in decreasing order.
2, a, -12
Suppose 111*v + 5*t = 110*v, -4*v - 2*t = 0. Sort 8, 3, -1, 41, v in ascending order.
-1, v, 3, 8, 41
Let s = 117 - 99.7. Let h = 17.6 - s. Let a = -4 - -9. Put 1/7, h, a in descending order.
a, h, 1/7
Let r = 47 + -93/2. Let w = -4.94 - -4.94. Sort r, -51, w.
-51, w, r
Suppose -2*g = 2*a - 180, 0 = a - 4 + 3. Let d = -88 + g. Let w be (12/9)/(1/3). Sort 3, d, w in descending order.
w, 3, d
Suppose 0*u + 2*u = -2*i - 10, -i - 5 = -4*u. Suppose 6*s - 4*s - 8 = u. Let p be (20/(-30))/(8/(-36)). Sort s, p, 2, -1 in decreasing order.
s, p, 2, -1
Let p = 262.2 - 247.2. Let z be (-6)/(-8)*(-4)/(-6). Put p, z, 0 in increasing order.
0, z, p
Let c = -1.3 - -0.3. Let y = -448769/269265 - 2/89755. Sort c, y, -0.05, 3/4 in increasing order.
y, c, -0.05, 3/4
Let a = -516/7 + 74. Let n = -1 + -1. Let z = -54999 - -54996. Sort z, 0, n, a in decreasing order.
a, 0, n, z
Let f(a) = -a**2 + 5*a + 495. Let r be f(-20). Sort 30, -1, 5, r in decreasing order.
30, 5, -1, r
Let r = -234 + 232. Let c = -21.13 - -20.43. Let v = -0.6 - -0.4. Sort c, r, 0.5, v.
r, c, v, 0.5
Let q be (4 - (-4)/2)*2/3. Suppose -q*t - 20 = r, 4*r = -2*t + 6*r. Suppose -27 = -5*o - m, 3*o = -2*o - 4*m + 33. Sort t, o, 3 in increasing order.
t, 3, o
Suppose 12*j = -t + 8*j - 16, -2*j = 2. Let v be 1 - ((-2)/(-4) - 3/t). Sort -1/2, -8, v in decreasing order.
v, -1/2, -8
Let g = 5557125584/1407 - 3949627. Let x = 1/201 + g. Put x, 2, -3/7, 4 in decreasing order.
4, 2, x, -3/7
Let q(f) = -f**3 - 28*f**2 - 27*f - 28. Suppose u + 4*z = -15, -u + 39 = -2*u + 4*z. Let p be q(u). Put 4, 2, p in descending order.
4, 2, p
Let r(v) = 13*v + 5. Let f be r(1). Let t = -26 + f. Suppose 0 = 3*w + 2 + 4. Sort t, -3, 1, w in descending order.
1, w, -3, t
Suppose q = -5, 4*f - 5*q - 3 - 10 = 0. Suppose -7*r + 2 = 9. Suppose 0 = -y + l - 4, -3*y - l - 12 = -0. Put 7, r, f, y in descending order.
7, r, f, y
Let h = 73.94 - 75.24. Put -11, -2, -3, h in ascending order.
-11, -3, -2, h
Let c = 12137/5 + -2428. Let v = 0.84 + -1.24. Sort c, -97/2, 0.5, v.
-97/2, c, v, 0.5
Let v(k) = 90*k - 737. Let l be v(8). Sort l, -5, 3, 6 in decreasing order.
6, 3, -5, l
Let o = 8/77 - 906/1309. Let p be (4 - 1) + 239/(-85). Let r = p + o. Sort 0.03, r, -2 in descending order.
0.03, r, -2
Let m = -2.7902 + -0.2098. Put 0, m, 9/5 in increasing order.
m, 0, 9/5
Let p = -1 - -1. Let i = -863 - -867. Suppose -19*r + 3 = -20*r. Put 2/5, p, r, i in descending order.
i, 2/5, p, r
Let l = -22031 + 66094/3. Sort l, -1/3, -777, 0.2 in increasing order.
-777, -1/3, 0.2, l
Suppose -4*u + 21 = 13. Suppose -2*o - 5*p + 37 = 0, 3*o - 30 = -2*p - u. Sort -5, -3, o in ascending order.
-5, -3, o
Suppose 0 = 3*k + 6*f - 2*f - 3, 4*f = -2*k + 2. Suppose 102 - 52 = -171*v + 50. Sort v, -45, k in increasing order.
-45, v, k
Suppose 129 = -223*y + 104*y + 162*y. Sort y, 5, -16, 6 in ascending order.
-16, y, 5, 6
Let t = 5 - 4. Suppose -3*k + t + 1 = p, -2*p = 4*k - 6. Let b = 6.774 - 3.774. Put b, -1/4, k in ascending order.
k, -1/4, b
Let d = -168.7 - -169. Let y(g) = g**3 + 14*g**2 + 6*g + 35. Let h be y(-14). Let r = h + 58. Sort r, -2, d.
-2, d, r
Let o(q) = -13*q**2 + 97*q - 109. Let l be o(6). Sort 0.3, 0, -3, -2, l in descending order.
l, 0.3, 0, -2, -3
Let v(i) = -i - 2. Let f be v(-6). Suppose 0 = 5*n + 4849 - 4774. Sort f, n, 5 in increasing order.
n, f, 5
Let n be 444/37 - (3 + (-2)/(-1)). Let p be -7*n*(-4)/(-28). Sort -3, -11, p in descending order.
-3, p, -11
Suppose 0 = -4*g - 15 - 5. Suppose -5*b + 12 = 4*q, 11*b = 13*b + 10*q + 12. Sort b, g, 1, -10 in descending order.
b, 1, g, -10
Suppose u + 5*h - 19 = 0, -3*h = -2*u - 2*h - 17. Let f be 2/3 + -1 - (-46)/(-69). Let i be 4*-1*(-3)/(-6)*-2. Sort u, f, i in ascending order.
u, f, i
Suppose -17 = 2*i + 5*j - 11, -4*i - 2*j - 12 = 0. Let m be 14/21*i/(3 + 15). Sort m, 0.1, -120.
-120, m, 0.1
Let i(m) = -m**3 - 2*m**2 - m + 6. Let h be i(0). Suppose h*u = 8*u - 36. Let a be (-16)/(-48) - 8/u. Put -0.3, a, 2/17 in increasing order.
-0.3, a, 2/17
Let s be (94/(-893))/(1/(-38)). Sort 1/34, -0.87, s in descending order.
s, 1/34, -0.87
Suppose 0 = -6*w + w + 