divide c?
True
Let v(a) = 7*a**2 - 21*a - 3. Let t be -8 - -10 - (2 - 4). Is 5 a factor of v(t)?
True
Let j(a) = -a**3 - 11*a**2 + 4*a + 18. Suppose -2*p - p = 33. Let g be j(p). Does 9 divide (-15 + 3)/(g/(-16) + -2)?
False
Let b be (2/2 + -5)*29795/(-236). Suppose -4*r = 4*h - 286 - 214, 0 = -4*h - 5*r + b. Is h a multiple of 16?
False
Suppose -4*a - 923*h + 49530 = -925*h, 12385 = a + 2*h. Does 7 divide a?
True
Let v be (-3)/(7 + 12632/(-1804)). Let w = 2446 - v. Is w a multiple of 19?
False
Let h be 172/16 + (-1)/(1*-4). Suppose 6*v + 7 = -h. Let x(p) = 4*p**2 + 6*p + 16. Is 17 a factor of x(v)?
True
Is 6 a factor of 377*62/7 - (-354)/413?
False
Does 11 divide (-44)/(-3)*(7623/(-6))/(-7)?
True
Let g = -9 + 18. Suppose -200 = g*n - 14*n. Let h = n - 24. Is 16 a factor of h?
True
Let z(s) = 5*s**3 + 5*s**2 - 5*s - 23. Is 21 a factor of z(8)?
False
Let c = -4707 + 5022. Is 15 a factor of c?
True
Let v(d) = 21*d + 251. Let i be v(-12). Let u(m) be the first derivative of -131*m**2/2 + m - 2. Does 33 divide u(i)?
True
Let v = 16 - -18. Let q = 36 - v. Let p = q - -37. Does 11 divide p?
False
Suppose -157*m + 130*m + 195534 = 0. Is 102 a factor of m?
True
Let r(g) = g**3 - 14*g**2 + 11*g + 29. Let a be r(13). Suppose 2*x - a*q - 1471 = 0, 2932 = 4*x + 5*q - 9*q. Is 91 a factor of x?
True
Let h(s) = 6*s - 3. Let j be h(4). Let b = 21 - j. Suppose -2*z - f = -3*f - 232, b = -3*z - 3*f + 372. Is z a multiple of 29?
False
Let b = -1080 - -456. Is 6 a factor of b/13*(-9)/4?
True
Let k(y) = -28*y**3 - 4*y**2 + 3*y - 270. Is k(-8) a multiple of 177?
False
Let a(t) = 2*t**3 - t**2 - 4*t + 7. Let x(v) = -v**2 + 6*v + 1. Let k be x(5). Suppose h + k = -4*z - z, 5*h - z = 22. Is a(h) a multiple of 25?
False
Let c be (771/(-12))/((-16)/128). Let k = c + -301. Is 4 a factor of k?
False
Suppose 3*g = -2*g + 40. Suppose 2*w = -2*t + g, -35 + 15 = -4*t - 5*w. Is t + (-4 - -3)*1 + 28 a multiple of 27?
True
Let a(r) = r - 2. Let g be a(2). Let q be (29/638*-8)/(4/(-22)). Suppose -q*l + 40 + 146 = g. Is l a multiple of 31?
True
Let g = 3083 - -800. Is 73 a factor of g?
False
Let j = 3539 - 2470. Suppose -16*v = 547 + j. Let m = 83 - v. Is m a multiple of 23?
True
Let t(v) = v**2 + 102*v - 1945. Is 38 a factor of t(35)?
True
Is ((-27540)/(-675))/((-1)/(-5)) a multiple of 2?
True
Suppose -5*c - 5*o + 9 = -16, o = -2*c + 8. Suppose 2*k - 4205 - 271 = -4*y, k = c*y - 3357. Is y a multiple of 32?
False
Let p = -94 - -46. Let g = p + 81. Let u = g + 33. Does 9 divide u?
False
Let w = -2688 + 4633. Is 21 a factor of w?
False
Let p(d) = -3*d**3 + 6*d**2 + d. Let w be p(2). Suppose -w*t = -394 + 144. Does 11 divide t?
False
Is 9120/(-16)*(-3 - 54/30) a multiple of 6?
True
Suppose -6*j = -1886 + 1040. Is j a multiple of 5?
False
Let a(n) = 5*n**2 + 21*n - 12. Let l be a(-5). Does 2 divide (2 + 52/6)*114/l?
True
Suppose -5*f + p - 6427 = 1581, -4*f - 2*p = 6398. Let v = 2357 + f. Does 36 divide v?
True
Suppose -106*l = -129*l + 31027. Is 25 a factor of l?
False
Let p = -595 - -667. Is 16 a factor of (2136/p)/((-2)/(-18))?
False
Suppose 6*m + 6*m = 24. Suppose m*w - q = 285, -w = 2*q - q - 141. Does 11 divide w?
False
Let o be (-709)/((-4 + 5)*-1). Let b = o + -681. Is b a multiple of 7?
True
Suppose 30864 = -60*o + 84*o. Is 75 a factor of o?
False
Does 62 divide 5/((-5)/6) + 52588/(13 + -11)?
True
Suppose 5*i - 2 = -a + 38, -3*a = -5*i + 40. Does 55 divide ((-132)/i)/(-3)*28?
False
Is (-112)/((-60)/29 + (-6)/(-3)) a multiple of 7?
True
Let u(j) = -j**3 - j**2 + 86*j + 185. Is 5 a factor of u(-23)?
True
Suppose 84 = 4*n + 8. Is 100/35*(n + 2) a multiple of 50?
False
Let n be 0 + (-3871)/14*-1*4. Let p be n/35 - 4/(-10). Does 4 divide (p/20)/(0 - (-2)/20)?
True
Let u(g) = 144*g + 30. Let l be u(-3). Let m = 542 + l. Is m a multiple of 35?
True
Suppose 0 = 189*g - 203*g + 25284. Is 21 a factor of g?
True
Let r be 6/(-15) - 4686/(-15). Suppose 43*g + r = 47*g. Is g a multiple of 6?
True
Suppose 34*b - 215273 + 26333 = -13*b. Does 10 divide b?
True
Let b = 4659 + -2495. Suppose 3*t - 1742 = -4*m + 6*t, -5*m = 3*t - b. Is 62 a factor of m?
True
Suppose -5*r + 10925 = 2360. Is r a multiple of 54?
False
Let j be 7/2 + 54/12 + -4. Suppose -3*g + 741 = -j*r, -5*g + 2*r + 3*r = -1235. Is g a multiple of 19?
True
Let a = -85 + 89. Suppose a*h - 267 = -3*c + h, -h = 3. Let u = c + -45. Does 13 divide u?
False
Let i(d) = -3*d + 7. Let l(w) = 3*w - 6. Let p(s) = 3*i(s) + 4*l(s). Let b be p(4). Let q(o) = o**2 - 8*o + 1. Is 2 a factor of q(b)?
True
Suppose 4*b + 19987 = 3*z, -963*z + 959*z + 3*b = -26647. Is 99 a factor of z?
False
Let l = -42 + 45. Suppose l = 2*b - 1. Is -1 + -1 + 110/(4 - b) a multiple of 22?
False
Suppose -1556 = -4*m + 2*q, -3*m = -4*m - 5*q + 400. Suppose 11*l - m = l. Is l a multiple of 11?
False
Let k = -20924 + 33486. Is k a multiple of 32?
False
Suppose -3*k + 26 = 4*i, -9*k + 6*k + 11 = i. Is 52 a factor of k*(3 + (-1242)/(-12))?
False
Let s(n) = 15*n**3 + 9*n**2 - 13*n - 5. Is s(8) a multiple of 4?
False
Let p = -276 - -270. Is 84 a factor of (-2696)/(-16) - (-3)/p?
True
Let w be (-18)/7*(1 + -8). Let b = -197 - -322. Let t = b - w. Is 26 a factor of t?
False
Let c(d) = d**3 - 21*d**2 - 17*d + 9. Let f(z) = -z**2 - 15*z - 22. Let i be f(-11). Does 7 divide c(i)?
True
Let h = -546 - -549. Suppose -64*x + 69*x = l + 1663, 6 = h*l. Does 11 divide x?
False
Let w(c) = c - 10. Let g be w(9). Let j be (-578)/(-1)*-2*g/4. Suppose 5*z = 86 + j. Does 15 divide z?
True
Suppose 0*u + 1 = 4*u - 3*x, -2*u - 4*x = -28. Suppose 0 = -4*m - n + 884, 4*n + u = 3*n. Is 16 a factor of m?
False
Let b(c) = 15*c + 750. Does 8 divide b(98)?
False
Let h(x) = 157*x + 15. Let b be h(5). Let u = 1137 - b. Is u a multiple of 39?
False
Let n = 5773 - -1702. Is 39 a factor of n?
False
Suppose -44*b = -2*r - 47*b + 375, r = 5*b + 194. Let w = 323 - r. Is w a multiple of 27?
False
Suppose -3*x - x = -n - 6, 0 = -5*n - 10. Is (2 + x - 649)*6/(-4) a multiple of 17?
True
Suppose -2*z + 16 = 6*z. Suppose -z = -7*x + 6*x. Suppose 1040 = 4*f - x*l, 2*f - 2*l - 490 = 30. Is 13 a factor of f?
True
Let z(x) be the second derivative of -11*x**3/6 + 44*x**2 - 86*x. Is z(-7) a multiple of 67?
False
Let z(i) be the third derivative of 7*i**4/24 + 7*i**3/2 - i**2. Suppose -2*g = 5*q - 50, -11*g + 39 = 3*q - 8*g. Does 7 divide z(q)?
True
Suppose 0*u - u = 3276 - 30380. Is 42 a factor of u?
False
Suppose -53137 = -3*q - 5*x, -4*x - 65410 = -3*q - 12318. Is 125 a factor of q?
False
Let j = 74 + -50. Let h be (-2)/((-64)/j) + (-174)/8. Let f = 33 + h. Is f a multiple of 3?
True
Suppose -76*m + 2164 = -72*m - 4*r, 4*m = -3*r + 2157. Does 10 divide m?
True
Let r = 363 - 345. Suppose -r*o = -29*o + 440. Is o a multiple of 20?
True
Let n(p) = 9*p**2 - 2 + 5 - 10*p - 2*p**2 - 3*p**2. Let f be n(9). Does 30 divide f - 5/(10/(-6))?
True
Suppose -553114 - 45821 = -167*s - 110961. Is 6 a factor of s?
True
Let q = 409 + -1327. Let i = q - -1748. Does 33 divide i?
False
Let v(j) = -26*j - 2. Let q(h) = h**3 + 2*h**2 - 5*h - 6. Let f be q(-3). Suppose 19*t - 16*t + 21 = f. Is v(t) a multiple of 31?
False
Let q(p) = -11*p**2 + 14*p + 66. Let n(k) = -2*k**2 + 2*k. Let c(w) = -5*n(w) + q(w). Is 7 a factor of c(9)?
True
Let b = -450 + 316. Is 62 a factor of b*(-1)/(-2)*-3?
False
Suppose -4*a - 28 = 3*x, 10 = -0*x - x - 2*a. Let g(h) be the second derivative of h**4/12 + h**3/3 - 6*h**2 + h + 7. Does 9 divide g(x)?
True
Let o be 80/40*(-1 + 10800). Suppose 55*i - o = 71462. Does 18 divide i?
True
Let f(o) = -38*o - 66. Let g be f(-14). Suppose 3*y + 4*q - 613 = g, 5*y + 2*q = 1775. Does 12 divide y?
False
Suppose 5*g - 3*z = -39, 4*g - z + 9 = -18. Let l be (g + 2 - -8) + 47. Suppose 0 = -5*t - 5*i + 245, i + 47 = 2*t - l. Is 3 a factor of t?
False
Let u be 3 - (5 + -11)/(-6). Suppose -w + 397 = d + u*d, 2*d + 402 = w. Does 16 divide w?
True
Suppose 0 = z + 2*z - 1929. Let k = 1931 - z. Is 14 a factor of k?
True
Suppose -14*q + 20*q - 486 = 0. Does 7 divide (504/32)/(-3 - q/(-24))?
True
Let w(z) be the first derivative of -z**4/4 - 8*z**3/3 - z**2/2 - 66*z - 100. Is 16 a factor of w(-10)?
True
Let i(d) be the first derivative of -d**4/4 + 3*d**3 + 5*d**2 + 4. Let y be i(10). Suppose y = 2*v + v - 117. Is 4 a factor of v?
Fal