Suppose 5*q - 375 = w - 6*w, -q + 4*w = -k. Is 18 a factor of (q - (2 + -3)) + -1?
False
Suppose -2*l + 13652 = -2*a, -220*a - 34126 = -5*l - 217*a. Does 4 divide l?
True
Let w(b) = 7*b - 17. Let p be w(4). Suppose 0*r = -p*r. Is r*(-2)/(-4) - -60 a multiple of 6?
True
Let z = -24117 + 26315. Does 5 divide z?
False
Suppose 41*f + 5*f - 191160 = 10*f. Is 59 a factor of f?
True
Let t(n) be the second derivative of n**3/6 + 6*n**2 + 19*n. Does 5 divide t(8)?
True
Is 2/(-49) + (-4772760)/(-1519) a multiple of 35?
False
Let d = -3919 - -4678. Does 69 divide d?
True
Let w(l) = -l**3 - 4*l**2 + 6*l + 5. Let d be w(-5). Suppose -118*u + 117*u + 266 = d. Is 38 a factor of u?
True
Let u(f) = -5*f + 21. Let i be u(3). Suppose 2*w - i*w + 1188 = 0. Is w a multiple of 54?
False
Let p(t) = -225*t - 1 - 143*t - 261*t - 34. Does 27 divide p(-1)?
True
Let s(j) = j**3 - 12*j**2 + 11*j + 10. Let k be s(11). Let c be (-44)/k - (-2)/5. Is (3 + (2 - 4) + -3)*c a multiple of 3?
False
Let b = -6552 - -7440. Does 91 divide b?
False
Let v(s) = -2*s**3 + 23*s**2 + 7*s + 27. Let m be v(13). Let y = -365 - m. Does 7 divide y?
False
Suppose 2*x + 20 = 4*j + 6*x, 5*j + 3*x - 25 = 0. Suppose 168 = w - 0*w. Suppose p = -u + 3 + 37, -j*u = -3*p - w. Does 6 divide u?
True
Suppose 36*n - 3591 = 17*n. Let b = -45 + n. Is b a multiple of 16?
True
Let m = -114 + 118. Is ((-40)/1)/(((-14)/m)/7) a multiple of 20?
True
Suppose 0 = -12*z + 18676 + 18188. Suppose -4*k + z - 212 = 0. Does 14 divide k?
False
Let y(x) = 2*x**2 + 9*x + 5. Let m(d) = d - 1. Let u(f) = -5*m(f) + y(f). Suppose -210*b = -194*b - 112. Is 26 a factor of u(b)?
False
Let r = 1398 + -1334. Suppose 0*s + a - 10 = -s, -4*s - 5*a = -44. Does 14 divide (-96)/r*((-106)/s + -1)?
True
Suppose -3*i = -k - 4*k + 344, 4*i + 517 = -5*k. Let v be (-1902)/(-9) - 1/3. Let l = v + i. Is l a multiple of 44?
True
Let r(n) = 18*n - 107. Suppose 37*y - 338 = 11*y. Does 2 divide r(y)?
False
Let f(t) = 31*t + 2. Let k be f(0). Does 10 divide (-2 - (k - 0)) + 246?
False
Let q(b) be the second derivative of 15*b - 7/2*b**3 - 53/2*b**2 + 0. Is 19 a factor of q(-12)?
False
Let p(j) = 2*j**2 + j - 9779 + 9750 - 26*j. Is p(14) even?
False
Let f(w) = -w**3 + 46*w**2 + 33*w - 13. Is f(-15) a multiple of 227?
False
Let i = 48 - -9. Suppose -y + 5*o = -2*y + 1, 3*y - i = 3*o. Let l = 14 + y. Is l a multiple of 4?
False
Suppose -106*h + 63804 = -81*h + 104. Is 14 a factor of h?
True
Suppose 6*g - 150 = 5*i + 3*g, 122 = -4*i + 2*g. Does 12 divide -1 + ((-2)/3 - 4213/i)?
False
Let z = 63 - 61. Suppose 3*o = -3*b + 54, z*b + b - o = 42. Let y(s) = -s**3 + 16*s**2 - 12*s + 33. Is 6 a factor of y(b)?
True
Suppose 324 = -4*w + 4*a - 1840, 3*w = -5*a - 1655. Let f = -204 - w. Is f a multiple of 11?
True
Let g = 1 + 2. Suppose 3*y = 3*b + b + 1, -g*b + 15 = 0. Does 2 divide (15/3)/(-5)*(0 - y)?
False
Let w(q) = 5*q**3 + 3*q**2 - 2*q + 16. Let k(n) = -n**3 - n + 1. Let i(b) = 4*k(b) + w(b). Is 8 a factor of i(3)?
True
Let l = -22 - -20. Let i be ((-13)/2)/(2/80*l). Let s = i + -97. Does 17 divide s?
False
Is 29 a factor of ((324/5)/(-2))/((-17)/((-12325)/(-10)))?
True
Suppose 0 = -0*p - p + 2. Let y = -2 + p. Suppose 2*r - 78 = -y*r. Does 17 divide r?
False
Let h(r) = 135*r**2 - 9*r - 24. Is 56 a factor of h(-3)?
False
Let k(v) = v**2 + 1. Let r(j) = 2*j**2 - 3*j + 11. Suppose 5*p - 14 = -3*i + 2*i, 4*i = p - 7. Let c(o) = i*r(o) + 6*k(o). Does 29 divide c(4)?
False
Let h(t) = -2*t + 1. Let b be -2 + 0*(-2)/6. Let y be h(b). Suppose y*p = -m - 15, 4*p + 8 + 2 = -m. Is m a multiple of 8?
False
Let a be 1/9 + 290272/288. Suppose -l = -7*l + a. Is 8 a factor of l?
True
Let u be ((-180)/42)/(3/(-14)). Suppose -4*r = r - u. Suppose 5*v + 110 = 3*m, 5*v - 2*v = r*m - 154. Is m a multiple of 10?
True
Let a be (-2)/3 + 0 + (-580)/(-6). Let v = 47 + a. Suppose 0 = 4*u - v - 193. Is 12 a factor of u?
True
Let k(z) = -4*z + 126. Let h be k(31). Suppose n - 73 = g, -7*n = -h*n + g - 395. Is 26 a factor of n?
True
Let f(b) = b**2 - 18*b + 78. Let t be f(6). Is 2 a factor of (8 - (-1730)/35) + t/(-14)?
False
Let y be (-11 - -8)/((-1)/3). Is 1062/21 - y/(-21) a multiple of 17?
True
Suppose -7*s + 2*s + 2*n - 8 = 0, -5*s + 5*n - 20 = 0. Does 12 divide 1328/(-8)*(-1 - (s + 0))?
False
Let c(s) = 8*s + 116. Let j be c(-13). Suppose 0 = m + 5*l - 714, 0 = -5*l + 9*l + j. Is 27 a factor of m?
True
Suppose 107*b + 154719 = 111*b + 3*u, 4*b + 2*u - 154718 = 0. Is b a multiple of 23?
False
Does 101 divide (2 - -58*(-42)/6)*(-166)/2?
True
Suppose 2*i = c - 672, -3*c + 53*i - 58*i + 1972 = 0. Suppose c*u - 2352 = 660*u. Is 6 a factor of u?
True
Let h(z) = -910*z**3 - 5*z**2 - z + 2. Does 8 divide h(-1)?
False
Suppose 8*c - 6*c = 4. Let x be (-396)/6*(-2)/6. Let d = c + x. Is 7 a factor of d?
False
Suppose -4*u = -20, 5*j - 9*u = -12*u + 795. Let p = 3 - -1. Suppose 7*k - j = p*k. Is 11 a factor of k?
False
Suppose 5*y - 3*y - 6 = 0. Suppose -978 = 15*d + 267. Is (0 - y)/((-4)/4) - d a multiple of 25?
False
Let p(z) = -z**2 + 46*z + 347. Let h be p(52). Suppose d + m = 152, -415 = -3*d - 5*m + h. Is d a multiple of 5?
True
Suppose -23 - 167 = -3*c + l, 5*l - 104 = -2*c. Suppose -c*k + 70*k - 1728 = 0. Is k a multiple of 6?
True
Let b = -6883 + 19878. Does 11 divide b?
False
Let x = 18 + -20. Let a be (1 - x)/(1 + 0). Suppose -a*g + 408 = 5*g. Is 14 a factor of g?
False
Suppose -55*a = 27*a - 228817 - 171343. Is 142 a factor of a?
False
Suppose 39*r = 48*r + 9. Let q(t) = -359*t + 25. Is q(r) a multiple of 45?
False
Let r = -3495 - -4628. Is r a multiple of 25?
False
Let q = -89 - -96. Let c be (q/3)/((-2)/(-6)). Suppose c*n = 5*n + 250. Is 16 a factor of n?
False
Let i(u) = 3*u - 23. Let v be i(5). Does 11 divide (-3)/(-2) + -6 + (-2172)/v?
False
Does 50 divide (6 - 7)/((-7)/7350)?
True
Suppose -39 = 3*x + 45. Let z = 76 + x. Let b = 101 - z. Is b a multiple of 28?
False
Suppose 105 = 2*c - 3*w, -w - w + 10 = 0. Suppose -2*l = 3*l + x - 156, x - c = -2*l. Let t = l - 7. Does 20 divide t?
False
Is 13 a factor of 4*-2 - ((-180)/(-15) - (-30632)/(-2))?
False
Let a(l) = 6 + 3 - 3 - 86*l. Let j be a(-3). Suppose 0*n - j = -3*n. Is 11 a factor of n?
True
Let s = -133 + 158. Suppose s*g = 12*g + 6084. Is g a multiple of 9?
True
Suppose w - 3*x = 3 + 3, -w - 4*x = -34. Let r(f) = f**3 - 17*f**2 - 18*f + 2. Let u be r(w). Let q = u - -60. Is 13 a factor of q?
False
Suppose 8376 = 4*j - 5340 - 3384. Is 8 a factor of j?
False
Let j(r) = -69*r**3 - r**2 - 2*r - 2. Suppose 0 = 4*u - 20, t - 22 = 3*t - 4*u. Is j(t) a multiple of 68?
True
Let m be -154*(1 + 4/8). Let o = 327 + -738. Let k = m - o. Does 45 divide k?
True
Let h = 669 + -664. Let s = 7 - 2. Suppose h*c = -s*z + 485, -4*z = -2*c - 9*z + 197. Does 12 divide c?
True
Suppose s = -5*p + 3580, -s - 3*p + 1633 + 1961 = 0. Is s a multiple of 5?
True
Let h = -6189 + 12448. Is h a multiple of 107?
False
Let l(x) = 18*x**2 - 5*x + 23. Let t be l(3). Let o = 190 - t. Is o a multiple of 10?
True
Suppose 0 = 3*v + 4*h + 14, -6*h + 5 = -7*h. Suppose 2*f + 3403 = 5*q, 8*q - v*f + 2726 = 12*q. Does 13 divide q?
False
Suppose 6 = -18*w + 16*w. Let o be (12/(-10))/(w/45). Suppose 63 = 3*s + o. Is s a multiple of 13?
False
Suppose -3858*y = -3833*y - 62750. Does 2 divide y?
True
Let j = 5072 + 79. Does 16 divide j?
False
Let l = 7208 - -20248. Is 39 a factor of l?
True
Let h = -278 - -290. Suppose 0 = 5*g - 0*w + 5*w - 245, -4*w = h. Is g a multiple of 4?
True
Let p(g) = -26*g - 331. Is p(-30) a multiple of 5?
False
Suppose 0 = 1573*b - 1619*b + 699522. Is 55 a factor of b?
False
Let a = -67 + 69. Suppose z = a*z - 275. Does 24 divide z?
False
Suppose -5864 - 17843 = -2*a - 3*p, 0 = p - 3. Is a a multiple of 50?
False
Suppose 5*i = -2933 - 2787. Let y = 2112 + i. Suppose 2*c = -g + 488, -g + 3*g = 4*c - y. Is c a multiple of 27?
True
Let j = -71 + 128. Suppose -54*a + j*a - 441 = 0. Is a a multiple of 21?
True
Let j(w) = -w**3 + 7*w**2 - 19*w + 14. Let q(n) = 5*n**3 - 28*n**2 + 76*n - 56. Let d = 48 + -50. Let u(r) = d*q(r) - 9*j(r). Is 24 a factor of u(-10)?
True
Let z be (1 - (0 - -2)) + 1 - 0. Suppose z = 11*u - 5677 - 274. Is u a multiple of 18?
False
Suppose 0 = 2268*a - 2275*a + 115542. Is a a multiple of 126?
True
Let s = -905 - -1628. Let i