*3 + 3*m + 6. Let s be v(-2). Suppose -s = 2*k, -5*k + 16 = -3*f - 0*k. Does 24 divide 2*f/(-16)*(-1 + 97)?
True
Suppose 62*q = 2271 + 15027. Suppose -2*t = c - q, 3*c - 288 - 544 = -5*t. Is c a multiple of 9?
False
Suppose 0 = 4*d + 151 + 217. Let n = 245 + d. Does 51 divide n?
True
Let f = 41 - 41. Let h be 7/(-14) - (-61)/2. Is 14 a factor of f + h + -4 - 0/(-1)?
False
Let h(t) = 3*t - 4. Let b be 3/(-2)*(-8)/6. Let p be h(b). Suppose 0 = 4*w - 4*j - 228, -3*j = p*w - 77 - 12. Is w a multiple of 8?
False
Let j(k) = 98*k**2 + 0 - 2 + 4. Let l be (33 - 20) + 2 + -14. Is j(l) a multiple of 25?
True
Is 19 a factor of (-10177376)/(-288) + 0 + 4/(-36)?
False
Suppose -20*i - 25*i - 42*i = -1962198. Is 14 a factor of i?
True
Let f = 13 + -10. Let d(y) = y + 6. Let c be d(-3). Suppose -c*s = q - 130, -4*q - 65 = -f*s + 2*s. Does 7 divide s?
False
Let j = 5937 - 2108. Does 16 divide j?
False
Suppose 12*p = -18*p - 24450. Let q = p + 1428. Does 13 divide q?
False
Suppose 2*b = -2*m + 45860, -35*m + b = -40*m + 114674. Is 61 a factor of m?
True
Suppose 41*l = 268*l - 1366767. Does 4 divide l?
False
Let m be (6/5)/((-50096)/7160 + 7). Let h = m - 244. Is 19 a factor of h?
True
Let g be (-72)/45*(-10)/4. Suppose -199 = -g*b - 187. Suppose -4*j - j + 4*m + 95 = 0, -b*m - 30 = -j. Is 5 a factor of j?
True
Suppose 1254 = 4*y - 2734. Let r = -632 + y. Is 16 a factor of r?
False
Let z = 136 - 173. Let k = 105 + z. Is 68 a factor of k?
True
Suppose l + 7 = 4*t, 7*l - 4*l + t = 18. Suppose 0 = l*d + p - 594 - 400, 5*p = 4*d - 801. Is 23 a factor of d?
False
Suppose -20647 = -10*n + 10403. Suppose 53*x - 44*x = n. Does 10 divide x?
False
Suppose -15*s + r + 32377 = 0, 3384 = 2*s - 5*r - 967. Is s a multiple of 35?
False
Suppose k + 3 = 2*k. Let o(w) = w**2 + 423*w + 3320. Let h be o(-8). Suppose 0*p = -z + p + 103, h = p - k. Is 29 a factor of z?
False
Let o(h) = -7*h - 21. Let p be o(-4). Let j(g) = -g**2 + 8*g - 5. Let s be j(p). Does 7 divide s/9 - (-732)/108?
True
Let r(c) be the first derivative of -67*c**5/120 + 3*c**4/8 - 19*c**3/3 + 32. Let p(z) be the third derivative of r(z). Does 15 divide p(-2)?
False
Suppose 109*j - 116*j = -13440. Suppose -2*h + 387 = r, 4*r + r + 5*h - j = 0. Is r a multiple of 21?
False
Let c(b) = -7*b + 35. Let r be c(5). Suppose 4*f = -r*f + 1872. Is f a multiple of 10?
False
Let m(v) = -13*v - 8*v**2 - 5*v**2 + v**2 - 1 + 14*v**2. Let c be m(12). Suppose -4*y - 35 = -c. Is y a multiple of 12?
True
Let b(h) = -19*h - 85. Let z be b(-5). Is 2/z + 1121/95 a multiple of 4?
True
Let w = 4210 + -412. Is w a multiple of 62?
False
Let v(i) be the second derivative of 5/2*i**4 - 23*i + 0 - i**2 - 2/3*i**3. Does 16 divide v(-1)?
True
Let p = -1284 - -4903. Is 47 a factor of p?
True
Let o = 26 - 31. Let a be (-3 - -1)*(-12)/9*-27. Is 12 a factor of (a/20)/(-6) - 177/o?
True
Let s = 46 - -20. Let o = -64 + s. Does 2 divide (-96)/20*(-3 - o)?
True
Suppose -76 + 382 = -6*m. Let p = -49 - m. Suppose -3*t + 274 = p*f - 2*t, 5*f + t - 688 = 0. Does 23 divide f?
True
Suppose -d = 3*d - 32. Suppose -3*w = -d*w - 40. Is (68/6)/(w/12 + 1) a multiple of 3?
False
Let s(q) = -19*q - 296. Is 2 a factor of s(-23)?
False
Let z(u) = 5*u**2 + 138*u + 1160. Is 28 a factor of z(-68)?
True
Suppose -3*z + 126456 = 42*q - 45*q, 4*z = -2*q + 168656. Does 248 divide z?
True
Suppose 0 = -2*m - 26 + 6. Let s be (-5)/m + 54/4. Suppose 2*j = s + 22. Does 7 divide j?
False
Suppose -10 = -2*w, 0 = 4*u + 4*w - 4968 - 2528. Suppose -4*m + 1135 = 3*o - 9*m, -5*o - 3*m = -u. Does 19 divide (-76)/(-6)*o/25?
True
Suppose -4*r - 4*k = -1124, -2*r = -r - 4*k - 286. Let u = r - 147. Is 15 a factor of u?
True
Let t be (2/(-4))/((-2)/24). Suppose 0 = -f + 4*q + 23, f - 5*q + 90 = t*f. Let i(n) = n**3 - 18*n**2 - 18*n - 1. Is 14 a factor of i(f)?
False
Suppose 0 = -10*w - 4429 - 2931. Let z = w - -1998. Is z a multiple of 91?
False
Let o = -1151 + 449. Is 13 a factor of o/(-2)*((-6)/(-3) - 1)?
True
Let c(z) be the third derivative of 0 + 0*z + 11/2*z**3 + 1/8*z**4 - 2*z**2. Is c(5) a multiple of 15?
False
Is 26 a factor of (-9067)/(-5) + ((-45)/150 - 1/10)?
False
Let u(w) = 2581*w - 5296. Is 7 a factor of u(5)?
True
Suppose -7*q - 3*u + 1785 = -4*q, 3*q = u + 1789. Let y = 1086 - q. Is y a multiple of 98?
True
Suppose 33*h - 2084 = 37*h. Let d = h - -549. Does 28 divide d?
True
Suppose 84*q + 354 = 3*m + 87*q, -5*m = -q - 602. Is 4 a factor of m?
True
Is (-260)/585 - (3 + (-333908)/18) a multiple of 99?
False
Let s = 4920 - 3267. Is 29 a factor of s?
True
Let m be 1*696 - (-4 + 11). Suppose 8*z - 2673 = -m. Is 29 a factor of z?
False
Does 5 divide 0 + 3706/5 - (-1)/100*-20?
False
Suppose -15*m - 15 = -20*m. Is 3 a factor of (m - 1)*(17 - -13)?
True
Does 37 divide (407/4)/(16 - 4584/288)?
True
Let u(j) = -j**3 + 164*j**2 + 135*j + 398. Does 14 divide u(163)?
True
Suppose 0 = 2*z - 5*h + 4, 4*z + 2*h = z + 13. Let g(l) = z - 4 - 2 - 14*l. Is g(-3) a multiple of 10?
False
Let u = 65 + -52. Suppose -17*j = -u*j + 268. Let o = j + 232. Does 15 divide o?
True
Is 3 a factor of (-2)/(-21)*3 + (-165048)/(-483)?
True
Let c(k) = 2. Let q(j) = -12*j - 27. Let h(a) = -2*c(a) - q(a). Is h(2) a multiple of 2?
False
Let t(f) = 1771*f**3 - 3*f**2 + f + 2. Let y be t(1). Suppose -187 = 6*j - y. Does 4 divide j?
True
Let q(y) = 73*y + 5. Let f(j) = -148*j - 10. Let u(x) = -6*f(x) - 13*q(x). Suppose -4 - 2 = 3*g. Is 11 a factor of u(g)?
False
Suppose 4*v + 4*g = 8*v - 24, 2*v = -4*g - 6. Suppose -v*j - 12 = -4*p, 3*p - 7*p = 4*j - 40. Does 6 divide p?
True
Let b(p) = -11*p - 32. Let v be b(-4). Does 14 divide -970*((-2)/v - 224/960)?
False
Let z = -40 - -38. Does 5 divide 4/(-22) + ((-14148)/66)/z?
False
Let x be (-8)/6*(-3600)/320. Suppose 10*j = x*j - 4040. Is 36 a factor of j?
False
Let j = -400 - -1750. Does 3 divide j?
True
Let k(d) = d**2 + 10*d + 27. Let m be k(-8). Let a(y) = 8 + 14 + 7 + y**2 - m - 16*y. Is a(23) a multiple of 16?
False
Let f(a) = -43*a**3 - 17*a**2 - 5*a + 56. Is f(-6) a multiple of 7?
False
Let n(b) = b**2 - 20*b - 25. Let l be n(21). Let r be -1060*((-5)/25)/(l/(-10)). Suppose 0 = -3*f + 4*c + 749, -2*f - 5*c = -0*c - r. Does 33 divide f?
False
Let x = 48227 + -26307. Is x a multiple of 80?
True
Let b(p) = -p**2 - 98*p + 42. Does 22 divide b(-84)?
False
Is (568 + 6/(-2))/((-59)/(-1062)) a multiple of 10?
True
Let t(f) = -3 + 6 - 79*f + 1 + 5*f. Let r be t(-1). Suppose 6*x = 3*x + r. Does 5 divide x?
False
Suppose 405*w - 15863 = 372*w + 73369. Is 242 a factor of w?
False
Let z(j) be the third derivative of j**6/360 + j**5/15 - 5*j**4/12 - 3*j**3 - 7*j**2. Let y(u) be the first derivative of z(u). Is 38 a factor of y(4)?
True
Let r(o) = -o**2 + 30*o + 84. Let h be r(25). Suppose -25*b + 14*b + h = 0. Is b even?
False
Let w(n) = -n**3 + n. Let z be w(0). Suppose -2*p + 75 = 3*j - 2*j, z = -3*p - 4*j + 110. Let q = 92 - p. Is q a multiple of 7?
False
Suppose -20*d + 510 = -23*d. Does 10 divide (-12)/((-506)/d - (-14 - -17))?
True
Let q be 2 + 4302 + 3 - (-2 - 3). Suppose 10*l = q + 678. Is 6 a factor of l?
False
Let q = -2571 - -2580. Let a(z) = 0 + 0*z + 6 + z**2 - 5*z. Does 6 divide a(q)?
True
Suppose 37*b - 1428 = 2543 - 567. Is b a multiple of 3?
False
Let v(r) = r**3 - 16*r**2 - 30*r - 24. Let b = -328 - -346. Is v(b) a multiple of 14?
True
Let l be (24/16)/((-2)/(-4)). Suppose -5 + l = b. Let g(f) = -12*f - 2. Does 4 divide g(b)?
False
Let k(q) = q**3 - 8*q**2 - 10*q + 15. Let x be k(9). Let c be 30/2 - (-4 + x + -1). Is (c/(-4))/((-10)/300) a multiple of 14?
False
Let r = 157 + -277. Let y be ((-20)/110 - (-48)/22)*84. Let d = r + y. Is d a multiple of 13?
False
Let u = -368 + 368. Suppose u = 19*q - 537 - 470. Is q even?
False
Suppose 9*k - 8*k = s + 5, -25 = -5*k + 2*s. Suppose 0 = -k*d + 25, 3*d - 8*d = -b + 881. Is b a multiple of 16?
False
Suppose 0 = -o - 15 - 121. Let f be o/(-22) - 4/22. Is 15 a factor of (-5 - 28)/((-2)/f)?
False
Suppose 49 = 2*f + 19. Let u be 27*(1 + (-10)/f). Suppose -75 - 51 = -u*k. Is 14 a factor of k?
True
Is 8 a factor of 297132/14 - (0 - -4)/(118 - 132)?
True
Let r = 27047 - -14245. Does 74 divide r?
True
Let a(k) = -2*k**3 + 47*k**2 + 8*k + 19. Let h be a(23). Let g = -369 + h. Does 26 divide g?
False
Suppose 3*s = -2*n + 62, -