 -3*c = w*z - 50. Is z a multiple of 5?
True
Let a(i) be the third derivative of i**7/280 - i**5/40 + i**4/24 - 7*i**3/6 - 4*i**2. Let u(h) be the first derivative of a(h). Does 19 divide u(2)?
True
Let w(p) be the third derivative of -11*p**4/24 + p**3/6 - 4*p**2. Let n be w(-1). Is 3 a factor of -3 + n - 0/(-2)?
True
Let d(y) = -y**3 - 11*y**2 - 12*y. Is d(-10) a multiple of 10?
True
Let q(z) = 6*z + 245. Is 4 a factor of q(-18)?
False
Let c be (12/(-15))/((-2)/5). Suppose -c*q = -0 - 124. Does 17 divide q?
False
Let r = -36 - -208. Suppose 0 = 2*o - w - r, -2*o - 4*w + 21 + 131 = 0. Is o a multiple of 7?
True
Suppose -2*g + t = -1522, -t = 5*g - 0*g - 3805. Suppose 0 = -6*f + g - 197. Is f a multiple of 11?
False
Let s(o) = -7*o - 75. Let h be s(-11). Is 26 a factor of -2 + (h + 2)*77/7?
False
Suppose t + 3 = 8. Suppose 2*s = q + 2, -t*q - 5*s + 4 + 1 = 0. Suppose 2*a - 5*a + 69 = q. Is 12 a factor of a?
False
Let u = 42 + -47. Let f(o) = 0*o - 1 + 2*o - o**2 - o**3 + 5*o. Does 22 divide f(u)?
False
Let a(k) = -k. Let f be a(0). Suppose -2*w - 3*w - 5 = f. Does 8 divide (0 + w)/((-2)/22)?
False
Let n(i) = i**3 + 9*i**2 + 13*i + 7. Let q be n(-6). Let b = 106 - q. Does 6 divide b?
False
Suppose -4*z - 24 = -o, 4*o - z - 13 = 2*o. Let l(a) = 7*a - 9. Does 19 divide l(o)?
True
Suppose 0 = 5*j - d - 1542, 1698 - 450 = 4*j + 4*d. Suppose -3*r + 6*r = j. Does 33 divide r?
False
Let w = 13 + -18. Let f(g) = -g**3 - 8*g**2 + 6*g - 6. Let p be f(w). Let s = 177 + p. Does 22 divide s?
True
Suppose -5*g + 110 = x, -8*x - 3*g + 192 = -6*x. Suppose -r + t = -t - x, 3*r - 262 = 2*t. Is 11 a factor of r?
False
Let d(r) be the first derivative of r**5/30 - 11*r**4/24 - 7*r**3/2 + 11*r**2/2 + 8. Let b(n) be the second derivative of d(n). Is b(9) a multiple of 14?
True
Let j(x) = x**2 + 6*x + 5. Let s be j(-5). Suppose 2*o - 4 = -0*o + 4*n, s = -3*o - n - 22. Let g(b) = -b**3 - 7*b**2 - 10*b - 10. Is g(o) a multiple of 7?
True
Does 22 divide 2277/1 + (-11)/88*0?
False
Suppose 2*w - 297 = -w. Let n = w - 52. Does 15 divide n?
False
Let v = 257 - 86. Let o = -115 + v. Is 5 a factor of o?
False
Let k(w) = 139*w**2 + 23*w - 30. Does 115 divide k(4)?
False
Let t = 199 - 49. Does 5 divide t?
True
Does 19 divide -4*(8 - 6) + 217?
True
Suppose 6 = 8*y - 10. Suppose -y*s + 2*b = -124, -5*b = -2*s + 7*s - 280. Is 14 a factor of s?
False
Let a be (4 + (4 - 16))*50/(-8). Does 8 divide (-13 + -1)*(-525)/a?
False
Suppose -4*h + 20 = -4*g, 0 = 5*h + 6*g - g - 25. Let q = -6 - -13. Let f = h + q. Does 5 divide f?
False
Is 16 a factor of 4/(-24)*-20*(307 + 5)?
True
Let a be (-4)/6*306/(-12). Let w = 20 - a. Suppose -w = x - 2*x - k, -x - 5*k = 13. Is 7 a factor of x?
True
Is 11 a factor of ((-3)/2)/(114/(-14288))?
False
Suppose 11*v - 34*v + 43884 = 0. Is v a multiple of 12?
True
Let d = 2494 - 1870. Is d a multiple of 7?
False
Suppose 2*n - 79 = 3*j, 7 = j - 4*n + 50. Let d = -12 - j. Suppose -9*k + d*k = 120. Is 15 a factor of k?
True
Let r = 32 - 30. Suppose -2*c + 7*c + r = d, -2*d + 60 = 4*c. Is d a multiple of 11?
True
Let w be 0 - -8*3/6. Suppose w*o - 25 = -o. Suppose -5*k + 187 = o*p - 4*k, 2*k = -6. Is p a multiple of 8?
False
Suppose d = -3*d - 216. Let j = d - -118. Let a = j - 29. Is 16 a factor of a?
False
Suppose 2*h = 2*o + 696 + 2180, 4*h - o - 5752 = 0. Does 13 divide h?
False
Let g(a) = -7*a + 3 + a - 6*a + 7*a + 2*a**2. Let h be g(6). Is h/((-60)/(-16) + -3) a multiple of 17?
False
Suppose -2*a = 3*l - 555, 0*l - 585 = -2*a + 3*l. Is a a multiple of 19?
True
Let p = 209 + -27. Is 26 a factor of p?
True
Let h be 8/8 - (-33 + 0). Suppose -14 = 5*m - h. Suppose -m*o + 274 - 70 = 0. Does 11 divide o?
False
Let m(f) = -f**3 + 13*f**2 - 10*f - 2. Let l be m(7). Suppose -q - 374 = -5*h, -l = -5*h + 2*h + 3*q. Does 25 divide h?
True
Let p(z) = -56*z + 22. Let w be p(-12). Let s = w + -403. Suppose -5*v = 5*o - 300, -o + 2*v - s = -6*o. Is o a multiple of 14?
False
Let h(u) = u**3 - 3*u**2 + 4*u - 2. Suppose -14 = 2*r - 0*r - 4*v, 0 = -4*v + 20. Let d be h(r). Let f = 5 + d. Does 5 divide f?
True
Suppose -3*o - 5*u + 492 = 26, 2*u + 300 = 2*o. Does 8 divide o?
True
Suppose 0 = 1085*q - 1083*q - 118. Does 6 divide q?
False
Let y(m) = -m**2 - 12*m - 3. Suppose -7*p = -2*p + 5*l + 80, 3*p + 56 = -5*l. Let k be y(p). Is 4 a factor of -6*2/k - 0?
True
Let h(a) = 10*a - 75. Is h(24) a multiple of 3?
True
Let x(d) = 15*d**2 - 8*d**2 - d - 8*d**2 + 7 + 29*d. Is 29 a factor of x(14)?
True
Let q(a) = 4*a**3 + 4*a**2 + 31*a - 6. Is 13 a factor of q(7)?
False
Let u(z) = z**3 - 9*z**2 + 4*z - 8. Let d be u(10). Let j be 1956/d - (-4)/22. Suppose -12*s - j = -15*s. Is s a multiple of 3?
False
Let s(c) = c + 13. Let f be s(-10). Suppose -q - f*q = 0. Suppose 28 = k - x, q = k - 3*x - 24 - 0. Is k a multiple of 8?
False
Let b be 2 - (0 + -4 + 4). Let f(n) = 165 - 8*n**2 + 36*n**2 - b*n - 166. Does 15 divide f(-1)?
False
Let m = -265 + 445. Suppose 8*x - m = 5*x. Is 15 a factor of x?
True
Suppose 0 = -4*q + 12 + 72. Suppose -q = -3*c + j + 84, -j = 0. Is 6 a factor of c?
False
Is 282*((-60)/(-45) + 5/(-6)) a multiple of 19?
False
Let w be ((-646)/51)/(17/18 + -1). Is 15 a factor of w*(-4)/(-16)*2?
False
Suppose -5*x - 37 = -v, -46 = 5*v - 4*x - 210. Suppose q - v = -3*l, 0 = 4*l + 2 + 2. Is q a multiple of 16?
False
Let q be (1/3)/(6/90). Suppose 3*x + 36 = y, -2*y + 6*y = -q*x + 127. Is y a multiple of 11?
True
Let d be (4/10)/((-3)/(-90)). Let y be d/8 - (-93)/(-6). Let z = y - -23. Is z even?
False
Let s(l) = -l**3 + 16*l**2 - 3*l + 52. Let u be s(16). Suppose 7 = -4*x - 1, u*w = 5*x + 154. Does 4 divide w?
True
Let c be (-70)/30 + 8/6. Let m be 2 + (c - -1) - -3. Suppose m*z - 96 = z. Does 8 divide z?
True
Is 13 a factor of -3 - (7296*3)/(-8)?
False
Suppose -5*j = -z + 136, 5*j = -5*z + 4*j + 784. Is 52 a factor of z?
True
Let t(d) = 64*d - 13. Does 14 divide t(12)?
False
Suppose -90 = -0*o + 6*o. Let w be (o - -14)/(1/2). Let q(f) = -3*f + 2. Is q(w) a multiple of 4?
True
Suppose 3*a - 13 = -1. Is 5 a factor of a/(-6) + (-141)/(-9)?
True
Let v = -12 - 6. Let j be ((-2)/(-2))/((-2)/v). Does 9 divide 0/1 - -2*j?
True
Suppose 11*y - 714 = 100. Is y a multiple of 37?
True
Suppose -4*t + 2590 = 6*t. Is t a multiple of 15?
False
Let y = 221 - 125. Let d = y + 4. Is 16 a factor of d?
False
Let x(k) = -131 + 64 + 66 - 12*k. Does 28 divide x(-7)?
False
Suppose -w + 2 = -1. Let f = 14 + 16. Suppose 2*c + f = 4*j, -w*j = -4*j - 4*c - 6. Is 6 a factor of j?
True
Let w = -171 - -188. Does 5 divide w?
False
Let h be 3/9 + (-296)/(-12). Let x = h + -11. Does 14 divide x?
True
Let d = 1414 - 990. Is 15 a factor of d?
False
Let c be -3*(3 - 21/9). Does 15 divide (-48 + -2)*c - -1?
False
Let a(w) = 3*w**3 + 3*w**2 - 2*w + 6. Let i be a(3). Is (-470)/(-9) + (-8)/i*3 a multiple of 9?
False
Let r = 40 + 102. Let f = r - 76. Does 7 divide f?
False
Let n be (-3306)/(-15) - 4/10. Let l = n - 118. Is 31 a factor of l?
False
Let a be 1 + (-3 - 6/(-2)). Let m(z) = 2*z - z - z**2 - a + 4*z. Does 5 divide m(3)?
True
Suppose 5*n - 71 = -2*s, -3*s + 2*n = -5*s + 68. Suppose 0 = -29*w + s*w - 56. Is w a multiple of 3?
False
Let t be (-2 - 5 - -1) + (-6)/(-3). Does 20 divide -3 + 1 - 2*(t + -27)?
True
Suppose 0 = -4*b - b + 10. Suppose -u = -b*u + 45. Suppose -190 = -5*o + u. Is o a multiple of 15?
False
Let g(t) = 18*t + 2. Let f be g(4). Suppose -y = y - f. Let n = -21 + y. Is 4 a factor of n?
True
Suppose -14*p - 63 + 903 = 0. Is 4 a factor of p?
True
Let s be -3 + (1 - (0 + 1)). Does 16 divide (-207)/(-1*(-3)/s)?
False
Suppose 0 = -u - 18 - 31. Let c = u + 71. Does 2 divide c?
True
Let x(r) be the second derivative of r**6/72 + r**5/24 + r**4/6 + 2*r**3/3 - 3*r. Let s(y) be the second derivative of x(y). Is 16 a factor of s(3)?
True
Let t(d) = 180*d**3 - 2*d**2 + 2. Let c(w) = 2*w**2 - 22*w + 1. Let i be c(11). Is 12 a factor of t(i)?
True
Let n = 7 - 5. Let m = -16 + n. Is (-6)/m - (-120)/14 a multiple of 9?
True
Let g(a) = a**3 - 5*a**2. Let l = 10 + -5. Let n be g(l). Suppose n*w = -3*w + 27. Does 4 divide w?
False
Suppose -7*a + 24 = -3*a. Let d(b) = -b**2 + 8*b - 10. Let s be d(a). Suppose -19 = -3*j - s*g, g + 7 = j + 3*j. Does 2 divide j?
False
Is 47 - ((-7)/1 - -4) a multiple of 4?
False
Let