Let k(f) = -f**2 - 18*f - 40. Let v be k(-15). Solve 0 = v*s + 10 - 0 for s.
-2
Let u = 16 - 16. Let n = 8 - u. Suppose 0 = 4*s - 12, -a - 4*a - s = -28. Solve a*o - n = 7 for o.
3
Suppose 2*x - 3 - 3 = 0. Let w be 2 - -4 - x - -3. Solve -4*t = -w + 14 for t.
-2
Suppose -112 = -2*k + 50. Let i be k/15 + 8/(-20). Solve -16 = i*x + 9 for x.
-5
Let n = 6 + 0. Let s = n + 1. Let a(d) = d3 + 5*d2 - 7*d - 2. Let k be a(-6). Solve -5 = -k*f + s for f.
3
Suppose 4*c - 45 = 3. Let u(v) = -3*v - 1. Let r be u(-2). Suppose 1 - 26 = -r*b. Solve b*i + c = 2*i for i.
-4
Let a(u) = -u3 + 9*u2 + 11*u - 1. Let j be a(10). Suppose 7*f = 10*f - j. Solve -f*s - 3 = -4*s for s.
3
Let g(t) = -t - 2. Let s be g(-5). Let x be 3 - s/9*-3. Let n = 22 - 12. Solve -10 = -x*i + n for i.
5
Suppose -7*b + 2*b = 3*t - 1, 2*b - t - 7 = 0. Solve w = -b*w - 3 for w.
-1
Let l(t) = 11*t + t - 4*t + t**2 + 2. Let a be l(-8). Solve a*y - 7 - 1 = 0 for y.
4