Let k = 40 + -34. Solve -c + k = 2*c for c.
2
Let i = 0 + -1. Let m(j) = 3*j + 3. Let b(u) = -u - 1. Let x(v) = 5*b(v) + 2*m(v). Let s be x(i). Solve s = -4*c + 6 - 2 for c.
1
Let w = -91 + 101. Solve o - w = -o for o.
5
Let v be (-3 + 4)*-3 + 5. Let y = -3 - -7. Solve -2*m - v - y = 0 for m.
-3
Let t be ((-6)/(-1))/(7/(-7)). Let u be t/(1 + 0 - 3). Solve -o = -u*o for o.
0
Let v = 6 + -6. Let q be (v/(-2))/(1 + -3). Solve 0 = -q*r - 4*r + 12 for r.
3
Let j(u) = -u - 3. Let g be j(-6). Solve -8 = a - g*a for a.
4
Let r be (12/(-2))/(-1) - 0. Suppose -2*o = -r*o + 8. Suppose o*c - 7 = 2*d + d, 5*c + 4*d = 29. Solve c*i + 4 = -11 for i.
-3
Suppose -z + 7 = -0*z. Let b = z + -4. Suppose -4*j = -b*r + 1, -j - 4*j + r = -7. Solve j = 2*t - 0*t for t.
1
Suppose 21 - 93 = -4*l. Solve 0 = -5*h - l + 3 for h.
-3