Let i(k) = k**2 + k + 13. Let t be i(0). Solve 3*s + t - 1 = 0 for s.

Let o(y) = y**2 + 6*y - 2. Let r be o(-7). Suppose 26 = r*u + 1. Solve -3 = u*f - 8 for f.

1

Let x be (-4)/12 + ((-200)/(-12))/5. Let k = 4 + 1. Let d = k + -1. Solve -x = -d*y + y for y.

1

Suppose -2*t = -3*t - 7. Let b = t - -7. Solve -5*z + b*z = 0 for z.

0

Suppose 0 = -2*r - 0 + 4. Suppose -b - 3 = r. Let g be ⁵⁸⁄₆ - b/15. Solve j + g = -j for j.

-5

Suppose -3*q = -v - 47, -3*q + 2*q = -5*v - 39. Solve 5*g = q + 6 for g.

4

Let u = -5 + 7. Suppose 18 = u*h - 2. Solve -s = 4*s - h for s.

2

Suppose -6*v - 3 = -21. Solve -2 = 4*o - v*o for o.

-2

Let t = 14 - 7. Suppose -4*a = -t - 13. Suppose a*o - 38 = 2. Solve -3*x + 2 - o = 0 for x.

-2

Suppose 0 = -12*x + 142 - 22. Solve 7*f - x = 5*f for f.

5

Let s = 2 - 11. Let x = 16 + s. Solve -x = 3*u - 1 for u.

-2