Suppose 0 = z + 4 - 7. Solve -5*q + z = -2 for q.
1
Let h(f) = 5*f**2 + f + 1. Let g be h(2). Let c = -14 + g. Suppose 2*s - c = s. Solve -s - 11 = -5*r for r.
4
Suppose -30 = -10*m + 5*m. Suppose -u - 4*u + 15 = 0. Solve g + m = u*g for g.
3
Let a(g) = g**2 - 10*g + 11. Let c be a(9). Let d be (c + (-9)/6)*4. Solve 0*j - 2*j = d for j.
-1
Suppose -p + 2*z + 7 = -2*z, 4*p + 2*z - 10 = 0. Solve -5 = p*v + 4 for v.
-3
Suppose -2*y + 0*y + 8 = 2*a, 2*y - a + 7 = 0. Let k = 1 - y. Suppose 4*g = k*t + g - 22, -2*g - 36 = -4*t. Solve 3*c = t*c + 20 for c.
-4
Let j(w) = w**2 + 4. Suppose -6*o + 2*o = 0. Let b be j(o). Solve -3*h - b = -h for h.
-2
Let t be (6 + -3)*(2 - -1). Let v be (2/t)/((-4)/(-36)). Solve v*z + 7 = -3 for z.
-5
Suppose -4*c = 27 + 37. Let p = c + 11. Let g(b) = -2*b - 6. Let n be g(p). Solve -4 = n*k - 16 for k.
3
Suppose -20*z + 22*z = 18. Solve z = r - 4*r for r.
-3