Let p(n) = 7*n + 3. Let v(t) be the second derivative of t3⁄2 + t2 - 3*t. Let k(a) = -2*p(a) + 5*v(a). Let x be k(-2). Solve -2*h - x*h = -16 for h.
4
Let s(l) = 2*l - 4. Let d be s(4). Solve 5 = -d*q + 17 for q.
3
Suppose 3*n = 3*a, -5*n = 4*a - 20 - 7. Solve -10 = n*z - z for z.
-5
Let x be ((-4)/3*(-21)/4)/1. Solve -2*r + x*r + 25 = 0 for r.
-5
Let a = 31 - 29. Solve -v + a*v = -2 for v.
-2
Suppose 25 = -5*r, -4*i - r - r = 6. Suppose -2*u + i = -6*u - 5*l, -5*l = 5*u - 5. Solve -u = c - 2 for c.
-4
Let c = 50 - 49. Solve 3*n + 4 = c for n.
-1
Let r = -72 + 73. Let l be 1⁄3 - 10/(-6). Suppose l*k + r = 3*k. Solve t + k = 2 for t.
1
Let h(q) = 14 - 3*q + 4*q - 6. Let o be h(0). Solve -3*f - o - 7 = 0 for f.
-5
Let y(t) = -t**2 + 8*t + 2. Let c be y(6). Let p = c + -2. Suppose 0 = -5*b + 4*k + p - 0, -3*b + k = -10. Solve -l + b = l for l.
2