 - 4. Suppose 0*p = t*p - 20. Let v be ((-5)/(-3))/(p/(-30)). Put 1, v, 5 in descending order.
5, 1, v
Let u be (12/(-3))/(-4)*12/(-3). Let p = 1 + 1. Suppose -5*s - p = -17. Sort s, u, -5 in descending order.
s, u, -5
Suppose 4*f = 19 + 1. Let l = -19 + 23. Suppose 0 = -f*j + v + 5, l*v = 5*j + v - 5. Sort j, 5, -5.
-5, j, 5
Suppose 4*j = -j. Let o be (j - 1)/(-1) - 1. Let r be (-2)/16*1*2. Put o, r, 1 in descending order.
1, o, r
Let o = 9 - 8. Let s = -13 + 10. Put o, 0.1, 5, s in descending order.
5, o, 0.1, s
Let x = 28.1 + -28.11. Suppose 6 + 4 = 3*h - 5*b, 4*h + 3*b + 35 = 0. Sort -4, x, h, 2 in decreasing order.
2, x, -4, h
Let k = 211 + -1057/5. Sort -1.2, 2, 5, k in descending order.
5, 2, k, -1.2
Let h = -1966 - -13761/7. Suppose 26 = 2*i - 3*i. Let a be i/18 + 2 + -1. Put h, a, 4 in increasing order.
a, h, 4
Let o be 1928/60 - 12/90. Put -0.4, -5, o, -3/4 in increasing order.
-5, -3/4, -0.4, o
Let w = -120 + 120.083. Let q = 0.153 - w. Put -3, -0.4, q, 2 in increasing order.
-3, -0.4, q, 2
Let o = 5 + -4. Let l be (2/3)/((-2)/(-15)). Suppose a = -2*b - 2, 0 = -l*b - 2*a - 3*a - 10. Put o, b, 3 in increasing order.
b, o, 3
Suppose 2*c = c + 5*o - 10, c - 3*o = -4. Let l = 6 + -3. Let x = 2176.6 + -2181.6. Sort l, x, c in decreasing order.
c, l, x
Let i(x) = x**2 - 6*x - 23. Let f be i(-3). Sort -5, f, -36 in ascending order.
-36, -5, f
Suppose 3*o - 55 + 13 = 0. Suppose -18*q - 4 = -o*q. Put -2, q, 1, 3 in decreasing order.
3, 1, q, -2
Suppose 2*d - 21 = -t, -4*t - d + 135 = 51. Suppose 2*q = 5*q - t. Put -4, q, 1 in ascending order.
-4, 1, q
Suppose 3*w + 5*q = -10, -2*q + 10 = -w + 3*q. Let u be (12/(-18))/((-4)/(-6)). Suppose -32 = -41*a + 50. Sort w, a, u.
w, u, a
Let c = -3 + 11/4. Let m = 49 - 44. Put 3, m, -9, c in descending order.
m, 3, c, -9
Suppose -5*j - 4 = 3*a, 5*j - 2*j = -6. Let u(y) = -y**3 - 6*y**2 + y + 7. Let h be u(-6). Let t = 0 + h. Sort -2, a, t in increasing order.
-2, t, a
Let j be 2/(-6) + 325/(-15). Let o = j + 22. Put 4, 1, o in ascending order.
o, 1, 4
Let f = 1879 + -1879.03. Sort 1/33, f, -3, -4.
-4, -3, f, 1/33
Let t = 0 - -0.1. Let n = 153 - 118.7. Let l = 34 - n. Put -5, l, t in increasing order.
-5, l, t
Let g(r) = 2*r - 14. Let k be g(8). Let x(d) = -d + 12. Let f be x(k). Suppose -4*t = -0*t. Sort f, t, -3 in increasing order.
-3, t, f
Let z = -125/36 + 13/4. Let w = 17/36 + z. Put 0.3, w, 0, 5 in increasing order.
0, w, 0.3, 5
Suppose 4*i = -12 + 12. Let n = -0.08 + 0.08. Let h = n - -2. Sort -3, i, h in ascending order.
-3, i, h
Let k(r) = -r**3 + r**2 + 4. Let m be k(0). Suppose 3*j - 5 + 2 = 0. Suppose -18 = -2*p - 3*d, d = -0*p + p + j. Sort p, m, 2 in ascending order.
2, p, m
Let p = 0.493 - 0.193. Sort -0.1, 32.5, p in descending order.
32.5, p, -0.1
Suppose 156*r + 1 = 155*r. Sort r, -87, -3 in descending order.
r, -3, -87
Suppose -3*u - 3 = 9, 3*a + 2*u + 29 = 0. Let i be ((-6)/9)/(10/45). Put a, i, 1 in descending order.
1, i, a
Let z = -1 - 3. Let h = -304.1 + 304. Sort 0.5, -2/5, z, h in decreasing order.
0.5, h, -2/5, z
Suppose -140 + 17 = 3*d. Let h = 39 + d. Put h, -4, 3 in decreasing order.
3, h, -4
Let p = -2179 + 10892/5. Sort p, 22/5, -4 in descending order.
22/5, p, -4
Let l = 27.7 - 28. Let a be (-1)/(1*(-1)/5). Sort l, 5/4, a in descending order.
a, 5/4, l
Suppose 18*w = 12 - 66. Sort -9, -6, -1, w in increasing order.
-9, -6, w, -1
Let f = 0.08 + -3.08. Let k = -8.2 + 10.2. Put 7, k, f in descending order.
7, k, f
Let f = -4 - 1. Let v = 52.5 + -52.47. Put v, 4, f, 0 in decreasing order.
4, v, 0, f
Suppose -p = 2*p - 3. Suppose 0*u = -4*u - 2*q + 252, -66 = -u - 2*q. Suppose y + 57 - u = 0. Sort p, -4, y in ascending order.
-4, p, y
Suppose 4*u + u = 0. Suppose u = o + 7 - 2. Put o, 1, 4 in descending order.
4, 1, o
Suppose -1392*d = -1397*d + 15. Sort d, 0, 2, -3 in ascending order.
-3, 0, 2, d
Let l = -23 - -22.6. Let p = -1.99 - -2. Let m = p - 0.01. Sort m, -3/2, l.
-3/2, l, m
Let r = 22 - 19. Sort -5, 1, r, -0.02 in descending order.
r, 1, -0.02, -5
Let d(m) = -m + 17. Let o be d(14). Sort o, 7, 0.
0, o, 7
Let j(h) = 518*h**3 + 17*h**2 - 1 - 2 + 18*h - 519*h**3. Let p be j(18). Let c = 3 + -4. Sort c, 1, p in increasing order.
p, c, 1
Let f = 37.4 + -37. Let n be ((-6)/(-4))/(3/6). Sort f, 1, n in descending order.
n, 1, f
Let z = 0.06 - 0.16. Let p = 82.3 - 82. Let w = z + p. Sort w, 0, 5 in decreasing order.
5, w, 0
Suppose 4*d - 4 - 4 = 0. Suppose 9*c = 11*c - 8. Let l be (-6)/16*c/6. Put d, 1/8, l in increasing order.
l, 1/8, d
Let s = 0.756 + 1.344. Sort -1, 0.3, -5, s in descending order.
s, 0.3, -1, -5
Let f = 200.48 - 201. Put 2, f, -1 in descending order.
2, f, -1
Let o = -92 + 94. Put 8, 1, o in descending order.
8, o, 1
Let y(x) = -28*x + 196. Let t be y(6). Put t, -1, 0 in increasing order.
-1, 0, t
Let q = 0.1 - 2.4. Let f = q + 2.1. Let r = -6 - -2. Sort f, r, -1/4.
r, -1/4, f
Suppose 5*l + 6 = 5*s + 3*l, -5*l + 16 = 3*s. Sort -3, s, -2, -6/13 in descending order.
s, -6/13, -2, -3
Let v be (3/(-2) - 1)/((-2)/4). Put -3, 20, 2, v in increasing order.
-3, 2, v, 20
Let k be 8/16 - (-154)/4. Suppose 4*i = k - 35. Put i, 3, 6 in descending order.
6, 3, i
Let o = 521.87 - 519.87. Let v be -1 - ((-33)/10)/3. Sort o, 1, v.
v, 1, o
Let n = -1675 + 1674.9. Sort -3, 2, 0, n.
-3, n, 0, 2
Suppose 3 - 9 = -3*u. Suppose 0 = 8*i - 3*i + 5*r - 15, -3*i = u*r - 6. Sort 6, -3, i in decreasing order.
6, i, -3
Suppose 5 = -g + 15. Suppose 5*o + 9 = -2*q - 8, g = 2*o + 5*q. Let p(y) = 80*y - 718. Let r be p(9). Sort o, 0, r in increasing order.
o, 0, r
Let y be (1/(-3))/((-48)/(-192)). Put -9.1, y, -0.3 in ascending order.
-9.1, y, -0.3
Let p = -85.97 + 87. Let o = p + 0.27. Let l = 3.3 - o. Sort l, 1, 4 in descending order.
4, l, 1
Let l be (-3)/(((-2)/(-2))/1). Let m be (11/275)/(4/60*3). Sort m, 2/15, l.
l, 2/15, m
Let p = -29159/2475 - -106/9. Let x = 33403374 - 82673349559/2475. Let g = x - p. Sort -1, -3/7, g in ascending order.
-1, -3/7, g
Suppose 24 = 5*i + l, -28 = -i - 2*i - 4*l. Suppose -i = -8*z - 44. Suppose -3*m + 4*g + 9 = 0, 0*m - 2*g = 4*m - 12. Put 6, m, z in ascending order.
z, m, 6
Suppose 7*k - 4*k = 5*z + 5, -23 = -4*z - 3*k. Let q = -26 + 15. Let x = q - -5. Sort x, z, -4 in ascending order.
x, -4, z
Let z(b) = b**2 + 3*b + 1. Let x(n) = -n**2 - 15*n - 18. Let p be x(-14). Let y be z(p). Suppose 0 = -y*g + 8*g - 12. Sort -3, g, -9 in ascending order.
-9, -3, g
Suppose 0 = -u + 10 - 6. Put 0, u, 5, 2 in ascending order.
0, 2, u, 5
Let w = 1104 - 1106. Put 0, 7, w in descending order.
7, 0, w
Let h be (-6 + 2)*1/(-14). Let m = 40.1 + -41.3. Put 2, h, m in decreasing order.
2, h, m
Let o = 12 - 1. Suppose -x = -0 + 4. Sort -2, 0, x, o.
x, -2, 0, o
Let g = -6.6 + 6. Let h = 1.1 + g. Let r = 913/1160 + 3/232. Put h, 0, r in decreasing order.
r, h, 0
Let x(b) = b**3 - 16*b**2 - b + 11. Let j(a) = -a**3 + 15*a**2 + a - 11. Let s(p) = 3*j(p) + 2*x(p). Let r be s(13). Sort -1, -5, r in ascending order.
-5, -1, r
Suppose 10*t = 45 + 15. Suppose -t*z - 4*z - 10 = 0. Sort z, 77, -2, 0.
-2, z, 0, 77
Let l = 0.653 - 2.653. Suppose -5*u - v + 7 - 3 = 0, u - 5*v + 20 = 0. Sort -0.4, l, u, 3 in ascending order.
l, -0.4, u, 3
Let o = 2900 + -345102/119. Let j = 216/1309 - o. Put j, -2, 3 in decreasing order.
3, j, -2
Suppose 0 = 3*a - 4*k - 7, 7 = -4*k + 15. Suppose 0 = -5*x + w + 15, 0 = -x + 3*x - 2*w + 2. Suppose a*z = u + x - 23, z + 7 = u. Sort 3, z, 4.
z, 3, 4
Let t be (270/(-60))/((-6)/4). Suppose w - 2*m + 1 = -3*m, 3*m = -5*w - 9. Sort w, t, 48, -1 in increasing order.
w, -1, t, 48
Let s = 34.6 - 35. Let p = 1.29 - 20.39. Let j = p + 19. Put s, j, -4 in ascending order.
-4, s, j
Let b = -0.04 - 0.96. Let r = -11 + 13. Let w be (-4)/2*r/24. Sort b, w, -1/5.
b, -1/5, w
Let u = -659.5 - -659. Put -0.137, u, -0.3 in increasing order.
u, -0.3, -0.137
Let k = 1 + 0. Let x be -2*((-3)/k)/3. Put 1, -8, -1, x in descending order.
x, 1, -1, -8
Suppose b - 16 = 5*b. Let x = -1787.5 + 1787. Put -1, b, x, 4 in ascending order.
b, -1, x, 4
Let f = -2 + 0. Let u = -898/555 - -2/111. Sort f, -0.4, u in descending order.
-0.4, u, f
Let o = -2351/2 + 1176. Let s be 6/21 + 23/(-56). Sort s, o, 3/8 in descending order.
o, 3/8, s
Let t = -3 + 3. Let q = 365 + -366. Put -2, 2/3,