Let c(j) = -5*j + 6. Let k be c(2). Let q = 4 + -7. Let b be (-7)/k + q/(-12). Solve -b*y + 6*y = 20 for y.
5
Let f be (-22)/11 - (1 + -5). Solve -2*j = -0*j + f for j.
-1
Let q(l) = l + 3. Let x be q(-3). Let a = 173 + -146. Solve 4*k - a + 7 = x for k.
5
Let v be -2*2⁄2 + 7. Solve -4*n = -v*n - 4 for n.
-4
Let b(p) = p3 - 5*p2 + 2*p + 5. Let r be b(4). Let n = r - -4. Suppose -4*m + 7 = -n. Solve m*w - 4*w = 0 for w.
0
Let q = -30 + 52. Suppose 5*z + 10 = -3*i, -2 = i + 3*z + 8. Suppose -i*d - 7 + q = 0. Solve -3 + 9 = -d*v for v.
-2
Let a(l) be the first derivative of -l3⁄3 + 15*l2⁄2 + 7. Let j be a(15). Solve j*m - 10 = 2*m for m.
-5
Let o(t) = t + 15. Suppose m + m = -28. Let i be o(m). Solve -7 - i = -2*f for f.
4
Suppose 3*z = -9, -4*h - z + 123 = 2*z. Let j = h - 30. Solve -q = j*q for q.
0
Let o(u) = u**2 - 2*u + 3. Suppose 7 = 3*m + 1. Let d be o(m). Suppose -3*g - g + 20 = 0, -5*g - 8 = -d*t. Solve -1 = -4*s + t for s.
3