3 + 10*b**2 - 3*b - 12. Let n be k(-10). Let r = n + -13. Does 5 divide r?
True
Suppose -30 = -0*i - 5*i. Suppose -v = -i*v. Suppose v*u = u - 16. Is 8 a factor of u?
True
Let l(b) = -b**2 + 17*b + 1. Does 12 divide l(10)?
False
Suppose -3*x + 51 = 36. Is 5 a factor of x?
True
Let l(y) = 2*y - 7. Let p be l(7). Let t = p - 24. Let v = t + 28. Is 9 a factor of v?
False
Let o(w) = w - 5 - 14 + w + 3. Does 12 divide o(14)?
True
Let n = 323 + -231. Is n a multiple of 23?
True
Suppose 14 = n - 26. Suppose -y + n = a - 5*y, -2*a = y - 62. Does 16 divide a?
True
Suppose -d = -2*d + 4. Let q = 10 + d. Is q a multiple of 14?
True
Suppose -135*z + 428 = -131*z. Is 7 a factor of z?
False
Let n(h) be the first derivative of -h**4/4 - 2*h**3 - 2*h**2 + h + 2. Let l be n(-5). Let r(c) = -6*c + 2. Is r(l) a multiple of 15?
False
Let w(a) = a**3 + a**2 - 2*a. Let l be w(3). Suppose -4*i + 4 = 0, l = x + x - 2*i. Is 8 a factor of x?
True
Let x = -7 + 3. Is 10 a factor of (-42)/x*(-48)/(-28)?
False
Let i(t) = 3*t - 3*t + 6*t**2 + 2*t - t. Let m be 1/1 - (-1 + 0). Does 13 divide i(m)?
True
Suppose -h + n = 2*h - 169, n = -h + 55. Is 13 a factor of h?
False
Suppose -4*w - 5*v = -2*v - 13, w = 5*v + 9. Is 3 a factor of w?
False
Let q be ((-2)/4*-6)/1. Let i = 3 + q. Is 3 a factor of i?
True
Let p(b) = -b**3 - 9*b**2 - 12*b - 5. Let f be -2 - 0 - 5 - 1. Is p(f) a multiple of 9?
True
Suppose -q = -3*t + 72, -45 - 3 = -2*t + 5*q. Is 24 a factor of t?
True
Suppose 6 - 2 = w. Let x(l) = l**2 - 2*l - 3. Is x(w) a multiple of 2?
False
Suppose 4*r + j = 112, -r - 4*j + 69 = 26. Does 7 divide r?
False
Let l(y) be the third derivative of -3*y**2 + 0 - 5/2*y**3 + 0*y + 1/8*y**4. Is l(12) a multiple of 12?
False
Let v be 7/4 + (-6)/(-24). Let o be 14/3 - 2/3. Suppose 0*j - o*t + 44 = v*j, -5*j - t = -74. Is 8 a factor of j?
False
Suppose 4*q - 4*b + 2*b - 136 = 0, -4*b + 48 = 2*q. Suppose 5*f + 8 = -j + q, -f = -j. Is 10 a factor of 114/(-4)*j/(-6)?
False
Suppose -2*o - 3 = -o. Let g = o - -1. Let l = 17 - g. Is 9 a factor of l?
False
Is 7 a factor of (-4)/(-3) - 266/(-21)?
True
Is (3 - 2)/(-2*3/(-198)) a multiple of 19?
False
Let t = 5 + -7. Let d = t + 32. Suppose -6*r + r = -d. Is r a multiple of 2?
True
Suppose 0 = 3*d - o - 2, -3*o = -2*d + 2 + 4. Let w be 1*0/(d - 3). Suppose -5*l - 2*u + 221 = w, -50 + 3 = -l + u. Is l a multiple of 17?
False
Let k be (-28)/(-6) - 1/(-3). Suppose -4*n = n - 5, -4*n = -k*v - 9. Is 1*v + (-75)/(-5) a multiple of 11?
False
Suppose -4 = -3*p + 2. Suppose 5*c + 189 = 29. Let d = p - c. Does 17 divide d?
True
Suppose -o + 23 = -34. Is 20 a factor of o?
False
Let w = -3 + 3. Let r(n) = n + 12. Is r(w) a multiple of 12?
True
Let h(r) = -r**3 + 2*r**2 + 2*r + 1. Let y be h(3). Is y/8 - (-195)/12 a multiple of 16?
True
Let i(b) = b - 9 + 9. Let o be i(-4). Does 7 divide 105/(-10)*o/3?
True
Suppose -6 = -0*t + 2*t. Let v(z) = -24*z - 16. Let a(j) = -6*j - 4. Let q(b) = 9*a(b) - 2*v(b). Does 13 divide q(t)?
False
Suppose -6*n + 3*n = -150. Is n a multiple of 5?
True
Suppose -4*d - 13 = -z, z - 52 = -3*z + d. Is z a multiple of 3?
False
Suppose -273 - 155 = -2*k - 5*i, -k + 2*i = -196. Is 6 a factor of k?
True
Suppose -3*r = 5*x - 25, x + 3*r - 5 + 0 = 0. Suppose x*v - v = 208. Does 12 divide v?
False
Suppose 0 = -2*f - 2*q - 90 + 320, 4*q - 12 = 0. Does 28 divide f?
True
Is 7 a factor of (11/3 + -1)/((-156)/(-2574))?
False
Let s(k) = 2*k**2 + 4*k - 6. Is 8 a factor of s(5)?
True
Let a(b) = -b**3 + 5*b**2 - 4*b + 3. Let m be a(4). Let v(t) = 3*t + 55. Let c(g) = -2*g - 27. Let z(x) = m*v(x) + 5*c(x). Is z(0) a multiple of 17?
False
Suppose -92*f = -95*f + 84. Does 7 divide f?
True
Suppose -2*j + 85 = 2*t - 51, t - 320 = -5*j. Is 12 a factor of j?
False
Let i = -4 - -15. Let v = -17 + 48. Let o = i + v. Does 15 divide o?
False
Let f = -115 - -199. Suppose f = 2*p + 2*p. Is 12 a factor of 54/p*56/6?
True
Let k(m) be the second derivative of -m - 1/3*m**3 + 0 + 1/2*m**2 + 1/12*m**4. Is 5 a factor of k(4)?
False
Suppose 3*l - x = 4*x - 85, x = -3*l - 73. Let n = -17 - l. Does 8 divide n?
True
Suppose 3*k + 0*k = -3*c - 15, -4*c + 15 = -3*k. Let s(i) = -i**3 + i**2 + i + 32. Does 9 divide s(c)?
False
Suppose j - 12 = 4*s, -2 = -5*s - 3*j - 0. Let m be s/(-1 - (-21)/15). Is 11 a factor of (-2)/m*495/9?
True
Suppose -5*w = -2*w - 126. Is w a multiple of 10?
False
Let p be ((-92)/(-1))/4 + -2. Suppose 4*r + 4*o = 48, -4*o + 3 = r - p. Does 5 divide r?
False
Suppose -156 = -2*v - 0*v. Suppose -3*t - v = -5*h, 4*t = h - 1 - 1. Does 12 divide (h/(-2))/((-1)/4)?
True
Suppose -3 + 15 = 3*v. Suppose d = v*d - 12. Suppose -d*k + 4*p + 20 = 0, -k - 4*k = -2*p - 31. Is 7 a factor of k?
True
Let j be (-2)/4 - 21/6. Let u(v) be the second derivative of -5*v**3/6 - 3*v**2/2 - 8*v. Is u(j) a multiple of 9?
False
Let q(u) = -u**3 - 13*u**2 + 7*u + 29. Let i be q(-13). Let g be (-1)/2 + (-63)/2. Let m = g - i. Does 15 divide m?
True
Suppose 0 = -2*k - 2*x + 304, -2*k - 3*x + 203 = -103. Suppose -k = i - 6*i. Suppose -5 = 5*b - i. Is b a multiple of 5?
True
Suppose 79 = 4*q - 65. Let n = q - 18. Does 12 divide n?
False
Is 17/(5/2 + -2) a multiple of 5?
False
Let r(a) be the first derivative of -a**3/3 + 11*a**2/2 + 6*a + 3. Is r(5) a multiple of 23?
False
Let q(a) = a**3 + 8*a + 10 + 2*a**2 + 6*a**2 - 3*a**2 + 3*a**2. Let t be q(-7). Does 9 divide (6/10)/(t/45)?
True
Suppose 19 = -s + 3. Let k be 3 + 0 - (s + 1). Is 678/13 - k/117 a multiple of 16?
False
Let v(z) be the first derivative of 8*z**3 + z - 8. Let u be (-2)/(-8) + 5/(-4). Is v(u) a multiple of 25?
True
Let n(h) = h**3 + 7*h**2 + 7*h + 9. Let d be n(-6). Let w = 5 - d. Suppose -53 - 5 = -w*q. Does 13 divide q?
False
Suppose 0 = 12*v - 7*v - 245. Does 13 divide v?
False
Let n be 10/35 - (-38)/14. Let c(q) = -q**n + 3 + 2*q + 0 + 7*q**2 - 5*q. Is c(4) a multiple of 20?
False
Let c(g) = -3*g - 15. Let a be c(-10). Let s = a - 0. Is s a multiple of 15?
True
Suppose -3*k - 89 = c, 2*k - 4*c + 53 = 17. Let q = k - -66. Is 10 a factor of q?
False
Is -3 - (6 + 3)/(-1) a multiple of 6?
True
Let u(h) = -h + 7. Let s be u(4). Suppose 7*q - 124 = s*q. Is q a multiple of 19?
False
Suppose 7*m - 8 = 3*m. Suppose 4*l = 4*i + 192, -3*l - m*i + 132 = -i. Does 15 divide l?
True
Suppose 2*d - 14 = -42. Let f be d/(-1 - 1/(-2)). Suppose -h + f = 5. Is 12 a factor of h?
False
Let v be (-3 + 3)/(0 - -1). Suppose v*m = 4*m - 76. Is 7 a factor of m?
False
Suppose -4*c = -4 - 56. Let g = 9 + c. Does 24 divide g?
True
Let o = -6 + 9. Let b(k) = -k**2 - 11*k - 10. Let z be b(-7). Suppose -o*m + 18 = -z. Is 12 a factor of m?
True
Suppose -2*d = 2 - 10. Is 11*(d - (3 - 0)) a multiple of 11?
True
Let q = 16 - -17. Is q a multiple of 12?
False
Suppose -a + 1119 = 4*r, 5*r + 4*a + 0*a = 1396. Suppose 6*c - c - r = 0. Suppose -2*f + 0*f = -c. Is f a multiple of 14?
True
Suppose 0*b - b + 4*x + 6 = 0, -b + 5*x + 7 = 0. Is 4 a factor of (-316)/(-24) + b/(-12)?
False
Suppose 5*f = -5*b + 80, -3*f + 7*f = -5*b + 64. Let y = f - 0. Is 16 a factor of y?
True
Suppose z - 6*z + 140 = 0. Suppose -5*i + m + m + 30 = 0, z = 2*i - 4*m. Suppose f - 37 = i*r + 6, -2*f = r - 50. Does 9 divide f?
True
Let f = -14 + 27. Suppose -g = -22 - f. Does 11 divide g?
False
Let t(a) = a**3 - 9*a**2 + 10*a + 7. Let v be t(8). Let k = v + -3. Does 10 divide k?
True
Let d = 16 + -4. Is d a multiple of 11?
False
Suppose -100 = -2*j - 0*j. Does 15 divide j?
False
Suppose -3*k - 111 = -4*x, 5 = 2*x - 3*k - 46. Does 5 divide (-1)/5 + 306/x?
True
Let f = 11 - 7. Suppose -y - 59 = 4*n, -2*y - 76 = n + f*n. Let d = 44 + n. Is d a multiple of 10?
True
Does 19 divide (7 - 8)/(1/(-47))?
False
Let v be (-3 - 7 - 0) + -2. Is (v/15)/((-2)/20) a multiple of 8?
True
Suppose 3*n = 2*s - 6*s + 71, -5*s - 32 = -2*n. Suppose 4*f = 43 + n. Is f a multiple of 6?
False
Let l(w) = 11*w + 1. Is 4 a factor of l(3)?
False
Let b(a) = a**3 + 4*a**2 - 5*a. Let y be b(-5). Is 5 a factor of (3 + (-4 - y))*-5?
True
Suppose -187 = -5*b + 43. Is 2 + b - (4 - 3) a multiple of 20?
False
Let h(a) = a**2 - 10*a + 13. Suppose -27 = -2*g - 9. Let d be h(g). Let b(k) = 2*k**2 - 2*k + 2. Is 11 a factor of b(d)?
False
Let p be (1 - -1) + -4 + 242. Suppose -3*m - 2*m = -p. Suppose -2*z - 2*z = -m. Is z a multi