Suppose -33 = v - 4*v. Let p = v - 5. Solve -2*z = -0*z + p for z.
-3
Suppose 0 = 5*p - 20 - 0. Suppose -7 = -5*g + 3. Suppose 2*r - 12 = -p*j, -8 + g = r - 4*j. Solve 4 = -0*n + r*n for n.
2
Let k be 5 + -2 - (0 - 4). Let z(s) = -s + 10. Let l be z(k). Solve -l*u = u for u.
0
Let z = 7 + -5. Let v(d) = -d + 2. Let g be v(2). Solve z*a = -g*a - 2 for a.
-1
Let i = -5 - -7. Let f(h) = 4*h2 + h. Let c(u) = -17*u2 - 4*u. Let o(k) = 2*c(k) + 9*f(k). Let q be o(-2). Solve -4*v + i = q for v.
-1
Suppose 13 = -3*q - n, -3*q + 3*n = -2*q + 1. Let u = 6 + q. Suppose -u*k - 2*k - 3*d = -28, 4*d = -k + 20. Solve -b + k = 6 for b.
-2
Let i = -40 - -41. Solve 5 = -3*j - i for j.
-2
Let o(w) = -3*w + 29. Let p be o(9). Solve p = -2*j - 6 for j.
-4
Suppose 3*b - 34 = s, -2*s + 67 = 4*b + s. Solve 4*q + 1 = b for q.
3
Let p be 27⁄5 - (-2)/(-5). Suppose 15 + p = 2*x. Let l(u) = u3 - 10*u2 + u - 10. Let i be l(x). Solve -v + 6*v - 10 = i for v.
2