9 + 29.4. Let x = 0.7 - 0.71. Let b = 0.21 + x. Put -0.3, b, p in increasing order.
-0.3, b, p
Let r(h) = -h**3 + h + 2. Let j be r(0). Let d = 2 + -1. Suppose 0 = -8*l - 0*l + 24. Sort l, j, d.
d, j, l
Let l be (-1)/(-4) + (-69426)/(-56). Let u be (-416)/l - 4/(-10). Let d = u + 56/93. Sort -4, -1, d in decreasing order.
d, -1, -4
Let n = -80 - -90. Suppose 5*k + 5*d = -20, 2*d = 3*k - 3 + n. Sort -4, -7, k in decreasing order.
k, -4, -7
Let d = 12 + -7. Let j = -4.8 + d. Let a = -195 + 1563/8. Put a, j, 4 in descending order.
4, a, j
Let l = -0.069 - -36.069. Let m = 35 - l. Put 0, 0.2, m, -0.04 in ascending order.
m, -0.04, 0, 0.2
Let u be 18 - (0 - 0)/(-1). Let h be 4/20 + u/10. Let t be 126/(-33) - h/11. Sort -5, t, -2 in decreasing order.
-2, t, -5
Let n = 15 - 10. Suppose -12*v - 65 - 31 = 0. Sort 0, v, n in increasing order.
v, 0, n
Let g(l) = -l**3 + 3*l**2 + 5*l - 2. Let x be g(4). Suppose 2*f - 4*f + x = 0. Suppose -7 = 4*b + f. Sort b, 1, 4 in decreasing order.
4, 1, b
Let s be 2/18*-47 + (-235)/(-47). Put s, -4, -0.5, 8 in decreasing order.
8, s, -0.5, -4
Let g = -310/7 - -327/7. Sort 1, 5, 4, g.
1, g, 4, 5
Let f = 62/759 + 4/759. Sort -5, -9, f in ascending order.
-9, -5, f
Let q = 175 - 177. Sort 6, q, 1 in decreasing order.
6, 1, q
Let h be (-260)/(-45) + (-10)/(-45). Let p be -1*(h/(-10))/(81/(-30)). Sort p, -1/6, -10, -0.2 in descending order.
-1/6, -0.2, p, -10
Let r be -1 + 4 + -6 + 5. Sort r, 0, 6, 3 in decreasing order.
6, 3, r, 0
Suppose k + 6 = d, 5*d + 0*k = 2*k + 21. Suppose 5*l + 0*b = -5*b, d*l - b - 16 = 0. Let p = -208 - -208.5. Sort p, 3, l in ascending order.
p, 3, l
Let a = -0.53 + 0.63. Put 0.2, 22, a in ascending order.
a, 0.2, 22
Let x = 54.4 + -54.2. Sort 15, -2/5, -3, x in increasing order.
-3, -2/5, x, 15
Let u be 2*10*(-1)/(-4). Suppose 0 = -5*b + 3*b. Suppose 8 = -2*l - b*l. Sort l, -3, u in descending order.
u, -3, l
Let z = 1.6 - 1.9. Let t = -0.088 - 7.912. Put 1/9, -2, t, z in ascending order.
t, -2, z, 1/9
Let p = 4175/13 - 321. Let b = -1236.17 - -1229. Let h = b - -0.17. Put p, h, 1/4 in decreasing order.
1/4, p, h
Let p be (-13)/(-26)*(1 - -1). Let q be (8/(-16))/(4/24). Put p, q, 3 in descending order.
3, p, q
Let c = -0.317 - -0.517. Let j = -0.8 + 0.3. Sort j, c, -7, -2.
-7, -2, j, c
Let v be (-2)/(-9) + (-4 - (-125)/45). Let u = 74.02 + -74. Sort v, -3, u.
-3, v, u
Let k(u) = 4*u**3 - 16*u**2 - u. Let s be k(4). Put s, 37, 1, 4 in increasing order.
s, 1, 4, 37
Let z = 23 - 24. Sort 1, z, -6 in ascending order.
-6, z, 1
Suppose -144*r + 169 = -131*r. Sort -4, 0, r, 3 in increasing order.
-4, 0, 3, r
Suppose -2*f + 0*f - 3*k = -15, -4*k = f - 15. Put f, -35, 2 in ascending order.
-35, 2, f
Suppose -4*v - 17 = -5*s + 4*s, -2*s - 3*v = 10. Let f = 2 + s. Let i = 5 - f. Put -2, i, -5 in ascending order.
-5, -2, i
Let h be (-4)/(-16) + (-17)/4. Suppose 0 = 2*i + 8 - 6, 4*i + 6 = -r. Suppose y = -2*y - 15. Put r, h, y in increasing order.
y, h, r
Let t be 6/(-21) - 90/(-21). Let m be (-1 + 14/4)*(377 + -379). Sort m, 0, t.
m, 0, t
Suppose -40 = 3*q - 1. Let y = -3 - q. Suppose 6*a - y*a = -20. Put -5, a, 1 in increasing order.
-5, 1, a
Let h = -1 - 2. Let v(s) be the second derivative of s**4/12 - 10*s**3/3 - s**2/2 - 10*s. Let z be v(20). Sort h, -4, z.
-4, h, z
Let u = 6.1 - 6.18. Let g = u + 0.18. Let x = -3.4 + 3. Sort g, -4, x.
-4, x, g
Let k = -22 - -31. Let m(g) = -3*g**2 - 24*g - 17. Let v be m(-7). Suppose -v*h = 1 - k. Sort h, 6, -3 in descending order.
6, h, -3
Let q(h) = h**2 - 2*h**2 + 0*h**3 - h**3 - 2*h**2 + 3. Let n be q(-3). Suppose -y - 4*y = 0. Sort n, 7, y.
y, n, 7
Let d(p) = -4*p - 11. Let a(m) = m - 9. Let f be a(5). Let n be d(f). Put 3, 2, n in ascending order.
2, 3, n
Let b be (12/5)/2 + 23/(-115). Sort 2, b, 3, -4 in ascending order.
-4, b, 2, 3
Let s(f) = 5*f**2 + 2*f + 3. Let i be s(-2). Suppose -4*d + i = -21. Let r be ((-4)/d)/((-4)/10). Sort 4/9, r, 3.
4/9, r, 3
Suppose -5*l + 11 - 1 = 0. Let o be 1/(l/(0 - 2)). Suppose 9*u = -17 - 19. Sort 4, o, u in decreasing order.
4, o, u
Let b(m) = -15*m + 243. Let p be b(16). Put -1, 4, 2, p in ascending order.
-1, 2, p, 4
Let f = 0.0257 + 0.1743. Put 6, f, 4, -2 in decreasing order.
6, 4, f, -2
Let d(c) = -2*c - 24. Let h be d(8). Let a = -36 - h. Sort a, -3, 5, -5.
-5, -3, a, 5
Suppose -2*z + 22 = -4*n, -5*z = -3*n + 3 - 30. Put -46, 5, n in ascending order.
-46, n, 5
Let k be (2/4 - (-11 - -12))*72. Let f = 40 + k. Put f, -5, 18 in ascending order.
-5, f, 18
Let k = 1 + -3. Let r = k - -3. Suppose 3*c + i + 16 - r = 0, 0 = -5*c + 4*i - 25. Sort 3, -3, c in decreasing order.
3, -3, c
Let u be 2/(((-240)/(-200))/(3/(-20))). Put u, -6, 6 in decreasing order.
6, u, -6
Let u = 5.695 - 5.7. Let v = u - 0.005. Sort v, -1, 1/8 in descending order.
1/8, v, -1
Let k = 73.1 + -73. Let j = -8818/21 + 420. Sort j, k, 1 in descending order.
1, k, j
Suppose 4*l = -w + 1 + 2, 3*l + 2*w - 6 = 0. Let o = l + 1. Suppose -91 = 8*p - 115. Sort o, p, -5 in decreasing order.
p, o, -5
Let n = 718 + -718. Sort -6, 23, n in descending order.
23, n, -6
Let m(h) = h**2 - 12*h + 19. Let w be m(10). Put -3, w, 17, 2 in ascending order.
-3, w, 2, 17
Let s = -722.81 - -723. Sort 1, s, 0 in decreasing order.
1, s, 0
Let a = 1298 + -1289. Sort 2, 0.5, a.
0.5, 2, a
Let z(k) = -k - 31. Let n be z(-28). Let h = 7 - 11. Put 5, n, h in descending order.
5, n, h
Let a = -11 - -15. Suppose a*h - 8 = -0. Let c = -4 - -9. Sort h, c, 1 in descending order.
c, h, 1
Let i = 0.1 - -0.9. Let l = -3.2 + 3.03. Let u be (525/(-240) + 2)/((-1)/(-4)). Put u, i, l in descending order.
i, l, u
Let s = -0.2 - -0.22. Let q = s - 0.16. Let m = -1.14 - q. Sort 0.4, 0.1, m.
m, 0.1, 0.4
Suppose 7 + 1 = -2*v, 0 = -x - 3*v - 16. Suppose -4*b = f - 16 + 1, 0 = 4*b + 2*f - 14. Sort b, x, -1 in descending order.
b, -1, x
Let d = 463 + -463.4. Sort d, -6/23, -5.
-5, d, -6/23
Suppose 0 = -7*m - 15 + 113. Sort -5, m, 0, 4 in ascending order.
-5, 0, 4, m
Let d = 4 - 1. Suppose -21 = d*l + l - 5*k, -5*l - 30 = -5*k. Put l, -1, -4 in descending order.
-1, -4, l
Let q be (-3 + 187/66)/(2/12). Let i(c) = -c**3 + 3*c**2 - 2*c. Let k be i(2). Put q, k, -11 in decreasing order.
k, q, -11
Let y = -126 + 120. Sort y, 0.06, -1/7.
y, -1/7, 0.06
Let d be 2/(-6) + (-7)/6. Suppose -2*j - j - 2*a + 30 = 0, 0 = 2*j - 4*a - 36. Let y be (-3)/(j/(-16)) + 0. Sort y, d, 0.1 in descending order.
y, 0.1, d
Let m = 51.6 + -55.6. Sort -0.02, 3, m in decreasing order.
3, -0.02, m
Let g be (0 + 0)*(4 - 3). Suppose 2*q - 2 = 8. Suppose 0 = -3*o + v - q*v - 2, -4*v + 12 = -4*o. Sort g, -3, o in descending order.
g, o, -3
Let u = -68 - -6. Let w = -62 - u. Let y be (0 + 6/(-4))/(-6). Put w, -0.4, y in decreasing order.
y, w, -0.4
Let l = 0.0095 + 0.3905. Sort -3/7, l, 6 in ascending order.
-3/7, l, 6
Let p be 31/(-62)*(0 - 10). Put 2, p, 19 in descending order.
19, p, 2
Let g(h) be the third derivative of h**6/120 + 11*h**5/60 - 2*h**3/3 + 13*h**2. Let l be g(-11). Put -2, l, -1 in increasing order.
l, -2, -1
Suppose -3*v + 57 = -5*a, 3*a + 0 + 7 = -5*v. Sort -7, a, 3 in ascending order.
a, -7, 3
Let n = -14.9442 - 0.0558. Sort -2/13, n, -0.1 in descending order.
-0.1, -2/13, n
Let h be ((-84)/126)/((-5)/((-30)/(-28))). Let b = 0.32 + -0.12. Sort h, 0.5, b, -1 in increasing order.
-1, h, b, 0.5
Let w = -26 + 21. Let m be (-27)/(-21) + 2/(-7). Sort w, 2, m.
w, m, 2
Let v = 0.9 - 3.4. Let z = v + 10.5. Sort 2/9, -2, z in ascending order.
-2, 2/9, z
Suppose -2*t = -0*t + h + 11, -3*h = 5*t + 28. Let q(i) = 5*i**2 + 51*i + 11. Let b be q(-10). Put t, b, 4 in ascending order.
t, b, 4
Let g be 6/(9 - 27) - 6/(-45). Put 0.4, -3, g, -13/5 in decreasing order.
0.4, g, -13/5, -3
Let g = -0.051 - 10.949. Let r = 0.082 - -0.118. Put 0.1, r, 0, g in decreasing order.
r, 0.1, 0, g
Let m be 835/(-5) + (-3)/1. Let x be 59/m*54/63. Let z = -1/85 - x. Sort 5, -0.5, z in ascending order.
-0.5, z, 5
Let k be -3*(11/(-3) + 2). Suppose 0 = -k*f + 4 + 16. Let c be (24/(-126))/(-6 + 144/21). Sort f, c, 1/8.
c, 1/8, f
Let u = -1/7 - 0. Let j = 235 - 235.19. Put 3/7, u, j in decreasing order.
3/7, u, j
Let k = -145 - -147. Put k, 5, 17 in ascending order.
k, 5, 17
Let q = 1146 - 1136. Sort q, 5, -21.
-21, 5, q
Suppose -7*d = -4*d + 9, -4*d - 