Suppose -v - 4 = -3*v. Solve 2*g + v - 4 = 0 for g.
1
Suppose z = 2*z. Let p = z - 0. Suppose 2*q + q - 12 = p. Solve q = -2*m - 2 for m.
-3
Let r be (-3 - 2)/(2*1/(-2)). Solve -11 = 2*s - r for s.
-3
Let c(a) = -a**2 + 5*a. Let x be c(5). Suppose x = -4*v - v. Suppose 4*o - 3*o = v. Solve -2*j - 4 = -o*j for j.
-2
Let b be (1 - (-3 + 3))*0. Solve b*y + 5 = 5*y for y.
1
Let o = -10 + 45. Let z(f) = -2*f + 3. Let l be z(-6). Solve l = 4*r + o for r.
-5
Suppose n - 13 = -11. Let r be 0 - (-3 + (n - -1)). Solve j + r - 1 = 0 for j.
1
Let q be (-2 + 4)/(-2) - 1. Let c = 7 + q. Solve 2*s + c = 3 for s.
-1
Let r(a) = -11*a3 + 2*a2 - a. Let x be r(1). Let o be (x - -12) + 4/(-2). Suppose 0 = -v - 4*v - 10, z + v = 1. Solve -z*f + f + 2 = o for f.
1
Suppose -5*m + 25 = -k + 5*k, 0 = -k + m - 5. Suppose -2*z + k*z + 4 = 0. Solve t + 1 = z for t.
1