 -3*p. Put a, -2, p, -4 in decreasing order.
a, -2, p, -4
Let n be (448/35 - 13)/(1/2). Sort 3, 7, -2/11, n.
n, -2/11, 3, 7
Suppose 3*d + n - 9 = -22, 2*n = d - 5. Put d, 0, -592, 1, 3 in decreasing order.
3, 1, 0, d, -592
Let w = -2.021 + 2.221. Sort 525, 2/7, w, -2/5 in ascending order.
-2/5, w, 2/7, 525
Suppose 1047*n + 10353 = 3024. Suppose 0 = 2*s - 0 + 6. Sort n, s, 4, 2 in decreasing order.
4, 2, s, n
Let d = -0.0437 - 0.0563. Let g be (-20)/(-18) + (-46)/414. Put -1.1, d, g, 0 in decreasing order.
g, 0, d, -1.1
Let b be 4/(-2) - (-567)/297. Let r = 608.6 + -604. Put b, 1, -4, r in ascending order.
-4, b, 1, r
Let b be -2 - (-17 + (0 - -1)). Suppose -10*f = -b*f. Suppose f = 9*d - 8*d + 5. Sort -5/2, d, 3/7, 0.3 in decreasing order.
3/7, 0.3, -5/2, d
Let u = 250.5 - 250. Put -1, u, 0.79, 0 in decreasing order.
0.79, u, 0, -1
Let j = 7.08 + -5.08. Let f = 15 + -27. Let b be (-4)/5*18/f. Put b, -0.05, j in decreasing order.
j, b, -0.05
Let w(v) = -v**3 + 19*v**2 - 5. Let l be w(19). Let x(b) = -7*b + 125. Let f be x(17). Sort l, f, -3, 0 in descending order.
f, 0, -3, l
Let r be (13/(-13))/(9 - (-25)/(-2)). Put 1, -6, 5/2, 2/9, r in increasing order.
-6, 2/9, r, 1, 5/2
Suppose x - 5 = -4*f, -1 = 5974*x - 5977*x + 2*f. Let q(v) = v**2 - 4*v + 6. Let r be q(4). Put 5, r, x, -1 in increasing order.
-1, x, 5, r
Suppose 2*p - 5*d = 27, -26 + 7 = p + 4*d. Suppose -370 = 30*j + 511 - 731. Put p, 5, -18, j in decreasing order.
5, p, j, -18
Let l(g) = 56 - g + 0*g + 5*g - 30. Let p be l(-7). Let i be (1/p)/((-9)/(-18)). Sort 11, i, -5, 4 in ascending order.
-5, i, 4, 11
Suppose 36 = 2*i + 2*b, 3*i = -5*b + 38 + 10. Suppose 3*m - i = -2*j - j, 3*j - 31 = -5*m. Let y = -8.33 + 8.33. Sort 0.6, y, -2/3, j in decreasing order.
j, 0.6, y, -2/3
Suppose 0*u = 3*u - 4*n + 13, 0 = -2*n + 8. Let g(o) = o**2 + 3*o - 3. Let l = 14 - 17. Let y be g(l). Put y, u, 5 in increasing order.
y, u, 5
Suppose 62 - 12 = -14*t - 6. Sort 18, t, 1, 4 in descending order.
18, 4, 1, t
Let j = 8277 + -8267. Sort j, 5, -0.19 in decreasing order.
j, 5, -0.19
Suppose 6*d - 11*d = 0. Suppose -5*z + 32 - 47 = d. Sort 7, -4, -2, z in increasing order.
-4, z, -2, 7
Let w be 216/10 - 18/(-45). Let t = w - 19. Suppose 0 = -2*b - b - 2*r, 0 = t*r + 9. Sort 3, 2/7, b.
2/7, b, 3
Suppose l = p + 8, 723*l = 718*l - 3*p - 32. Let o(t) = -t**2 + 6*t - 6. Let m be o(4). Sort l, 79, -5, m in decreasing order.
79, m, l, -5
Let h = -47916 + 47920. Let z be ((-4)/(-18))/(-1 + -1). Let c = -1.2 + 1. Sort z, -0.4, h, c in decreasing order.
h, z, c, -0.4
Let s be 4/(-5)*1265/253. Put 8, 4, s, -6 in decreasing order.
8, 4, s, -6
Let k = 1399 - 2285. Put -3, 1, 0, k in descending order.
1, 0, -3, k
Let c(f) = -2*f**2 + 1701*f + 13741. Let b be c(-8). Let g = 24 + -8. Suppose 1 - 2 = -3*j + 2*d, -3*j + g = -5*d. Put j, 2, -2, b in ascending order.
j, -2, 2, b
Let u be (-4)/14 - (-418)/(-154). Let c = 2446.7 + -2447. Put u, 6.7, c in increasing order.
u, c, 6.7
Let w = 20218 - 20507.02. Let n = w - -289. Put -2/5, -5, 0.2, n in ascending order.
-5, -2/5, n, 0.2
Let f be 2/4*(-4)/(-2). Suppose -9*h + 70 = 5*h. Suppose 15*w - 40 = h*w. Put f, w, 2 in decreasing order.
w, 2, f
Let x = -3981 + 3981. Put 3, 5, x, -14, 29 in decreasing order.
29, 5, 3, x, -14
Let u = -74.7 - 4.3. Let a = u - -54. Sort a, -3, -2/17 in increasing order.
a, -3, -2/17
Suppose -z = -0*z - 3, i + 5*z - 18 = 0. Let m = 1 - i. Let u(w) = -w**2 - 12*w - 20. Let t be u(-8). Sort 1, t, m in increasing order.
m, 1, t
Let d = -154/5 - -1112/15. Let p = 131/3 - d. Sort p, -0.4, 28 in decreasing order.
28, p, -0.4
Let p = 24915 - 24919. Sort -6, -3, p, 2, 75.
-6, p, -3, 2, 75
Let r = 0.218 + -0.018. Sort r, -0.01, -0.41 in descending order.
r, -0.01, -0.41
Let p = -12 - -8. Let x = 5.16 - 170.16. Let b = -167 - x. Put 1/5, b, p in descending order.
1/5, b, p
Suppose 2*k + 20*k - 1100 = 0. Let o = 92 + -39. Let l = k - o. Put 1, l, 5, 4 in descending order.
5, 4, 1, l
Let g(i) = i**2 + 3*i + 3. Let n be g(-3). Let l be 3*7/21*-1. Put l, -3, n, 5 in decreasing order.
5, n, l, -3
Let i(u) = 18*u - 72. Let c be i(5). Suppose -24*g + c*g = 30. Suppose -3*q - 16 = -4. Sort g, 5, q, 1 in descending order.
5, 1, q, g
Let h = 0.812 + 0.188. Let k = 22.94 + -23. Sort h, k, 0.1.
k, 0.1, h
Let r be 25 - 382/14 - (-3 + (1 - 0)). Let y = 12 + -7. Sort y, 0.3, r, -1/3 in descending order.
y, 0.3, r, -1/3
Let d(m) = -46*m**2 + 318*m + 30. Let t be d(7). Sort t, 0.2, -1, -0.4, -51 in decreasing order.
t, 0.2, -0.4, -1, -51
Let n = 3293 + -3053. Sort 4, 17, n.
4, 17, n
Let i = -0.13 + 103.13. Let z = 103.1 - i. Let t = 54 - 53.89. Put -0.5, z, t in decreasing order.
t, z, -0.5
Let c = 25.547 - 27.547. Put -8, 0.1, 0.09, c, -4 in increasing order.
-8, -4, c, 0.09, 0.1
Let u = 53.7 - 53.96. Sort u, -2/17, 0 in increasing order.
u, -2/17, 0
Let o = -0.02 - 3.98. Let k = -145365/26 + 5590. Let f = k + -46/13. Sort o, -2/5, f.
f, o, -2/5
Suppose -173 = 4*t - k, 3*k - 33 - 56 = 2*t. Put t, 5, -2 in descending order.
5, -2, t
Suppose -17*t + 6 - 23 = 0. Suppose 0 = -r - 3*z - 7, 0 = 2*r + z + 4 - 5. Put 1, r, -3, t in decreasing order.
r, 1, t, -3
Let r be 225/25 - (2 - 2042). Sort 1, r, -1, 5 in decreasing order.
r, 5, 1, -1
Let a = 93 - 98. Let c(l) = 41*l + 202. Let x be c(a). Let h = -1 - -0.9. Sort x, h, 0.1, 1/7 in descending order.
1/7, 0.1, h, x
Let i = 3293 + -3293.1. Sort -28.8, -2/5, i, 1/3.
-28.8, -2/5, i, 1/3
Suppose 4*m + l = 201, m + 10*l - 8*l - 45 = 0. Suppose 10*d = -69 - m. Put d, 0, 3, 4 in ascending order.
d, 0, 3, 4
Suppose 0 = 5*r + 28 - 88. Let k be (5166/r)/7*(-8)/(-6). Let c be 123/k - 19/(-20)*-2. Sort c, 3.6, -1/3 in descending order.
3.6, -1/3, c
Let r(n) = -n - 4. Let j be r(-8). Let a be ((-242)/(-110) - (-1 - -3))*15/2. Put 244, a, j, 5 in increasing order.
a, j, 5, 244
Suppose -2*x - 8*q + 3*q = -106, x = q + 60. Let k = 695/12 - x. Put -0.4, 4, k, 0.5 in descending order.
4, 0.5, k, -0.4
Let f = 3 - 7. Let p be (-17)/(153/(-90)) - 2. Let t be (-34)/p + 9/((-108)/(-48)). Sort -2, t, f.
f, -2, t
Let z = -28.427 + 32.427. Let s = -375/4 + 453/4. Let a = 193/10 - s. Sort z, a, 4/9 in decreasing order.
z, 4/9, a
Let j = 32 + -158/5. Let w be ((-3)/(-54))/((-10)/16*112/280). Sort w, j, -5, 0 in increasing order.
-5, w, 0, j
Let x = 18.9 + 12.8. Let i = -32.2 + x. Put 4, -3, 2/3, i in decreasing order.
4, 2/3, i, -3
Let a be (-2)/8 - (-20)/(-112). Let o = 0.05 + -0.55. Let c = 1.77 - 3.77. Sort a, 3, o, c in decreasing order.
3, a, o, c
Suppose -p = -0*p - 1, -2*n - 5*p + 17 = 0. Suppose 2*o = 4*o + 2*y - n, 0 = -o + y + 1. Sort 3, -1, o, 4.
-1, o, 3, 4
Let g be (-3)/9*21 - (3*-2 + 1). Put g, -4/19, 0.06 in increasing order.
g, -4/19, 0.06
Let z be 5 - (-1 - -1)/2. Suppose 766*r + 20 = 761*r + 4*b, 5*b = r + 25. Sort r, -9, z in decreasing order.
z, r, -9
Let w(i) = i + 83. Let o be w(-87). Let j be (39/9)/(1/3). Sort o, j, 3 in descending order.
j, 3, o
Suppose -76*r + g - 12 = -77*r, 4*g = 2*r + 6. Let a be (-6)/12 + (-35)/2. Sort -1, -2, r, a in ascending order.
a, -2, -1, r
Suppose -4*z = 2*s - 3*z - 1260, 4*z = s - 630. Let t = s - 629. Sort 13, 0, t in ascending order.
0, t, 13
Suppose 0 = -3*t - t + 28. Let m(d) = d**2 - 16*d + 31. Let l be m(14). Let z be ((-58)/(-3045))/(l/21). Sort -1/11, 3/5, t, z.
-1/11, z, 3/5, t
Suppose -3*r - 3 = 0, -2*a + 2*r - 48 = -7*a. Suppose -8*w = -6*w - a. Suppose 5*g = 4*s, 0*g + 2*s = -w*g + 30. Put g, 0, -3 in decreasing order.
g, 0, -3
Let m(x) = 237*x - 1183. Let s be m(5). Sort s, 6, -3, -7.
-7, -3, s, 6
Let b = -206 - -207. Put 0.82, -6, b in decreasing order.
b, 0.82, -6
Let b = -3 - 16. Let q(y) = -y**3 - 18*y**2 + 20*y + 21. Let k be q(b). Suppose -2*z - z - 4 = -4*o, 0 = o + k*z - 1. Sort 4, 0, -2, o in descending order.
4, o, 0, -2
Let o(n) = -3*n - 19. Let l be o(13). Let j = l + 79. Let g(r) = r**3 - 22*r**2 + 22*r - 27. Let p be g(j). Sort 0, 2, p in ascending order.
p, 0, 2
Let z = 4 - 0. Let g = -24 - -29. Suppose 53*k - 14*k - 39 = 0. Sort z, 0, k, g in ascending order.
0, k, z, g
Suppose -15*i = 3370 - 3400. Sort 74, i, 32 in ascending order.
i, 32, 74
Let c(n) = -n**3 + 16*n**2 + 18*n - 13. Let f be ((-663)/156)/((-2)/8). Let j be c(f). Let g be (-2 + 40)*(-2)/4. Sort j, -3, 