
True
Let b(d) = 12*d + 2. Is 17 a factor of b(3)?
False
Let k(u) = 3*u - 1. Let b be k(-3). Let f(d) = 2*d**3 + 3*d**2 - 2*d. Let w be f(2). Let p = w + b. Is 14 a factor of p?
True
Suppose 3*u + 7 - 22 = 0. Does 5 divide u?
True
Let u(d) = 6*d - 26. Is u(11) a multiple of 13?
False
Let t(y) = 2*y**2 + 8*y + 4. Let p be 2 + (8 - (-1 + -1)). Suppose 5*i = -p - 13. Is t(i) a multiple of 7?
True
Suppose 4*a - 1049 = -129. Is a a multiple of 10?
True
Does 20 divide (-242)/(-4) - (-9)/(-18)?
True
Let s(l) = l + 5. Let z be (-2)/8*-6*-2. Let x be s(z). Is (x - 0) + (-1 - -19) a multiple of 10?
True
Let n be ((-2)/(-3))/(8/24). Suppose -4*l - l - v + 276 = 0, 0 = 2*l + n*v - 112. Is 12 a factor of l?
False
Suppose 3*d = -4 - 2. Let k = 31 - d. Is k a multiple of 11?
True
Suppose 3*v + 22 = 4*b, -5*b - 6 + 32 = -3*v. Suppose h - b*m = 9, -3*m - 13 = h - 3*h. Suppose 104 = h*a - 11. Is 8 a factor of a?
False
Let s(u) = -3*u + 6. Does 14 divide s(-12)?
True
Suppose 14*f - 11*f - 69 = 0. Is f a multiple of 4?
False
Let l be (1 - -116)*11/33. Let v = l - 24. Does 5 divide v?
True
Let n be 12/10 - (-3)/(-15). Let k be (-1)/2*(-1 + n). Does 11 divide -1 + 0 + k + 28?
False
Let n(r) = -r**2. Let t be n(1). Let b be 1/((-4)/(-3) + t). Suppose -b*z + 4*v + 24 = 0, 0 = v + v + 6. Does 4 divide z?
True
Let u = -5 + 7. Is (u/5)/((-2)/(-50)) a multiple of 7?
False
Suppose 2*g - 6 = g. Suppose -5*t = -g*t + 2*o + 8, -5*t - o - 4 = 0. Suppose 22 = -t*p + p. Does 11 divide p?
True
Let z = -260 - -367. Suppose 13 = 3*u - z. Let r = 60 - u. Does 10 divide r?
True
Let h(j) = 3*j**3 - 2*j**2 + 3*j + 3. Let p be h(-2). Let i = p - -84. Does 17 divide i?
False
Let i be 6/2 - 0/1. Suppose 2*y + i*y - 55 = 0. Is y a multiple of 6?
False
Let o(d) = d**3 - 2*d**2 + 8*d - 8. Is 7 a factor of o(4)?
True
Suppose 28 = -4*j - 24. Suppose 16 = 4*r - 4*a, 0*r = -3*r + a + 14. Let q = r - j. Is q a multiple of 18?
True
Let k be 0/2*(-1)/(-2). Let t = -12 - -15. Suppose t*h - 2*h + 4*l - 4 = k, -2*l = h - 4. Does 4 divide h?
True
Let u(v) = -9*v + 5. Let