Let y(x) = -9*x - 42. Let p be y(-5). Solve g + 0 = p for g.
3
Let g be 4⁄18 - 10*(-3)/(-135). Let t = 6 + -2. Suppose -3*r + 4*r - 2 = 0. Solve g*i - r*i + t = 0 for i.
2
Suppose 0 = t - 9 + 7. Suppose -2*y + 26 = -2. Suppose t = -4*i + y. Solve 2*u - i = -1 for u.
1
Let h be ((-2)/1)/(2/(-4)). Suppose -h*o + 2*z + 12 = -6, 25 = 5*o - 3*z. Suppose 2*y - r - 27 = 0, 2 = -o*y + 5*r + 49. Solve 4*s + 5 = -y for s.
-4
Suppose c + c - 10 = 0. Let t(o) = -6*o - 1. Let b be t(-1). Let k = b + -5. Solve k*p + p = c for p.
5
Let r be (-12)/9*(1 + 2). Suppose 4*l + 36 = -2*v, -13 + 35 = -3*l - 4*v. Let x = r - l. Solve 4*g + 6 = -x for g.
-3
Let i be (-6)/(-1) - 69⁄23. Solve i*n = 5 + 10 for n.
5
Let i be -3 + 2 + (-1 - -2). Suppose 5*q = 3*t - 173, i = -t - 2 + 3. Let a = -24 - q. Solve 2*n - 2 = -a for n.
-4
Let x = -8 + 7. Let j be 9⁄3*(x - -5). Let p = -9 + j. Solve 0 = -p*c + 7*c for c.
0
Let v be 5⁄3*(3 + 0). Suppose 0 = -0*r - v*r + 25. Suppose -9 = 2*h - r*h - 3*d, -2*h - 5*d = -15. Solve -2 + h = -p for p.
2