Let s = 2 - -2. Let z(n) = n**2 - 20*n - 42. Let m be z(22). Solve -2 - m = -s*c for c.
1
Let i = 1 - -1. Suppose 3*d + i*d = 0. Let l be ((-2)/6*d)/2. Solve -3*m + 6*m - 9 = l for m.
3
Suppose -2*l - 6 = -5*l. Solve -l*t = t - 6 for t.
2
Let n = 15 - -4. Let p(h) = h**2 - 5 - 4*h + 2 - 4. Let w be p(6). Solve -1 = -w*v + n for v.
4
Let k = 44 - 42. Let s = 0 + 1. Suppose k + s = x. Solve 0 = -x*o + 1 + 8 for o.
3
Let d(y) = -y**2 + y - 1. Let w be d(1). Let s = 1 - w. Solve 3*z + 15 = -s*z for z.
-3
Let c be (4 + -5)*(-2 + 0). Solve -c = -i - 0 for i.
2
Suppose -4*j - 4*p + 32 = 0, p = 5*j + 2*p - 56. Suppose -3*f - k = -11, f + 3*k - k = j. Solve 6*i - f = 4*i for i.
1
Suppose 0*h - 11 = -2*h + 5*s, -3*h + s + 10 = 0. Suppose -42 = -h*k - 0. Let g be 7⁄2 - 7/k. Solve -2*j + g = 1 for j.
1
Let p = -12 - -14. Solve -2*g + 12 = p for g.
5