Let o(w) = 2*w + 4. Let x be o(-8). Let u = -3 - x. Suppose -5*f = -16 - u. Solve 4*c - 11 - f = 0 for c.
4
Suppose -c + 12 - 3 = 0. Suppose -22 = -s + 4*m, 3*m = -2*s - s - c. Solve 1 = -3*r - s for r.
-1
Let n(p) = 3*p - 11. Let b be n(7). Let r be 0/2*6⁄12. Solve r = -y - y + b for y.
5
Suppose 0 = 3*v + v - 4*q + 4, -3*q = 5*v - 11. Let u be ((0/1)/2)/(-2). Suppose -j = -v - u. Solve 5*b - 4*b = j for b.
1
Suppose 6 = v - 0. Let t be 2/(-5) - (-24)/10. Suppose 0 = -2*h - 4*m + 12, -h + v*h - 4*m - t = 0. Solve 7*r = h*r + 15 for r.
3
Suppose 0 = 5*s - 2 + 42. Let b = 33 + s. Solve -5*d - b = -0*d for d.
-5
Suppose -z + 0 - 4 = d, 0 = 3*d + 12. Solve v + v - 10 = z for v.
5
Let o(q) = q3 - 3*q2 + 3*q + 2. Let t be o(2). Solve -7*r = -t*r for r.
0
Let l be 1 + 1/((-4 - 0) + 3). Suppose 0 = -n + 4. Suppose -4*m + n*i = -28, 4*i = -3*m + i - 3. Solve m*s - 6 = -l for s.
2
Let b = 20 + -20. Solve b = -g - 3 + 5 for g.
2