Suppose -73 = -2*o - m + 20, t*o + 2*m - 230 = 0. Is o a multiple of 19?
False
Suppose -49310 = -35*u + 94820. Is u a multiple of 142?
True
Does 3 divide ((-75)/(-12))/(215/(-1380) + (-3)/(-18))?
False
Suppose 3*f - 24601 = -z, -24603 = -181*f + 178*f - 3*z. Is 82 a factor of f?
True
Let r(l) be the third derivative of -l**6/60 - 5*l**5/6 + 14*l**3 + 17*l**2 - 4*l. Does 52 divide r(-25)?
False
Let n = 457 + -226. Suppose 219 = 5*w - r - 912, -w + n = r. Does 22 divide w?
False
Suppose 2*p + 5*u - 185 = 199, -p - 3*u = -194. Let s be (-2)/(-6) - p/(-39). Suppose -2*q - s - 1 = 0, -338 = -2*c - 4*q. Does 34 divide c?
False
Let s be 309/(-2*(-3)/4). Suppose 2*m - 4*m = -3*o - 144, o + 4 = 0. Let j = s - m. Is j a multiple of 14?
True
Let t = 19426 + -12257. Does 107 divide t?
True
Let i be 3/(2 - -1) - (-2 + -1). Suppose 47 = -i*d - 133. Let c = 108 + d. Does 21 divide c?
True
Let o(r) = r**3 - 64*r**2 + r - 1713. Is o(66) a multiple of 11?
False
Let j = -384 - -372. Let q(m) = 7*m**2 + 6*m - 34. Is q(j) a multiple of 11?
True
Suppose 0 = -p + 9*o - 14*o + 115, -3*p = 3*o - 357. Is 6 a factor of ((-91)/(-65) + -1)/(1/p)?
True
Suppose 2*t + 287 - 1019 = 0. Does 28 divide (t/30 + -1)/(2/30)?
True
Suppose 18400 = 10*s - 160. Let v = 2713 - s. Does 12 divide v?
False
Let k = 34 + 23. Suppose -4*q + k + 19 = 0. Does 25 divide -4 + (-1 - -2*q)?
False
Let w = -18867 - -26506. Is 8 a factor of w?
False
Let p(s) = -25*s**3 - s - 2. Let d be p(-1). Suppose 0 = -d*v + 31*v - 1008. Is 16 a factor of v?
True
Let w(q) = q**3 - 26*q**2 - 100*q - 165. Is 7 a factor of w(31)?
True
Let p = 51 + -28. Suppose 2*q = 4, 3*q + 3 - p = -2*n. Suppose -n = -2*y + 17. Is y a multiple of 7?
False
Suppose 63358 - 41002 = 4*g. Is g a multiple of 9?
True
Suppose -2*t = 14*t - 9120. Suppose 0 = -550*z + 544*z + t. Is z a multiple of 5?
True
Does 4 divide 73731/5 + (-9 - 2499/(-255))?
False
Suppose -4*b = 9*b - 6*b - 16555. Does 21 divide b?
False
Suppose -12*m + 48068 - 19566 = -62950. Is m a multiple of 21?
False
Let m = 183 + -181. Suppose 13*b - 8*b + 3*a = 383, -m*b - 5*a = -138. Does 9 divide b?
False
Let m = -12046 - -14854. Is m a multiple of 28?
False
Suppose 388*z = 386*z + 3*d + 5897, -2*z + 5882 = 2*d. Does 8 divide z?
True
Let z be ((-6)/4)/((-5)/(30/3)). Suppose a - 4*d - 129 = 0, d - 91 = -z*a + 257. Let n = -63 + a. Does 20 divide n?
False
Let m be ((-5)/((-225)/18))/(4/130). Let d(n) = n**3 - 9*n**2 + 14*n - 27. Does 74 divide d(m)?
False
Let n = 336 + -314. Suppose -3*v - 5 = 2*w, 4*v + 0*v + 2*w + 4 = 0. Is 8 a factor of 3976/98 + (v - n/14)?
True
Suppose -2*m = -4*z - 126, z = -2 + 3. Suppose 5*x + 4*l - 17 = -m, 3*x = 3*l - 18. Is ((-1518)/88)/(6/x) a multiple of 14?
False
Let d(w) = -w**2 - 20*w - 29. Suppose 0 = -2*z + 4*g - 2, -2*z + 0*g - 26 = 2*g. Let r be d(z). Suppose -l - 177 = -3*j + l, -j + r = 3*l. Does 34 divide j?
False
Suppose 4*f = 2*f + 4. Let w = f - -27. Is 4 a factor of w?
False
Let w = 4879 + -487. Is 35 a factor of (-2)/(-10) - (w/(-40) - 8)?
False
Let a be (12 - 2)/(75/(-36) + 2). Let v be (2 - (-5)/(-1)) + a. Is (3 + v)/(-1) - (0 + 3) a multiple of 13?
True
Let l = 66 + 219. Is 28 a factor of (2 + 2/(-3))/(2/l)?
False
Let i(j) = -8*j**2 + 3*j - 12. Let p be i(3). Let w = p + 645. Is 30 a factor of w?
True
Let m be 0 - (-5)/(-3 - (-8 + 4)). Suppose 318 = m*t + t. Is t a multiple of 9?
False
Suppose -2*t = -6*t - 6*t. Suppose -15*a + 4721 + 1909 = t. Is 17 a factor of a?
True
Let b(v) = -v**2 - 10*v - 2. Let y be b(-10). Let a(c) = 100*c**2 + c + 7. Is 10 a factor of a(y)?
False
Let n(f) = 135*f**2 + 677*f + 25. Let d be n(-5). Let l be -1 + 1 - -52 - -1. Is (l + 0)*(8 - (d - 8)) a multiple of 13?
False
Suppose -50 = 11*o - 13*o. Let r(i) = -45 + 18 - o - 16*i - 6. Is r(-7) a multiple of 18?
True
Let g be 3/((-24)/26) + 16/64. Is 2 a factor of (2 + 0 - -5) + (g - -6)?
True
Let k = -1871 - -7695. Is 52 a factor of k?
True
Let m(a) = -4*a**2 - a. Let b(w) = 29*w**2 - 10*w - 35. Let f(i) = b(i) + 3*m(i). Is f(-7) a multiple of 23?
False
Let r(p) = 67*p**2 + 21*p - 115. Is 37 a factor of r(-20)?
False
Let d(s) = -s**3 + 10 - 29*s - 14*s**2 + 15*s**2 + 15*s**2. Is 7 a factor of d(13)?
True
Let f = 3095 + -4653. Let v = -924 - f. Is v a multiple of 40?
False
Let h = 12212 + 10035. Is h a multiple of 13?
False
Suppose -11*w + 22754 = 5*p - 13*w, -3*w + 13644 = 3*p. Is p a multiple of 7?
True
Is (1265 - (1 + 0))/((-138)/(-483)) a multiple of 27?
False
Let p(n) = 89*n - 111. Does 46 divide p(9)?
True
Suppose -4*n + 3*h - 2404 = 0, 5*n - 2*h - 1216 = 7*n. Let k = 131 - n. Is k a multiple of 35?
True
Let h = -8750 + 10752. Does 13 divide h?
True
Let p(w) be the second derivative of 9*w**5/5 + w**4/6 + 5*w**3/6 - 21*w**2/2 + w + 26. Is p(3) a multiple of 82?
True
Is 6498968/231 - (4/(-34) + (-900)/(-5049)) a multiple of 9?
True
Let s = 64 - 55. Does 11 divide ((-6)/s)/((-8)/1980)?
True
Let c be ((-2)/5)/(18/(-21015)). Suppose 0 = -q - 3*s + c, 2*q - s + 0*s - 948 = 0. Is 8 a factor of q?
False
Suppose 2*g + 20*g = -16*g + 1155352. Is 22 a factor of g?
True
Suppose -2*w + 7810 = 3*f, 8*f - 19558 = -5*w + 6*f. Is w a multiple of 13?
False
Let g be 7/((-126)/(-68)) - (-4)/18. Let s(i) = -i**3 + 4*i**2 + 6*i - 4. Let o be s(g). Suppose 0 = w - 2, 4*w - o = p - 3*p. Is 6 a factor of p?
True
Suppose 60242 = 166*v - 152*v. Is 13 a factor of v?
True
Let a(c) = -7*c - 27. Suppose -3*r + 45 = -3*h, 3 - 12 = 3*r. Is a(h) a multiple of 33?
True
Let y = 12 + -1. Suppose -5*x - 6 + y = 0. Suppose -117 - x = -2*l. Is l a multiple of 14?
False
Let z = -219 - -230. Is ((-171)/(-9))/(1/z) a multiple of 19?
True
Let s(v) = -248*v - 5668. Is s(-90) a multiple of 23?
True
Let u(x) = 5*x**3 + 3*x**2 + 2*x - 4. Let j be u(4). Suppose 3*w - 114 = j. Is 9 a factor of w?
True
Let s = 185 - 233. Is s*(1 + 11/(55/(-20))) a multiple of 24?
True
Suppose 0 = 21*j - 53330 - 43480. Is j a multiple of 132?
False
Is 19 a factor of (3458/(-910))/(2/(-48210))?
True
Suppose 29*k - 49532 + 164504 = 42*k. Does 22 divide k?
True
Suppose 2*p + 8235 = x, -x + 3*p + 234 = -7993. Is x a multiple of 7?
False
Suppose -40*o = -13*o + 2493 - 11403. Is o a multiple of 7?
False
Let h = 82 + -100. Let f be 4*(-349)/(-6)*h/(-12). Let x = f - 145. Is 21 a factor of x?
False
Let w = 134 - 89. Suppose w = 9*q - 0*q. Let d = q - 2. Is 3 a factor of d?
True
Suppose -1994 = -3*k + 4*b, -1978 = -3*k - 93*b + 89*b. Is 12 a factor of k?
False
Suppose 5*u + 16609 = 3*z, -2*u - 11062 = -25*z + 23*z. Does 3 divide z?
True
Let u(b) = -74*b - 19. Let v be u(-3). Suppose -v + 643 = 5*h. Does 15 divide h?
False
Suppose -a = 3 + 1, -4*a = -3*k + 25270. Is 11 a factor of 3/(45/k) - 1/5?
True
Let h be (-5)/(-10*2/24). Suppose -11*o - 50 = -h*o. Is 5/((-20)/14)*o a multiple of 17?
False
Suppose -1121 = -d - 3*y - 112, -2*d + 2002 = 2*y. Does 156 divide d?
False
Let x be (4/8*-26)/(-1). Suppose -25 - 14 = -x*r. Suppose -6*k + 423 = r*k. Is 7 a factor of k?
False
Let m be (26/(-39))/((-1)/6). Suppose m*b - 3*j = -2720, -2*b - 2065 = b + 4*j. Is 19 a factor of (-17)/(-102) - b/6?
True
Let r(o) be the third derivative of 15*o**4/8 + 109*o**3/6 + 4*o**2 + 8*o. Is r(36) a multiple of 13?
True
Suppose 19 = -t - 3*b, 3*t - 2*b + 4*b = -22. Let u(h) = -8*h**3 - h**2 - 7*h - 29. Does 11 divide u(t)?
True
Let v(q) = 20*q + 10. Let p be v(5). Let a = 119 - p. Let y(f) = -f**2 + 11*f. Is 10 a factor of y(a)?
False
Let z = 284 + -255. Suppose -26*i - 168 = -z*i. Does 16 divide i?
False
Let c = 36 - 41. Let m be (-2)/((-10)/(-3)) + 117/c. Let w = -19 - m. Is w a multiple of 2?
False
Does 68 divide 140273/145 - (-8)/(-60)*3?
False
Suppose -5*g + k = 5, 9 + 21 = -5*g - 4*k. Let y = -2 - g. Does 12 divide 6/(12/50) - (1 + y)?
True
Let x(y) = 226*y**2 + 4*y - 9. Is x(-5) a multiple of 191?
False
Let j = 39 - 35. Let c(o) = -j - o - 3*o + 6*o. Is 3 a factor of c(12)?
False
Let q be ((-4)/(-20) + 12/(-10))*-1. Suppose 2*u - 16 = -4*d, 5*u + 36 = 5*d + q. Suppose 0 = 4*j - d*j + 86. Is 12 a factor of j?
False
Let s(u) = u**3 + 115*u**2 - 238*u - 324. Is s(-117) a multiple of 144?
True
Let s(r) = 123*r**2 + 294*r - 38. Is 17 a factor of s(-7)?
False
Suppose 0 = 10*n - 5*n - 25. Suppose i = 3*m - 21, 4*i = 3*m - n - 25. Suppose 0 = -4*o + 