Let z = 18 + -10. Let v = -8 + z. Solve 2*j + j = v for j.
0
Let c = -4 - -7. Suppose -13 - 5 = -c*o. Let m = -25 + 40. Solve o*y = y + m for y.
3
Suppose 4*i - 5*s = -1, 2*s = 2*i - 3*s + 3. Suppose 3 = -4*g - i. Let v = 4 + g. Solve 6 = y - v*y for y.
-3
Let b be -1(6 + -3)-5. Let f(k) = k + 10. Let t be f(0). Suppose -h + t = 4*h. Solve a + h*a = -b for a.
-5
Let c be (-5)/(-1) - (-10)/(-5). Suppose -r + 7 = c*q, q + 4*r - 14 = -4*q. Solve -q*x + 0*x + 6 = 0 for x.
3
Suppose 16 = -0*d + 2*d. Suppose d + 1 = 3r. Let x be 2 - (r - 2)-2. Solve 0 = x*i - 0*i + 8 for i.
-2
Let m = -33 - -42. Solve 5*t + 11 + m = 0 for t.
-4
Suppose -5*x - 3*o + 16 = 0, -x + 4*o - 5 = 1. Let h be (-4)/x - (-15 + 10). Solve 3 = h*v - 12 for v.
5
Let q(i) = -3*i3 + 5*i2 - i3 + 3*i3 + 0*i**3 + 2. Let v be q(5). Suppose v*j + 2 - 6 = 0. Solve -2*x + 10 = j for x.
4
Let j = -1 + 2. Let f be (-3 + 4)*(j - -1). Suppose 5*l + f - 1 = -4*r, -3*r - 2 = 4*l. Solve 0 = -5*u - r + 1 for u.
-1