Let d(x) = -x + 9. Let u be d(9). Solve 2*c + 2*c = u for c.
0
Suppose 0 = 3*p + 5*b - 10 - 3, 0 = 5*p + 3*b - 43. Solve 5 = -4*x - p for x.
-4
Suppose 0 = p + 4*h - 19, -p - 3*h - 9 = -6*h. Solve 2*x - p = -x for x.
1
Let j(n) = n2 + n + 1. Let b(i) = i3 + 8*i**2 - 3*i + 9. Let t(o) = b(o) - 3*j(o). Let z be t(-6). Solve 3*r = z*r for r.
0
Let t(v) = -v - 1. Let k be t(-4). Suppose -k*j = j. Suppose q + 5*r = -25, -3*r - 20 = 5*q + r. Solve -w + j*w - 5 = q for w.
-5
Let g be (-2 - -19) + 0/1. Let a = g - 9. Solve -3*y = -y + a for y.
-4
Suppose 0 = 2*a - 6*a - 2*k + 12, 4 = 2*k. Suppose 0*s - a*s = -32. Suppose -5*r + s = -r. Solve -r = 2*z - 0 for z.
-2
Let p be -2 + (-3 - 25/(-5)). Solve 0 = j - p*j for j.
0
Let q be (15⁄3 - -1) + -2. Solve 4 + q = -4*u for u.
-2
Let v be ((-12)/8 + 1)*-4. Solve -v*l = -6*l for l.
0