b(r) = 21*r**2 + 23*r**2 + 14*r - 69*r**2 + 15*r**2 - 6 + 2*r**3. Is 32 a factor of b(v)?
True
Let a = 190 + -192. Is 19 a factor of (a/3)/(-2) + 5268/18?
False
Let q(f) = -204*f + 2396. Is q(5) a multiple of 4?
True
Suppose 0 = 3*l - 5*z + 255 - 1227, 3*l + 4*z = 945. Let k = -294 + l. Is 8 a factor of k?
False
Let b = 8206 - 4422. Is 2 a factor of b?
True
Suppose -13*d + 689 + 104 = 0. Suppose -54 = -t + a + 17, -t = 4*a - d. Is t a multiple of 18?
False
Let j(f) = -135*f - 16. Let t(z) = 2*z**2 - 4*z - 4. Let o be t(2). Is 69 a factor of j(o)?
False
Let s(d) = 8*d**3 - 2*d**2 - 4*d - 2. Let z be s(-1). Let u be ((-4)/5)/(z/440). Let j = u - 0. Is j a multiple of 27?
False
Let w(t) be the first derivative of -4*t**3/3 + 5*t**2/2 - 3*t - 27. Let j be w(-4). Let h = 265 + j. Is h a multiple of 39?
False
Let b = 18530 + -8641. Is b a multiple of 29?
True
Suppose 4*z + 1307 = 3*t, 0*t = -5*t - 2*z + 2187. Let q = 507 - t. Does 2 divide q?
True
Suppose -108 = -32*x - 22*x. Let k = 1 - 1. Suppose k*p + 5*j + 80 = p, 116 = x*p + j. Is 15 a factor of p?
True
Suppose 641343 = 40*y + 31*y. Is 73 a factor of y?
False
Suppose -2*n + 6305 + 6261 = 0. Is n a multiple of 61?
True
Let x = 263 + 552. Suppose 65 = 4*u - x. Is 11 a factor of u?
True
Let q(c) = -19*c + 2126. Does 17 divide q(79)?
False
Let i be ((-2)/(-6))/((-11)/165). Suppose 5*p - 5*a + 27 = 132, p + a = 29. Let y = p + i. Is y a multiple of 10?
True
Let v be 16/52*(-156)/(-24). Is 9 a factor of ((-856)/24)/(v/(-6))?
False
Let t = 214 - 210. Suppose 8*i = -2*y + 4*i + 214, 0 = t*i - 4. Is y a multiple of 35?
True
Suppose 45 = -8*a + 109. Suppose -3*t - 49 = 26. Is t/(-1 + 4/a) a multiple of 31?
False
Suppose -72*t = -86*t - 10500. Is ((-4)/6)/((t/(-16965))/(-25)) a multiple of 18?
False
Is 23 a factor of (-9 - (-13554)/126)*42?
True
Suppose -9*f + 640 = -f. Let m = f + -16. Is m a multiple of 4?
True
Suppose 4*k - 29336 = 4*b, 3*b - 2*b = -5*k + 36694. Is k a multiple of 106?
False
Suppose -8*q = -14*q + 216. Is (-2)/8 - ((-14913)/q + -7) a multiple of 17?
False
Let q(c) = -c**3 + 2*c**2 + 26*c - 10. Let y be q(6). Suppose y*n = p - 257, -n + 844 = 5*p - 430. Does 15 divide p?
True
Let t be (-11*6/12 - -5)*4. Does 4 divide t/(4/(-9))*10?
False
Suppose 18 = -2*q + 30. Let y = -9 + q. Is 22 a factor of 12/6*25/2 + y?
True
Let r(m) = 1645*m - 2058. Is r(3) a multiple of 16?
False
Suppose 69 + 225 = -4*v - n, v + 68 = -3*n. Let w = v + 89. Does 14 divide w/(-3) - -208 - -5?
False
Let z = 189 + -186. Suppose 4*o = 4*k - z*k - 93, 5*o - 590 = -5*k. Is k a multiple of 5?
False
Let n(d) = -2*d + 8. Let t be n(11). Is 22 a factor of -90*15/9*t/5?
False
Is 22 a factor of (-22)/231*-21 - -36159?
False
Let q = -9 + 62. Let a = q + -64. Is -2 - a*(-4 - -5) a multiple of 3?
True
Let r(h) = -4*h**3 - 11*h**2 - 32*h - 315. Is r(-9) a multiple of 3?
True
Let c(o) = o**3 + 3*o**2 - 2*o - 4. Let s be c(-3). Suppose -s*w + 2 = 0, -2*h = -3*w - w + 16. Is 1/(-2) + (-363)/h a multiple of 10?
True
Suppose -5*d - 18 - 15 = l, -5*d + 2*l = 24. Is 4/d + (-13)/(156/(-392)) a multiple of 16?
True
Let z = 291 + -253. Suppose z*n = 33*n + 410. Is 41 a factor of n?
True
Let g be ((-1)/(-5) - (-177)/15) + -3. Let u(s) = s**2 - s + 22. Let n be u(g). Let a = -62 + n. Does 8 divide a?
True
Let m = -69 + -62. Let n = m - -503. Is n a multiple of 12?
True
Let l(i) = -i**2 - 53*i + 104. Is 3 a factor of l(-40)?
True
Let d = -23091 - -27295. Is d a multiple of 9?
False
Let x = -911 + 3389. Is x/8 + -4 + 15/60 a multiple of 51?
True
Let p = -601 + 40. Let o = -373 - p. Suppose -5*z + o = -z. Is z a multiple of 19?
False
Let b be 17/5 + 0 - (-8)/(-20). Suppose 956 = 4*u + r, -3*u + 228 = -2*u + b*r. Suppose -4*n = -3*y - u, -n = y + y - 71. Is n a multiple of 9?
True
Is 831 + (403/155 - (-2)/5) a multiple of 13?
False
Suppose 6*o = o. Let x = -1190 + 1193. Suppose o = x*z + 2*i - 363, 5*z + i - 135 - 463 = 0. Is 28 a factor of z?
False
Is ((-12879)/(-36)*(-4)/6)/((-18)/192) a multiple of 74?
False
Suppose -2469*g + 3595008 = -2345*g. Does 12 divide g?
True
Does 6 divide 1188032/544 - 2/(-17)?
True
Let i = -13496 - -24922. Does 58 divide i?
True
Suppose 0 = 4*w + 4, -6*w - 6098 = -2*f + 21152. Is 193 a factor of f?
False
Suppose 4*d = 4*f + 43340, 21*f = 18*f + 3. Is d a multiple of 36?
True
Suppose -o + 2*o = -5*a - 700, a = 4*o - 161. Let h = -121 - a. Is 20 a factor of h?
True
Let l(y) = -y**2 + 6*y + 2. Suppose -4*u - 1 = 3*n + 7, -n + 9 = -u. Is l(n) a multiple of 5?
True
Suppose -9 = 3*w - 0*w, 3*p + 2268 = 3*w. Let x = p + 785. Is 5 a factor of x?
False
Let x = 208 + -198. Suppose 3*q + 15 = 0, 4*q = 6*p - x*p + 716. Does 23 divide p?
True
Let x(i) = i**2 + 9*i + 23. Let m be x(-8). Suppose 0*c - 2*c - 3*l = -m, 2*l = 2*c + 10. Suppose -2*z = -2*f + 90, c = -f - 4*z + 2*z + 33. Does 12 divide f?
False
Let i(o) = -2*o - 9*o**3 + 6*o**3 + 4*o**3 + 6*o**2 + 11 + 6*o. Does 8 divide i(-4)?
False
Let n be 6/(-5)*(8 + 63/(-6)). Let v be 2 + 0 + -1 - 1. Suppose i + k - 135 = v, i - n*k = 2*i - 135. Does 27 divide i?
True
Let p(x) = -x + 54. Let z be 18 - ((6 - 4) + 2). Let g = z + -14. Is p(g) a multiple of 10?
False
Suppose 15920*r - 15936*r + 183419 = -45157. Is 9 a factor of r?
False
Let y(n) = -31*n**3 - n**2 + 3*n - 1. Let u be ((-2)/3)/(1/(-18)*-6). Let z be y(u). Suppose 3*h - 4*k - 139 = -0*h, -5*h + 4*k + z = 0. Is 49 a factor of h?
True
Let n = 40 - 36. Suppose y - 862 = -n*s, -5*s + 4*y - y = -1086. Is 24 a factor of s?
True
Is 15 - (-525)/(-30) - (-2967)/6 a multiple of 34?
False
Suppose 4*q - 172 = -3*w + 2*q, -5*w = 4*q - 286. Suppose 941 = 5*p + 766. Let a = w - p. Is a a multiple of 23?
True
Let b(w) = 0*w**2 + 4*w**2 + 300*w - 319*w + 26. Is 68 a factor of b(14)?
True
Suppose 20 = 3*w + 5, 2*n + 2*w = -1012. Let g = 746 + n. Is g a multiple of 4?
False
Let b be (-20)/(-3)*(6270/(-20))/(-19). Suppose 3*m - b - 184 = 0. Does 4 divide m?
False
Let m(g) = -g + 2. Let f be m(-3). Suppose -5*j + 3 = f*d - 2, -d = -2*j - 4. Is 20 a factor of (j + 3 + -42)*-2?
True
Let g be 3/(-12*(-5)/3220). Suppose -4*t - 3*i + 104 = -111, -2*i = 3*t - g. Is t a multiple of 3?
False
Let v(j) = j**3 - 16*j**2 + 8. Let y be v(16). Let z = 0 + y. Let h(f) = 2*f**2 + 19. Does 29 divide h(z)?
False
Suppose -43*c + 74*c = 9827. Is c a multiple of 13?
False
Suppose -2*m = 12, -227 = -g - 4*m + 841. Does 7 divide g?
True
Let f(w) = 1395*w + 1158. Does 24 divide f(4)?
False
Let n(h) = 34930*h**3 + 8*h - 7. Let r be n(1). Is 0 - (-3)/12 - r/(-52) a multiple of 28?
True
Suppose 11*o = -9*o + 2*o. Is 3 a factor of -75*((-2)/6 + o/(-3))?
False
Let o be (-6)/27 - (-261)/81. Let f(r) = -26*r - 121. Let p(m) = -13*m - 61. Let q(c) = o*f(c) - 5*p(c). Is 17 a factor of q(-6)?
False
Let p(v) = -93*v**3 + v**2 - 5*v - 41. Does 21 divide p(-5)?
True
Let c = -92 + 86. Let l(f) = -2*f**3 - 2*f**2 + 5*f - 5. Is l(c) a multiple of 25?
True
Suppose 0 = -t - 6, 1436*y - 1431*y - 298053 = -2*t. Is 12 a factor of y?
False
Let s(j) = -j**3 + 38*j**2 - 136*j - 109. Is s(32) a multiple of 17?
True
Let j = 227 + -111. Let o = 50 + 32. Suppose 2*g - 149 - o = -3*w, 0 = g + w - j. Is 13 a factor of g?
True
Suppose 3*r - 239 = -170. Suppose -4612 = -r*g + 4749. Is 63 a factor of g?
False
Let n = -37337 - -63460. Is n a multiple of 35?
False
Is 1274*(13/((-39)/(-27)) - 4) a multiple of 70?
True
Let o be (2 - -3)*(3 + 537/15). Suppose -o = -3*n + 343. Suppose 55 = t + s, 3*t - s - n = 3*s. Is t a multiple of 11?
False
Suppose -15*f + 3400 = -4418 - 2022. Does 8 divide f?
True
Suppose 0*o + 5*o = 145. Suppose 0 = 5*w - 3*y - 252, -w - 4*y + o = -3. Does 4 divide (((-15)/(-4))/5)/(1/w)?
True
Suppose -437*r + 5172805 + 2412295 = 68*r. Is 4 a factor of r?
True
Let r = 33 + -36. Let j(z) = z**2 - 4. Let i be j(r). Suppose -3*t + 63 = i*x - x, -3*t = -4*x - 39. Is t a multiple of 5?
False
Let v be 4/(-3)*(-90)/60. Suppose -6*w + 4*w = -3*o + 667, v*w + 1113 = 5*o. Is 8 a factor of o?
False
Suppose 4218*f = 4228*f - 139260. Is f a multiple of 22?
True
Suppose -3*l + 10 = -4*h, -5*l + 5 = -3*h - 8. Suppose -5*i + 31 = 6. Suppose l*o - 812 = -i*o. Does 14 divide o?
False
Let p be (-15)/(-2)*48/(-9) - -3. Let l = -24 - p. Let z(b) = b**3 - 12*b**2 + b - 16. Does 27 divide z(l)?
Fal