 a*g - 5*g + 78. Does 9 divide g?
False
Let d(h) = h**3 + 14*h**2 + 21*h + 21. Does 4 divide d(-12)?
False
Let b(i) = 2*i + 15. Does 5 divide b(26)?
False
Let o = 15 - 10. Suppose o*m = 134 - 34. Is ((-24)/m)/(2/(-65)) a multiple of 13?
True
Does 16 divide ((-36)/15)/((-2)/40)?
True
Let x(v) = v**3 - 6*v**2 + 2*v - 1. Let n(b) = b**2 + 9*b + 4. Let i be n(-9). Let o be x(i). Let r = 40 + o. Does 6 divide r?
False
Is (-1 + 4 + 355/10)*2 a multiple of 8?
False
Let f(d) = -d**2 + 16*d + 10. Let b be f(15). Is (10/b)/(2/130) a multiple of 23?
False
Suppose 0 = -t + 6*t - 90. Let g = t + 0. Is g a multiple of 8?
False
Suppose -x - 10 = -3*x. Suppose x*h - 4*h = 4*k - 9, -6 = -2*h + 2*k. Let m = h + -2. Is 4 a factor of m?
False
Let b(r) = -r**2 - 7*r - 3. Let g be b(-6). Let h(x) = -x**g + 2 - 4*x**2 + 0*x + 0*x. Is h(-4) a multiple of 2?
True
Suppose -13*b - 5*b = -2736. Does 38 divide b?
True
Suppose -w - 45 = 37. Let r = -51 - w. Is r a multiple of 16?
False
Let g(w) = w**3 + w**2 - 4*w + 3. Let j be g(2). Let n = 17 - j. Is n a multiple of 10?
True
Suppose 69 = 2*h + 13. Does 21 divide h?
False
Let u = 16 - 10. Let k = 18 - u. Let y = k + -5. Is y a multiple of 2?
False
Let y(c) = 4*c**2 + 9*c + 3. Is 4 a factor of y(-3)?
True
Let y(w) = w**2 + 11*w + 9. Suppose 0 = 5*z + 5*i + 45, 3*z + 2*i = -z - 34. Let l be y(z). Let q = l + 36. Does 6 divide q?
False
Suppose -2*h - 8 = 3*w - w, 5*w = -3*h - 14. Let m be (0 - -1) + h + 9. Suppose 0 = -2*v + 13 + m. Does 10 divide v?
True
Let z be (-6)/4*(-4)/(-3). Let k be 1 - z*(2 - -2). Let o = k + 17. Is 13 a factor of o?
True
Let m(j) = 2*j**2 + 5*j - 1. Suppose 2 = -2*h - 8. Let w = h + 1. Is m(w) a multiple of 6?
False
Let m(r) be the first derivative of -r**4/4 + 10*r - 3. Let h be (0/2)/((-4)/2). Is m(h) a multiple of 10?
True
Let t(u) = 4*u**3 - u**2 + 1. Let l(g) = g**2 + g - 1. Let d be l(-2). Let v be t(d). Suppose 20 = v*q - 3*q. Is 19 a factor of q?
False
Let w(m) = -4*m - 1. Let b be w(-1). Suppose -b = v - 6. Is 7 a factor of (-10)/v*48/(-10)?
False
Let k be (-689)/(-3) + 4/12. Suppose 4*j - 152 = -3*x, -x - 4*x + k = 2*j. Is 22 a factor of x?
True
Let i = 0 + -7. Let z = 16 + i. Is z a multiple of 3?
True
Let y(l) = -l**3 - 3*l**2 + 5*l + 1. Does 7 divide y(-5)?
False
Suppose 8 = -6*u + 2*u, 3*n = -2*u - 4. Suppose n*d + 2*d = 0. Is 2 + (-1)/(d + -1) even?
False
Let t(y) = y**2 - y. Let u = -4 + 6. Does 2 divide t(u)?
True
Suppose -5*v - 241 = -4*z + 84, 328 = 4*z - 4*v. Is 12 a factor of z?
False
Let r = -168 - -111. Let d = -17 - r. Is d a multiple of 9?
False
Let v = -688 - -1099. Is v a multiple of 27?
False
Let x(n) = -n**2 - 11*n + 6. Is x(-9) a multiple of 24?
True
Let y be (1 + -1)*1/2. Suppose 4*f = -y*f + 132. Does 11 divide f?
True
Let t = 132 - 79. Let r = -32 + t. Is 6 a factor of r?
False
Suppose 0 = -5*p + 5*s - 2*s + 454, 0 = 5*p - s - 458. Let l = -47 + p. Is 31 a factor of l?
False
Let k = 10 + 0. Let n be 25/k*(-8)/(-10). Suppose -n*w - 5*x + 123 = 0, -2*w - 4*x + 282 = 3*w. Is w a multiple of 19?
False
Does 15 divide (-2)/4 - 310/(-20)?
True
Let m be (-17)/(-4) - (-3)/(-12). Suppose 0 = -2*k + m*i + 22, -4*i + 1 = 4*k + 5. Suppose t = k*o - 63, 4*o - 24 = 4*t + 60. Is o a multiple of 14?
False
Is 9 a factor of (-2)/2 + 66 + -2?
True
Let t = 288 - 194. Is 11 a factor of t?
False
Let y be (-2 + -6)*3/1. Let j be (-90)/y + 2/8. Suppose -b + 4*b = 12, -5*b = j*h - 68. Does 4 divide h?
True
Let f(v) = v**3 + 27*v**2 + 25*v + 17. Does 8 divide f(-26)?
False
Suppose 66 = 3*m - m. Suppose 5*v = 4*o - m + 146, v = 3*o + 27. Does 7 divide v?
True
Is 8 + 378/(-49) + 2026/14 a multiple of 44?
False
Let p = 9 - 5. Suppose -3*n + 0*z - 2*z - 4 = 0, 0 = -2*z - p. Suppose n*g - 80 = -4*g. Is 10 a factor of g?
True
Suppose -2*t - 2*t = -132. Is t a multiple of 19?
False
Let k = 10 + 14. Does 24 divide k?
True
Is 5/((-100)/(-8))*20 a multiple of 6?
False
Let o(u) = -u**3 + 5*u**2 + 9*u - 8. Let b(y) be the second derivative of -y**3/6 + y**2/2 + 2*y. Let p be b(-5). Does 10 divide o(p)?
True
Let m be (-2 + 3/2)*12. Let c = 11 + m. Suppose c*s - 12 = s - 3*z, 2*s - 6 = -5*z. Does 3 divide s?
True
Let h(w) = -w + 3. Let n be h(4). Let a be 2 - n/(-3)*0. Suppose -3*i + 14 = -2*v - 14, v + 17 = a*i. Does 3 divide i?
True
Let o(w) = w**3 + w + 38. Does 32 divide o(0)?
False
Let d = -6 - -7. Does 9 divide d/(2*3/66)?
False
Let a(n) be the first derivative of n**4/4 - 2*n**3 - 5*n**2/2 + 1. Let i be a(7). Let y = 24 - i. Does 9 divide y?
False
Let o = 113 - 65. Is 12 a factor of o?
True
Suppose 0 = c - 4 + 9. Let l(z) = -z**3 - 3*z**2 + 2*z - 4. Does 12 divide l(c)?
True
Let p = 32 + 13. Does 15 divide p?
True
Let k(l) = -l**3 + 6*l**2 + 6. Let i be k(6). Let h(f) be the third derivative of f**6/120 - f**5/10 + f**4/8 - f**3/6 - 3*f**2. Is h(i) a multiple of 5?
False
Let j = -4 + 6. Let r be (-1)/((15/6)/(-5)). Suppose -2*m - 22 = -j*y, -r*y + 4 = -3*m - 21. Does 4 divide y?
True
Suppose 2*d - 90 = 2*o - 7*o, 2*o - 3*d - 17 = 0. Is o a multiple of 16?
True
Suppose 4*y - 8 = -0*y. Suppose 0 = 4*v - y*v - 10, -5*v + 49 = h. Is h a multiple of 8?
True
Suppose 3*j + o - 20 = -j, j - 5 = -2*o. Suppose j*m - 70 = 70. Does 10 divide m?
False
Let s = -116 + 250. Let p = s + -83. Is 13 a factor of p?
False
Let z(p) = -p**3 - 8*p**2 + p + 5. Let v be z(-8). Let m be (1 - 7)/(v/2). Let f(q) = q**2 - 2*q + 5. Is f(m) a multiple of 13?
True
Let x be 18/2*(-1)/(-3). Suppose 0*j + x*j = 78. Is j a multiple of 11?
False
Let h(p) = -p**3 + p**2 + 7*p + 2. Is 10 a factor of h(-5)?
False
Let s be -4 - -6 - (0 - 2). Let m be (-2 + -6)*2/s. Is 18 a factor of -2 + m/((-4)/45)?
False
Suppose 0 = -5*a + 2*g + 284, 2*g + 119 = 2*a + 3*g. Is a a multiple of 14?
False
Let h(p) = 11*p - 3. Let v(o) = 12*o - 3. Let t(r) = 6*h(r) - 5*v(r). Let g be 7 - 0 - 12/4. Is 9 a factor of t(g)?
False
Let x be 2/(3/(-18)*-4). Suppose 0 = -4*j + x*b + 11, 5*j - 2*b - 16 = 3. Is 5 a factor of j?
True
Let p be 45/12 + (-6)/8. Suppose 14 = -3*g - p*r + 8*r, 5*g + r + 14 = 0. Let w = g + 13. Does 10 divide w?
True
Suppose 4*s = 258 + 150. Does 29 divide s?
False
Let u(v) = v + 6. Let p be u(9). Let m be 12/(-10)*(-50)/p. Suppose 0*l + l = 2*d + 9, 48 = m*l - 5*d. Is 12 a factor of l?
False
Let v = -30 - -65. Let p = -56 + v. Is 10 a factor of -1 - (p - (2 - 2))?
True
Let t = -31 + 48. Suppose t = 3*q + 2. Suppose -4*m = -2*l - 58, 4*m - q*l + 0*l = 73. Is m a multiple of 6?
True
Let b(h) = -h**2 + 10*h - 12. Let t be b(8). Suppose -2*p + 106 = x, 5*x + 0*x + 5*p - 555 = 0. Suppose -4 = t*w - x. Does 11 divide w?
False
Let j(r) = -r**2 + 15*r - 12. Does 16 divide j(11)?
True
Suppose -2*n - 17 = -f - 3*n, 0 = 5*f + 2*n - 82. Is f a multiple of 4?
True
Suppose 0 = 4*w - 103 - 365. Does 38 divide w?
False
Suppose 5 = 4*f + 21. Let r = -2 - f. Suppose -2*c = r*c - 16. Is 2 a factor of c?
True
Let w = -10 + 12. Suppose 0 = s - 6 - w. Is s even?
True
Let s be 2/(3 + (1 - 2)). Let o be (0/(-4))/(s - -1). Suppose o = 3*j - 15, 4*q - 3*j + 3 = 12. Is 3 a factor of q?
True
Let r = -56 + 95. Is r a multiple of 13?
True
Suppose 2*z + 6 = 5*z. Suppose 0 = z*q - 5*f - 68, -q + 228 = 4*q + 2*f. Is q a multiple of 13?
False
Let o = -11 + 11. Let f be (-2)/(-4)*o/8. Let d(r) = -r**2 - r + 17. Is d(f) a multiple of 7?
False
Suppose w - 22 = 4*x, 0*w + 30 = 5*w - 4*x. Let z(n) = -n**2 + n + 2. Let p be z(w). Suppose p*s - 3 = -s. Is s a multiple of 2?
False
Let p(l) = l**3 - 13*l**2 + 3*l - 15. Suppose -2*s = -8 - 18. Is p(s) a multiple of 10?
False
Suppose -y + 0*y = -72. Suppose -33 - y = 5*o. Let b = 34 + o. Is b a multiple of 5?
False
Suppose 4*s - 2*o - 3*o = 37, 2*o + 4 = -2*s. Let l be 1/s - 674/6. Does 7 divide (l/10)/4*-5?
True
Suppose 4*j + 1 = 29. Let h(z) be the third derivative of z**6/120 - z**5/10 - z**4/4 - z**3/6 - 2*z**2. Does 4 divide h(j)?
False
Let y = 142 - 91. Does 17 divide y?
True
Let m = 27 + -19. Is 6 a factor of m?
False
Is (-4)/16 - 146/8*-5 a multiple of 10?
False
Suppose -3*y + 4*y + 6 = 0. Let h be (-63)/y*(-20)/(-3). Suppose -2*o + h = 3*o. Is o a multiple of 6?
False
Suppose -o = -2*o + 6. Suppose -5*q = -2*m - 57, q - 5*m - 22 = -o. Is 3 a factor of q?
False
Let r be (-10)/75 + (-484)/(-30). Suppose -6 = c - 5*j, 0 = -5*