Let l(x) = -x + 7. Let g be l(-9). Let f = -14 + g. Solve 3*z - f*z - 3 = 0 for z.
3
Let o = -35 + 37. Let q = -1 - -4. Solve -m + o = -q for m.
5
Let v = 5 + -2. Suppose 0 = -3*d + 6. Suppose m = -d*m. Solve -v*y + m = -3 for y.
1
Let v be ((-2)/6*0)/1. Let p = 11 + -5. Solve 2*k - p*k - 16 = v for k.
-4
Suppose 5*b - 7 = 23. Suppose b*t = 4*t + 4. Suppose 9 = q - t*x, -2*q + 4*x + 16 = 2*x. Solve 0 = 5*i + 3 + q for i.
-2
Suppose 0 = -3*u - 56 + 68. Solve -3 = u*j - j for j.
-1
Suppose 2*c + 2*c = 0. Let r be 1/(1⁄2) - c. Suppose -b - r + 14 = -2*d, 3*b - 48 = 3*d. Solve -4*l + b = 4 for l.
4
Let v(t) = 1. Let o(z) = 3*z + 2. Let m(l) = o(l) - 3*v(l). Let u be m(1). Let d(i) = -2*i - 2. Let q be d(-4). Solve -u*x = -q*x for x.
0
Let g = -12 - -16. Solve -w - g*w - 10 = 0 for w.
-2
Let g = -27 - -39. Solve 0*w + g = 3*w for w.
4