divide p(-42)?
False
Let v(r) = 639*r**3 - 3*r**2 - 21*r + 46. Is v(2) a multiple of 88?
True
Suppose 10*l - 1025 = 5465. Suppose 381 = 3*k + j, -3*j = 5*k - 6*j - l. Does 51 divide k?
False
Let c = -91 + 86. Let l(f) = 20*f + 33. Let m be l(c). Let i = m + 106. Is 3 a factor of i?
True
Let j be (-108524)/(-130)*10/(-4). Let t = j - -3451. Is t a multiple of 13?
False
Let m(o) = o**2 + 2*o. Let f be m(0). Let g be 6 - f - (3 + -4 - -3). Suppose 4*v + 16 = 0, g*b = -3*v + 654 - 66. Does 50 divide b?
True
Suppose -590*c = -3*n - 585*c + 18554, 2 = c. Is 13 a factor of n?
True
Let v(l) = 3*l - 9. Let p be v(3). Suppose -2*d - 11 = -2*w - 149, 5*d - 15 = p. Let u = 176 + w. Is u a multiple of 11?
True
Let m(s) be the first derivative of -19*s**2 + 3*s - 1. Let k be (-15)/30 - -3*(-2)/4. Does 15 divide m(k)?
False
Let g = 160 + -96. Suppose -5*n = 14 - g. Does 5 divide 4/n - 234/(-15)?
False
Let o(t) = 8*t - 41. Let b be 1 + (0 - (-11 - -6)). Does 7 divide o(b)?
True
Let s(i) = i**2 - 20*i + 24. Let z be s(19). Suppose 3*x + 4*d - 2086 = 0, -z*d + 1386 = x + x. Suppose 9*g - x = -68. Is 10 a factor of g?
True
Suppose -2*n + 4*s = -56, 0*n = -3*n + 3*s + 96. Suppose 0 = -n*x + 31*x + 530. Does 21 divide x?
False
Let a(k) = 12*k**2 - 4*k - 31. Let w be a(-7). Suppose 0 = 3*c - 5*b + 5, -5*b = 5*c - 0*c - 5. Suppose -2*s + 7*s - w = c. Is s a multiple of 7?
False
Suppose 9*h + 25 - 61 = 0. Let o(k) = 7*k + 1. Is 13 a factor of o(h)?
False
Does 23 divide 435/(-6)*40338/(-405)?
False
Suppose -3*z = 5*z - 440. Let i = 58 - z. Suppose -i*s + 39 + 52 = k, 2*s + k = 59. Does 16 divide s?
True
Let z(w) = -w**3 - 50*w**2 - 55*w + 134. Let i be z(-49). Does 23 divide 6 + (6 - 3) + i?
True
Let x(h) = 45*h**2 + 118*h + 704. Does 165 divide x(-8)?
True
Let z be (4 - 4) + 0 - -1*4. Suppose z*g + 2*s - 20 = 0, -g - 2*s + 17 = 2*g. Let c(t) = 2*t**3 - 2*t**2 + 4*t - 4. Is 20 a factor of c(g)?
False
Suppose -3*d - 30*y + 10801 = -29*y, d - 3612 = 2*y. Does 3 divide d?
False
Suppose -2*o + 5*j = 10 - 15, 3*j = o - 3. Suppose 0 = 3*u + 5*f - 354, 0 = -o*u - 2*u - f + 229. Does 12 divide u?
False
Suppose 14595*x - 14582*x = 49140. Is 68 a factor of x?
False
Let k(t) = t**3 + 17*t**2 + 5*t. Let y be k(-17). Is 10 a factor of (3 + y/20)*-64?
True
Let s(d) = d**2 + 147*d + 6120. Does 17 divide s(-62)?
True
Is 8 a factor of (-2*24)/(34 - 36)?
True
Let i be (10/3 + -2)*3. Let y be (i - -94) + -3 + 1. Let l = y + -29. Is l a multiple of 10?
False
Suppose -3*i - 4*o - 212 = 168, -3*i - 2*o = 370. Let y be (i/(-18))/(-3*4/(-54)). Is (-32)/(-6)*(-36)/y*-5 a multiple of 12?
False
Let b(x) = 21*x**2 - x - 29. Let t(s) = 39*s**2 - 2*s - 59. Let g(n) = -7*b(n) + 4*t(n). Does 41 divide g(8)?
False
Let a = 21 + -18. Let y(v) = v - 5*v + 8*v + 19 - v. Is 14 a factor of y(a)?
True
Is 216/(-270) - 18899*1/(-5) a multiple of 8?
False
Let d = -150 + 383. Let f = -82 + d. Does 10 divide f?
False
Let c(y) = 59*y + 98. Let k(m) = 58*m + 102. Let j(x) = 3*c(x) - 2*k(x). Is 108 a factor of j(18)?
True
Suppose -3*s = -5*s + 4*j - 16, 0 = 3*j - 15. Does 5 divide -7 + 8/s - -607?
False
Let k be 2 - 1791/(-2)*16/(-24). Let d = -364 - k. Is 33 a factor of d?
True
Let h = 11 + -350. Let s = -131 - h. Is 53 a factor of s?
False
Let h = -587 - -388. Let f = h + 259. Is 3 a factor of f?
True
Does 38 divide (-1 + -37)*67/(67/(-2))?
True
Let j(h) = -58 + 36*h - 70 + 33. Is 3 a factor of j(4)?
False
Let g = 15686 + 15774. Is g a multiple of 20?
True
Suppose -65915 = -4*y - 5*j, -17*y - 3*j + 82410 = -12*y. Does 15 divide y?
True
Let d be (-4)/(-10) - 58996/(-35). Suppose -5*v + d = -3*v. Is 53 a factor of v?
False
Let v be (-46)/(-391) - (-2248)/(-34). Is 20 a factor of -4 - (-11)/(v/(-4260))?
False
Let r(z) = 18*z - 57. Let w(q) = 17*q - 58. Let h(c) = -6*r(c) + 5*w(c). Is h(-13) a multiple of 39?
True
Let u = 135 - 80. Let l be u/(-110) - ((-114)/(-4))/3. Is 16 a factor of 74 + (24/30)/((-4)/l)?
False
Suppose w = -r + 2, 3*r - 33 + 7 = w. Suppose -12537 = r*o - 16*o. Is 13 a factor of o?
False
Let z = -12760 + 19066. Is 70 a factor of z?
False
Suppose -135*u + 141169 = -92*u. Is u a multiple of 67?
True
Let u(x) = 22*x - 4. Let o be u(2). Let r(c) = -o - 3*c + 0*c + 31. Is r(-13) a multiple of 6?
True
Let s = -43966 + 87998. Does 8 divide s?
True
Let a = -171 - 31. Let y be ((-14)/((-126)/(-459)))/(21/(-133)). Let f = a + y. Is f a multiple of 13?
False
Suppose 47*j + 18336 = 52*j + 2*k, -5*k = -5*j + 18280. Is 6 a factor of j?
False
Does 60 divide 7020300/1500 + (-2)/10?
True
Let p(z) = -276*z - 62. Let r be p(-2). Let t = 1114 - r. Is t a multiple of 13?
True
Suppose -117*d + 351750 = -50*d. Is d a multiple of 75?
True
Suppose 4*k - 6*k - 80 = 0. Let h be (-60)/(-25)*3/((-18)/k). Suppose -4*p + h = -108. Is 20 a factor of p?
False
Suppose -12*p + 7*p + 30 = 0. Let t be (20/(-25))/(p/(-165)). Let d = 60 + t. Does 13 divide d?
False
Let m = 865 + -378. Does 4 divide m?
False
Let x = -87702 - -158604. Is x a multiple of 18?
True
Suppose 3*v - 24*r = -23*r + 18409, -12278 = -2*v - 2*r. Is v a multiple of 16?
False
Let k(r) = -r**2 + r. Let i be k(-3). Let f be (-11)/(-2) - ((-18)/i - 2). Suppose -l - 560 = -f*l. Is l a multiple of 16?
True
Let b(g) = -g**3 + 150*g**2 - 1251*g + 179. Does 14 divide b(141)?
False
Suppose 0 = 56*g - 58*g + 60. Let h = 35 - g. Suppose -236 = h*z - 761. Is 21 a factor of z?
True
Let y = -15 + 19. Let q be 7 + (-4 - 5) + y. Suppose 3*o - q*r = 480, 800 = 5*o - r - 3*r. Does 23 divide o?
False
Suppose 1672 + 5930 = -14*f. Is (38/(-5))/(f/180 - -3) a multiple of 19?
True
Suppose -101 = 5*p - 3*r, 6 = -r - r. Let n(u) = 2*u + 42. Let m be n(p). Is ((-15)/(-10))/(m/(-44)) a multiple of 33?
True
Suppose -3*m = -2*q - 10963, 5725 = 2*m + 2*q - 1567. Does 7 divide m?
False
Let x = 492 + -493. Does 5 divide x - 7 - (2 + -59)?
False
Let x = -42 + 51. Suppose x*w + 50 = -13. Is (-191)/w + 2/(-7) a multiple of 7?
False
Suppose 25184 = 4*o - 3*v, 3*o - 31480 = -2*o + 4*v. Does 15 divide o?
False
Suppose 4*k - 278 = k + 5995. Does 17 divide k?
True
Let r = 228 - 59. Suppose 4*x = r + 335. Does 9 divide x?
True
Let x(j) = -j**3 - 20*j**2 - j - 16. Let p be x(-20). Suppose p*w + 154 = -178. Let h = 133 + w. Is 24 a factor of h?
False
Let f(u) = -43*u**3 - 4*u**2 - 6*u - 2. Let s be (0 - 4/(-4))*-1. Does 3 divide f(s)?
False
Suppose 16*y = 7*y + 36. Suppose c - 4*p - 70 = p, -405 = -y*c - 5*p. Does 4 divide c?
False
Suppose 3*b = -x + 3, -19*b + 14*b = x - 3. Let q be (-1)/1 + 2 - -2. Suppose -2*j = 4, -l - q*j + 76 = -b*l. Does 41 divide l?
True
Let c be (1*(-1 + 3))/((-2)/(-4)). Suppose -2*x + 0*x - 3*u = -955, -c*u + 1900 = 4*x. Does 9 divide x?
False
Is 70 a factor of (7/(-56))/(3/(-168)) - -3982?
False
Let n = -8641 + 14408. Is n a multiple of 79?
True
Let a(b) = 796*b**2 + 117*b - 454. Does 75 divide a(4)?
True
Suppose -g + x = -578, -15*x + 1150 = 2*g - 20*x. Is g a multiple of 7?
False
Suppose 5*q = 5*i + 37615, q + 4*i = -q + 15022. Is q a multiple of 22?
False
Suppose -232*x = -225*x - 13909. Is 12 a factor of x?
False
Let u(g) = 4*g**2 - g + 11. Let b(i) = 2*i**2 + 9*i. Let o be b(-5). Suppose 2*q - o*s = 3, q + 22 = -5*s + 1. Does 13 divide u(q)?
False
Suppose -36*a - 205359 = -69*a. Does 2 divide a?
False
Let i(b) = b**2 - b + 1. Let p(d) = -3*d**3 + 58*d**2 + 15*d + 59. Let u(z) = -5*i(z) + p(z). Does 9 divide u(18)?
True
Let f(c) = -8*c**2 + 4*c + 110*c**3 - 109*c**3 + 78 - 2*c. Is f(8) a multiple of 3?
False
Let z = -995 + 3532. Is 46 a factor of z?
False
Suppose -22 = -7*m + 13. Suppose -m*g + 15515 - 2897 = -k, 7*k = -4*g + 10110. Is 14 a factor of g?
False
Suppose v = 0, 693 = x - v + 127. Let o = x + -290. Does 3 divide o?
True
Suppose -4*g + 2*g = -k + 14, -4*k = -4*g - 36. Let w = -97 + 102. Suppose -k*v + w*v = 13. Does 3 divide v?
False
Let r be -1*5 + 49 + -14. Let i = -28 + r. Does 34 divide (2/(-6 + i))/((-3)/1158)?
False
Let d = -49 + 57. Suppose -d*j + 6815 = -2593. Suppose -7*l + 0*l = -j. Is l a multiple of 28?
True
Suppose 0 = 9*s - 16*s + 7749. Suppose 4*y + 36 = y. Does 14 divide (-3)/12 - s/y?
False
Let q(c) = 14*c**2 - 34*c + 19. Let l(s) = -s**2 - s + 2. Let u(r) = -6*l(r) + q(r). Is 18 a factor of u(6)?
False
Suppose 5*c + 1 = 31. Suppose -29*f + 8 = -