 y. Does 6 divide f?
False
Let k(m) = m**3 + 9*m**2 + 8*m + 6. Let t(v) = 2*v - 2. Let q be t(-3). Let j be k(q). Does 16 divide (260/j)/(-5)*-3?
False
Let i(t) = t**3 + 4*t**2 + 2*t - 1. Let q be i(-3). Suppose 4*o - 2*v - 148 = 0, 0 = q*v - v + 4. Is o a multiple of 7?
True
Let b(w) = -3*w + 9. Let d be b(-10). Let t = d - -2. Does 12 divide t?
False
Suppose -4*m - 78 + 342 = g, g + 66 = m. Is m a multiple of 11?
True
Let i(n) = 5*n**3 + 3*n**2 - 3*n - 3. Is 25 a factor of i(3)?
True
Let f = -39 + 71. Suppose 8 + f = 5*c. Is c a multiple of 8?
True
Let z be (1*2)/((-10)/(-205)). Suppose -3*f + 46 = -z. Does 14 divide f?
False
Is 10 a factor of ((-18)/8)/(1/((-120)/9))?
True
Let x(y) = 65*y + 31. Let h(w) = -13*w - 6. Let l(d) = 11*h(d) + 2*x(d). Does 8 divide l(-3)?
False
Let i = 176 - 112. Let m = i + -44. Does 5 divide m?
True
Let r = 34 - 17. Let y = -8 + r. Does 4 divide y?
False
Let x(z) = z**2 + 6*z + 7. Let v be x(-3). Is ((-8)/(-12))/v*-102 a multiple of 34?
True
Let c(x) = -x**2 - 12*x - 11. Is c(-9) a multiple of 16?
True
Let p(c) = 256*c - 3. Let k be p(3). Is 24 a factor of 2/(-1) - k/(-9)?
False
Let s = 17 + 4. Suppose -5*m + 1 = 4*i + 9, 2 = -2*m - 2*i. Is (m/12)/((-1)/s) a multiple of 4?
False
Let f = -49 - -19. Let r(y) = y**2 - 5*y - 17. Let o be r(7). Let n = o - f. Is n a multiple of 9?
True
Let i = 17 - 14. Suppose -b = i*b + 4*z - 28, 4*z = -3*b + 26. Does 2 divide b?
True
Let u = 339 + -199. Is u a multiple of 20?
True
Let u(m) = m - 9. Let v be u(11). Is -15*(v/(-3) - 0) a multiple of 10?
True
Let d = -43 + 10. Does 11 divide (-3)/(-1) - d - -1?
False
Let l(j) = j**2 + 9*j + 5. Let b be l(-8). Let i = 4 - b. Let g = i + 5. Is 4 a factor of g?
True
Let v be 124/9 - (-2)/9. Suppose v = 2*t - 14. Is 7 a factor of t?
True
Is 5 a factor of 5/(-25)*1 - 76/(-5)?
True
Let s be (-85)/2*8/(-10). Let b be (-9)/2 + (-2)/(-4). Is 10 a factor of (s/2)/(5 + b)?
False
Let b be 4/14 + 172/(-14). Let z = b - -34. Does 11 divide z?
True
Let t(w) = w**3 - 2*w**2 - w - 1. Let g be t(3). Suppose v + 56 = g*v. Is 4 a factor of v?
False
Let f(n) = -n**2 - 1. Let p(l) = -11*l**3 - 2*l**2 + l - 2. Let s(i) = -3*f(i) + p(i). Let y = -99 + 98. Is 12 a factor of s(y)?
True
Let b be (-20)/(-5) - 152/2. Does 7 divide (-2)/10 - b/10?
True
Is 18 a factor of 1 + 26/4*66?
False
Let o = 34 + -10. Does 7 divide o?
False
Suppose -2*x - 5 - 1 = 0. Is ((-72)/(-30))/(x/(-20)) a multiple of 7?
False
Let l(f) = 9*f**2 - 3. Is 26 a factor of l(3)?
True
Let o(r) = 34*r**2 + 1. Let k be o(1). Suppose 3*x - 5*x = -62. Suppose -3*n + k = -b, -x = -2*n - n + 5*b. Does 5 divide n?
False
Let p = -10 + 12. Suppose 0*b - i + 235 = 4*b, 4*i = 3*b - 162. Suppose -5*o + b = -0*o + p*v, -5*v = -20. Is 5 a factor of o?
True
Let l = 6 + -7. Let m be l + (-1)/2*-14. Suppose m = -x + 17. Is x a multiple of 4?
False
Let y(w) = -2*w - 5. Let s be 1/(9/(-12))*3. Is y(s) a multiple of 3?
True
Let o(q) be the first derivative of -q**2/2 + 4*q + 4. Is 8 a factor of o(-12)?
True
Is (-204)/(-18)*(-9)/(-6) a multiple of 8?
False
Let n = -4 - -4. Suppose n*k = -5*k + 25, 5*k - 25 = -4*w. Suppose w*z - 36 = -3*z. Is z a multiple of 12?
True
Let w(c) = 3*c - 9. Is 7 a factor of w(10)?
True
Let j(r) = -2*r - 11. Is 15 a factor of j(-13)?
True
Let b(y) = 2*y**2 - 6. Let d be 26/6 - 9/27. Is b(d) a multiple of 13?
True
Let x be (1 - 70/2) + -2. Let h be (81/x)/((-6)/(-16)). Is 5 a factor of (2/h)/(1/(-24))?
False
Let w = 18 + -23. Let k(z) be the second derivative of -z**5/20 - 5*z**4/12 + 3*z**2 + 2*z. Does 2 divide k(w)?
True
Let l(u) = -u**2 + 9*u - 8. Let s be l(7). Suppose s*p = 2*p - 3*x + 150, -118 = -3*p - 5*x. Suppose f + f = p. Does 18 divide f?
True
Let s(g) = -2 - 2*g + g + 12. Does 3 divide s(6)?
False
Is 35 a factor of (-3552)/64*16/(-6)?
False
Suppose 135 = 3*h - 0*h. Let s = 64 - h. Is s a multiple of 11?
False
Let b = 56 + -30. Is b a multiple of 13?
True
Let b = 36 + -10. Suppose 0*u = -2*u + b. Is 12 a factor of u?
False
Let a = -4 - -6. Suppose -a*i - 21 = -3*i. Suppose i = 3*h + 9. Does 4 divide h?
True
Let o = 44 + -10. Suppose m = -5*a - 14, -a + 30 = 5*m + 4*a. Let v = o + m. Does 19 divide v?
False
Suppose -3*t - 4*i + 13 = 0, 5*t + i = -i + 17. Suppose -t*j - 40 = -3*v - 13, 2*v + 5*j - 11 = 0. Is 4 a factor of v?
True
Let i(j) = j**3 + 4*j**2 + 3. Let o be i(-4). Suppose -7 + 35 = 3*f + 4*d, -o*f - 2*d + 32 = 0. Is 6 a factor of f?
True
Let f = 3 - 3. Suppose f = -4*i - 12, -h - i = 7 - 4. Let a(q) = -q**3 + q**2 + q + 5. Is 3 a factor of a(h)?
False
Suppose -3*w + 133 = j, -5*w + 215 = -0*w - 5*j. Is w a multiple of 22?
True
Suppose 15 = v + 6. Let m(y) = 3*y - 1. Let z be m(-1). Let x = v + z. Is 2 a factor of x?
False
Let q(o) = o**2 - 4*o + 6. Let d be q(4). Suppose -f = 2 - d. Suppose 20 = f*z, 5*r - 14 = -2*z + 16. Is 4 a factor of r?
True
Suppose 5*l = 3*l + 196. Does 8 divide l?
False
Let f(o) = -3*o**2 + 6 - 14 + 4*o**2 - 5 + 5*o. Is 7 a factor of f(-9)?
False
Let w(u) = u**2 + u - 10. Is 6 a factor of w(-6)?
False
Let l = 21 + 0. Does 7 divide l?
True
Suppose 2*v = d - 13, -3*d + 2*v = -2*v - 49. Suppose -d - 15 = -o. Does 20 divide o?
False
Let g be 2/(-4) - 25/(-2). Suppose -2*u + 198 = -5*u. Does 11 divide u/2*(-4)/g?
True
Suppose o = -3*o. Suppose o = 3*z - 2*z + f - 6, -18 = -4*z - 2*f. Suppose -12 = u - z*u. Is u a multiple of 6?
True
Let d be (0 + -47)*-1 - 0. Let l = -22 + d. Let w = l - -3. Is w a multiple of 16?
False
Let g(z) = -z**3 - 3*z**2 - z + 2. Is 11 a factor of g(-4)?
True
Suppose 6*t = t. Suppose t*g + 12 = 3*g. Let p = 11 + g. Does 15 divide p?
True
Let i(s) = s**2 - 5*s - 4. Let v be i(6). Suppose 0 = -5*z + k + 75, -5*z + v*k + 60 = -z. Is z a multiple of 8?
False
Let z(n) = -n**3 - 3*n**2 + 8*n + 4. Let x be z(-5). Let s be x/3 - (-1)/3. Suppose -5*p - 5 = 0, s*p = -0*i - i + 14. Is i a multiple of 15?
False
Suppose 3*r + 6 + 0 = 0. Let b be ((-8)/r)/2 + 9. Let y(p) = p**3 - 12*p**2 + 13*p + 10. Is 9 a factor of y(b)?
False
Let h = -5 + 7. Let o(k) = k**2 - h*k**3 - 4 + 3*k**3 + 5*k - 2*k**2. Is o(3) a multiple of 16?
False
Let k(p) = -p**3 + 4*p**2 - 2. Let b be k(4). Does 22 divide b/(-5) + 1904/40?
False
Is 370 + (-3)/2*4 a multiple of 25?
False
Let z(i) = i + 6. Let a be z(-3). Let v be a/12 + 114/(-8). Let y = -9 - v. Is 2 a factor of y?
False
Suppose 0 = 4*s - 154 - 6. Suppose -2*u + s + 0 = 0. Does 10 divide u?
True
Suppose -5*f + q = -412, -226 = -5*f - 4*q + 176. Suppose i + 0*i + 142 = 5*t, -3*t = i - f. Is 14 a factor of t?
True
Suppose -3*v + 6*x = 2*x - 781, -3*v + 769 = -x. Is v a multiple of 17?
True
Let j = 2 + -4. Let n(f) be the second derivative of -2*f**3 - 3*f**2/2 + 3*f. Is n(j) a multiple of 21?
True
Let k = 23 - 22. Suppose 8 + 0 = 4*b. Let w = k + b. Is w even?
False
Let l(v) = -v + 14. Let m be l(11). Suppose 0*a - a + p + 31 = 0, 0 = 2*a - m*p - 61. Is 6 a factor of a?
False
Let a be ((-6)/(-4))/((-5)/20). Does 13 divide -2*(-3)/(a/(-26))?
True
Suppose 4*w = 2*w. Suppose -o + 45 = -w*o. Does 12 divide o?
False
Suppose -g + 5*z + 103 = 4*z, -5*z + 241 = 2*g. Is 12 a factor of g?
True
Let u be (-17)/(-5) + (-4)/10. Suppose 0 = -u*f + 16 + 5. Is f a multiple of 4?
False
Suppose 6*k = 4*x + 2*k - 416, -4*x = -3*k - 411. Is 9 a factor of x?
True
Let p be (-1 - -3 - -1) + 9. Let r = p + -2. Let k = -2 + r. Does 5 divide k?
False
Let c be (3 - 5)/(-1 - 0). Suppose 2*u - 10 = -3*a + 9, -5*a + 21 = -c*u. Suppose 100 = u*j + 3*j. Is j a multiple of 10?
True
Let f(q) = 10*q - 5. Let z be f(7). Suppose 3*x - 121 = z. Is x a multiple of 22?
False
Let i be 0 + 3 + -1 + 2. Suppose -1 = 3*n + 2*j - 2, n + i*j = -3. Let a(g) = 13*g**2 + g - 1. Does 8 divide a(n)?
False
Suppose 0 = -2*h - 6 + 4. Does 14 divide (96/20)/(h/(-5))?
False
Let r(p) be the third derivative of p**8/6720 - p**7/504 - p**6/180 - p**5/60 - p**4/24 - 2*p**2. Let x(d) be the second derivative of r(d). Does 6 divide x(6)?
False
Let p(b) = b**2 - 16*b + 17. Is 9 a factor of p(16)?
False
Suppose 6*f - 275 = 19. Does 7 divide f?
True
Let r(z) = z**3 + 4 - z**2 - 2*z**2 - 2*z**3 + 0*z**2. Let h = -9 + 6. Is r(h) a multiple of 2?
True
Let i(r) be the first derivative of 2*r**3/3 + 5*r**2/2 - 2*r + 1. Is i(-4) a multiple of 8?
False
Is 32/6*(-12 + 0)*-1 a 