Let k = 27 + -12. Solve -5*a + k = 40 for a.
-5
Suppose 0 = -3*s + 14 + 1. Solve 8 = -s*y - 7 for y.
-3
Suppose 18 = -0*r + 3*r. Let p be r/8 - (-3)/(-4). Solve 5*f = -p*f + 5 for f.
1
Suppose 0 = 5*o + 18 - 28. Solve -5 - 1 = o*r for r.
-3
Let v = 116 - 111. Solve -4*z = -v*z + 4 for z.
4
Let r = -7 + 5. Let j = r + 1. Let a = j + 4. Solve t - 12 = -a*t for t.
3
Suppose -5*q - 2*h = 5, q + 2*h + 1 + 0 = 0. Let u be 0*q/(-3 + 1). Solve u*r - 10 = 2*r for r.
-5
Let j(b) = 8*b**2 + 4*b - 2. Let z be j(1). Let v be 7⁄4 + 2⁄8. Suppose -3*h + v*x = 3*x - 3, -2*x - 10 = -2*h. Solve -2*o = -z + h for o.
4
Let h(g) = g3 + 6*g2 + 6*g + 6. Let q(k) = -k**2 - 5*k + 1. Let t be q(-6). Let s be h(t). Solve 2*j + 5 + s = 0 for j.
-3
Suppose a + 4 = 6. Solve -3*r - 7 = a for r.
-3