Let y be ((-1 - 0) + 1)/1. Let s(d) = d3 - 10*d2 + 9d + 1. Let a be s(9). Let p be -6(2⁄3 - a). Solve -p*b = -y*b - 4 for b.
2
Let x(k) = k - 2. Let n be x(10). Suppose -n = -5*a + 3*a. Solve 0 = 3*s + a + 2 for s.
-2
Let f be (5 + -14)*(-2)/3. Suppose 0 = -b + f. Solve -2*l + 12 = -b*l for l.
-3
Suppose 11 = 2*h + b, 2*b + 16 = -3*h + 7*b. Let s(f) = -f**2 + 6*f - 1. Let o be s(5). Suppose v + 2*p = 13, o*v + 3*p - 6 = 31. Solve -2 = -h*a + v for a.
3
Let s(g) = -g3 - 4*g2 - g - 1. Let y be s(-4). Solve -p + 4 = y for p.
1
Let q = -2 + 2. Let j = q - -4. Let i = 9 - j. Solve -w - 20 = -i*w for w.
5
Let r be -3 + 4 - (0 - -5). Let y = r + 4. Suppose 5*x - 3 = 12. Solve y = -x*h + h + 10 for h.
5
Suppose 4 = -4*x - 4*u, -2*x - 2*x + 20 = -4*u. Let c be 1 + 2 - -1*x. Solve 0 = -5*r + 10 + c for r.
3
Let t(v) = 2*v**2 + 3*v + 2. Let x be t(-1). Solve -2*r = -x - 1 for r.
1
Let t = 22 + -13. Let i be (-160)/(-72) - 2/t. Solve i*c - 6*c = -8 for c.
2