Let o(y) = 2*y**2 - 50*y - 47. Let k be o(26). Suppose 15 = -k*n, 7*m - 6*m - 2*n - 119 = 0. Is 32 a factor of m?
False
Let f(q) = -393*q - 1859. Is 13 a factor of f(-7)?
False
Let b = -917 - -630. Let l = b - -321. Is l a multiple of 4?
False
Let s(v) be the second derivative of -7*v**3/6 - 25*v**2/2 + 9*v - 1. Let q(w) = -2*w + 5. Let m be q(6). Is s(m) a multiple of 4?
True
Let v be 3*(1094/(-4))/((-18)/12). Suppose -19*w + v = -840. Is 3 a factor of w?
False
Suppose 6*i = 8*i. Suppose i = -0*m - 7*m. Suppose -h = m, 5*d + 6*h = 3*h + 200. Is d a multiple of 8?
True
Let t(s) = -9*s**3 - 27*s**2 - 86*s + 3. Does 4 divide t(-3)?
False
Let j(h) = 9*h - 44. Let d be j(6). Suppose 0 = 11*o - 100 - d. Is (12 + 2 + 0)/(2/o) a multiple of 14?
True
Let b = -42 + 45. Let t(z) = z**3 + z - 2. Let c be t(b). Does 19 divide 266/c*10/1?
True
Suppose -7*c + 53 = -17. Suppose -5478 - 4972 = -c*u. Is 95 a factor of u?
True
Suppose -618 = -9*j - 213. Is 3 a factor of j?
True
Suppose 3*a = 3*k - 384, 30*k - 29*k = -a + 132. Does 6 divide k?
False
Suppose 2*v - 5*i = -241, 0 = -5*v + 3*i + i - 560. Is 13 a factor of (2 - 1)*(-4)/(-1) - v?
False
Let y(v) be the third derivative of 1/24*v**4 + 0 + 0*v + 14/3*v**3 + v**2. Is 18 a factor of y(-9)?
False
Let v = 222 + -217. Suppose -v*w = -2*k - 3061, -4*k - 1831 = 7*w - 10*w. Does 15 divide w?
False
Let c(x) = 245*x**2 - 32*x + 90. Does 164 divide c(10)?
False
Suppose 379*s - 196826 = 362*s. Is s a multiple of 62?
False
Let x(a) = a**2 - 4*a + 6. Let r be x(3). Let v(f) = f**2 - f + 1 + 3*f**r - f - f**3 + f**3. Is 5 a factor of v(2)?
True
Let b(j) = j**3 - 4*j**2 - 3*j - 5. Let k be ((-9)/2 - -3)/(21/(-70)). Let i be b(k). Suppose 11*a = i*a + 954. Does 16 divide a?
False
Let d(b) = -b**2 + 12*b - 26. Let k be d(7). Suppose -5*c = -k*c + 2360. Is 25 a factor of c?
False
Suppose -5*v = -10*v + 25. Suppose 3*n - 15 = -2*x + v*x, -16 = -4*n + 5*x. Suppose 3*z = -n, -3*y + 348 + 105 = -z. Does 35 divide y?
False
Let k be 1/((5 + -4)*(-2 + (-524)/(-264))). Let y(w) = 39*w**2 - 4*w + 2. Let f be y(2). Let s = f + k. Does 21 divide s?
True
Let q be (-21 - -8) + -533 - -14. Let f be 13/2 - (-2)/(-4). Does 9 divide q/(-21)*f/4?
False
Let r = -264 + 87. Let g = 38 + -106. Let m = g - r. Does 32 divide m?
False
Let z(a) be the second derivative of -3*a**3/2 - 23*a**2 - 41*a + 2. Let r = -66 - -52. Does 8 divide z(r)?
True
Let s(f) = 112*f - 18. Suppose -189 + 199 = 2*r. Does 22 divide s(r)?
False
Is 52 a factor of (-14*(-69)/(-18))/(14/(-2191 + 7))?
True
Suppose -3*w + 2*v - 6 = -v, 16 = 2*w + 3*v. Let z(u) = -w*u - 11*u - 23 - u + 7*u. Is 11 a factor of z(-10)?
False
Suppose 2*n - 5*r - 3 = 3, 4*r = 2*n - 6. Suppose -n = -2*o - 3*o + 2*z, z + 3 = o. Let s(m) = -108*m + 2. Is 19 a factor of s(o)?
False
Let p(a) = 2*a - 6 + 5 + 277*a**2 - 2 + 0*a. Is p(1) a multiple of 54?
False
Is 10 a factor of (-247718)/(-16) + 720/128 + -6?
False
Let s be -1*2/(-4) - 90/(-12). Let y(w) = w**3 - 9*w**2 + 12*w - 4. Let o be y(s). Suppose -3*h = v - o, -3*v + 5*h - 180 = -8*v. Is v a multiple of 6?
False
Suppose -24*w = -26*w + 5144. Let j = -1824 + w. Does 55 divide j?
False
Let r be 4 + (-6 + 36)/5. Suppose 4*j - 138 = r. Is j a multiple of 5?
False
Let r be 3 - (-40)/(-2) - 2. Let f(g) = -g**3 - 19*g**2 - 5*g + 42. Does 21 divide f(r)?
False
Let k be (6/(-4))/((-5)/10). Suppose -3*h + k*y + 21 = 0, -2*y - 8 = -2. Suppose -o + 280 = h*o. Is o a multiple of 12?
False
Let b be 3/2*(-7 + (-11)/11). Is 13070*6/105 - b/(-14) a multiple of 14?
False
Let g(t) = 2*t + 9. Let j be g(0). Let a be ((-18)/135 - 8/(-10))*j. Suppose 52*o + a = 53*o. Is o a multiple of 5?
False
Let d(z) = -2*z**2 - 20*z + 4. Let p be (8/(-5))/4 - (-1056)/15. Suppose -4*n - p = 3*n. Is d(n) a multiple of 3?
False
Let d(n) = 126 + 11*n - 347 + 220. Let p be (5/(-2))/(2/(-4)). Is 21 a factor of d(p)?
False
Suppose -48*x = -87*x + 2145. Is 176/x*(1 - -229) a multiple of 23?
True
Let y = 785 - 783. Suppose -y*t - 4*g = -382, 0 = -3*t + g - 5*g + 573. Is t a multiple of 3?
False
Suppose 7341*o - 40040 = 7315*o. Does 70 divide o?
True
Let q(r) = 12*r**2 + 67*r + 1296. Is q(-35) a multiple of 17?
True
Suppose -81 + 351 = 5*d. Suppose -12*m - d = -15*m. Is 3 a factor of m?
True
Let v be 6*(1 - -2)*(-4)/(-12). Let k be (-30)/4*4/v. Does 4 divide (-2)/(-4)*(-4 + 105 + k)?
True
Let q be (-24)/(18/(-3)) + (3 - -48). Suppose -g + q + 15 = 4*z, z - 105 = -2*g. Does 7 divide g?
False
Let q(f) = -2*f - 6 + 3*f + 3*f**2 + 2*f. Let b be q(2). Let y(c) = c**2 - 11*c + 2. Is 2 a factor of y(b)?
True
Does 13 divide 94/(-658) - (-9374)/7?
True
Let m(r) = -r**2 - 4*r - 46. Suppose -4*k + 113 - 81 = 0. Let b be m(k). Let v = -19 - b. Is 5 a factor of v?
False
Suppose -l = 3*l - 4*w, 0 = -l - 3*w - 16. Does 61 divide -183*l/6*9/6?
True
Let i(k) = 512*k**2 - 287*k + 1156. Is i(4) a multiple of 8?
True
Suppose -12*c - 1757 = -38609. Is c a multiple of 42?
False
Suppose -175273 = -34*l - 32*l + 10055. Is 85 a factor of l?
False
Let j(b) = -405*b + 5. Let v be j(-2). Let y = 1266 - v. Suppose -8*o + 37 = -y. Is o a multiple of 30?
False
Suppose -146 - 742 = -t. Let i = -363 + t. Suppose 6*h - 531 = i. Does 8 divide h?
True
Let x be (((-13)/39)/((-2)/(-156)))/(-2). Suppose -7*j - 2646 = -x*j. Is j a multiple of 21?
True
Let y be (-3294)/(-324) - (-2)/(-12). Is 2 a factor of 876/y + 6 + 198/(-30)?
False
Let s = -43 - -52. Let k(l) = l**3 - 13*l**2 + 13*l + 8. Let a(i) = -3*i**2 + 3*i + 2. Let t(f) = s*a(f) - 2*k(f). Is 22 a factor of t(-3)?
True
Suppose -5*f - 13*f = -954. Suppose 40*z = f*z - 2808. Does 10 divide z?
False
Let c(k) = k - 1. Let q(z) = 4*z - 25. Let g be q(7). Let r be c(g). Suppose -4*l = -r*l + 5*p - 237, 5*p + 5 = 0. Is 12 a factor of l?
False
Suppose -2259*t - 10836 = -2263*t. Is 4 a factor of t?
False
Let f(s) = 2*s**2 - 6*s - 12. Let j be f(9). Let x = j - 86. Suppose -9*n + x*n = 34. Is n a multiple of 13?
False
Suppose 4*c = -2*o + 23768, 3803*c = 3805*c - o - 11876. Is 36 a factor of c?
True
Let w = -752 - -1312. Let o = -296 + w. Suppose 2*l - 6*l = -o. Is l a multiple of 11?
True
Let o(i) = -i**3 - 67*i**2 - 60*i + 587. Is o(-68) a multiple of 57?
True
Let f be (-8)/20 - (12/10)/(-3). Suppose -2*b + 216 = 4*o, f*o = -2*o - 4. Suppose 2*i - 5*i + 2*y = -54, 5*i + 4*y = b. Does 4 divide i?
True
Suppose 2*c - 4*x - 2512 = 0, -2*x + 3774 = 3*c - 6*x. Suppose c*y + 190 = 1264*y. Is 11 a factor of y?
False
Suppose -2*q + 5544 = -3*v, 252 = 3*v + 234. Is 18 a factor of q?
False
Let l be -3 - (21/(-1) + -1). Suppose 0 = -l*z + 24*z - 65. Is (30/4)/(z/26) a multiple of 15?
True
Let h(j) = -345*j + 12 + 170*j + 176*j. Let k be h(-10). Suppose -3*m - 136 = -k*z + m, -4*m + 44 = z. Is z a multiple of 15?
True
Let m = 40 - 33. Suppose -2 = -3*b + m. Suppose -5*w + b*w = -82. Does 30 divide w?
False
Let z be 0/(2/((-88)/20 + 4)). Let k = 2 + 0. Suppose 0 = -z*g - k*g + 54. Is g a multiple of 3?
True
Let p = -2013 + 4173. Suppose p = 14*r - 4*r. Is r a multiple of 7?
False
Let m(s) = s - 9. Let g(y) = -y + 10. Let l(f) = 4*g(f) + 3*m(f). Let h be l(10). Let u = h + 18. Is u a multiple of 16?
False
Suppose -5 = v - 35. Does 25 divide (4/2 - -2)/(v/1500)?
True
Suppose -45595 - 47295 = -14*s. Suppose -17*y = -s + 1773. Is y a multiple of 24?
False
Suppose -50*y + 471085 + 2772965 = 0. Is y a multiple of 267?
True
Let t(s) = -s**2 - 16*s + 97. Let g be t(6). Suppose -513 = -6*h + 3*h. Does 2 divide 14/g - h/(-15)?
False
Let z(b) = -47*b**2 - 2*b**3 + 21 + 33 - 19 - 22*b. Does 2 divide z(-23)?
True
Let r = -16851 + 24768. Is r a multiple of 36?
False
Let j = 22989 + -12759. Is 12 a factor of j?
False
Let h be (7 - 6/2 - 4)/3. Suppose -17*t = -3*p - 16*t + 380, h = 4*t + 8. Does 18 divide p?
True
Let p = 43079 + -7570. Does 146 divide p?
False
Is 61 a factor of ((-123182)/(-17) - -13) + -15?
False
Suppose 0 = h + 9, 4*h - 73998 = -5*b + 8096. Is 10 a factor of b?
False
Let v(d) = -2*d**2 - 21*d + 26. Let a be v(-12). Is (a/(-3))/((-9)/(-351)) a multiple of 37?
False
Let i be -8 + -3 + 6 + -4. Suppose 0 = 4*u - 15 + 23. Is 11 a factor of (-13 - u)/(i/(-2) + -5)?
True
Let u = -258 - -577. Suppose 2*n + 5*o = u, -6*o + 754 = 5*n - 8*o. Is n a multiple of 8?
True
Let p(j) = -j**2 + 13*j + 50. L