. Does 9 divide n(-2)?
False
Suppose 9 = 2*o + 3. Let p = o + 6. Is p a multiple of 7?
False
Let a(h) = 2*h + 8. Does 4 divide a(0)?
True
Suppose 0 = -x + i + 25, 2*x - 5*i = -2*i + 51. Is 6 a factor of x?
True
Let s(r) = -6*r**2 + 35*r + 19. Let u(f) = -f**2 + 7*f + 4. Let b(d) = -2*s(d) + 11*u(d). Let z(x) = -2*x + 2. Let g be z(5). Does 7 divide b(g)?
True
Suppose 2*d - 84 = -d. Is 7 a factor of d?
True
Suppose 121 = 4*i - 83. Does 5 divide i?
False
Let l(p) = 15*p - 2. Let c be l(2). Suppose c - 103 = -5*m. Does 5 divide m?
True
Suppose i + 24 = 5*i. Suppose -4*g + 3 = -13. Suppose i = g*q - 18. Is 3 a factor of q?
True
Suppose 4 = -2*l - 2*n - 0, 0 = -l + 5*n + 22. Let u = -21 - -53. Suppose r + u = x + l*r, -x = 3*r - 22. Is 13 a factor of x?
False
Let s = 25 + -3. Suppose 4*p + s = 2*g - 32, 0 = -3*g - 4*p + 91. Let d = g + -14. Is d a multiple of 9?
False
Let q be (-2)/8 + (-29)/(-4). Suppose 3*x = 2 + q. Suppose -4*b - 3*z = -0*b - 9, -2*b = -x*z - 9. Is b a multiple of 3?
True
Let n(l) = 105*l**2 + 2*l - 1. Does 24 divide n(1)?
False
Let h(v) = -2*v**3 - 8*v**2 - 4*v + 5. Let g be h(-5). Is 3/(-2) - g/(-2) a multiple of 12?
True
Let l = 191 - 98. Is 31 a factor of l?
True
Let d be 1*(-3)/9*-39. Suppose -5*r + w + d = 0, r - 3*w + 2 = -1. Suppose r*i - 28 = -3*t - 2*t, 5*t = -i - 4. Is 8 a factor of i?
True
Let t(l) = -2*l - 5. Let g(i) = -2*i**2 + i. Let v be g(2). Is 6 a factor of t(v)?
False
Let h(q) be the third derivative of -q**4/8 - q**3 - 2*q**2. Let l be (16/(-2))/(0 - -1). Is 18 a factor of h(l)?
True
Let p = 183 + -266. Let g = -53 - p. Is 15 a factor of g?
True
Suppose 0*b - 5*b = -5. Does 19 divide (2 - 3)/(b/(-19))?
True
Let p(j) = j - 2. Let v be p(3). Let d be -6*(6/9 - v). Suppose -d*k = k - 108. Does 10 divide k?
False
Suppose 6*x + 32 = 10*x. Suppose j + j = x. Does 4 divide j?
True
Let s(j) = j + 15. Suppose -v + 3*r - 9 = 4*r, -v + 2*r = 15. Does 2 divide s(v)?
True
Let b(f) = 2*f**2 - 9*f + 76. Does 14 divide b(12)?
False
Let o(z) = -z**2 + 2*z + 240. Does 24 divide o(0)?
True
Let o(p) = p**3 + 14*p**2 + 5*p + 7. Is 29 a factor of o(-13)?
False
Let z(q) = -2*q + 19. Is 18 a factor of z(-15)?
False
Let i be (-247)/3 + (-2)/(-6). Let t = -51 - i. Is 11 a factor of t?
False
Suppose -x - 8 = -5*x. Suppose i + 2*g + 70 = x*i, 0 = 2*g. Suppose 0 = -5*l + 30 + i. Is 9 a factor of l?
False
Suppose y = -y - 5*z + 5, 2*y = 5*z + 35. Is y a multiple of 7?
False
Let b be (-2 + 7 - 3)/2. Let l = -8 + b. Does 9 divide (-7)/l*46/2?
False
Let n be (-2)/3 + 38/3. Suppose 0*o + n = 3*o. Is (-1 - 21)*(-2)/o a multiple of 5?
False
Let s = 42 - 27. Is s a multiple of 8?
False
Let n be (-5)/25 - 2/(-10). Suppose -3*c = -5*o - 7*c + 288, 2*o - c - 123 = n. Is o a multiple of 20?
True
Suppose 3*i - 158 = -5*j, -3*i = 3*j + j - 157. Is i a multiple of 7?
False
Suppose 3*q = z + 2*z - 156, -q = -3*z + 42. Let x = -41 - q. Is x a multiple of 13?
False
Suppose -2*h - 3*d = d - 38, 33 = 3*h - 2*d. Suppose 2*f + 3 = h. Suppose -f*m - q + 139 = 0, 3*q = 2*m + q - 58. Is m a multiple of 15?
False
Let u(l) = l**2 - 2*l - 3. Let m be u(4). Let v = 59 + -16. Suppose -m*c = -v + 3. Does 8 divide c?
True
Let t(g) = g**2 - 15*g + 22. Is t(16) a multiple of 18?
False
Does 21 divide ((-16)/10)/((-28)/910)?
False
Suppose 0*x - 3*x + 15 = 0. Let q(w) = 42*w**2 + w - x*w - 1 + 6*w. Does 16 divide q(1)?
False
Suppose -2*q = -0*q - 4. Suppose -q*k = -43 - 1. Is k a multiple of 11?
True
Suppose -a + 5*d = -14 - 1, 5*a + 3 = -d. Suppose 2*l = x - 3*x + 144, 4*x = a. Is l a multiple of 12?
True
Suppose 2*h - 224 = 2*f - 2*h, -h - 112 = f. Is f/(-35) - (-1)/(-5) even?
False
Let g = -16 + 10. Is 4 a factor of g/4 + (-17)/(-2)?
False
Let a = 84 + -38. Does 23 divide a?
True
Let p(d) = 102*d**3 - 3*d**2 + 2*d. Is 16 a factor of p(1)?
False
Let b = 20 - 24. Let l = b + 20. Is 3 a factor of l?
False
Let l be 0/(-1 + 0 - -2). Let b = -39 - -43. Suppose l = b*v - 20 - 20. Is v a multiple of 5?
True
Let r = -10 + 34. Is 6 a factor of r?
True
Suppose -3*u - 3*q - 309 = -6*u, -2*u + 3*q + 201 = 0. Let o = -68 + u. Is 20 a factor of o?
True
Suppose -11*l = -13*l + 104. Does 26 divide l?
True
Suppose x + 49 + 19 = -3*c, -5*c - x = 114. Let t = c - -26. Is t a multiple of 2?
False
Let x(m) = m**3 - 4*m**2 - 4*m - 10. Is x(7) a multiple of 26?
False
Let s(c) = c**2 - 6*c + 4. Suppose 10 = 2*z - 0*z. Let b be s(z). Is 3 a factor of (3 + -4)*5/b?
False
Let z(l) = -l**3 - 4*l**2 - 3*l. Let m be z(-3). Suppose m*a - 10 = -2*a. Suppose 0 = -w + 3, a*s - 88 = -0*w - w. Is 10 a factor of s?
False
Let g = -6 - -8. Let z be 4/6*(-8 + g). Let m(p) = -2*p + 3. Does 11 divide m(z)?
True
Suppose 3*d = 2*d + 1. Suppose -2*w + 3 + d = 0. Suppose 56 = w*s - 0*s. Does 11 divide s?
False
Suppose -9 = 4*y - 3*l - 53, 2*y = -4*l. Is y even?
True
Let p(v) = v**2 + v - 1. Let q be p(2). Let s = q - 1. Suppose 0 = -s*m - 111 + 275. Is 14 a factor of m?
False
Let q(y) be the third derivative of -y**6/120 - y**5/10 - 5*y**4/24 + y**3/2 - 2*y**2. Is q(-5) even?
False
Suppose j + 10 = -2*u + 38, 3*j + u = 59. Let m be ((-32)/12)/((-2)/(-6)). Let o = m + j. Is o a multiple of 5?
True
Is (-52)/(3/(-6)*2) a multiple of 18?
False
Let m(a) = -a**2 + 4*a + 1. Let d be m(5). Let f be (6/5)/(d/(-10)). Suppose 5*b = 3*x - 25, 8*x - 47 = f*x + 3*b. Does 10 divide x?
True
Let p(l) = -2*l + 22. Is 16 a factor of p(-13)?
True
Suppose 0*j = 2*j - 6. Suppose -20 = 4*d, 3*f - 132 = j*d - 0*d. Does 25 divide f?
False
Let u be 2/4*(1 + -3). Does 21 divide ((-108)/(-24))/(u/(-14))?
True
Let s(z) = -z + 21. Does 4 divide s(0)?
False
Suppose i = -2*x + 60, -4*i + 55 + 185 = -3*x. Suppose -148 = 2*n - i. Let h = -27 - n. Is h a multiple of 11?
False
Suppose -3*o - 2*o = -2*i + 28, 0 = -4*i + 5*o + 36. Suppose -2 + 110 = i*h. Is 19 a factor of h?
False
Suppose m - 1 = -j + 1, m = -4*j + 11. Suppose j*s = -10 + 49. Is 13 a factor of s?
True
Let u(s) = s**3 + 7*s**2 - 6*s - 3. Does 10 divide u(-4)?
False
Let u(d) be the third derivative of -d**6/240 - d**5/24 + d**4/12 + d**2. Let h(r) be the second derivative of u(r). Is h(-5) a multiple of 4?
False
Suppose -5*u + 265 = -5*l, 12 = 2*u - 3*l - 90. Does 20 divide u?
False
Let z(a) = a**3 + 6*a**2 - 19*a - 64. Is z(-7) a multiple of 3?
False
Let s = 14 - 4. Suppose 0 = -3*c + 5*c. Let q = s - c. Is q a multiple of 8?
False
Is (-2)/11 + (-9)/((-594)/6612) a multiple of 20?
True
Let r(d) = -d**3 + 7*d**2 + 4. Suppose -3*i = -6 - 6. Is 14 a factor of r(i)?
False
Let l(p) be the first derivative of p**4/4 - 5*p**3/3 - 3*p**2/2 + 3*p + 4. Is l(6) a multiple of 7?
True
Suppose 3*g - 4*u - 16 = 0, -13 + 1 = 3*u. Suppose g = -0*m - m + 60. Does 12 divide m?
True
Let c(d) = -d**3 - 7*d**2 + 7*d + 5. Let m(u) = -u**2 + 3*u. Let p be m(4). Let q = -12 - p. Is c(q) a multiple of 7?
False
Let s(m) = -m**2 + 7*m + 7. Let q be s(10). Let x = q - -38. Is x a multiple of 5?
True
Suppose -2*x - m + 447 - 144 = 0, -x + 156 = 2*m. Is x a multiple of 15?
True
Let b be -8 + 5 - (-1 + 360). Let x = -189 - b. Suppose 5*p - 4*u = 300, p + 2*p - u = x. Is 20 a factor of p?
False
Suppose 7*l = 2*l + 4*g + 195, -5*g - 25 = 0. Suppose -5*m + 10 + l = 0. Is m a multiple of 7?
False
Let u be 2/(-7) + 435/(-21). Suppose 2*q + d = -d - 74, -3*d = -3*q - 129. Let k = u - q. Is k a multiple of 9?
False
Let d = 18 - 13. Let z(x) = -x**3 + 2*x**2 + 6*x + 2. Let v be z(d). Does 16 divide v/2*(-2)/1?
False
Suppose -2*w = -5*w - p + 37, 0 = 4*w + p - 48. Does 11 divide w?
True
Is 22 a factor of ((-45)/6)/((-3)/44*1)?
True
Let h(g) = g**2 - 7*g + 7. Let v be h(7). Suppose 4*r = c + v, -2*c = r - 5*r - 2. Does 3 divide c?
True
Suppose -y - 3*i + 22 = 0, 5*i - 2*i = -9. Is 12 a factor of y?
False
Let c = 65 - 19. Is 17 a factor of c?
False
Let u(d) = -6*d + 25. Is u(-6) a multiple of 19?
False
Let g = 283 - 193. Does 24 divide g?
False
Let k = 64 - 59. Is k even?
False
Suppose -2*t = -4*t - 4. Let i be 2 - 2/(4/t). Let b = 0 + i. Is 3 a factor of b?
True
Let h(i) = i - 8. Let w be h(8). Suppose l + w*l = 50. Is l a multiple of 20?
False
Suppose -2*p - 2*p = -12. Let d be ((-26)/6)/((-1)/p). Let n = 8 + d. Is n a multiple of 19?
False
Let t(m) = -m**2 + 3*m + 2. Let b be t(3). Suppose b = -k + 5. Suppose 8*p - k*p -