Let v(n) = n**2 + 10*n + 3. Let z be v(-10). Solve z = 2*h - 1 for h.
2
Let j(l) = l + 1. Let k be j(2). Suppose -i = -k*n - 6*i + 48, 4*n - 64 = -5*i. Solve 1 = -5*s + n for s.
3
Let s(t) = -t. Suppose -2*x - 3*x - 20 = 0. Let g be s(x). Solve -g*o - 19 = -3 for o.
-4
Let c = -18 - 0. Let j be (-140)/c + 6⁄27. Solve 4*z - j*z = 0 for z.
0
Let u(w) = -w3 - 5*w2 + 2. Let d be u(-5). Solve q = d + 3 for q.
5
Let b be 9⁄15 - (-2)/5. Let p(w) = 6*w + 1. Let a be p(b). Suppose -h + a = -9. Solve 4*o = h - 4 for o.
3
Let k = -107 - -115. Solve 4*c - k = -4 for c.
1
Let n = 42 + -19. Let m = 33 - n. Solve -l + m = 4*l for l.
2
Suppose -5*i + 20 = 6*c - c, 0 = 4*i - 8. Suppose h - 6 = z - 3, 2*z + c*h - 14 = 0. Suppose 2*x = 3*w + 7*x - 40, -z*w = 4*x - 30. Solve -12 = w*g + 13 for g.
-5
Suppose -9*x + 4*x = d, 0 = 2*x - d. Solve x*w - 3*w + 3 = 0 for w.
1