Let g be (243⁄4 + -3)*4. Let u be 4⁄14 + g/49. Solve 0 = 2*y + 3*y - u for y.
1
Let z(g) = g**2 - 8*g + 7. Let d be z(7). Suppose d = x - 10 - 0. Suppose -w - w + x = 0. Solve 13 = -w*k - 2 for k.
-3
Suppose 0*p - p = 0. Solve p = 5*v - 0 - 5 for v.
1
Let h = -60 + 60. Solve -2*f + 3*f - 1 = h for f.
1
Let q be (-6)/(-14)*(7 + 0). Solve q*z - 10 + 1 = 0 for z.
3
Let k(i) = -i + 9. Let c be k(7). Solve 18 + c = -5*x for x.
-4
Let z(v) = v3 - 14*v2 + 12*v + 15. Let a be z(13). Solve a*p = -0 + 6 for p.
3
Let d(a) = a**2 + 9*a + 11. Let q be d(-10). Let j = q - 13. Solve -m = -5*m + j for m.
2
Let b be (-4)/(-14) + (-6)/21. Suppose 3*a + a + 8 = b, -12 = -5*o - 4*a. Suppose -5*p = o - 14. Solve 4*f = p*f for f.
0
Let m(i) = i**2 + 6*i + 3. Let j be (-1)/(-5) + 93/(-15). Let w be m(j). Solve -w*p = -7*p for p.
0