i) = 7*i**3 + 9*i**2 + 15. Let w = 93 - 89. Is 11 a factor of b(w)?
False
Let x(t) = -6*t**2 + 162*t - 4. Let r be x(27). Does 2 divide r*(2 + 3)*2/(-4)?
True
Suppose -31*b = -33*b + 1708. Let k = -377 + b. Does 7 divide k?
False
Let u(k) = -992*k + 2946. Is 46 a factor of u(-7)?
True
Suppose 2*j = -5*j. Suppose 7*c - 902 - 2262 = j. Does 15 divide c?
False
Let q = -76 - -201. Is (-5*(-60)/q)/((-3)/(-30)) even?
True
Let b be 9 + -8 + 5 + 3/(-1). Suppose -4*r - b*p = -244, 61 = -0*r + r + 4*p. Does 4 divide r?
False
Let b(z) = 67*z - 4. Let u be (-8)/14 - (-50)/14. Let p be b(u). Suppose 0 = 3*w - 379 - p. Does 32 divide w?
True
Suppose -12 = -3*a - 2*i + 5*i, 2*i = -a + 7. Suppose a*j - 2429 = -4*y, 3*y + 2422 = -10*j + 15*j. Is j a multiple of 45?
False
Let y(c) = -12*c + 3. Let m be y(-3). Let r = m + -37. Suppose 0 = -0*i + r*i - 32. Does 3 divide i?
False
Let g = -1437 - -997. Let n = g + 226. Let s = -106 - n. Is s a multiple of 12?
True
Suppose 8*t = -5*n + 12*t + 117925, 188697 = 8*n - 3*t. Is n a multiple of 18?
False
Suppose 0 = -u - 3 + 9. Let y(n) = -n**3 - n**2 + n. Let q(r) = -7*r**3 - 22*r**2 + 28*r + 1. Let x(l) = u*y(l) - q(l). Is 20 a factor of x(-17)?
False
Let g = 519 + -517. Suppose -g*j + 2366 = 3*k, 4*k = 5*j + 2300 + 824. Does 26 divide k?
False
Let j(p) = -p + 2. Let h(n) = -8*n + 63. Let l(v) = 3*h(v) + 6*j(v). Is l(-20) a multiple of 7?
False
Let p(w) = w**2 + 6*w + 2. Let k be p(-7). Suppose -k*o + 12*o + 186 = 0. Let s = -8 - o. Is 18 a factor of s?
True
Let n be 1/(-5) + (6 - (-2972)/10). Suppose -5*z - q = -807, -29 - n = -2*z - 5*q. Is z a multiple of 6?
False
Is 58 a factor of (5307/244)/((-9)/(-1176))?
True
Suppose -187*a = -173*a - 113988. Does 16 divide a?
False
Let y = 183 - 145. Suppose 0 = y*p - 31*p - 1344. Does 4 divide p?
True
Let q(g) = -g - 5. Let o be q(-8). Let x be (o/9 - 0) + 308/12. Suppose -x = -2*n + k, -5*n - 5*k = -8*n + 46. Is 12 a factor of n?
True
Let h(s) be the third derivative of 8*s**5/15 + s**4/6 - s**3 + 16*s**2. Let a be h(2). Suppose -2*i = -i - a. Does 17 divide i?
False
Let t(g) = -2*g - 3. Let b be t(0). Let r be (b/9)/((-1)/6). Does 12 divide 48 - (2/(-1) + r)?
True
Suppose 5*a = -l + 73, -3*a - 35 = -6*a - 5*l. Is (1782/a)/((-21)/(-70)) a multiple of 33?
True
Suppose 4710 = 285*d - 275*d. Does 12 divide d?
False
Let h(x) = 2*x - 20. Suppose 0*a + a = 10. Let o be h(a). Suppose -3*b = -o*b + 2*q - 256, 2*b - 162 = 3*q. Does 21 divide b?
True
Let h = -24047 - -41767. Is 20 a factor of h?
True
Suppose 4*q - 17 = 3*n, 0*n + 27 = 2*n + 5*q. Let u be (4/2 - n)/((-10)/1250). Let a = 181 + u. Is 30 a factor of a?
False
Suppose -11*k = -2430 - 16765. Suppose -k - 1555 = -12*o. Does 25 divide o?
True
Let p(k) = -k**2 + 6*k - 13. Let c be p(11). Let h = 548 + c. Does 35 divide h?
False
Suppose 2*q - 3*x - 6895 = 0, 2*x = -590*q + 587*q + 10375. Is q a multiple of 42?
False
Let r(v) = -4*v + 5*v + 2*v**3 - 5*v**3 + 3*v**2 - 4. Let t be r(2). Let i = 95 + t. Is 27 a factor of i?
True
Let a(m) = 86*m**2 - 74*m - 192. Is 82 a factor of a(-15)?
False
Let z be 6/(-1*(-9)/(-12)). Does 12 divide (-80)/42*(-18)/z*-28?
True
Let u be 1*(1 + -5 + 7). Let g be 3*((-10)/u - -3). Does 25 divide g*(2 + -7)*10?
True
Let f(w) = -3*w**3 + 2*w**2 + 9*w + 9. Let k be f(-2). Let r = 66 + -28. Let p = r - k. Does 5 divide p?
True
Let j be (-3)/(-6) - (2636/(-8) + -4). Let x = 304 + j. Is 62 a factor of x?
False
Let s be 1 + 2*(1 - 2). Let f be ((-40)/1)/(-2 - s). Is f - ((4 - 4) + 4) a multiple of 13?
False
Let r = 4 + -4. Suppose -177 = -38*n - 25. Suppose 816 - 258 = n*q - 2*a, r = -4*q - a + 543. Is q a multiple of 9?
False
Let v(j) = -29*j**3 - 2*j**2 + 3*j - 2. Let z be v(1). Let g = 42 + z. Does 10 divide (-63)/(-6) + (-6)/g?
True
Suppose g - 10812 = -3*k, -53982 = -5*g - 11*k + 9*k. Is g a multiple of 14?
True
Suppose -4*m + 2*o = -m - 10640, -o = -2*m + 7092. Let c be 6/14 + m/28. Suppose -c*w + 952 = -120*w. Does 7 divide w?
False
Let f = 35087 - 10096. Is f a multiple of 177?
False
Let s(o) = 22*o**3 - o - 2. Let z(w) = -w**2 - 7*w + 4. Let d(g) = g**2 + 8*g - 4. Let h(x) = -2*d(x) - 3*z(x). Let f be h(1). Is 14 a factor of s(f)?
False
Let m(s) = 383*s**2 - s + 1. Let a be m(1). Let x = a - 173. Is x a multiple of 31?
False
Suppose 1097*h - 2996 = -3*i + 1102*h, 4*i + h - 4010 = 0. Does 3 divide i?
True
Does 40 divide 27/(-12) - -3 - 28764/(-48)?
True
Let b be -10 - -6 - (0 - (-330)/(-1)). Suppose -5*l - b = -n, 4*n - 1600 + 326 = 5*l. Suppose 4*r - 3*j = -6*j + n, -2*r + 3*j + 140 = 0. Is r a multiple of 12?
False
Suppose -2*s + 29 = -9. Suppose -n + 3*j = 5*j - s, -2*j + 41 = 3*n. Suppose m - n = -2*p + 30, 3 = -m. Is 4 a factor of p?
False
Is 14 a factor of ((-1)/((-1)/(-42)))/(306/(-105672))?
True
Let l(c) = 10*c - 9. Let y be l(10). Let f = 47 - y. Let x = f - -81. Does 8 divide x?
False
Suppose 3*z = r - 18026, -3*r - 3*z + 64117 = 9967. Is 13 a factor of r?
True
Let n(x) = -2*x**2 + 59*x + 35. Let b be n(30). Is 5 + 0 - (b + -582) a multiple of 40?
False
Suppose -5*h + 8922*u = 8918*u - 65587, 8 = 4*u. Is h a multiple of 24?
False
Suppose 4*v - 104661 = -3*r - 22152, 4*r - 4*v = 109984. Is r a multiple of 127?
False
Suppose -20*g = -28*g + 80. Let b(j) be the third derivative of j**5/60 - 5*j**4/12 + 7*j**3/3 + j**2. Does 3 divide b(g)?
False
Let y(m) = -16*m**2 + 2*m - 2. Suppose -8*n - 31 = -3*n - 4*z, -3*z - 3 = 5*n. Let j(v) = -v + 1. Let f(o) = n*j(o) - y(o). Is 35 a factor of f(-3)?
True
Let t = 62 + -59. Suppose h - 118 = -5*j, 3*j - 78 = t*h - 6*h. Is 14 a factor of j?
False
Let q(f) = -f**3 + 13*f**2 - 6*f + 12. Suppose m = 4, -m = -s - 3 + 9. Is 28 a factor of q(s)?
True
Let k(s) = -s - 34. Let v be k(-13). Is (39/2)/(v/(-28)) a multiple of 12?
False
Let m = 78 - 78. Let k = m - -120. Does 3 divide 16/k - 583/(-15)?
True
Let h(u) = 3*u + 8. Let g be h(6). Let k be (0 + -2)*(4/(-1))/2. Is 17 a factor of 1196/g - -1*k?
False
Suppose -40*n + 37*n - 2*p + 191 = 0, -3*n + 3*p + 186 = 0. Suppose 3*h - n = 5*v, -4*v = 3*h - 133 + 43. Is 2 a factor of h?
True
Suppose 2*r = r - 4*j - 12, -4*r - 14 = -j. Let x(q) = -2858*q - 2847*q - 17 + 5692*q. Is 35 a factor of x(r)?
True
Suppose 13*p - 16*p + 1245 = 0. Let g = 1158 - p. Is g a multiple of 54?
False
Let t = -57 - -60. Suppose -t*c + 28 = -2*f, -20 = -2*f - 3*f. Suppose -4*s = 4*g - 208, -5*s + g + 302 = c. Is 11 a factor of s?
False
Let z(n) = 26*n + 5. Let c be z(2). Let s = -60 + c. Is 136 - s - (0 - (3 - 2)) a multiple of 14?
True
Let m(q) be the second derivative of -q**5/20 + 2*q**4/3 - 4*q**3/3 - 9*q**2 - 6*q. Let y be m(6). Suppose y*x + 20 = 224. Is 14 a factor of x?
False
Let c(d) = 121*d - 2. Let o(m) = 11254*m - 187. Let h(n) = 187*c(n) - 2*o(n). Let b be h(-2). Is b/(-4) + (-6)/(-4) a multiple of 7?
False
Suppose -2*m = f - 3 - 3, -m - 4*f = -10. Suppose 3*b = 2*b + m*b. Suppose -2*h + 54 = 5*u, -2*u - 2*h + 23 + 1 = b. Is u a multiple of 10?
True
Suppose 3*q + 18 = 4*h - 2, -3*h - 19 = 2*q. Let c = q + 25. Is c even?
False
Suppose -5*h = m - 790, -5*m = -3*m + 2*h - 1548. Suppose 20*b = 10*b + m. Is b a multiple of 17?
False
Does 10 divide ((-97882)/(-436))/((-2)/(-10)) + (-1)/2?
False
Suppose -4*p + 33 = -395. Let a = p + -105. Suppose -a*j + 57 = -33. Is 15 a factor of j?
True
Suppose -5*d + p + 32 - 11 = 0, 0 = -2*d + 4*p - 6. Let s(x) = 2*x**3 - 6*x**2 - x - 1. Let c be s(d). Let r = c + -58. Does 4 divide r?
True
Is 6 a factor of (1220/80)/61 - (-1431)/4?
False
Suppose 248*w + 39*w = 1015980. Is w a multiple of 15?
True
Let u(x) = -x**3 - 12*x**2 + 26*x - 18. Let o be u(-14). Is 875/o + (-1)/(-2) a multiple of 44?
True
Suppose 167*n = 170*n - 18. Suppose 77 + 259 = n*x. Is x a multiple of 23?
False
Let o(q) = -2*q**3 + 47*q**2 - 8*q + 60. Let g(b) = -b**3 + 24*b**2 - 4*b + 30. Let n(t) = -5*g(t) + 3*o(t). Is n(20) a multiple of 14?
True
Suppose 435817 + 393239 = 64*n. Is 127 a factor of n?
True
Let t be (-30)/6*1 - -66. Let v = t - -111. Is v a multiple of 31?
False
Is (32/(-2))/((-11 - 235/(-20))/(-888)) a multiple of 16?
True
Let h(y) = -y**3 + 3*y**2 + 3*y - 7. Let n be h(6). Let r(c) = 22*c**2 + 6*c + 5. Let x be r(2). Let j = n + x. Is j a multiple of 4?
True
Let w = 21422 + -11007. Is 69 a factor of w?
False
Let