Let j be (-3)/3 + 0 + 3. Let b(s) = s**2 + 1. Let t be b(j). Solve -t*a + 7 = -13 for a.
4
Let m(f) = f**3 - 4*f + 4. Let q be m(2). Suppose 0*k = -k + q. Solve -o + 5*o = k for o.
1
Let j = -10 + 10. Let d be (6⁄15)/((-4)/(-20)). Solve -8 = d*x - j*x for x.
-4
Suppose -80 = 5*v + 5*y, -3*v - 2*y - 32 = -3*y. Let d = v + 6. Let z = d + 7. Solve -5*l - 6 + z = 0 for l.
-1
Let z(j) = -2*j**2 - 2*j + 2. Let r be z(-3). Let w = r + 13. Solve -k + 4*k + w = 0 for k.
-1
Let y be 3⁄2*8/(-6). Let g = 7 + y. Solve -g*f + 1 = 11 for f.
-2
Let m(x) = x3 + 5*x2 + 3*x - 4. Let f be m(-4). Solve f = -4*n - 12 - 4 for n.
-4
Let j = -1 + 1. Suppose 4*n + j*n + 16 = 0. Let u be 9*n/(-6) - -2. Solve u = -c - c for c.
-4
Suppose -8 = -f + 12. Suppose 0*y = -5*y - f. Let k(o) = o**2 + 5*o + 4. Let s be k(y). Solve 2 + s = -d for d.
-2
Let l(w) = -3 + 45*w + 3*w2 - 47*w - w2 - w**2. Let a be l(3). Solve -2*v + 0*v + 6 = a for v.
3