Let a = -7 + 15. Let n(z) = z**2 - 4. Let v be n(-3). Let i = -34 + 34. Solve -v*u + u - a = i for u.
-2
Let k = -30 + 25. Let b = 3 - 7. Let c = b - k. Solve -3*y + c = -8 for y.
3
Suppose 5*u - 2*l = 15, 5*u = -0*l + 5*l + 30. Suppose -3*a + 56 = a - 4*k, -2*k = a + u. Suppose t = p + a, -3*t - p - 13 = -5*t. Solve -t*o - 3 = -3*o for o.
-3
Suppose 5*q = 0, -c - 3 = 3*q - 5. Let t be (1/c)/((-3)/(-30)). Suppose 0 = 2*r - t + 1. Solve -2*k - r = 4 for k.
-3
Let d(j) = j - 4. Let z(l) = l. Let p be z(4). Let k be d(p). Suppose 20 = 5*m - k*m. Solve -m*c = c + 10 for c.
-2
Let i(k) = -k + 2. Let c be i(-6). Let w be 76/c + (-2)/(-4). Solve -4*j + w = -6 for j.
4
Let b = 0 - 0. Solve 3*z - 2*z + 4 = b for z.
-4
Let u(j) = -j**2 + 1. Let x be u(0). Solve 0 = -a + x for a.
1
Let z be 2⁄6 + 35⁄3. Let s be z/42 - (-5)/7. Solve -2*n = 1 + s for n.
-1
Suppose 0 = -10*u + 5*u + 15. Solve -4 = k + u*k for k.
-1