-14 + -31. Let d = 51 + n. Is 11 a factor of (-3)/((-9)/d) + 75?
True
Let b be (105/15)/(2 + -1). Suppose 11*d - b*d = 820. Let j = d - 17. Does 18 divide j?
False
Let m be -9 - (-10 + (11 - 5)). Is 17 a factor of 10/14*102/m*-7?
True
Suppose 4*p + 412 = 432. Suppose 31*z = p*z + 1534. Does 9 divide z?
False
Is (-294640)/(-12)*(3 + 0)*(-128)/(-320) a multiple of 52?
False
Let l = 58 - 75. Let d = l - 7. Is 10 a factor of d/(-15) + -2 + (-1248)/(-20)?
False
Let p = 94 - -11. Does 5 divide 0*(4 + 1)/10 + p?
True
Suppose 0*g + 1921 = 2*q + g, 4*q - 3884 = 4*g. Is q a multiple of 3?
False
Let p = 1575 - 1585. Let q = -7 + -10. Is 7 a factor of p*(q/2 + -1)?
False
Let b(a) = a**3 - 9*a**2 - 10*a - 18. Is 137 a factor of b(14)?
True
Suppose 0 = 4*w + 4*q - 63236, -30*w + 15821 = -29*w - 2*q. Is 21 a factor of w?
True
Suppose -49802 + 7519 = -3*s + 5*q, -2*s = -4*q - 28184. Is s a multiple of 43?
False
Let b = 240 + -240. Suppose -5*z = d + 526 - 2454, b = -2*z + d + 767. Is z a multiple of 7?
True
Let l(y) = 4*y + 34. Let t be l(-8). Is (-52)/(-26) + 1500/t a multiple of 16?
True
Let y be ((-2910)/45)/(6/(-135)). Let r = y + -1020. Does 9 divide r?
False
Suppose 18*w - 3228 = -p + 21*w, -9726 = -3*p + 3*w. Is p a multiple of 19?
True
Suppose -22*r = -23*r + 78. Let q be 2/3*3/(-2). Let j = r - q. Is j a multiple of 17?
False
Suppose 0*k = -2*k - 2*s + 16, 0 = -2*s. Let g be 6 + 4/k*-8. Is 9 a factor of g/(-7) + ((-65)/(-7))/1?
True
Let p(t) = 7*t - 3. Let f be p(1). Let h be ((-2)/4)/(f/(-152)). Let v = h + 45. Does 8 divide v?
True
Let a(r) = -4*r**2 - 64*r + 272. Does 25 divide a(-19)?
False
Let l = 83 + 259. Let a = l + -114. Does 19 divide a?
True
Does 12 divide 2240*(8/(-1) + (-3010)/(-245))?
True
Let n = 12421 + -8509. Is n a multiple of 12?
True
Suppose -5*n - 25 = 0, -6 = -4*p - 2*n + 8. Does 47 divide ((-35)/15 + 3)/(p/423)?
True
Suppose 5*z + 5*q = 10, -2*z - 3*q + 5*q - 4 = 0. Suppose z = 20*s - 196 - 1104. Is 5 a factor of s?
True
Suppose 5*w = -4*y + 30791 - 2396, -5*y = 2*w - 35464. Does 148 divide y?
False
Let i be -1 + 20/5 + 1. Suppose 0 = 5*a + 2*k + 11, -3*a - 12 = -k + i*k. Is (a + -9)*2*30/(-25) a multiple of 6?
True
Let c = 178 + -176. Suppose m = -m + 3*x + 304, -5*x - 296 = -c*m. Is 79 a factor of m?
True
Let i(f) = 1086*f + 387. Does 57 divide i(4)?
True
Let y = 25180 + -13216. Is 6 a factor of y?
True
Let n(h) be the second derivative of -h**5/20 - 5*h**4/12 - 7*h**3/6 - h**2/2 - 162*h - 1. Suppose -5*c + 7*c = -14. Is 25 a factor of n(c)?
False
Let q = -1279 - -4261. Does 72 divide q?
False
Suppose -3*z = 5*u - 4*u + 18, -4*u = 3*z + 54. Does 71 divide 475/2 + (-8 + 2)/u?
False
Does 119 divide 2 + (-6 - -2)*287198/(-136)?
True
Let b = 6650 + -1107. Does 27 divide b?
False
Let f = -994 - -621. Let u = 563 + f. Suppose 0 = h + 4*h - u. Does 19 divide h?
True
Let s(r) = -422*r + 118. Does 43 divide s(-4)?
True
Let p(x) = 184*x**2 - 4*x - 12. Let w be p(5). Is 62 a factor of w/20 + (-4)/10?
False
Let q = 3 + 3. Suppose 12 = q*w - 0. Is 24 a factor of w + (123 - 2) + -3?
True
Is 163 a factor of ((-54)/(-63))/2*43743?
False
Let t(h) = 1466*h - 2166. Does 24 divide t(3)?
True
Let g(c) = -2*c**2 + 16*c - 27. Let n be g(6). Is 81 - (0/n - 1) a multiple of 6?
False
Let u = -1176 - -2164. Let q = 1702 - u. Is q a multiple of 17?
True
Let x = 10754 + -7296. Is x a multiple of 8?
False
Let y(z) = 15667*z**2 + 18*z + 26. Does 200 divide y(-1)?
False
Let n = -1642 + 3167. Does 5 divide n?
True
Let q = 397 - 388. Let d(j) = -8*j + 95. Is 2 a factor of d(q)?
False
Let t(g) = g**3 + 9*g**2 - 8*g + 23. Let d be t(-10). Suppose 0 = -3*a - 6, d*a + 2*a + 30 = 4*m. Let x(i) = i**3 - 4*i**2 + 9*i - 18. Is 13 a factor of x(m)?
True
Let a be (2/6)/(1/(-15)). Does 49 divide (1 + a)/(47328/4734 - 10)?
False
Let o(h) = 46*h**2 + 39*h + 37. Does 18 divide o(-6)?
False
Suppose -4*k - 2*b - 6304 = -16730, 7830 = 3*k - 2*b. Is 17 a factor of k?
False
Let y be (180/(-28) - -5)*-7. Let t = y - -18. Suppose -t*w + 32*w = 704. Does 29 divide w?
False
Let x(b) = -3*b - 9. Let i be x(-19). Suppose 0 = t - 51 - i. Let k = t + -10. Does 8 divide k?
False
Suppose -j = -3*j. Let x(m) = -22*m + 325. Let n be x(-11). Suppose 7*q + j*q = n. Is q a multiple of 27?
True
Let y be 88/(-154) + (-204)/(-14). Let t be -1*8*y/4. Does 7 divide (t/(-4))/((-4)/(-32))?
True
Suppose 0 = 52*d - 45*d - 889. Suppose -7*m + 197 = d. Is 4 a factor of m?
False
Let x(m) = -m**2 + 5*m + 16. Let l = 13 + -5. Let y = -1 + l. Does 2 divide x(y)?
True
Does 57 divide ((-210)/5)/(-7) + 5970?
False
Let h(t) = 482*t - 180. Suppose 0 = -4*n - 4, -3*x + 0*n + 3*n + 12 = 0. Does 81 divide h(x)?
False
Let q(k) = -k**3 - 10*k**2 - 2*k - 15. Let y be q(-10). Let b(o) = 21*o + 33. Does 46 divide b(y)?
True
Let y(s) = s**2 - 3*s - 15. Let i be y(6). Suppose -4*g = -r + 761, 0*r + 2335 = i*r + g. Does 37 divide r?
True
Let v(i) = -2787*i**3 + 2*i**2 - 2*i - 4. Let z be v(-1). Suppose -z = 7*u - 344. Let w = 517 + u. Is w a multiple of 28?
True
Let g be -201*4*(-5)/30. Suppose 5*r - 1155 = 4*h, -3*r = -3*h - g - 556. Does 9 divide r?
False
Let k(h) be the first derivative of 48*h + 5 + 13/2*h**2 + 5/3*h**3. Is k(-6) a multiple of 12?
False
Suppose -3*f - 69*m + 64*m + 24567 = 0, f - m = 8173. Is 23 a factor of f?
False
Suppose 5*m + 3*u + 154 = 1210, 3*u = 2*m - 435. Suppose m + 547 = 5*y. Is y a multiple of 3?
False
Let j(n) = n + 7. Let x be j(-7). Suppose -d - 3 + 2 = x, -d + 197 = 2*q. Let r = -86 + q. Is r a multiple of 2?
False
Let p = 44702 + -10265. Is p a multiple of 142?
False
Let h(p) = -58*p - 1990. Is 2 a factor of h(-65)?
True
Let y(o) = 4*o + 56. Suppose -155 = -6*c + c. Is 78 a factor of y(c)?
False
Suppose 5*c = 3*h + 37, -h + 8 = -3*h. Suppose c*b = -v + 19, 3*b = 5*v + b - 68. Is 23 a factor of 105/v*(23 - 1)?
False
Let w(a) = -a**3 - 4*a**2 - 5*a - 4. Suppose 23 = -5*x + 8. Let p be w(x). Suppose 2*z + p*z + 2*b - 104 = 0, 4*b - 40 = -z. Is 13 a factor of z?
False
Suppose -3799 + 40278 = 64*i - 237121. Does 95 divide i?
True
Suppose -38*f + 225852 = 78*f. Does 10 divide f?
False
Suppose 1079 = 4*d + 5*b - 7012, 0 = 3*d + 4*b - 6069. Does 118 divide d?
False
Let x(z) = 9*z - 1. Let t be x(2). Is t/((-3)/(-9)*(-6)/(-10)) a multiple of 8?
False
Is (-6)/(-5*(-19)/(-51300)) a multiple of 27?
True
Suppose 0 = -263*k + 12117 + 69413. Does 10 divide k?
True
Suppose 356303 = -150*d + 1262903. Is d a multiple of 39?
False
Suppose 11*y - 79*y + 1262323 = 45*y. Does 49 divide y?
False
Suppose 15 + 5 = 2*f + 2*l, 0 = 5*f - 2*l - 64. Does 10 divide (760/(-3))/((-4)/f)?
True
Let j(b) = 1498*b**2 - b. Is j(3) a multiple of 14?
False
Suppose 6 = 4*h - 2*w, -3*h - 2*w - 6 = -8*h. Suppose h*q = 2*q - 222. Suppose 5*k - 84 = q. Is k a multiple of 11?
False
Is (11 - (-16809)/91)*(147 - -7) a multiple of 81?
False
Suppose 0 = -411*f + 1364234 + 2720284. Does 90 divide f?
False
Let x = 70290 - 41259. Does 22 divide x?
False
Let r = -260 - -335. Suppose -4*k = s - 45, 5*s - 3*k - 120 - 36 = 0. Let d = r - s. Does 20 divide d?
False
Is 30/(-165) + (2 + 0)/(44/78808) a multiple of 18?
True
Let i(s) = 2*s**3 - 2*s**2 + s - 5. Let r be i(2). Let q(u) = 3*u**2 - 3*u - 6. Let h be q(-6). Suppose -2*j - h = -r*j. Is j a multiple of 8?
True
Let a(m) = 20*m**2 + 39*m + 45. Does 4 divide a(-9)?
False
Suppose -v + 4*v + 9 = 0, 0 = 2*o - 4*v + 40. Let y be (o/39)/((-2)/75). Does 23 divide 4 - ((-3044)/20 + 5/y)?
False
Let c(j) = 49*j - 5. Suppose -4*m - 3*n + 97 = 0, -2*n - 2 = -0*n. Suppose 0*q + 12 = 3*k - 2*q, 5*q = 5*k - m. Does 9 divide c(k)?
False
Suppose 18*d = 16*d - 4*n + 128, 3*d - 5*n - 203 = 0. Is 11 a factor of ((-33)/(-3) - 3)*d?
True
Suppose 88397 + 91167 = 154*w. Does 88 divide w?
False
Suppose 0 = 22*m - 13*m - 3294. Suppose -3*v - 624 = -5*x, -m = -3*x - v - 0*v. Is x a multiple of 9?
False
Suppose 0 = -l + 4*l + 3*w - 150, -4*l - w + 191 = 0. Does 17 divide 203/3 + l/141?
True
Suppose -13*w = -48*w + 62895. Is 3 a factor of w?
True
Let o(t) be the third derivative of 363*t**5/20 - t**4/12 + t**3/6 - 3*t**2. Is o(-1) a multiple of 84?
True
Let a be -8 + 2 - (-4 - 1). Let c(z) = -130*z**2 + 3*z + 4. Let b be c(a). Does 18 divide (-6)/14 - b/7?
True
Suppose 2*s - 2905 = -4*b + 147, -2*s + 1526 = 2*b.