j(2) a multiple of 14?
True
Let b = -2995 + 3785. Is 3 a factor of b?
False
Is 980/420 - (-3478)/6 a multiple of 11?
False
Suppose -542*b = -612*b + 227430. Is 6 a factor of b?
False
Let a = 5291 - 1147. Does 9 divide a?
False
Let u = 21437 - 10503. Is 14 a factor of u?
True
Let z(s) = -s**3 - 2*s**2 + s + 11. Let t be z(0). Suppose n - t = -5*p + 5, -2*n + 77 = -5*p. Is 14 a factor of n?
False
Is 2 a factor of (69/6 + -4)*(-218)/12*-8?
True
Suppose -x = -5*h - 22849, 0 = -4*x - 8*h + 12*h + 91476. Is x a multiple of 7?
False
Suppose -4*z - 5*d + 27 = -0*d, -6 = -5*z + 3*d. Let x(p) = p**2 - 6 - z*p + 0*p**2 + p**2 + 2. Does 5 divide x(-2)?
True
Let x(n) = -37*n + 7. Let c(l) = 25*l - 5. Let v(r) = -8*c(r) - 5*x(r). Let q = -294 + 290. Is 4 a factor of v(q)?
False
Is (-1522032)/333*1/((-4)/15) a multiple of 122?
False
Let w(z) be the first derivative of z**2 + 22*z + 117. Let g be (-6)/(-9)*102/4. Is w(g) a multiple of 14?
True
Suppose 29*t + 5*t = 136. Is -1 - -1*t*1099/28 a multiple of 6?
True
Is -2*114994/(-52) - 3 - (-30)/195 a multiple of 26?
True
Let k(a) = -a**3 - 6*a**2 - 6*a + 7. Let m be k(-4). Does 8 divide (-2)/((-4)/(-2))*(m - 160)?
False
Does 47 divide (-16450)/56*-2*(-8)/(-10)?
True
Suppose -58 = -3*b - 5*r + 21, -b = 2*r - 28. Let i = b - 25. Is 5 a factor of -2*i/2 - (1 + -4)?
True
Let q(x) = -12*x**3 + 11*x + 0*x**2 + 7*x**3 + 3 + 3*x**2 - x**2. Let a be q(-3). Suppose -3*n + n = k - a, -3*n - 5*k + 195 = 0. Is n a multiple of 12?
True
Suppose 0 = -80*s + 316*s - 8949120. Is s a multiple of 9?
False
Let f(p) = -4*p**3 + 3*p**2 + 14*p + 4. Let j be f(-3). Suppose -90*d + j*d - 8505 = 0. Is d a multiple of 15?
True
Let l(w) = -w**3 + 8*w**2 - 6*w - 9. Let v be l(7). Let u be (-2)/3*45/v. Suppose 0 = -4*x + u + 69. Is 3 a factor of x?
True
Let q(t) = -4*t**3 - 8*t**2 + 12*t + 145. Is 23 a factor of q(-5)?
False
Let o = 2059 + -439. Is 12 a factor of o?
True
Is 15304/6 + ((-2)/(-6) - (-15 + 16)) a multiple of 102?
True
Let p(a) = a**2 - 15 + 42*a - 31*a - 16. Let n be p(-14). Suppose n*s - 9*s = 264. Is s a multiple of 33?
True
Suppose -7*x + 5 = 26. Let k = 64 + x. Does 11 divide (5/(-3))/5 + k/3?
False
Let a = 84 + -79. Suppose 0 = -2*j - 2*h - 150, -j + a*j - 2*h + 330 = 0. Does 35 divide -3 + 1/((-3)/(-6)) - j?
False
Is (24/(-12))/((-1779)/591 - -3) a multiple of 2?
False
Is 26 a factor of (-216)/32 + (13 - 6) + (-34967)/(-4)?
False
Suppose 3*d + 0 = 15. Suppose -3*z = -2*c - d*z + 738, 0 = -c + 4*z + 359. Let y = c - 198. Is 18 a factor of y?
False
Let b(n) = n**3 - 16*n**2 - 8*n + 21. Suppose -4*l - 19 + 87 = 0. Let t be b(l). Suppose -2001 = -9*s - t. Is s a multiple of 29?
True
Let q(i) = -i**3 + 14*i**2 + 15*i + 3. Let p be q(15). Suppose -7*y + 5 = -p*y + 3*g, -2*g = 2*y - 2. Suppose -55 - 17 = -y*o. Is 12 a factor of o?
True
Is 5/(-7) - 75302/(-14) a multiple of 149?
False
Let a = 202 + -194. Is 6 a factor of 2695/56 - 1/a?
True
Let x be (-1393)/(-17) - (-15)/255. Is 6 a factor of x/7 - 164/(-574)?
True
Let u = 35 + -60. Let x = u - -19. Does 28 divide -14*(33/(-3) - (x - -3))?
True
Suppose 4*h - 71 - 513 = -4*n, -428 = -3*n - h. Let t = n + 68. Is t a multiple of 10?
False
Let s = 3122 - 2677. Does 3 divide s?
False
Let a = 21318 - 21289. Does 2 divide a?
False
Suppose -13*w = -10*w + 84. Suppose -3*d + 66 = -6*d. Let r = d - w. Is 2 a factor of r?
True
Let k be (-26)/117 - 760/(-18). Let c = k + -6. Is 14 a factor of (c/5)/((-19)/(-95))?
False
Let v(f) be the first derivative of f**4/4 + 10*f**3/3 - 15*f**2/2 - 14*f - 20. Let a be v(-11). Suppose 4*y = -y + a. Is 3 a factor of y?
True
Let g(b) = 18*b**2 + 4*b - 48. Let h(z) = -z**2 + 29*z - 114. Let o be h(24). Is 39 a factor of g(o)?
True
Suppose -4*m + 8960 = -0*j + 4*j, 0 = 4*m - 2*j - 8930. Suppose 5*u - m = -y, -1767 = 2*u - 6*u - 5*y. Is u a multiple of 12?
False
Suppose 6*b - 4*b - 6 = 0. Suppose -b*u - 9 = -4*u. Let j(a) = a**2 + 4*a - 13. Does 13 divide j(u)?
True
Let m(a) = -42*a + 6. Let t(g) = g**2 - 20*g + 62. Let w be t(16). Is m(w) a multiple of 10?
True
Suppose 0 = 6*z - 3*z - 18. Let w(n) = z*n - 5*n + 1 + 12*n**2 + 0*n + 3. Does 25 divide w(-2)?
True
Suppose -156540 = 1003*f - 1033*f. Is f a multiple of 217?
False
Let d = 1852 - 1612. Is d a multiple of 45?
False
Let r = 379 + -373. Does 2 divide 9/r*((-1626)/(-18) + -1)?
True
Suppose 0 = -17010*n + 16999*n + 989637. Does 18 divide n?
False
Let c(d) = -d**2 + 27*d + 50. Let n be c(29). Does 10 divide (n + 85/10)*436/2?
False
Let g(r) = r**2 - 6. Let d be g(-3). Suppose -2 = -5*b + 8, o - d*b = 20. Suppose -4*c + 18 = w + 5, 3*w - c - o = 0. Is 3 a factor of w?
True
Suppose -2*x = -3*r + 2 - 4, -3*x + 1 = -4*r. Does 56 divide (15/(-30))/((x/(-422))/(-5))?
False
Is ((-895122)/1784)/((-3)/272) a multiple of 17?
True
Suppose -4*q - 50 = -2*t, -15*t + 4*q + 149 = -10*t. Does 4 divide t?
False
Let n(q) = 464*q - 265. Is 93 a factor of n(14)?
True
Suppose 0 = -4*m + 5*p + 20 + 53, m - 2*p - 22 = 0. Is (5/4)/(m/528) a multiple of 2?
False
Suppose -40*b + 996481 = -206719. Does 188 divide b?
True
Suppose -2*q - 2*d + 4538 = 0, -4*d = -4*q - 6*d + 9074. Is q a multiple of 39?
False
Suppose 0 = -3*d - 5*q + 365, d + 2*q = -3*d + 482. Suppose 0 = -15*c + 16*c + 4*s + 3, 4*c - 5*s - 30 = 0. Is 33 a factor of (-358)/(-3) - c*(-16)/d?
False
Suppose 163*p = 166*p - 198. Suppose 62*s = -3*q + p*s + 231, -3*s - 155 = -2*q. Is q a multiple of 33?
False
Suppose 5*w = 7*w - 72. Let h = -51 + w. Let m = 45 - h. Is 20 a factor of m?
True
Let n(w) = 9*w - 2. Suppose 0*k + 3 = 3*k. Let q be n(k). Suppose -q*i + 4*i + 6 = 0. Does 2 divide i?
True
Suppose 0 = 35*p - 41*p + 13200. Does 40 divide p?
True
Let c be 4/10 + 2 + 453/5. Let q = c + -34. Is q a multiple of 14?
False
Let m = 130 + -130. Suppose -2*y - 640 = -2*s, s + m*y + y - 328 = 0. Is 29 a factor of s?
False
Let x(w) = 28*w - 7. Let b(y) = y**3 + 3*y**2 - 2. Let f be b(1). Suppose 5*z - 5*r = -4*r + 9, 0 = -z + 4*r - f. Does 7 divide x(z)?
True
Let o(p) = -328*p + 3484. Does 63 divide o(-30)?
False
Suppose -51*o + 185 = -52*o. Let g = o - -503. Is g a multiple of 53?
True
Let z(h) = -19*h**3 - h**2 - 2*h + 2. Let u be z(1). Let o be (-26)/(-5)*2*u/8. Let k(w) = -w + 28. Is 6 a factor of k(o)?
True
Suppose -16 = 2*w - 4*q, 0*q - q = -4. Suppose -6*t + 2*t - 5*p + 3 = w, t = -2*p. Suppose -109 = -t*z + 3*a, 4*a + 276 = -2*z + 7*z. Does 28 divide z?
True
Suppose -52 = 4*l + 4*m, -34 = 3*l + l - 5*m. Let k = l - -14. Suppose 2*g = -r + 20, 6*r - 69 = k*r - 3*g. Is r a multiple of 5?
False
Suppose -255*h + 1757469 = 424839. Is 6 a factor of h?
True
Let p = 5711 - 4314. Is p a multiple of 11?
True
Suppose -4*d = -35 + 3. Suppose 11*j = d*j - 3, -4*s + 5*j = -353. Is 16 a factor of s?
False
Let d(f) = 2*f + 33. Let g be d(-13). Let u be (-5 + g + 129)/(-1). Let i = u + 198. Is i a multiple of 17?
False
Suppose 6*q - 4*q = 8. Let r = -152 - -156. Suppose -2*n - r*t + 60 = 0, q*t = -5*n + n + 140. Is n a multiple of 4?
True
Let v(w) = -316*w**3 + 2*w**2 + 2*w - 9. Is 74 a factor of v(-3)?
False
Let r(j) be the third derivative of j**6/120 + j**5/6 + 3*j**4/4 + 13*j**3/6 + 276*j**2. Let l be (-26)/4 + (-2)/4. Does 34 divide r(l)?
True
Let p be -5*(-3)/15*(1 - -4). Suppose 0 = 3*s - p*y - 545, -21 = s - y - 204. Does 37 divide s?
True
Let k = 21593 - 11160. Is k a multiple of 22?
False
Suppose 0 = -5*s - c + 5768, -4*s + 4218 = c - 398. Is 6 a factor of s?
True
Does 23 divide -1 + (3675 - (13 + 4))?
True
Let j(w) = -w**3 + 5*w**2 + 8*w - 14. Let i be j(6). Let z(t) = -42*t - 9. Let c be z(i). Let a = 65 + c. Is a a multiple of 32?
False
Let m be (6 - 0)*(-5 - (-66)/12). Suppose -f + m*f = 24. Suppose -2*r - 4 = 0, t + 3*r - f = 3. Does 20 divide t?
False
Let m = 805 + -864. Let g(k) = -k**2 + 3*k. Let f be g(-4). Let a = f - m. Does 7 divide a?
False
Let f(z) = -7*z - 18. Let y be f(-2). Does 56 divide 1 + (0 + (-20)/y - -515)?
False
Suppose -2*v + 2271 = 2*g - 9221, 2*g = -3*v + 17235. Is v a multiple of 9?
False
Let c(m) = 111*m - 1029. Does 20 divide c(19)?
True
Let w = 423 + 38. Let k = w + -271. Is 30 a factor of k?
False
Let k be ((-17)/((-408)/(-176)))/(2/(-12)). Suppose -965 = -5*f + 4*z, -5*z - k + 266 = f. Does 36 divide f?
False
Suppose -1822 = 9*k - 238. Let 