5 a factor of g?
False
Let g(w) = 22*w**2 + 5*w + 31. Is 13 a factor of g(6)?
False
Is (-12)/48 + 4202/8 a multiple of 35?
True
Let q(i) = -2*i**3 - 41*i**2 + 77*i + 11. Is 165 a factor of q(-26)?
True
Suppose 0 = 3*m - 4*u - 27, -3*m + 6*m - 30 = 5*u. Let z be ((-2)/6)/(1/(-21)). Suppose 4*d + 4 - 43 = -m*l, l + d - z = 0. Does 11 divide l?
True
Let s(z) = z**3 - 19*z**2 + 28*z - 55. Does 21 divide s(19)?
False
Let f = -1584 + 1617. Does 2 divide f?
False
Is (-6322)/(-12) + (-49)/(-294) - 4 a multiple of 12?
False
Is ((-54)/4)/((-54)/2736) a multiple of 12?
True
Suppose 1406 = 8*z - 1458. Is z a multiple of 32?
False
Suppose -4*l = z - 32, 2*z - 40 = 4*l + 72. Suppose -2*o + z = -o. Is 24 a factor of o?
True
Suppose -153 = 36*q - 53*q. Is 9 a factor of q?
True
Let h(p) = -2*p**3 + 4*p**2 + 40*p + 9. Is h(-8) a multiple of 126?
False
Let f be 4 - (5 + -2) - -1. Suppose -32 = -3*l - 2*l + 3*o, 2*o = -f*l. Suppose -l*r = r - 315. Does 13 divide r?
False
Suppose 404 = 2*z - 0*z + 4*m, z - 5*m - 202 = 0. Let y = 287 - z. Does 20 divide y?
False
Let u(h) = -h**3 - 3*h**2 - 2*h - 6. Let o be u(-3). Suppose 4*d + 8 = o, 0*b = 3*b + 2*d - 80. Is b a multiple of 14?
True
Suppose -2 = -f - 7, -4*p - 4*f + 364 = 0. Suppose -2*x + p = x. Does 8 divide x?
True
Suppose -2*f - 60 = -5*x - 11, -f = -5*x + 37. Is (1*32/f)/((-2)/108) a multiple of 24?
True
Let l = -101 + 224. Let n = -53 + l. Is n a multiple of 39?
False
Let j = 78 + -79. Is 3 - ((-345)/(-25))/(j/5) a multiple of 18?
True
Let k be 4 + 4/(16/(-340)). Does 6 divide (1 - 4) + (k/(-3))/3?
True
Suppose 6*m + 8 = 2*m. Does 6 divide m/(-10) - 3766/(-70)?
True
Let m(g) = -g**3 + 12*g**2 - 13*g - 3. Is 13 a factor of m(3)?
True
Suppose k - 983 = -4*u, 3*k - 3760 = 3*u - 871. Is 100 a factor of k?
False
Let d(r) = -6*r - 10*r - 3 - r + 3*r. Let x be d(-6). Let l = x + -33. Does 16 divide l?
True
Let h(m) = -3*m**3 - 6*m**2 - 2*m + 4. Is 20 a factor of h(-5)?
False
Suppose -3*x = -3*o - 66, -4*x - 3*o = -2*o - 78. Let v be 5/(x/(-12)) + 3. Suppose v = -4*j + 8 + 16. Does 6 divide j?
True
Let n(i) = 15*i + 3. Let d be n(5). Let j(o) = o - 5. Let k be j(9). Suppose k*g = 5*z + d + 28, 4*z + 104 = 4*g. Is g a multiple of 7?
False
Is -36*2*94/(-6) a multiple of 13?
False
Suppose 4*a - 3*q - 2*q = 215, a - 3*q - 52 = 0. Suppose m - a = -m - w, -5*m = 3*w - 135. Is m a multiple of 3?
True
Let f(t) = t + 1. Let y(m) = -13*m - 36. Let o(b) = -5*f(b) - y(b). Is 10 a factor of o(9)?
False
Let f(b) be the third derivative of -b**5/60 + 3*b**4/8 + 8*b**3/3 - 15*b**2. Does 5 divide f(6)?
False
Suppose -4*i + 7*i = 9. Suppose 0*z = i*z - 324. Suppose -3*m = -m - z. Is m a multiple of 11?
False
Suppose -5*a = 10, -5*t + 268 = -3*t + 2*a. Let k = -70 + t. Does 6 divide k?
True
Let v be -1 + 4/(-16)*-4. Suppose -o - 5 = -0, v = 3*g + 3*o - 150. Is g a multiple of 11?
True
Let i(o) = -o**3 + 48*o**2 + 56*o + 102. Is 21 a factor of i(49)?
False
Suppose -7 = -5*j + 93. Is 4 a factor of j?
True
Suppose 797 = -16*a + 2205. Is a a multiple of 4?
True
Suppose 30*l - 28*l - 8 = 0. Suppose -k + 36 = b, -186 = -5*k - 3*b - l. Does 21 divide k?
False
Let q be 4/3 - (-8)/12. Suppose 5*t = -b + 41, 0 = -4*t + 5*t + q*b - 1. Suppose -2*y + 5*y = t, 92 = f + y. Is f a multiple of 25?
False
Let x = -97 + 190. Let j = 196 - x. Is 7 a factor of j?
False
Let j be ((-8)/(-5))/((-12)/(-30)). Suppose -5*f = -2*d - 68, j*f - 73 = -f - 3*d. Let m(l) = l**3 - 14*l**2 + l + 20. Is 18 a factor of m(f)?
False
Suppose -o - 20 = -65. Suppose -2*t + 2*u + 12 = 0, 5*t - 24 = u + 2*u. Suppose 3*x + 2*n = -3*n + o, 0 = 3*x + t*n - 45. Is x a multiple of 4?
False
Suppose 110 = n - 79. Suppose u - n = -2*u. Suppose 2*k = 2*p + 30, 0*p - p = -4*k + u. Does 10 divide k?
False
Is 2 a factor of 92 + ((-2)/6)/(4/60)?
False
Let c(z) = 30*z**2 + 26. Is c(-6) a multiple of 27?
False
Let h = 205 - 88. Does 11 divide h?
False
Let f(c) = 271*c**2 - 4*c - 1. Does 21 divide f(-2)?
False
Suppose 4*g - 48*g = -77748. Does 13 divide g?
False
Suppose -5*s - 24 = -4*s. Let m = s - -27. Suppose -m*b + 6*b - 234 = 0. Is 26 a factor of b?
True
Let j(i) = i + 4. Let f be j(-3). Suppose f - 6 = -u. Suppose -3*v - 110 = -u*v. Is 26 a factor of v?
False
Let b = 3244 - 2033. Is b a multiple of 62?
False
Let f be (34/(-3))/(4/6). Let o = f - -22. Suppose -o*p + 0*l + 2*l + 90 = 0, 5*p + 3*l = 90. Is 6 a factor of p?
True
Let x(v) = -17*v - 12. Let i be (5 + 161/(-35))/(1/(-15)). Does 10 divide x(i)?
True
Let g be (-1*(0 - 1))/(26/182). Is 35 a factor of (g/2)/(2/(85 - 5))?
True
Suppose -4*g = 5*o + 2 - 6, 3*o = -4*g - 4. Suppose -o*w - 53 = -269. Is w a multiple of 27?
True
Suppose 2*b - 6*b + 32 = 0. Suppose 0 = 3*c - 5*z - 106, c + 4*z - b = 16. Does 32 divide c?
True
Let b = 1 + 9. Suppose 0 = 2*f - 4*d - b, -22 = -3*f - 0*d - d. Is f a multiple of 5?
False
Let v = -22 + 32. Is 4 a factor of v?
False
Suppose 0 = -k - 4*w + 81, -55 = -3*k - 3*w + 152. Does 3 divide k?
False
Let o(q) be the second derivative of q**4/12 + q**3/2 - 35*q**2/2 + 31*q. Is 4 a factor of o(7)?
False
Let f(n) = -n**3 + 13*n**2 - 6*n - 2. Let j(s) = -s**2 + 7*s + 5. Let i be j(0). Is f(i) a multiple of 26?
False
Let n(g) = g**2 - g. Let m be n(2). Suppose 5*r - y = 2, -y - m*y = r + 6. Suppose -x + 0*x + 13 = r. Does 13 divide x?
True
Let m = 106 - 108. Is 13 a factor of ((-3667)/(-38))/(m/(-4))?
False
Is 5 a factor of (9/(-24)*-2)/((-13)/(-1456))?
False
Let f(b) = -b**3 - 11*b**2 - 12*b + 4. Let u = 3 - 13. Let w be f(u). Suppose -v + w = v. Is 6 a factor of v?
True
Suppose 3194 = 9*a + 12644. Is (a/9)/((-70)/(-15) + -5) a multiple of 64?
False
Let d = -30 - 13. Let i = -24 - d. Does 13 divide i?
False
Let j(t) = 11*t + 80. Let r be j(-7). Is 1/3 + 353/r a multiple of 12?
False
Suppose p - 6*m = -m + 77, 4*m - 326 = -3*p. Suppose -4*u = -54 - p. Is u a multiple of 13?
True
Suppose -11*x + 9*x = -2530. Does 85 divide x?
False
Let y = 143 + -97. Let o be 1*(10 + (-8)/((-6)/(-3))). Suppose 2*u - o = -5*s, u - 6*u + 3*s + y = 0. Is u a multiple of 8?
True
Let y(j) = -50*j - 1175. Is y(-27) a multiple of 25?
True
Let x(j) = -j**2 + 24*j - 58. Let b be x(21). Suppose -5*u + b*p + 440 = 0, -400 + 126 = -3*u + p. Is 16 a factor of u?
False
Let t = 21 - -89. Suppose 27*g - 29*g = -t. Does 6 divide g?
False
Let j(a) be the second derivative of a**5/20 - 5*a**4/6 - 5*a**3/3 + 9*a**2/2 + 2*a. Suppose -5*w + 65 = -5*g, 3*w - 5*g - 43 = -0*w. Does 5 divide j(w)?
True
Let p(y) = -12*y**3 + y**2 + 2*y + 1. Suppose -3*v - 43 = 5*r, -4*r = -4*v + 3*v + 31. Let s = 7 + r. Is p(s) a multiple of 6?
True
Let i = 220 - 146. Suppose -b + 4*n = -i, -2*b + 113 = -3*n + 2*n. Does 9 divide b?
True
Let f = 4008 - 2338. Is 30 a factor of f?
False
Suppose -2185*h - 672 = -2193*h. Is 28 a factor of h?
True
Is (27/(-18))/(2/(-493 - -1)) a multiple of 35?
False
Let x(p) = p**2 + 7*p + 6. Let m be x(-6). Let y(l) = -l**3 - l**2 + 2*l + 25. Is 15 a factor of y(m)?
False
Let o(z) = -6*z - 2. Let d be o(-2). Suppose d + 5 = -3*l. Let m(i) = -2*i - 7. Is m(l) a multiple of 2?
False
Let y = 60 - 28. Let t = y + -22. Suppose -f + 18 = t. Is f a multiple of 8?
True
Let m(l) be the first derivative of 5*l**3/3 - 4*l**2 + 4*l + 7. Let q be m(5). Suppose 3*g - 269 = -q. Is g a multiple of 12?
True
Suppose -9*d = 29*d - 20520. Is 10 a factor of d?
True
Let s = 1732 + -1711. Is s a multiple of 2?
False
Let y = 2435 - 526. Is 103 a factor of y?
False
Let l(d) = 53*d + 20. Let v(g) = -54*g - 21. Let y(n) = 2*l(n) + 3*v(n). Is y(-4) a multiple of 22?
False
Let y(s) = s**3 + 2*s**2 + 1. Let k be y(3). Suppose -4*o + j - 7 = 0, -5*j - k + 9 = 4*o. Is 13 a factor of (o - 6/(-3))*-13?
True
Suppose 3*g = 2*a - 6, -2*a - 3*g = -9 + 3. Suppose 0 = 2*v - a*v + 8. Does 8 divide v?
True
Suppose 0 = -10*k + 9*k + 4. Suppose 2*t - k*t = 0. Suppose 3*w = 5*r + 89, -3*w + 0*w - 3*r + 57 = t. Is w a multiple of 23?
True
Let b = 142 + -6. Does 34 divide b?
True
Suppose -6*x + 26*x - 4080 = 0. Does 17 divide x?
True
Let k be 0*(-2)/(-4) - 23. Let f = 326 - 270. Let j = f + k. Is j a multiple of 11?
True
Let l(j) = 3*j + 4. Suppose -16 = -5*h + 29. Is l(h) a multiple of 5?
False
Let p(d) = -d**2 + 2*d + 19. Let n be p(5). Suppose n*r - 532 - 4 = 0. Is r a multiple of 1