 3*f = 54. Let n = 16 + m. Suppose 1 - 133 = -n*y. Does 11 divide y?
True
Let j(t) = 3*t + 134. Does 23 divide j(13)?
False
Suppose -2138 = -2*k + 4*m + m, -5*m = -3*k + 3207. Does 4 divide k?
False
Suppose 0 = 6*j - 2*j + 12. Is (12/(-3) + 5)/(j/(-30)) a multiple of 10?
True
Suppose -912 = -4*p + p - 4*o, -p = -5*o - 323. Suppose p = 5*t - 52. Is t a multiple of 6?
True
Suppose 3*j + 1044 = 2*b - j, 0 = -4*b - 2*j + 2038. Is b a multiple of 32?
True
Let c = -241 - -367. Let j = c - 90. Is 3 a factor of j?
True
Suppose 3*z - 784 = 5*s, -3*z + 1138 = 3*s + 370. Does 15 divide z?
False
Let o be ((-5)/(75/(-6)))/(4/120). Suppose -o = u - 68. Is 22 a factor of u?
False
Is -10 - 57/(-6) - 110/(-4) even?
False
Let k be (0 + 171)/(24/(-16) - 0). Let y = k - -130. Does 16 divide y?
True
Suppose 11 - 81 = -s + 2*o, -2*s - 3*o + 126 = 0. Does 37 divide s?
False
Let h(y) = y**2 - 9*y + 10. Let t be h(8). Suppose 3*b + b - v - 84 = 0, 0 = -t*b + 2*v + 48. Does 3 divide b?
False
Let c = 655 + -449. Does 8 divide c?
False
Let x be ((-1)/(-2))/((-3)/(-48)). Suppose -v + r + 2*r = 2, -x = 4*v + 4*r. Is 5/10 - 47/v a multiple of 14?
False
Let u(w) = -w**3 - 3*w**2 - 2*w + 2. Let i(q) = -2*q**2. Let k be i(-1). Let h be u(k). Suppose 0 = -h*l - 15 + 105. Does 15 divide l?
True
Let w be 14/(-21) + (-114)/(-9). Is 2*w/8 + 12 a multiple of 3?
True
Suppose -75 = -0*s + 5*s. Let t be -5 - (-6 + s/(-5)). Let a(j) = 2*j**2 - j - 6. Does 4 divide a(t)?
True
Let k be -2*3/6 - -3. Let l(j) = 13*j**k - 2*j**2 + 4*j**3 - 2*j - 11*j**2. Does 8 divide l(2)?
False
Let b(o) be the first derivative of -2*o - 19/2*o**2 + 8. Is 12 a factor of b(-2)?
True
Let q(p) = p**2 - 2*p - 60. Does 6 divide q(-21)?
False
Let h(v) be the third derivative of -7*v**4/8 - 9*v**3/2 - 26*v**2. Is h(-8) a multiple of 47?
True
Is 2 a factor of (-16)/(-6)*(-7056)/(-192)?
True
Let f = 1394 + -394. Let u be (-2)/(-7) + f/28. Suppose 2*t + 2*t - u = 0. Is 5 a factor of t?
False
Suppose -159 = -20*k + 17*k + 5*z, -z = -k + 53. Is k a multiple of 3?
False
Suppose -14*i - 6108 = -16874. Does 12 divide i?
False
Let n = -226 + 125. Is 26 a factor of (-2)/(-1) - (n + 4 + -5)?
True
Let r(t) = -8*t + 4. Let v be r(-2). Let h = -26 + v. Does 13 divide (-2)/h - 2200/(-33)?
False
Let u = 20 - 104. Let k = u - -260. Suppose -7*l + k = 64. Is 7 a factor of l?
False
Let h(y) = 14*y + 9 - 35*y + 19*y + y**2. Does 33 divide h(6)?
True
Let c(n) = 139*n**2 + 6*n - 11. Does 11 divide c(-4)?
True
Suppose -26424 = -11*d - 25*d. Is 11 a factor of d?
False
Suppose -2*q = q - a + 24, 5 = q + 4*a. Let u be 2/q - 2/(-7). Suppose -5*d + 4*n = -95, 5*d - 95 = 2*n - u*n. Is 6 a factor of d?
False
Suppose 2*i + 66 = -0*h + 4*h, -3*h = 2*i - 46. Let o = 26 - h. Suppose 5*a = -o + 30. Is 2 a factor of a?
True
Let d = -673 + 722. Does 3 divide d?
False
Suppose 4*a + 173 = 3*z, -3*z + 209 = z - a. Let w = z + -11. Does 24 divide w?
False
Let s(y) = y**3 - 20*y**2 + 7*y - 14. Is s(20) a multiple of 42?
True
Suppose 1 = -4*o - 7. Let z be o/13 - (-14)/91. Suppose z = -3*r + 24. Is 3 a factor of r?
False
Let q(p) = -p**2 + 2*p + 9. Let w be q(4). Is w + 0 + (-8 - -49) a multiple of 22?
False
Let s be ((-18)/(-15))/((-6)/(-15)). Is (-91)/(s - 4) - -2 a multiple of 31?
True
Let a be (-2)/(-5) + 44/(-110). Suppose -2*z - 2*z + 8 = a. Let i = z - -24. Is i a multiple of 13?
True
Let t(r) = r**3 + r + 1. Suppose 0 = 4*z - 10 - 2. Suppose z = a + 1. Is t(a) a multiple of 10?
False
Let n = 1779 + -1434. Does 9 divide n?
False
Let i(y) = -y + 3. Let o be i(0). Let f be (-3 + 11/o)*-24. Does 9 divide ((-36)/10)/(f/80)?
True
Let v = -500 - -662. Does 103 divide v?
False
Suppose j = -2*r + 1915, -5*j - 3*r + 320 = -9269. Does 56 divide j?
False
Let v(m) = m**3 + 38*m**2 + 53*m + 66. Does 66 divide v(-36)?
False
Suppose -4*o - 2*c + 12342 = 0, -4*o - 26*c + 12357 = -29*c. Is o a multiple of 93?
False
Let p = 10 - 10. Suppose -4*v - 6 - 2 = p. Is 7 a factor of (v - 1)/(10/(-30))?
False
Let a(j) = -j**2 + 20*j + 10. Let u(n) = 3*n - 11*n + 0*n + 3*n**2 - 4*n**2 + 7. Let m be u(-7). Is a(m) a multiple of 28?
False
Let i = -114 - -189. Suppose -n + 15 = u, -5*u + u + i = n. Is 18 a factor of u?
False
Suppose 9*g + 5*s + 1208 = 11*g, 2*g - 3*s - 1200 = 0. Does 6 divide g?
True
Is 30 a factor of ((-2417)/(-2) - 7)*(-6)/(-9)?
False
Let d(r) be the third derivative of -r**6/120 - r**5/60 + 17*r**3/3 + r**2. Suppose -5*k = -s - 5, -1 = -s + 4*s - k. Is d(s) a multiple of 6?
False
Suppose -4*c - 8 = 36. Let a = c + 22. Is 9 a factor of a?
False
Let v(t) be the third derivative of -t**5/60 - 11*t**4/24 + t**3/6 - 2*t**2. Let r(n) = n - 6. Let o be r(-4). Is 6 a factor of v(o)?
False
Suppose -v + 16 = 3*v + 5*n, -15 = -5*v - 5*n. Is ((-48)/(-10))/(-1*v/10) a multiple of 3?
True
Suppose 8*b = 10*b. Suppose -4*c - 4*d - d - 226 = b, -4*d + 303 = -5*c. Is 14 a factor of (-4 - -3)*c - -3?
False
Let i(f) = 27*f + 918. Does 17 divide i(0)?
True
Suppose -147*p - 728 = -155*p. Does 13 divide p?
True
Let o be 3 - (-6 + 0/(-1)). Let t(d) = -8 - d + o - 1. Is t(-9) a multiple of 6?
False
Suppose 0 = -10*b + 37*b - 3672. Does 34 divide b?
True
Let f(m) = -m**2 + 1. Let a be f(3). Let u be (243/(-6))/((-6)/a). Is 9 a factor of -2*7/(28/u)?
True
Let u(s) = -4*s**2 + 111*s + 40. Is 3 a factor of u(28)?
True
Suppose 2 - 14 = -3*l. Suppose -a + 10 = l*a. Suppose -a*i + 158 - 30 = 0. Does 17 divide i?
False
Suppose -15 = c + 25. Let u = -16 - c. Is 8 a factor of u?
True
Let s = -1896 + 2160. Does 24 divide s?
True
Let d(s) = s**3 + 14*s**2 - 10*s - 5. Is d(-10) a multiple of 11?
True
Let b = -224 + 267. Is b even?
False
Let q = -12 + 12. Suppose -5*z - 10 = -q*z. Is (-68)/(-8) - z/(-4) a multiple of 4?
True
Let q(t) = -3*t**3 - 22*t**2 - 11*t - 17. Let b(k) = 4*k**3 + 33*k**2 + 17*k + 25. Let n(h) = -5*b(h) - 7*q(h). Is 25 a factor of n(13)?
False
Is 22 a factor of (-4836)/(-10) - (-60)/150?
True
Let j be -1 + 1 + 0 + 2. Let w be (10 - 5)*(0 + 1). Suppose -j*a + 184 = -w*i, -i = -5*a + 2*i + 422. Does 18 divide a?
False
Suppose -2*w - 124 = 3*l - w, -l - 5*w - 46 = 0. Let b = l + 47. Is b a multiple of 2?
True
Suppose 1620 = f + 9*f. Is 27 a factor of f?
True
Let z(u) = -3*u**3 - 5*u**2 + 16*u - 20. Is 28 a factor of z(-11)?
True
Let l(h) = -43*h + 18. Does 4 divide l(-12)?
False
Let z(h) = -h**3 - 3*h**2 + 3*h + 9. Let u be z(-6). Let v = u - 3. Does 16 divide v?
True
Let d be 2/2 - (2 + -4). Suppose d*p = -9 - 0. Let m = p - -30. Is 9 a factor of m?
True
Let q = -78 - -348. Suppose 0 = z - 6*z - q. Is 9 a factor of (3 + -4)/(3/z)?
True
Does 75 divide -8 + (-168)/(-20) - (-6466)/10?
False
Suppose 27 - 2 = -5*u. Let z(k) be the first derivative of k**4/4 + 7*k**3/3 + k**2/2 - 3*k - 1. Is z(u) a multiple of 25?
False
Let z be (1 - 12/(-9)) + (-3)/9. Suppose 2*q - 34 = -2*n, -z*n - 2*n = -4*q - 36. Is 2 a factor of n?
False
Let y(s) = 129*s + 3. Is 22 a factor of y(1)?
True
Suppose -3*r - 1 = -166. Suppose -r = -5*v + 5. Suppose 225 + v = 3*p. Does 15 divide p?
False
Let q(g) = -28*g - 19. Let y(n) = 9*n + 6. Let c(z) = 2*q(z) + 7*y(z). Is 7 a factor of c(2)?
False
Is ((-36)/14*4)/((-47)/11186) a multiple of 34?
True
Let d(f) = 0*f - f + f + 3*f. Is 9 a factor of d(6)?
True
Let k = -1605 + 3096. Is k a multiple of 110?
False
Let k = -26 - -26. Let g(t) = -2*t + 43. Is g(k) a multiple of 9?
False
Suppose 5*a + 4*k + 2533 = 8211, -4*a + 4555 = -k. Is a a multiple of 91?
False
Let b(g) = 4*g + 13. Suppose 25 - 7 = 3*u + 3*p, u - 2*p - 12 = 0. Is b(u) a multiple of 15?
True
Let m = 58 - 54. Suppose 5*x = -2*l + 173, 3*x - m*l = -x + 144. Is x a multiple of 7?
True
Suppose 2*z = -5*t + 4962, -t - 4*z + 261 + 735 = 0. Is 30 a factor of t?
False
Let y = 12 + -11. Let p = y + 3. Suppose -p*q + 68 = 3*v, 16 = -2*v + q + 43. Does 8 divide v?
True
Let q be 0 + 2 + (-3 - -6). Does 10 divide (33 - 0)/(-4 + q)?
False
Suppose 3*h = -r - 3*r + 133, -149 = -5*r + 2*h. Let y = r + 43. Is y a multiple of 9?
False
Let b = -4092 - -6076. Is 12 a factor of b?
False
Suppose 12 = -17*n + 16*n. Let b(k) = k**2 + 9*k - 5. Is 31 a factor of b(n)?
True
Let z(i) = -2*i + 15. Let k be z(-10). Let p = 97 + k. Does 34 divide p?
False
Suppose 24 = -73*n + 76*n. Suppose 98 = n*j - 526. Is j a multiple of 13?
Tr