Let x(t) be the third derivative of -t**7/2520 - t**5/20 - t**2. Let v(r) be the third derivative of x(r). Let m be v(-5). Solve -4*c - m = -2 for c.

Let m be (-8 - -7)*(1 + -6). Solve -m*i + 8 = -3*i for i.

4

Let n be (-1 + 3)*³³⁄₆. Solve -5*g - 1 + n = 0 for g.

2

Let w(i) = -i - 6. Let x be (-7 - -2)*(-18)/(-15). Let j be w(x). Suppose 0 = 2*a + b, -3*a = -6*b + b - 13. Solve j*v = -v + a for v.

1

Let g be 3/(-12) + (-3)/4. Let o = g - -3. Suppose b + o*b - 37 = -5*w, 20 = 5*b. Solve j = w*j for j.

0

Suppose 0 = 61*p - 55*p - 12. Solve -2*v + 3*v = -p for v.

-2

Suppose -g = -2*g - 4*g. Solve 5*d = -g + 5 for d.

1

Let i be 4 - 4*(-3)/6. Let l be (-5)/((0 - -4) + -5). Solve -l*h + i*h = 5 for h.

5

Let u(h) = h**2 + h + 10. Let w be u(0). Suppose -w = -2*t + 6. Solve -2*n = -4*n + t for n.

4

Suppose -18 = -4*i - 2*x, 4*i - i - 4*x + 3 = 0. Solve -i*k + 6*k = 0 for k.

0

Let h be (3 - 3)*(-2)/4 - -4. Solve h*b - 7 = 5 for b.

3