5*p + 53*d - 50*d = 1660. Does 4 divide p?
False
Let i be (6 - (9 - 7)) + -6. Does 21 divide ((-4932)/16 - i)*-4?
False
Let d = -12563 + 20019. Is d a multiple of 16?
True
Suppose 3*w + 1642 = 5*z, w + 986 = 3*z - w. Suppose -3*o = -o - 4. Suppose z = 2*v + 5*k, -4*v - 344 = o*k - 996. Is 27 a factor of v?
False
Let t = -145 + 243. Let z be 28/t + 33/7. Suppose -w = -5*h + 194, -189 = -z*h - w + 7. Is 39 a factor of h?
True
Suppose 3*o = 5*r - 39677, -5*o + 39681 = 5*r - 4*o. Is 8 a factor of r?
True
Suppose -5*n - 5 = -4*g, -g - 6 = 3*n - 4*g. Suppose -156 = -4*s + n*s. Let d = -21 + s. Is d a multiple of 27?
True
Suppose 2*p - 20*i - 9620 = -17*i, -5*p + 5*i = -24055. Is 52 a factor of p?
False
Let m be -2545*(-2)/18 + (-8)/(-36). Suppose 3*d - 442 = -5*x, 0 = -3*d + 5*d + x - m. Is 19 a factor of d?
False
Suppose -b - 4 = -3. Let o be (-3 - b)*((2 - -4) + -110). Let m = o - 52. Does 13 divide m?
True
Suppose 4*h + 5*z - 218321 = 0, 143*z = 4*h + 147*z - 218324. Is 16 a factor of h?
False
Let y(z) = -z**3 - 8*z**2 - 6*z - 22. Suppose -2 - 9 = m. Let n be y(m). Suppose 6*o = 4*o + 8, 0 = 3*v - o - n. Is 30 a factor of v?
False
Suppose 4*j - 2*i = 34 + 6, -5*j + 24 = 4*i. Does 4 divide 4/j*38*5?
False
Let w = 316 - 334. Let t(u) = -u**3 - 17*u**2 - 37*u - 21. Does 26 divide t(w)?
False
Does 7 divide (-5)/((-10)/8562) - -1?
False
Does 27 divide (23880/(-10) - (-17)/(-17))/(0 - 1)?
False
Is 9 a factor of (6741973/70)/31 + (-1)/(-10)?
False
Let h = 75 + -37. Let t be 30420/897 - (-4)/46. Let o = h - t. Does 4 divide o?
True
Suppose 2*p = 7 - 11. Let w be (-2)/8 - -1*p/(-8). Does 17 divide w - -82 - (-1 + -2)?
True
Let m = 5 - 25. Let i be m/40*(-1 + -7 + 2). Suppose 4*z - 5*d - 557 = 0, -z + 108 = -i*d + 8*d. Is 19 a factor of z?
True
Let q(j) = 51999*j**2 + 9*j + 11. Is q(-1) a multiple of 39?
False
Suppose 5*l + 4*j = 97, -j - 112 = -5*l - 5. Let p(g) = -g**2 + 25*g - 56. Is p(l) a multiple of 14?
True
Let v(n) = -n**3 + 44*n**2 - 93*n + 76. Is 3 a factor of v(41)?
False
Let v be ((-51)/34)/(9/(-1266) + 0). Let w = v + -141. Is w a multiple of 10?
True
Suppose 0 = 173*c - 170*c - 1878. Let l = c + -311. Is l a multiple of 9?
True
Let a(r) = 1666*r + 453. Does 20 divide a(4)?
False
Let b(j) be the second derivative of j**4/12 - j**3/3 + 81*j**2/2 - 3*j - 1. Is 41 a factor of b(18)?
True
Let v(c) = 6 - 20 - 3*c + 12 + 9. Let y be v(-2). Suppose -y*p - 28 + 1900 = 0. Does 16 divide p?
True
Suppose -471*p = 6537536 - 10566075 - 12925106. Is 59 a factor of p?
False
Let w(g) = 20*g - 3. Let u(d) = 101*d - 15. Let k = 3 + -1. Let h(q) = k*u(q) - 11*w(q). Is 7 a factor of h(-1)?
True
Let y(c) = 354*c + 954. Is y(32) a multiple of 8?
False
Let l = -5586 + 10647. Is l a multiple of 8?
False
Is 56 a factor of ((-3223)/(-22))/((-6)/(-108))?
False
Let w(z) = -4*z**3 - 10*z**2 + 26*z + 221. Does 49 divide w(-8)?
True
Let o be 5 - (-18)/(-12) - (-3)/2. Let l(j) = -8*j**2 - 10*j + 5. Let q(b) = 7*b**2 + 9*b - 5. Let k(d) = o*l(d) + 6*q(d). Does 12 divide k(6)?
False
Suppose -137*k + 130*k + 1337 = 0. Let q = -98 + k. Is q a multiple of 31?
True
Suppose 2*s + 424 = -2*g - 2*g, 3*s + 632 = -2*g. Let o = s - -562. Does 32 divide o?
True
Let g = -49 - 41. Let c = 482 + g. Does 28 divide c?
True
Let w be (158320/640)/((-2)/(-16)). Suppose 2*a = 3*z - w + 58, 0 = 5*z - 4*a - 3201. Does 80 divide z?
False
Let s(i) = 6*i**2 + 2*i + 1. Let a be s(-1). Suppose -5*h - 5*y + 305 = 0, 304 = 5*h + 5*y - y. Suppose a*x = h + 470. Is x a multiple of 8?
False
Let d = 1908 - 1517. Does 23 divide d?
True
Let w(k) = 57*k - 22. Let b be w(4). Let f = 320 - b. Is f a multiple of 6?
True
Let g be -12 + 15 - 11*-1. Suppose -5*j = -4*c - 23, 2*j + 4*c + g = 4*j. Suppose 5*u - 210 = 3*t, u - j*u - 2*t + 84 = 0. Is u a multiple of 18?
False
Let c(m) = 2*m**2 - 38*m + 2. Let x be c(19). Let f(n) = -11*n - 6. Let a be f(x). Is 2 - (a/(-21))/(4/(-210)) a multiple of 12?
True
Let v(s) = 2*s + 7. Let m be v(5). Let t(u) = -9*u + 165. Is 6 a factor of t(m)?
True
Is -9 + 7146/(-2)*-3 a multiple of 42?
True
Suppose 105*u - 189641 = 221959. Is u a multiple of 20?
True
Let i(x) = x**3 - 22*x**2 - 48*x + 44. Does 118 divide i(27)?
False
Let w = 28363 - 24019. Is w a multiple of 24?
True
Let t = -4522 - -6650. Is 15 a factor of t?
False
Let m = -9 - -17. Let z be 248 - (2 + (-12 - -6)). Does 16 divide 22*(z/m)/9?
False
Suppose 334*h + 5696 = 342*h. Suppose 16*f - 2904 = -h. Is f a multiple of 28?
False
Suppose -5*x - 5*b = -b - 31, 2*b - 20 = -4*x. Let w be x/((-18)/(-195))*2. Let z = w - -63. Is z a multiple of 16?
True
Let q = 10202 - -32. Is q a multiple of 5?
False
Let i be (-1)/((-2)/345) - 490/196. Suppose -3*b - 279 = -69. Let g = b + i. Is 17 a factor of g?
False
Suppose 0 = -y + 2*f + 299, f - 2 = 1. Let q be 7156/40 - ((-63)/(-70) - 1). Let s = y - q. Is s a multiple of 16?
False
Suppose 3*h - 2844 = 1116. Suppose v = 5*v - h. Let z = v + -233. Is 11 a factor of z?
False
Let i be -2*(14 - 6)*26/4. Let k = i - -176. Is k a multiple of 15?
False
Let u(p) = 2*p**2 + p. Let k be u(-2). Suppose k*v - 590 = -3662. Is 21 a factor of (-4)/3 - v/6?
True
Let q = -3314 + 25432. Does 21 divide q?
False
Let o = -14 + 58. Let s = -43 + o. Is 14 a factor of 167*(5/(-5))/(0 - s)?
False
Let w(m) = -4*m**2 + 13*m + 14. Let z be w(4). Suppose -2*b + 964 = -z*o, -b + 12*o = 13*o - 478. Does 32 divide b?
True
Let h(g) = -g**3 - 15*g**2 + 5. Let p be h(-15). Suppose -96 = -p*l + 204. Suppose 7*f = -3*f + l. Is f a multiple of 6?
True
Suppose 0 = 2*u + a - 105, -27*a + 25*a = u - 48. Is u/((-295)/(-550) + (-6)/15) a multiple of 33?
True
Suppose -108*c = -46*c - 253471 - 243149. Is c a multiple of 10?
True
Let f(p) = 10*p**3 - 3 - 12*p - p - 13*p**3 - 9*p**2 + 4*p**3. Is f(13) a multiple of 8?
True
Let b be (-22)/(-8) + 6/(-8). Suppose -r + b*r = 5. Suppose 0 = -2*t + 2*g + 146, 4*t - 322 = 3*g - r*g. Does 11 divide t?
False
Let h be (-3 - -33) + -1*1. Suppose 41*k - 36*k + 111 = 4*c, -5*k = -3*c + 107. Let s = k + h. Does 3 divide s?
False
Let b(l) = 115*l**2 - 161*l + 1011. Is b(6) a multiple of 95?
False
Suppose -412574 - 2848 = -41*g - 22*g. Is g a multiple of 104?
False
Let d = 235 - 235. Suppose -6*p + 14*p - 1672 = d. Is 11 a factor of p?
True
Suppose 5*y - 8 = 3*u, 0 = 5*u - 2*y - 4 + 11. Let j be 6/(u + 4) + 2. Suppose -5*i = q - 36, 5 + 3 = -i - j*q. Is 4 a factor of i?
True
Suppose -154*k + 314*k - 15984 = 158*k. Is k a multiple of 86?
False
Let x(j) = j**2 + 14*j - 41. Let b be x(-24). Let c = b - -101. Does 15 divide c?
True
Let x = 267 + -461. Let g = 1217 + x. Is 33 a factor of g?
True
Let o(v) be the first derivative of 2*v**2 - 6*v + 11. Let b be o(2). Suppose -5*k - 5*y + 60 = 0, 3*k = b*y + y + 6. Is k a multiple of 2?
False
Let h(s) = 5 - 4*s - 10 - 21 - 32 + 16. Suppose -5*f - 68 = 22. Is 10 a factor of h(f)?
True
Suppose 4*z + n = -3, -z + 2*n = 3*n. Let i = z + 4. Suppose -i*q = -t + 66, 2*t - 2*q - 62 = t. Is 9 a factor of t?
True
Let z be 36/(-15)*(-5 - -130). Let t = -165 - z. Does 5 divide t?
True
Suppose 8 = q - 4. Suppose -q = -p - 4. Suppose -5*t - 180 = -p*t. Is 20 a factor of t?
True
Let d(w) = 10104*w**2 - 2*w + 6. Does 10 divide d(1)?
False
Suppose 11*o + 66 = 0, -3270 = 7*c - 12*c + 5*o. Is c a multiple of 24?
True
Suppose -952 - 821 = -9*a. Let s = -10 + 10. Suppose s = 4*z - a - 303. Is 13 a factor of z?
False
Let r(x) = x**2 - 7*x + 15. Let y(k) = -k**3 + 7*k**2 + 5. Let b be y(7). Let q be r(b). Suppose -3*m + 104 = 2*s - 77, 5*m = -q. Is s a multiple of 12?
False
Does 9 divide ((-261)/9 - -4)*(2495/(-25) - 1)?
True
Suppose 3*n - 46 = 236. Let u = -3500 - -3556. Let m = n - u. Is m a multiple of 3?
False
Let k be 23/(-3) + -1 + 12/(-36). Let f(z) = 2*z**2 + 8*z + 35. Let j be f(k). Let o = 251 - j. Is o a multiple of 18?
True
Suppose 36 = -6*k - 0*k. Let d(v) = -v**3 + 6*v + 10. Does 19 divide d(k)?
True
Suppose -11*v + 13*v - 12 = 0. Is 16 a factor of -2*(-1)/v*9 - -20?
False
Suppose -4*j + 2762 = 2*f - 10156, 5*f + 9721 = 3*j. Does 91 divide j?
False
Let c(i) = -2*i**3 - 3*i**2 + 2*i - 9. Let h be c(3). Does 9 divide (-2024)/h*3 - (-2)/(-7)?
True
Let k be (3/(-3))/((-3)/6) - -2. Suppose 2*q - 710 = -k*o, 5*o - 4*q - 320 = 548. Let t = -46 + o. Does 13 divide t?
True
