) = l**2 + 8*l + 5. Let r be a(-7). Sort 4, 5, r in increasing order.
r, 4, 5
Let m = 4 - -11. Let n = 15 - m. Let q = -10 - -1. Put n, -5, q in descending order.
n, -5, q
Let r be 94/(-18) + 10/45. Put 32, 1, r in decreasing order.
32, 1, r
Let i = 0.19 - -0.31. Put 4, -0.3, i in ascending order.
-0.3, i, 4
Let m = 1.2 - 0.2. Let y = -0.17 + -0.73. Let j = y - 0.1. Sort j, 3, m in decreasing order.
3, m, j
Let x = 22 - 21.64. Let c = -0.14 - x. Put -0.4, c, 4 in descending order.
4, -0.4, c
Let a be 3/10*(-30)/(-4). Let w = -2 + a. Let o = -2.8 - -3. Put -0.2, o, w in decreasing order.
w, o, -0.2
Let g be (-1339)/(-165) + 6/9. Let i = 43/5 - g. Let f = -12 - -7. Sort i, f, 0.4 in descending order.
0.4, i, f
Let x = -0.037 + 0.337. Put 0, x, 1, -1 in increasing order.
-1, 0, x, 1
Let k = -32/21 + 20/7. Let f = 23 + -24.8. Let w = f + 2. Sort -4, w, k.
-4, w, k
Let v be 1 - (2 + 10/(-2)). Let g be 32/(-4)*(-2)/v. Sort 5, -5, g in decreasing order.
5, g, -5
Let f = -9 + 4. Put -7, f, 10 in increasing order.
-7, f, 10
Suppose 3*x - 2*f + 0*f = 0, 13 = -x + 5*f. Suppose 0 = x*s + s. Let v be (3/(-4))/(11/(-4) - -3). Sort v, s, 5.
v, s, 5
Let h = 3 - 0. Suppose -3*q - 4 = -q. Sort h, -2/9, q in increasing order.
q, -2/9, h
Let o(q) = q**3 - 6*q**2 + 4*q + 9. Let t be o(5). Put 15, 1, t in increasing order.
1, t, 15
Let t = -121 + 118. Let w be -3 + 2*2/(-4). Sort t, 3, w in decreasing order.
3, t, w
Let c = -33.7 + 34. Sort 2, 3/2, 0.1, c.
0.1, c, 3/2, 2
Let t be 1/23*(3 - 1). Sort 7, -0.1, t in ascending order.
-0.1, t, 7
Let v = -2.6 + 20.6. Let f = v - 9. Let m = f + -8.9. Put -0.5, m, -1/11 in decreasing order.
m, -1/11, -0.5
Let k = 2 - 8. Let n be (5/10)/(-1 - k). Put 0, -2, n in increasing order.
-2, 0, n
Let q = 3.9 + -0.3. Let i = 4 + -8. Let s = i + q. Sort 1/6, -2/19, s in descending order.
1/6, -2/19, s
Let a = -2 - -3. Let r be -2 - (-2 - (-4)/18). Let s = -0.09 - 0.11. Put a, s, r in decreasing order.
a, s, r
Let c = 0.32 - 0.02. Let u = -46 - -50. Sort c, 1/4, u in increasing order.
1/4, c, u
Let x(u) = -u**3 - 6*u**2 - 4*u - 1. Let g(q) = q**2 + 7*q - 5. Let n be g(-7). Let c be x(n). Sort 1, 5, c in increasing order.
c, 1, 5
Suppose 3*l = -4 + 13. Let m be -1*(1 + 2/1). Put -2, m, l in ascending order.
m, -2, l
Suppose -2*d + 2 = -2. Let h(f) = -f + 17. Let z be h(16). Suppose -d*y + 3 - z = 0. Sort y, -0.1, -1/3 in increasing order.
-1/3, -0.1, y
Let t = -11 - -11. Let d = 0.1 - -0.1. Sort d, t, 0.3 in increasing order.
t, d, 0.3
Let y be 1/(-3) - (-4)/3. Let z = 1 - y. Sort -3, z, 4 in decreasing order.
4, z, -3
Let i = -2.03 - -0.03. Sort 5/2, 2/9, i in descending order.
5/2, 2/9, i
Suppose -5*l - 3 = -8. Let q = 17/194 + 1/1649. Let k = q + 109/306. Sort l, k, -3.
-3, k, l
Suppose 2*f - 16 = 6*f. Sort 2, f, -2, 4.
f, -2, 2, 4
Suppose 0 = -5*n + 10 - 0. Sort n, 0, -2, -3 in ascending order.
-3, -2, 0, n
Let q(c) = 2*c**2 - c - 2. Let u be q(2). Suppose 2*f + 2 = -3*x - 6, -2*x = -2*f - 8. Put x, 3, u in increasing order.
x, 3, u
Let c be (1/(-2))/(3/(-4)). Suppose 3*w = 123 - 111. Sort 0.3, w, c.
0.3, c, w
Suppose 10*i + 99 = 19*i. Sort -2, i, 1.
-2, 1, i
Let a be 2 - (54/15 + -2). Put -1, a, -4/7 in decreasing order.
a, -4/7, -1
Let v = 10 + -10. Sort v, -1, 1 in decreasing order.
1, v, -1
Let b = -3 + 2.5. Let v = 19/11 - 185/88. Let r = 2 + 1. Sort b, r, v in increasing order.
b, v, r
Let b be 92/22 + 18/(-99). Suppose 4*o + 1 = 13. Put b, o, -4 in decreasing order.
b, o, -4
Let q be ((-20)/(-6) - 3)*3. Suppose l = g - 2, 2*l = -2*g + l + q. Put g, -0.3, 0 in descending order.
g, 0, -0.3
Let n be 46/14 + 4/(-14). Let k = -86 + 84. Let s be (-1)/(-2)*10 + 0. Sort k, s, n in decreasing order.
s, n, k
Let n = 6.3 + -7. Let l = 0.2 + n. Let q = -0.4 - l. Sort q, 1, 1/7 in descending order.
1, 1/7, q
Let j(z) = 2*z + 4. Let v be j(-3). Put v, -4, -1 in decreasing order.
-1, v, -4
Let a = 7957/3 - 2622. Let l = a - 30. Put -5/2, 4, l in increasing order.
-5/2, l, 4
Let x = 0.7 - 16.7. Let v = -21 - x. Sort v, 3, -4.
v, -4, 3
Suppose 2*s + 6 = 4. Sort s, -3, 1.
-3, s, 1
Suppose 3*w = 9, -4*w = 3*a - 13 - 8. Sort 2, -1, a in descending order.
a, 2, -1
Let k = -125 - -128. Sort -4, -3, k, 2 in descending order.
k, 2, -3, -4
Let y = -10 + 7. Let p be 5*8/20*1. Suppose j - 3 = -1, -j - 8 = -p*l. Put y, 2, l in descending order.
l, 2, y
Let w(x) = -x - 6. Let r be (15/(-6))/(2/4). Let t be w(r). Let h be (t/(-2))/((-2)/8). Sort h, -0.4, 2/11 in decreasing order.
2/11, -0.4, h
Let g(p) = -3*p - 15. Let a be g(-6). Let l be -5*(0 - (-2 - -1)). Sort l, 2, a in descending order.
a, 2, l
Let q(a) = a**2 - 5. Let i be q(0). Sort 0, -4, i in decreasing order.
0, -4, i
Let l be (1 + -1)/1 + 8/28. Let x = -0.38 + -0.02. Put -4, x, l in descending order.
l, x, -4
Let o = -1.1 - -0.1. Let j = 0.7 + 3.3. Sort j, o, 5.
o, j, 5
Let t = 16 - 15.7. Put -4, -3, t in decreasing order.
t, -3, -4
Let o = 7 + -17. Put o, 3, -2 in descending order.
3, -2, o
Let y(n) = -n**2 - 5*n - 3. Let t be y(-2). Sort -3, 4, t, 2 in decreasing order.
4, t, 2, -3
Suppose -3*f + 3*l - 3 = 0, f = -0*f + 5*l + 19. Put f, -3, -4, 0 in increasing order.
f, -4, -3, 0
Suppose k + k = -14. Let z be -2 + 0 + k/(-4). Let w = 1 + 0. Put w, z, 3 in increasing order.
z, w, 3
Let m = -22.3 - -22. Let o = m + 0.7. Put 2/13, o, -0.03 in decreasing order.
o, 2/13, -0.03
Let c(o) = -o**2 + 8*o - 7. Let z be c(6). Let a = 7 - 11. Sort 1, a, z in increasing order.
a, 1, z
Let n be 24/(-4) + (3 - 0). Put 2, n, -1 in decreasing order.
2, -1, n
Let n = -521371/17 - -30685. Let x = n + -16. Put -3, 2/3, x in decreasing order.
2/3, x, -3
Let x(u) = 3*u - 4. Let c be x(4). Suppose w = -w + c. Suppose -12 = 3*v + k, w*v - 5*k + 20 = -15. Sort v, 2, -1.
v, -1, 2
Let w(f) = -2*f**2 - 16*f - 28. Let v be w(-6). Sort -3, v, 3, 1 in ascending order.
v, -3, 1, 3
Let a = -80/9 - -28/3. Sort a, 0.2, 0 in descending order.
a, 0.2, 0
Suppose -4*g + 4*c - 19 = 5, 0 = -g - 4*c - 1. Sort 0, g, 1 in decreasing order.
1, 0, g
Let l(w) = w**3 - 3*w**2 + 2*w - 1. Let k be l(2). Let t = k - -2. Let m(n) = n. Let j be m(-2). Sort 0, j, t in decreasing order.
t, 0, j
Let q = -3 - 3. Let r be q/(-9) - (-3)/(-5). Sort -0.4, -0.5, r in decreasing order.
r, -0.4, -0.5
Let g(m) = -m + 10. Let w be g(5). Put 17, w, -3 in descending order.
17, w, -3
Let f = 0.29 + 20.71. Let w = -11 + f. Let r = w - 7. Put 0, r, 0.3 in descending order.
r, 0.3, 0
Let o(a) = a**2 - 5*a - 3. Let w be o(5). Let t be 15/9*(-9)/w. Let p(y) = -y - 2. Let f be p(-4). Sort -4, t, f in decreasing order.
t, f, -4
Let m(h) = -h + 1. Let z be m(-2). Suppose -i - z*i = -12. Sort 5, i, 1 in descending order.
5, i, 1
Let h(t) be the first derivative of -t**3/3 - 3*t**2 - 5*t - 1. Let a be h(-6). Let c = -55.99 - -56. Sort a, c, -3/4 in descending order.
c, -3/4, a
Let c = -1 - 1. Let q be c/(-5)*2/(-4). Sort 4, -1/6, q.
q, -1/6, 4
Let f be 0 + 1 - (-9)/(-7). Put -0.2, f, 0.5 in decreasing order.
0.5, -0.2, f
Suppose 0 = -3*k + 8*k + 5. Let w(g) = -g**3 + g**2 - g - 1. Let f be w(k). Let d be -1*1/2*0. Sort -3, d, f in increasing order.
-3, d, f
Let n be ((-16)/9)/(10/(-3)). Let z = 1/5 - n. Let m = -287/760 - -1/380. Put z, -1, m in decreasing order.
z, m, -1
Let x = -10.4 - -8.4. Put 12, 3, -2/9, x in increasing order.
x, -2/9, 3, 12
Let i(p) = -p + 13. Let a be i(13). Sort a, 1, -6 in descending order.
1, a, -6
Let f = 12 - 7. Suppose 0 = z - 0*z + 2. Put -4, z, f in descending order.
f, z, -4
Suppose -8*v + 6 = -11*v. Put -4, 38, v in ascending order.
-4, v, 38
Let y be (-1)/(-7) - (-170)/35. Put 4, y, -2 in increasing order.
-2, 4, y
Let x = -12 + 13.1. Let w = x + -1. Let d = 1 - 1.2. Sort w, d, -3 in descending order.
w, d, -3
Suppose 0*t + 4*t = 16. Suppose -a + 3*a + t = 0. Sort -3, a, 5 in decreasing order.
5, a, -3
Let j = -25 + 28. Put 17, j, -5 in decreasing order.
17, j, -5
Let q = -5.1 - -5. Let n = 2/351 + -1414/1755. Put 1/3, q, n in descending order.
1/3, q, n
Let v(j) = -j - 2. Let d be v(-2). Suppose d = -3*g + 7*g + 20. Let z = -5 + 6. Sort -0.5, z, g in descending order.
z, -0.5, g
Let g(n) = -n**3 + 6*n**2 + n - 5. Let w be g(6). Let h be w/((4/10)/(-2)). Let p(u) = u**2 + 5*u - 3. Let b be p(-5). Put -1, h, b in increasing order.