 4. Let n be a(-9). Sort g, n, q.
q, g, n
Let q = -189/370 - -30/37. Let b = 23/2 + -12. Let l = q + b. Sort l, 4, -0.5.
-0.5, l, 4
Suppose -2 = o - 2*h - 3*h, 5*h + 4 = -2*o. Let s = 5533/15 + -369. Put s, 2/45, o in decreasing order.
2/45, s, o
Let u = 1 + -1. Let c = -52 + 59. Suppose -3*h - 2*s = 4 + c, 0 = -3*h + s - 17. Sort h, u, 4 in ascending order.
h, u, 4
Let d = -2.2 - -0.2. Let a = 91 - 90.952. Let g = 0.252 + a. Sort -0.3, g, d.
d, -0.3, g
Let y be (3/(-180))/(2/(-212)). Let a = y + -8/5. Let h be (5/(-2))/((-100)/120). Put h, 0.3, a in ascending order.
a, 0.3, h
Let w = -7/3 + 2. Let z(u) = u**3 - 5*u**2 - u + 22. Let f be z(9). Let j = f + -7749/23. Put -2, w, j in decreasing order.
j, w, -2
Let a(l) = -l**3 - 6*l**2 + 7*l + 1. Let b be a(-7). Let k be (0 + b)/(42/12). Let r = -4/39 + 98/195. Sort k, r, 1/2.
k, r, 1/2
Let c be (-8)/(1*-2) + -2. Let f = -15 - 5. Let u = 20.03 + f. Put u, c, -0.4 in descending order.
c, u, -0.4
Let n be ((-22)/(-6))/(((-140)/(-30))/14). Put n, 1, -7, -1 in descending order.
n, 1, -1, -7
Let u = 14 + -9. Let s = -161 - -97. Let f = s - -63.7. Put 1/10, f, u in descending order.
u, 1/10, f
Let v be (-13)/7 - (-2)/(-14). Let o be 4/3*3/1. Sort v, -5, o in decreasing order.
o, v, -5
Let m be (-11664)/504 - (-1)/7. Sort -4, -3, -5, m in ascending order.
m, -5, -4, -3
Let o = 1/19 - -31/133. Let k = 4 + -1. Sort k, o, -1/2 in increasing order.
-1/2, o, k
Let z = -37 + 149/4. Let c be (-494)/(-10) + 10/(-25). Let v be (14/c)/(1/2). Put z, v, 3 in ascending order.
z, v, 3
Let y = -0.363 + -2.697. Let u = -3.1 - y. Sort -6, 1/4, u in descending order.
1/4, u, -6
Let p = -590 - -576. Sort p, -0.1, -2 in decreasing order.
-0.1, -2, p
Suppose 2*i + 6 = 4*i. Suppose -5*h - 1 = -2*o, -3*o - i*h + 15 = o. Suppose 4*f + 3*q - 4*q = -7, -4*f - 5 = -o*q. Sort 4, -4, f in decreasing order.
4, f, -4
Let a = 5.2 + 0.8. Let k = 11 - a. Let f = -29 + 28. Sort k, f, 0.3 in descending order.
k, 0.3, f
Let u = -323/156 + 32/39. Put u, 3/8, -42, -0.3 in descending order.
3/8, -0.3, u, -42
Let u = -32 + 70. Suppose 2*i - 2*t + u = 0, -t + 75 = -i - 4*i. Put 5, i, -3 in descending order.
5, -3, i
Suppose -y - 2*j = 3*j, -j = -1. Let b = 997 + -997. Sort 0.3, -2, b, y in increasing order.
y, -2, b, 0.3
Let v be (-4)/(-3)*(-6)/(-4). Let n(l) = 2 + 3*l**v + 11*l + 7 + 3 - 2*l**2. Let k be n(-10). Sort -3, k, -1 in descending order.
k, -1, -3
Let q = -285 + 285. Sort 2, 32, 1, q in increasing order.
q, 1, 2, 32
Let u = -114.6 - -115. Put u, -1/3, 0.2, 0.05 in ascending order.
-1/3, 0.05, 0.2, u
Let i(p) = -p**2 + 7*p - 11. Let w be (15/6 - -3) + 9/(-6). Let u be i(w). Put 3, -12, u in increasing order.
-12, u, 3
Let p(y) be the second derivative of -y**4/12 - y**3 - 5*y**2/2 + 35*y. Let s be p(-3). Put s, -5, -8 in decreasing order.
s, -5, -8
Let z be -3*(-4 + 136/(-6)). Suppose 24*v + z = 29*v. Let i = -5 + 3. Sort i, 1, v.
i, 1, v
Suppose -13*h = 9*h + 20*h. Put 19, 4, 5, h in descending order.
19, 5, 4, h
Let b = 74 - 91.1. Let m = b + 15. Let x = 2 + m. Sort -0.4, -4, x in decreasing order.
x, -0.4, -4
Let v = -74.2 + 83. Let m = v + -10.8. Sort m, 2/5, 5/4, 6 in increasing order.
m, 2/5, 5/4, 6
Suppose 46 = -7*a + 2*a - f, -4*a = 5*f + 41. Let h be ((-4)/16)/(a/12). Let s = 9 - 10. Sort s, h, -4 in descending order.
h, s, -4
Suppose 9 = 3*r - 3. Suppose -3*b - 10 = -r. Let z(o) = 2*o + 3. Let s be z(b). Put s, -2, -5 in increasing order.
-5, -2, s
Let z be (1 + 1)*(-2)/(-4). Let a(k) = -4*k**3 + 3*k**2 - 3*k + 1. Let d be a(1). Let f = d - z. Sort f, -1, 3 in increasing order.
f, -1, 3
Let b = -19/4 + 9/2. Let o = -48.7 - -47.7. Put b, o, -1/3 in descending order.
b, -1/3, o
Suppose 0 = 2*f + 3*n + 48, -21 = f - n - 7. Sort 5, f, 2 in descending order.
5, 2, f
Let c = 3 + 0. Let l = 21 - 20. Let i = l + c. Sort i, -5, 2.
-5, 2, i
Let t = 110 + -112. Sort -4, 2, t, -1 in ascending order.
-4, t, -1, 2
Suppose -2*w = 2*v - 12, -5*v + w + 12 = -18. Suppose 3*o = v*o + 2*q - 4, 0 = -o + q + 8. Sort o, -3, -5 in increasing order.
-5, -3, o
Let a = -14 - -14. Let q = -22.5 + 14. Let b = 9 + q. Sort -3, b, a in ascending order.
-3, a, b
Suppose -8*i + 4*b + 20 = -3*i, -b = 5*i + 5. Put i, 56, -2 in descending order.
56, i, -2
Suppose -4*c + 5 = -3. Suppose -4 = 5*k - u, 5*k - c*u - 3*u + 20 = 0. Let v = 3 + k. Sort 2, v, -3 in descending order.
v, 2, -3
Let k = 17 - 15. Suppose 3*l - 5*c = 2*l - 17, k*c = -4*l - 2. Let b be ((-7)/(-14))/(1/l). Sort 5, b, -2.
-2, b, 5
Let m be (336/280)/(6/(-20)). Put m, -144, -3, -1 in descending order.
-1, -3, m, -144
Let a = 439 - 437. Put -0.2, -0.3, -4, a in increasing order.
-4, -0.3, -0.2, a
Suppose -289*k + 295*k = 6. Sort 6, k, -2, 12 in descending order.
12, 6, k, -2
Suppose -3 = -p - 87*j + 85*j, -4*p - j - 2 = 0. Sort 5, 216, p.
p, 5, 216
Let m = 385 - 384. Sort -10, 0.15, m.
-10, 0.15, m
Suppose 0 = 31*x - 9*x. Put -6, -5, x in descending order.
x, -5, -6
Let m = 2150 - 8555/4. Let g = -303/28 + m. Put -1/4, g, 0 in increasing order.
-1/4, 0, g
Let f = 253.4 - 256. Sort f, 3, -2 in descending order.
3, -2, f
Let n = -15 + 24. Suppose -n*p = -12*p. Let c = 12 + -14. Sort c, -13, p.
-13, c, p
Let c be (-9)/((-198)/14552) + -3 + 2. Let b = 661 - c. Put 3, b, -2 in ascending order.
-2, b, 3
Let r = -0.36 + 0.63. Let k = 355 + -353.27. Let z = k + r. Put -2/7, 3/7, z in descending order.
z, 3/7, -2/7
Let v = -1 + 0. Let w(a) = a**3 + a**2 - 4*a - 1. Let j be w(-2). Put j, v, -4 in descending order.
j, v, -4
Suppose -41 + 21 = -4*q. Suppose 33 = -q*b + 33. Put b, 4, -4 in descending order.
4, b, -4
Let w(n) = 3*n - 5. Let h be w(2). Let a be 2*h + 0*3/(-3). Suppose 0 = 4*q + 2*f + 10, -4*f - 15 = -7*f. Put 0, a, q in decreasing order.
a, 0, q
Let d = 31 + -38. Let j = 0 + d. Let f = j - -8. Sort -3, f, -0.5.
-3, -0.5, f
Let w = -4.93 + 5.23. Let s = -7.5 + 8. Put -0.4, s, w, 0.2 in descending order.
s, w, 0.2, -0.4
Let k = -0.27 - -5.27. Let n = 0.18 + -1.28. Let i = -1 - n. Sort k, 0, i in increasing order.
0, i, k
Let y be (-4)/(-42) - 749/147. Suppose 18 = 6*n - 3*n. Let d = 4 + -5. Sort d, y, n.
y, d, n
Let g = 57 - 67. Sort -5, 4, g in ascending order.
g, -5, 4
Let a(f) = -12 - 18*f - 18 + 19*f. Let v be a(26). Put v, 0.1, 2/9, -3/7 in decreasing order.
2/9, 0.1, -3/7, v
Let a = -37581/53 + 709. Sort a, -0.4, -0.3.
-0.4, -0.3, a
Let r(p) = -p**2 + 3*p - 1. Let b be r(2). Suppose -2 = c - b. Suppose -11*t + 11 = -33. Put c, t, 3 in decreasing order.
t, 3, c
Let v be -2*(6 - (-1773)/(-297)). Put -1/2, v, -0.1, -1/5 in decreasing order.
v, -0.1, -1/5, -1/2
Let x = 9 - 7. Let k = -2.2 + -4.8. Let c = k + 6.8. Sort c, x, 2/5 in descending order.
x, 2/5, c
Let j = -390 + 391. Sort -1, -32, j, 3.
-32, -1, j, 3
Suppose -6*r + 3*r = 15. Let b(c) = c + 7. Let i be b(r). Suppose 0 = 16*p - 80 + 32. Put 0, i, p in decreasing order.
p, i, 0
Suppose -3*j + 116 = 4*c - 0*j, 0 = 4*c + 4*j - 120. Let s be -2 + -2 + c/6. Let h = -427 - -2134/5. Sort h, s, -3/5 in ascending order.
-3/5, h, s
Let a = -0.86 - 1.09. Let c = -0.05 + a. Let k(h) = h**3 - 4*h**2 - 4*h - 2. Let n be k(5). Put n, 2, c in increasing order.
c, 2, n
Let n = 217 - 212. Sort 17, n, 0.4 in decreasing order.
17, n, 0.4
Let v be ((-22)/(-4) - 1)*(-38)/(-57). Suppose -4*t + 4 = -v*t. Sort -1, t, -4 in ascending order.
-4, -1, t
Let f = -2531 + 260691/103. Let v = f + -511/206. Let k = -6 + 6.8. Put 2, k, v in decreasing order.
2, k, v
Let r = 0.21 + -0.01. Suppose -20 = 5*z, -3*x - 22*z + 15 = -19*z. Put 4/9, r, x, 2 in descending order.
x, 2, 4/9, r
Suppose 4*q + 2*m = -3*m + 10, q + 3*m = -1. Suppose -q*p - 16 = 2*i, 3*i = -5*p + 2*i - 13. Sort -1, 3, p, 1.
p, -1, 1, 3
Let o(u) be the first derivative of u**4/4 - u**2/2 + 12*u + 1. Let v be o(0). Suppose v = 5*x + p, -x = p + p - 6. Sort -6, x, -2.
-6, -2, x
Let x = -290/3 + 98. Let j = -656/5 + 131. Put 4, x, 2/3, j in increasing order.
j, 2/3, x, 4
Let r(p) = -p**3 - 21*p**2 - 112*p - 18. Let c be r(-10). Suppose 0 = -2*u + u. Put 3, c, 15, u in ascending order.
u, c, 3, 15
Let k = 1.9206 - -0.0794. Put -2/9, -4, k in ascending order.
-4, -2/9, k
Suppose 0 = -3*r + 4*w + 26, r - 3*r - 5*w = 21. Suppose 0 = 8*m + 59*m + 603. Put -3, m, r in decreasing order.
r, -3, m
Let t = 21 + -