?
False
Let m(a) = 2*a**2 + 2*a - 6. Let y be m(3). Does 8 divide 102/y*(-2 - -5)?
False
Let l be ((-6)/5)/(6/(-20)). Suppose 0 = j + l*j. Suppose -2*v + 6*v - 156 = j. Is 14 a factor of v?
False
Suppose -104 = -6*w + 154. Is 11 a factor of w?
False
Suppose -1232 = 3*y - 17*y. Is y a multiple of 17?
False
Let j(g) = 125*g**2 + g + 2. Is 14 a factor of j(-1)?
True
Suppose 4*p - 5*p = -13. Let i = 18 - p. Is 3 a factor of i?
False
Let y = 477 + -288. Is 27 a factor of y?
True
Let f = 10 - 5. Suppose l = f*a + 22, 2*l - 11 - 13 = 5*a. Suppose -4*r + 40 = 3*u, 5*u - l*r - 57 = r. Is u a multiple of 9?
False
Let y = 34 + -16. Does 9 divide y?
True
Let s = -30 + 50. Does 3 divide s?
False
Suppose 4*g = -5*y + 27, g + 34 = 4*y - 2*g. Let m(h) = h**2 - 8*h - 2. Let d be m(y). Let u = d - -43. Is u a multiple of 14?
False
Suppose -2*f + 8 = -6*f + 4*a, -2*a + 16 = 2*f. Let v(q) = f - 2*q + q + 0. Does 10 divide v(-7)?
True
Let s = -23 - -4. Suppose -5*u + 8*u = -18. Is 2/(s/u - 3) a multiple of 10?
False
Suppose 3*u = 2*u + 126. Does 29 divide u?
False
Let m(y) = 2*y**3 + 14 + 41 + y - y**3 + 0*y**3. Let s be m(0). Let v = s - 18. Is 21 a factor of v?
False
Suppose -5*g + a + 279 = 0, -2*g = -a - 42 - 72. Is 11 a factor of g?
True
Suppose -2*y = -96 + 18. Is 9 a factor of y?
False
Let t(r) = r**2 + 5*r - 6. Let a be t(-6). Suppose a = z + 5 - 2, -3*m + 63 = -5*z. Does 8 divide m?
True
Suppose -3*i - 4*j = 8, -i = -2*i + 4*j + 24. Suppose 0*n = -n + i. Suppose n*r - 4*p + 2*p = 52, 5*r + 4*p - 65 = 0. Does 8 divide r?
False
Suppose 0 = 3*j - 6*j - 72. Let f = -15 - j. Is f a multiple of 9?
True
Is (-93 + 0)*(3 + -4) a multiple of 12?
False
Let j be (-4)/(-6) + 4/(-6). Suppose j = 3*y + 2*y - 15. Suppose -v + 18 = y*c, 0 = c - 3*v - 18 + 2. Is c a multiple of 3?
False
Suppose -6 = 2*g - b, -1 = 4*g + 3*b - 9. Let f = 2 - -11. Let t = f - g. Is t a multiple of 5?
False
Let u = -39 - -59. Is u a multiple of 18?
False
Let h(o) = 20*o**2 + 2*o + 3. Is h(-2) a multiple of 10?
False
Suppose 5*z = -2*p + 101, -2*z - 93 = -2*p + z. Does 16 divide p?
True
Let s(d) = d**3 + 6*d**2 + d + 3. Let r be s(-6). Let c(f) = -2 - 2 + 3 - 11*f. Does 19 divide c(r)?
False
Suppose -k - 3*k = 2*t, 20 = t - 2*k. Is t a multiple of 10?
True
Suppose -8 = -4*m + 12. Let c = -125 + m. Does 4 divide 2/(-3) - c/18?
False
Let u(l) = 6*l. Is 12 a factor of u(10)?
True
Suppose 0 = 2*b + 5*w - 1, -2*b = b + 2*w - 18. Is 2 a factor of b?
True
Let g = -4 + 19. Suppose -l - g = -4*l. Is 5 a factor of l?
True
Suppose -2*p = 2*p - 288. Does 36 divide p?
True
Let k = -17 - -4. Let t = k - -168. Suppose u + t = 5*w, 3*w = w + u + 62. Does 18 divide w?
False
Let b = 6 + -2. Suppose -2*p + b*f - 4 = 26, -2*p + f - 27 = 0. Is 4/(-4 + 2) - p a multiple of 7?
False
Suppose s + 65 = 2*s. Is 13 a factor of s?
True
Let a be (-18)/6 - (0 + 64). Let i = a + 104. Let u = i + -1. Is u a multiple of 18?
True
Let u = 11 + -17. Let f be 2/4 - u/4. Suppose -6*p - 4*b = -2*p - 32, -b + 12 = f*p. Is p a multiple of 4?
True
Let y = -2 - -2. Suppose 2*a - 18 = -y*a. Is 4 a factor of (-5 + 2)*(-30)/a?
False
Suppose -i - 1 = -3*p, -4*i - 5*p + 12 = -18. Let q(o) = -o**3 + 6*o**2 - 3*o - 7. Let m be q(i). Suppose -m*g = -1 - 17. Is 3 a factor of g?
True
Suppose 180 = 5*v + v. Does 5 divide v?
True
Suppose -c + 1 + 12 = 0. Suppose 4*z - 8*z = -3*b + 3, -7 = z - 2*b. Let x = c + z. Is x a multiple of 16?
True
Suppose 2*x + 28 = -0. Suppose -5*b + 0*b = 4*u + 188, -3*b = 3*u + 114. Let p = x - b. Does 11 divide p?
True
Suppose -28 = -3*s + 197. Does 25 divide s?
True
Let x(g) = 10*g**2 - 2*g + 2. Let r = 5 + -3. Let m be x(r). Suppose -3*a - 2*h = -106, 2*h = 3*a - 4*a + m. Is 12 a factor of a?
False
Suppose 2*u = -4*r + 94, 14 + 54 = 3*r - u. Does 12 divide ((-3)/3*r)/(-1)?
False
Does 20 divide (60/(-14))/(9/(-126))?
True
Let t = -69 + 101. Is t a multiple of 11?
False
Let j(w) = -w**2 + 1. Let k be j(1). Suppose 0*r + r = k. Suppose -l = -r*l - 19. Is 11 a factor of l?
False
Let b be (-4)/6 - (-65)/39. Does 13 divide b + 48 + 7 + -4?
True
Suppose v - 4*v + c = -124, 5*v + 2*c - 214 = 0. Is 31 a factor of v?
False
Suppose -2*i + 16 = 2*i. Is 1765/45 - i/18 a multiple of 11?
False
Let p(j) = -j + 4. Let f be p(4). Suppose f*u = -u + 22. Is 11 a factor of u?
True
Suppose -4*j + 4*d + 620 = 0, 0 = -3*j + j + 4*d + 318. Is j a multiple of 10?
False
Suppose 4*a - 144 = -48. Is 3 a factor of a?
True
Let y = -23 + 52. Is 17 a factor of y?
False
Let f(j) = 19*j + 7. Does 16 divide f(3)?
True
Suppose j + 2 = 2*j. Suppose j*m - 9 = 67. Is m a multiple of 19?
True
Does 9 divide ((-12)/(-3) - 0) + 19?
False
Suppose -3*p + 44 = 5*j, -16 = -0*j - j + 3*p. Suppose q - 5 = -3*h, 3*h - 5*q - 1 - j = 0. Does 3 divide h*3/6*9?
True
Suppose 13 = v - i, 5*v - i - i = 80. Is 5 a factor of v?
False
Suppose -6*f + 3*m + 19 = -f, 0 = -f + 2*m + 1. Let x(c) = 0 + 7*c - 3*c + 4. Is x(f) a multiple of 12?
True
Is (-47)/(-3) - 2/(-6) a multiple of 6?
False
Suppose 0 = -2*m + 36 - 102. Let s = m - -53. Is s a multiple of 9?
False
Let f(c) = -c**3 - 11*c**2 + 15*c - 8. Is f(-13) a multiple of 27?
True
Let m(v) = v**2 + 8*v + 12. Does 9 divide m(-8)?
False
Let z = 19 - 47. Does 2 divide (-188)/z - 2/(-7)?
False
Suppose -x = 3*d - 3, 5*d - 11 - 8 = 3*x. Let w = -368 + 249. Does 9 divide d/(-13) - w/13?
True
Let a be 8/(-28) - 68/7. Let x = a - -15. Does 3 divide x?
False
Suppose 0 = -4*c - 12, 127 + 3 = 4*j + 2*c. Does 17 divide j?
True
Let j(s) = 2*s + 12. Is 9 a factor of j(0)?
False
Suppose h + 22 = 76. Is h a multiple of 27?
True
Suppose 44 = 3*o + o. Does 11 divide o + 0/(3/3)?
True
Suppose -491 = 4*s - 3*x - 1549, 3*x = -4*s + 1070. Does 14 divide s?
True
Let p(a) = a**3 - a**2 - 2*a - 2. Suppose -5*v - 8 = -v. Let z be p(v). Is 15/6*(-16)/z a multiple of 4?
True
Let s(p) = p**3 + 9*p**2 - 4*p - 11. Is s(-7) a multiple of 14?
False
Let o(d) = 3*d**3 - 2*d**2 + 2*d + 1. Does 7 divide o(2)?
True
Let r be (1/3)/(2/6). Does 2 divide (14 - 1 - 2)*r?
False
Is 4 a factor of (-129)/(-15) - 6/10?
True
Suppose y - 3*f + 4 = 36, 5*f = 2*y - 60. Is 2 a factor of y?
True
Let f(a) be the second derivative of -a**5/20 + a**4/2 - a**3 - 3*a**2/2 + 2*a. Let l be f(5). Let t = l - -16. Does 4 divide t?
True
Is 17 a factor of (-4)/22 - 752/(-22)?
True
Is 6*8 + 36/(-12) a multiple of 9?
True
Let s = -4 + 6. Let a = 5 + -1. Suppose s*c + v - 9 = 0, c - a*v - 14 = -c. Is c a multiple of 3?
False
Let g(l) = -l + 2. Suppose -4*c = 12 - 0. Let b be g(c). Is 10 a factor of (5 + -2)/(1/b)?
False
Let g = -4 + 2. Is 13 a factor of (-7 + g)*40/(-12)?
False
Suppose -15*c = -18*c - 9. Let t = c - -9. Does 4 divide t?
False
Suppose 2*y + 5*g = 109, -5*y = -7*g + 5*g - 287. Suppose 0*a + f + 57 = 4*a, -y = -3*a - 4*f. Does 3 divide a?
True
Let h(t) = 5*t**3 + 2*t**2 - 2*t - 2. Is h(2) a multiple of 13?
False
Let x be ((-16)/3)/(-4)*-3. Let n = 4 + x. Suppose -4*d + n*d + 100 = 0. Is 13 a factor of d?
False
Let o(u) = u**3 - u**2 + 6. Is o(3) a multiple of 12?
True
Let g = 46 - 11. Suppose 0*f = -5*f + g. Is f even?
False
Suppose 0 = 5*h + 2*z - 301, h + 0*h - 4*z - 69 = 0. Is h a multiple of 11?
False
Suppose 225*a = 228*a - 81. Is a a multiple of 2?
False
Suppose 4*z + i - 83 = 69, 4*i + 94 = 2*z. Does 12 divide z?
False
Suppose 2*x = 4*x - 6. Suppose -p - s - x + 0 = 0, 2*p = 3*s + 19. Suppose -p*k = -4*l + k + 67, 4*k = 12. Does 10 divide l?
False
Let w be 4/(-14) + 8/28. Let h be w - (0 + 1) - 8. Let j = h + 14. Is j a multiple of 5?
True
Suppose -2*t - 3*t - 120 = 0. Let q(v) = 7*v**3 + v**2 - v - 1. Let z be q(-1). Let h = z - t. Does 18 divide h?
True
Let x(p) = p**2 - 7*p - 1. Let z be x(7). Let m(n) = -17*n + 1. Does 11 divide m(z)?
False
Let o(g) = g**2 - 4*g + 1. Suppose 0 = i - 3*u + 6, -u + 50 = 5*i - 0*u. Let m be o(i). Suppose 3*f + m = 127. Is 23 a factor of f?
False
Suppose -4*r = -3 - 5. Suppose -5*v + 3*f + 20 = 0, -r*f - 12 = 2*v - 4*v. Is 4 a factor of 1/(15/(-18) + v)?
False
Suppose -q = 2*q - r + 30, -r - 47 = 4*q. Let t(f) = 3*f**3 - f**2 - 3*f + 4. Let y be t(2). Let l = y + q. Does 5 divide l?
False
Let h be 582/(-15) - 2/10. Does 19 divide (h/6)/((-3)/18)?
False
Let b = -17 + 26. Let z(g) = b*g**2 - 2 - 3*g**2 + 3 + 2*g. Is z(2) a multiple of 20?
