Can the symbolic toolbox be used to derive results for arbitrary number n?

I wish to do some calculations for my research for a general number n, but the calculations are hellishly long. I was wondering if matlab can be used to do this.

Consider as an example problem the sum of first 'n' natural numbers.

Can I use the matlab symbolic toolbox to arrive at the result n(n+1) / 2?

If yes, how can I do that?

Answer 1

[Walter Roberson]

syms n m
symsum(m, m, 1, n)

ans =