tor of g?
True
Let b = 144 + -144. Suppose 22*n - 3824 - 11356 = b. Is n a multiple of 23?
True
Let k(y) = 20*y**3 - 2*y**2 + 17*y - 102. Does 72 divide k(6)?
True
Suppose -998*d = -940*d - 120089 - 16327. Is d a multiple of 6?
True
Let y be 13/((-273)/2660) - 1/3. Let o = y + 130. Is 47 a factor of (-5660)/(-30) + (-2)/o?
True
Let u(x) = -4*x - 32. Suppose -24 = 6*c + 24. Let m be u(c). Suppose m = -y + 14 + 4. Is y even?
True
Let f(b) = 32*b**2 + 6*b - 5. Let g be f(3). Let v = g - 187. Let k = 261 - v. Does 16 divide k?
False
Let t(y) = -6*y**2 - 9*y - 12. Let c(v) = -v**3 - 5*v**2 - 10*v - 11. Let n(j) = -3*c(j) + 2*t(j). Does 54 divide n(6)?
False
Suppose -22*o + 17*o - 40 = 0. Does 35 divide o/(-72) - 2654/(-9)?
False
Let y = -29389 - -60369. Does 20 divide y?
True
Let k = 42835 + -33137. Is 13 a factor of k?
True
Let c(l) = 6*l**3 + 3*l**2 - 2*l + 3. Let p(u) = u + 5*u**3 + 0*u - 3*u**2 + 1 - u**3. Let g be p(1). Does 39 divide c(g)?
False
Suppose 0 = -5*h + 2*h + 5*s + 16, 3*h - 18 = 3*s. Suppose -h*r - 3*r = -90. Is r a multiple of 9?
True
Suppose 8 = -4*t, 3*a = 8*a - 4*t - 8438. Does 5 divide (-58)/(-377) + a/26?
True
Suppose -6*s + 77 = -67. Suppose s*z - 4743 = 12681. Is z a multiple of 33?
True
Let h be (4 + 6)/(-2) + 6 + 4. Suppose 7*y - 372 = h*y. Does 62 divide y?
True
Is 14 a factor of (-5 - 4)/((39/(-78))/(21*25))?
True
Let c be -3 - 1 - (-8)/(-2 - 0). Does 4 divide ((-24)/(-48))/((-1)/c)?
True
Let s be -2 + 5 + (1 - (-1 - 435)). Let z = s - 1141. Does 20 divide 2 + 30/(-14) + z/(-7)?
True
Suppose o - 2*o - 28 = 0. Let z = -26 - o. Is 12 a factor of 11*2*z*(1 + 2)?
True
Let b(w) = w**3 + 34*w**2 + 14*w - 6. Let f be b(-33). Suppose -6*u + f + 141 = 0. Is u a multiple of 2?
False
Let j(g) = g**3 + 8*g**2 + g + 14. Let k be (23 - 2)*(-2)/6. Let n be j(k). Suppose -5 + n = 3*q. Does 5 divide q?
False
Let n(k) be the first derivative of -2/3*k**3 - 4*k - 15 + 7/4*k**4 - 1/2*k**2. Is n(3) a multiple of 18?
False
Let a(v) = -24*v**3 - 107*v**2 - 41*v - 251. Is a(-14) a multiple of 27?
False
Let f = -611 - -910. Suppose f = 4*s - 213. Is 44 a factor of s?
False
Let x be -1 - -4 - (-11 + 42). Let z = x + 33. Suppose 0 = z*a - 146 - 139. Is 8 a factor of a?
False
Let c = -8 - -65. Let j = -39 + c. Suppose j*f = 853 + 1091. Is f a multiple of 18?
True
Let d = -130 - -431. Suppose d = z + 3*u - 4*u, 4*z = 5*u + 1205. Is z a multiple of 30?
True
Suppose 188*d = 193*d + 1290. Let a = d - -273. Does 5 divide a?
True
Let a(u) = u + 67. Let l(o) = o + 101. Let i(n) = 8*a(n) - 5*l(n). Let c be i(-7). Suppose c*g - 709 = -109. Is g a multiple of 12?
True
Let s = -211 - -194. Let v(q) = q**2 + 14*q - 20. Does 21 divide v(s)?
False
Let g be 66/4*42/9. Let p = g + 92. Is 6 a factor of p?
False
Let q(h) = -1758*h - 7689. Does 15 divide q(-13)?
True
Suppose 3*v + 1431 = c, -2*c + 2*v - 2910 = -4*c. Is 23 a factor of c?
True
Suppose 13*u - 8*y = -3*y + 170825, 3*y = 2*u - 26283. Is 180 a factor of u?
True
Let d(b) = b**3 - 2*b**2 - 3*b - 9. Let r be d(5). Let s = -35 + r. Suppose -w + 3*w = s. Is w a multiple of 3?
False
Suppose -58*w + 23319 - 61 = 0. Suppose 3*o + j = 5*o - 159, -w = -5*o - j. Is 2 a factor of o?
True
Let u be 8 + (3 - (0 - -3)). Suppose 0 = -15*r + u*r. Suppose -12 = -t - r*t + 5*s, 3*s = t - 20. Is t a multiple of 16?
True
Suppose -504 = -2*f + 80. Let o = f - 188. Is o a multiple of 36?
False
Let r(p) = 49*p - 29. Let q(o) = 5*o + 19. Let b be q(-3). Does 3 divide r(b)?
False
Suppose -5*q - 2108 = 512. Let n = -1931 - -1941. Is 6 a factor of 5/25*-2 - q/n?
False
Is 48 a factor of 3 + 10/6 + (-28)/(-84) - -5769?
False
Is 9 a factor of (-9 + 3)*2613/(-26)?
True
Let q(d) = -28*d - 14. Let n(h) = -13*h - 6. Let t(b) = -5*n(b) + 3*q(b). Is t(-5) a multiple of 3?
False
Suppose -215 = 8*k - 2215. Is k a multiple of 5?
True
Let a = 49 - -23. Suppose 3*m + m = a. Is m a multiple of 9?
True
Let a(q) = -8*q**2 - 27*q - 24. Let d(r) = 8*r**2 + 27*r + 25. Let l(x) = 4*a(x) + 3*d(x). Let n(h) be the first derivative of l(h). Is n(-12) a multiple of 15?
True
Suppose 31*t - 1010 = 33*t. Let p = t - -779. Is 8 a factor of p?
False
Suppose 2*o = -5*h + 25, 3*h + 3*o - 15 = 9. Suppose 2*z + h*q - 149 = 0, -z - 2*q = 3*q - 85. Is z a multiple of 3?
False
Suppose -3*a + 418 + 344 = 0. Suppose 5*n = -3*l - 426, -284 = -48*l + 50*l + 2*n. Let q = l + a. Is 28 a factor of q?
True
Suppose -3*l = 3*u - 10452, -3*u - 17398 = -5*l + 22. Does 134 divide l?
True
Suppose -124*v - 129*v + 291365 + 169348 = 0. Is 86 a factor of v?
False
Let h be 1*-1*((-12)/(-6) + 509). Let d = h + 774. Is d a multiple of 25?
False
Let x = 130 + -37. Let o = -393 + x. Is 15 a factor of (2/5)/((-2)/o)?
True
Let a = 4691 + -3776. Is 5 a factor of a?
True
Let r(i) be the second derivative of -5/6*i**4 + 1/20*i**5 + 0 - 5*i - 2*i**3 + 8*i**2. Is 32 a factor of r(12)?
True
Let y(a) = 817*a**3 - a**2 - a + 1. Let k be y(1). Suppose -4026 = -9*l + k. Suppose 2*i + 2 + 4 = 0, -2*o + l = 4*i. Is o a multiple of 25?
True
Let s = 70 - 65. Suppose -a - 381 = 28*j - 30*j, -s*a + 5 = 0. Is 28 a factor of j?
False
Suppose 101259 = 5*y - 2*h, 3*h - 430 + 421 = 0. Is y a multiple of 13?
False
Suppose -i - 5*p = -16000, -2*p + 32048 = -43*i + 45*i. Is i a multiple of 35?
True
Suppose 3 = i, -761 = 5*w - i - 21578. Is 12 a factor of w?
True
Let d(v) = -2*v**2 + 11*v + 8. Let o be d(6). Suppose 483 = 5*w - o*w - 3*c, -2*c = 3*w - 478. Does 10 divide w?
True
Let h(a) = 8*a**2 - 34*a + 290. Is h(7) a multiple of 12?
True
Let j(p) be the first derivative of -p**2 + 16*p + 19. Let v(x) = x**3 - 6*x**2 - 10*x + 5. Let t be v(7). Is j(t) a multiple of 24?
True
Let r be 6 - -10 - (1 - 3). Let b = r - 15. Is (54/24 - b/12) + 114 a multiple of 16?
False
Does 48 divide -28*((90/(-12))/15)/2 + 6905?
True
Let x(s) = -348*s + 2025. Is 140 a factor of x(0)?
False
Suppose t - 2 = -5*r + 17, 0 = -4*t - 4*r + 28. Let s(y) = 3*y**3 + y**2 - 4*y. Let x be s(3). Suppose 4*w = -3*d - x + 336, t*d = 8. Is w a multiple of 10?
False
Let d be ((-140)/(-60))/(2/570). Suppose 2*i + 3*i - d = 0. Let l = i - 63. Is 14 a factor of l?
True
Let z(s) = -2*s**2 - 30*s - 25. Let o(w) = -w**2 + 21*w + 35. Let y be o(23). Does 21 divide z(y)?
True
Let i(z) = 9*z**2 + 2*z + 1. Let s be i(2). Suppose 4*x - 292 = 5*v, 3*v + 71 = -4*x + 363. Suppose -2*l + x = 2*w - 7*l, -w + l + s = 0. Is 4 a factor of w?
True
Suppose 14*z - 47958 = -1856. Is 16 a factor of z?
False
Let l(h) = -h - 13. Let a be (3 - 2 - 7 - 3)/1. Let b be l(a). Is 24 a factor of ((-2)/b)/(0 - 1/(-226))?
False
Let v be (-3)/(6/2) - -11. Suppose 5*w + 219 = -5*l - 501, -v = -2*l. Let c = w + 292. Is c a multiple of 13?
True
Let z(p) = p**2 + 10*p + 6. Let w be z(-10). Let s = -1287 - -1019. Does 10 divide (20/w)/(s/(-132) - 2)?
True
Let s be 3*((-30)/(-9))/5. Let v(a) = 34 - 10 + 5*a**2 + 4*a**s - 4*a - a**3. Does 9 divide v(7)?
False
Suppose -6*c - 8*h - 92340 = -10*c, 5*c - 115443 = h. Is c a multiple of 150?
False
Let n = -4975 - -6212. Is n even?
False
Suppose 4*r = 5*k - 27717, 16635 = 3*k - 770*r + 766*r. Does 3 divide k?
True
Suppose -2*g + 297484 = 44*g - 2*g. Is 60 a factor of g?
False
Suppose 0 = -9*o - 87174 - 31590. Is 17 a factor of (3 - o/20) + (-5)/(-25)?
True
Let b(u) = -4*u - 11. Let y be b(-4). Suppose -94 = -y*l - 634. Let f = l - -180. Is f a multiple of 14?
False
Let c(s) = 7*s - 51. Let y be 4 + 15 + 3 + -4. Let b be c(y). Let d = b + -47. Is 7 a factor of d?
True
Let d = 35376 - 3527. Is 10 a factor of d?
False
Is 7 a factor of ((-3)/(-2))/(15/(-77840)*-4)?
True
Let t(d) = -137*d - 1858. Is 4 a factor of t(-24)?
False
Suppose -88 = 2*u - 72. Does 11 divide 39 - (u + (1 - -2))?
True
Suppose 0 = -5*s - t - 3*t - 933, -s - t = 186. Let l = 305 + s. Is 16 a factor of l?
False
Let q(f) = f + 8. Let n be q(-4). Suppose -n*w - 7 = -3*v - 3*w, v = w - 1. Suppose 78 = 2*o - 2*y, -3*o + 2*y = -v*o + 48. Is 6 a factor of o?
True
Suppose -141*s + 2611594 + 7899110 = 0. Does 13 divide s?
False
Let m(i) = 691*i**2 - 67*i - 284. Is 10 a factor of m(-4)?
True
Let i(x) = x**2 + 6*x + 6. Let n be i(-4). Let c be (1/n)/(3/(-36)). Suppose 0*b + c*b = 396. Does 11 divide b?
True
Let l be -10 + 5 + 6 - -1. Let s be (-72)/16*l/3. Does 36 divide (-2)/s - 1284/(-18)?