Let l(n) = n**2 + 16*n + 28. Let z be l(-14). Solve k + z*k = 5 for k.
5
Let y(o) = -o**2 - 6*o - 6. Let k be y(-4). Let z = 13 + k. Solve -6*l + z = -l for l.
3
Suppose 2*d = 5*d + 15, 2*f = -3*d - 7. Suppose -3 = -fa + 5. Let u be 5((-21)/15 + a). Solve -2*m = -3 - u for m.
3
Let j = -23 - -33. Let p be (-6)/15 + 204/j. Solve 0 = 4*l + l - p for l.
4
Let y be 40⁄15 + (-2)/(-6). Suppose l - y*l = 0. Solve h + 0*h = l for h.
0
Let u(s) = -s3 + 20*s2 - 20*s + 25. Let z be u(19). Solve -z = 2*o + o for o.
-2
Suppose 2*s - 3 = z, 4*s + 0 = -2*z + 18. Suppose -4*y + j = -0*y, -3*y + s*j = 0. Solve y = 2*d + 4 + 2 for d.
-3
Let c be 26⁄7 + 2⁄7. Suppose 3*n + 5*u = -n + c, -2*u - 4 = -4*n. Suppose -71 = -9*d - 44. Solve -n = d*x - 4*x for x.
1
Suppose j + 0 = 5*h - 28, -2*j = 6. Let n(u) = -u**2 - u. Let g be n(0). Solve v = -g*v + h for v.
5
Suppose -7 = -3*r + 2*u, -3*u = r + 2*u - 25. Solve 0 = r*b - 5 for b.
1