Sort 5, j, 4 in descending order.
5, 4, j
Let f be (-4)/18 + 358/126. Let o = f - 16/7. Sort -1/2, 2, o in descending order.
2, o, -1/2
Let i = 120 + -119.7. Put -4, -0.5, i, 1.1 in decreasing order.
1.1, i, -0.5, -4
Let x(g) = -5*g**3 + g**2 - 1. Let k be x(1). Put -3/4, k, 2 in decreasing order.
2, -3/4, k
Suppose -p + 15 = 3*u, -3*p - 2*u - 3*u = -25. Sort 4, p, 2.
p, 2, 4
Let q = 36 + -38. Sort q, 5, 3 in decreasing order.
5, 3, q
Suppose 5*s = -2 - 3. Let l be 4 + 0/(s + 0). Put 3, 2, l in decreasing order.
l, 3, 2
Let q = -12 - -13. Suppose -2*d - 3 + q = 0. Sort d, -4, 10 in increasing order.
-4, d, 10
Let p be (-12)/1 + 3/(-3). Let b = p - -9. Put 4, b, 9 in decreasing order.
9, 4, b
Let l(q) = -7*q - 19. Let v(w) = w + 1. Let u(c) = l(c) + 6*v(c). Let y be u(-9). Sort y, 2, -5.
-5, y, 2
Let c be (3/2)/(9/(-12)). Let a be 1/(2*c/4). Let t = -4 - -2. Put t, -5, a in decreasing order.
a, t, -5
Let b = 7.1503 - 0.0103. Let n = b - 0.14. Sort n, 4, -2 in ascending order.
-2, 4, n
Let w(v) = -v - 6. Let i be w(-18). Put -2, -5, i in descending order.
i, -2, -5
Let l = 6 + -10. Let t be 1*(-2 - (-6 + -1)). Let n(d) = -2*d. Let r be n(1). Sort t, r, l in ascending order.
l, r, t
Let k = -552 + 553. Let m be 1/4 + 7/36. Put 0.8, k, m in decreasing order.
k, 0.8, m
Let u = -19 - -13. Let i be 128/168 + u/14. Sort i, -4, 4 in decreasing order.
4, i, -4
Let f(d) = d - 6. Let x be f(5). Let g(s) = 2*s - 5. Let q be g(5). Sort 0, x, q in increasing order.
x, 0, q
Suppose -191 + 190 = -d. Sort -5, d, 2, -12 in descending order.
2, d, -5, -12
Let q be 2*(-1 - -1 - 2). Suppose 3*c - 2 = 1. Put -9, q, c in decreasing order.
c, q, -9
Suppose -3*v + 4 = -5*v. Let j(t) = -11*t - 1. Let i be j(-1). Suppose w = 5*r - i, 17 = -r + 5*r + w. Put 2, v, r in descending order.
r, 2, v
Suppose 5*l + 6 + 4 = -3*v, -5*l + 30 = -5*v. Sort -2, v, 0 in ascending order.
v, -2, 0
Let z = -83 + 88. Put z, -4, 1/3 in ascending order.
-4, 1/3, z
Suppose 2*b + 16 = -2*b. Let a(w) = -w**3 + 6*w**2 - 4*w - 5. Let z be a(5). Suppose 0 - 1 = f. Sort z, f, b.
b, f, z
Let k be 0 - 0/4 - -3. Suppose 4*x - 5*z + 33 = 0, 3*x + z = -z + 4. Let o(t) = -t**2 - t + 1. Let v be o(0). Put v, x, k in increasing order.
x, v, k
Let k = -2.15 + 1.8. Let c = k + 0.01. Let i = c + -0.06. Put i, -1/4, -0.2 in descending order.
-0.2, -1/4, i
Let r(s) = 2*s**2 + 3*s - 4. Let x be r(-3). Sort 1, -4, x in decreasing order.
x, 1, -4
Let c = 6 - 4. Suppose -c*x + 30 = 4*z, -5*x - 2*z + 0*z + 43 = 0. Sort x, -3, -4.
-4, -3, x
Suppose -3*l + 3*d - 17 - 16 = 0, -4*l + 3*d = 48. Let z = l + 11. Put -2, 5, z in ascending order.
z, -2, 5
Suppose -3*p - 4 = -5*p. Suppose m = -p*m. Let l(x) = x**2 + x - 2. Let y be l(m). Sort y, 5, -3 in descending order.
5, y, -3
Let b = 22 - 40. Let f = 17 + b. Put f, -5, 2 in descending order.
2, f, -5
Let r = 0.1 + -0.1. Let x = -5 + 4.96. Let c = x - -4.04. Put -0.4, r, c in descending order.
c, r, -0.4
Suppose 5*w = w. Sort -3, 4, w in increasing order.
-3, w, 4
Let o(t) = -t - 1. Let n(b) = b**2 + b - 2. Let h be n(-2). Let r be o(h). Suppose -2*w - 2*w - 20 = 0. Sort w, 5, r in decreasing order.
5, r, w
Suppose 2*m + 12 = -3*o, 13 + 7 = -4*m - 5*o. Suppose 3*d = 18 + 12. Let j be ((-4)/(-10))/(2/d). Put m, j, 4 in decreasing order.
4, j, m
Suppose 5*h - 16 = 2*m, 2*m - 2*h + 6 = m. Suppose -2*q - m*d + 0*d = -2, -4*q - 2*d = -8. Suppose 9 = -2*a + q. Put -0.1, a, 3 in decreasing order.
3, -0.1, a
Let x = -36 - -36. Put 5, x, -3 in descending order.
5, x, -3
Suppose 0 = 3*a + p - 4, -4*a + 3*a - 2 = 2*p. Sort 0, -4, a in descending order.
a, 0, -4
Suppose 3*d = -0*d. Put -2, 5, d in descending order.
5, d, -2
Let r = -2.9 + 3. Let g(z) = z**3 + 6*z**2 - 7*z + 5. Let t be g(-7). Suppose 4*c = 1 - t. Sort c, r, 0.3 in descending order.
0.3, r, c
Let w be 6/(-21) + (-10)/14. Let g = -4 - -9. Suppose -j + 4 - 2 = -c, -3*j = -g*c - 6. Put j, 5, w in increasing order.
w, j, 5
Let b = -10.09 - -10. Let x = 4.09 + b. Let f = -0.34 + -0.06. Sort f, x, -3.
-3, f, x
Let y = 0.05 + -0.45. Suppose 4*l - 4*u = 12, l - 1 = -u - 0*u. Suppose 2*f - l = -4. Sort 2/11, f, y in ascending order.
f, y, 2/11
Let g = -3/5 - -11/35. Let d = -0.32 + 15.32. Let w = 12 - d. Sort 3/7, g, w in decreasing order.
3/7, g, w
Let m be (-13)/3 + (-2)/3. Let l(p) = p + 7. Let u be l(5). Suppose -c = g + 7, 0 = c - 5*g + 1 - u. Sort -1, c, m in increasing order.
m, c, -1
Let l be 22/6 - (-8)/(-12). Sort 1, 4, l in ascending order.
1, l, 4
Let f(a) = a - 7. Let j be f(7). Let v be (2/(-4)*j)/(-1). Suppose 22 - 2 = -4*w. Put -3, v, w in ascending order.
w, -3, v
Let b(g) = -g**3 + 9*g**2 - 8*g - 1. Let p be b(8). Put -6, 4, p in descending order.
4, p, -6
Let g be 4/(-8)*8/(-14). Sort -3/4, g, 5 in decreasing order.
5, g, -3/4
Suppose 0 = n - 250 + 248. Put n, 3, 1, -4 in descending order.
3, n, 1, -4
Suppose 6 + 19 = 5*r. Suppose 4*n = s - 10 - 7, 3*s + 14 = -n. Sort r, -4, n in descending order.
r, -4, n
Let b(a) = -6*a - 1. Let z(m) = 7*m + 1. Let s(f) = 6*b(f) + 5*z(f). Let o(i) = 3*i + 2. Let c be o(-1). Let h be s(c). Put -5, h, 2 in ascending order.
-5, h, 2
Suppose 3*n = -n + 8. Suppose -4*h = 5*b, h - 1 + 2 = -b. Sort -1, h, n in descending order.
n, -1, h
Let n = -48 - -49. Put 0, n, -1 in descending order.
n, 0, -1
Let d = -3.9 - 0.1. Let m = 5 + -5.2. Put 0.3, d, m in decreasing order.
0.3, m, d
Let r = 3 - -2. Sort r, 2, 7 in increasing order.
2, r, 7
Suppose 4*q + i - 13 = q, 0 = -3*i - 6. Suppose 3*a - 8 = -a. Let t be ((-20)/135)/(a/(-6)). Put q, t, -0.2 in decreasing order.
q, t, -0.2
Let d(l) = -l**2 + 3*l + 4. Let f be d(4). Let t be (-9)/(-3)*(f - 1). Let x be (6 + -3)/(-1 + 2). Sort 1, t, x.
t, 1, x
Suppose 0 = i - 2*t - 8, 3*t - 7*t = -4*i + 20. Let q be (-84)/24 + (-2)/8*-2. Sort -2, i, q in ascending order.
q, -2, i
Let y(p) = p**2 - 3. Let m be y(-3). Sort -4, m, -2 in increasing order.
-4, -2, m
Let u be (-6)/(-3)*(-1)/(-1). Suppose 4*d + 20 = -4*v, -2*v - u*v = 5*d + 20. Let a be (2/(-6))/(3/(-9)). Sort -1, a, d in decreasing order.
a, d, -1
Let p be -1*(3 + (-1 - -1)). Let j(r) = -r**2 - 10*r + 2. Let k be j(-10). Suppose 3*h = f + k, -h + 3 = -2*f - 6. Sort f, p, 1.
f, p, 1
Let n = 117.92 - 115. Let o = 10.08 + -10. Let j = n + o. Put j, 2/11, -0.2 in decreasing order.
j, 2/11, -0.2
Let j = -25 + 24. Put 1, j, 2 in descending order.
2, 1, j
Let d(z) = z**2 + z - 18. Let q be d(-5). Sort q, -14, -4 in decreasing order.
q, -4, -14
Let s(a) = a**2 + 8*a + 7. Let j be s(-7). Suppose j*p - 3*p + 54 = 0. Let n be ((-6)/9)/((-4)/p). Sort -0.4, n, 4.
-0.4, n, 4
Let n = 0.05 - -5.95. Let m = -3 + n. Let d = 120 + -1318/11. Sort 0.4, m, d in descending order.
m, 0.4, d
Suppose -3*y - 42 = -3*b, 5*b - 2*y - 7 = 51. Let o(x) = x**2 - 9*x - 10. Let g be o(b). Put g, -3, 3 in ascending order.
-3, g, 3
Let p = 4721/14 + -337. Let b = -9/7 - p. Put b, 2, -1/2 in descending order.
2, -1/2, b
Suppose -9 - 1 = -2*s. Let w = 3 - s. Sort -1, 4, w in increasing order.
w, -1, 4
Let t(j) = -14*j**2 + j + 1. Let q be t(-1). Put -3, 5, q in descending order.
5, -3, q
Let p be 4/26 + 108/(-26). Let u = -0.4 - -1.2. Let n = -1 + u. Sort p, n, -0.3 in increasing order.
p, -0.3, n
Suppose -5*q = 3*h + 1, h + 4 = 7. Let f be (-5)/(q + 1)*-1. Put -1, f, -2 in decreasing order.
-1, -2, f
Let q be ((-6)/(-45))/(1 + (-12)/10). Sort 4, -0.1, 3, q in ascending order.
q, -0.1, 3, 4
Let v(y) = -y + 17. Let n be v(-9). Let s be (-2)/(-2) + n/39. Put s, -4/9, -0.5 in descending order.
s, -4/9, -0.5
Let f = -43 - -38. Let h = 2 + -3. Let r be 0 + h - 0/1. Put r, 0, f in decreasing order.
0, r, f
Let c = -14 - -14.9. Let m = c + -4.9. Let x = -0.41 + 0.01. Put -1, m, x in ascending order.
m, -1, x
Let f(l) = -l**2 - 14*l - 16. Let d be f(-13). Put d, -5, 2 in decreasing order.
2, d, -5
Let o = 2.17 - 0.17. Let q = -0.22 + -0.08. Let b = 1.1 + -1. Sort o, b, q in ascending order.
q, b, o
Let k(g) = -g**3 + g**2 + 3*g + 4. Let a be k(3). Put a, -8, 0 in increasing order.
-8, a, 0
Suppose 3*z + 11 + 4 = 0. Suppose -5*k - 10 = 0, -m - k + 3*k + 1 = 0. Put 1, z, m in ascending order.
z, m, 1
Suppose 0 = -g - g - 4. Let t be ((-1)/1)/((-1)/2). Suppose t*s + 12 = -2*a, 3*s - 5*a - 27 = 5*s. Sort g, s, 1 in decreasing order.
