Let u be 1⁄2*(-5 - -15). Let a(k) = k**2 - 3*k - 2. Let x be a(u). Suppose -x*v + 4*v + 6 = -2*z, -4*z - 12 = 0. Solve v = 2*f + 5 + 1 for f.
-3
Let l be 3⁄1 - (1 - 3). Suppose l*z = z + 8. Suppose -3*o - s = -57, -3*o - z*s + 42 = -o. Solve 2 = -4*c - o for c.
-5
Let b(s) = -s - 4 + 2 - 3*s + s. Let d be (1*4)/(-2) - 1. Let k be b(d). Solve 25 = k*o - 2*o for o.
5
Suppose -3*u = -u. Suppose -12 = -y + 4*y, u = -5*d - 4*y + 14. Solve 9 = -3*a - d for a.
-5
Let j(g) = -g3 + 6*g2 + 9*g + 4. Let d be j(7). Suppose 4*w + d = 3*f, -4*f - f - 2 = 4*w. Solve 0 = -l - f + 4 for l.
2
Let b(m) = 2*m - 4. Let n be b(4). Let c(w) = w**2 - 4*w + 2. Let k be c(n). Solve k = 4*u - 3*u for u.
2
Let b be (-3)/2 - 258/(-12). Solve -4*f - f = -b for f.
4
Suppose 2*q - 5 + 7 = 0. Let u be q/((2⁄20)/1). Let o be 8⁄20 + (-16)/u. Solve -3*c = o*c for c.
0
Suppose -5*b + 42 = -23. Let w = 17 - b. Solve r = w*r for r.
0
Let u(g) = g**2 - 2*g - 1. Let j be u(3). Solve -1 = -j*o - 5 for o.
-2