Let s(m) = 28*m**2 - 1. Let a be s(1). Suppose -4*z = -w - 7, 5*w - a = -3*z + 7. Solve -5*g + 5 = -w for g.
2
Suppose 0 = -4*j - 12. Let k be (-5 - j) + (2 - -2). Solve 0 = k*i + 3*i - 15 for i.
3
Let j = 102 - 98. Solve 2 = -2*w + j for w.
1
Suppose 3*y - 1 = t, -4*y - 5 + 1 = -4*t. Let z be 0/y - (-4 + 2). Solve -3*a + 10 + z = 0 for a.
4
Suppose 0*u - 12 = -4*u. Suppose 0 = 3*h + 2*h - u*p - 7, -p = h - 3. Let k be (-3)/(3/(-4)*1). Solve -2 = -k*q + h*q for q.
1
Let c(f) = -f. Suppose -v - 2*t = 12, -v - 4*t = -3*v. Let g be c(v). Let b(n) = n3 - 7*n2 + 7*n - 4. Let q be b(g). Solve y = -q*y - 6 for y.
-2
Suppose -3*c = c - 12. Let s be ((-12)/8)/(c/(-14)). Let p = 7 - s. Solve p = -0*l - 3*l + 3 for l.
1
Let g be (2⁄3)/((-2)/(-27)). Let d = 6 - 4. Let c be d - ((0 - -1) + -3). Solve c*p - p = g for p.
3
Let g(k) = -k**3 + 2*k - 1. Let t be g(1). Let q = 1 + t. Let l = 7 + -5. Solve -j = -q - l for j.
3
Suppose 13 = 3*r - 14. Suppose 3*w + 0*w = r. Solve 0*b - 3 = -w*b for b.
1