Let v = -176 + 180. Solve -v*z + 7 = -5 for z.
3
Let l be 16/(-12)*6/(-4). Let n be 1/(-4) - 28⁄16. Let t = 3 + n. Solve t = c - l*c for c.
-1
Suppose 0 = 2*o - 2*m - 3 - 11, 2*o = m + 9. Solve -o*k = 17 - 7 for k.
-5
Let b(h) = h**2 - h - 6. Let x be b(3). Solve x = -7*s + 2*s - 15 for s.
-3
Suppose 0 = -3*o + 6, 2*r - 3*o = o. Solve 8 + 8 = r*z for z.
4
Suppose 5*o - 3*c - 9 = 0, c - 6*c + 1 = -3*o. Let w(l) = -l3 + l2 + l + 15. Let g be w(0). Let n = -11 + g. Solve -o*p - n = p for p.
-1
Let l(x) = -2 + 3*x + 1 + 4. Let b be l(4). Solve -6 + b = 3*u for u.
3
Suppose -4*a + 5*a + 28 = 0. Let d be (-64)/a + (-2)/7. Solve -4*j = -d*j + 10 for j.
-5
Let o be (-23)/(-8) - (-10)/80. Solve 2*n + o*n = 10 for n.
2
Let o = 3 - 1. Let c = -4 - -3. Let j = c + o. Solve 5 - j = 4*h for h.
1