3))*y. Suppose -5*m + 55 - 15 = a. Is m a multiple of 3?
False
Let r(q) = 88*q**3 - 5*q**2 + 15*q - 9. Is 15 a factor of r(2)?
True
Let a = 1070 - 934. Is 17 a factor of a?
True
Suppose -2*v + 43 = g, -v + 70 = 2*v - 4*g. Suppose -4*n = -v + 2, -z = n - 48. Suppose -2*b + 5 = -z. Is 8 a factor of b?
True
Suppose 3*c - 5*h - 51 = -0*h, -3*c + 2*h = -42. Suppose -c*i + 11*i = 0. Suppose 2*a + 3*a - 5 = i, -2*a - 90 = -y. Is 23 a factor of y?
True
Let j(r) = 6*r**2 + r - 2. Let d be j(3). Suppose -31 - d = -2*s. Suppose s - 181 = -3*p. Is 23 a factor of p?
True
Let m(t) = t**3 - 5*t**2 + 4*t - 4. Let n(j) = j**2 + 5*j + 5. Let q be n(-5). Does 16 divide m(q)?
True
Is 220 + ((-16)/3 - (-5)/15) a multiple of 28?
False
Suppose -5*m = -687 - 128. Suppose -m = -4*p - 3*k - 22, 5*k = -25. Is 17 a factor of p?
False
Let f be (-156)/(-10)*(-20)/(-3). Suppose 6*a - 4*a = 2*i + 52, -f = -4*a - i. Does 13 divide a?
True
Suppose -2*r + 1042 = 4*h, -33*h + 38*h = 10. Is 11 a factor of r?
True
Let v(u) = u**3 + 12*u**2 - 6. Let m be v(-12). Let a(b) = -3*b**2 - b**3 - 8 + 7*b - b**2 + 4. Is 4 a factor of a(m)?
False
Suppose -4*b - 4 = 12. Let q be (b/(-3))/(2/3). Suppose -5*c = q*r - 286, -3*r - 277 = -5*c - 2*r. Is 23 a factor of c?
False
Let u(o) be the second derivative of -o**5/20 + 7*o**4/12 + 5*o**3/6 + 3*o**2 - 2*o. Does 16 divide u(7)?
False
Suppose g - 2*j - 1874 = -g, 4675 = 5*g + 5*j. Is 13 a factor of g?
True
Suppose a - 2*l = 392, -4*a + 6*l = l - 1583. Is 69 a factor of a?
False
Suppose 0 = b + 3*d - 9, 0 = -0*b + 5*b + 3*d - 21. Suppose 4*j = b*q - 32, 0*j + j = -5*q + 84. Does 8 divide q?
True
Let c be (-24)/(-36) + -2*14/6. Let l = -13 + 7. Is 6 a factor of l/(-24) + (-47)/c?
True
Let b(n) = n**3 + 10*n**2 + 3*n + 2. Suppose z - 4*x = 7, -4*x + 7 = -3*z - 4. Does 11 divide b(z)?
False
Let z be 20/(-8) + 114/(-12). Let w(g) = g**3 + 11*g**2 - 14*g + 5. Is 29 a factor of w(z)?
True
Is (30/(-10))/(2/(-16)) - 0 even?
True
Let d be ((1 - 4)/6)/(3/(-6)). Does 6 divide 4 + 3 - d/1?
True
Let d(j) = 40*j - 129. Is d(40) a multiple of 25?
False
Suppose 4*k - 26 = -2*q, -2*k + 16 = -2*q - 0*q. Is 2 a factor of k?
False
Let x(l) = 2*l**2 + 2*l + 1. Let u be x(-2). Let m = 421 - 225. Suppose -u*n + m = -n. Is 22 a factor of n?
False
Let h(j) = 0*j - 5*j**2 + 9*j**3 + 1 - 22*j**3 + 14*j**3 - 3*j. Let g be 66/10 + (-3)/5. Does 19 divide h(g)?
True
Suppose 4*b + 32 - 164 = 0. Let h be (-128)/(-3) + (-2)/(-6). Let o = h - b. Does 10 divide o?
True
Let m be (35 + -34)/(1/5). Let j(y) = -6 + 4*y**3 - 3*y**3 + 0*y**3 - 2*y - 4*y**2. Does 3 divide j(m)?
True
Let z = 154 - -146. Does 15 divide z?
True
Suppose -z = 4*t + 11, 0*z - 12 = -4*z - 2*t. Is 24 a factor of (43/z)/((-2)/(-10))?
False
Suppose -4*x = -13 + 1. Let r be (2/(-6))/(x/333). Let g = r + 68. Is 19 a factor of g?
False
Let n be (-31)/((-13)/21 - (-16)/56). Let i = n - 69. Is 7 a factor of i?
False
Suppose 0 = -4*f + 3*c + 23, -f - 4*f = -c - 26. Suppose -k - 3*k = 2*r - 294, 707 = f*r + 3*k. Does 23 divide r?
False
Let d(n) = n - 4. Let s be d(9). Suppose 62 = s*k - 2*b, 12 = 4*b - 4. Does 14 divide k?
True
Suppose 0 = -5*s + 5 + 70. Suppose 0 = -5*k - s, -3*d + 325 - 82 = -2*k. Suppose h = 2*h - d. Is h a multiple of 27?
False
Suppose -172*c = -194*c + 24618. Is c a multiple of 10?
False
Let n(r) = 3*r**2 - 22*r + 9. Let p be n(7). Suppose -2*f = p*o - 22 - 306, 3*o + 343 = 2*f. Is 24 a factor of f?
False
Suppose i + 5*l + 40 = 1023, 5*i - l - 4993 = 0. Does 16 divide i?
False
Let y(b) = -b + 9. Does 3 divide y(-12)?
True
Is 2601/6*((-20)/(-6) + -2) a multiple of 17?
True
Suppose 5*g = 5, 2*a - 1035 = 4*g - 3*g. Is a a multiple of 37?
True
Let l be 4/(-8) - (-9)/2. Suppose -2*j = j + 2*p + 31, 49 = -l*j + 5*p. Let n = 4 - j. Is n a multiple of 15?
True
Let m be (-1)/(-4) + (-441)/(-12). Suppose r - 2 = -4*f, -8*r + 4*f - 72 = -4*r. Let s = r + m. Is 6 a factor of s?
False
Let s(m) = -m**3 + 6*m - m + 5*m - 4*m + 3*m**2 - 1. Let i be s(4). Suppose i = z + 3*j, -4*j = -5*z - 0*j + 92. Does 4 divide z?
True
Let f be (9/(-6))/((-3)/6). Suppose 36 = f*p - 36. Does 4 divide p?
True
Suppose -4*r = -2*r - 2. Suppose 2*q + r = 3. Suppose t - 80 = q. Is t a multiple of 27?
True
Suppose 0 = -4*g + 96 + 36. Suppose 0 = -5*j - 2*c - 130, 7*j - 5*j = -4*c - 52. Let n = g + j. Does 7 divide n?
True
Let v(y) = y**3 + 32*y**2 - 17*y + 20. Does 51 divide v(-32)?
False
Let z(j) be the third derivative of -j**5/20 - 5*j**4/6 + 16*j**3/3 - j**2. Let c(f) = -f**2 - 7*f + 11. Let x(r) = 8*c(r) - 3*z(r). Is x(-6) even?
True
Suppose -4*q + 42 = -2*g, -q + 1 + 4 = 5*g. Let d be ((-243)/(-15))/(2/q). Suppose -3*t - d + 252 = 0. Does 19 divide t?
True
Suppose -26*i + 2252 = -660. Is 14 a factor of i?
True
Let z = 3793 - 2192. Is z a multiple of 17?
False
Let d(u) = -u**2 - 9*u - 11. Is d(-4) a multiple of 3?
True
Suppose 11 - 5 = -n. Let j be (n/8)/((-4)/16). Suppose -2*m + 10 = 0, -a - j*m = -4*a + 75. Is 30 a factor of a?
True
Let i(m) = -4*m + 5. Let x be i(6). Suppose 360 = -19*q + 9*q. Let v = x - q. Is 11 a factor of v?
False
Let s = -27 - -45. Is s a multiple of 5?
False
Let z(g) = 17*g**2 + 3*g + 10. Is 6 a factor of z(4)?
True
Suppose 3*d = -721 + 1855. Does 10 divide d?
False
Let q be 3 + ((-412)/(-26) - (-12)/78). Let w = q - 1. Is 13 a factor of w?
False
Let z = 8 - 2. Let f be (0/(-1 + z))/(-2). Does 19 divide (-164)/(f - 4) - 3?
True
Let m be (0 - 5)*-1*1. Suppose 2*k + 2*k = -4*y + 36, -4*k + m*y = 9. Suppose 5*v = 4*b + 50, k*v + 4 = -5*b + 3. Is v even?
True
Suppose 3*a - 593 = 7. Does 8 divide a?
True
Suppose 3*i - 16 = -1, 5*i + 1385 = 5*g. Does 4 divide g?
False
Suppose -74*y + 68*y = -16464. Is 15 a factor of y?
False
Suppose -3*y + 5 = 2*u, 5 = -4*u - 2*y + 19. Suppose 5*t + 297 + 134 = u*q, 0 = 4*q - 2*t - 446. Suppose 2*a + q = 4*a. Is 16 a factor of a?
False
Suppose 4*o - 1041 = 2*v - 3*v, 3*o = -v + 781. Is o a multiple of 20?
True
Let n(o) = -o**2 + 5*o - 2. Let h be n(4). Let x(k) = -k**2 - 4*k + 1. Let r be x(-3). Is 5 a factor of 11 - (-1 + h - r)?
False
Let o(i) = -3*i + 9. Suppose 0 = u - 6 + 1. Let y be o(u). Does 6 divide 30*(3 + 14/y)?
False
Let m(p) = 3*p**2 + p + 2. Let t be m(-3). Let v = 44 - t. Does 9 divide v?
True
Does 14 divide (-4 - 44/3)*324/(-16)?
True
Let g(n) = -23*n + 10. Let x be g(-6). Suppose 2*k + 50 = x. Is 5 a factor of k?
False
Let k = -4531 - -6508. Is k a multiple of 10?
False
Suppose -r + 3*h + 232 = 0, -4*h - 69 = -4*r + 883. Let c = -141 + r. Does 50 divide c?
True
Suppose -38 = 21*k + 256. Let s = 40 - k. Is s a multiple of 3?
True
Let b = 1255 + -1159. Is 8 a factor of b?
True
Let v(z) = z**2 + 37 - 41 + 123*z - 128*z. Let f(i) = i**3 + 4*i**2 + 2*i + 2. Let d be f(-2). Is v(d) a multiple of 2?
True
Let t(z) = 10*z + 13. Let n be t(-3). Let i = n + 5. Let y = 30 - i. Is y a multiple of 19?
False
Suppose 0 = -5*n - o + 28, -n = -2*n - o + 4. Let s = 29 - n. Does 3 divide s?
False
Suppose -w - 1165 = -2*p, -4*p + 5*w + 1663 = -664. Is 53 a factor of p?
True
Suppose -250*s + 247*s = -420. Is s a multiple of 10?
True
Suppose -4*v + 213 = -4*c - 119, -3*v - 318 = 4*c. Does 28 divide (-6786)/c + 2/9?
True
Suppose -7*y + 30 = -12*y. Let x = -4 - y. Suppose -34 = x*f - 4*f. Is f a multiple of 17?
True
Suppose 5*a = h - 31, 4*h - 4*a - 16 - 44 = 0. Let w = h + -5. Suppose -w*l + 180 = -2*l. Does 21 divide l?
False
Suppose -5*s + w = -1937 + 562, -1100 = -4*s + 5*w. Suppose -7*j + 1465 - s = 0. Is j a multiple of 29?
False
Let r(p) = p**3 - 13*p**2 + 15*p + 2. Let x(i) = -i**3 + 13*i**2 - 15*i - 3. Let w(s) = -2*r(s) - 3*x(s). Does 8 divide w(12)?
False
Let y(h) be the second derivative of 37*h**5/20 - h**4/12 + h**3/3 - h**2/2 + 2*h. Let m(c) = 3*c + 16. Let i be m(-5). Is y(i) a multiple of 30?
False
Suppose -5*r + 0 = -20. Suppose 0 = 7*h + r*h - 209. Is h a multiple of 5?
False
Let x(c) = 101*c**2 + 7. Is x(-2) a multiple of 32?
False
Suppose -3*j + 15 = 0, -20*q + 5*j = -25*q + 6100. Does 81 divide q?
True
Let c = 20 + -19. Let o be (c/(-2))/(2/(-76)). Suppose 0 = 5*m - 4*m - o. Does 8 divide m?
False
Suppose 783 = -3*q - 5*g + 2104, 5*q + g = 2209. Is 13 a factor of q?
True
Let j be (6/5)/((-9)/45). Let c = j - -10. Is 6 a factor of (-12 + 3)/(c/(-8))?
True
Let q b