Let b(v) = v**2 - 6*v - 2. Let w be b(7). Suppose w*s - 8 = 2. Suppose u - 20 = 5*o, o - 4 = -4*u + s*o. Solve -4*d + 2*d = u for d.
0
Suppose -s - 4*s = -630. Let w be (-4)/18 + 280/s. Solve w*z + z - 3 = 0 for z.
1
Let t(k) = -k**2 - 8*k + 4. Let c be t(-8). Solve u = -c*u for u.
0
Suppose -3*j = 3*k - 6, -3*k + j - 3 + 1 = 0. Suppose k = t - 2*t. Let y be (t - -1)*4⁄2. Solve -7 = y*x - 1 for x.
-3
Suppose 0*u - 15 = -u. Let s be (-6)/(-14) - u/35. Solve s = a + 1 - 2 for a.
1
Suppose c + 0*v + 2*v + 4 = 0, 5*c - 5*v = 25. Suppose 0*g = c*g. Suppose g = -4*a - 8 - 8, -2*a = 4*x - 4. Solve -5*s - 7 - x = 0 for s.
-2
Let q(u) = 12*u - 60. Let v be q(5). Solve v = -3*g - 1 - 14 for g.
-5
Let y(k) = -2*k2 - 7*k + 18*k + 3*k2 + 14. Let h be y(-10). Solve -12 = r - h*r for r.
4
Let t(b) = 2*b - 15. Let m be t(10). Solve -5*f = -0 + m for f.
-1
Let m(n) = -n**2 - 5*n + 17. Let x be m(-7). Suppose -7 = -2*q + x*d, 2*d + 0*d - 4 = -3*q. Solve 0*i + q*i + 8 = 0 for i.
-4