Let r be 3 + -6*5/(-30). Solve g + 6 = r for g.
-2
Let d(s) = -s**2 - 9s + 10. Let y be -2(-2 + (-39)/(-6)). Let k be d(y). Suppose 0 = 3*u + 5*t - 34, t = -5*u + 2*t + k. Solve o - u*o = -2 for o.
1
Let t = 7 + -2. Suppose 2*h = 0, 2*z - 2*h - 3 - t = 0. Let y be 5⁄10 - (-1)/(-2). Solve y*u + u = z for u.
4
Let i(s) = s3 - 2*s2 - 3*s + 4. Let n be i(3). Suppose -3 - 1 = -n*w. Suppose y - k = 0, w = -2*y + 3*k - 1. Solve 0 = -2*o - y*o + 12 for o.
3
Let w(t) = t**2 + 4*t + 1. Let q be w(-5). Let n = -1 + q. Suppose x + 3*o - 7*o - 20 = 0, -5*o = n*x. Solve x = s + s for s.
2
Suppose -13 - 7 = -5*r. Suppose -4*i + 5 = -q, 8 + 0 = r*i. Solve q + 3 = 2*d for d.
3
Suppose -5*w = -3*f + 4, 2*w = w + 1. Solve 0 = -5*j + f + 7 for j.
2
Suppose -q = -12 - 10. Solve -q = 2*c - 12 for c.
-5
Let u be (-6)/(-5) + (-3)/15 + 2. Let f = 0 + 2. Let k be 1⁄2 + (-1)/f. Solve k*b = -u*b - 15 for b.
-5
Suppose -9*m + 18 = -9. Solve -10 = -m*y - 22 for y.
-4