Let i be 812/(-12)-2. Let c = i - 13. Solve c - 5 = 3*z for z.
3
Suppose 75 = -2*l - 3l. Let b be l(-3)/(-18)*-2. Solve -7*g + 2*g = b for g.
-1
Suppose 5 = 2*v + 1. Let j = v + 1. Suppose j*r - 5 = 2*k, -2*r + k + 2 = -2. Solve 1 = r*m + 7 for m.
-2
Let z be 10⁄45 - (-238)/(-18). Let v = 16 + z. Solve 4*p + 5 = v*p for p.
-5
Let r(s) = -5*s - 2. Let p be r(-1). Solve 2 = f + p for f.
-1
Let t be ((-1)/(-2))/(4⁄16). Solve -3*x = t*x for x.
0
Suppose -3*q + 46 = 20*q. Solve -q*x + 2 = -2 for x.
2
Let n(v) = -v**2 - 7*v - 5. Let l be n(-6). Let k = 3 + l. Solve k + 21 = 5*r for r.
5
Suppose -s + 3 = -4*o, -4*o + 0*s + 12 = 4*s. Let j = o + -8. Let r be j/(-20) - (-16)/10. Solve -12 = r*i + i for i.
-4
Let u be ((-15)/9 - -2)*-15. Let f = u - -11. Solve f*c = 3*c + 12 for c.
4