Suppose 0 = 8*f - 15 - 9. Solve 0 = -f*q - 2*q + 25 for q.
5
Let c be (0/1)/(-1 + -1). Suppose 2*x - 3*x = c. Solve 0 = 2*d - x*d + 8 for d.
-4
Let w(z) = -z**2 + 17*z + 4. Let s(j) = j + 1. Let m(k) = 5*s(k) - w(k). Let g be m(12). Solve 5*u + g + 9 = 0 for u.
-2
Let q(w) = w - 3. Let g be q(-6). Let m be (-16)/g - (-12)/54. Suppose -4*n = m*s + 2, -3 = 5*s - n - 20. Solve 6*t - s = 3*t for t.
1
Let l be 1 + 1 + 5 + -1. Let k(q) be the second derivative of q5⁄20 - 5*q4⁄12 - 7*q3⁄6 + 3*q2 - 2*q. Let i be k(l). Solve 2*s + i*s = -10 for s.
-5
Let b be (1*-1)/(2/(-8)). Solve 11 + 1 = b*v for v.
3
Suppose 24 = 6*l + 6. Solve -l*z = -0 - 9 for z.
3
Suppose -8*h + 28 = -44. Solve h - 4 = -t for t.
-5
Let x be 0 - 2 - 8*4. Let i = -24 - x. Let j be 15⁄4 + (-1)/(-4). Solve -2*u - j = -i for u.
3
Let z(v) = -v**2 - 5*v - 6. Let u be z(-3). Solve 0 = -3*h - u*h - 3 for h.
-1