 j?
True
Suppose 7*j = 19798 + 17162. Is j a multiple of 16?
True
Suppose 8*p - 279 = 57. Let m = p + -40. Suppose -183 = -5*d + 3*k, -3*k + m*k - 37 = -d. Does 6 divide d?
True
Let r(l) = -16113*l - 10419. Does 217 divide r(-4)?
True
Suppose 0 = 4*h - 3*f - 29, -5*h + 3*f + 24 = -2*h. Suppose -67 = -h*g - 42. Suppose -12*s + g*s + 1491 = 0. Is s a multiple of 30?
False
Let v(a) = -18*a + 165. Let r be v(9). Suppose 4*z + p = 359, 2*p - r - 3 = 0. Does 25 divide z?
False
Let a = -1072 - -3943. Is a a multiple of 3?
True
Suppose -4*d = -2*v - 0*d + 6, v - 17 = -5*d. Let w be 107 + -101 + (-1 + 5)*-1. Suppose 377 = 5*f - w*q, 3*f = v*f - 5*q - 305. Does 25 divide f?
True
Let m be (-1)/(-3*(-4)/(-36)). Suppose 2*l - 162 = -m*p, 12*p - 221 = 8*p - l. Does 13 divide p?
False
Let c(m) = -m**3 + 115*m**2 - 68*m - 3388. Is c(112) a multiple of 21?
True
Let t(q) = 94*q**2 + 50*q + 303. Does 15 divide t(-11)?
False
Let z(j) be the third derivative of 7*j**5/20 - 11*j**4/24 - 5*j**3/3 - 81*j**2. Is 92 a factor of z(5)?
True
Let s = 1924 + 315. Is s a multiple of 31?
False
Let j = 991 + 1552. Is 29 a factor of j?
False
Suppose 2*s + 40 = 5*m - 3*s, 2*m + 5*s + 12 = 0. Let u(r) = -4 - 3*r**2 - m + 10*r**2 + 3. Is u(-4) a multiple of 14?
False
Suppose -5*q + 14 = 4*o - 3*q, 5*q - 3 = -2*o. Suppose -o*b + 158 = -0*t - 3*t, -2*b + 2*t = -80. Let z = b - -14. Does 32 divide z?
False
Suppose -7*f = -2*f - 25. Suppose -3*p - 25 = 2*p + f*y, 4*y = -5*p - 27. Let l = p + 32. Is l even?
False
Let i = -17958 - -25378. Is i a multiple of 6?
False
Suppose -566*p + 423*p + 2410408 = 0. Is 28 a factor of p?
True
Let s(w) = 3*w - 111. Let z be s(34). Let p(c) = 13*c**2 + 22*c - 15. Is 84 a factor of p(z)?
True
Suppose -23*y = -13*y + 10. Is (((-24)/18)/(-2))/(y/(-39)) a multiple of 13?
True
Does 2 divide (16/(-6))/((-56)/640332*9)?
True
Let r = -230 - -362. Let n = r + -120. Does 4 divide n?
True
Let v = -291 + 376. Does 46 divide 2970/(-4)*(-2 + 68/v)?
False
Is 9 a factor of (-4)/(-5) + -335*(-1102)/725?
False
Let l be ((-30)/9)/(6/(-9)). Suppose 0 = l*g - 5*x + 25, -g - x + 13 = -4*g. Does 7 divide ((-4)/6)/(1778/(-441) - g)?
True
Suppose -4*f + 277 = 2*s - 5*s, 5*f + s = 351. Suppose 29*i + f = 34*i. Does 8 divide i?
False
Let k(x) = x**3 + 13*x**2 - 16*x - 17. Let b be k(-14). Let o = b + -29. Let i = 65 + o. Does 22 divide i?
False
Suppose 2857 - 20866 = -3*v - t, 5*t = -v + 5989. Is v a multiple of 14?
False
Let d be 24 + (-5 - -1 - 0). Let i = d - 17. Is 16 a factor of ((-6)/i)/(4/(-78))?
False
Let b be 2*-7 - 2/1. Let w be -12*6/(-24) - 124. Let c = b - w. Is 35 a factor of c?
True
Suppose 0 = -126*l + 3504 + 2418. Is 10 a factor of l?
False
Suppose 0 = -3*t - 5*u + 17878, 5*t + 0*u - 29775 = -4*u. Suppose -32*w - t = -26751. Is 26 a factor of w?
True
Suppose 27853 = 20*a - 3307. Let n = -744 + a. Does 22 divide n?
True
Suppose q + 264 - 2850 = 0. Is q a multiple of 21?
False
Let x(d) = 36*d**2 + 27*d - 53. Let f be x(7). Suppose -710*s + f = -706*s. Does 30 divide s?
False
Suppose -2*x = 5*k + 493, -3*x + 2*x = k + 248. Let i = x - -330. Does 9 divide i?
True
Let v = -551 - -489. Let w(z) = z**3 - 12*z**2 - z + 15. Let f be w(12). Is 1 - f - v - -4 a multiple of 8?
True
Suppose 10*n - 37230 = -7750. Is 34 a factor of n?
False
Let p(s) = -8*s**3 - 4*s**2 - 7*s - 19. Let o(j) = 9*j**3 + 4*j**2 + 8*j + 19. Let b(m) = 4*o(m) + 5*p(m). Is 9 a factor of b(-5)?
True
Let h = -193 + 198. Suppose h*c - 3*i = -7*i + 674, 4*i = -2*c + 272. Is c a multiple of 24?
False
Let j(i) = 27 + 3546*i + 13 - 3567*i + 2*i**2. Is 9 a factor of j(17)?
True
Suppose -6*z + 2*z = -3*a, -4*z = 3*a - 24. Suppose 0 = 5*u - 5*x + 115 - 390, -3*u + a*x + 168 = 0. Does 8 divide u?
False
Suppose 26*w - 11*w - 420 = 0. Suppose q - w = 52. Is 10 a factor of q?
True
Let q be (-89 + 4/8*-2)*-1. Let u be ((84/5)/3)/((-6)/q). Let y = u + 115. Does 11 divide y?
False
Let a = 10739 + -9626. Is 21 a factor of a?
True
Suppose 47*i = 23*i + 159984. Does 22 divide i?
True
Let q = -130 - -162. Let t = -33 + q. Is 144 + -1*(t - 4/(-4)) a multiple of 10?
False
Let o = -14003 + 31597. Does 38 divide o?
True
Let u be (2/4)/(6/(-12)). Let j be -23*(4 + u - 10). Suppose 3*q = -5*a + 375, 5*q + j = 2*a + 4*q. Is 9 a factor of a?
False
Let r be ((-20)/(-25))/(-4 - 11582/(-2895)). Suppose -d - d = 6, d + r = 5*c. Does 3 divide c?
True
Let d(w) = 3129*w + 1626. Does 19 divide d(5)?
True
Let g = 30 + 22. Let b = g - 49. Is 9 a factor of b*326/42 - 12/42?
False
Let o(n) = n**3 - 14*n**2 - 16*n + 4. Suppose 0 = 2*b - 7 + 1. Let w be 15 - (3 + -4 - (3 - b)). Is o(w) a multiple of 13?
True
Is 23 a factor of ((-56)/(-35))/((-36)/(-4680))?
False
Suppose -25 = 5*q - 0*q, 5*v + 30 = -2*q. Let j be (6/(-4))/(v/(-264)). Let s = 174 + j. Is 10 a factor of s?
False
Let d = 141 - 138. Let l(r) = -5*r + 2*r**3 + 6*r**2 - 3 - 2*r**2 - r**2. Is l(d) a multiple of 7?
True
Let i = -249 + 480. Suppose 12*j + i = j. Does 4 divide (2 + j + 0)/((-1)/4)?
True
Let n = -2604 - -14934. Is 90 a factor of n?
True
Suppose -2*y = -0*y - 6, 6*y + 11527 = 5*m. Is m a multiple of 73?
False
Suppose 0 = -8*m - 227 - 4197. Does 2 divide 2 + (m + -7)/(-7)?
True
Let v = -340 - -882. Suppose -910 = 6*l + v. Is -1*(0 - -3 - 1) - l a multiple of 20?
True
Let j(c) = c**2 + 3*c - 3. Let r be j(0). Does 12 divide -9*1/r - (-435 + 0)?
False
Suppose -3254 - 11726 = -5*d. Does 107 divide d?
True
Let s(m) = 16*m**2 - 6*m + 9. Suppose 7*h - 18 = h. Let r be s(h). Suppose 5*q = 4*g + 130, 0*g = -4*q - 3*g + r. Is q a multiple of 3?
True
Let c(u) = -2*u**3 + 37*u**2 - 87*u + 10. Does 42 divide c(15)?
False
Suppose -2*m = 4*p + 20, m + 2*m = 5*p - 85. Let n be (-53 + 3)*8/m. Suppose 23*l = n*l + 126. Is l even?
True
Let a be (4/(-10))/((-1)/15). Suppose -3*n = -a*n - 447. Let p = 265 + n. Is p a multiple of 29?
True
Let z = -54 - -61. Let v be ((-50)/(z + -12))/((-1)/(-22)). Suppose -5*w + 5*r + v = 0, 3*w - 83 = w - 3*r. Is 16 a factor of w?
False
Let u = -2911 - -2998. Is 87 a factor of u?
True
Let w(x) = -x**2 - 20*x + 63. Let m be w(-7). Suppose 0 = -g - 3*g. Suppose -y - 38 = -r, -5*r + 2*y + 36 + m = g. Does 20 divide r?
False
Let r(t) = 156 - 12*t - 4*t**2 - 75 + 2*t**3 - 81. Let v be r(5). Let z = -60 + v. Is 6 a factor of z?
True
Let j(f) be the third derivative of f**5/12 + f**4/24 + 3*f**3/2 + 10*f**2. Let y(a) be the first derivative of j(a). Is 9 a factor of y(1)?
False
Suppose 3*p = r - 10 - 15, 4 = -p. Let u(i) = -9 - 8 + 7*i - 4 - 1. Is 23 a factor of u(r)?
True
Let s(k) = -84*k - 56. Let y(c) = 85*c + 55. Let t(n) = 4*s(n) + 5*y(n). Does 8 divide t(5)?
True
Suppose 0 = -3*q - 5*j + 164797 - 42942, 4*q = -2*j + 162478. Does 5 divide q?
True
Let k be 332/(-415) + (-14)/(-5) + -1. Suppose k - 313 = -6*o. Is 26 a factor of o?
True
Let r(l) = -2*l**2 - 6*l + 2 + 2*l + 2 + 2*l**3. Let c be r(2). Let x(v) = -v**3 + 6*v**2 - 9. Is x(c) a multiple of 10?
False
Suppose -9*a + 8*a + 5 = 0. Suppose 3*k = -0*k + a*s + 24, -5*s = -k + 18. Suppose -9*y + 6*y = k*j - 321, -j + 109 = -y. Is j a multiple of 9?
True
Let r = -217 - -233. Is 9 a factor of 180 + r/(-4) + (-15)/3?
True
Let b(o) = -o**3 - 4*o**2 + 2*o + 14. Let g be b(-3). Is 19/19 - (-1037 - g) a multiple of 17?
True
Let c(v) = 14*v**3 + v**2 + 6*v - 11. Let u be c(3). Let k = u + -269. Is 7 a factor of k?
False
Let v(m) = m**3 - 7*m**2 - 9*m + 57. Let u(h) = h**2 + 12*h + 35. Let d be u(-9). Does 49 divide v(d)?
True
Suppose 3*r - 29469 = -5*d, 0 = -61*d + 63*d + 6. Is 39 a factor of r?
True
Suppose 0 = -35*u + 20*u - 0*u + 6405. Is u a multiple of 65?
False
Suppose 5*h = 6*o - 244321, 0 = 5*o - 457*h + 456*h - 203585. Is 39 a factor of o?
True
Suppose 2*p - x - 10 = -3*x, 0 = p + 3*x - 13. Let q(a) = -174*a**3. Let j be q(p). Let s = j + 321. Is 33 a factor of s?
False
Let i = 7834 + 3086. Is i a multiple of 21?
True
Suppose -49*z + 50*z = 0. Suppose 6*p + z*p - 1212 = 0. Suppose 2*x = 18 + p. Does 11 divide x?
True
Let z = 150 - 148. Suppose -3*r = 4*y - z*y - 2505, -1689 = -2*r + 5*y. Is 12 a factor of r?
False
Suppose -3*y = -10 - 2. Suppose -4*q + 2*o + 502 = 0, y*q = 5*o + 90 + 397. Let d = -89 + q. Is 13 a factor of d?
True
Let s(n) = 2*n**2 - 94*n - 3. Let x be s(41). Let u = 458 - x. Is u a multi