Let s(q) = 2*q - 6. Let r be s(13). Suppose 0 = x - r - 7. Let a = x + -11. Solve 3*m + a = 7*m for m.
4
Let s = -10 + 10. Solve s = 2*k - 3 + 11 for k.
-4
Let c® = 5*r**2 - r - 1. Let x be c(-1). Suppose 3*a + x*z - 14 = z, -5*z = -5*a. Suppose -a*u = -5*d, 0*u = -u + 4*d. Solve -2*q + 0*q - 6 = u for q.
-3
Let f(u) = -u + 6. Suppose -2*y + 1 = -5*o, 2*o - 8 = -2*y - 0. Let z be f(y). Suppose 0 = z*g - 0 - 12. Solve v = -g*v + 15 for v.
3
Suppose -14 = -5*s + 1. Suppose -2*a + 16 = -6. Solve 0 = s*o + 4 + a for o.
-5
Let l© = c**2 - 7*c - 6. Let g be (-230)/(-8) + 3⁄12. Suppose 2*s = -2*p + 6, s - p - g = -2*s. Let y be l(s). Solve h = y*h + 1 for h.
-1
Let c(b) = 2*b**2 - 7*b - 4. Let u be c(4). Solve 5*j - 8*j = u for j.
0
Suppose -4*z - 4 - 1 = -5*q, -5 = 5*z - 5*q. Solve z = a - 2 for a.
2
Suppose 0 = 423*q - 411*q. Let o = 6 + -4. Solve q*r = o*r for r.
0
Let t(d) = d**2 - 2*d - 3. Let g be t(4). Suppose -g*f = a - 0*f - 12, -f + 10 = 4*a. Suppose -2*z + 12 = a*z + 5*q, q = -2*z + 6. Solve 0*m = -z*m for m.
0