Let q = 30 + 1. Let y = q + -18. Suppose -2*r - y = -3*r. Solve r - 1 = 3*d for d.
4
Let n(f) = f**2 - 15*f + 2. Let o be n(15). Solve 4 = 2*h + o for h.
1
Let s(m) = m3 - 3*m2 + 2*m + 1. Let n be s(3). Let a = n - 4. Solve -a*t - 16 = t for t.
-4
Let c® = 19*r**2 + r + 1. Let y be (-2)/6 - 2⁄3. Let x be c(y). Let v = -11 + x. Solve 0 = 3*q - q - v for q.
4
Let m be ((-2)/3 - 6/(-9))/1. Let r be 9⁄4 + (-1)/4. Solve -r*f + 7 + 1 = m for f.
4
Let k(t) = -t3 - t2. Let u be k(-2). Solve 0*y - u = 4*y for y.
-1
Suppose -56 = -d - 36. Solve 2*i = -3*i - d for i.
-4
Suppose -2 = l - 7. Solve 6*o - l*o = 5 for o.
5
Let t(q) = q**2 - 4 - 3 + 9. Let r be t(0). Suppose -r*b - b = -6. Solve 0 = -6*j + b*j for j.
0
Suppose j - 30 = 45. Suppose -j = -4*k - k. Suppose 0 = -5*w - k, 7*p - w = 2*p + 8. Solve -b = 3 - p for b.
-2