r.
0.5, i, -0.124
Let o = -28.92 + 22.92. Sort 0.26, o, 3 in decreasing order.
3, 0.26, o
Let w = -0.1215 - 0.1785. Put -5/4, w, -0.4, 4 in descending order.
4, w, -0.4, -5/4
Let i = 4 - 2. Let v be 3/i*(-4)/33. Let p = -18 + 17.5. Sort p, v, -1 in descending order.
v, p, -1
Let c(y) = -y**3 + 4*y**2 - 4*y + 19. Let q be c(4). Suppose 3*p + 2*p = 20. Let l = 6 - p. Put l, -1, q in ascending order.
-1, l, q
Let b be 1*(-6 - -3)*(-1)/(-12). Sort -1, b, -6/11 in increasing order.
-1, -6/11, b
Let d = -120 - -113. Let k be (4/(-6))/(10/15). Let b(z) = -z**3 - 5*z**2 - 2*z - 7. Let a be b(-5). Put d, a, k in ascending order.
d, k, a
Suppose 2*l = 5*t - 32, 4*t - 2 = 3*l + 46. Sort l, -0.5, -3, 3.
l, -3, -0.5, 3
Let x(l) = l**3 + 7*l**2 + 4*l - 12. Let c be x(-6). Suppose c = h - 5*h + 28. Suppose -h*d - 31 = -3. Sort d, 4, -5 in decreasing order.
4, d, -5
Let k = 5.35 + -1.05. Let x = -4 + 0. Let y = x + k. Sort y, -3/4, -0.5.
-3/4, -0.5, y
Suppose -153 + 48 = 35*w. Put w, 1, 6, -2 in ascending order.
w, -2, 1, 6
Suppose -4*h = 0, -h = 2*u + h - 6. Let w(r) = 0*r**3 + 3 - r**3 + 2*r - 5 - 3 + 3 + 3*r**2. Let a be w(u). Sort a, 3, -1 in increasing order.
-1, 3, a
Let t be ((-11)/(-7) - 1) + -1. Let x = 17 + -19. Let m be (2/5)/(x/10). Put m, -4, t in descending order.
t, m, -4
Suppose -84 = -30*h + 37*h. Sort -8, -4, 3, h in decreasing order.
3, -4, -8, h
Let t(j) = -4*j**2 + 3*j + 3. Suppose -2 = -2*a - 4. Let o be t(a). Let u be (-17)/(-2)*(-2)/1. Put -2/7, u, o in increasing order.
u, o, -2/7
Let x be 2/11 - (-36)/44. Suppose -3*d - 17 = -8. Sort x, -10, d in descending order.
x, d, -10
Suppose -2*p + 4*p + 260 = 0. Let b = 2989/23 + p. Let h = 816 + -820. Put b, h, -0.5 in descending order.
b, -0.5, h
Let t be (-33)/(-18)*2 - 3. Let r = 14 + -18. Let x = 3089/11 - 281. Sort t, r, x.
r, x, t
Suppose i = 2*c + 2*c + 10, 2*c = i - 2. Let h = 10 - 11. Put -1/4, h, 3, i in increasing order.
i, h, -1/4, 3
Let u = 565 + -566. Sort 7, 35, u.
u, 7, 35
Let h be ((-2)/30)/((-18)/108). Let r = 8 - 7.7. Let v = r - 0.1. Sort 4, h, v in decreasing order.
4, h, v
Let g be 308/12 + -4 + 7. Sort 5, 0.5, g in decreasing order.
g, 5, 0.5
Suppose -3*j + f + 11 + 2 = 0, -18 = -5*j - 2*f. Let o = 6.3 - 6. Put 5, j, o in descending order.
5, j, o
Let q(x) = -2*x + 1. Let t be q(-6). Let i = t + -16. Put 0, i, -2 in ascending order.
i, -2, 0
Let b = -6322/17 + 372. Let s = -15850 + 15842. Sort s, 5, b in decreasing order.
5, b, s
Let s(l) = 4*l + 135. Let y be s(-33). Put 5, y, -11, -5 in increasing order.
-11, -5, y, 5
Let z = 1759.4 - 1759. Sort z, -2, 3, 123.
-2, z, 3, 123
Let p(v) = v**2 - 4*v - 10. Let y be p(5). Sort -46, y, -3 in decreasing order.
-3, y, -46
Suppose -z + 2*z + 4 = 0. Let i = -9743 + 9745. Sort i, z, -1.
z, -1, i
Let l = -78.1 + 74.1. Let w = 2 - -1. Put w, l, -15, -3/5 in descending order.
w, -3/5, l, -15
Let s = -537 - -540. Sort s, 1, 2/395 in descending order.
s, 1, 2/395
Suppose -2*y = -2*q + 2, -5*q + 22*y - 21*y = -17. Put 35, q, 5, 6 in decreasing order.
35, 6, 5, q
Let x = -1513 - -4535/3. Let q = -7 + 4. Put 0.5, 2, x, q in increasing order.
q, x, 0.5, 2
Suppose z = -5*i + 25, z = 3*i - 0*z - 15. Put 4, 0, 8, i in increasing order.
0, 4, i, 8
Suppose -4*g - 300 = 5*m + 2155, m + 492 = -g. Sort -5, m, 5, 3.
m, -5, 3, 5
Suppose 2*a = 5*a + 54. Let r be ((-1)/2)/((-3)/a). Let f be r/(-6)*(1 - 13). Put 0, f, -4 in increasing order.
f, -4, 0
Let u = 11/51 + 21/34. Sort -1, u, -0.01 in descending order.
u, -0.01, -1
Let s(g) be the second derivative of -g**4/12 - g**3 + g**2 + 12*g - 1. Let z(l) = l**2 - 5*l - 2. Let j be z(4). Let a be s(j). Sort 1/4, 5, a.
1/4, a, 5
Let b(c) = c**2 - 9*c + 12. Let n be b(8). Let l be (-3)/27 - (-1 + (-105)/(-27)). Sort n, -4, l, -1.
-4, l, -1, n
Let f = -148.9 - -174. Let g = -27 + f. Sort 0.3, g, 1 in descending order.
1, 0.3, g
Let b(t) = -6*t**3 + 32*t**2 - 10*t - 5. Let a be b(5). Sort 4, 12, 3, a in decreasing order.
12, 4, 3, a
Suppose -5*p = -3*p + 10. Let w = -565.5 - -565. Suppose -16 = -q + 5*q. Put p, w, q in increasing order.
p, q, w
Let v(t) = 7*t**2 + 5*t + 10. Let o be v(-7). Let s be 2/11 - o/(-66). Let j = 74 + -70. Put 7, s, j in ascending order.
j, s, 7
Suppose -2*w = -4*u + 3*u + 25, 3*u + 55 = -4*w. Let j(x) = -x**2 - 3*x + 3. Let y be j(3). Let g = y - w. Put 4, g, 2 in ascending order.
g, 2, 4
Suppose 2*u + 2*q - 46 = -q, -2*q = -3*u + 56. Let k be u/(-70) - 52/14. Put k, -5, 5 in descending order.
5, k, -5
Let o = 0.31 - -14.69. Let v(m) = -117*m + 1877. Let c be v(16). Sort c, -3, o.
-3, c, o
Let h(u) = -2*u**2 - 4*u + 1. Let d be h(-3). Suppose j - 3 = -1. Suppose -p = -5*p + 5*t + 5, 14 = 4*p - j*t. Sort p, d, 3 in ascending order.
d, 3, p
Let u(y) = 10*y - 16. Let l be u(2). Put 5, l, 0 in increasing order.
0, l, 5
Let b = -5.92 + 5.82. Put 4/7, b, -2/15 in increasing order.
-2/15, b, 4/7
Let p = 186 + -190. Put p, 2, -13 in descending order.
2, p, -13
Let n(j) = j**2 - 16*j + 30. Let r be n(14). Let z(s) = -2*s**3 + 15*s**2 - 11*s + 9. Let w be z(7). Put w, r, 4 in increasing order.
w, r, 4
Suppose -18 = -4*j + 2*l, -11*j + 3*l = -12*j + 15. Sort 5, -3, 3/7, j in decreasing order.
j, 5, 3/7, -3
Let u = 8 - 2. Let w = 415 + -419. Sort u, -3, w in increasing order.
w, -3, u
Let x = 21 + -25. Let k be 2/3 + (-8)/(-6). Suppose 5*c = s - 3*s - 4, -3*s = 2*c - 5. Sort k, x, c in ascending order.
x, c, k
Let p be ((-5)/10)/(1/(-10)). Let i be -107 - ((-3)/3 - -1). Let s = i - -110. Sort 15, s, p in descending order.
15, p, s
Suppose d + r + 2 + 4 = 0, 0 = 5*d - 5*r - 10. Sort 7, -23, -5, d.
-23, -5, d, 7
Suppose -44 = 12*h - 80. Put -2/3, 0.01, h, -22 in increasing order.
-22, -2/3, 0.01, h
Let f = 17 + -13. Put -0.5, f, -0.3, -0.031 in ascending order.
-0.5, -0.3, -0.031, f
Let m be 4/10 + 136/(-40). Let g be 2/(-1) + m/(-1). Let x be (g/(-30))/((-1)/(-4)). Sort -4, x, -1.
-4, -1, x
Let z(p) = -8*p**2 + 26*p + 26. Let l be z(4). Put 39, 0, l, 4 in descending order.
39, 4, l, 0
Suppose -3*l - 3*a = 6, 0 = -l - 4*a - 7 - 1. Suppose 75 + 87 = -54*o. Put 8, l, o in ascending order.
o, l, 8
Suppose 0*q + 6 = 2*q. Suppose -20 = -3*l + 5*x, 20 = q*l + 3*x - 16. Let u be (-8 - -9)/((-2)/l). Put -4, 2, u in ascending order.
u, -4, 2
Suppose -2*d = -2*t + 12, 3*t - 5*d - 25 = -t. Suppose 5*k - 2*c = -t*c - 19, 3*k + 5*c + 21 = 0. Sort k, 9, -3 in decreasing order.
9, k, -3
Let a(h) = h**3 + 9*h**2 - 10*h - 1. Let g be a(-10). Let f = 782 - 819. Sort g, f, 3.
f, g, 3
Let y = 321 + -209. Let f = y + -114. Put 5, 0.1, -0.4, f in decreasing order.
5, 0.1, -0.4, f
Let d be (7 + 0)*(598/(-91) - -6). Sort d, -3, 2, 10.
d, -3, 2, 10
Suppose 3 = 320*n - 319*n. Put n, -12, 0, 6 in ascending order.
-12, 0, n, 6
Let d be (-30)/2*(273/(-35) - -7). Sort -1/4, d, -1/7, 2/9.
-1/4, -1/7, 2/9, d
Let m be (-5)/3 + 1 - (1 - 1). Let a = -0.056 + -0.244. Let s = 3 - 7. Put s, a, m in ascending order.
s, m, a
Let t(n) = n + 7. Let r be t(-3). Let q be (r/8)/(2/(-16)). Put -0.4, 0.5, q in decreasing order.
0.5, -0.4, q
Suppose 108*s = 153*s - 180. Sort -1, 65, -2, s.
-2, -1, s, 65
Let w = 15.06 + -15. Let z = 0.04 + w. Let t(r) = r + 5. Let a be t(0). Put z, 0.3, a in increasing order.
z, 0.3, a
Let d be 48/(-240) - (-2 - (-178)/110). Let s = 27 + 19. Let a = -600/13 + s. Put d, 0.2, a in increasing order.
a, d, 0.2
Let w = -2.2 + 2. Let u = w - -1.8. Let l = u + -1.1. Sort 0, 5, l in decreasing order.
5, l, 0
Let s be 452/18 - (-16)/(-144). Sort -1, -9, s in descending order.
s, -1, -9
Let a be (-1)/(-10) + 4/10. Let s = -210 - -121. Let m = -89 - s. Put -0.4, m, a in descending order.
a, m, -0.4
Let t(b) = 2*b. Let n be t(-1). Suppose 8*k = 4*k. Let u be 1 + k - 21/27. Put -3, u, n in descending order.
u, n, -3
Let g = -69 - -52. Let d = g + 17.05. Let m = -193/70 - -20/7. Sort m, 0.2, d in ascending order.
d, m, 0.2
Let u be 4/(-8)*(-174)/3. Suppose 0 = 2*h - 4*h - 5*n + u, h = -5*n + 27. Suppose 3 + 3 = 2*r + 3*z, -h*z = 4*r - 4. Sort r, 5, 4 in ascending order.
r, 4, 5
Let c = 2.09 + -1.981. Let o = c - 0.049. Sort 2/11, o, 3 in descending order.
3, 2/11, o
Let y = -60 - -60.84. Let t = y - 0.64. Sort 1/3, -4/5, t in descending order.
1/3, t, -4/5
Let o(q) = -2*q**2 - 34*q - 2. Let k be o(-17). Let c(z) = z*