Let z be 30325. Let k be z/2 + 1-1. Solve k - 16 = -5*f for f.

3

Let x(u) = -u**2 - 4*u - 1. Let p be x(-4). Let t be 1/(2/(-8))*p. Solve 2*k - 6*k - t = 0 for k.

-1

Let s = 75 + -75. Solve s = -3*p - 7 - 8 for p.

-5

Let r = -3 + 6. Solve -h - 2*h = r for h.

-1

Suppose -2*n = -0*n - 4*g - 34, -g + 85 = 5*n. Let s = n - 11. Suppose 0 = 4*j + a - 12, -s = -3*j + j - a. Solve -j*y - y = -20 for y.

5

Let g = 2 - 6. Let q be 7 - 0*2/g. Solve 2*w - 1 = -q for w.

-3

Let m(g) = g3 - 8*g2 + 3. Let s be m(8). Suppose s*l = -u + 40, 0 = -5*u - 9 + 29. Solve -l = 3*d + 3 for d.

-5

Let r be 0/(-1 - -1 - -2). Let z(w) = -w + 6. Let t be z(3). Let y = r + t. Solve y = u + 6 for u.

-3

Suppose -t - t = 0. Let b(w) = w**2 + 2*w + 1. Let m be b(3). Suppose -m = -4*q + 2*l, 0*l + 20 = 5*q - 4*l. Solve 0*c + c - q = t for c.

4

Let k be (-2)/6 + (-14)/(-6). Suppose 2*i - 7 = 3*u, 0*i - 3*i = 4*u + 32. Let w = i + 5. Solve 9 - w = k*g for g.

4