Let x be 9 + -4 + (0 - -1). Let c = x + -4. Solve -3*s + 14 = c for s.
4
Let d be (-3 - -1) + 4 + 0. Solve d*z - 2 = 8 for z.
5
Suppose -2*t + 3*t = 3. Let d be (12/t)/(2 - 0). Solve u = -d*u + 15 for u.
5
Let z be 219⁄15 + (-4)/(-10). Suppose 5*p + z = -0*p. Let j(b) = -2*b + 2. Let y be j(p). Solve -n + y = n for n.
4
Suppose -13 = -3*z - c, -2 = 3*c - 2*c. Solve -p - 1 = -z for p.
4
Suppose -2*j + 2 = 4*v, 3*v - 1 = j - 7. Solve -j*h - 1 = 2 for h.
-1
Let l(s) = 10*s**2 + 1. Let u be (0 + (-2)/(-1))/2. Let h be l(u). Solve -1 + h = -5*k for k.
-2
Suppose -41 = -0*j - 3*j - 5*z, 10 = 2*j - z. Solve -4*s = -9 - j for s.
4
Let l be -1 - -3 - 13/((-39)/18). Solve r - l = -3*r for r.
2
Suppose -j + 6 = -2*q, -4*q + 2 = -j + 14. Let l be 22⁄6 + (-2)/(-6). Solve -l = x - j*x for x.
-4