4. Let p be (-2 - 5/(-4)) + 5/(-20). Let t be (3/p)/3*4. Sort t, r, -3/2 in increasing order.
t, -3/2, r
Let x be 2/(1 - 30/34). Suppose 2*w + 8 = -2*q, -5*q = w + 13 + 11. Sort -2, q, x in descending order.
x, -2, q
Let l = -47 - -47.23. Let z = 0.13 - l. Let d = 5 + -3. Sort d, z, 0.4 in ascending order.
z, 0.4, d
Let d be ((0 + 0)/1)/(-3). Let k = d + 2. Suppose k*s + 4 = -0. Put -4, s, -11 in increasing order.
-11, -4, s
Let h = -2.2 + 2.3. Let p = h + 0.13. Let x = 0.53 - p. Sort -3, -5, x in ascending order.
-5, -3, x
Let c be ((-2)/18)/((-4)/(-6)). Let s = 13928.6 + -13929. Sort s, c, 2 in decreasing order.
2, c, s
Suppose 0 = t + t - 8. Suppose 4*x - 19 = -j - 2*j, -4*j = x - 8. Suppose -l - x*u - 12 = l, 2*u + 14 = 3*l. Sort t, 0, l in decreasing order.
t, l, 0
Let b = 468 - 468. Let k = 1.2 + -1. Put -5, k, 4, b in decreasing order.
4, k, b, -5
Let b(v) = v**3 - 13*v**2 - 16*v + 12. Let x be b(14). Let g = x + 65/4. Sort g, 3, -0.99.
-0.99, g, 3
Suppose 3*r = -2*r - 30. Let h = 21 + -13. Suppose -4*o = -v - h, 4*o + 3*v - 8 + 0 = 0. Put o, 0.2, r in descending order.
o, 0.2, r
Let j be -5 - 0 - 5658/(-1150). Sort j, 4/5, -3/2 in descending order.
4/5, j, -3/2
Let f = 159 - 159. Sort f, -4, -7.
-7, -4, f
Let l = -3.5 + 3. Let u be (2/(-8))/((10/110)/(-1)) - 3. Sort -0.3, l, u, 0.1 in decreasing order.
0.1, u, -0.3, l
Let s(g) = 809*g - 31. Let r be s(-6). Let n = -53693/11 - r. Sort n, -0.1, 1 in descending order.
n, 1, -0.1
Let p(d) = -d**3 + 17*d**2 - 56*d - 46. Let w be p(12). Sort -69, w, 4.
-69, w, 4
Suppose -2*m = 4*n + m - 15, -n - 4*m + 20 = 0. Let q = 0 - n. Let g(l) = 7*l**2 - 67*l + 157. Let x be g(5). Sort x, q, -1 in descending order.
q, -1, x
Suppose 12 + 13 = 5*v. Suppose 13*h - 42 = -3. Suppose 0 = -5*u - 3*b - 25, -7*u - 2*b = -2*u + 20. Put u, h, v in descending order.
v, h, u
Let u be -3 - (4 + 218699162169/(-15345)). Let i = u + -14252138. Let g = i + 2/465. Sort -1, g, -5/2 in increasing order.
-5/2, -1, g
Let p be ((-11)/(-33) - -1)*(-366)/4. Put p, -3, -1 in descending order.
-1, -3, p
Let j = 6988 + -6988.1. Let w = 109/665 - 2/95. Put j, -5, w in decreasing order.
w, j, -5
Let k be ((-4)/(-3))/(22/33). Sort -4, 71, k in ascending order.
-4, k, 71
Suppose 3*p + 1 = -38. Let n = p + 18. Suppose -2*x - 4*v = -5*x - 14, -16 = 3*x - 5*v. Sort 0, n, x.
x, 0, n
Suppose 2*m + 10 - 14 = 0. Suppose 2*z = -x - 3, m*x = -2*x + 5*z + 27. Let d(k) = k**2 - 8*k + 8. Let n be d(8). Put x, -1, n in decreasing order.
n, x, -1
Let c = -35.4 + 35. Let v = 26 + -29. Sort v, 5, c.
v, c, 5
Let d = 219 - 47. Let o = -172.4 + d. Put o, 1/5, -2/11, 5 in descending order.
5, 1/5, -2/11, o
Let u be (6 - (14 - 5))*1. Suppose -15 = 5*j, 3*a + j = 2*a - 8. Put u, a, -2 in decreasing order.
-2, u, a
Let q = 129 - 131. Suppose -2*c + 2*j = 0, -c - c - 8 = -4*j. Suppose -c*h + 13 = -3. Put q, h, 3 in descending order.
h, 3, q
Let w be (-5)/(-91) + (-26)/91. Put -5, -3, w in ascending order.
-5, -3, w
Let v = 1.3 - 6.3. Let x = 814 + -814.4. Sort v, x, 1/3, 8.
v, x, 1/3, 8
Let v(j) = j**3 + 15*j**2 - 14*j + 35. Let y be v(-16). Sort y, -19, -1 in descending order.
y, -1, -19
Suppose -2*g + 3*r + 2 + 68 = 0, -5*g - 2*r + 213 = 0. Put -2, 2, g in ascending order.
-2, 2, g
Let z be ((-12)/21)/((-58)/(-203)). Sort z, 2, -4, -3 in ascending order.
-4, -3, z, 2
Let g = -6120 + 6100. Suppose m = 2*m + 5. Sort 0, m, g in increasing order.
g, m, 0
Suppose -5*p + 5 = 25. Put 4, p, -6, 5 in ascending order.
-6, p, 4, 5
Let m = 85 - 89. Let t = 1.7 - 2. Let j = -7.5 + 8. Sort j, t, m in descending order.
j, t, m
Let p be (4/15)/(-2)*-3. Suppose 13 = 2*x - 25. Let o = x + -14. Sort p, 4, o in ascending order.
p, 4, o
Let z = 3.04 + -3. Let h = 21.38 + -21. Let g = -4.38 + h. Sort -3, z, g in descending order.
z, -3, g
Let x(r) = 4*r + 33. Let q be x(-7). Suppose -20 = -q*w, -5*t + 5 = -2*w + 3. Sort 1, 5, t in decreasing order.
5, t, 1
Let v be (22/(-8) - -3) + (-1)/4. Suppose k + 3*k + 3*f + 12 = 0, -k - 3*f - 3 = v. Put k, 4, 0 in descending order.
4, 0, k
Let o be (-1*16)/2*-1. Let d = 2054 - 2055. Sort o, d, -5 in decreasing order.
o, d, -5
Let v = 0.761 - -0.239. Put 0, v, -2/41 in increasing order.
-2/41, 0, v
Let n = -16.1 - -16.5. Sort -1/43, -4, n in decreasing order.
n, -1/43, -4
Let c = -219/170 + 3/34. Let n = 3.1083 + -0.1083. Sort c, n, 0.2 in decreasing order.
n, 0.2, c
Let v = 143 - 146. Put 0.1, v, -1, 1 in descending order.
1, 0.1, -1, v
Let o(h) = -h**2 + 3*h + 11. Let l be o(-3). Put -5, 3, l in decreasing order.
3, -5, l
Let z = 0.9 + -1. Let t = -164.207 - -0.207. Let c = t + 165. Put c, 0.3, z in decreasing order.
c, 0.3, z
Let a be (1 + (0 - 2))/(88/16). Put 5, -7, a, 0.4 in decreasing order.
5, 0.4, a, -7
Suppose -2 = b - 4. Sort b, -17, -5.
-17, -5, b
Let t = 0.2 - 0.2. Let a = 510 + -511. Put 4/11, t, a in descending order.
4/11, t, a
Let t = -770 - -855. Sort 5, 0, t in increasing order.
0, 5, t
Let x(r) = 2*r**2 - 3*r. Let y be x(2). Let d = -5.61 - -0.61. Let m = 0.2 - 1.2. Put m, y, d in ascending order.
d, m, y
Let g(m) = -2*m**2 + 30*m - 72. Let k be g(12). Sort k, 6, -4 in decreasing order.
6, k, -4
Let w be ((-12)/27)/((-4)/(-6)). Let j be 333*2/66 - 3 - 7. Put w, j, -0.1 in ascending order.
w, -0.1, j
Suppose -3*f = x - 0*x + 6, 5*x - 8 = 4*f. Let h be 15/(-12)*(0 + x + 36). Sort 1, -3, h.
h, -3, 1
Let l = -1599 + 1604. Sort -0.2, l, -10 in ascending order.
-10, -0.2, l
Let i = 226 + -221. Sort i, 102, 3, -1 in ascending order.
-1, 3, i, 102
Let r = 601 + -606. Put 3, 2, r in ascending order.
r, 2, 3
Let u(w) = w**3 + 6*w**2 - 6*w + 7. Let l be u(-7). Let y be (120/(-16) + 7)/(1/4). Put l, y, 2 in increasing order.
y, l, 2
Let q = 10 + -10. Suppose 0 = -4*j + 3*a + 11, -3*j + 8*j - 22 = a. Put q, 2, j in descending order.
j, 2, q
Let s be 302/(-151)*(-3)/(3/(-2)). Let k be 1/(1/3) + 0. Suppose -3 = -k*v - 2*j, 3*v + j - 12 = -2*v. Sort v, s, 1 in ascending order.
s, 1, v
Let n = -6 - -5.8. Let x = 2.2 - 1.9. Let f = 0.2 - x. Sort -1/4, f, n in descending order.
f, n, -1/4
Suppose 7*s - 5*s = 2*r, 5*r - 4*s - 5 = 0. Suppose 0*j - 5*j + r = 0. Let n(m) = -m**2 + m - 1. Let w be n(j). Sort 5, -2, w.
-2, w, 5
Let a = -20.3 + 19. Let v = 0.3 + a. Let i = -2876 - -2881. Sort v, 0.2, i.
v, 0.2, i
Let n = -383 - -393.17. Let i = 810.17 - 810. Let b = n - i. Put 2, 0, b in decreasing order.
b, 2, 0
Suppose -3*i + 2*i - 5*r + 21 = 0, 0 = -3*i + 2*r + 80. Put -4, i, 4 in descending order.
i, 4, -4
Let o = -0.25 + -4.75. Let z = -9 - -13. Let x = o + z. Sort -1/2, x, 5 in descending order.
5, -1/2, x
Suppose u = 5*t - 20, 45 = -3*u + 7*u + 5*t. Let h = -3211 - -3210.8. Put -2, -5, u, h in decreasing order.
u, h, -2, -5
Let f be (-377)/145 - 16/(-10). Sort f, 8, 1.
f, 1, 8
Let f = -52438/59013 + -2/6557. Sort f, -5/3, -0.2, -0.5 in increasing order.
-5/3, f, -0.5, -0.2
Let o be 836/33 + (-4)/3. Suppose -4*p = -4*u + o, -4*u + 10 = -u - p. Sort 4, u, 3.
u, 3, 4
Let z(b) = -12*b - 29. Let y be z(-2). Sort -0.1, -60, y in descending order.
-0.1, y, -60
Let r be (8/(48/30))/(-1). Sort r, 2, -20, -2 in descending order.
2, -2, r, -20
Let a be 64 + ((-3)/3 - 2). Let r = a + -68. Let v = -16 - -11. Sort 4, v, r in increasing order.
r, v, 4
Let w be -12 - (-2 - -1 - -2). Let j = 8 + w. Sort 18, j, 4 in descending order.
18, 4, j
Suppose -2*t + 2 = 4*h, 0 = -6*t + 3*t - 3*h + 9. Sort -0.1, 0.5, 0.6, t in decreasing order.
t, 0.6, 0.5, -0.1
Let h(q) = 4*q**3 - 2*q**2 + 8*q + 9. Let x be h(-1). Sort -12, x, -2, 0 in descending order.
0, -2, x, -12
Let v = -77/3 + 25. Let m be 1/(-2) + 2/8. Let n = 3/371 - 787/5565. Put n, m, v in descending order.
n, m, v
Let i = -6.97 + -0.03. Let j = i - -6.7. Let q be 8/(-6) - (-14)/6. Sort 5, j, q in ascending order.
j, q, 5
Let j = -1178 - -1178. Sort j, -0.3, 0.4 in decreasing order.
0.4, j, -0.3
Let n be (-3)/2*(3036/180)/(-23). Sort 2/11, -2, -0.5, n in increasing order.
-2, -0.5, 2/11, n
Let a = 2551 - 2555. Put 0, a, 2, -11 in descending order.
2, 0, a, -11
Let f = 94.3 + -90.3. Sort 1/288, -0.2, f in decreasing order.
f, 1/288, -0.2
Let j = -383 - -383.3. Let h = -1 + -2. Put -2, -4, j, h in descending order.
j, -2, h, -4
Let m be (3/2)/((-6)/8). Suppose 128 = 5*h + 3*r, h - 4*r - 2 - 19 = 0. Sup