Let d(q) = -q**2 + 19*q - 15. Let m be d(18). Solve 0 = -m*s - 6 - 0 for s.
-2
Let n(o) = o**2 + 6*o + 7. Suppose -5*x - 24 = -m - 11, 0 = 4*m + 2*x + 36. Let t be n(m). Let c be 122/t - 2/(-7). Solve -5*h = -c - 6 for h.
3
Let x be 3⁄12 + (-45)/(-12). Solve x*n - 15 + 3 = 0 for n.
3
Let b = 14 - 12. Solve -h = -b*h for h.
0
Suppose 7*t - 32 - 10 = 0. Solve -5*m + t = -2*m for m.
2
Let g(y) = -y**2 - 4*y + 13. Let v be g(-6). Solve 0 = -s + 4 + v for s.
5
Suppose -25 = -10*v + 5*v. Suppose -4*j = j, 3*n + v*j = 33. Suppose -4*h + 1 + n = 0. Solve -w + h = 2*w for w.
1
Let l be (-4 - 2)/3 + 14. Let y be (l/8)/(6⁄32). Suppose y = -r + 5*r. Solve 3*p + r*p = 5 for p.
1
Suppose -137*x = -134*x - 6. Solve -3*l - x = 4 for l.
-2
Let n be (-8)/(4⁄4 + -3). Suppose n*i - 52 = -5*h, -h = -5*i - 6*h + 70. Let w be ((-2)/4)/((-2)/28). Solve w = 5*g - i for g.
5