j) + 4*y(j). Is a(52) a multiple of 95?
False
Is (-1112)/((-3)/(-72)*-6) a multiple of 42?
False
Let n(k) = -10 - 6 + 2*k**2 + 46. Does 51 divide n(6)?
True
Suppose -3*j = -9*j - 3324. Is 23 a factor of (j/4 + -2)/(3/(-6))?
False
Suppose -t - 389 = 2*i, -2*t - 386 - 2 = 2*i. Let p = 279 + i. Is 14 a factor of p?
True
Let s(r) = 21*r - 41. Let t be s(2). Does 8 divide -2*(2 - t)*1304/(-16)?
False
Let t = -144 - -153. Is 15 - ((-9 - -7) + t) even?
True
Let d(c) = -c**3 + 25*c**2 + 50*c - 42. Let b be d(25). Suppose -3*n + 718 = -a, -4*n - n = 4*a - b. Is 20 a factor of n?
True
Suppose 0 = -7*y + 4789 + 972. Let v = y + -49. Is 66 a factor of v?
False
Let k(o) = 505*o - 530. Is 100 a factor of k(6)?
True
Suppose 0 = 4*i, j + 3*j - 16 = -i. Suppose 30 = 3*d - j*d. Let s = d - -59. Does 9 divide s?
False
Suppose 98 = 14*f - 28*f. Is 30 a factor of 3 + (f - (-908)/2)?
True
Suppose 4*w = -133*p + 138*p - 19018, 11430 = 3*p + 4*w. Is p a multiple of 14?
False
Suppose 9*s + 32542 - 10528 = 0. Is 60 a factor of (-17 + s)*(4/6)/(-2)?
False
Suppose -11*g + 4644 = 5*s - s, g = 2*s + 408. Is g a multiple of 20?
True
Suppose 2*b = 3*i - 8, 2*b - 3*b - 1 = 0. Let t be (-1)/(-1)*(5 - i) - 3. Suppose -3*v - 4*a + 642 = t, 4*v - a = a + 834. Is 42 a factor of v?
True
Let o = -26 + 28. Suppose p + z - 58 = -z, z = o. Is p a multiple of 6?
True
Let b = 25889 - 14945. Is b a multiple of 171?
True
Is 39 a factor of (889/3)/(26*(-18)/(-18252)) + 3?
False
Let q = 24652 - 11356. Does 12 divide q?
True
Let p(a) = a**3 - 12*a**2 - 27*a - 10. Let c be p(14). Suppose 9*u - 2543 = 5*u + 3*f, c*f + 1284 = 2*u. Is u a multiple of 10?
False
Let h = 5238 + -5200. Is 8 a factor of h?
False
Let m(c) = -c**3 + 53*c**2 - 86*c + 160. Is 162 a factor of m(46)?
True
Suppose -45*f = -39*f - 74112. Suppose 0 = 21*m - f + 4162. Is m a multiple of 8?
False
Let z = -40 + 45. Suppose -z*i - 3*l + 790 = -575, 0 = -3*i + 5*l + 785. Suppose -6*u + i = -3*u. Is u a multiple of 10?
True
Suppose -93 - 39 = -22*z. Let d(n) = 27*n - 104. Is 29 a factor of d(z)?
True
Does 136 divide (-1 + -8 - -11)*(3 + -24211)/(-4)?
True
Let f be 231 - (2 - 18)/(-4). Suppose -f = 5*x + 228. Let u = -47 - x. Is u a multiple of 11?
True
Suppose -3114142 = 238*h - 3966283 - 15795959. Does 10 divide h?
True
Let k = 1113 + 3697. Does 37 divide k?
True
Let l(h) = 234*h + 2105. Let d be l(-9). Suppose 0 = 3*v - z - 60, -v + 15 = -0*v - 2*z. Is 6 a factor of (-2 - d)/((-1)/(-4)) + v?
False
Let w(m) = 28*m**2 - 17*m - 76. Is w(-8) a multiple of 7?
False
Is 138 a factor of (36570/(-50))/((-16)/320)?
True
Suppose 2*r - 4*m + 24 = 0, -2*m + 13 = -2*r - 7. Let j = r - -197. Is j a multiple of 37?
False
Let y = -215 + 215. Suppose -5*z = -5, 2*h - 3*z - 120 - 165 = y. Is h a multiple of 18?
True
Suppose -5*j + 6 - 1 = 0. Suppose 4*p - 13 = -j. Suppose 0 = -p*s + 2*o + 16, 5*o - 15 = -2*s + 2*o. Is s even?
True
Suppose -39*s + 914 + 2128 = 0. Suppose 0 = s*c - 72*c - 1152. Does 12 divide c?
True
Let y(q) = q**3 - 2*q**3 - 4*q**3 + 7 + 6*q**3 - 11*q. Let u be y(-6). Let i = u + 269. Is 21 a factor of i?
True
Let g = 63 - 61. Suppose 5*l - 5*x - 2730 = 115, -g*x = -4. Is l a multiple of 17?
False
Let v(w) = -41*w - 14. Let a(k) = -27*k - 10. Let s(n) = 8*a(n) - 5*v(n). Does 6 divide s(-9)?
False
Is 10 a factor of ((-6)/(330/(-1177))*4)/(2/20)?
False
Suppose 101 - 119 = -3*s. Suppose s*a - 776 = 5*a + 6*c, -5*c = -5*a + 3830. Is a a multiple of 13?
False
Let h = 3958 + -3369. Is 55 a factor of h?
False
Let d(y) = -y**2 - 15*y - 40. Let x be d(-11). Suppose -3 = m, -x*j - m = j - 1847. Let n = j - 257. Is n a multiple of 54?
False
Suppose 0 = 42*b - 1609 + 6103. Let x = b - -160. Is 2 a factor of x?
False
Let i(a) = -5*a**3 - 15*a**2 - 8*a + 1. Let p be 2/(-4*3/36). Does 22 divide i(p)?
False
Let u(s) = s**3 - 13*s**2 - 26*s + 16. Let p be u(13). Let n = -285 - p. Is 5 a factor of n?
False
Let j = -14217 + 19561. Is j a multiple of 81?
False
Let l be 6 - -1 - (-2 - 6)/2. Let w(t) = 812*t + 17. Let s be w(l). Is s/133 + ((-24)/(-14) - 2) a multiple of 53?
False
Let u(w) = -3*w - 18. Let f be u(-6). Suppose f*z + 3645 = 3*m + 5*z, 4883 = 4*m - z. Suppose 0 = 5*j + 5*c - m, -c + 3*c = -5*j + 1223. Is 16 a factor of j?
False
Let q(l) = -33*l + 835. Is q(0) a multiple of 3?
False
Suppose -m = 3*l + 2*l + 14, 3*m = -l. Let d(w) = 4566*w - 3*w**3 + 4567*w + 4567*w - 5 - 13706*w. Is 12 a factor of d(l)?
False
Let f(b) = b**3 - 3*b**2 + 8*b + 9. Let s be -3*(4/8)/((-5)/20). Does 15 divide f(s)?
True
Let u(p) = -p**3 + 17*p**2 + 17*p + 10. Let w be u(18). Let t be (-202)/w*40/(-2 - -4). Suppose -t = 2*f - 7*f. Is 14 a factor of f?
False
Suppose 87*n - 22509 = 84*n. Does 11 divide n?
False
Let i(b) = 114*b - 32. Suppose 0 = -3*v + 19 - 4, -3*v = 3*r - 27. Is 16 a factor of i(r)?
False
Let y(v) = -10*v + 73. Let l be y(7). Suppose -2*r - 358 = -l*r. Suppose -4*w + w - 2*z = -r, 0 = -w - 3*z + 110. Is w a multiple of 17?
False
Let t be (10/(-25))/(4/(-30)). Suppose t*q - 11 - 4 = 0. Suppose 78 = q*x - 87. Is x a multiple of 16?
False
Let c(d) be the third derivative of 2*d**6/15 + d**5/10 - d**4/4 - d**3/3 - 58*d**2. Is 46 a factor of c(2)?
True
Suppose 13 = -2*j + 43. Suppose 4*d + 20 = -4*t, 5*t + j = -0*d - 3*d. Suppose b - z - 10 = 0, 2*b + b + 2*z - 20 = t. Is 6 a factor of b?
False
Let u be ((-30)/(-25))/(-6*3/(-240)). Suppose 5*s - 46 + u = 0. Let l(g) = 11*g - 10. Does 3 divide l(s)?
False
Suppose 15*p - 36039 = 32804 - 12923. Does 25 divide p?
False
Suppose -12*a - 88 = -16. Let l be (a/1 - -13)/(0 + 1). Suppose 3*w - 12 = 0, l*q = 4*q - w + 445. Does 26 divide q?
False
Suppose 98669 - 150467 = -98*y + 157726. Is 20 a factor of y?
False
Suppose -7749 = 5*d - 34099. Is d a multiple of 2?
True
Let f = -163 - -169. Suppose 5*i - 4*o - 104 = 0, 0 = -i + f*o - 4*o + 16. Does 4 divide i?
True
Let j(k) = 2402*k**2 - 3*k - 2. Let n be j(-1). Suppose -2*s + 381 = -5*w - 814, 0 = 4*s + 3*w - n. Suppose -35*z = -31*z - s. Is 15 a factor of z?
True
Let p be 20 + (-25 - -25)/(4/1). Is 12 a factor of (-20112)/(-54) + p/(-45)?
True
Let t(o) = 210 - 24*o + 0*o**2 - 209 + o**3 - 2*o**3 - 3*o**3 - 5*o**2. Does 16 divide t(-5)?
True
Let s(d) = 2*d + 45. Let p(z) = z. Let k(r) = p(r) + s(r). Let x = 693 + -685. Does 8 divide k(x)?
False
Let z be (5/5)/((-9)/(-45)). Suppose 0 = -5*w + z, -n + 3*n - 2276 = 2*w. Is 32 a factor of n?
False
Let d(u) = u**3 - 33*u**2 - 38*u + 150. Let t(o) = -4*o**3 + 4*o**2 + 8*o + 2. Let b be t(-2). Is d(b) a multiple of 14?
True
Let g(t) be the third derivative of 49*t**5/60 - t**4/12 - 7*t**3/2 + 4*t**2 + 19*t. Does 28 divide g(-3)?
False
Suppose -29*w = -26*w - 30075. Is w a multiple of 193?
False
Let o = -314 - -289. Let f = 480 - o. Is f a multiple of 3?
False
Does 85 divide 3/(3/14)*(-309128)/(-476)?
False
Let f = -69100 - -151804. Is f a multiple of 24?
True
Is 26 a factor of 40040/(-2574)*(-234)/4?
True
Let f = -37084 + 59184. Is 25 a factor of f?
True
Is -15855*(-68)/51 + -12 a multiple of 20?
False
Let f(h) = -4*h + 15. Let q be f(3). Let a(k) = 164*k**q - 12 - 8*k**2 - 165*k**3 - 1 - 6*k - 4*k. Does 7 divide a(-8)?
False
Is 50 a factor of (20/(-6) + 0)/((-12)/22500)?
True
Suppose -5*d - 4*u = 1, 3*d - 5*u - 23 = 2*d. Suppose -4078 - 530 = -12*l. Suppose -9*c + d*c = -l. Is 16 a factor of c?
True
Let f(k) = -11*k**2 + 22*k + 36. Let d(c) = 4*c**2 - 7*c - 12. Let h(i) = 7*d(i) + 2*f(i). Is h(-5) a multiple of 9?
False
Suppose 1765 = 94*j - 89*j. Is 11 a factor of j?
False
Let v be (-4)/12 + 674/6. Suppose 36 = 2*x - v. Does 33 divide x?
False
Let m(k) = -41*k - 46. Let x be m(4). Is (1 - -27)/((-30)/x) a multiple of 14?
True
Let t = 72 - 71. Let a = 3 + t. Suppose a*i - 32 = 352. Does 16 divide i?
True
Suppose 79*g + 270309 = 1532953 - 8756. Is 248 a factor of g?
True
Let m be 10*(-3)/(4 - 10). Suppose m*d - 86 - 309 = 0. Suppose 2*b - d = 17. Does 10 divide b?
False
Let c be ((-9)/27)/(1 + 20/(-18)). Suppose -7*z + 621 = c*r - 4*z, 5*r - 1059 = 3*z. Does 35 divide r?
True
Let x = -53037 - -79533. Is x a multiple of 64?
True
Suppose 0 = -200*t + 225*t - 134550. Does 18 divide t?
True
Let n = 269 + 99. Let o = n - 299. Does 2 divide o?
False
Suppose 31*h + 22981 = 618646. Is h a multiple of 105?
True
Let s(f) = -f*