4. Let t = -5.6 - -0.6. Put -1, b, t in increasing order.
t, -1, b
Let r(t) = -130*t - 913. Let k be r(-7). Put k, 2, -1, -55, -5 in increasing order.
-55, -5, k, -1, 2
Let a(x) = 27*x**3 + 3*x**2 - 26*x**3 + 7 - 14*x**2 - 13*x. Let s be a(12). Suppose 9*t - 13*t = 16. Put 4, 5, s, t in decreasing order.
5, 4, t, s
Let z = -9468 + 9472. Sort z, -5, -0.16 in descending order.
z, -0.16, -5
Let z = -89/2 + 2905/66. Let r = z - -43/66. Put 4, -3, -5, r in increasing order.
-5, -3, r, 4
Let h = -9878.992 + 9845. Let j = h - -34. Let i = j - 4.008. Sort 1, i, 0 in descending order.
1, 0, i
Suppose -15 = -3*r + 4*f, -32*r + 30*r + 18 = -4*f. Sort r, 17, -55.
-55, r, 17
Let l be ((-55)/495)/((-6)/(-18)). Sort -5, 1.2, l, -1/60, 0.3 in decreasing order.
1.2, 0.3, -1/60, l, -5
Suppose -3*z + 95 + 43 = 0. Let m = z + -50. Let t be (-2 - 0) + (2 - 6). Sort m, 5, t in decreasing order.
5, m, t
Suppose 0 = w - 1 - 2. Suppose -f = -3*c - 9, -3*c + 5*f + 0 = -w. Sort 5, 4, c in decreasing order.
5, 4, c
Let g = 4875 - 4880. Sort 1.5, g, -4/5, -2 in decreasing order.
1.5, -4/5, -2, g
Let m be -2 + (-5)/(-3) - (-235)/(-15). Let g be 8/(-20)*(22/m + 2). Sort -3, g, -6 in decreasing order.
g, -3, -6
Let b(v) be the first derivative of v**2/2 - 3*v + 8. Let t be b(4). Suppose -2*o = s - 2*s - 5, 3*s - 2*o - 1 = 0. Put t, -3, s in ascending order.
-3, t, s
Suppose -u - 126 + 131 = 0. Let v be 1225/280 - (-6)/(-16). Let o be 3*((-2)/3)/1. Sort v, o, u.
o, v, u
Let h be 3536/(-340) + 16/(-10). Let g(w) = w**3 - 5*w**2 - 5*w - 6. Let a be g(6). Sort a, h, -2 in descending order.
a, -2, h
Suppose -q + 0*l + 4*l = -179, 0 = -2*q - 2*l + 378. Let i = 183 - q. Suppose -2*g - 3*u - 36 = 0, 2*g - 3*u + 5 = -7. Sort 0, i, g in ascending order.
g, i, 0
Suppose 3*s = -6*p + p + 534, -s - 4*p + 171 = 0. Suppose 20 = -s*f + 179*f. Let y be (56/10)/(10/25). Put y, f, -2 in decreasing order.
y, -2, f
Let j(i) = -16 + 49 + 11 + 32 - 2*i. Let v be j(36). Suppose -4*d = -d - 3. Sort -5, d, v in decreasing order.
v, d, -5
Suppose 3*u + 0*u - 90 = 0. Suppose 3*o + 3*o = -u. Suppose -5*s = 2*s - 7. Sort -1, 3, o, s in decreasing order.
3, s, -1, o
Let p = 241.01 + -248. Let h = -10.99 - p. Sort 2/7, 3, h.
h, 2/7, 3
Let o = 6604 + -6604. Sort -45, 0.5, o, 21.
-45, o, 0.5, 21
Suppose -l = -2*j - 4, 2*l + 2*j - 11 = -3. Suppose -28 = 14*a - 14. Sort 0.08, 2, l, a in decreasing order.
l, 2, 0.08, a
Let z = -2416 - -2415.98. Sort -2, -3, 1.3, z, -0.4 in decreasing order.
1.3, z, -0.4, -2, -3
Let f(v) = -v**3 + 17*v**2 - 2*v + 33. Suppose 0*s = -2*i + s + 39, 0 = -5*s - 25. Let c be f(i). Sort -5, 4, -3, c in increasing order.
-5, -3, c, 4
Let f = -608436 + 608441. Let c be 1/(-2) - 14/4. Put f, -37, c in decreasing order.
f, c, -37
Let r be -9 + (-12 - -26) + -5. Sort -5, 1, -462, r.
-462, -5, r, 1
Let f(m) = m**3 - 13*m**2 - 379*m + 22. Let u be f(27). Put 16, u, -4 in ascending order.
u, -4, 16
Let o = 10032/29 - 346. Let a = -109.04 + 109.14. Sort 3, a, o.
o, a, 3
Suppose 8*s - 7*s + 16 = 0. Let n be s*3/(-6)*(-2)/4. Sort n, -1, 0, -2.
n, -2, -1, 0
Let y = 52 - 55. Suppose -2*x = 3*f + 193, -3*f = -0*x + x + 89. Let r be x/(-28) + (-10)/(-35). Sort -5, -2, r, y.
-5, y, -2, r
Let m = -564.166 - -560. Let c = m - -0.166. Put -1/2, -0.1, c, -1/6 in decreasing order.
-0.1, -1/6, -1/2, c
Let i(j) be the first derivative of -j**3/3 + 2*j**2 - 14*j + 34. Let q be i(0). Put q, 1/2, -0.02 in increasing order.
q, -0.02, 1/2
Let p(o) = -116*o + 6498. Let d be p(56). Suppose -2 = 5*b + t, -4*b - 4*t = -2*b - 10. Let c = 27 + -19. Sort d, 0, b, c in descending order.
c, d, 0, b
Let r(f) = -32*f - 133. Let u be r(-4). Let v(q) be the first derivative of q**2 - 34*q - 4. Let k be v(17). Put 5, k, u, -32 in descending order.
5, k, u, -32
Suppose 86*v + 63*v + 616 = -5*v. Let b = 21 + 16. Sort v, 3, b in ascending order.
v, 3, b
Let v = 116 + -118. Let h(a) = -9*a**2 - 43*a + 25. Let b be h(-5). Sort b, -3, 5, v.
-3, v, 5, b
Let b(x) = -5*x**2 + 151*x - 21. Let q be b(30). Put 3/7, -7, q, -0.5 in decreasing order.
q, 3/7, -0.5, -7
Suppose -153*h = -172*h + 76. Let o = -4 + 6. Sort o, h, 3, -2/5 in ascending order.
-2/5, o, 3, h
Let v = -41.07 + 41.17. Put -2/9, 2, 45, v in decreasing order.
45, 2, v, -2/9
Suppose 4*h - 2*u = 14, -3*h + u + 11 = 3. Suppose 2*l = -2*l + 72. Let z = 12 - l. Put -3, z, h in decreasing order.
h, -3, z
Let a = 46.9 - 45. Let i = -48.1 - -45.2. Let u = a + i. Sort 4, -1/11, u in descending order.
4, -1/11, u
Suppose 191 - 186 = 5*a. Let r be (-1 - -3) + a + (-35)/7. Put 0.4, 17, r in descending order.
17, 0.4, r
Suppose 9 = -3*w + 3*a + 6, -3*w + 5*a = 5. Let y(n) = -n**3 - n - 19. Let p be y(0). Let o be -6 + 1 + (-2 - -3). Put o, w, p, -5 in descending order.
w, o, -5, p
Let o = 0.0964 + 0.0736. Let l = -0.5 + 0.37. Let y = l - o. Sort 4, y, -2/11.
y, -2/11, 4
Let i = 44 - 83. Let r = i - -35. Suppose 2*z + 30 = -4*d, -z + 5*d - 9 + 29 = 0. Sort -1, -13, z, r.
-13, z, r, -1
Let t = 634 + -539. Put -2/7, t, -0.1 in increasing order.
-2/7, -0.1, t
Suppose -40 + 125 = -17*u. Let d be ((-44)/(-20))/(6/u) + 2. Let q be ((-12)/20)/((-18)/4). Sort -4/3, 0, q, d in ascending order.
-4/3, 0, q, d
Let z = -0.4 - -0.4. Let p = z - -1. Let o = -56238/19 + 2960. Sort o, -2, p in decreasing order.
p, o, -2
Suppose 2*c - 5 = -q, -2*c - 13 = 4*q - 5*c. Let g be ((-2)/(-6) - q)*57/(-2). Sort g, -3, 0 in increasing order.
g, -3, 0
Let p = 35 - 32.3. Suppose 14390*w + 3*a - 4 = 14385*w, 2*w - 4*a = -14. Sort -0.1, p, w.
w, -0.1, p
Let w be ((-3)/(-6))/((-2)/12). Suppose 125*h + 2979 = 3104. Put h, w, 7, 5 in descending order.
7, 5, h, w
Let y be (-6)/(1 - 4) - (-160)/(-72). Let u(z) = 4*z + 2*z + 0*z - 2*z - 1. Let l be u(1). Sort l, -1.5, y in decreasing order.
l, y, -1.5
Let z be (-2)/(-12) - 32/1920*30. Sort z, -52, -3/4, -0.5, 2.
-52, -3/4, -0.5, z, 2
Suppose 3*q - 58 = 5*q. Let v = 129 + q. Let k = v - 104. Sort -1/17, -1, k in decreasing order.
-1/17, -1, k
Let z = -0.7 - 2.3. Suppose 0 = -5*l + 289 - 329, -2*c + 80 = -11*l. Sort -2/145, 0.5, z, c.
c, z, -2/145, 0.5
Let l = 10 + -13. Let a = 0 + l. Let v = a + 2.5. Sort v, -16, -2/11.
-16, v, -2/11
Let l = -58.054 - -58. Let t = -0.146 + l. Let x = t - -5.2. Put 3/5, x, -2, 0.5 in descending order.
x, 3/5, 0.5, -2
Let t be 2/(-7) - 26/7. Let h(f) = -f**3 - 19*f**2 + 68*f + 1551. Let u be h(-18). Sort 5, u, -1, t in increasing order.
t, -1, u, 5
Let m = 0 + -1. Let v = -14 - 45. Let d = 62 + v. Put -1/2, d, 0.2, m in ascending order.
m, -1/2, 0.2, d
Suppose -5*i - 5*g + 44 = 29, -3*g = 0. Sort -5, i, 4 in increasing order.
-5, i, 4
Suppose -58*m + 6 = -52*m. Suppose -29 = -5*y + 6. Let h = 43 + -45. Sort m, y, h in increasing order.
h, m, y
Let m = -5.10269 - -0.10269. Sort -12, m, 1/6, 0.3 in ascending order.
-12, m, 1/6, 0.3
Suppose 2 = 4*j - 6, 0 = 3*w - 3*j + 6. Suppose 3*h - q = -4 - 4, -4*q = -20. Let o be -1 + 0 + 4 - (-7)/h. Sort 2/11, o, w, -2 in descending order.
2/11, w, -2, o
Let r = -21637/2 + 10827. Sort -1, r, -3, -35 in descending order.
r, -1, -3, -35
Let h(y) = 3*y**2 - 19*y - 10. Let z be h(7). Let s = 12270 + -12268. Let d be (0 - 9)/(6/(-4)). Sort z, d, s in decreasing order.
d, z, s
Suppose 5*y - 327 = 3*m + 2*y, -2*m - 183 = 5*y. Let f be 2*1 + 224/m. Put 0.14, 0.1, f, 3 in decreasing order.
3, 0.14, 0.1, f
Let h = -26313 - -26313. Sort -0.1, h, -4, -10.3.
-10.3, -4, -0.1, h
Let n = -177.5196 - 0.3804. Let o = -178 - n. Sort -0.04, 4, o in decreasing order.
4, -0.04, o
Let o be 3/(-2) + 29/14. Suppose 2*k = -4*m - 14, -4 = 4*m - 2*m. Let x = -0.272 - -7.272. Put o, k, x in descending order.
x, o, k
Let o = 13.91 - 12.91. Put 20, o, 12/5 in decreasing order.
20, 12/5, o
Let f be (-6)/4*(2 + -1). Let g be 22137/11304 + (-16)/12. Sort f, g, 1/4, 0.3 in decreasing order.
g, 0.3, 1/4, f
Let o = -237.0524 + 0.0524. Let a = o + 239. Sort 0.18, -1, a.
-1, 0.18, a
Let r = -3.082 - -0.082. Sort 0.5, -12, r, 2/3.
-12, r, 0.5, 2/3
Let r = 0.177 - -0.339. Let m = r + -0.036. Sort 1/6, -1/6, m in descending order.
m, 1/6, -1/6
Let q = -10 - 7. Let h = 801.9 + -819. Let v = q - h. Sort v, 2, 0.06 in ascending order.
0.06, v, 2
Let r(j) = -j**3 - 19*j**2 + 19*j - 20. Let w be r(-20). Let h = 101 - 102. Sort -4, -7, w, h in decre