Let c = 2 + 2. Let y(i) = 5*i. Let x(g) = 81*g. Let l(o) = 4*x(o) - 63*y(o). Let t be l(2). Solve -t = -c*f + 2 for f.
5
Let t = -1 + 1. Suppose t*l = 4*l. Solve -2*q = -l*q + 2 for q.
-1
Suppose m + 13 = 2*v, -m + 0*m = 5. Solve 4*y + 0 + v = 0 for y.
-1
Suppose -147*y = -146*y. Solve y*s - 20 = -5*s for s.
4
Suppose -4*c = -m - 13, -2*c - 2*m - 8 = -c. Solve -c*w = -6*w - 4 for w.
-1
Let h® = -r3 + 8*r2 - 7*r + 8. Let n be h(7). Let v = n + -8. Solve v + 4 = -4*y for y.
-1
Suppose 0*u - u = -12. Suppose 0 = -3*t + t + 12. Suppose -2*z = 4*o - 24 - u, -2*z = -2*o - t. Solve -z*i - 12 = -4*i for i.
-3
Let m be (-18)/(-3) - (-1 - -2). Let u® = 1 - 2*r + r**2 - 2*r - 2. Let a be u(m). Solve -9 = a*t - 29 for t.
5
Suppose 2*i = 6 - 0. Solve i*c - 6 = -0*c for c.
2
Let b(i) = -5*i - 18. Let h be b(-4). Solve 0 = h*z - z for z.
0