Let g be 7 - 5*(-16)/(-20). Solve 7 = -2*k - g for k.
-5
Suppose -2*t + 1 = 5*s - 3, -3*t = -6. Suppose -y - 3 + 0 = s, 3*g - 5*y = 15. Solve r - 2 = -g*r for r.
2
Suppose -3*r + 0*u - 4*u - 11 = 0, -2*u - 10 = 0. Solve k + r = -2 for k.
-5
Let q be 3/(-6) - 26/(-4). Suppose 3 + q = 3*p. Let d = -1 + p. Solve 0 = -r + 3*r + d for r.
-1
Let u(d) = 2*d - 1. Let l be u(2). Suppose 4*r - 8*r = o - 20, 3*o = l*r. Solve -7 - 5 = -o*a for a.
3
Suppose 0 = -2*h + 3 + 7. Solve -2*k + 3 = -h*k for k.
-1
Let j = -4 + 4. Solve j = 2*m - 0*m + 8 for m.
-4
Let x(a) = a**2 - 5*a + 5. Let p be x(5). Suppose q - p*q = 8. Let b be -4*1/q - -2. Solve -3 = -b*s - 7 for s.
-1
Suppose -4*l + 5*n = 0, 0 = 2*l - 0*l - 3*n. Solve l + 15 = 3*z for z.
5
Let q be 9/(18⁄4) + 0. Solve q*g = -2*g - 16 for g.
-4