f 7?
False
Let r = -5 - -10. Let t be (18/(-24))/((-3)/12). Suppose -82 = -t*i + r. Is i a multiple of 12?
False
Let n(l) = 2*l**2 - 42*l + 1. Suppose 4*z - 132 = -2*z. Is 9 a factor of n(z)?
True
Suppose 11 = u - 3*m, 4*u - 16 = m - 5. Suppose -5*l + 2*r = -6 - 2, u*l = r + 3. Is -7*(l - 1 - 5) a multiple of 12?
False
Let b be -3 + 1 + -4 + 12. Is ((-2)/b)/(1/(-339)) a multiple of 21?
False
Let q(a) = 3*a**2 - 2*a + 6. Let m be q(3). Let l be (-978)/m + (-4)/(-18). Does 20 divide (l/(-30))/(9/300)?
True
Let s be -5 + -57 - (4/(-2) - -6). Let v = 0 - s. Is 33 a factor of v?
True
Let g = 36 + -29. Suppose 986 = g*n - 855. Let y = n + -138. Is 25 a factor of y?
True
Let x = 868 + -566. Is 6 a factor of x?
False
Suppose -4*f + 7 + 5 = 0. Suppose p = -f*p + 16. Is 3 a factor of p?
False
Suppose 0 = 4*g + 3*u - 4 - 524, -4*g + u = -544. Is 27 a factor of g?
True
Let s = -1548 + 1893. Is s a multiple of 23?
True
Suppose -10*a - 40 = 120. Let z = a + 40. Is 9 a factor of z?
False
Let f(v) = 379*v + 289. Does 78 divide f(5)?
True
Suppose 8*n + 0*n - 3504 = 0. Suppose -7*a + n = -4*a. Does 24 divide a?
False
Let r(q) = 3*q**2 - 14*q + 33. Is 24 a factor of r(10)?
False
Let u be (-4)/(-12)*-1*(-54)/2. Does 13 divide (-100)/(-225) - (-1166)/u?
True
Let k(s) = -s**2 + 13*s + 8. Let n be (-5)/(30/(-9))*6. Let o be 114/n + (-2)/3. Is k(o) a multiple of 6?
False
Let f = 76 - -18. Let o = f + 46. Does 7 divide o?
True
Let c = 1511 + -605. Does 123 divide c?
False
Let l be 4 - (-4 - -2 - -2). Suppose 3*r - 3*s = r + 119, l*s = -r + 32. Let x = r + -18. Is 19 a factor of x?
False
Let f(s) = 20*s**2 + 4*s + 26. Does 14 divide f(-5)?
False
Suppose -12*z + 14 = -5*z. Does 5 divide ((-60)/36)/(z/(-6))?
True
Let w be (-8)/20 + (-422)/(-5). Suppose -4*j + w = -0*j. Does 7 divide j?
True
Let m(k) = k**2 - 22*k - 6. Let f be m(-9). Let x = 441 - f. Is 24 a factor of x?
True
Let l = 7 - 10. Let p be (-788)/(-6)*l/(-2). Suppose -163 = -4*n + p. Does 23 divide n?
False
Let d be ((-3)/(-12))/((-1)/(-4)). Let k be d/(2 + -1) - 1. Is 7 a factor of 8 + 2/(-2) + k?
True
Let d = -67 + 69. Suppose d = q, 4*o + 4*q - 29 = 91. Is o a multiple of 3?
False
Suppose 3*n + 5*z = -n - 1, 5*n - 10 = -4*z. Suppose 0 = n*w + 62 - 206. Does 8 divide w?
True
Suppose 2*d + 3*i - 135 = 0, -3*i = -4*d - 2*i + 291. Suppose 5*q + 6*m - m = 40, -4*m = -q + 3. Suppose 0 = q*s - 4*s - d. Is 14 a factor of s?
False
Does 2 divide (-12)/15 - 949/(-5)?
False
Let c(j) = j**2 + 7*j - 7. Let l(i) = i + 1. Let u(y) = -c(y) + 2*l(y). Let z be u(-6). Suppose -z*f + 8*f - 15 = 0. Is f a multiple of 2?
False
Let u = -581 - -880. Is 19 a factor of u?
False
Is 6/12 - (-1795)/10 a multiple of 36?
True
Suppose -197 = -4*f + 5*x + 20, -3*f + 5*x + 164 = 0. Let d be (4/5)/((-2)/80). Let y = d + f. Does 21 divide y?
True
Let f(t) = t - 19. Let c be f(7). Is ((-9)/c)/((-1)/(-68)) a multiple of 8?
False
Let s be ((-10776)/(-30) + 0)*(-5)/(-2). Suppose 5*v = -298 + s. Does 15 divide v?
True
Suppose 584 = -3*h + 11*h. Is 2 a factor of h?
False
Let g(k) = -k**2 - k - 15. Let r be g(0). Let n = r - -22. Is 8 a factor of n/((-7)/(-2)) - -38?
True
Let t(n) = 8*n**3 - 7*n**2 - 3*n - 12. Does 9 divide t(4)?
False
Let y = -145 + 120. Does 25 divide (-1)/(4/(-48))*y/(-2)?
True
Let g be 4 - (-2 + -1 + 4). Suppose -g*p = -3*f + 6, -3*p + 6 = 4*f - 9. Suppose 4*m - 22 = -2*u, m + 0*u = -u + f. Is 8 a factor of m?
True
Let m be (-10)/(-8)*(0 + 8). Suppose -5*o = -2*j - m, -o + 10 = 4*o - 3*j. Suppose 4*s - 54 = -o*r + 18, -r - 4*s + 34 = 0. Is 14 a factor of r?
False
Let l = 1599 + -1115. Let i be 3 + l/4 - -2. Suppose n + 6*d = 3*d + 38, -3*n + i = 3*d. Is n a multiple of 22?
True
Suppose 0 = -5*f - 3*m + 9806, 0 = -0*f + 2*f + 3*m - 3926. Is f a multiple of 26?
False
Does 25 divide (-13)/(-104) - 5199/(-8)?
True
Let g(b) = b**3 - 4*b**2 - b + 4. Let a be g(3). Is 12 a factor of -2 - ((-2)/3)/(a/(-1368))?
False
Does 13 divide ((-3751)/22 - 6)*-10?
False
Let z = -18 - -61. Is 10 a factor of z?
False
Let h be (-3)/4 - 1854/(-72). Let n = h + -30. Is 12 a factor of (8/6)/(n/(-45))?
True
Let c(z) = -5*z**3 + 8*z**2 + 4*z - 7. Let a(v) = 14*v**3 - 23*v**2 - 13*v + 20. Let w(x) = 4*a(x) + 11*c(x). Suppose 0*k + 6 = k. Is w(k) a multiple of 14?
False
Is 24 a factor of -4*(-2)/(-12)*12*-63?
True
Is 35 a factor of ((-280)/(1 + -5))/((-1)/(-2))?
True
Suppose 87*g = 189875 + 16576. Does 31 divide g?
False
Let x(q) = 4*q**2 + 7*q - 27. Is 12 a factor of x(5)?
True
Suppose 21 = 7*v - 14. Suppose 208 = v*g - 612. Does 17 divide g?
False
Suppose -5*u + 2098 = 2*k, -4*k + u + 0*u = -4174. Is k a multiple of 12?
True
Suppose -s + 162 = -3*l, l + 15 = 4*l. Suppose -r = -4*r + s. Suppose -75 = -2*i - 5*t, 4*i = -2*t + r + 67. Is i a multiple of 7?
False
Let q = 32 - 27. Suppose q*c = 34 - 24. Is 2 a factor of c?
True
Suppose 5*o = 4*h - h + 94, -3*o = 4*h - 68. Suppose -4*j - j + o = c, 5*j = c + 20. Suppose -n - 5*v + 46 = c, -5*v = -2*n + 68 + 39. Is n a multiple of 17?
True
Suppose 0 = -4*g + w + 8535, -43*w = 5*g - 41*w - 10672. Does 16 divide g?
False
Let z(b) be the second derivative of b**5/20 - 3*b**4/4 + b**3 + 5*b**2/2 + 9*b. Does 7 divide z(9)?
False
Let p be (6/(-10))/(8/(-77 - 3)). Let r(w) = w**2 + 6*w + 12. Let g(c) = 2*c**2 + 11*c + 23. Let v(s) = 6*g(s) - 11*r(s). Is v(p) a multiple of 19?
False
Let q(r) = -2*r**3 - 5*r**2 - 12*r - 14. Suppose -i - 6 = -2*o + 1, -5*i = -o + 26. Does 12 divide q(i)?
False
Let x(p) = -2*p**2 - 16*p + 5. Let y(s) = s**2 + s - 1. Let q(b) = x(b) + 3*y(b). Does 15 divide q(17)?
False
Suppose -2*z + z = 3*u - 1772, -5*u + 2957 = -2*z. Is u a multiple of 3?
True
Let u be (12 - 11) + (-1 - -2130). Let y = u + -2997. Is 24 a factor of y/(-9) - 2/6?
True
Let a = 48 + -45. Suppose 422 - 32 = a*q. Is 5 a factor of q?
True
Let s be (-9)/(-24) - (-300)/(-32). Let n(x) = -x**2 - 13*x. Does 9 divide n(s)?
True
Suppose -2*r + 4 = -4, -5*l - 3*r = 58. Does 48 divide (240/7)/(7 - (-96)/l)?
True
Let b(g) = g**2 + g - 283. Let r be b(0). Let k = r + 400. Does 13 divide k?
True
Let o = 148 + -38. Suppose -209 = -4*f + 599. Let r = f - o. Is 17 a factor of r?
False
Let p(c) = -9*c - 9. Let k(x) = -9*x**3. Let t be k(1). Does 9 divide p(t)?
True
Let i = -468 + 709. Is i a multiple of 9?
False
Let q(r) = r**2. Let l be q(3). Let v(b) = 4*b**2 - 18*b - 12. Is v(l) a multiple of 23?
False
Does 38 divide ((-35)/5 - -6)*-515?
False
Let a = -1782 - -2614. Is a a multiple of 52?
True
Let a = 2225 - 1674. Is 2 a factor of a?
False
Suppose 3934 - 194 = 4*y + 4*k, -5*y + 2*k + 4647 = 0. Is 7 a factor of y?
True
Let l(u) = -u**2 - 13*u + 12. Let i be l(-14). Let b be i*((-12)/(-4) + -5). Is 1/2*(b - -2) a multiple of 3?
True
Suppose 10*m - 1310 = 90. Is 20 a factor of m?
True
Let d(g) be the third derivative of g**6/120 + g**5/5 + g**4/8 - 2*g**3/3 - 5*g**2. Is 28 a factor of d(-11)?
True
Does 16 divide 479/4*3 + 64/(-256)?
False
Let p(q) = 3*q**2 - 4*q + 2. Let i be p(3). Let z = -22 + i. Does 7 divide (2/z)/(9/(-540))?
False
Let q(j) be the first derivative of j**4/4 - 3*j**3 + 5*j**2/2 + 13*j + 4. Let v be q(8). Let f = 39 + v. Is f a multiple of 7?
True
Let x be ((-8)/10)/(1/(-5)). Is (x + -1)/(0 - (-6)/262) a multiple of 15?
False
Let n be 5/((-5)/1) + -3. Let l(r) = 5 - 4 + 3 - 14*r + 1. Does 31 divide l(n)?
False
Let p(q) = -q**3 + 10*q**2 - 8*q - 3. Let z be p(9). Let h(y) be the third derivative of y**4/24 - 2*y**3/3 - 3*y**2. Is h(z) a multiple of 2?
True
Let d(h) = 8*h - 2*h - 1 + 2*h**3 + 6*h - 9*h - 6*h**2. Let k be 2/4 - 7/(-2). Is 11 a factor of d(k)?
False
Let w = 617 - 397. Is 11 a factor of w?
True
Let k be 3*(4 + (-20)/6). Suppose -92 - 100 = -k*s. Is s a multiple of 12?
True
Does 2 divide ((-6)/7 + 0)/(3/(-147))?
True
Let z = -43 - -399. Is 11 a factor of z?
False
Let k(o) be the third derivative of o**6/24 + 5*o**4/24 - o**3/3 - 13*o**2. Is 12 a factor of k(2)?
True
Suppose 0*z = -2*z + 80. Suppose 0 = 3*n + 2*n + 3*a - z, -n + 16 = -a. Suppose 0 = -3*u - n + 230. Does 31 divide u?
False
Let b be (3/(-3)*-4 - 1) + 1. Suppose -y - b*y - 3*j + 158 = 0, 5*y = 4*j + 186. Does 13 divide y?
False
Let o(v) = v**3 - 11 + 2*v - 12*v**2 - 17 - 15*v + 33*v**2. Is 49 a factor of o(-21)?
True
Let s(w) = 7*w**2 - 2*w + 21. 