Suppose -23 + 9 = -2*f. Let m be 1 - (-2 + (1 - -7)). Let z = m + f. Solve 1 = -z*t - 7 for t.

Suppose -4*z + 8 + 4 = 0. Suppose -19 = -h - 3. Suppose 2*w + h = 3*w. Solve l + z*l + w = 0 for l.

-4

Let i = -18 + 18. Suppose i = 5*v - 22 + 2. Solve -3*l - v = -10 for l.

2

Let i = 35 + -21. Let p(y) = -y3 + y2 - 3. Let v be p(0). Let g = v - -7. Solve i = 2*n + g for n.

5

Let o be 1 + 4 + -2 + 13. Solve -3*j - j - o = 0 for j.

-4

Suppose 2*q - 10 = -4*o, 4*o = o + 3*q + 12. Let v = 15 + -12. Suppose -6*s + 3*s = 2*r, v*r - o = -3*s. Solve r = f + 8 for f.

-5

Let z(y) = -y*2 + 1. Let x be z(1). Let n be 0 - (x/2)/(-3). Let s be n(1 + (-3)/2). Solve s = -3*o + 16 - 4 for o.

4

Let l = 8 - 2. Suppose 2*w = 4*w - 4*z + 18, 0 = w + z - l. Solve 4*a + w + 11 = 0 for a.

-3

Suppose 0 = -4*v + 2*v + 10. Solve -6*q = -v*q for q.

0

Let q(f) = -f3 + 4*f2 - 4*f + 4. Let d be (1 + 0)*¹⁵⁄₅. Let x be q(d). Let v be -3 + 2 + 0 + x. Solve -12 = -v*a - 4*a for a.

3

Suppose 4*m - 8 = -o, -o = -3*o + 3*m + 27. Let k be ⁴⁄₁₆ + (-3)/o. Solve k*q = -2*q for q.

0