 k
Let j = 151 + -147. Sort 9, j, -1 in descending order.
9, j, -1
Let x = 1.49 - 1.79. Put x, 2/3, 0.5 in ascending order.
x, 0.5, 2/3
Suppose 3*v - 3*p - 28 = -v, 2*p = -2*v. Suppose -20 = 5*k, z = -v*k - 17 + 4. Sort -4/7, z, 0.4.
-4/7, 0.4, z
Let u = -3827/17 - -225. Sort u, 1, 0.
u, 0, 1
Let p = 0.034 - 0.034. Put 3/5, -1/3, 4, p in decreasing order.
4, 3/5, p, -1/3
Let c(d) = d**2 + 9*d + 2. Let g be c(-9). Let k be g/5*(20 - 5). Let l = -3 + k. Put 5, 1, l in descending order.
5, l, 1
Suppose 4*w - 37 = -5*r, 5*w = 10*r - 7*r. Let g be (10/(-8))/(1/(-4)). Put w, 0.3, g in descending order.
g, w, 0.3
Let w = 1.5 + -2. Let v = w + 0.4. Put v, 2/5, -0.5 in decreasing order.
2/5, v, -0.5
Suppose 2 = -2*v, 0 = -y + 5*y - 3*v + 29. Let q = 8 + y. Sort 0.5, 4, q in ascending order.
q, 0.5, 4
Let w = 0 + 0. Let b = 12 - 15. Put b, w, -4 in descending order.
w, b, -4
Let n = 73 - 72.8. Put -2/3, 0, 2/9, n in descending order.
2/9, n, 0, -2/3
Suppose 2*a - 4*a + 8 = 0. Suppose 0 = -0*q + 4*q + 4*x - 20, 2*q - 3*x + 10 = 0. Sort a, 3, q in decreasing order.
a, 3, q
Suppose 2*p - 3*r = 24, 9*p - 2*r - 32 = 5*p. Put p, -1, 4 in descending order.
p, 4, -1
Let y be (-1)/3*-3 - -1. Suppose y*g + 2 = 4*g. Sort g, -3, 5.
-3, g, 5
Let a = 0.13 - 4.13. Put -5, a, -1 in decreasing order.
-1, a, -5
Let z be 1*(-3)/(-24)*-1. Sort -0.4, z, 3 in ascending order.
-0.4, z, 3
Suppose -8*p = -p - 168. Let g = p + -27. Sort -5, g, -2 in increasing order.
-5, g, -2
Let o(m) = m + 3. Let b be o(0). Sort -2, b, -1.
-2, -1, b
Let m = -11 + 2. Let d = m - -8.8. Let p = 5 + -3. Put d, 1, p in decreasing order.
p, 1, d
Let s = 0.7 + -3.7. Let z = -2.8 - s. Sort z, -1/3, 4.
-1/3, z, 4
Let k = -1 + 5. Let j = 4 - k. Let a be -1 + 4 + -1*2. Put 4, j, a in descending order.
4, a, j
Let p = -6.94 - 0.06. Let c = p - -5. Sort 2/15, c, 1/4.
c, 2/15, 1/4
Suppose 4*y - 14 + 34 = 0. Let p be 5 - (0 + 1)*3. Let s be p - 1 - (-2)/2. Put 1, y, s in descending order.
s, 1, y
Let n = 0 + -0.8. Let h = 1.2 - n. Sort h, -4, -2.
-4, -2, h
Let a = 4.3 + -0.3. Put 3/2, -2/3, -0.5, a in descending order.
a, 3/2, -0.5, -2/3
Let d = 3 - -1. Put d, 0, -2 in descending order.
d, 0, -2
Let s = 105149/68900 - 427/325. Let i = s - -2/53. Put i, 3, 3/8 in increasing order.
i, 3/8, 3
Let j = 9 - 6. Let q be (-7)/(28/(-16)) - j. Sort q, 3, -2 in descending order.
3, q, -2
Suppose 0*h = -2*k + 2*h + 10, 3*k - h = 13. Let x be (3 - (2 + k)) + 8. Put 1, x, 4 in decreasing order.
x, 4, 1
Let o be (2/10)/(240/(-50)). Let x = 3/8 + o. Sort -3, 0.5, x in decreasing order.
0.5, x, -3
Let b = -16 - -21. Put 4, b, 0 in descending order.
b, 4, 0
Let v be (0 - -1) + (7 - 3). Sort -1, -10, v in increasing order.
-10, -1, v
Let v = -0.05 + -1.95. Let z = v - -2. Let n = -10 - -7. Put z, 0.3, n in increasing order.
n, z, 0.3
Let a = -9.8 + 11. Let d = a + -1.4. Sort d, 1, 2 in ascending order.
d, 1, 2
Let y = 310 + -309.8. Let q = 3 - 3.4. Sort q, y, -1/10.
q, -1/10, y
Let r = -0.13 - 1.87. Let o = 0.23 + 0.02. Let g = -0.05 - o. Sort 0.5, g, r.
r, g, 0.5
Let n = -5 + 5. Let j = -6 + n. Let p(y) = y + 8. Let o be p(j). Sort -3, o, -2 in descending order.
o, -2, -3
Let q(p) = -6*p**3 + 14*p**2 + 20*p + 26. Let z(l) = -l**3 + 3*l**2 + 4*l + 5. Let r(t) = 2*q(t) - 11*z(t). Let u be r(-4). Put 3, u, -5 in ascending order.
-5, u, 3
Let n = 2.18 - 0.18. Sort n, 3, 0.5 in decreasing order.
3, n, 0.5
Suppose 0*t - 20 = 5*t. Let v(i) = -2*i + 24. Let m be v(10). Put 0, m, t in decreasing order.
m, 0, t
Let a = -23 + 17. Put a, 0, 5 in descending order.
5, 0, a
Let d = -118/7 + 17. Put 0.1, 9, -1, d in increasing order.
-1, 0.1, d, 9
Let a = 0.1 - 0.1. Suppose 0 = -2*y - 3*f + 40, -5*f - 6 = 4. Suppose -20 = -m - 3*m - 2*l, -m - 5*l = -y. Put 0.4, a, m in descending order.
m, 0.4, a
Suppose 3*r - 4 = 4*l - 0*r, 0 = l + 3*r + 1. Put l, 13, 5, -4 in ascending order.
-4, l, 5, 13
Let z = -3.9 + -0.1. Let o = -1.5 + -1.5. Sort o, -2, z in ascending order.
z, o, -2
Let o be 3 + (4 - 3) + -2. Let v(j) = j**3 + 6*j**2 + 2*j + 7. Let w be v(-6). Put w, o, -2 in ascending order.
w, -2, o
Let m be 3/7 - (-57)/(-84). Let h = m - 1/2. Put 3/7, h, 5 in descending order.
5, 3/7, h
Suppose 0 = 3*d + 3*n - 3, d + 3 - 1 = -4*n. Sort 5, -5, d, -6.
-6, -5, d, 5
Let d = -66 + 61. Sort 1/5, 5, 11, d in increasing order.
d, 1/5, 5, 11
Suppose -3*x + 2*a = -13, -15 = -2*x - 3*a - 2*a. Put -2, 4, x in increasing order.
-2, 4, x
Let n(o) = -o + 2. Let s be n(1). Let j(p) = -p**3 - 4*p**2 - 3*p. Let h be j(-3). Sort h, -3, s in decreasing order.
s, h, -3
Let j be (-112)/12*(-3)/2. Let l = -10 + j. Sort -1/9, l, -2 in decreasing order.
l, -1/9, -2
Let t(r) = -5*r**3 - 11*r**2 + 18*r - 29. Let q(a) = -2*a**3 - 6*a**2 + 9*a - 14. Let b(f) = 7*q(f) - 3*t(f). Let v be b(8). Put 5, -1, v in decreasing order.
5, -1, v
Let u be 2/(16/(-2 - -4)). Sort u, -1, 5 in ascending order.
-1, u, 5
Suppose 4*d - 3 = 4*s + 1, -3*d + 5*s + 9 = 0. Let o be (-2)/3 - (-2)/(-6). Let i(u) = -u**2 + 4*u + 7. Let p be i(5). Sort o, d, p.
d, o, p
Let w = 0.24 + -0.04. Let r = w - 0.1. Let x = 8 + -11. Sort 4, x, r in descending order.
4, r, x
Suppose 2*j = 0, 3*k + 0*k + 3 = 5*j. Let c be (-1)/(-3) - (-46)/69. Put c, k, -3 in decreasing order.
c, k, -3
Let w = -12 + 12. Suppose -4*p + 4*i + 23 = -i, w = -4*p - i + 5. Put 3, 0.3, p in decreasing order.
3, p, 0.3
Suppose 0 = -3*n - 12 + 33. Let d(l) = l**2 - 6*l - 6. Let r be d(n). Let p be ((-6)/15)/((-1)/10). Sort p, 3, r in decreasing order.
p, 3, r
Let k be (-4)/18 + 68/(-18). Let z(q) = -13*q + 2. Let g be z(-2). Suppose -4*i + a = -2*i + 1, -4*a + g = 4*i. Sort k, i, 3 in ascending order.
k, i, 3
Let i = 4 - 3. Let a(c) = c + 3. Let d be a(0). Sort -4, d, i in increasing order.
-4, i, d
Let q be (-2*1)/(6/15). Let k be (-4)/(-15) - q/15. Suppose -x - x - 10 = 0. Sort 1, x, k in decreasing order.
1, k, x
Suppose 5*z = 3*z. Let h be ((-9)/2 - 1)*-2. Let d = h + -7. Put z, -4, d in ascending order.
-4, z, d
Let v(s) = -5*s**2 - 11*s - 4. Let l(t) = t**2 + t + 1. Let j(c) = -4*l(c) - v(c). Let x be j(-7). Let a = x - 3. Sort a, -1, -4 in descending order.
-1, a, -4
Suppose -3*r - 3 + 0 = 5*a, 0 = 2*r + a + 2. Let u be 1/(-45) - (-24)/108. Put u, 2, r in descending order.
2, u, r
Suppose 2*h + 4*z = 0, -4*h + 3*h = -3*z - 5. Suppose 2*i + 1 = 4*o + 7, o + 14 = 3*i. Suppose -3 = -f - b, 0 = -7*f + 4*f - 2*b + 4. Sort h, f, o.
f, o, h
Let l(p) = -5*p - 10. Let f(d) = -6*d - 11. Let c(w) = 4*f(w) - 5*l(w). Let u be c(-8). Put u, 1/2, 0.4 in decreasing order.
1/2, 0.4, u
Let p = -20 + 25. Sort p, -5, 4 in increasing order.
-5, 4, p
Let g = 6 - 5.7. Let b = -0.2 + g. Put b, 4, 9 in descending order.
9, 4, b
Let j be 4/(-10) - 828/(-1495). Let i = -7 - -11. Sort 5, j, i in increasing order.
j, i, 5
Let c = -13 + 21. Let z = -93 - -95. Put z, -4, c in increasing order.
-4, z, c
Let r be (-2)/(-10) - (-1)/(-5). Let a(n) = -n - 1. Let o be a(-3). Suppose 5 = -o*b + 3*b. Sort b, r, -2 in descending order.
b, r, -2
Let u be 12/(-8)*2 + 0. Sort 2, u, 4 in decreasing order.
4, 2, u
Let h = 45 + -42. Put h, 1, -17, -5 in increasing order.
-17, -5, 1, h
Let b = -0.24 - 0.06. Sort 2, b, 5, 4 in descending order.
5, 4, 2, b
Let j(l) = -2*l - 1. Let i be j(-3). Let k = 136 + -135. Put k, 4, i in decreasing order.
i, 4, k
Let w = -0.69 - -3.09. Put -4, w, 3 in descending order.
3, w, -4
Let o(z) = z**2 + 3*z - 51. Let x be o(6). Let k(n) = -n + 3. Let g be k(-3). Let l be (-42)/(-9) - (-2)/g. Put x, l, 1/5 in descending order.
l, x, 1/5
Suppose -4*o + 4*c = -8, c - 4*c = -4*o + 10. Let r be 3 - 1*(-1 - 0). Suppose 0 = -3*x - 0*x + 5*k - r, 0 = -3*x + k + o. Sort x, -3, -3/2 in descending order.
x, -3/2, -3
Let t = 0.15 + -0.05. Sort -0.3, 2, t in ascending order.
-0.3, t, 2
Let t = 0.1 + 0.1. Let r = 277/364 - 1/91. Sort 1/3, r, t.
t, 1/3, r
Let u = -1 - 7. Let r = 5.08 - 0.08. Let s = u + r. Sort s, -4, 3 in decreasing order.
3, s, -4
Let c be 2*2 + (-3 - -1). Sort 5, 4, c, -1 in decreasing order.
5, 4, c, -1
Let f be 30/(-8) - 1/4. Sort 2, f, -5 in decreasing order.
2, f, -5
Suppose 11 = -4*s + 2*i + 3, s + 24 = -5*i. Let h = -15/14 - -107/126. Sort -1, h, s in descending order.
h, -1, s
Let b = 5 - 6. Let m(k) = -k**2 - 2*k - 2. Let s be m(-2)