Suppose -252*w + 257*w = 20. Solve w = -4*v - 0*v for v.
-1
Let t(s) = 2*s**2 + 5*s - 4. Let q be t(-4). Solve w = 3*w - q for w.
4
Suppose -i + 4*i - 9 = 0. Let h® = -4*r**2 + r. Let c be h(1). Let s be (-17)/c - (-2)/(-3). Solve -i = -s*t + 2*t for t.
1
Let s = 5 + -9. Let f = s + 6. Solve f*r - 20 = 6*r for r.
-5
Let o(s) = 15*s3. Let u be o(1). Let b(q) = -5*q3 - 2*q**2 + 1. Let n be b(-1). Let p = -2 + n. Solve g + u = -p*g for g.
-5
Suppose -15 = -2*y - y. Suppose 0 = -0*l + y*l - 10. Solve p = l*p - 3 for p.
3
Suppose -2*y + 16 = 2*w + 2*y, -2*w + 2*y = 14. Let g = 0 - w. Solve -2*h - 4 = g*h for h.
-1
Let b be 2/(-14) + 10⁄70. Suppose -2*q = -q - 3. Solve -s + q - 1 = b for s.
2
Let v(i) = -i**2 + 5*i - 1. Let w be v(4). Solve 0 = w*t - 6 - 9 for t.
5
Suppose -3*h = l + 13, 2*l = h + 10 - 1. Let m be (-20)/5*l/(-4). Suppose 0 = -m*x + 3*x - 3. Solve -o - x*o - 4 = 0 for o.
-1