Let m = -1 + -1. Let z = m - -3. Suppose -z = -l + 5. Solve a - l = -4 for a.
2
Let t be (3/(-2))/(3⁄60*-6). Solve t*p - 8 = p for p.
2
Suppose -l - 5 = -2*k, 4*k - 14 = 3*l + 1. Solve k = 3*w + w - 12 for w.
3
Suppose -z = 6 - 4. Let s be z + 2 + 2 + 4. Solve -f - 5 = -s*f for f.
1
Let n = 3 - 1. Solve -6*i = -n*i - 8 for i.
2
Let s = -12 + 12. Solve s = 2*d + d - 6 for d.
2
Let b(d) = d2 - 2 + 2 + d3. Let v be b(1). Suppose u - 17 = -2*y + 4*y, -4*u + 53 = -3*y. Solve -3 = v*x - u for x.
4
Suppose -4*y = -2*y - 10. Suppose 0 = 8*j - 3*j - y. Suppose 0 = t - j - 2. Solve -t*a + 2 = -a for a.
1
Suppose -2*j - 5*q = -11, 4*j = -2*q + 9 + 5. Solve 0 = -2*u + 1 + j for u.
2
Suppose 0*o - 2*o = 0. Solve 2*i + 2 - 6 = o for i.
2