 5*t - 4*q, 5*q = -20. Is 6 a factor of f(t)?
False
Let o(z) = -6*z + 2. Suppose 2*h = -3*r, -5*h - 5 = -2*r + 14. Suppose 3*l = -7 - r. Does 14 divide o(l)?
False
Let x(f) = 21*f + 162. Suppose -6*i - 145 + 355 = 0. Is 37 a factor of x(i)?
False
Let u be ((-428)/10)/((-8)/1920*4). Suppose 5*g - 13*g = -u. Does 33 divide g?
False
Is (-6624)/64*((-1)/(-1) + -245) a multiple of 46?
True
Let j(a) = a**2 + 4*a + 15. Let h be j(-6). Does 30 divide 411/h*12/(-2)*-3?
False
Let j(w) be the second derivative of -w**3 + 25*w**2/2 + w. Let h = -1044 - -1038. Is 36 a factor of j(h)?
False
Suppose -6*a + 1179 = -99. Suppose 37 = 2*q + 5*d - a, 2*q - 234 = 3*d. Is q a multiple of 8?
True
Suppose 0 = 13*u - 4*u - 1062. Let l(z) = -354*z + 4 + u*z + 5. Does 19 divide l(-1)?
False
Let y be (-1)/(((-30)/(-44))/15). Let t(j) = -j**3 - 20*j**2 + 17*j - 61. Is 12 a factor of t(y)?
False
Suppose 0 = -6*c + 1037 + 8323. Suppose c = 6*r + 4*r. Is r a multiple of 26?
True
Suppose 7*w - 5 - 86 = 0. Suppose 2*n + 2*r + 4 = 0, 5*n - 2*r - 10 = -w. Does 14 divide (64/(-10))/(n + 39/45)?
False
Does 15 divide (-11)/1 - (107 - 166)?
False
Let k(r) be the first derivative of 5*r**3/3 + 3*r**2/2 - 44*r - 1. Let f(t) = -t**3 + 8*t**2 + 426*t - 18. Let i be f(25). Is 15 a factor of k(i)?
False
Is (20 - 30)/(9/((-3915)/2)) a multiple of 15?
True
Let u be 50/16 + -1 + 28/32. Let h be 2 - ((-21)/(-14) + u/(-2)). Suppose -m = 4*m + h*q - 75, -3*q = m - 2. Does 17 divide m?
True
Suppose 26 = 3*u + 5*x - 10*x, -5*u - 3*x = 2. Suppose u*k + 18 = 4. Is 12 a factor of (-1 - -74) + 7/k?
True
Suppose 294*w - 1328580 = 323112. Is w a multiple of 24?
False
Let y(a) = -28*a - 22*a - 38 - 14*a. Let s be y(-4). Suppose s = 5*k - 3*g + 84, -k + 28 = -g. Is 25 a factor of k?
True
Let d be ((-6)/(-4))/(-12*(-11)/(-352)). Is 2 a factor of (-66)/d*(-21)/(-27)*12?
True
Suppose 18979 = -56*y + 121011. Let u = y - 478. Does 28 divide u?
True
Suppose 3*r = -5*z - 6, -10 = 13*z - 17*z + 5*r. Suppose z = -k, 4*l - 311 = -4*k + 1677. Is l a multiple of 12?
False
Let t = -91701 + 136181. Is 40 a factor of t?
True
Suppose 11*h + 9696 = 14*h. Suppose 1236 = 2*a - 4*i, 0 = -4*a + i - 781 + h. Is a a multiple of 17?
True
Suppose -2*i + 4 + 2 = 0. Suppose -i*t - s = -181, -t + 3*s = -6*t + 303. Suppose -t - 18 = -l. Is 15 a factor of l?
False
Let q(l) be the second derivative of l**4/3 + l**3/3 + 3*l. Let h be q(-1). Suppose -4*d + 231 = c, h*d - 4*c = -2 + 140. Does 14 divide d?
False
Let n(j) = -j - 2. Let c(s) = 10*s**2 + 12*s + 97. Let f(p) = 2*c(p) + 4*n(p). Does 38 divide f(-7)?
True
Let c = 553 - 549. Is 484 - -2*(-6)/c*-1 a multiple of 10?
False
Suppose -60 - 2612 - 1678 = -15*b. Does 10 divide b?
True
Suppose 115 = 5*m - 5*s, 5*m + 9 = 3*s + 116. Let w = 0 + 40. Let t = w - m. Does 5 divide t?
False
Let j(h) = -3*h**2 - 22*h + 13. Let o be j(-8). Is 14 a factor of 2 + o - ((-1 - 0) + -186)?
False
Let s be 13/((-7)/((-77)/(-1))). Let n = 326 + s. Does 31 divide n?
False
Let w(b) = -6*b**2 - 8*b + 7. Let k be w(2). Let l = k + 28. Is 7 a factor of l/4*-14 + 2/4?
False
Suppose 4*a + 4*v = 2*v - 2376, 0 = 3*a + 2*v + 1781. Let f(y) = y**2 - 27*y + 43. Let u be f(26). Is u/(a/(-14)) + 1048/5 a multiple of 35?
True
Let q(n) = 919*n**2 - 10*n - 21. Let h be q(-3). Suppose 1893*c - 1887*c = h. Is 92 a factor of c?
True
Suppose 956*c - 975*c + 261250 = 0. Is 11 a factor of c?
True
Is 57 a factor of ((-4864)/192)/((-2)/594)?
True
Suppose 24*v = 27*v - h - 13680, 3*h = 4*v - 18240. Is 5 a factor of v?
True
Suppose 5*g = 2*g + 9. Suppose 0 = q + 4*i - 469, 0*q - i - 1342 = -g*q. Let y = q + -153. Is y a multiple of 37?
True
Let h be -6*(-104)/(-32)*(-74)/3. Let r = h + -244. Is 79 a factor of r?
True
Suppose -5*a = -6 - 4. Suppose 0 = 4*f + 4*l - 12, -4*l = 5*f - a*l - 15. Suppose 2*w + w + f = 0, 4*w = 3*o - 499. Does 13 divide o?
False
Let b(v) = v**2 + 9*v + 19. Let j be b(-6). Is (-9 - -3)*j - -226 a multiple of 22?
True
Suppose -2*d = -5*s - 873, 4*s + 329 = 2*d - 369. Let r = s - -204. Is r a multiple of 4?
False
Suppose -5*f = -3*n - 16 - 314, -550 = 5*n + f. Let k = 219 + n. Does 52 divide k?
False
Suppose 5*u = 4*l - 2081, -2074 = -4*l - 0*l - 2*u. Is (24/(-36))/((-1)/1)*l a multiple of 10?
False
Suppose 13*w - 324 = -129. Suppose 9*o + 1260 = w*o. Does 14 divide o?
True
Let c(k) = -k**2 - 5*k + 25. Let q be c(-13). Let h = q + 79. Is 16*(h - (-1)/(-2))*-1 a multiple of 8?
True
Suppose 0 = 3*x + 5*x - 1640. Is 2 a factor of x?
False
Let l = 66 - 176. Let a = -110 - l. Suppose a = 5*f - 684 - 886. Does 52 divide f?
False
Let a(n) = n**2 + 15*n - 27. Let f be a(-19). Let v = f + -47. Is v - (6 - 2) - -171 a multiple of 13?
True
Let g = -136 + 32. Let l = g + 109. Suppose 362 = l*q - 13. Is 15 a factor of q?
True
Suppose -3*s = -v - 25, 2*s + v - 18 = -3. Is 38 a factor of -1 + (s - -4)/(-4) + 993?
False
Let r(w) = -w + 13. Let a(q) = q**3 + 6*q**2 + 4*q - 10. Let u be a(-5). Let i be r(u). Let p = i - -14. Is 16 a factor of p?
True
Suppose 0 = -13*y - 665 + 2498. Is 12 a factor of (1 + y/(-6))*118/(-3)?
False
Let f(v) = 108*v - 218. Is f(8) a multiple of 17?
True
Let f be (-1 - 0)*(-1 + 8 - 38). Suppose -25*p = -f*p + 2160. Is 10 a factor of p?
True
Let c(d) be the second derivative of -8*d**2 + 13/12*d**4 - 2*d + 0 - 3*d**3 + 1/20*d**5. Does 8 divide c(-14)?
True
Let r(a) = 223*a**3 + 13*a**2 - 7*a + 32. Is 68 a factor of r(4)?
True
Let w = -2242 - -4319. Is w a multiple of 7?
False
Suppose 0 = 5*s - 2062 - 818. Suppose -4*o + 6*o = s. Suppose o = 11*f - 7*f. Does 12 divide f?
True
Suppose m + 5*h - 3258 = 0, -7*h - 9818 = -3*m - 11*h. Is m a multiple of 26?
False
Does 3 divide (-144)/(-108)*(249 + (0 - 3))?
False
Suppose -2377 = 13*p - 13752. Let h = p - 620. Is h a multiple of 5?
True
Let z = -93 + 93. Suppose s + 7*s - 48 = z. Let o = 68 - s. Is o a multiple of 10?
False
Is 0 + (4725 - (11 + -20)) a multiple of 74?
False
Is 32 a factor of (-11)/(-88)*-4*(-3793 + (-1 - 0))?
False
Suppose -2*v + 216 = -4*r, 0*r - 3*r - 151 = 4*v. Let o = r - -124. Suppose 0 = -y + 5*n + 137, 0 = 2*y + n - 301 + o. Does 22 divide y?
False
Suppose -r + 2*f + 3 = 0, -2*r - f - 4 = -20. Suppose 3*t + 2*s - 1290 = 0, 2*s - r*s - 2175 = -5*t. Does 18 divide t?
True
Let z(j) = 1262*j**2 - 12*j - 13. Let i be z(-1). Let t = i - 961. Does 60 divide t?
True
Let c(m) = 4*m**2 - 2*m - 115. Let j be c(11). Suppose 9*d = 8*d + f + j, -4*d = -5*f - 1384. Does 13 divide d?
True
Suppose 0 = 22*b - 42294 - 175220. Is 8 a factor of b?
False
Let q be -3 - 8/(-12)*6 - 4. Let r(h) = 19*h**2 - 5*h - 15. Is r(q) a multiple of 6?
False
Suppose q = -4 + 5, u + 2*q = 182. Let o be ((-1)/2)/(((-21)/u)/(-7)). Is 8 a factor of o/(-4)*(-24)/(-9)?
False
Let b(l) = -2*l**3 + 55*l**2 + 21*l + 17. Is 183 a factor of b(11)?
False
Suppose 948 = -0*w + 4*w. Let u be w*-3*2/(-18). Suppose 0 = 4*s - 41 - u. Is s a multiple of 15?
True
Let x be 4 - 123/(-6)*34. Let i = 1889 - x. Suppose 6*y - i = -5*y. Is y a multiple of 24?
False
Let p(j) = -3*j**3 + 4*j**2 - 3*j - 9. Let s be p(4). Let n = s + 249. Is n a multiple of 5?
True
Suppose 0 = 28*y - 19*y - 8388. Let p = -847 + y. Is 5 a factor of p?
True
Suppose -6*h + 127560 = 33*h - 9*h. Does 56 divide h?
False
Suppose 0 = -j - 20*j + 68964. Suppose 3*i = -2*r + 5007, r = -3*i - 785 + j. Suppose 3*t + 9*t - r = 0. Does 14 divide t?
False
Suppose 1808691 + 903309 = 200*k. Does 60 divide k?
True
Let a(b) = 16*b**2 - 1. Let g be a(1). Suppose -g*v = -12*v - 315. Is v a multiple of 15?
True
Let v(w) be the second derivative of -18*w + 0 - 2*w**3 + 5/2*w**2 + 1/6*w**4. Does 17 divide v(10)?
True
Let o = -12 - -16. Suppose w = -0*w. Suppose n - 3*s - 24 - 42 = w, 0 = -o*n + 4*s + 264. Does 15 divide n?
False
Suppose k + 16 = -5*v, 5*v + 28 = 2*k - 0. Suppose -6*p - k*p = -20. Is 25 a factor of p/(-8) - 101/(-4)?
True
Let u = -29749 + 30478. Is 243 a factor of u?
True
Let y = -85 - -88. Suppose 2*c - 5*m + 23 = 0, y*m = -0*m + 9. Does 6 divide 3 - (c + -1 + 2)?
True
Let n(j) be the third derivative of j**8/4032 - j**7/1260 + j**6/90 - 11*j**5/30 + 15*j**2. Let t(s) be the third derivative of n(s). Is t(6) a multiple of 17?
False
Suppose 2*m + 57*x = 59*x + 3498, -4*m + 5*x + 7001 = 0. Does 6 divide m?
False
Let j = 1