Let d(i) = -2*i - 3. Let x = -4 - -7. Suppose -2*k = -4*g + 2*g - 8, x*g - 5*k = -10. Let c be d(g). Solve -5*p = -c - 3 for p.
2
Let a(l) = l. Let y be a(8). Let f = 10 + -17. Let q = f + y. Solve q = t + 2 for t.
-1
Suppose 0 = -c + 2*c - 2. Suppose 2*w = -c*w. Solve a = -w*a + 2 for a.
2
Let f be -1 + 3 - (-37)/1. Suppose -5*y + 41 = -f. Solve 4*s - y = -4 for s.
3
Suppose 3*x - 2*x = -5*i + 7, 5*x = i + 9. Solve -x*n = -n + 1 for n.
-1
Suppose n = -3*n + 48. Let s = 15 - n. Solve -s = 2*o + 3 for o.
-3
Let f(z) = -z3 + 3*z2 - 1. Let x be -2 + 0 - (-36)/9. Let s be f(x). Suppose -j = -3 - 1, -s*v = 5*j - 32. Solve b + v = 3*b for b.
2
Let a = 8 - 8. Suppose a*z + 5 = z. Solve -z*d = -d - 8 for d.
2
Suppose u + u = 16. Solve -u*y = -4*y + 20 for y.
-5
Suppose 5*n = 2*f - 50, -3*f + 49 + 1 = 5*n. Solve 5*l - 5 = -f for l.
-3