Let f = 5 + -1. Let a be (f/(-8) + 0)*-4. Solve -a*i + 15 = 3*i for i.

Suppose 0 = 3*q - 10*q. Solve -l + 0*l - 5 = q for l.

-5

Suppose 0 = -0*j + 5*j - 20. Solve -j*q = q - 25 for q.

5

Let z be -9 - ((-1)/(-1) + -2). Let y = 17 + z. Let p be 3*(39/y + -3). Solve -10 = -2*x + p*x for x.

-5

Suppose 12 = 3*a, -4*m - 3*a + 3 + 13 = 0. Let v be m*2/((-2)/(-5)). Suppose t - k = v, -2*t - t = 2*k + 10. Solve 5*f + 20 + 0 = t for f.

-4

Let y(d) = -d + 4. Let f be y(0). Suppose -f*w = o + 3*o - 20, o = 0. Solve 0 = -w*j - 0*j - 25 for j.

-5

Let q = 16 + -13. Solve 0*o = q*o - 15 for o.

5

Suppose -3*r = -4*j + 2*j - 16, 0 = 4*r + 2*j - 40. Let i be (3 + (-10)/4)*r. Solve -6*y = -i*y - 8 for y.

4

Suppose 0 = -5*z + 4*p + 11, 6*z - 2*z - 4*p = 8. Solve 7 = -z*g - 2 for g.

-3

Let c = 13 - 7. Let z(u) = -u3 + c - 5*u + u - 2*u - 7*u2. Let p be z(-6). Solve -6 - p = 3*l for l.

-4

Let p(i) be the second derivative of i⁴⁄₁₂ - i3 + 3*i**2 - 2*i. Let j be p(6). Solve -c = -j*c - 15 for c.

-3