Let h(y) = y3 + 12*y2 - 13*y + 3. Let v be h(-13). Solve v*r - 20 = -r for r.
5
Suppose 0 = -2*f + 7*f - 10. Suppose -f*n - 3*n + 2 = s, 0 = 2*n - s - 5. Solve 4*z - 11 = n for z.
3
Let s be (0/8)/(-1 + 2). Solve -20 = -s*c - 5*c for c.
4
Let v(i) = 31*i**2 + 2*i - 1. Let z be v(1). Suppose 0 = 7*o + 11 - z. Solve -8 = f + o*f for f.
-2
Suppose -5*g - n + 37 + 20 = 0, -2*g + 4*n + 14 = 0. Suppose -4*c + 13 = -g. Suppose 4*a - 1 = q, 2*a - 2 = -4*q - c. Solve a = -f + 2 for f.
2
Suppose 3*m = m + 72. Suppose 4*a = 4*w + 42 + 54, m = a - 4*w. Suppose -a = i - 6*i. Solve -l + 15 = i*l for l.
3
Suppose -21 = -3*x + 4*c, x + 0*x + 12 = -5*c. Let f be x + 0/4 + -3. Suppose -2*u = -40 - 10. Solve f = -j + 6*j - u for j.
5
Suppose o - 40 = -3*o. Suppose 0*j + 5*w - 25 = -5*j, -o = -j - 2*w. Solve 6 = -j*i + 2*i for i.
3
Let a be (-66)/(-2)*2⁄6. Suppose 0 = -d - 3*t - 2*t + 11, -4*d = 5*t - 29. Let y = a - d. Solve 5*i - y = -0*i for i.
1
Let l(z) = z + 1. Let h be l(-1). Suppose q - s = 4, h = 2*s - 4. Let n(w) = w**2 + 6*w + 3. Let r be n(-6). Solve -r = -3*m + q for m.
3