t z(l) = 4*l - 5. Let r be z(-3). Let d(q) = -q**3 - 18*q**2 - 18*q - 9. Does 2 divide d(r)?
True
Suppose 8 = 4*c - 4. Let q(d) = -d**2 + 4*d. Let v be q(c). Suppose v*y = 2*y + 14. Does 14 divide y?
True
Let a = -223 + 157. Let m = -26 - a. Does 5 divide m?
True
Let r(n) = -n**2 - 12*n - 18. Let l be r(-10). Suppose -3*g - 99 = y - 354, 0 = -l*y + 3*g + 483. Is y a multiple of 41?
True
Let n = -722 - -1876. Is n a multiple of 6?
False
Suppose -5*l = 10 + 5, -4*x = 5*l + 15. Suppose x*k = 3*k - 12. Suppose 0*m = -k*m + 160. Does 10 divide m?
True
Suppose 3*m - 24 = 15. Is -1*m*(3 + -4)*1 a multiple of 13?
True
Is 623 + 3/18*6 a multiple of 24?
True
Suppose -82 = u - 4*n, -212 + 75 = 2*u + n. Does 12 divide (-8)/(-10) + (-4984)/u?
True
Let u(h) = 8*h**2 + 5*h + 5. Is u(3) a multiple of 5?
False
Suppose -14 = 8*n - 614. Does 8 divide n?
False
Let l(f) = 5*f**3 - 5*f**2 + 3*f + 73. Let w(y) = 6*y**2 - 3*y**3 - 3*y**3 - y - 3*y + 0*y - 74. Let i(g) = 5*l(g) + 4*w(g). Does 23 divide i(0)?
True
Suppose x - 3*x = -6. Suppose 3*n - x*m = -0*m + 54, -5*m - 15 = 0. Suppose 2*r + y = 55, y = r + 4*y - n. Is 15 a factor of r?
True
Suppose 3*v + 4*k = 101, -2*v = 3*k - 8*k - 75. Let a = v - -86. Is 41 a factor of a?
False
Let p(q) = q + 16. Let n be p(-7). Suppose -20 = -n*k + 4*k. Suppose -355 = k*j - 9*j - 5*g, 0 = g - 5. Is j a multiple of 11?
True
Let i(v) = 2*v + 19. Suppose -4*u + z - 24 = u, 4*u + 4*z = 0. Is 7 a factor of i(u)?
False
Suppose 4*w - x - 175 = 0, -2*w + 2*x + 152 = 60. Suppose -6 = 2*y, 3*y - 29 = -2*m + 20. Let a = m + w. Does 12 divide a?
True
Suppose -4*n - 11 = -3. Let f be n/10 + (-116)/20. Is 3/f - 154/(-4) a multiple of 19?
True
Let j(b) be the third derivative of b**6/120 + 3*b**5/20 - b**4/8 - b**3/6 + 12*b**2. Is 9 a factor of j(-9)?
False
Let d be (-5 + -1)*(-4)/6. Let k = d - -9. Is 6 a factor of k?
False
Let u(v) = v**2 - 1. Let j be u(2). Let i = 85 + j. Does 15 divide i?
False
Suppose 0 = 2*p + 5*p - 336. Does 5 divide p?
False
Suppose -3 - 105 = 2*f. Let x be 68/(-18) + 12/f. Is 2 a factor of (-2)/(x*1)*22?
False
Let r(j) = -j**3 - 6*j**2 - j - 3. Let g be r(-6). Suppose -4*y + 4 = 0, -8*i + 4*i + g*y + 253 = 0. Is i a multiple of 32?
True
Let o(s) = s**3 - 3*s**2 - 6*s + 4. Let h be o(4). Let d(w) = -w + 11. Is 11 a factor of d(h)?
False
Suppose l - 443 = -o, -25 = -9*o + 4*o. Is l a multiple of 51?
False
Suppose 5*w = -83*f + 88*f + 675, 5*w + 5*f - 685 = 0. Is w a multiple of 4?
True
Is (0 - (-19)/(-5))/(16/(-160)) a multiple of 4?
False
Let n = -319 + 316. Let a = -15 - -7. Does 12 divide (-100)/a - n/(-6)?
True
Let z = -7 - -9. Suppose -k = -2, 0 = 3*t + t + z*k - 284. Is 5 a factor of t?
True
Let u(g) = 15*g**2 - 5*g. Let k(j) = -16*j**2 + 5*j + 1. Let i(w) = 4*k(w) + 5*u(w). Is 4 a factor of i(2)?
False
Let p = 772 - 240. Is 20 a factor of p?
False
Let d be (-21)/(-49) - (-17)/(-7). Is 5 a factor of (55/(-22))/(d/20)?
True
Suppose 5*q - 17 = -o, -5*q - 7 = -2*o + o. Let y = -222 - -217. Let r = y + o. Is r a multiple of 4?
False
Let x be (70 - 3)/(-2 - -3). Suppose -3*u - 41 = -4*o, 0 = 3*o - 2*u + 7*u - x. Let l = 23 - o. Is 3 a factor of l?
True
Suppose 0*n + n = 100. Is 25 a factor of n?
True
Suppose -8589 = -5*s - 3*a, 0 = -s - 2*s - 4*a + 5160. Does 34 divide s?
False
Let u(d) = d - 1. Let s be u(-5). Let p be 3/(-18) + (-13)/s. Let c(i) = 22*i - 3. Is 11 a factor of c(p)?
False
Suppose 25*q = -5*f + 28*q + 9145, -3*f + 3*q = -5493. Is 11 a factor of f?
True
Let j(w) be the second derivative of -7*w**3 - w**2/2 - 4*w. Let c be j(-4). Is 5 a factor of c/11 - (-8)/(-44)?
True
Let x(n) = 10*n - 261 + 272 - 9*n. Let j = -9 + 14. Is 2 a factor of x(j)?
True
Suppose 7*z + 0*z = 42. Let r be (-4)/24 - (-25)/z. Suppose 2*w + j = -2*w + 208, r*w = -2*j + 204. Is 10 a factor of w?
False
Let i = 10 - 7. Suppose 14*t = i*t + 550. Is t a multiple of 9?
False
Let p(o) = -60*o - 2. Let c be p(2). Let y = -25 - c. Is 34 a factor of y?
False
Suppose -5*x + 12 - 2 = 0. Suppose 4*o - 2*o - 232 = -3*z, -4*z + 312 = x*o. Is z a multiple of 8?
True
Let d(q) = 8*q**3 + 14*q**2 - q - 14. Let t(k) = 1 + 24*k**3 + 15 - 13*k**2 - 3 - 31*k**3. Let x(o) = 6*d(o) + 7*t(o). Does 15 divide x(-7)?
False
Does 10 divide 64/34 + (-12)/(-102) + 93?
False
Suppose -19 = -5*m - q - 0, 4*m - 4 = 2*q. Suppose -10 = -0*c - 2*c. Suppose -u - w + m = -8, -4*w + 56 = c*u. Is u a multiple of 4?
True
Suppose 174 = 5*q - 406. Let f(n) = 7*n + 33. Let m be f(-15). Let z = q + m. Is z a multiple of 11?
True
Let o(x) = 9*x + 89. Let b be o(-5). Let d = 28 - -48. Suppose 2*i - d = b. Does 15 divide i?
True
Let y(n) = -n**3 - 4*n**2 + 3*n + 4. Let q be y(-2). Let x be q/(-5)*(-27)/(-6). Suppose x = 3*s - 12. Is s a multiple of 7?
True
Suppose -7*z = -g - 5*z + 964, 2*g = -3*z + 1893. Is 10 a factor of g?
False
Let q(p) be the first derivative of p**3 + p - 3. Let c be q(-1). Suppose c*z - 2*n = 150, -2*z + z + n = -37. Does 25 divide z?
False
Let t(s) = -s**3 + 9*s**2 + 18*s + 117. Is 5 a factor of t(-7)?
True
Let a be (-3)/(-9) - (-1)/(-3). Suppose a = -3*k - 5*r - 0*r + 93, 5*k = -4*r + 142. Let s = -17 + k. Does 9 divide s?
True
Suppose 601 + 1019 = 2*g. Is g a multiple of 30?
True
Let l be 1132/76 + 4/38. Let k(y) = 29 - 21 - l*y - 7*y. Is k(-4) a multiple of 15?
False
Let b be 12/(-10)*40/(-12). Suppose -28 = -d + b. Suppose 2*o - 84 = d. Does 17 divide o?
False
Suppose 34*t = 38*t + 68. Let u = 35 + t. Does 8 divide u?
False
Let y be (-7)/(42/12) + 19. Let r(g) = 2*g**2 - 27*g - 42. Is r(y) a multiple of 11?
True
Let h = 14 + -15. Let j be 21/h*(-3)/(-9). Let t = 2 - j. Is t a multiple of 5?
False
Suppose -10*u = 2*t - 5*u - 24, -5*t + 3*u = 2. Suppose t*a + 3*a - 2*n = 379, -2*n - 79 = -a. Is a a multiple of 40?
False
Let y(i) = 6*i - 1. Let b be y(1). Suppose -v + b*v + 12 = 4*h, -4*v - 2*h = -6. Suppose 4*u - 8 - 168 = v. Is 21 a factor of u?
False
Let k(t) = -2*t - t - 3*t + 1 + 7*t. Let o be k(9). Does 11 divide (-2)/o + (-622)/(-10)?
False
Suppose -3*b + 2 = y - 2*b, 5*y + b - 6 = 0. Suppose -2 = d + 2*v + 6, 2*v = -2*d - 6. Suppose 0 = 3*j - d*j - y, 0 = -4*m + j + 75. Does 7 divide m?
False
Suppose -20 = -3*m - 5. Suppose -m*s = -29 - 56. Is s a multiple of 5?
False
Let k(c) = 2*c**2 - 41*c - 27. Let l be k(23). Suppose 2 = 4*g - 14. Suppose -l = -g*w - 4*s, -2*s - 2 = -3*w + 79. Is 11 a factor of w?
False
Let v = -14 + 21. Let s(l) = -21*l - 16. Let m(j) = 136*j + 104. Let h(a) = 5*m(a) + 32*s(a). Is h(v) a multiple of 32?
True
Suppose 0 = -8*g + 1207 + 1193. Does 75 divide g?
True
Let w = 4315 - 2557. Does 9 divide w?
False
Suppose 2*g + 3129 = 5*d, g + 621 = d - g. Suppose -u = m - 185, -4*m = -3*u - 134 - d. Is m a multiple of 9?
False
Suppose -17*b + 18*b + 235 = 0. Let v = b + 416. Does 20 divide v?
False
Let j(f) = 15 + 7 - 7*f - 1. Does 14 divide j(-7)?
True
Let t be (-96)/15 + 6 - (-10524)/10. Suppose -5*p + t = x + 2, -3*p = -3*x - 630. Is p a multiple of 15?
True
Let l = -478 + 668. Does 19 divide l?
True
Suppose 7 = 3*x + 2*j + 2*j, -5*x - 7 = 2*j. Let t(v) = -4*v + 4. Let u be t(x). Is 11 a factor of 3/(-4) - (-364)/u?
True
Let g(x) = -x**3 + 10*x**2 + 80. Let y be g(0). Let k(r) = r**3 - 7*r**2 + 8*r - 10. Let d be k(7). Let q = y - d. Is q a multiple of 8?
False
Let w = 72 - 67. Suppose -4*l - w*b = -215 + 17, -2*l + 84 = -5*b. Is 7 a factor of l?
False
Suppose 3*l - 5*q + 10 = 0, 2*l - 4*l = -3*q + 7. Let o(z) be the first derivative of 2*z**3/3 + 5*z**2/2 - 3*z - 31. Does 4 divide o(l)?
False
Suppose -2*c + 6 = -4*c. Does 4 divide (16 - c) + 2*(-3)/2?
True
Suppose 2*h - 2*b = 6*h - 10, -2*h + b + 15 = 0. Suppose -3*c + h*d + 21 = 0, -5*c + 10*c + 4*d = -2. Suppose 0 = -3*u - c*u + 40. Is u a multiple of 3?
False
Let u be (-4*5/(-20))/1. Let h(x) = 146*x**2 - 7*x + 5. Is h(u) a multiple of 12?
True
Suppose 3*w = 5*w - 24. Suppose -w*c = -16*c - 108. Let o = c - -60. Is o a multiple of 11?
True
Let d = -10 - -20. Suppose -x = -2*z + d, z + x = -0*z + 2. Suppose -z*b - 70 = -6*b. Is b a multiple of 35?
True
Is (-16)/120*4415*-3 a multiple of 44?
False
Let h(p) = 6*p**2 - 1. Let v be h(-1). Suppose -4*i + 160 - 20 = -5*f, -v*i + 166 = -4*f. Is i a multiple of 5?
True
Suppose -4*b + 5*p + 49 = 0, -2*b - 3*p = -3*b + 21. Is 4 a fa