 9531. Let r = 852/5369 + m. Put -0.2, r, n in ascending order.
-0.2, r, n
Let g = 10 + -7. Let v = g + -2.9. Let h = -49/20 - -16/5. Sort v, h, 0.3 in descending order.
h, 0.3, v
Suppose 0*d - 3*d - 16 = -5*b, 0 = -2*b + d + 7. Sort 0, 4, 2, b in decreasing order.
b, 4, 2, 0
Let u = 1.1 + 1.4. Let t = u + -2. Put -1/3, t, -2/15 in decreasing order.
t, -2/15, -1/3
Suppose -8*z = -6*z. Suppose 4*x + j - 3*j = -10, -3*x - j = 20. Put z, x, -0.1 in descending order.
z, -0.1, x
Let o(r) = r**3 + 4*r**2 - 4. Let i be o(-3). Suppose i*t = -4*q - 33, 5*t + 8 + 19 = -q. Put -8, -1, t in ascending order.
-8, t, -1
Let l = 0 + 0.5. Suppose -4*d - 17 = 5*p, -4*d - 6 = -5*p + 1. Sort -3/2, p, l in increasing order.
-3/2, p, l
Suppose 9*n - 150 = 3. Put n, 0, 2 in increasing order.
0, 2, n
Let s = -0.15 + 14.15. Let p = s - 10. Put 5, -5, p in descending order.
5, p, -5
Let g = -1 - 1. Let w(q) = q**2 - q - 5. Let f be w(4). Let x = -7 + f. Put 4, x, g in increasing order.
g, x, 4
Let u be 2/7 - 19/(-7). Suppose 2 + 4 = 6*m. Put 2, u, m in increasing order.
m, 2, u
Let w(p) = 0*p - 5*p + 3*p - 2 + 3*p. Let r be w(4). Sort -2, 4, r.
-2, r, 4
Let v = -3/202 + -787/1414. Put 2/15, v, -2/5 in decreasing order.
2/15, -2/5, v
Let m = 25 + -25. Suppose 2*k - 3*b = 2 - 6, -b = m. Let g = 0 + -0.3. Sort k, g, 0.2 in ascending order.
k, g, 0.2
Let n = -31 + 44. Suppose -4*w - 11 = n. Let v be 2/w - 16/(-66). Put v, -2/17, -1 in decreasing order.
v, -2/17, -1
Let h = 0.12 - 2.52. Let f = h - 0.6. Put f, -0.04, 4 in decreasing order.
4, -0.04, f
Let c = 8 + -6. Let x = c + -5. Put 3/4, x, 0.1 in decreasing order.
3/4, 0.1, x
Let k = -2 + 5. Suppose 0 = u + k*u + 4. Let m be (4/(-10))/(2/(-10)). Put m, 4, u in decreasing order.
4, m, u
Let g(m) = m**2 - m - 4. Let v be g(-4). Suppose -4*l = -f - v - 3, 0 = 3*l - 12. Put -1, 1, f in descending order.
1, -1, f
Suppose -g - 57 = -4*g. Suppose m + 12 + 14 = 5*p, 3*p - 4*m - g = 0. Let h be 39/(-9) - 1/(-3). Sort 4, p, h.
h, 4, p
Suppose -2*y + 12 = -6*y. Let t = y + 0. Sort -4, 0, t in decreasing order.
0, t, -4
Let u(q) = q**2 - 9*q + 5. Let s = -21 + 30. Let p be u(s). Put 3, p, -3 in descending order.
p, 3, -3
Let g be -11*3/(-12) + -3. Put 5, -1, g in decreasing order.
5, g, -1
Suppose b = 1 - 10. Put 3, b, -0.2, 2 in descending order.
3, 2, -0.2, b
Suppose 0*u - 4 = u. Put u, 0, -2 in descending order.
0, -2, u
Let l be 0 - 3*(-3)/(-36). Let t = -0.02 - -1.02. Let z = t + -0.9. Sort 1/2, l, z in increasing order.
l, z, 1/2
Let l(b) = b**3 - 2*b**2 + 2*b + 2. Let g be l(2). Let f(p) = p**2 - 6*p - 5. Let x be f(g). Put x, -1, 2 in descending order.
2, -1, x
Let w = -2 + 1.8. Let k = 6.3 - 1.3. Put -0.1, k, w in descending order.
k, -0.1, w
Let r = -0.2 - -0.3. Let d be 2/10 + (-3)/20. Let g = d + 3/20. Sort r, g, 0 in descending order.
g, r, 0
Let h = 2 + -4. Let a be ((-5)/(-90))/(h/(-8)). Suppose 2*r + r - 15 = 0. Sort -5, a, r.
-5, a, r
Let g = -1 + -2. Suppose 3*x - 1 = 14. Let y = 2 - -2. Sort g, y, x in descending order.
x, y, g
Let v = 5 - 9. Let o be (-8)/v*1/(-6). Let i(j) = -3*j**2 - j. Let f be i(1). Sort o, 0, f.
f, o, 0
Let g = 11.98 - 12. Let v = g + -1.98. Sort v, -2/5, -1/6 in descending order.
-1/6, -2/5, v
Suppose -2*g = -3*d + g + 12, 3*d + 9 = -4*g. Suppose 0 = -3*w - 14 - d. Suppose 3 - 7 = -l. Sort -1, w, l in decreasing order.
l, -1, w
Let l = -38 + 38.01. Put 0.2, -0.2, l in ascending order.
-0.2, l, 0.2
Let c = 18 - 14. Sort 3, c, 11.
3, c, 11
Let b = -4 - -2. Let t = 2.2 + b. Sort 0.4, t, -0.4 in descending order.
0.4, t, -0.4
Suppose -38*h - 3*b + 7 = -37*h, 2*b - 6 = 0. Let c be (1 - (-4 + 0))/(-1). Sort 4, h, c.
c, h, 4
Let x = 0 + 2. Let k be x/(-3) + (-32)/(-12). Put -4, 3, k in increasing order.
-4, k, 3
Suppose -j + 6*j - 24 = 3*i, 4*i + 4*j = -32. Let c be 2/(i/6)*2. Sort -1/5, 2, c in increasing order.
c, -1/5, 2
Let q = 6.08 + -0.08. Let g = q + -5. Put 3, 0, g in descending order.
3, g, 0
Let u be -4 - 2 - (-6)/3. Sort -1, u, -1/4.
u, -1, -1/4
Let i = 4 - 4. Suppose i*a + 2*a + 10 = 0. Sort 0.2, a, 4 in decreasing order.
4, 0.2, a
Let k be ((-8)/(-24))/(1/(-3)). Let f = 8.21 + -0.21. Sort f, 4/5, k in descending order.
f, 4/5, k
Let a = 0.4 - 0.2. Suppose 4*p + 3*h + 15 = 0, -25 = p - 0*p + 5*h. Sort 4, p, a in ascending order.
p, a, 4
Let b = 0 + -2. Let p be b - 1 - 0 - -12. Let s = -5 + p. Sort s, 0, -4 in ascending order.
-4, 0, s
Let l = -16.9 + -4.1. Let d = l - -20. Let k be (-2)/(-3)*(-3)/(-13). Put d, k, -2 in descending order.
k, d, -2
Let t = -20 + 2. Let n be (-32)/(-18) + (-4)/t. Let g = 7 - n. Sort g, 4, 2 in ascending order.
2, 4, g
Suppose -4 = -f - 1, 3*m + 2*f + 9 = 0. Let x = 22.6 + -29. Let j = x - -6. Sort j, m, -3.
m, -3, j
Suppose 4*m - 5 - 11 = 0. Suppose 0*r = 5*r. Sort 5, m, r in descending order.
5, m, r
Let n be 1 + (4/2 - 2). Suppose 4*r + n = 3*r. Sort 0, r, -3.
-3, r, 0
Let c(z) = -z**2 - 10*z - 4. Let h be c(-10). Sort 4, h, 7 in decreasing order.
7, 4, h
Let s = -5 - -13. Let g = s + -6. Let l = 0.3 + -0.1. Sort g, l, 4.
l, g, 4
Suppose -3*a - 24 = -7*a. Let s = a - 5. Let y be 2*(s/1)/11. Sort 2/7, y, 3/8 in descending order.
3/8, 2/7, y
Let c(j) = 5*j - 5. Let a be c(0). Put 1, a, -1 in decreasing order.
1, -1, a
Let s = -8 - -7. Put -2, s, -1/3 in ascending order.
-2, s, -1/3
Suppose -2*n + 4*n = 60. Put 5, n, 2 in decreasing order.
n, 5, 2
Suppose -o + 5 = 3. Put -1, o, 3, 0 in descending order.
3, o, 0, -1
Let c(x) = -x**2 + 3*x - 4. Suppose 4*y + y - 55 = 0. Let j(k) = -k**2 + 10*k + 14. Let d be j(y). Let u be c(d). Sort -3, u, 5 in increasing order.
u, -3, 5
Let a be (-2)/4 + 52/56. Let t = -109/126 - -9/14. Sort -2, t, a in decreasing order.
a, t, -2
Let x = -7 + 9. Let m = 4 - x. Suppose -m*g = -4*g + 2. Put 0, g, -2 in decreasing order.
g, 0, -2
Let i(u) = -u + 2. Suppose -4*r = -3*r - 7. Let a be i(r). Let p be 1/(-1*(-2)/(-8)). Put -2, p, a in decreasing order.
-2, p, a
Let r(t) = -t**3 - 4*t**2 - 5*t - 10. Let o be r(-3). Sort o, -5, 0 in increasing order.
-5, o, 0
Let c = 6.7 - 1.7. Sort -3/4, c, -5.
-5, -3/4, c
Let u = 74 + -71. Sort 0.3, u, 2/7, -5.
-5, 2/7, 0.3, u
Let q be (1*3)/(6/10). Suppose -4*l - 5 = -q*l. Let t = -10 + 21/2. Put 1/5, t, l in descending order.
l, t, 1/5
Let m = 1 - 1. Suppose 2*f - s + 2 = 0, -4*s - 3 + 17 = -2*f. Let d(q) = -q**3 + 5*q**2 - q. Let y be d(5). Sort m, f, y in descending order.
f, m, y
Let p be ((-2)/6)/((-10)/30). Sort 2/3, -4, p in increasing order.
-4, 2/3, p
Let u = -0.8 - -5.55. Let l = -5 + u. Let m = l - 0.05. Sort m, 2, 0.4 in descending order.
2, 0.4, m
Suppose 13*c - 4*c = -72. Sort -1, c, -2, 4 in descending order.
4, -1, -2, c
Suppose v = v + v. Sort v, 4, -1, 7 in increasing order.
-1, v, 4, 7
Let y = 1.4 - 1.7. Sort y, -3, 0.2 in increasing order.
-3, y, 0.2
Let t = 5.7 + -5.6. Sort -9, t, -2/15 in increasing order.
-9, -2/15, t
Let s = 103 + -41. Suppose h = 2*b - 3*h - 68, -2*b + s = -2*h. Let v be (0 + -1)*b/35. Put -3, v, 5 in descending order.
5, v, -3
Suppose -3*t = -9, 0 = 2*p - 0*p + 3*t - 1. Sort p, -0.5, 5.
p, -0.5, 5
Let i = 0.2 - 0. Let c = 12 + -12. Let z = c - i. Sort 2/3, -0.5, z in decreasing order.
2/3, z, -0.5
Let x = 256 + -257. Let s = -11 - -7. Sort x, s, -3 in decreasing order.
x, -3, s
Suppose -3*u = 3*o + 48, 0*o + 2*o = 3*u + 43. Let v be (-12)/(1 + u/6). Suppose 3*h - h = v. Sort -3, 3, h in decreasing order.
h, 3, -3
Let p = 169 + -180. Sort -3, p, 1.
p, -3, 1
Let z(u) = u**2 + 12*u + 18. Let n be z(-9). Sort -3, 4, n in increasing order.
n, -3, 4
Let c be ((-1)/2)/((-1)/(-8)). Let f be c/4 - (-5)/2. Sort 0, 3, f in increasing order.
0, f, 3
Let c = -6.06 + 6. Let f = -0.46 - c. Sort f, -7, 0.2 in decreasing order.
0.2, f, -7
Let f be 2 + 9 - (4 - 0). Put 4, f, -4 in descending order.
f, 4, -4
Suppose -3 = -x, -j - 2*j - x = 0. Sort -4, -5, j, -3.
-5, -4, -3, j
Let s = -32 + 92/3. Let i = 0.2 - 0. Sort s, 3, i in increasing order.
s, i, 3
Let n = 2.92 + 0.08. Let i = 0.9 + 0.1. Let y be (-4)/((-36)/(-33)) + 3. Sort i, n, y.
y, i, n
Let k(f) = -5*f**3 - 1. Let x be k(-1). Suppose -2*j - 2 = x*m, -2*m = 3*m - 3*j + 8. Suppose 1 = -3*t - 14. Put 1, m, t in descending order.
1, m, t
Let u = -4.4 + 4.8. Put 1, u, -0.08 in ascending order.
-0.08, u, 1
Let f