)?
True
Let s(b) = 184*b**3 - 10*b**2 + 18*b + 10. Does 101 divide s(3)?
False
Suppose -5*r + 200072 = -h, h = 56*r - 57*r + 40024. Does 8 divide r?
True
Suppose -277*q + 44*q + 482881 = -628529. Is q a multiple of 30?
True
Let z = 94 + -86. Let m be (2844/8)/(3/4). Suppose -105 = -q - 3*w, -m = 3*q - z*q + 2*w. Does 16 divide q?
True
Suppose 0 = -0*m - 4*m + 3*b + 396, 0 = 3*b - 12. Let s = m + -71. Is 18 a factor of s?
False
Suppose 114061 + 16683 = 23*w - 7900. Is 35 a factor of w?
False
Let p = -75 - -67. Let f be 3/(60/p) + 4166/(-10). Let r = -255 - f. Is r a multiple of 27?
True
Suppose -4*l - 3*b + 3787 = -6*l, -2*l - 5*b - 3747 = 0. Let q = -1034 - l. Is q a multiple of 28?
False
Suppose -i + 2 - 3 = 0. Suppose 29 = l - 3*o, 189 = 4*l - o + 106. Is (i - l/(-8))/((-1)/(-16)) a multiple of 8?
True
Suppose -7179 = -11*o + 5251. Suppose 20 = 4*f, -1355 - o = -4*g - f. Is 31 a factor of g?
True
Suppose 0 = 3*f - 8*f + 2*i + 108, 4*f - 91 = -3*i. Let w be -10*7/((-7)/f). Does 11 divide (w/(-50))/((-2)/10)?
True
Let z(r) = r**2 - 26*r + 198. Let y be z(9). Let f = 163 + -39. Let q = y + f. Is 44 a factor of q?
False
Let t(q) = 107*q**2 + 20*q - 246. Is t(9) a multiple of 20?
False
Suppose 150*a = 202*a - 3900. Is 10 a factor of a?
False
Let s(d) = -3*d**3 + 18*d**2 - 4*d - 40. Let f(y) = 13*y**3 - 70*y**2 + 18*y + 159. Let v(k) = 2*f(k) + 9*s(k). Is v(21) a multiple of 13?
False
Suppose 0 = -5*a + 4 + 11. Let o(d) = 5 + d + 2*d + 3 - d**3 - a*d**2 + 8*d**2. Is o(5) a multiple of 3?
False
Let y = -7879 - -19227. Is 10 a factor of y?
False
Suppose 17*g = -g + 8*g + 7420. Is g a multiple of 13?
False
Suppose 408 = 11*g + 2663. Let p = -154 - g. Is 8 a factor of p?
False
Let n(w) = 8*w**2 - 71*w - 117. Is n(-27) a multiple of 106?
True
Let i = -7205 + 8807. Is 178 a factor of i?
True
Let i = 23 + -21. Suppose -5*q = -i*q - 48. Let a = 97 - q. Does 27 divide a?
True
Let r(d) = -3*d**2 + 11*d + 12. Let c be r(4). Suppose 0 = -c*v + 2026 + 2302. Does 96 divide v?
False
Let l be 6/(-9) - (-68)/12. Suppose 0 = -2*o - 4*n + 16, 2*n + 3*n = 5*o + 5. Suppose l*d = 5, -3*d - 291 = -5*a + o*a. Is a a multiple of 14?
True
Let c be (-1 + 7)*(-5)/((-105)/(-14)). Let u(h) = h**3 + 4*h**2 - h - 4. Let w be u(c). Suppose 4*b - 155 + 3 = w. Is b a multiple of 8?
False
Let n(u) be the first derivative of 87*u**2/2 + 68*u - 226. Is n(7) a multiple of 8?
False
Let z = 14456 + -386. Is z a multiple of 42?
True
Suppose -3*m = 2*o - 4, -m - 4*m - 2*o + 12 = 0. Suppose -m*q = -113 + 13. Let k = q - -53. Is k a multiple of 28?
False
Let b(c) = 118*c**3 + 2*c**2 + 11*c - 37. Does 41 divide b(6)?
False
Suppose -i = -3*p - 166, -17*i + 335 = -15*i - 5*p. Suppose 0 = -9*r + i + 1013. Does 20 divide r?
False
Suppose 0 = -5*x + 5*f + 44340, -28728 = -5*x - f + 15576. Is 6 a factor of x?
True
Suppose 0 = -39*t - 99086 + 425327 + 275490. Is t a multiple of 111?
True
Let s(n) = 2*n**2 - 31*n + 15. Let m(b) = b**2 - 15*b + 6. Let o(z) = -5*m(z) + 2*s(z). Let v(k) = -3*k - 4. Let i be v(-5). Does 6 divide o(i)?
False
Suppose -23*i + 242256 = 13*i + 6*i. Is i a multiple of 56?
True
Suppose 6 = -j - 5*i, 2 = 3*i + 5. Is j + 1040 - (-3 - 2) a multiple of 36?
True
Suppose 0 = x - 99 + 67. Suppose 139 = k + x. Let n = k + -97. Is 2 a factor of n?
True
Is 23862/776*(-7840)/(-12) a multiple of 49?
True
Let t be 8/(-12)*((-4 - -4) + 12). Let k be 4/t + (-95)/10. Is (24 - 1)/((-5)/k) a multiple of 19?
False
Let v be -275*2 + 8/((-56)/21). Let j = -329 - v. Is j a multiple of 8?
True
Suppose 0 = 1509*d - 1508*d - 3*m - 18661, 74542 = 4*d + 5*m. Is 171 a factor of d?
False
Let b(f) = f**2 - 6*f - 12. Let y be b(6). Suppose -2*p = -404 + 8. Is y/18*p/(-4)*1 a multiple of 10?
False
Is 65 a factor of 81/(-3) - (-38251 + -61)?
True
Suppose m + 4*i = 24, -3*m + 5*m - i = 3. Suppose 1812 = 11*r - 7*r + m*v, -5*v = 3*r - 1365. Does 45 divide r?
True
Let f = -4233 + 7638. Is 13 a factor of f?
False
Suppose 4*y - p = 166, -y + 4*p + 15 = -19. Suppose -3*q - 10 - 92 = 0. Let f = y + q. Is f a multiple of 3?
False
Let q be (100/(-40))/((-3)/6). Let i(v) = -v**3 + 7*v**2 + 8*v + 5. Let o be i(8). Suppose -2*z = -o*d + 178, q*d - 16 - 160 = 4*z. Does 12 divide d?
True
Suppose -322 = 11*s + 41. Does 40 divide 274/1 - 198/s?
True
Suppose 102*b + 291698 = -104*b + 217*b. Is b a multiple of 182?
False
Does 19 divide 104/312 + 2/(-6)*-8102?
False
Suppose 3*o + 3*h = 45, 3*o - 2*h - 15 - 45 = 0. Let m(f) = -f**3 + 3*f**2 + 5*f. Let s be m(4). Suppose s*d - 206 = -o. Is 29 a factor of d?
False
Suppose -16*r + 304881 + 32559 = 0. Is 1/(-1 + (r/(-4212))/(-5)) a multiple of 78?
True
Let k = 424 - 433. Does 26 divide -312*(2/18)/(k/54)?
True
Let s be 1 + -3 - ((-77)/11)/(-7). Is 20 a factor of (-32)/(s - (-152)/56)?
False
Suppose 50*o = -175789 + 339954 + 181635. Is o a multiple of 30?
False
Let p(s) = -445*s - 15. Let z be p(-1). Let o = z + -414. Is o a multiple of 4?
True
Let d be (-4)/18 - 48/27. Does 6 divide (-30 + 15)/(d/16*3)?
False
Suppose 57*r = 47*r. Suppose r = -17*v + 22*v - 5*h - 1595, 4*v - 1308 = -4*h. Does 8 divide v?
False
Suppose 0 = 4*p - 12 - 8. Suppose -55 - 5 = -p*w. Does 29 divide 627/w - 2*(-1)/(-8)?
False
Let w(f) = -f**2 + 7*f - 4. Let u be w(6). Let b = 2747 - 2753. Is 38 a factor of (-222)/b + ((-6)/(-2) - u)?
True
Suppose 48*g - 3680 = 20*g - 12*g. Suppose 2*z - b - 4*b = 2, -z = b - 1. Is 23 a factor of (-1)/(91/g - z)?
True
Suppose -c + 3*o + 12 - 215 = 0, -3*c + 3*o = 609. Let t = 221 + c. Is 9 a factor of t?
True
Let o = -162 + 164. Suppose o*s - c - 187 = 0, 3*c + 256 = 4*s - 121. Does 9 divide s?
False
Suppose 5453 + 8281 = 3*n - 6*h, -5*n = -h - 22881. Is 11 a factor of n?
True
Let y = -89 + 319. Suppose -3965 - y = -5*n. Suppose -631 - n = -10*x. Does 15 divide x?
False
Let o(q) = -22*q + 20*q**2 + 30 - 22*q**2 - 17*q**2 - q**3. Does 17 divide o(-18)?
True
Suppose 38*v - 172584 = -13*v. Is 21 a factor of v?
False
Suppose -79*b + 4745 = -319945. Is b a multiple of 5?
True
Suppose 18*l - 5*r = 19*l - 3942, -2*l - 4*r = -7848. Does 19 divide l?
False
Let z = 29 + -25. Suppose 844 = -z*l + 4*w, l + 2*w + 33 = -190. Let c = 348 + l. Is 19 a factor of c?
True
Suppose 18975 = 270*h - 506*h + 259*h. Is 25 a factor of h?
True
Suppose -91 = -13*r - 13. Suppose -10*v - r = -56. Suppose -v*a = j - 700, 4*a + 2*j - 560 = j. Is a a multiple of 35?
True
Let p(t) = t**2 + 20*t + 24. Let y(s) = -s**3 - 11*s**2 + 13*s - 7. Let r be y(-12). Let x be p(r). Suppose 4*k + 372 = x*k. Does 62 divide k?
True
Is 17 a factor of 4/(-32)*4 + ((-1129765)/14)/(-13)?
False
Let u = -1604 - -3107. Does 4 divide u?
False
Let g(y) = y + 9. Let i be g(-1). Let h be (-7 - (-44)/i)*2/(-1). Let u(x) = 7*x**2 + 3*x + 4. Is 8 a factor of u(h)?
False
Let i be 3/1 + 9 + -6. Let w = -18 + i. Is 8 a factor of (43/(-3))/(4/w)?
False
Let g(y) = -3*y**3 + 4*y**2 - 2*y - 9. Let q be g(2). Is 7 a factor of (-56)/(-140)*q/12*-10?
True
Suppose 40 = -2*n - l, -13 = -5*l - 3. Is (-11)/3*3*n a multiple of 60?
False
Let l be (-10)/(-1 + 2 + 1). Let a be (-2)/(-1 - 26/(-28)). Let g = l + a. Does 11 divide g?
False
Suppose -2*l - 252 - 136 = 0. Let j = l - -426. Is j a multiple of 8?
True
Is 26 a factor of (-9053442)/(-603) + ((-52)/8 - (-1)/(-2))?
False
Let w = 171 + -151. Suppose -3*l = 122 - w. Let b = l - -55. Is 7 a factor of b?
True
Let p = -761 - -786. Suppose -p*s - 4511 = -38*s. Is s a multiple of 4?
False
Suppose -y + 5*y = -2*t + 16, 0 = -3*t + 12. Let i(q) = -y*q**2 + q**3 - 4*q**2 + 2*q**2 - 3*q**3. Does 3 divide i(-3)?
True
Let k(g) = g**2 - 4*g + 50. Let v be k(0). Let r = v + -48. Suppose 3*o - 460 = -0*o - 5*i, -r = 2*i. Is o a multiple of 31?
True
Suppose 0 = -4*i - 11 - 5. Let p be ((-52)/i - -4)*7. Suppose -2*m + 9*m = p. Does 3 divide m?
False
Suppose -5*h = 4*v - 20, -13*v - 2*h + 25 = -8*v. Suppose 4*s + v*l - 445 = 918, -2*s + 682 = 2*l. Is s a multiple of 19?
True
Let h = -28 - -29. Let i be -5 + 53 - (2 - h). Suppose 0 = -q - z + 2*z + i, 5*q + 5*z = 245. Is q a multiple of 24?
True
Is 2/(-1) - -5 - (-8091 - (1 + -6)) a multiple of 115?
False
Suppose 13*c - 234081 = 305125 - 125936. Does 17 divide c?
True
Suppose 2*q - 4*q = 4*a + 38, -7 = 3*q - 4*a. Is (-673)/(-4) + q/36 a multiple of 8?
True
Let f(x) = 