Let u = n - 68. Let j = 247 - u. Does 28 divide j?
False
Suppose 5*z - 5*i - 440 = 0, -2*i + 362 = 5*z - 50. Let p = z + -89. Is 12 a factor of 2*12 - (5 + -1 + p)?
False
Let b = -10481 + 18067. Is 63 a factor of b?
False
Let c(f) = 91*f - 11. Let l be c(4). Let z = l + -168. Suppose -5*o - 95 = -3*r, 4*r - 3*o = -8*o + z. Is r a multiple of 5?
True
Suppose 11*k = -0*k - 572. Let o be k - (7 - 20/5). Does 13 divide (7/14)/((-2)/(o + 3))?
True
Let k = -5556 - -9206. Is k a multiple of 73?
True
Let t = -11804 + 17509. Is t a multiple of 5?
True
Let y(a) = -54*a**2 - 12*a - 13*a**2 + 16 + 30*a**2 - 78*a**2. Let l be y(8). Is ((-12)/(-10))/((-24)/l) a multiple of 62?
True
Let t(j) = -2*j**2 - 68*j - 75. Let x be t(-38). Does 19 divide (13/26)/1 + x/(-2)?
True
Let g(i) = 9*i**2 + 6*i - 3. Let y = -308 + 312. Does 11 divide g(y)?
True
Suppose n - 3*n = -3*n. Suppose -2*g - 457 = -4*h + 993, n = 5*h - 3*g - 1815. Is 15 a factor of h?
True
Let f(c) = c**2 + 55*c + 3. Let r be f(-37). Let s = 717 + r. Is s a multiple of 20?
False
Let u = 1860 + -213. Let c = -787 + u. Does 11 divide c?
False
Let a be (1 + -16)*26/(-78). Suppose a*w - 5*u = 1775, -3*w + 4*u = 9*u - 1025. Does 14 divide w?
True
Let b(q) = 9*q**3 + 7*q**2 + 4*q - 84. Is b(9) a multiple of 30?
True
Suppose -2*p + 32 = 4*a, -3*a + 19 = 6*p - 7*p. Let r(z) = z**3 - 4*z**2 - 5*z + 14. Is 7 a factor of r(a)?
True
Suppose 4*x - 2231 - 2415 = 9078. Is x a multiple of 6?
False
Suppose -r + 3*r + 4*o = 16460, -o = -4. Is 7 a factor of r?
False
Let p(r) = 18 + 12 + 24 - 14 + 2*r. Let k be p(-17). Suppose k*x - 220 - 14 = 0. Does 13 divide x?
True
Let i = 5229 + -1847. Is 7 a factor of i?
False
Let m(b) = -2*b**3 + 22*b**2 + 48*b - 21. Let h be m(14). Let o = -67 - h. Does 12 divide o?
False
Let q(z) = z**3 - 8*z**2 - 7*z - 3. Let g be (1*(-4)/(-6))/(2/27). Let t be q(g). Suppose 294 = -t*u + 22*u. Is u even?
True
Suppose -13*y + 17*y = -17*y + 136248. Is y a multiple of 20?
False
Let v(i) = i**3 - 6*i**2 + 7*i + 10. Let t(q) = -2*q + 30. Let l be t(14). Suppose -3*c = -2*o, 4*c + l = 3*o - 0*c. Does 17 divide v(o)?
False
Suppose -3*q = -10*q - 259. Let g = -32 - q. Does 2 divide 1*g/((-25)/(-55))?
False
Let w(y) = -y**3 - 68*y**2 - 299*y. Does 64 divide w(-64)?
True
Suppose 3*p - 2*v = 70 - 251, -4*p = 4*v + 228. Let u = p - -187. Is u a multiple of 9?
False
Does 26 divide 1/(-14) - 13624615/(-1330)?
True
Let b(i) = i**2 - 7*i + 672. Is 16 a factor of b(-53)?
False
Is -1*2*((17 - 615) + 17) a multiple of 5?
False
Suppose -5*c + 4*a + 106372 = 0, 19*a = 20*a - 2. Is c a multiple of 5?
False
Let d(t) = -t**3 + 30*t**2 + 27*t + 5. Let i be d(31). Let u = 233 + i. Is 11 a factor of u?
False
Is 8666308/1104 - 2/(-24) a multiple of 50?
True
Let c = 1320 - 867. Let u = c - 199. Does 45 divide u?
False
Let b = -3677 - -21341. Is 32 a factor of b?
True
Let i = 68 + -64. Let c(b) = i*b**3 - 6*b**3 - b**2 + 4*b + 2 + 6*b**2. Does 25 divide c(-2)?
False
Let g(u) = u**2 - u + 9. Let f be g(-5). Let m = 44 - f. Suppose -m*k + 332 + 159 = 3*o, -k + 511 = 3*o. Is o a multiple of 43?
True
Let l(p) = 229 + 181*p**2 - 359*p**2 + 179*p**2. Is 32 a factor of l(0)?
False
Suppose -24*k = -18*k - 12. Suppose -3*v + k*f + 1587 = 0, -3*v - 2*f = f - 1572. Is v a multiple of 63?
False
Suppose 0 = 3*r + 4*r - 217. Suppose -36*z + 105 = -r*z. Is z a multiple of 6?
False
Let x be 2/(-2)*(-124)/62. Suppose -x*q = 5*j - 592, -2*q + 641 - 55 = 2*j. Does 42 divide q?
False
Let k be 3*3/45 - (-100989)/(-45). Let n = -1515 - k. Does 27 divide n?
True
Suppose -134*d + 136*d = 4. Is 2 a factor of (440/16)/((-2 - d)/(-8))?
False
Let y(a) = 2*a**2 - 9*a - 9. Let j be y(7). Let o(s) = -s**3 + 28*s**2 - 49*s - 23. Does 55 divide o(j)?
True
Let c be 6/8*(-16)/(-1 + -1). Suppose c = -2*h - 4, 0 = t + h - 13. Does 15 divide (t/(-15))/(357/120 + -3)?
False
Suppose -l = -i - 46345, 0*l + 231721 = 5*l - i. Is 10 a factor of l?
False
Suppose 3*v - 46045 = 5*g, -184*g + 188*g = -4*v + 61468. Does 40 divide v?
True
Suppose 2128*a = 2126*a + 4. Suppose 0 = -2*k + 2*r + 250, -3*k + 341 = -5*r - 28. Suppose -2*y - 3*y = x - 364, -a*y + k = -4*x. Does 16 divide y?
False
Let k be 912/66 - 4/(-22). Suppose 11*f + 84 = k*f. Let p = 55 - f. Is p a multiple of 5?
False
Let s = 41025 - 2948. Does 101 divide s?
True
Suppose -40*h - 76 = -4*g - 44*h, 3*h = 12. Let m be ((-80)/6)/((-3)/9). Is 17 a factor of 824/m + 6/g?
False
Let d(a) = 3*a**3 - a**2 + 4*a + 8. Suppose 26 = 7*h - 2. Is 4 a factor of d(h)?
True
Let k be 2 + 1 + 3 + -6. Suppose k = -3*v - 5*o + 179 + 126, 0 = -4*o + 16. Is v a multiple of 19?
True
Let w(p) = p**2 + 15*p - 13. Let f be w(-16). Suppose -2*o - f*o = -0*o. Does 19 divide (76/(-12))/(o - 2/6)?
True
Suppose 0 = -3*x - x - 24. Let l be (14/x)/((-14)/42). Does 37 divide 4/(-3)*(-252)/l?
False
Is (20/(-160)*12)/(1/(-3434)) a multiple of 81?
False
Let r = 8095 - 4948. Is 56 a factor of r?
False
Let i = 226 - 186. Suppose 2*l - 25 = -3*h, 0 = 3*l + 8*h - 6*h - i. Is 2 a factor of l?
True
Let i = -167 + 245. Suppose -25*b = -53*b - 224. Let r = i + b. Is 11 a factor of r?
False
Let n = -31 + 35. Let k be ((3 - 0/n) + -5)/(-2). Does 12 divide -1*k/3*-354?
False
Let s(c) = -181*c - 5. Let w(b) = -591*b - 16. Let z(t) = -8864*t - 240. Let h(d) = 88*w(d) - 6*z(d). Let f(u) = -5*h(u) - 32*s(u). Is f(-1) a multiple of 32?
False
Does 156 divide ((-40664)/39 - 5)*-3?
False
Suppose 4*v = 4*u + 28968, 2*v = 13*u - 18*u + 14498. Is v a multiple of 10?
False
Let r(a) = 216*a - 1285. Does 2 divide r(8)?
False
Let c = -3566 + 3917. Is 2 a factor of c?
False
Suppose -17 = -14*p + 53. Suppose -220 = p*u - 7*u. Does 10 divide u?
True
Let u = 4370 + -3073. Is 105 a factor of u?
False
Let c(g) = -23*g - 117. Let s be c(-6). Suppose -18*u = -s*u + 756. Is u a multiple of 44?
False
Let l = -88 + 80. Does 16 divide (-40)/((6/(-4))/(11 + l))?
True
Suppose 50*o = 48*o, b - 529 = -o. Is b a multiple of 5?
False
Let t(l) = l + 18. Let a be t(-13). Suppose 153 = 5*r - a*w - 302, 3*w + 447 = 5*r. Is 17 a factor of r?
False
Suppose 0 = 4*f - 24 - 4. Let k(p) = 19*p + 16. Let w(z) = -18*z - 15. Let l(n) = -3*k(n) - 4*w(n). Is l(f) a multiple of 39?
True
Let z(s) be the first derivative of 59*s**4/2 - s**3/3 + s**2 - s + 17. Let f be z(1). Let k = f + 2. Is 15 a factor of k?
True
Let m be 102*4*(-2)/(-4). Let l = -399 - -407. Suppose m = -l*a + 10*a. Is a a multiple of 17?
True
Let j(i) = 3*i + 3. Let y be j(0). Suppose 8 = 4*m + s, -2*m - y*s - 6 = -0*s. Suppose 2*r = d + 123, 2*r + m*d - 198 = -r. Is 9 a factor of r?
True
Suppose 195*d - 198*d - z = -9298, -4*z - 8 = 0. Is 20 a factor of d?
True
Let g(u) = u**3 - u**2 + 2*u - 2. Let h be g(0). Does 15 divide 746*(0 - 0 - h)?
False
Let r be 2/23 + (-10)/115. Suppose -4*s - 124 = -3*k, r = 4*k - 21*s + 25*s - 212. Is k a multiple of 5?
False
Let f = 8374 + -2011. Is 27 a factor of f?
False
Let b = -26 - -53. Is (-10)/45 - (-1707)/b a multiple of 3?
True
Let j(u) = -u**2 - 243*u - 13646. Is j(-114) a multiple of 150?
False
Suppose 2*z + 23*z + 75 = 0. Let w(m) = -2*m**3 + 4 + 12*m**2 + 2*m + 4*m - 10*m**2. Does 8 divide w(z)?
False
Let d(g) = 3*g**3 + g**2 - 3*g + 2. Let t be d(2). Suppose 9*q + 15*q - 192 = 0. Suppose 0 = q*b - 9*b + t. Does 4 divide b?
True
Suppose -2*p - 516 = -4*p. Let l = 773 + -773. Suppose -7*t + 302 + p = l. Does 20 divide t?
True
Let q be 2/16 - 29624/(-64). Let f = q + -140. Does 17 divide f?
True
Let o be -3*(4/12 + -1). Suppose -o*d - 4 - 34 = 0. Let v(g) = 2*g + 58. Is v(d) a multiple of 6?
False
Suppose -167*s + 248481 = -333514. Is 18 a factor of s?
False
Suppose 3*w = 21, 0 = 4*d - 6*w + 5*w - 12549. Is d a multiple of 5?
False
Let m(b) = -b**3 + 11*b**2 + 4*b + 2. Let o be 12/(-30) - 42/(-5). Suppose -2*q = -o, 0 = -5*x - 5*q - 0*q + 75. Is 19 a factor of m(x)?
False
Let j(n) = n**3 - 15 + 13*n + 8*n - 2*n**3 - 2 + 13*n**2. Let h be j(14). Let q = h - 65. Is 4 a factor of q?
True
Is 17 a factor of 22/(-132) + (-1248079)/(-42)?
True
Suppose 5*x - 31957 = 3*c, 20*x + 5*c = 19*x + 6397. Does 68 divide x?
True
Suppose -98*w = -29*w - 1898880. Does 215 divide w?
True
Suppose 6226 = c - 2*v, -97*v = -4*c - 98*v + 24931. Does 29 divide c?
False
Let d = 225 + -168. Suppose -52*c + d*c - 375 =