Let u = -157 - -161. Solve 4*o - u = 3*o for o.
4
Let t© = -c**2 - 5*c + 2. Let u be t(-4). Let z = 10 - u. Suppose 0 = 3*a - 7*a. Solve 0*q + q + z = a for q.
-4
Let m(h) = -h**2 - 6*h + 3. Let q be m(-6). Suppose -2*l = -c, q*l = -4*c + 24 - 2. Suppose 0 = l*p - 4, -4*p + 8 = 5*y. Solve y = -3*i - 2*i + 5 for i.
1
Let i(z) be the second derivative of z6⁄240 - z5⁄120 + z**4⁄4 + 3*z. Let f(q) be the third derivative of i(q). Let s be f(2). Solve 0 = s*x + 5 for x.
-1
Suppose 5*j = -25, 5*x + 15 = -3*j - 2*j. Solve x*g - 3 = -5 for g.
-1
Suppose 2 = -2*b + 2*i - 0, -5*b + 25 = 5*i. Solve -2*m - b = -0*m for m.
-1
Suppose 4*f + 2*x = -1 - 5, 5*f + 4*x + 12 = 0. Suppose -20 = -f*u - 5*u. Solve -3*n + u*n - 4 = 0 for n.
4
Let x be (-8)/(-3) + (-2)/(-6). Let q be (3 + x)*1*1. Let o be (1 + 1)*21/q. Solve o*v + 16 = 3*v for v.
-4
Suppose 0 = 2*b + 5 - 23. Suppose -y - 3*y + 4 = 0, b = -4*z + y. Let v be 6*z/(-6)*3. Solve -3*o = -o + v for o.
-3
Let o = 5 - 2. Solve -o*q - 8 + 2 = 0 for q.
-2