Let v = -12 - -18. Suppose -2*u - 12 = -4*r - 5*u, 2*r - 5*u = v. Solve 15 = -3*j + r for j.
-4
Let f be 2⁄2 + -2*(1 + -6). Solve f*g = 13*g - 6 for g.
3
Let o(y) = -y3 + 10*y2 + y - 12. Let x be o(10). Let c = 1 - x. Solve -c*h = 11 + 4 for h.
-5
Suppose 11*g - 22*g = -55. Solve 0 = g*i - 1 - 4 for i.
1
Let g(y) = 3*y**2 + 1. Let o = 3 + -4. Let u be g(o). Suppose 5*r + 1 = -4, 4*c - 59 = -5*r. Solve c = u*a - 0*a for a.
4
Suppose -8 = k + 3*v + v, 14 = 2*k - 2*v. Suppose 4*i = -k + 12. Solve 0 = 2*u + 4 + i for u.
-3
Suppose -10*c + 12*c = 4. Let x be (-153)/(-21) + (-2)/7. Suppose r = -c + x. Solve 9 = -r*b + 24 for b.
3
Suppose 2*r + 5 = 3*r. Suppose 2 = -p + 4*o, 2*p + 10 = r*o - 0*o. Let y be (-42)/p - (-2)/(-10). Solve -5*w + y = -6*w for w.
-4
Let z = 139 + -83. Let a be (-86)/(-14) - 8/z. Solve 7*s = a*s - 2 for s.
-2
Let v(g) = g - 1. Let y be v(2). Solve -c + 3 = -y for c.
4