h(f) = 4*f + 25. Suppose -4*q = -4*s - 0*s - 20, -4*s + 3*q - 22 = 0. Let b be h(s). Let l = b + -5. Put l, -1, -4 in increasing order.
l, -4, -1
Let t be 4/(-30) + (-5658)/90 + -1. Let l be (8/((-128)/(-28)))/(2/t). Sort -1, l, -2 in decreasing order.
-1, -2, l
Let o = -1.267 + 1.22. Let r be (-31)/(-7) - (39 + -35). Put -3/7, o, r in descending order.
r, o, -3/7
Suppose -5 - 80 = -4*r - 5*p, 0 = -2*p + 10. Let n be (r/(-6))/((-17)/34). Sort -2, 141, n.
-2, n, 141
Let p = 4806 + -4807. Sort 3/2, -3, p, 48 in decreasing order.
48, 3/2, p, -3
Suppose 2*q - 36 = -23*w + 28*w, 5*q - 9 = -w. Let b = -3 - -2. Sort b, 4, q in increasing order.
b, q, 4
Let r = -11239 + 11239.2. Put -4/5, r, 0.8 in increasing order.
-4/5, r, 0.8
Let v(o) = -2*o**2 + 3*o + 18. Let q(k) = -k**2 + 10*k - 21. Let h be q(7). Let g be v(h). Suppose 0 = g*z + 56 + 16. Put -2, z, 5 in descending order.
5, -2, z
Let g = -123.5 - -126.5. Let p = -40.4 + 40. Sort -2/7, p, g, -0.1 in increasing order.
p, -2/7, -0.1, g
Suppose -804 = i + v + 9, 1602 = -2*i + 4*v. Sort -3, i, 5 in increasing order.
i, -3, 5
Suppose -37 - 30 + 63 = -2*z. Sort -4, z, 3, 10, 1 in descending order.
10, 3, z, 1, -4
Let y be -2*3 + 341/11. Suppose d = 6*d - y. Let k be (5/3)/((-1)/12). Put d, -4, k in decreasing order.
d, -4, k
Suppose -34*w - 57 - 555 = 0. Let i(k) = -2*k**2 - 38*k - 33. Let n be i(w). Sort 1, -1, -3, n.
-3, -1, 1, n
Let a = -1/115 + -221/1035. Let w = 40838 + -40846. Put a, w, 3 in ascending order.
w, a, 3
Let n(q) = -q**2 - 49*q - 471. Let r be n(-13). Put -6, r, 8, -1, -4 in descending order.
8, -1, r, -4, -6
Let z = 12.287 - 12.087. Sort -213.1, -2, z in decreasing order.
z, -2, -213.1
Suppose 6*a = -69 - 33. Let u(z) = z - 6. Let p be u(5). Let b be 86/(-18) - (-4)/(-18) - -6. Sort 5, b, p, a in descending order.
5, b, p, a
Let f = 15 - 8. Let x = -691 - -4145/6. Put x, f, -0.3 in decreasing order.
f, x, -0.3
Let m = 12.3 - -3.7. Let k = 203 - 218.7. Let i = k + m. Sort 0, 3, -0.32, i.
-0.32, 0, i, 3
Let h be ((-78)/(-507))/(45/39) + 4/(-30). Sort h, -2, -76, -5.
-76, -5, -2, h
Let a(c) = c**3 - 5*c**2 + 5*c - 6. Let h be a(4). Let m(z) = -3*z**3 - 22*z**2 + 53*z + 10. Let d be m(2). Sort 3, d, h, 10.
h, 3, d, 10
Suppose -5*y + 8*y = 15. Suppose o + 1 = -5*c, c = -2*o - 11 - 0. Let t be 2/o + (-8)/(-6). Put t, y, -0.2, 0 in descending order.
y, t, 0, -0.2
Let d(c) = 105*c + 68. Let u be d(-4). Let p = -351 - u. Put p, -5, 3, 2/3 in decreasing order.
3, p, 2/3, -5
Let v(c) = 5*c + 7. Let n be v(-2). Suppose -2 = -4*s + 10. Put 78, s, n in ascending order.
n, s, 78
Let q = 30 - 28. Suppose q*c - 8 = 4*b + 6*c, 5*b = 3*c - 10. Let j(h) = h**3 - 5*h**2 - 12*h + 31. Let u be j(6). Sort -1, b, u.
u, b, -1
Let h = -15611 - -15608. Suppose 0 = 5*x + 3*j + 2*j, -5*x = -3*j - 40. Put 2, h, x, -5 in descending order.
x, 2, h, -5
Let g(v) = 8*v**3 + 8*v**2 + 38*v - 355. Let m be g(5). Sort m, -4, 0 in descending order.
m, 0, -4
Let g(u) = -7*u**2 + 24*u + 344. Let j be g(13). Sort 0.3, j, 0.5 in decreasing order.
0.5, 0.3, j
Let i(p) = -p**3 + 2*p**2 + 5*p + 2. Let u be i(-1). Put u, 105, -3, 1 in descending order.
105, 1, u, -3
Let o = -3193 + 3203. Put -24, o, -4 in decreasing order.
o, -4, -24
Let g = -0.242 + 5.242. Put 3, -69, g, -1, -0.3 in descending order.
g, 3, -0.3, -1, -69
Let v be -4*(3 + (-21)/6)*-4. Let j be (-2 + v/(-6))*-3. Suppose -u - j*n = 11, 5*u + 4*n + 10 = -15. Sort -5, 5, u, 3 in increasing order.
-5, u, 3, 5
Let a be (-25)/30 - (14/28 + (-2)/3). Put -3, 32, a in descending order.
32, a, -3
Let z = 228 - 230. Put 2, 4, 7, -3, z in descending order.
7, 4, 2, z, -3
Suppose -4*h + 4*d = 12, -4*h + 5*d = 11 + 5. Let t be (108/(-135))/(4/(-190)). Suppose -t*a - 15 = -37*a. Sort a, h, -4 in ascending order.
a, -4, h
Suppose 5*j = -a - 44, 301*a - 4*j = 306*a + 73. Suppose -4*z = -0*z - 12. Sort a, 2, z, -2 in ascending order.
a, -2, 2, z
Suppose 735 - 181 = 153*r - 58. Let o be (-2)/4*(0 - -2). Sort o, -126, r.
-126, o, r
Let q(g) = 5*g - 85. Let n be q(9). Sort 0, 5, -5, n in ascending order.
n, -5, 0, 5
Let q(b) = b**3 - 27*b**2 - 36*b + 880. Let z be q(27). Sort 0, 2, z, 4 in ascending order.
z, 0, 2, 4
Let f = 20436.5 + -20435. Sort f, -1/42, 0.3 in ascending order.
-1/42, 0.3, f
Let j be ((-56)/20 - -3) + 465/(-75). Let f be (-23)/(-6) - (-5)/30. Suppose 4 = -0*g + 4*g, -3*l - f*g - 2 = 0. Put l, j, -1 in ascending order.
j, l, -1
Suppose 2*u + 2*b = -12, 5*u + 4 = 3*b - 2. Let g(l) = -4*l - 13. Let j be g(-9). Suppose -55 = -8*y - j. Sort y, u, -2, 6 in increasing order.
u, -2, y, 6
Suppose 1283 + 3186 = 299*r - 315. Sort 38, 2, r, 0.3 in ascending order.
0.3, 2, r, 38
Let a(c) = c**3 - 4*c**2 + c + 13. Let f be a(5). Suppose f*t = -3*t - 46. Put -3, t, -5, 5 in decreasing order.
5, t, -3, -5
Let g = -2132 - -2133. Put g, 4, 146 in increasing order.
g, 4, 146
Let b be 1/(8/(-3) - -2). Suppose 5 = -128*w + 129*w. Suppose 0 = 5*n - 5*f - w, -4*n - 5*f = 15 + 26. Sort 0.5, b, -2, n in increasing order.
n, -2, b, 0.5
Let o(z) = z + 4. Let u be o(-4). Let d = 19382 - 19380. Sort 2/9, d, u, -1/2 in decreasing order.
d, 2/9, u, -1/2
Let q = 19410 - 19412. Suppose 28 = 3*h - w, 3*h - 2*h + w - 8 = 0. Let o(t) = -2*t - 3. Let d be o(-3). Put q, h, d, 1 in decreasing order.
h, d, 1, q
Let d = 4 - 7. Let z(v) be the third derivative of -7*v**4/12 - 19*v**3 + 61*v**2 - v. Let a be z(-8). Put a, -6, d in descending order.
a, d, -6
Suppose 0 = 75*b - 90*b - 60. Let p = -9 - -17. Suppose -4*x - 12 = 0, p = 5*y + 7*x - 3*x. Sort 1, y, 5, b in descending order.
5, y, 1, b
Suppose -2*l = 3 - 1. Let d(a) = 2*a. Let m be d(l). Let o be 2 + (-5 + 5)*(-1)/2. Put -4, o, m in increasing order.
-4, m, o
Let k = 23 + -18. Suppose 1 = k*h - 19. Suppose -4*r = -4*x, 5*x + 2*r = h*x + 15. Put -7, -4, -1, x in decreasing order.
x, -1, -4, -7
Let q(k) = -k**2 + 8*k - 12. Let p be q(5). Let d be -17 + (2/(-5) - (-27)/(-45)). Sort p, -4, d, 0 in increasing order.
d, -4, 0, p
Let i be (2/(-6) - (-11 - -12))*9/30. Sort -1, -45, 0.3, 1/5, i.
-45, -1, i, 1/5, 0.3
Let l(r) = -137*r + 1196. Let p be l(15). Sort 0, -3, p in descending order.
0, -3, p
Suppose -2*l - 3*f - 21 = 0, 0*l + 5*l = -3*f - 30. Let x be l/(-5)*325/39. Put 2, x, -3, -5 in decreasing order.
x, 2, -3, -5
Suppose -39*i - 17 = -5*l - 42*i, 5*l - i - 21 = 0. Let n(a) = a**2 - 13*a + 1. Let s be n(12). Put l, 5, 3, s in descending order.
5, l, 3, s
Let p = 2 - 1. Let q = -393 + 390. Let d = -44/3 + 46/3. Sort p, q, d, 5 in ascending order.
q, d, p, 5
Suppose 2*k - 16 = 4*v, 13 = -4*v - k + 3. Let z be ((4/(-2))/(-2))/(-1 - -2). Put v, -9, z in descending order.
z, v, -9
Suppose -3*j + 21 = 3*g, 3*g + 34*j = 35*j + 5. Suppose -i + 6*i = -15. Sort 5, 0, g, i in decreasing order.
5, g, 0, i
Let a(i) = 2*i**2 + 7*i + 41. Let c be a(-4). Suppose 65*n = 80*n - c. Suppose 0 = 3*z + 5*d + 7, 0 = -3*z + 2*d - 2 - 12. Sort z, 5, -3, n.
z, -3, n, 5
Suppose -9*s + 13*s - 4*c + 164 = 0, 4*s = -3*c - 164. Put -5, -4, s in increasing order.
s, -5, -4
Let q(n) = -n + 3. Let p be q(3). Suppose -2*w - 11 + 1 = -3*y, -4*w - 2*y + 12 = p. Let t be 3 - 6 - w/(-1)*7. Sort 1, 8, t, -4.
-4, 1, t, 8
Let k be 21/56 - (0/1 + 63/(-24)). Put -4, -2, k, 4, -3 in descending order.
4, k, -2, -3, -4
Let c = 0.35 + -0.05. Let l = 45/32 - 199/96. Sort c, -3/5, 0.1, l.
l, -3/5, 0.1, c
Suppose -4*y - 3*x + 839 = 0, -4*x = -5*y + 808 + 264. Let q be y/(-106)*(0 + 1/6). Put -1, 4/7, q in descending order.
4/7, q, -1
Let c be 22/((-132)/102) + 15. Sort c, 1, 5, -799 in descending order.
5, 1, c, -799
Suppose 36*x - 132 = -96. Put 2, x, -5 in ascending order.
-5, x, 2
Let m(s) = 9*s - 132. Let f(v) = -1. Let g(r) = 18*f(r) + m(r). Let n be g(17). Sort -2, 5, -12, n in ascending order.
-12, -2, n, 5
Let y be ((96/14)/2)/((-19)/133). Sort y, -26, -1 in descending order.
-1, y, -26
Let r = 706.746 - 4.646. Let i = r - 702. Sort 0.2, -0.2, i, -1 in descending order.
0.2, i, -0.2, -1
Suppose 0 = 4*b + 3*t - t - 12, 7*t = 5*t. Sort 1, 5, b, -7, 4 in increasing order.
-7, 1, b, 4, 5
Suppose 429*t = 441*t + 36. Put -1, t, 0, 4, 1 in increasing order.
t, -1, 0, 1, 4
Let l = 909 + -683. Let k = 223 - l. Let v = 6 + -11. Put v, k, 4, -3/2 in descending order.
4, -3/2, k, v
Suppose -3*d - 