Let i be 0 + (0 - (-7 - 0)). Let z(d) = d - 3. Let g be z(i). Solve -a = g*a + 25 for a.
-5
Let x(z) = -21*z**2 - 1. Let o = -2 + 1. Let q be x(o). Let y = q + 42. Solve 4*w + 0*w = y for w.
5
Let v be 1⁄4 - (-3)/(-12). Suppose v = 2*d - 0*d - 10. Suppose k - 4*z - d = 4, -z = 5*k - 3. Solve -c + 6 = k for c.
5
Suppose -2*o + 7 = -u + 17, -2*o = 8. Solve 0 = -k + 2*k + u for k.
-2
Let x(l) = -l3 + 4*l2 - 2. Let v be x(3). Suppose -5*q = -3 - v. Solve q*k = -10 - 0 for k.
-5
Let t = 80 - 78. Solve -q - q = -t for q.
1
Suppose -10 = -4*s - 2. Let g be 0/(3/(-1 + s)). Suppose 2*k - 5*v = 45, 3*v = -k - g*k + 6. Solve 0*f + k = -5*f for f.
-3
Let q = -8 - -12. Let r(m) = -7*m + 1 - 6 + 4. Let a be r(-1). Solve 7*x = q*x - a for x.
-2
Let m be (-2)/(-4)*0/3. Suppose m*z + 3*z = 12. Solve -z*u - 20 = u for u.
-4
Let m(s) = s + 6. Let h be m(14). Solve 4*v - h = -v for v.
4