-27*q + 4. Let t(h) = 6*k(h) + 68*s(h). Let d be t(12). Does 31 divide d/(-4) - 2/(-2)?
False
Let d(o) = 3268*o + 89. Is 25 a factor of d(1)?
False
Let m be (29/(-3))/((-1)/3). Suppose 0 = -4*z, -330 = -3*s - 37*z + 40*z. Let f = s + m. Is f a multiple of 28?
False
Suppose 1386*y + 142069 = 1391*y + 2*c, -56822 = -2*y + 2*c. Is 33 a factor of y?
True
Let r(z) = -z**3 - 23*z**2 - z - 17. Let v be r(-23). Suppose -v*d - 2 = -74. Suppose 0 = 4*p - 420 - d. Does 27 divide p?
True
Does 38 divide (-794597)/(-68) + 2/(-8) - (-3 - 0)?
False
Suppose -9*q = -9562 + 5835 - 9539. Is 3 a factor of q?
False
Suppose 0 = 3*l + 2*w - 27310, -4*w + 38329 = 4*l + 1913. Is 123 a factor of l?
True
Let m(z) = z**3 + z**2 + 4*z + 37. Let n be m(0). Suppose -n*b = -8*b - 11020. Is 76 a factor of b?
True
Suppose -423 = -20*g + 24*g - 62503. Is 97 a factor of g?
True
Suppose -6*p - 34 = 44. Let o(a) = -6*a - 21. Is o(p) a multiple of 3?
True
Suppose c = z - 2407, -5*c - 792 + 10429 = 4*z. Does 7 divide z?
True
Let z(c) = -c**3 + 26*c**2 + c - 25. Let h be z(26). Does 13 divide (4 + -3)*1/(h/179)?
False
Let m(t) be the second derivative of 23/20*t**5 + 0 + 1/3*t**3 - 23*t - 1/2*t**2 + 0*t**4. Is m(1) a multiple of 4?
True
Suppose 2*c - 5*q - 131 - 116 = 0, 5 = -q. Is 37 a factor of c?
True
Let m be 666/(-3 + 20/5). Let d = m + -615. Is d a multiple of 3?
True
Let z = 3407 - 3362. Is z a multiple of 5?
True
Let g = 770 + -1168. Let w = g + 792. Is 38 a factor of w?
False
Suppose 16*q = 22*q + 1704. Let l = q + 328. Does 4 divide l?
True
Let l(t) = 3*t**2 - 32*t - 6. Let w be l(13). Let v = 91 - w. Suppose 4*j + 4*i = 544, -v = -3*i - 3. Is 14 a factor of j?
False
Suppose -20 = 5*j, -2*c + j - 2*j + 28 = 0. Suppose c*r - 15*r - 189 = 0. Let m = -129 + r. Is 30 a factor of m?
True
Let q = 31234 - 13342. Is q a multiple of 14?
True
Let s(n) be the second derivative of -n**4/12 - 19*n**3/6 + 10*n**2 - 6*n. Let w be s(-16). Let m = 116 - w. Does 16 divide m?
True
Let l(r) = -2*r**3 - 26*r**2 + r + 30. Let i be l(-13). Is (-29)/2*(i - 41) a multiple of 31?
False
Let p(a) = a**3. Let d(n) = 4*n**3 + 8*n**2 + 10*n - 3. Let j(o) = d(o) - 5*p(o). Let m be j(9). Suppose 5*v = m*v - 45. Does 15 divide v?
True
Let g be 747/(-18) - 2/(-4). Let h = g - -45. Is 31 - (h/(-5))/((-24)/60) a multiple of 29?
True
Let m(j) = j**2 - 3*j - 6. Let q be m(5). Suppose b + 2*n = -0*n + q, -4*n = 0. Suppose -b*z = -2*p + 196, -5*z - 51 = 2*p - 238. Is 12 a factor of p?
True
Let m = 298 - -71. Suppose 0 = -372*p + m*p + 825. Is p a multiple of 11?
True
Let n(f) = 13*f**2 - 38*f - 147. Is n(-4) even?
False
Let x be 8/(-6)*(41 - -64). Let r = x - -236. Does 6 divide r?
True
Suppose 13*j + 2105 - 6746 = 0. Does 17 divide j?
True
Suppose -s + o + 0 = 14, 3*s + 40 = 2*o. Let l = s - -152. Does 14 divide l?
True
Let s be (-388 + 24 + -10)/((-1)/9). Suppose -70*r + 61*r + s = 0. Does 19 divide r?
False
Let z = -84 + 96. Let p = -3 + z. Is 12 a factor of (6684/21)/4 + p/21?
False
Suppose 4*s = 2*w + 6064, -109*w = s - 114*w - 1534. Does 8 divide s?
False
Let k(v) = v**2 - 28*v + 54. Let t be k(26). Let o be (-3)/((t/6)/(2/9)). Is o/(-8) + -357*5/(-60) a multiple of 15?
True
Suppose -295 = -2*y - 2*f + 751, -5*f = 2*y - 1058. Does 4 divide y?
False
Suppose 0 = 25*m - 24*m - 4. Suppose 554 = 3*q + d, -m*q + 550 = -q - d. Let p = -106 + q. Is p a multiple of 13?
True
Suppose 9542 = -3*b + 16*b. Let u = b - 406. Let m = u - 173. Does 43 divide m?
False
Let r(p) = -5*p**3 - 3*p**2 - 5*p + 2. Let u = 76 + -80. Let n be r(u). Suppose -8*f + n = -186. Is f a multiple of 5?
True
Let i be (-3)/(-2)*(-1 - 1) + 40. Suppose -44*l = -i*l - 1008. Is l a multiple of 16?
True
Suppose 9765 = 4*p + 10*p - 15351. Is 13 a factor of p?
True
Let t be (-3)/((-1243)/310 + 4). Suppose 2*j + t = -4*n - 0*n, 5*j = 3*n - 723. Let d = j - -271. Is d a multiple of 31?
True
Let u be 14/(-4)*2*1. Let p(h) be the first derivative of h**4/4 + 11*h**3/3 + 5*h**2/2 + 7*h + 46. Does 29 divide p(u)?
False
Let b(q) be the third derivative of q**8/20160 - q**7/2520 + 7*q**6/720 - 2*q**5/15 - 14*q**2. Let x(p) be the third derivative of b(p). Does 13 divide x(4)?
False
Let h be (-153)/(-36) - 9/(-12). Suppose -h*c - 4*m + 1 = -13, -3*c + 2*m + 4 = 0. Suppose -85 = -c*i + 3*f, f = 3*i - 4*f - 129. Does 9 divide i?
False
Let h(r) = -158*r**3 - 14 + 8*r + 10*r + 159*r**3 + 2*r**2 - 6*r. Does 2 divide h(3)?
False
Suppose -16*f + 62509 = -26035. Is f a multiple of 19?
False
Suppose -5*y - 30235 = -5*m, -386*y + 389*y - 6 = 0. Is m a multiple of 3?
False
Suppose 17*h = -10*h + 50922. Is 154 a factor of h?
False
Suppose 0 = -5*i - 9*i + 16537 + 5877. Does 113 divide i?
False
Is 55 a factor of (-41)/(164/(-57))*716/3*2?
False
Let g(f) = -4*f - 1. Let i(p) = -8*p - 3. Let x(m) = -13*g(m) + 6*i(m). Let c be x(-2). Is 12 a factor of (c/(-26))/(1/44)?
False
Suppose -3*h + 4*h - 3 = 0. Suppose y - 6 + h = 0. Suppose -y*t + 2*x = -92 - 6, -68 = -2*t + 4*x. Is 8 a factor of t?
True
Let t(l) = 1054*l**2 - 46*l + 56. Is t(2) a multiple of 63?
False
Let t(h) = -2*h**2 - 35*h - 11. Suppose -4*m + 3*f = 53, -2*f + 6*f = 5*m + 66. Does 3 divide t(m)?
True
Suppose 0 = -5*r + 15, -82*a + 30929 = -80*a - r. Is a a multiple of 11?
True
Let x(f) = 1227*f**3 + 3*f**2 - 10*f + 7. Does 180 divide x(1)?
False
Let z(m) = m + 105. Let p(u) = -3*u - 312. Let n(b) = -4*p(b) - 11*z(b). Is n(-27) a multiple of 22?
True
Let d be 30/(-55)*154/(-21). Suppose 0 = d*v - 24 - 232. Is 46 a factor of v?
False
Suppose 3*n - 25 = -4*p, -1 = n - 4. Let l(z) = 2*z**3 - z**2 + 3*z - 4. Let u be l(1). Suppose u = p*g - 55 - 169. Is g a multiple of 17?
False
Let s = -13 + 46. Let n be (-12)/(-22) - (64500/(-110))/25. Let b = n + s. Is b a multiple of 57?
True
Suppose -3*f - 41 = 22. Let s be (-57)/f - (2/(-7) + 0). Suppose 5*v - 175 = -s*k, 4*v - 296 = -4*k - k. Is 30 a factor of k?
True
Suppose -2*r = -2*w, 3*w - 20 = -0*w - 2*r. Suppose 9*b = 8*b + w. Is (-113)/(-1) - (b + 0) a multiple of 9?
False
Does 25 divide 2 + 60403 + 2 + 101 + -105?
False
Does 3 divide (330/8)/(-3*5/(-100))?
False
Suppose 3*h - 24304 = -2*y, -5*y = 10*h - 7*h - 24292. Does 17 divide 30/(-70) - (h/14)/(-2)?
True
Let z = 125 + -97. Suppose z*y = 31*y - 573. Does 6 divide y?
False
Let d = 13 - 10. Suppose w + l = -3*l - 12, -l = -5*w + d. Suppose w = -2*t + 10, -3*t = 5*v - 120 - 5. Is v a multiple of 5?
False
Let a = -116 + 107. Let k be (0 - 116/(-6)) + (-6)/a. Suppose 0 = -5*o - k - 5, -4*n + 4*o = -844. Does 22 divide n?
False
Suppose -4*c = -0*c + 44. Let n(d) = 2*d**2 + 18*d - 12. Let w be n(c). Let b = w - -28. Is 12 a factor of b?
True
Let j = -108 + 715. Suppose 0 = d - 365 - j. Is 36 a factor of d?
True
Suppose 0 = 5*m + 4*x - 10375, 5*m - 4*x - 540 = 9875. Suppose m = -13*c + 22*c. Is c a multiple of 70?
False
Is 28 a factor of 2 + -5 + 5096 + 15/5?
True
Let t(n) = -8*n + 109. Let w be t(8). Is (-5)/1 - (-65 + w) a multiple of 2?
False
Suppose -23*z + 126568 = -27279. Is z a multiple of 67?
False
Suppose 146 = -9*s + 551. Let u be (-1185)/(-135) - (-5)/(s/2). Suppose u*n - 3301 + 952 = 0. Is 20 a factor of n?
False
Suppose 797 = -5*u + 7. Let m = -394 - -326. Let o = m - u. Is o a multiple of 9?
True
Let z = 0 + 22. Suppose 0 = -9*j - z - 5. Is 4 a factor of (-2)/3 + (-26)/j?
True
Let w(h) = 9*h**2 - 17*h + 13. Suppose 147 = -32*b + 19. Does 12 divide w(b)?
False
Let p be ((2 - 2) + 2)*-2. Let u be (-57 - -59)*(-1 + 2). Is (-209)/(-38) - u*(-1)/p a multiple of 4?
False
Let g be -2 + 0 - 2 - -6. Let b(m) = 35*m - 5. Let z be b(4). Suppose 5*t - g*o + 5*o = 347, 2*t + 5*o - z = 0. Is t a multiple of 14?
True
Suppose 811 - 139 = 7*d. Let f = 398 - d. Is 40 a factor of f?
False
Suppose 0 = -l - 0*l - 4*h + 13, 0 = 4*l + 4*h - 52. Suppose -8*r + 7*r = l. Let b = 25 + r. Is 2 a factor of b?
True
Let g(z) = z**2 - 7*z - 6. Let a be g(8). Let f be a/(-7) - (-4 - 198/(-42)). Let r(j) = -14*j + 1. Does 4 divide r(f)?
False
Suppose 26*y + 18 = 29*y. Suppose 2*g + y*s - 650 = 11*s, 0 = -g - 3*s + 336. Does 19 divide g?
False
Let y(g) = 326*g + 6825. Is 9 a factor of y(57)?
True
Let m = 163 + -153. Is (m/6)/(80/2784) a multiple of 3?
False
Suppose -3*a - 2*a = -3*z + 2995, 0 = -2*a + 14. Does 6 divide z?
False
Suppose 4*g 