 l
Let l(m) = m**2 - 13*m + 20. Let q be l(11). Sort 9, 5, 0, q in decreasing order.
9, 5, 0, q
Let r = -0.03 + -11.87. Let a = r - -12. Put a, 2/9, -2 in descending order.
2/9, a, -2
Let h = -163/3 - -55. Sort 1/2, h, 3 in increasing order.
1/2, h, 3
Suppose -8 = 2*c - 6. Let d be -2 + -2*(c - 1). Put -1/5, d, -4 in decreasing order.
d, -1/5, -4
Let v(x) = 0 - x - 3 + 3 + 10. Let i be v(11). Put 2, 0, i in decreasing order.
2, 0, i
Let o(p) = -2*p - 3. Let w be o(-4). Suppose 5*t + 28 = 3*a + t, 5*t + 40 = 5*a. Suppose 9*j = 5*j + 8. Put w, a, j in increasing order.
j, a, w
Let o(y) = y + 2. Let h(d) = -d**2 + 13. Let n(u) = h(u) - 5*o(u). Suppose w = -2*w - 18. Let m be n(w). Sort -2, m, 5.
m, -2, 5
Let f = -2 - 0. Suppose 5 = 6*b - 7. Put f, 0, b in ascending order.
f, 0, b
Suppose 2*u + 15 = 5*u. Let k(b) = b**2 - 6*b - 6. Let r be k(7). Put u, -5, r in decreasing order.
u, r, -5
Let t = 0.96 + -1. Let p = -0.06 + t. Sort 0.3, 2, p in descending order.
2, 0.3, p
Let t = 1 + 0. Suppose -2*g - 3 - 7 = 0. Sort t, -3, g in decreasing order.
t, -3, g
Suppose 4*b = i + 795, 2*b - 3*i = 2*i + 411. Let x = 2180/11 - b. Put 2, 3, x in descending order.
3, 2, x
Suppose -3*p + 7 = 1. Let d = -548 - -551. Put p, d, 1 in ascending order.
1, p, d
Suppose 2*p - 4*g + 14 = 0, p - g = -0*g - 3. Let n = 7 - 6. Let m = 4 + n. Sort -2/9, p, m in descending order.
m, p, -2/9
Let u be -3 + (160/(-12))/(-4). Put 0.5, u, -2/5 in increasing order.
-2/5, u, 0.5
Let r be (12/(-18))/((-2)/(-12)). Let g = r - -8. Put -2, 1, g in decreasing order.
g, 1, -2
Let v be 11/(-4)*280/12. Let x = v - -64. Suppose 4*o = -5*y + 37, -4*o + 2 = y - 15. Sort x, -2/7, y in decreasing order.
y, x, -2/7
Suppose 2*v = 3*f + v, 0 = f - 2*v - 5. Suppose -2*h + 4*i = -14 - 4, -6 = 2*h + 2*i. Sort -14, h, f.
-14, f, h
Let h be 3/(-10)*35/(-42). Put h, -0.05, 0.3 in descending order.
0.3, h, -0.05
Let h be 6 + 9 - 1*2. Suppose 4*o - 22 = 5*w, -h = -4*o - o - w. Sort o, 0, 4 in increasing order.
0, o, 4
Let f be (-1 - -1 - -1) + -2. Suppose 40*h - 64 = 24*h. Put h, f, 0 in decreasing order.
h, 0, f
Suppose -2*v - 2 = -4. Let y = -11 - -7. Put v, y, -5 in increasing order.
-5, y, v
Suppose -6*y = -12*y - 30. Let g be ((-10)/(-8))/5*4. Put y, g, 5 in descending order.
5, g, y
Let k(z) = -z**3 + 7*z**2 - z - 2. Let n be k(7). Let o(h) = 8*h + 11. Let w be o(n). Let t = w - -245/4. Put -2/7, t, 1 in ascending order.
-2/7, t, 1
Let s(u) = -u - 4. Let b be s(-3). Let m = b + 1. Let c = m - -2. Put c, 0, 3 in descending order.
3, c, 0
Let s = -194/3 - -64. Let i = -2.3 + 1.8. Suppose -10 = -0*a + 2*a. Sort i, s, a.
a, s, i
Suppose f = -7 + 5. Let c(m) = m**3 - m - 1. Let k be c(-1). Sort f, -6, k in ascending order.
-6, f, k
Suppose 4*l - 4 = -4*f, f - 5*l + 5 = -4*f. Suppose 0 = 4*q + q - 15. Let h be 5 + 1/(-1 + 0). Put f, h, q in ascending order.
f, q, h
Suppose -z = -3*m + 6 - 18, 4*z = m + 15. Sort 2, -3, z in ascending order.
-3, 2, z
Let g be (-3 - -2 - -3) + (-1 - -1). Put -1, 9, g, -4 in descending order.
9, g, -1, -4
Let i = -53 + 370/7. Let j be (1/(2/174))/(-1). Let s = j - -695/8. Sort s, -3, i in increasing order.
-3, i, s
Let j = -18.8 - -18. Let f = j - -0.6. Put -4, 5, f in decreasing order.
5, f, -4
Let r = -0.044 + 4.044. Put -4, 3, r in ascending order.
-4, 3, r
Let r = 193 + -190. Put 2, -5, r, 9 in ascending order.
-5, 2, r, 9
Let o = -3 + 3. Let d = 2 - 6. Let u = d - -2. Put o, -0.4, u in increasing order.
u, -0.4, o
Let r = 0.32 - 0.02. Let b = -1 - -0.5. Let g = r + b. Put -0.5, g, -3 in descending order.
g, -0.5, -3
Suppose -4*t = 3*t - 35. Suppose -n + 0*n = 4. Sort n, t, 3.
n, 3, t
Let y = 6.1 + -4.1. Sort -1, -1/7, y in decreasing order.
y, -1/7, -1
Let z = 13 - 22. Let j be (4/10)/(z/5). Sort -1, -1/3, j.
-1, -1/3, j
Let o = 3 - 7. Let y = -0.2 - -4.2. Put y, -3/7, o in decreasing order.
y, -3/7, o
Suppose 5*i = -m + 2*m - 46, -m - 5*i - 4 = 0. Put m, 0.2, 0.1 in descending order.
m, 0.2, 0.1
Let n = 1 + 0. Let i = 0 + n. Let q be 0 - 1/(2/3). Put 0.3, q, i in ascending order.
q, 0.3, i
Suppose 4*l + 4*d - 68 = 0, -3*l + 0*d + 53 = 5*d. Suppose 3*j = -l + 1. Put 5, -2, j in descending order.
5, -2, j
Let i = -10 + 11. Sort 18, i, 0.
0, i, 18
Suppose 0 = -6*s + s - 15. Let a be (2/3)/(s/18). Put -2, 2, a in decreasing order.
2, -2, a
Let x(y) = -y**3 + 6*y**2 - 5*y + 3. Let p be x(5). Suppose -p = -0*d + d. Put d, 3, 0 in decreasing order.
3, 0, d
Let c(w) = -w + 5. Let j be c(0). Suppose 0 = 5*n - a, -2*a - 5 = -a. Let h be (-1)/(2/6*n). Put h, j, -2 in decreasing order.
j, h, -2
Let o = -4 - -5. Let n = -60/13 - -58/13. Sort n, o, -5.
-5, n, o
Let h = 2.3 + -1.5. Let f = -0.6 + h. Let z = 2279/9 - 253. Put f, z, -5 in decreasing order.
z, f, -5
Let w be (-30)/(-20)*2/(-2). Sort -5, w, 2 in increasing order.
-5, w, 2
Let j = 10.15 - 0.15. Let t = j - 12. Suppose g = -0 - 1. Sort t, g, 4.
t, g, 4
Let a = -40012/3035 - 10/607. Suppose 5*n - 62 = 3. Let h = a + n. Put h, -0.4, -2/9 in descending order.
h, -2/9, -0.4
Let x = -5.2 + 5. Let p = 8 - 13. Sort x, p, 6/7 in decreasing order.
6/7, x, p
Let v(b) = 4*b**3 - b**2 + b. Let c be v(1). Let n = -60 + 56. Sort n, -5, c in descending order.
c, n, -5
Let d = 2.17 - 0.17. Sort d, -4, -1/5 in ascending order.
-4, -1/5, d
Let i(s) = -2*s**2 - 2*s - 106. Let k be i(0). Sort -3, 4, k in decreasing order.
4, -3, k
Let o = 5.8 - 3. Let w = o - 2.8. Sort -1/2, w, 2/9 in descending order.
2/9, w, -1/2
Let g = 38 + -43. Put g, -6, -3, 2 in descending order.
2, -3, g, -6
Let d be (30/36)/(3/18). Sort 0, 1, d in ascending order.
0, 1, d
Let h be (9 + -1)*(-2)/(-4). Let z = -345 - -4487/13. Sort h, z, -2 in decreasing order.
h, z, -2
Let d = 5.5 - 0.5. Let h be (0 - -2) + (-7)/4. Put -0.1, h, d in descending order.
d, h, -0.1
Let b(z) = -z**2 + 2*z + 13. Let f be b(5). Let q(x) = 2*x + 5. Let v be q(-5). Sort f, v, 5 in decreasing order.
5, f, v
Let u(d) = -d**2 - 21*d + 24. Let l be u(-22). Let f be 2 + ((-1)/1)/1. Put -1, l, f in descending order.
l, f, -1
Suppose -2*i - 2*i + 96 = 0. Suppose -5*y - 4*a + 30 = a, a = 2*y - 6. Suppose y*p = -5*z, z - 8*p + 4*p = i. Sort z, -3, 0 in descending order.
z, 0, -3
Let l be 4 - (-2 - (2 - 4)). Sort 5, l, 10, -4 in descending order.
10, 5, l, -4
Let w = 5 - 2. Put -0.1, 4/3, w in decreasing order.
w, 4/3, -0.1
Let a = -16 - -15. Sort a, 3, -1/5 in decreasing order.
3, -1/5, a
Let y(p) = p - 3. Let s be y(6). Let w be 1 + (1 - 2) + 2. Suppose 5*q = -15, 2*b + w*b + 3*q = -21. Put s, b, -5 in increasing order.
-5, b, s
Suppose -5*n + 52 = 2. Let z = n - 12. Put z, -1, 2 in descending order.
2, -1, z
Let l = -9 + 5. Suppose -z - 2*z + 3*i = -21, i - 23 = -5*z. Put -3, z, l in decreasing order.
z, -3, l
Let t = -54 + 54. Suppose -2*n = 4*q + 8, -5*q - 5*n = -3 + 13. Put q, t, 1 in ascending order.
q, t, 1
Let l be 3/18 - (-5)/60. Sort 1, -0.3, 0.2, l in decreasing order.
1, l, 0.2, -0.3
Let t be ((-8)/(-12))/((-2)/6). Let k = -1 - -4. Let y(f) = -f + 3. Let u be y(k). Sort u, -3, t.
-3, t, u
Let z(q) = q**3 - 6*q**2 + 3*q + 6. Let o be z(5). Let b = o - 1. Let a(n) = -n**3 + n**2 + n. Let j be a(2). Sort j, b, 3 in increasing order.
b, j, 3
Let w be 1 + 4/2 - 0. Suppose 3 = 4*s - 13. Sort 2, s, w.
2, w, s
Let p be 6/4*(-2)/6. Let o = -1/6 - 0. Sort 5, o, p.
p, o, 5
Suppose -6*l - 12 = -2*p - l, -l + 8 = -3*p. Let k = -2 - p. Let g = 66 + -460/7. Sort g, 5, k.
g, k, 5
Suppose -23 = -3*f - 4*s, -11 = -2*f + s - 3. Sort -3, f, -5.
-5, -3, f
Suppose -6 = g + 8. Let z be 24/(-18)*3/g. Put 3, z, 4 in decreasing order.
4, 3, z
Let w = 5 - 7. Let v(h) = h**3 + 2*h - 1. Let k be v(1). Suppose -4 = -q - k. Sort q, w, -0.3.
w, -0.3, q
Let s be ((-8)/70)/(12/(-42)). Let f = 0.27 + -0.07. Sort f, s, -2/13 in decreasing order.
s, f, -2/13
Let b = -75.7 + 76. Put 2, 5, b, 1 in descending order.
5, 2, 1, b
Let c(f) = -5*f**2 - f + 1. Let p be c(1). Let d = -2.4 - -2. Put p, d, 2 in descending order.
2, d, p
Suppose 5*p = 19 + 6. Suppose 0 = c - p + 10, 0 = 5*b + 4*c + 30. Let m be -6 + 6 - 2/4. Sort b, m, 0.1 in descending order.
0.1, m, b
Let b = 8 - 13. Put 0.2, b, -8, 4 in decreasing order.
4, 0.2, b, -8
Let z = -0.02 - -14.02. Let t = z - 17. Put -2/23, t, -1 in decreasing order.
-2/23, -1, t
Suppose -