 be the first derivative of -13*j**2/2 - 9*j + 3. Does 36 divide w(m)?
False
Suppose -2*b + 207 + 37 = 0. Suppose 0 = -a - 2*o + 17, 9*a + 3*o - 29 = 7*a. Suppose a*l - b = 473. Is 13 a factor of l?
False
Let z = -614 + 813. Let d = z - 25. Does 12 divide d?
False
Let r(x) = -12*x + 12. Let l be r(6). Let p = -37 - -38. Is 6 a factor of p/(-3 - 182/l)?
True
Is 5 a factor of (-10 - -1038)*(11 - 9)?
False
Let m be 10/2*8024/590. Let y(b) = -106*b - 1. Let d be y(-1). Let j = d - m. Does 2 divide j?
False
Let j = -37 + 419. Suppose u = 2*a - 418 + 51, 2*a = -2*u + j. Is 15 a factor of a?
False
Let z = 13846 - 11775. Is 6 a factor of z?
False
Suppose 0 = -3*q - 4*x + 7*x + 336, x + 224 = 2*q. Let g = 166 - q. Does 54 divide g?
True
Suppose 14164*t - 14162*t - 32028 = 0. Is t a multiple of 34?
True
Let w be (-9)/(-8)*154 + 12/(-48). Let n be 123 + -1 + -3 + 1. Let z = w - n. Is z a multiple of 47?
False
Is 45 a factor of 30/(-6)*(8148/(-15) - 6)?
False
Let j(l) = -26*l - 12. Suppose 0 = 2*g - 10, 2*i = g - 6*g + 19. Is 10 a factor of j(i)?
False
Is 136 a factor of 5/((-40)/(-6)) - (-440559)/108?
True
Suppose -5*c + 25 = -h, 0 = -0*h + h - c + 5. Suppose h = -152*r + 151*r + 874. Is 46 a factor of r?
True
Is 23 a factor of 11896/((-114)/342*(-1*2 + 0))?
False
Let x(t) = -23*t + 49. Let p be x(2). Suppose 2*k - 3*y - 429 = 0, p*k + 2*y - 633 = 3*y. Does 6 divide k?
True
Is 19 a factor of (950/100)/(4/3120)?
True
Suppose -72*r - 148954 = -896962. Is 23 a factor of r?
False
Let s(q) = -5*q + 37. Suppose -2*b = -4*x + 6, -2*x = -5*b - 6 - 1. Let p be b/(((-3)/(-15))/((-84)/(-20))). Is 17 a factor of s(p)?
False
Suppose 17988 = v + 2*q, -765*v = -766*v - 4*q + 17980. Is v a multiple of 11?
True
Let g = 1720 - -8508. Does 108 divide g?
False
Let z(s) = -25*s**3 + 6*s**2 - 6*s - 29. Does 15 divide z(-4)?
False
Let k(x) = -40*x**3 - 2*x**2 + 5*x - 2. Let n(l) = l**3 + 11*l**2 - 27*l - 16. Let z be n(-13). Is 23 a factor of k(z)?
False
Let q be (-26)/91*7 - (-2318 + -1). Suppose 4*b - 1990 = -2*i, 4*b + 337 - q = -4*i. Is b a multiple of 25?
True
Let w(l) = -2*l**3 + 23*l**2 + 7*l + 17. Let g be w(8). Let j = -360 + g. Is j a multiple of 5?
False
Let m(t) = 15*t**2 + 31*t + 90. Does 12 divide m(-3)?
True
Let h be 0 + (-6)/(-2) + -1. Let o be h + 14/(-35) + (-12)/(-5). Does 34 divide (-131)/o*((-5 - 3) + 4)?
False
Suppose m - 5*n - 91 = 0, 4*m + 19*n - 268 = 15*n. Is 12 a factor of (-1 - -2)*4047/m?
False
Let w(l) = 5*l**3 + 14*l**2 + 70*l + 59. Let a(b) = -b**3 - 3*b**2 - 14*b - 12. Let h(g) = 11*a(g) + 2*w(g). Is h(-9) a multiple of 45?
False
Let f(s) = -7*s**3 - 52*s**2 - 47*s + 61. Let l(k) = 10*k**3 + 77*k**2 + 71*k - 92. Let z(r) = 7*f(r) + 5*l(r). Is 4 a factor of z(-19)?
False
Let z = -393 + 1526. Does 5 divide z?
False
Suppose 3*k = 2*v + 12663, 4*v + 12663 = 3*k - 3*v. Does 63 divide k?
True
Let r = -1523 + 2319. Suppose 0 = 29*f + 42 - r. Is 20 a factor of f?
False
Suppose 28*c = -209*c + 6172902. Is 8 a factor of c?
False
Let b = -41 - -41. Suppose b = -2*m - 5*s + 21, 2*s = m + 7 - 4. Suppose m*z + 50 - 110 = 0. Is 4 a factor of z?
True
Let t = -88 - 305. Let h = 673 + t. Does 14 divide h?
True
Let g = 203 + -191. Suppose -3586 = -g*h + 9062. Is 80 a factor of h?
False
Suppose 3*g - 252 = -4*g. Suppose -2*o = 0, 2*r + 5*o + g = -0*r. Let c = -7 - r. Does 3 divide c?
False
Let a = -3392 - -1787. Let j = -1146 - a. Does 29 divide j?
False
Let q(u) = 3*u + 12*u + 19 - 33*u - 18*u. Is 4 a factor of q(-2)?
False
Let a = 96974 - 57473. Is 189 a factor of a?
True
Let d be (2 + -6)/(4/(-14)). Suppose 11*a = -d*a + 1350. Does 27 divide a?
True
Suppose -24966 - 668809 = -55*f + 330270. Is 131 a factor of f?
False
Let a(h) = -9*h - 6. Let w(g) = -8*g - 6. Let n(k) = 6*a(k) - 7*w(k). Let o be n(4). Suppose -11*p + t - 334 = -o*p, p = t + 114. Is p a multiple of 8?
True
Is 22 a factor of (-3)/(-6)*-6*52442/(-78)?
False
Let p(s) = -12*s**3 + s - 6. Let z be p(-3). Let m = -289 + z. Does 11 divide m?
False
Suppose 0 = -16*c - 120 + 5464. Does 67 divide (-2 - -5) + c + -2?
True
Is 15 a factor of 91581/35 + 6*9/(-90)?
False
Let d(z) be the third derivative of 0 + 0*z - 9/2*z**3 - 1/8*z**4 + 21*z**2. Is d(-15) a multiple of 3?
True
Let k(y) = 276*y - 224. Is k(4) a multiple of 44?
True
Let a(g) = -64*g - 7916 + 3952 + 3966. Suppose -4*n - 14 = -5*t, -4*n + 2*t = -3 + 11. Does 15 divide a(n)?
False
Suppose d = -5*q + 75, q = -q + 10. Let n = -13 - -13. Suppose n = d*m - 46*m - 44. Does 11 divide m?
True
Let u(c) = c**3 + 9*c**2 - 12*c - 18. Let z be u(-10). Is 34 a factor of (-994)/(-42)*3*z?
False
Let x(c) = -c**3 + 13*c**2 - 7*c + 105. Is 14 a factor of x(-7)?
True
Let v be (0 - -3) + (-2)/4*-12. Suppose 0 = -v*o + 151 - 7. Suppose -11*f = -10*f - o. Is 4 a factor of f?
True
Let n(l) = l**3 - l**2 - 8*l - 8. Let s be n(-3). Let f = s - -23. Suppose 0 = -a - 3*b + 88, -2*a - a = -f*b - 264. Does 14 divide a?
False
Let d(l) = -384*l - 3. Let q = -141 + 140. Does 15 divide d(q)?
False
Let i = 20244 + -13641. Is i a multiple of 13?
False
Suppose -11*f + 28 = -60. Let a(o) = 3*o**3 - 25*o**2 + 5*o - 6. Let r be a(f). Is 2 a factor of 4/(-2 + r/(-9))?
False
Suppose -28*z + 1496 = -6*z. Let k(j) = -j + 74. Let m be k(0). Let u = m + z. Does 18 divide u?
False
Let h(p) = p**3 - p**2 - p - 1. Let s(x) = -5*x**3 + 19*x**2 - 23*x + 6. Let q(o) = 13*o + 7. Let c be q(-1). Let w(g) = c*h(g) - s(g). Does 5 divide w(-15)?
True
Suppose -51520 = -75*v + 153*v - 80*v. Is v a multiple of 230?
True
Let f(z) = z**2 - 3*z - 14. Let o be f(7). Suppose 4*s = 6 + o. Suppose 5*m = -3*v + 512, -s*m = 5*v - 577 + 57. Is m a multiple of 32?
False
Suppose -10700 = -5*p + 357*m - 354*m, 6*p + m - 12863 = 0. Is p a multiple of 49?
False
Suppose c - 22799 = 3*v - 1574, -3*v = -5*c + 106041. Is c a multiple of 12?
True
Let f = -89489 - -136221. Is f a multiple of 28?
True
Let y(b) = -4*b**2 - 33*b - 104. Let a be y(-8). Is 3 a factor of a/64 - (0 + (-135)/2)?
True
Suppose 3*l + 34281 = 46*l - 19899. Is l a multiple of 5?
True
Let u(a) = -111*a**3 + 6*a**2 - 13*a - 60. Is 30 a factor of u(-3)?
True
Let r(o) = 141*o**2 + 306*o + 928. Does 12 divide r(-3)?
False
Does 17 divide (-82903326)/(-8322) + (-1)/(-19)?
True
Suppose -72*t + 249*t - 12204204 + 3232959 = 0. Does 31 divide t?
True
Let k = 55 + -19. Let u = -40 + k. Does 20 divide -4*u/16*100?
True
Let i = -595 + 595. Suppose -16*a - 4*a + 27280 = i. Does 18 divide a?
False
Let l(m) be the second derivative of -13*m**5/20 - m**4/12 + m**3 + 2*m**2 + 368*m. Let j = 5 + -7. Is 23 a factor of l(j)?
True
Let m be 1 - (-31 - (-1 - -3)) - -2. Let i be m/234 - (-50)/13. Suppose 0 = -i*f + 71 + 25. Is 6 a factor of f?
True
Let x(u) = -20*u**2 - 46*u + 106. Let a(t) = 4*t**2 + 9*t - 21. Let s(b) = 11*a(b) + 2*x(b). Does 40 divide s(-7)?
False
Suppose 5*d + m = 39723, -d + 2*m = 813 - 8762. Is 224 a factor of d?
False
Let c(x) = -921*x - 2068. Is c(-6) a multiple of 13?
True
Does 45 divide 9/((-27)/(-32))*(5 - (-26110)/40)?
False
Let v be 6 + -20 - (-3)/(-3). Let w be 2/4 + v/(-2). Is w/(-6)*2*-6 a multiple of 8?
True
Suppose 19532 - 10216 = 44*j - 75472. Does 9 divide j?
False
Is 11 a factor of (-13 + 127605/30)/(-2 + (-63)/(-30))?
True
Let x(p) = 41*p**2 + 2. Suppose 4*c = 4 - 52. Let n be c/(-16) - (-2)/8. Does 13 divide x(n)?
False
Let c = 6 + -3. Let j(d) = 6*d + 705. Let r be j(-116). Let l = r + c. Does 12 divide l?
True
Let a(r) = 4*r + 27. Let i be a(-3). Suppose 2*b - 5831 = -i*b. Is 13 a factor of b?
False
Let i be ((-6)/(-15))/(3/15)*2. Let s be 6 - i/2 - (8 + -9). Suppose -s*p = 4*d - 312, 0 = -2*d - 2*d + 12. Is p a multiple of 12?
True
Let b(j) = -4*j**2 - 324*j - 144. Does 12 divide b(-78)?
True
Suppose -2739 - 2497 = -17*a. Let y = 821 - a. Does 27 divide y?
True
Let n be (17 + -16)/(2 - 31/15). Let w(l) = l**3 + 16*l**2 + 11*l - 50. Is 10 a factor of w(n)?
True
Suppose -3*i = h + 95, 0 = -3*i + h + h - 107. Let a be (-395)/55 - 2/i*3. Does 52 divide 13/2*(-350)/a?
False
Suppose -2*r = -7*r - x + 8, 2*r - 2*x - 8 = 0. Let w be (-32)/(-40) - r/(-10). Is (w - -1)/(-2) + (-1 - -38) a multiple of 3?
True
Suppose 0 = 4*i - 16, -5*j = -4*i + 13 + 48. Does 16 divide (-4 - 33/j)*-1119?
False
Let t = -2829 + 2640. Let u = -258 - -129. Let v = 