Let k® = 4 + 0*r2 - r2 + 2*r**2 + 3*r + 2*r. Let s be k(-5). Solve 0*i + 20 = s*i for i.
5
Suppose 4*o - 20 = 4*m, 4*o - 4 = -0*o - 4*m. Solve -o*a = 2*a + 15 for a.
-3
Let w = -28 + 31. Solve -w*m = -3 - 6 for m.
3
Suppose -3*z = -6*z + 12. Solve -z*m + 5 = 1 for m.
1
Suppose 5*y = 20 + 5. Solve -l - y = -2*l for l.
5
Let r(x) = x - 3. Let f be r(3). Suppose 2*p + 2*p = f. Solve p*v = 3*v for v.
0
Let f = 7 - 3. Let n be (-4 + 0)*(-1)/f. Solve -5 + n = -m for m.
4
Suppose 4*m + 2 = x, 6*x + 5*m - 2 = 5*x. Suppose -3*r + 0*r = 0. Suppose 0 = -0*q + 4*q. Solve q*s + s + x = r for s.
-2
Let x be 14*1 - 0/(-4). Suppose 0 = -4*d + x - 2. Suppose d*n = 4*n + 4*u - 41, -3*u + 36 = n. Solve 3*k + 6 - n = 0 for k.
5
Let h = 5 - 3. Suppose n + 5 = h*n. Let a be (-102)/(-27) + (-4)/(-18). Solve -a*f + 21 = n for f.
4