 Does 4 divide 6/d*80/12?
True
Let p = -6 - -8. Suppose w + 594 = -p*w. Is 12 a factor of w/(-10) - 2/(-10)?
False
Does 16 divide 52 - (1 + (2 - 5))?
False
Let j be (-6)/(-10) + (-9)/15. Suppose j*w - 5 = 2*w - 3*y, y - 5 = 0. Is 5 a factor of w?
True
Let j(s) = -3*s**3 - s**2 - 2. Does 6 divide j(-2)?
True
Let g(j) = 10*j**2 + 11*j + 7. Is g(-6) a multiple of 43?
True
Let v(k) be the third derivative of 1/6*k**4 + 1/6*k**3 + 0*k + 0 + 2*k**2. Is v(5) a multiple of 12?
False
Let w = 15 + 155. Suppose c = 4*s + 34, 0 = 5*c - 0*c - 3*s - w. Is 10 a factor of c?
False
Is (420/9)/(1 - 6/9) a multiple of 13?
False
Suppose -5*j = v - 4*v - 100, -95 = 4*v + j. Is (-128)/(-10)*v/(-10) a multiple of 14?
False
Let p(l) = 2*l**2 - 4*l + 14. Is p(7) a multiple of 21?
True
Let m = 31 - 20. Is m a multiple of 7?
False
Let r(y) = 5*y**3 + 2*y**2 - y. Suppose 3*m - 13 = -p + 4, m - 7 = p. Let j be m/(-3) - -1 - -2. Is 3 a factor of r(j)?
True
Suppose -4*k + 12 = -k. Suppose 3*q = 7*q + k. Is 2 a factor of q/2 + (-14)/(-4)?
False
Let q(l) = -57*l**3 + 2*l**2 - l - 2. Is 24 a factor of q(-1)?
False
Let w be (-3 - (-195)/6)*-2. Let r = -29 - w. Does 11 divide r?
False
Is (325/(-15))/5*-12 a multiple of 13?
True
Let u(z) be the third derivative of z**6/120 - z**5/15 + z**4/4 - 2*z**3/3 - z**2. Does 10 divide u(4)?
True
Suppose 0 = -0*j - 4*j + 244. Is 9 a factor of j?
False
Let s be 16/20*230/4. Let v = 88 - s. Does 14 divide v?
True
Is (-690)/(-105) - (-4)/(-7) a multiple of 3?
True
Let x(g) = -5*g**3 + 2*g**2 - 2*g + 7. Let y(t) = -t**3 - t**2. Let r(c) = x(c) - 6*y(c). Is r(-5) a multiple of 23?
True
Suppose -2*z - o = 3*z - 8, -2*z + 14 = -5*o. Suppose 2*u - 4*p = 1 - 3, -z*p = u - 19. Does 9 divide u?
True
Let q(n) = 2 - 2*n**3 - 7*n**2 + 9*n - 3*n + 3*n**3. Let p be q(6). Suppose 0 = d - 4*x - 36, -5*d - 12 = -p*x - 138. Does 16 divide d?
False
Is 3 + (-5 - -3) - -23 a multiple of 4?
True
Suppose 0 = -d - 2 - 1, 2*s - 199 = -3*d. Is s a multiple of 13?
True
Suppose 18 - 306 = -3*w. Is 16 a factor of w?
True
Let w be ((-16)/(-6))/((-6)/(-9)). Suppose -4*a = w - 60. Let x = 32 - a. Is 9 a factor of x?
True
Suppose 13 = 3*i + 5*o, -i - 4 - 5 = -5*o. Let f = 6 - i. Suppose f*p - 16 = 34. Does 10 divide p?
True
Suppose 2*i - 9 = 1. Is 11 a factor of 66/i*110/33?
True
Let m = 9 + -9. Suppose m*g - g = -15. Does 5 divide g?
True
Let q(i) = i**2 - i. Let m be q(2). Suppose -4*l = -t + 15, 0*l - 4*l = m*t + 6. Suppose -3*b + 4*s + 16 = -b, -24 = -t*b + 5*s. Does 4 divide b?
True
Suppose 0 = w + 4, 3*g + 5*w = 2*g - 268. Let i be g/(-5) + (-3)/5. Suppose i = 4*o + 13. Does 9 divide o?
True
Is ((-396)/(-4))/((-9)/12*-2) a multiple of 11?
True
Let i(y) = -16*y - 55. Does 40 divide i(-17)?
False
Let l = -2 - -6. Suppose -l*s + 40 = 164. Let a = s - -44. Is a a multiple of 9?
False
Is 546/8 + (-1)/4 a multiple of 18?
False
Let f = 9 - 3. Does 8 divide (-326)/(-10) + f/(-10)?
True
Suppose 3*z + 2*a = 0, 3*a = z - a + 14. Let q(t) = t**2 + 2*t**2 - t + 2*t**2. Is 11 a factor of q(z)?
True
Let o(b) = -b**3 + 4*b**2 + 5*b. Let r be o(5). Suppose l - 3*u - 34 = r, 3*u - 7*u = 4*l - 200. Suppose -l - 6 = -4*d. Does 5 divide d?
False
Let c(k) = 6. Let j(z) = -z - 12. Let w(y) = -5*c(y) - 2*j(y). Let u be w(5). Suppose -145 + 50 = -3*a + v, u*a + 4*v - 100 = 0. Is a a multiple of 13?
False
Let s(h) = -h**3 - 11*h**2 + 11*h - 10. Let b be s(-12). Let i(a) = 3*a - a - 2*a**b - a**3 + 0*a - 4*a. Is 15 a factor of i(-3)?
True
Let q be 0/(1 + -1 + -1). Let c(w) = -6*w + 3*w + 2*w + 9. Is 9 a factor of c(q)?
True
Let z be (15/(-12))/((-6)/(-72)). Let u = z + 33. Is 6 a factor of u?
True
Let u(w) = w**3 - 9*w**2 - 11*w - 19. Let r(f) = -1. Let c(s) = 5*r(s) - u(s). Is c(10) a multiple of 12?
True
Let g = 3 - 7. Let n(t) = -t + 2 + t - 6*t + 2. Is n(g) a multiple of 13?
False
Is 12 a factor of (-469)/14*-1*2?
False
Suppose 477 - 49 = 4*n. Suppose 5*c - 68 = n. Is 11 a factor of c?
False
Suppose 0 = g + 3*z - 5*z - 280, g - z - 285 = 0. Let y = g + -130. Suppose 0 = h + 3*h - y. Does 15 divide h?
False
Let g = -27 + 40. Suppose 16*h - 72 = g*h. Is h a multiple of 12?
True
Let a(i) = -2*i**2 + i - 3. Let d(t) be the first derivative of -t**3/3 + t**2 - 3*t + 2. Let u(l) = -7*a(l) + 6*d(l). Is u(-3) a multiple of 16?
False
Let d = 62 + 22. Does 28 divide d?
True
Suppose 0 = -5*g + 3*g + 16. Suppose 0 = -f - f + 4*c + g, 3*f + c - 5 = 0. Suppose -128 = -2*m - f*m. Is m a multiple of 16?
True
Suppose -j - 4*j - 4 = s, -52 = -2*s + 2*j. Is s a multiple of 7?
True
Suppose -y - 2*y = x - 3, -5*y = 4*x + 2. Let k be (-2)/(-6) + 7/x. Let g(h) = 5*h**2 - 4*h - 3. Does 17 divide g(k)?
False
Suppose 0 = -0*l + 4*l. Suppose l = v - 3*g - 10, -v - v - 3*g = -20. Is 4 a factor of 2/v - (-174)/30?
False
Let y(w) = -w + 2*w**2 - w**3 + 2*w**3 - 2*w**3 + 5*w**2 + 3. Let b be y(7). Let z(l) = -16*l - 4. Does 20 divide z(b)?
True
Let z(x) = x**3 + 4*x**2 - 2*x - 1. Let m be z(-4). Let s = m - 1. Suppose s + 107 = 4*u + 3*a, -2*u + 3*a + 79 = 0. Does 16 divide u?
True
Suppose 3*l + 87 = 3*d, -17 - 136 = -5*d + l. Suppose -d = a - 3*x, 0 = 3*a - 2*x + x + 53. Let q = -1 - a. Is q a multiple of 15?
True
Suppose 720 = x + 3*x. Suppose 5*y = x + 15. Is y a multiple of 13?
True
Does 14 divide ((-35)/10)/(1/(-4))?
True
Let o(y) = -y - 6. Let r be o(-6). Suppose r*l + 78 = 3*l. Is 13 a factor of l + (-1 - -2) + -1?
True
Let i be (1/3)/(2/12). Suppose -4 = -2*n - 2*a, -i*a = -5*a - 6. Is 3 a factor of n?
False
Let v = -1 + 1. Suppose -g - g + 68 = v. Is g a multiple of 17?
True
Suppose -5*x + 45 = -155. Is x a multiple of 20?
True
Let r(k) = -3*k**3 - 2*k - 1. Let s be r(-1). Suppose 3*p - c = 2, -p - s*c + 3 = -15. Suppose -3*g - p*y = -8, 4 = -2*g - 3*y + 1. Is 5 a factor of g?
False
Let k = 117 - 81. Is 12 a factor of k?
True
Let b(d) = 4*d**2 - 4*d - d**3 - 8*d + 10*d**2 + 1 - 9. Let o be b(13). Suppose s - o*v - 109 = -s, -3*s - 4*v + 221 = 0. Does 18 divide s?
False
Let w be (2/6)/((-4)/(-456)). Suppose 4*d + w = 7*d - 2*y, 3*y - 31 = -d. Does 4 divide d?
True
Let d be (-8)/(-12) - 2/(-6). Let s be (0 - d)*(1 + -6). Suppose -20 = -4*p, -2*p + 7 - 42 = -s*h. Is 5 a factor of h?
False
Suppose -7*q - 4*r = -3*q - 952, 5*q = 3*r + 1206. Is q a multiple of 41?
False
Suppose -2*h = -3*h - 7. Let a(t) = 2 - 5*t + 2*t + t. Is 8 a factor of a(h)?
True
Is 10 a factor of 3/((-92)/(-44) + -2)?
False
Let x be 582/10 - 2/10. Let s = -26 + x. Is 8 a factor of s?
True
Suppose -5*y - 3*r - 17 = 0, 3*r - 7 = y - 0*y. Does 13 divide -26*(-1 + 2/y)?
True
Let f be (8 + 1)/(6/4). Let p(y) be the second derivative of -y**5/20 + 2*y**4/3 - 7*y**3/6 + 2*y**2 + 4*y. Is p(f) a multiple of 20?
False
Let d be 888/20 + (-4)/10. Suppose -2*n + 22 = -d. Is n a multiple of 15?
False
Suppose 0 = -4*x + 5*l + 159, -3*x = -0*x + 3*l - 126. Suppose -2*u + 11 + x = 0. Does 12 divide u?
False
Suppose 2*n - 2 = -0*n. Suppose -3 = -j + 11. Is 3 a factor of (-1)/(-2)*n*j?
False
Let r(m) = 1 - 2 + 0*m - m + 4. Suppose 0 = -3*t - t - 2*p - 46, -4*p = -3*t - 7. Does 4 divide r(t)?
True
Let a(m) = 3*m**2 + m + m**3 - 6 - 1 + 4 + 2*m**2. Is 9 a factor of a(-4)?
True
Suppose 3*i = 9 + 252. Let a = i + -49. Is 22 a factor of a?
False
Let l = -27 - -36. Is l a multiple of 9?
True
Suppose 265 = 14*n + 13. Is n a multiple of 9?
True
Let i = 117 + -77. Suppose -i = -7*s + 2*s. Is 4 a factor of s?
True
Let t(d) = 295*d**2 - 2*d - 1. Let a be t(-1). Is 2 a factor of a/36 - (-4)/(-18)?
True
Let i be (2 + -1 - -43) + 2. Let h = -30 + i. Is 12 a factor of h?
False
Let n be (-12)/(-10)*5/3. Does 11 divide (-8)/(-16) - (-53)/n?
False
Let o(p) = -5*p**2 + 3. Let c be o(-3). Suppose 5*u = 3*u + 180. Let z = c + u. Is 13 a factor of z?
False
Suppose -5*p = -5*k + 20, 6*k - 20 = k. Suppose -3*y - 76 + 436 = p. Suppose -j = 2*j - y. Is 14 a factor of j?
False
Let k = 9 + -6. Suppose -k*g + 2*g + 52 = 0. Is g a multiple of 26?
True
Suppose 4*a = 3*t - 30, t = -0*a + 3*a + 15. Let o = t - 3. Suppose o*n - 44 = n. Is n a multiple of 11?
True
Let x = 34 - -200. Does 18 divide x?
True
Let v(p) = p + 13. Let u(a) = -a - 1 - 9 - 4. Let r(h) = 6*u(h) + 7*v(h). Is r(9) a multiple of 8?
True
Let f(u) be the first derivative of -5*u - 2 + 2/3*u**3 + 2*u**2. Is 7 a factor of f(-4)