Suppose -4 + 0 = -2*r. Let z be r/(-1) + 0 + 2. Solve z = 2*q + 3 + 1 for q.
-2
Let c(q) = -q - 7. Let d be c(-13). Let r = d + -1. Solve 0 = -0*y + r*y + 10 for y.
-2
Suppose -w = 3*w - 52. Let v = w + -8. Suppose -v*k - o + 10 = 0, -7 = 5*k - 4*o - 17. Solve -l = -k*l for l.
0
Let h be 0*(10/(-6) - -2). Suppose -4*p + 8 = -h. Solve -p - 13 = 3*f for f.
-5
Let l be 5⁄1 + -3 + -1. Let s be (-531)/(-12) - 1⁄4. Suppose -l = -3*j + s. Solve 4*u = -u + j for u.
3
Let n be 5/(-1)*(-18)/(-15). Let u(a) = -a**2 - 5*a + 8. Let j be u(n). Let v = j - 0. Solve -2*l + 2 = -v for l.
2
Let d = 4 + -2. Suppose d*b = 5*w - 15, 2*b - 6 - 19 = -3*w. Suppose g + 7 = -3*u, -2*u - 21 = -3*g + 3*u. Solve g - w = -z for z.
3
Let i = 0 + -5. Let l(s) = s + 5. Let h be l(i). Solve -3*t + h*t = 15 for t.
-5
Let x be (12 + -13)*1⁄1. Let t = x + 1. Solve t*j = 2*j + 6 for j.
-3
Let t be (-12)/(-5) - 2⁄5. Let w be 10⁄6 - t/(-6). Solve w*o + o = 0 for o.
0