Let o(u) = 2*u**2 + 1. Let v = -6 - 1. Let n(i) = -i - 6. Let a be n(v). Let j be o(a). Solve 0 = 3*x - 4*x + j for x.

3

Suppose 2*p + 2*p - 40 = 0. Suppose -4*h = -2*h - p, -3*n + 1 = -h. Solve -6 = -0*s - n*s for s.

3

Let u = 35 + -31. Solve -u*i + 2 = -6*i for i.

-1

Let z(v) = v + 12. Let o be z(-2). Solve 0 = 4*p - 6*p + o for p.

5

Suppose 4*v - 5 - 3 = 0. Suppose b - v*x - 3 = -x, 4*b + 4x + 4 = 0. Let d be (-1)/(-1)(1 + b). Solve -3 = -d*a + 3 for a.

3

Suppose 2*m = -t + m + 7, -m + 13 = 4*t. Suppose -12 = g + 2*g, -2*x = 2*g + 2. Suppose 5*o + t*v - 16 = 6*v, 0 = -x*o + 5*v + 7. Solve -o*b = -7*b - 3 for b.

-1

Let q be 67 + 642. Solve 4*l - 11 = q for l.

3

Let c be (10/(-6))/((-2)/6). Solve -3*k - c = 2*k for k.

-1

Let b be ((-1)/(-4))/(8128). Solve -b*k + 8 + 0 = 0 for k.

2

Let u be 3*(163 - 3). Suppose 2 = 4*x + 3*a, -3*x + 8 = -4*a - 6. Solve -x*h = -u*h for h.

0