 Does 4 divide b?
False
Let h = 25286 - -4040. Is h a multiple of 9?
False
Let t = -32986 - -50320. Does 27 divide t?
True
Let n(m) = -3*m**2 + 8*m - 29. Let s(p) = 13*p**2 - 33*p + 116. Let f(v) = -9*n(v) - 2*s(v). Is f(10) a multiple of 2?
False
Let m = -1494 - -3198. Suppose -3*k + d + 2563 = 0, 8*k - 10*k + 3*d = -m. Is k a multiple of 15?
True
Let d(s) = 22771*s**2 - 5*s - 2. Is 266 a factor of d(1)?
False
Let f(d) = 19*d + 182. Let v be f(-9). Suppose v*z - 12*z + 297 = 0. Is 33 a factor of z?
True
Let g = 21923 + 457. Does 11 divide g?
False
Suppose 3*i - 8*i + 66 = 3*b, -5*i = b - 72. Suppose -i*p = -7*p - 5376. Does 21 divide p?
True
Let t = -611 - -433. Let p be (666/10 - -1)*(-30)/(-6). Let s = t + p. Is 33 a factor of s?
False
Suppose 5*w = 15*w - 4610. Let l = w - 281. Does 36 divide l?
True
Let l = -2380 + 4443. Let o = -1123 + l. Does 20 divide o?
True
Suppose 4*q + 0*q + z - 65 = 0, -1 = -z. Suppose q*x - 1632 = 2400. Is 60 a factor of x?
False
Suppose 9*t + 3877 = -7967. Let m = 84 - t. Is m a multiple of 58?
False
Let p be -2*-4*6*(-5)/20. Is 15 a factor of 414/p*-4 + 7?
False
Suppose -5*p = -q + 6531, -59*q - 3*p = -64*q + 32501. Is q a multiple of 3?
False
Suppose 3*z + 15 = 0, -z + 70 = -5*d - 0*z. Let x(p) = -3*p**2 - 25*p - 46. Let r be x(-4). Is 3 a factor of (-520)/d - r/9?
False
Let a be (-15)/(-18)*-5 + 1/6. Let d(h) = -44*h - 6. Does 17 divide d(a)?
True
Suppose -37*o - 4006 + 3343 + 39809 = 0. Is 23 a factor of o?
True
Let y = 696 - 252. Is y a multiple of 111?
True
Let c(b) = 4*b + 13. Let g be c(2). Suppose 0 = -g*a + 26*a - 4*w - 2350, -3*w - 2350 = -5*a. Does 10 divide a?
True
Suppose -b = 4*a - 2453, 109*a - 114*a = -4*b - 3103. Is 3 a factor of a?
True
Let a = 13087 + -6671. Does 48 divide a?
False
Suppose 0 = -53*j - 11*j + 192. Suppose 5*a - 15 = 2*a. Suppose -j*g - 196 = -a*g. Is 22 a factor of g?
False
Let j(n) = 6*n**2 - 10*n - 24. Let q be j(-2). Suppose -q*l + 9401 = -3*l. Is 16 a factor of l?
False
Suppose 255*k - 2917980 = 74*k - 378*k. Is 9 a factor of k?
True
Let s = -7034 - -12430. Is 19 a factor of s?
True
Let f = 103 + -100. Does 24 divide f/(-9) - (-1801)/3?
True
Suppose 25*t - 27*t - 19 = w, 4*w = -4*t - 68. Is 5/w - (-3876)/54*3 a multiple of 18?
False
Suppose 5*l + 3*u = 52, 4*l + 23 = -3*u + 64. Suppose -l*m + 18*m - 2128 = 0. Is 69 a factor of m?
False
Is 110360/16 + (-21)/(-6) a multiple of 103?
True
Let w be (56/10)/(2/(-75)*-3). Let t = w + -96. Let r = 34 - t. Is 15 a factor of r?
True
Let i = 169 + -162. Suppose 199 = i*v - 25. Is v a multiple of 11?
False
Let m(x) be the second derivative of -x**4/12 - 7*x**3/2 - 10*x**2 - 46*x. Does 5 divide m(-9)?
False
Let s = -43 - -43. Suppose s = -17*k + 16*k. Suppose k = -2*p - 4*u + 6, 3*u - 5*u - 11 = -p. Does 7 divide p?
True
Suppose 5*v - 22 = -7. Suppose -3*r + v = 0, -3*r - 76 - 47 = -l. Suppose -333 = -3*j + l. Does 17 divide j?
True
Let g = 1542 + -1077. Suppose -2*v = -3*y + g, y - 2*v + 300 = 3*y. Suppose -3*l = -432 + y. Is l a multiple of 23?
False
Let u = 289 - 282. Suppose 12*h = -2*n + u*h + 330, -2*n + 4*h = -330. Is 11 a factor of n?
True
Let y(m) = m**3 + m**2 + 2*m. Let g be y(-3). Let j be (g/(-4*1))/(4 - 3). Suppose -6*k + 1056 = j*k. Is 22 a factor of k?
True
Suppose -d = -4*d - 18. Let s be -1 + 272 + (0 - d/(-6)). Suppose -a + 6*a = s. Is a a multiple of 18?
True
Suppose 222 = -2*a - 4*p, -4*p + 3 = a + 118. Suppose 0 = -80*r + 81*r + 3*q - 149, 2*r - q = 326. Let j = a + r. Is j a multiple of 6?
True
Let t(o) = -66*o - 10. Let p be (2/4)/(5/(-30)). Let a be t(p). Suppose -4*b = 4*w - a, -b + 3*b - 238 = -5*w. Does 12 divide w?
True
Let u = 30 - 52. Let h be (-3)/((-10)/(-45) - u/144). Does 11 divide h*5/5*-4?
False
Let m = 16024 - 8968. Is 49 a factor of m?
True
Suppose 5961517 = 319*o - 5451346. Does 133 divide o?
True
Suppose 0 = 10*u + 2 - 2. Suppose u = -6*k + 543 + 2211. Is 51 a factor of k?
True
Let k = -41 - -45. Suppose -19 = k*r + 5*a - 2*a, -r - 16 = 3*a. Does 9 divide (r*21/(-9))/(2/30)?
False
Suppose -103 - 33 = 2*a. Is 15 a factor of (30/2)/(65/a + 1)?
False
Let a = 9061 + -5239. Is a a multiple of 2?
True
Is 12/21 - (-7 + (-140220)/105) a multiple of 4?
False
Suppose 5*k + 4*z + 15 = 0, -11*k + 5*z = -16*k - 20. Does 6 divide (k + 0)*(-36 + 330)?
True
Let t = 70 + -70. Suppose a - 24 + 29 = t. Let i = 44 + a. Is 13 a factor of i?
True
Suppose -l + 27*x + 6404 = 25*x, 3*x + 38487 = 6*l. Is 37 a factor of l?
False
Let p = -153 + 129. Is 13 a factor of (-1)/6 + (3 - 4156/p)?
False
Let m(p) = -3349*p + 782. Is 17 a factor of m(-3)?
True
Let v(o) = 59 + 7*o + 5*o**3 + 178*o**2 - 4*o**3 - 216*o**2. Is 3 a factor of v(38)?
False
Suppose -7*a + w + 24 = -3*a, 4*a + 3*w - 24 = 0. Suppose a*y + 21 = 1455. Is 20 a factor of y?
False
Let x = -1469 + 7568. Does 57 divide x?
True
Suppose 58*u + 85248 = 90*u. Does 3 divide u?
True
Let x(u) = u**2 - 2*u - 8. Let f be x(5). Let d be (-37 + f)/((-1)/7). Suppose p - 20 - 38 = 2*k, d = 3*p + 3*k. Is 11 a factor of p?
True
Suppose -5*p = -25, -15*q = -10*q + 5*p - 20755. Is q a multiple of 64?
False
Suppose -2*s = 2*s - 28. Suppose -3*v - s = -2*f, 0 = 5*v - f - 4*f + 20. Is 9/(-9) + (v - -23) a multiple of 4?
False
Let s(a) = -4*a - 9*a**2 + 58 - 48 - a**3 + 2*a**3. Let h be s(5). Let w = h - -160. Is 3 a factor of w?
False
Suppose -3*c + 8965 = -6*s + 7*s, -3*c + 44897 = 5*s. Does 14 divide s?
False
Let f(t) = t**3 + 4*t**2 - 10*t + 8. Let i be f(-5). Suppose -75 = i*u - 999. Is 5 a factor of u?
False
Let i(m) = -5598*m + 6192. Is 78 a factor of i(-6)?
True
Let o(j) = 372*j + 12. Let l be o(9). Suppose 1950 + l = 9*s. Does 59 divide s?
True
Let z be (2/4)/(2/320). Let q be (z/15)/(2 + 87/(-45)). Suppose -4*m - q = -6*m. Is m a multiple of 9?
False
Let r(o) = 7*o**2 + 8*o**2 + 2 - 6*o + 16*o**2 - 3. Let b be 2 + 0 - (31 + -32). Does 10 divide r(b)?
True
Let y = -195 - -218. Let z(d) = -d**3 - d - 13. Let c be z(0). Let p = y - c. Is p a multiple of 17?
False
Let g = -17859 - -27309. Is 126 a factor of g?
True
Let z(k) = 2*k**3 - 3*k**2 - 2*k - 6. Let n be z(4). Suppose 5*q + n = 76. Suppose -q*f = -7*f + 450. Does 38 divide f?
False
Suppose 3596 + 276 = 11*k. Suppose c + 0*c = 2. Suppose 0 = -c*r + 6*r - k. Is r a multiple of 12?
False
Suppose 17*g + 17102 = -2*g + 198058. Does 4 divide g?
True
Let u = 202879 + -135799. Is 53 a factor of u?
False
Suppose -2 + 30 = 7*o. Suppose -v - o = -4*z, 3*z - 3 = 3. Suppose g - 2*g = -3*l + 649, 859 = v*l + 5*g. Does 36 divide l?
True
Suppose -i + 2*g = -4*i + 2, -2*i + 2*g + 8 = 0. Suppose 3*s - i*h - 424 = 0, s - 702 = -4*s + h. Is s a multiple of 14?
True
Let m(p) = 2*p**2 - 3*p + 8*p + 0*p**2 + 4*p**2. Let h be m(-2). Suppose 0 = -h*s + 7*s + 903. Is s a multiple of 43?
True
Suppose 171860 = 2693*l - 2680*l. Is 53 a factor of l?
False
Suppose -h + 612 = 4*w, 2*h - 709 = 3*w + 515. Suppose -h = 4*x - 1844. Is 17 a factor of x + (8/4)/((-4)/(-8))?
False
Let c = 61 - 55. Let r be 20/c*-1*(-6)/5. Suppose -2*k = 2, -r*p - 5*k + 717 = -2*k. Is 36 a factor of p?
True
Let c(r) = 5*r - 40. Let v be c(10). Suppose 3*i - i - v = 5*y, 5*i - 5*y = 10. Is 19 a factor of 166/(-2)*(i + (-1 - 0))?
False
Suppose -5*x + 35 = 5*v, -4*x = -x + v - 13. Suppose x*b + 13 = -t + 6, 0 = -4*b - t - 10. Let r(u) = -7*u - 6. Is 15 a factor of r(b)?
True
Suppose 0 = 1134*c - 555*c - 568*c - 344366. Does 23 divide c?
False
Suppose 7*u + 490 - 20230 = 0. Does 8 divide u?
False
Let f = 7619 - 4516. Does 44 divide f?
False
Let w be (0 + -2 - -2)/2 - -647. Suppose 0 = -7*n - w - 515. Let t = n - -289. Does 41 divide t?
True
Suppose 2*c = 28 - 20. Suppose -2*f + 854 = 2*r - 0*r, 0 = 5*f - c*r - 2162. Is f a multiple of 35?
False
Let q = -9131 + 23195. Does 62 divide q?
False
Let q(p) = p**2 - 8*p - 39. Let x be (((-120)/(-4))/(-5))/1. Is q(x) a multiple of 9?
True
Let q(j) = 3*j**3 + 18*j**2 - 42*j - 932. Is 97 a factor of q(22)?
True
Let h(s) = 30*s**3 - 6*s**2 + 76*s - 560. Does 105 divide h(11)?
True
Let g(t) be the second derivative of 5*t**3/3 + 89*t**2 + 128*t. Does 31 divide g(7)?
True
Let n(x) = 8*x - 13*x + 2*x**3 - 27*x - 11 - 3*x**3 + 197*x**2 - 175*x**2. Is n(20) a multiple of 2?
False
Suppose 0 = 2*t - 12*t - 610. Let z = t - -56. Is (10 - 6)*2/(-4) 