Let t be (-18)/9*(-6)/4. Suppose t*b - 6 = -0. Solve r + b = 3 for r.
1
Let a be 1 + (-2 - 0) + 3. Suppose -2*h = 3*c - a*c - 3, -h = 2*c. Let d be (-18)/(-2) + c*1. Solve -3*q + 25 = -d*q for q.
-5
Let a(t) = t**2 + 6*t + 2. Let o be a(-7). Let v be o - ((1 - -5) + -3). Suppose -y - 7 = -5*c + 3*c, -4*c + 11 = -3*y. Solve 0 = y*z - v*z + 15 for z.
5
Let k(x) = -x**2 - 3*x + 2. Let g be k(-2). Suppose -g*n + 4*f = -16, f + f = -n + 7. Solve 0 = 4*a - 15 - n for a.
5
Let x(b) = b**2 - 11*b + 13. Let y be x(10). Let c be (3 - 2)*y*3. Solve c - 29 = 4*i for i.
-5
Let h(t) = -t + 4. Let x be h(0). Solve -x*n + 5*n = -2 for n.
-2
Let d(i) = -3*i**2 + 35*i + 17. Let t be d(12). Solve -13 = -t*s - 3 for s.
2
Suppose -4*l + l = 4*o + 4, 5*l - 32 = 3o. Let a be (l + 0)(-15)/(-12). Let j(b) = b3 + 3*b2 + b + 3. Let u be j(-3). Solve u*v = -v + a for v.
5
Let v(s) be the third derivative of s5⁄60 + s4⁄8 - 7*s3⁄6 - s2. Let q be v(-5). Solve n = q*n for n.
0
Let b(f) = f3 - 4*f2 + 2*f - 2. Let y be b(4). Let v be 21/(-35) - y/(-10). Suppose 3*a = -5*m + a + 8, v = 3*m + 4*a - 16. Solve -p = 1 - m for p.
-1