Let n(x) = x**2 + 6*x + 2. Let t be n(-6). Solve t + 1 = q for q.
3
Let u = 13 + -13. Let l = u - 0. Solve l*c = -c - 3 for c.
-3
Let n = 22 - 17. Let f be 198⁄8 - 2/(-8). Suppose 3*k + 2*k = 3*z + f, 23 = -k - 5*z. Solve -k*h - n = 1 for h.
-3
Suppose 0 = -2*k - 1 - 1. Let i = 3 + k. Solve i*p - 4 = -2*p for p.
1
Suppose -2 = 3*m - 2*t, 2*m + t = 3 + 5. Solve -2*l + 4 = m for l.
1
Let r be (-3)/(-12) + 23⁄4. Let u be ((-2)/6)/((-2)/r). Solve 11 + u = 3*k for k.
4
Let m(q) = 6*q**2 - 1. Let s be m(1). Let c = -5 + 10. Let i = 2 + 0. Solve c + s = -i*t for t.
-5
Suppose 4 + 7 = -2*p + 3*l, -2*l = -4p - 10. Let k = p + 3. Let w be k - -3(-3)/9. Solve -n = 3 - w for n.
-2
Let x = 0 + 1. Let h = x - 1. Suppose -6 = 22*n - 25*n. Solve -5*y + 18 + n = h for y.
4
Let w = 1 + 2. Suppose 0 = u - w*u. Let h be 6 + (u - -1 - 2). Solve -37 + 12 = -h*o for o.
5