Let l = 7 - 3. Suppose -3*j + 4*j = 4. Suppose 3*t + 5 = j*t. Solve l*c = t - 1 for c.
1
Let h be (1 - 3) + 14*1. Suppose a = -2*f + 7*f - 10, f - 18 = -3*a. Suppose -y = 3*q + f*y, 3*y = -5*q. Solve q*k - h = -4*k for k.
3
Suppose 0 = w + 4 + 1. Let o = w + 5. Solve 0 = -o*x + x for x.
0
Suppose 0*z - 32 = -4*z. Let s = -4 + z. Let m = -4 + s. Solve -j + m = -3 for j.
3
Suppose -5*v + 572 = -m, -242 = 3*v - 5*v - 4*m. Suppose 4*r + 20 = -0, -5*r = -5*k + v. Solve 4*o - 2 = -k for o.
-4
Let y(u) = 21*u - 1. Let l be y(1). Suppose z + 3*z - l = 0. Solve -1 - z = -2*a for a.
3
Let o(y) = -y - 2. Let f be o(-10). Let k = 10 - f. Solve k*v - 2 - 4 = 0 for v.
3
Suppose 3*o - 4*h - 17 = 1, 5*h = 0. Let n(f) be the second derivative of f5⁄20 - f4⁄2 + f**2 - 3*f. Let t be n(o). Solve 0 = t*j + 8 - 4 for j.
-2
Let m be (-5 + 2)*(-40)/6. Let t = m + -10. Suppose 0 = 2*g - g - t. Solve -2*p + 2 - g = 0 for p.
-4
Let f(u) = 3*u**2 - 3*u + 2. Let v be f(2). Let k = 12 - v. Solve 3 - 11 = k*j for j.
-2