Let b(g) be the first derivative of g**2/2 + 10*g - 3. Let z be b(-7). Solve -z*s = -5*s - 2 for s.

Let o be 5 - (2/(-2) + 2). Solve 0*t = -o*t + 4 for t.

1

Let t be (-8)/(-40) - (-14)/5. Suppose -4*x - 4*y + 36 = -0*y, -t*x - 4*y + 32 = 0. Suppose 4*k - k = 0. Solve k = -x*m - 0*m + 12 for m.

3

Let h(a) = a3 - 4*a2 + 3*a. Let c be h(2). Suppose 9 + 51 = -5*s. Let o = c - s. Solve 0 = 3*k + 2*k - o for k.

2

Let n = -12 + 12. Let m = 8 + -2. Suppose -m*z + 8 = -2*z. Solve -2*c - z*c - 4 = n for c.

-1

Let o = 29 + -26. Solve 0*u - o*u = 0 for u.

0

Let s© = -c3 + 12*c2 - c + 17. Let j be s(12). Solve -j*h - 3 - 2 = 0 for h.

-1

Let o = -3 + 6. Let k = o - -13. Solve 5*t + 9 = -k for t.

-5

Let y(v) = v2 - 6*v + 2. Let x be y(4). Let f(o) = 2*o2 - 2*o - 4. Let t be f(x). Suppose -5*i + i = -t. Solve 5*l = -i + 5 for l.

-3

Suppose 28 = 4*g + 4*p, -4*g + 16 = p - 3. Suppose g*x = x + 12. Suppose o - 15 = 2*o - x*a, o + 20 = 5*a. Solve -h + 2 = o for h.

-3

Let z be 5 - (-1)/(1 - 2). Suppose 0 = j - 3*m + 2, -j + 24 = 3*j + z*m. Solve 0 = 5*r + j + 1 for r.

-1