Let g = x + a. Does 5 divide g?
True
Let j(s) = 3*s**2 + 10*s + 4. Suppose -21*f + 19*f = -12. Let m be f/21 + 9*20/(-42). Is 2 a factor of j(m)?
True
Suppose 2147 + 2788 = -5*u. Let l be ((-2)/(-3))/((-14)/u). Suppose k = l + 23. Is 13 a factor of k?
False
Let d(f) = f**2 + 9*f + 17. Suppose 72 = -5*a - 4*a. Let r be d(a). Is 6/r*(-288)/(-3) a multiple of 16?
True
Suppose 78*f + 140 = 73*f. Does 5 divide -4*18/f*(-12 - -19)?
False
Let l = 66 - 60. Suppose l*v = 17 + 7. Suppose 0 = i - 104 + v. Is i a multiple of 14?
False
Is 78 a factor of ((121/(-33))/11)/(1/(-1908)) + 6?
False
Let n = 10477 - 7857. Does 14 divide n?
False
Suppose 172*d = 179*d - 7581. Let f = d - 520. Does 14 divide f?
False
Let w(b) = 2*b**2 - 2*b - 9. Let j be w(4). Suppose 2*q - a - 18 = 0, 2*a = 4*q - 3*q - j. Let p = 43 - q. Is 4 a factor of p?
True
Suppose -3*r - 3*c = -5*r + 217, -5*r + 515 = -2*c. Let l = 174 - r. Is l a multiple of 5?
False
Suppose 6*h + 42 + 42 = 0. Is (h/6)/((-13)/1131) + -3 a multiple of 8?
True
Let g = 1040 + -29. Does 41 divide g?
False
Let q(o) = -452*o**2 - o + 2. Let f be q(-1). Let a = f + 570. Is a even?
False
Is ((-24880)/(-20))/(-5 - 303/(-60)) a multiple of 176?
False
Let o = 6284 + -884. Is 50 a factor of o?
True
Let y(u) = -50*u + 20. Suppose 8*i - 10*i - 13 = c, 20 = -4*c. Does 20 divide y(i)?
True
Let s be (7290/9 - 1) + -6. Suppose -s = -2*a + 1559. Is a a multiple of 27?
False
Let v = 388 + -209. Let n = v + -10. Is n a multiple of 5?
False
Let v = 11188 + -7236. Is v a multiple of 26?
True
Let i(q) be the second derivative of -9*q**5/5 - q**4/12 + q**3/2 - 7*q**2/2 + 14*q + 1. Is 14 a factor of i(-3)?
False
Let u(m) = m + 8. Let d be u(-5). Suppose -w - a - 81 = -d*w, w - 37 = 4*a. Suppose -34*g - 140 = -w*g. Is g a multiple of 2?
True
Let w(q) = -10*q - 40. Let y be w(-4). Suppose 3*n - 553 - 1211 = y. Is n a multiple of 12?
True
Let u = 461 + -545. Let x = -75 - u. Is 2 a factor of x?
False
Suppose 4*y + 1261 = p, 12*p - y + 1256 = 13*p. Suppose -21*v = p - 7620. Does 29 divide v?
False
Let v = 57 - 16. Let h = 44 - v. Suppose -4*a + 3*a + 1 = 0, -h*c + 2*a + 334 = 0. Does 28 divide c?
True
Suppose t = 2*a - 34, -2*t + 2*a - 48 - 16 = 0. Let r = t - -239. Does 14 divide r?
False
Suppose 188*n + 11760 = 186412. Does 29 divide n?
False
Suppose 8*c - 10*c + 5*r = -22, 4*c = -3*r + 44. Suppose 7*w - 9990 = -c*w. Is w a multiple of 13?
False
Let j(b) = 4*b - 34. Let g be j(11). Let o be (12/g - 2)/(3/(-105)). Let c = 68 - o. Is c a multiple of 10?
True
Let h = -80 - -83. Is 5 - h/(6/(-94)) a multiple of 10?
False
Suppose -50*y - 26568 = 4329 - 270847. Is y a multiple of 17?
False
Let p(v) = 40*v**2 - 72*v + 235. Is p(3) a multiple of 2?
False
Let g be -1*10/(-4)*2*80. Let m = g + -222. Does 3 divide m?
False
Let y be ((-6)/(-4))/(3/12). Let j(t) = -8 + 5 - 6*t**2 - 3*t**2 + 4*t**2 + t**3 - 2. Is 8 a factor of j(y)?
False
Let q = -58 + 61. Suppose -199 = -5*w - q*l, -2*w - 8 + 88 = l. Is 2 a factor of w?
False
Suppose 78 = 31*w - 28*w. Let r = 351 - w. Is r a multiple of 36?
False
Let n = 38 - 80. Let s = n - -36. Does 13 divide (-1227)/(-21) + s - 3/7?
True
Let y be (10 - 14)*1/(-1). Suppose -4*h + 570 = 5*r - 125, -3*h - y*r + 522 = 0. Does 7 divide h?
False
Suppose -507222 = -244*o + 477011 + 4136839. Does 198 divide o?
True
Let k(y) be the third derivative of y**6/120 - y**5/30 - y**4/4 - y**3/3 + 30*y**2. Let b be k(4). Suppose -379 - 41 = -b*i. Is 7 a factor of i?
True
Let l = -19 + 11. Let h be (l/6)/((-10)/15). Suppose a = h*a - 22. Is a a multiple of 12?
False
Let l(k) be the second derivative of -k**4/12 - 11*k**3/6 - 7*k**2 + 22*k. Let u be l(-8). Suppose u = z + d, -z + 22 = -5*d - 0*d. Does 2 divide z?
True
Suppose 24*c - 800360 = -6*c - 4*c. Is 20 a factor of c?
True
Suppose -4*v + 29 = 2*h - 3*v, -h = 3*v - 17. Suppose h*i = 11*i + 6. Suppose 0 = i*u - 4*a - 176, u - 88 = -a + 6. Is 14 a factor of u?
False
Suppose -5*k + 5*g + 17570 = 0, -5*k + 17570 = -10*g + 15*g. Is k a multiple of 120?
False
Let r be 3/(-9)*8*3. Let n(v) be the third derivative of v**5/60 + 5*v**4/12 + 31*v**3/6 - 3*v**2 - 77. Is 9 a factor of n(r)?
False
Suppose 75 = 40*z - 126085. Is z a multiple of 19?
True
Let c(x) = -7106*x + 389. Is c(-4) a multiple of 120?
False
Let p(w) = 2*w**2 - 5*w + 4. Let j be p(2). Suppose -l = j*f + 43, 4*l = 2*l - 2*f - 78. Let u = l - -176. Does 31 divide u?
False
Suppose -32*q + 254*q - 6334548 = 0. Does 48 divide q?
False
Let h(g) = -33*g + 3650. Does 11 divide h(-70)?
False
Let o(u) = -2*u**2 + 113. Suppose p + 10 = -3*r, 2*p - r = -3*r. Suppose 2*l = p*l + j - 1, 5*l + 5*j = 5. Is 39 a factor of o(l)?
False
Let a(d) = -d**2 - 13*d - 20. Suppose 3*l + 4*b + 26 = 0, 5 = -l + 5*b - 10. Let v be a(l). Is 4 a factor of 5/v*8 - -28?
True
Let y = 24 - 11. Let s(i) be the first derivative of -i**4/4 + 4*i**3 + 13*i**2 - i - 224. Is 42 a factor of s(y)?
True
Let m = 1916 - 746. Suppose 28*x - 18*x = m. Is x a multiple of 17?
False
Let a = 56 + -52. Let h = 19 + -16. Suppose -j - a*j + u + 287 = 0, -h*u = 5*j - 299. Does 29 divide j?
True
Suppose 17*y - 12*y - 97 = -p, 0 = 4*p + 3*y - 405. Let z = p + -15. Is z a multiple of 15?
False
Let u(t) = 12*t**2 - t - 40. Let f(y) = -y**3 - 4*y**2 + 13*y + 14. Let z be f(-6). Is 8 a factor of u(z)?
True
Let g(m) = 1244*m - 1998. Does 126 divide g(9)?
True
Let h = -74 + 87. Let f(b) = b**2 + 15*b - 4. Does 15 divide f(h)?
True
Let a be 3 + (-4)/(-2) - -415. Suppose -3*m + 159 = t - 93, 5*m = t + a. Is m a multiple of 42?
True
Let u(w) = 5*w**2 - 2*w - 5. Let f = -10 - -14. Suppose -13*h + 12*h + f = 0. Is 10 a factor of u(h)?
False
Let w = 6415 - 5453. Is 13 a factor of w?
True
Suppose -4*x = -f - 131, x - 131 = f - 0*x. Suppose -4*m = -3*m - 221. Let k = f + m. Does 18 divide k?
True
Suppose 5*c = 2*d - 76, -d + 6*d - 136 = -c. Suppose -4*z + 3*a = 44, -a - d = 7*z - 3*z. Does 6 divide (-6)/z + (-1644)/(-48)?
False
Does 44 divide ((-18)/(-63))/((-22)/(-178409))?
False
Suppose 0 = -516*l + 515*l + 5*d + 9593, -d = -2*l + 19231. Is 21 a factor of l?
True
Suppose 5*c - 2374 = -274. Suppose -10*g - c = -14*g + 4*f, f + 505 = 5*g. Is g a multiple of 25?
True
Suppose -31805 = 122*u - 287325 - 118410. Is 5 a factor of u?
True
Let m be 0 - -35 - ((-11 - 1) + 16). Suppose -3*h = -15 - 3. Suppose -4*t + 26 = q, q = -h*t + t + m. Is 3 a factor of q?
True
Suppose z - 15 = -j - 3*z, -4*j + 5*z = 3. Suppose 2*y - 1 = j. Let u(s) = 33*s**2 + 4*s + 1. Is u(y) a multiple of 37?
False
Suppose 6*x = -3*q + 53277, 2*q - 5*q + 26649 = 3*x. Is 9 a factor of x?
False
Suppose 5*w = 4*r - 30, -6*r + 9*r - 5*w = 25. Suppose r*s - 827 = 738. Is s a multiple of 5?
False
Does 180 divide (3/3)/((-24)/(-259416))?
False
Is 56 a factor of (-57)/(19/((-53694)/27))?
False
Let s be 6 - ((-30)/(-5) - 141). Let m = 186 - s. Is 9 a factor of m?
True
Suppose 5*r - 10 = 5. Suppose 3*c + 51 - 63 = 0. Suppose -2*o - c*p = -164, -3*p = r*o - 6*p - 282. Is o a multiple of 15?
True
Let g = -156 - -161. Suppose 2808 = g*m + 13*m. Does 19 divide m?
False
Let t(o) be the first derivative of -32*o**2 + 40*o - 93. Is 23 a factor of t(-8)?
True
Let u = 15230 - 15037. Is u a multiple of 191?
False
Let v(d) = 7*d - 14. Let j be v(3). Let s be 0/((-4 - 0)/(-5 + j)). Suppose -m + 54 = -s*m. Is 6 a factor of m?
True
Let u = 974 - 970. Does 7 divide ((-39276)/48)/(-1) - 1/u?
False
Suppose 4*s = -5*r + 34073, 25*r - 20*r - 3*s = 34059. Is r a multiple of 21?
False
Suppose 0 = -c + 11 - 6. Let x be (c - 3 - (2 + 0))*-1. Suppose 5*n = -d + 793, -2*n - 3*n - 2*d + 796 = x. Does 26 divide n?
False
Suppose -6*t + 2*t - 8 = 5*d, 0 = 2*t - 4*d + 30. Does 43 divide 65/(-2)*(t + 5)?
False
Suppose 24*x - 450 = 15*x. Let t = x + 71. Does 29 divide t?
False
Let g(r) = -44*r + 11. Let f be (-8)/(-4)*1/(-2)*11. Let a be g(f). Suppose 0 = -11*q + 836 + a. Is q a multiple of 11?
True
Let k = 122 - 122. Suppose o + 4*z = 252, -2*z + 2 + k = 0. Is o a multiple of 8?
True
Let a be 0 + (10/(-70) - (-29)/7). Suppose -2*y + 6*y - 124 = o, 3*y - 74 = -a*o. Does 12 divide ((-90)/(-2))/(y/40)?
True
Let i be (-4)/38 + 1/((-38)/(-96296)). Suppose 5*u = -3*z + i, -1406 = -2*z - 4*u + 286. Does 11 divide z?
False
Let x(c) = 19*c - 14. Suppose -108 + 32 = -4*p.