Let m be (6 + -1)*(-7 - -6). Let t = -1 - m. Solve t*x - 7 = 1 for x.
2
Let d(b) = -b + 3. Let q be d(0). Solve q = 5*a - 2*a for a.
1
Suppose 5*x - 4*x = 5*q - 7, x = 3*q - 5. Let y be ((-2)/(-1) - 2)/q. Solve -o + 2*o + 3 = y for o.
-3
Suppose 2*l - 4*l - c = 13, -4*l - 28 = 4*c. Let f = l + 10. Solve 7 = f*n + 23 for n.
-4
Let v be 56⁄30 - 6/(-45). Solve 5*r + v = -8 for r.
-2
Let i(n) = -n**2 + 4*n + 1. Let r be i(3). Suppose 5*v - 4*v - r = 0. Solve -v*d = -d for d.
0
Suppose 0 = 5*h - o - 33, -3*h - 2*o = -h - 6. Suppose -3*t + 3 = -9. Suppose 6 = -3*y + 5*p, 5*y - t*p = p. Solve -y*g = -h*g for g.
0
Let k = 9 + -8. Let l be k-5(-21)/35. Suppose l*i + 15 = -4*r, 2 - 7 = i. Solve 4 = -4*w - r for w.
-1
Let h(p) = p + 12. Let l be h(-9). Solve -f - 2 = -l for f.
1
Let c® = -r3 - 2*r2 + 2*r + 3. Let z be c(-3). Solve -o + 20 = -z*o for o.
-4