Suppose -4*z + o + 2 = 0, 6z = z + o + 2. Let x = 22 + -16. Let j be x/3(-1 + 2). Solve z = -j*y + 3 - 5 for y.
-1
Suppose -28 = -10*v - 4*v. Solve v = -2*c + 8 for c.
3
Let h(l) = l. Let i be h(2). Solve 0 = -i*m - 3*m - 10 for m.
-2
Let i(k) = -k + 5. Let q be i(5). Let j = q - -6. Solve s - 4*s - j = 0 for s.
-2
Suppose -d + 3 = -0*d. Let q = 1 + -1. Solve 0 = -s + d - q for s.
3
Let u = 2 + -2. Let k(x) = -x + 2. Let j be k(u). Suppose -3*a = g - 3, 2*g + 0 - 38 = j*a. Solve -3*c + g = -0*c for c.
5
Let a be 1/(-4) - 4/(-16). Solve a*k = 2*k for k.
0
Suppose -17 = -3*b - 2. Suppose -1 = -g + b. Solve -2*a = -g*a for a.
0
Let y = -10 + 25. Solve 5 - y = 5*q for q.
-2
Suppose 0 = -0*y + 4*y - 12. Let g = 7 - -3. Solve -2*b = y*b + g for b.
-2