r) - 6*l(r). Let b(n) = -2*t(n) + 7*y(n). Does 3 divide b(-7)?
True
Is -95*(-5704)/20 - 12 a multiple of 81?
False
Let g be (51/6 + -8)*0. Suppose -5*t = 5*h - g*t - 2665, 2*t + 527 = h. Is 71 a factor of h?
False
Suppose -2*l = 70 + 128. Is (l/(-6))/((-45)/(-480)) a multiple of 16?
True
Let h(i) = -121*i**3 + 2*i**2 + 155*i + 783. Is 21 a factor of h(-6)?
True
Let l be (-5)/(((-7)/28)/((-2)/(-8))). Suppose 2*t - l*o + 4*o = 128, t + o - 70 = 0. Is t a multiple of 11?
True
Is (-2)/9 + (-2822121)/(-729) a multiple of 30?
False
Let l = 417 - 291. Let g = 169 - l. Is 11 a factor of g?
False
Suppose 0 = -0*q + 5*q + 3*d + 1711, 338 = -q - 2*d. Let k = 391 + q. Is k a multiple of 5?
False
Let d be 9/(-12)*4 - -6. Is d/(-9) - (-1783)/3 a multiple of 22?
True
Let v(q) = -14*q + 4. Let y be v(-2). Suppose 23 - 6 = 2*o + 3*i, 5*o + 4*i - y = 0. Suppose 2*p - k - 105 = 2*k, 0 = 2*p - o*k - 104. Is 18 a factor of p?
True
Suppose -8*g + 11*g = 4*a + 282, -2*g - 2*a + 188 = 0. Suppose -144 - g = -2*p. Does 13 divide p?
False
Let t(i) = 1786*i**2 + 19*i + 10. Is 25 a factor of t(2)?
False
Let p be (-46)/(-11) - (-14)/(-77). Let i be (-16)/(-64) + (-1)/p. Suppose i = -m - 3*m + 196. Is 9 a factor of m?
False
Is (3/8)/((-21)/(-98))*(646 + -2) a multiple of 2?
False
Suppose -12*k + 9*k + 2*a + 9686 = 0, 3*a - 6 = 0. Does 17 divide k?
True
Let j be (18/4)/(4 + (-70)/16). Does 13 divide (-20588)/(-16) + (-3)/j?
True
Let k(o) = -o**3 + 3529*o + 0 + 7 - 3521*o + 3*o**2. Does 7 divide k(-4)?
False
Let g = 61 - 71. Is 10 a factor of ((-1255)/g)/(-3 + 1)*-4?
False
Let n(r) = -31*r + 1306. Is n(-17) a multiple of 47?
True
Let p = 17 - 15. Let f be (p/5)/((-2)/10) - -1. Let r(c) = 225*c**2 + 5*c. Is 20 a factor of r(f)?
True
Suppose 203*y - 221*y = -15174. Does 2 divide y?
False
Let b(o) = -18*o - 50. Let r = 38 + -45. Is 4 a factor of b(r)?
True
Let p(t) = 44*t**2 + 44*t + 80. Let b(i) = i**2 + 2*i + 1. Let r(a) = -24*b(a) + p(a). Is 21 a factor of r(7)?
True
Let m(v) = 79 + 33 - v**3 - 6*v**2 + 7*v**2 - 18*v + 19*v. Let k be m(0). Let n = k + -47. Does 48 divide n?
False
Let y(i) = 13*i**2 - 10*i. Let g be y(5). Suppose -80 = 2*a - 4*c, 0 = a - 10*c + 5*c + 52. Let u = a + g. Is 18 a factor of u?
False
Let s(t) = -t - 5*t + 2*t + 60*t**2 - 61*t**2 + 7. Let y be s(-5). Suppose -217 = -y*a + 3. Is 15 a factor of a?
False
Let x(c) = 15*c**2 - 25*c - 14. Let d(q) = 2*q**2 - 2*q. Let g(w) = 24*d(w) - 3*x(w). Does 6 divide g(-13)?
True
Suppose -9*h + 4*h = 0. Suppose -9*j + 8*j - 19 = h. Let f = j - -25. Is f a multiple of 6?
True
Let v(q) = -q**3 + 4*q**2 + 13*q - 2. Let r be v(6). Suppose -k = 2*t - 186, -r*k + 3*t = -0*t - 766. Is k a multiple of 22?
False
Let y = 34564 - -4753. Does 6 divide y?
False
Let f(j) = -184*j - 8. Suppose -12*x = -36*x - 48. Is 18 a factor of f(x)?
True
Let q(t) = 77*t**2 - 8*t + 7. Let g(b) = b**2 + 2*b - 2. Let x(w) = 2*g(w) + q(w). Let s = 1 - 0. Is 14 a factor of x(s)?
False
Let q = -207 - -1927. Suppose -7*d = d - q. Does 16 divide d?
False
Let h = 63 - 89. Let r be (30/(-10))/(4*(-15)/(-80)). Is (-39)/h + (-90)/r a multiple of 14?
False
Let v = -47 - -122. Let r be v + 4 + -2 + -7. Suppose -2*d + d = -r. Does 35 divide d?
True
Suppose -2*v + 3*o + 1685 = 0, v - 331 - 514 = 2*o. Let d be -4*3*v/(-10). Suppose g - 7*g + d = 0. Is 19 a factor of g?
False
Let h be (0 - -1)*(-1 + 409). Suppose -2*p + 2*l + 244 = p, 5*p - 3*l = h. Suppose -3*f + 236 = -5*d, 4 = -f + d + p. Does 7 divide f?
False
Does 43 divide ((-2496)/(-1456))/(2/55804*4)?
False
Is 16 a factor of (-5 - (-23)/4 - 41/12)*-1218?
True
Suppose 2*d - 123 = -9*n + 4*n, -3*d + 3*n + 195 = 0. Suppose 1340 = 26*g - d. Does 3 divide g?
True
Let b be (-1887)/15 + 1/(-5). Let x = -43 - b. Is x a multiple of 4?
False
Let l(n) = -118*n. Let d be l(1). Let j = 94 + d. Is 13 a factor of (-573)/(-9) + (-32)/j?
True
Let a(r) = 1087*r - 943. Is 8 a factor of a(9)?
True
Let i be 20*(-12)/(-12)*(0 - 1). Let l = 20 + i. Suppose l = 3*v, x + 5*v = -0*x + 27. Is 27 a factor of x?
True
Is 21 a factor of (-9)/1*(-89278)/98?
False
Let x = -533 + 29. Let v = x - -781. Let f = -163 + v. Is f a multiple of 38?
True
Let n(d) = 7*d**2 - 40*d - 172. Let g(r) = r**2 - r - 2. Let u(t) = 6*g(t) - n(t). Is 14 a factor of u(32)?
True
Let q(u) = -2*u - 40. Let p be q(-22). Suppose p*o - 13*o + 9 = 0. Is 1/o*(7 + 4) a multiple of 10?
False
Let t be (2 + 2 - 5)*75*-1. Suppose 3*u + 2*m - 170 = 0, u + 0*u = 3*m + t. Does 7 divide u?
False
Let z = 25309 + -705. Is 131 a factor of z?
False
Let k = 868 + -867. Does 8 divide 54 - (-8 + 5 + k)?
True
Suppose 6*c + 3521 = 719. Let l = 649 - c. Is 26 a factor of l?
False
Let p be (((-35)/(-6))/7)/((-2)/(-12)). Suppose 2*r + b = -3*r + 256, -4*r + 188 = p*b. Is 19 a factor of r?
False
Suppose -3 = 2*k - 9. Let a(n) = 7*n - 8. Let g(z) = -28*z + 33. Let m(x) = 26*a(x) + 6*g(x). Is 8 a factor of m(k)?
True
Let a be 31305/225 + 2/(-15). Suppose -7*q = -a - 414. Does 3 divide q?
False
Suppose -5*k + 7 = -3*v, 5*k - 30 - 7 = -2*v. Suppose 0 = 4*b + 3*p - 668, -5*p - v = 14. Is b a multiple of 9?
False
Is 4 a factor of -5 - -842 - (4 + (-4 - 3))?
True
Let g = 8 + -8. Suppose -3*m - 964 = -4*r, g*m + 5*r = 2*m + 645. Is 13 a factor of (-4 - m/(-28))*-7?
False
Let k(u) be the first derivative of u**4 - 4*u**3/3 + 3*u**2/2 - 3*u - 3. Does 6 divide k(3)?
True
Let v(a) = 7*a**2 + a + 161. Is 16 a factor of v(-21)?
False
Let g be (324/8 + -3)*(-4)/(-5). Let c(b) = g - 12 + 7*b + 19*b + 10. Is 20 a factor of c(5)?
False
Let n = 717 + -701. Suppose 23*k = n*k + 8064. Is k a multiple of 16?
True
Let h(f) = f + 15. Let k(a) = 2*a**3 - 2*a**2 - 6*a + 9. Let g be k(2). Is h(g) a multiple of 13?
False
Suppose 61*n = 30*n. Suppose 0 = -l - 2*p + 698, n = -4*l - 4*p + 1481 + 1327. Does 40 divide l?
False
Let d(u) = -13*u**2 + 228*u - 21. Is d(16) a multiple of 13?
True
Suppose 82*x - 7700 = 518904. Does 247 divide x?
True
Suppose 271 = -5*s + 61. Let a = s + 192. Is a a multiple of 4?
False
Suppose 3*p - 23022 = 4*g, 38348 = 12*p - 7*p - 3*g. Is p a multiple of 10?
False
Suppose -450*k = -729733 - 1117311 - 574406. Is k a multiple of 9?
False
Suppose 64866 = 33*u - 55983 - 98370. Is u a multiple of 6?
False
Let s(m) = 2*m**3 - 7*m**2 + 5*m - 1. Let p be s(4). Suppose -22*x = -11*x - 363. Let i = x + p. Is i a multiple of 11?
False
Let t = 236 - 307. Let s = -1 - 19. Let g = s - t. Is g a multiple of 17?
True
Let d be 16 - 3*2*(-5)/(-30). Let m = 15 - d. Suppose m = 14*y - 9*y - 925. Is 16 a factor of y?
False
Let w(d) = -d**3 + 46*d**2 + 49*d + 87. Suppose 66 = 2*m - 28. Is w(m) a multiple of 8?
False
Let a be ((-42)/(-8))/((-1)/12*-1). Let g be (237/2)/((a/(-12))/(-7)). Suppose -2*l = -2*x + l + g, -x = -l - 78. Is x a multiple of 38?
True
Let r be 28 + (1 - (-2)/(-2)). Suppose 0 = r*f + 3655 - 9535. Does 42 divide f?
True
Suppose -8*r - 523 = -99. Let j(t) = -t**2 - 14*t + 45. Let p be j(-15). Does 23 divide ((-3)/(p/28))/(r/4240)?
False
Let n(w) = 493*w**3 - 7*w + 5. Let v be 6 + (-1)/((-6)/(-30)). Does 18 divide n(v)?
False
Suppose -555 = -3*u - 192. Suppose -5*s + 3*y - 274 + 954 = 0, 3*y + 263 = 2*s. Let z = s - u. Does 18 divide z?
True
Let j = -18 + 19. Let w(s) = -8*s**2 - j - s**2 + 26*s**2 - 2*s. Does 16 divide w(2)?
False
Let t(f) be the third derivative of f**5/60 + f**4/4 - f**3/3 + 6*f**2. Let u be t(-7). Suppose -h + 4*v + 12 = 0, u*h - 165 = -2*v + v. Does 4 divide h?
True
Suppose -3*u + 5*s = -348, 3 = s - 0. Suppose -3*c = 3*j - 54, 4*j - 3*c - u = -28. Does 25 divide (-1 - -2)/(j/2100)?
True
Let i be 691 - ((5 - 1) + -3). Let d(c) = -c**3 - 690 + 4*c - 5*c**2 + i. Does 5 divide d(-6)?
False
Let k be ((-4684)/(-6))/(22/(-33)). Let a = 2016 + k. Does 48 divide a?
False
Let x be ((-26)/65)/(((-2)/(-5))/(-1)). Let c be 0*1*-2*x/(-4). Suppose c = -4*s - 33 + 197. Is 15 a factor of s?
False
Suppose 5*f - 4*t - 5354 = 0, -4*f + 37*t = 41*t - 4276. Is 15 a factor of f?
False
Let x = 1838 + -845. Suppose 12*i - 111 = x. Is 4 a factor of i?
True
Suppose 4*t - 5*q - 39 = 0, -t = 3*q - 5*q - 6. Suppose -t*z = -14*z - 1152. Suppose -z = -2*m - 6*m. Is m a multiple of 9?
True
Let t(a) = 24*a**3 + 3*a**2 - a. Let o be t(3). Suppose -3*z - 4*z = -o. Is z a multiple of 12?
True
Let m(o) = 