f x?
False
Suppose 6*p - 2*p - 4 = 0. Let c = p + -2. Let n(t) = -4*t + 1. Is 2 a factor of n(c)?
False
Let y = 117 - 78. Does 3 divide y?
True
Let q(i) = 26*i**3 + i**2 - 1. Suppose -4 + 2 = -2*s. Does 16 divide q(s)?
False
Let n(d) = -d**3 + 11*d**2 + 3*d + 7. Is n(11) a multiple of 11?
False
Let f(i) = -8*i - 2. Does 3 divide f(-2)?
False
Suppose 18 = -3*w - 0*w. Does 8 divide (-9)/(-1)*(-16)/w?
True
Suppose 46 = 5*t - 19. Is 8 a factor of t?
False
Let x(l) = -34*l**3 - 4*l**2 - 5*l + 5. Let u(r) = -34*r**3 - 3*r**2 - 4*r + 4. Let d(g) = -4*u(g) + 3*x(g). Let p be d(1). Let a = 52 - p. Is 10 a factor of a?
False
Let q = -33 - -122. Let i = q + -49. Does 11 divide i?
False
Let f(s) = -s**3 + 6*s**2 + s + 7. Let d be f(6). Let u = d + 2. Is u a multiple of 9?
False
Let k be 24/(-56) + (-38)/(-7). Suppose 0 = -5*p - 3*c + 163, 4*p + 3*c = k*c + 126. Is p a multiple of 25?
False
Suppose 3*p - p - 8 = 0. Suppose -p*m + 64 = -24. Is m a multiple of 11?
True
Let r be 1/((2 + -1)/83). Suppose w = 3*c + 176, -4*c = w - 8 + 245. Let s = r + c. Is 12 a factor of s?
True
Suppose -2*x = x + 3. Let l = x + 5. Does 4 divide l?
True
Suppose 0*x = -4*x - j + 47, 2*j = 3*x - 38. Is 6 a factor of x?
True
Let a be (-6)/(-6*3/12). Suppose a*f - 6 = 6. Is f a multiple of 3?
True
Let g(w) = -13*w + 1. Let q(m) = -12*m. Let j(o) = 2*g(o) - 3*q(o). Does 5 divide j(2)?
False
Let l(h) = -h**2 - h + 7. Let k be l(0). Let a(i) = i - 2. Is 5 a factor of a(k)?
True
Let t = 38 - 34. Let x be (12*8 - -1) + -1. Suppose -x = -t*b - 0*b. Is 8 a factor of b?
True
Suppose -13*t = -17*t + 240. Does 12 divide t?
True
Suppose 0 = -4*s + 7*s - 6. Suppose -s*t = -d + 1, t + 3*d + d - 22 = 0. Is t even?
True
Let p = 7 - 3. Does 4 divide p?
True
Let c(m) = m**3 - 3*m**2 + 4*m - 2. Suppose -5*j = 0, -5*f + 17 = -4*j + 2. Is c(f) a multiple of 3?
False
Does 10 divide (-259)/(-2) - -1*(-1)/(-2)?
True
Let v(o) = 6*o + 7. Let k(s) = -5*s - 8. Let p(u) = 4*k(u) + 3*v(u). Suppose 3*r = -4*j - 32, j + 51 - 9 = -5*r. Does 3 divide p(r)?
False
Let m = 89 + 137. Is 8 a factor of m?
False
Suppose -q + 167 = 5*m - 4*m, 183 = m - 3*q. Does 13 divide m?
False
Suppose -z = 2*m - 35, -3*z = 4*m - 99 + 26. Is 3 a factor of m?
False
Let f(o) = 4*o**2 - 5*o + 4. Let v be f(3). Suppose 4*u - 121 = -v. Does 12 divide u?
True
Let o be 4/(-1 + (-9)/(-3)). Suppose -o*n - y + 8 = -77, y + 179 = 4*n. Is 16 a factor of n?
False
Let g(c) = 0 - 16 + 5*c - 4*c + 9. Does 4 divide g(13)?
False
Suppose 2*m + 3*m - 260 = 0. Is 9 a factor of m?
False
Let x(v) = -2*v**3 - v**2 + 6*v + 6. Let q be x(-4). Let g = q - 58. Is 18 a factor of g?
True
Let z(w) = -w**2 - 10*w + 11. Is 21 a factor of z(-8)?
False
Suppose 0 = 3*l - f + 36 - 126, -2*l - 5*f = -77. Is 8 a factor of l?
False
Let c = -9 - -13. Suppose -5*d + 22 = 2*o, 5*o - c*d - 12 = 10. Is 3 a factor of o?
True
Let o(k) = 11*k - 2. Let w be o(3). Suppose -15 = -3*z, -3*z - w = -4*s - 6*z. Is 3 a factor of s?
False
Suppose 0 = 3*i - 0*i - 30. Suppose -3*a + 26 = -i. Is a a multiple of 4?
True
Let p(u) = -7*u - 13. Does 19 divide p(-5)?
False
Let h be 2/((-6)/(-21)) + -3. Let x(g) = g**3 - 3*g**2 + 2*g - 2. Is 11 a factor of x(h)?
True
Suppose -3*p - 30 = 5*h, -3*h = -h - 2*p - 4. Let q = h + 7. Suppose q*x = 3*x + 30. Does 10 divide x?
True
Let s be (1 - 4)/((-18)/204). Let a = s - 18. Does 7 divide a?
False
Let s = 71 - -9. Is s a multiple of 16?
True
Suppose j = -3 + 1. Is 4 a factor of (-4 - 1/(-1))*j?
False
Let p = 15 - -1. Suppose 4*h = 180 + p. Is 12 a factor of h?
False
Let a = -5 - -11. Does 10 divide ((-434)/(-21))/(4/a)?
False
Let v(t) = 29*t + 4. Is 11 a factor of v(1)?
True
Let r = 63 - 18. Is r a multiple of 15?
True
Suppose -3*o - 4*i - 44 = 7, -3*o + 3*i - 72 = 0. Let j = -14 - o. Let l(z) = -z + 9. Is l(j) a multiple of 2?
True
Let x be ((-2)/4*0)/2. Suppose x = 2*o + 8 + 12. Is 12 a factor of ((-24)/o)/(1/10)?
True
Let a(w) = 5*w**2 - 8*w + 11. Does 24 divide a(5)?
True
Suppose 5 = 5*f - 4*h - 139, -3*f + 79 = 5*h. Is f a multiple of 8?
False
Let t = 249 - 158. Let h = t + -64. Is h a multiple of 9?
True
Let q(k) = 3*k**3 + 2*k**2 - 3*k + 3. Let t be (-21)/(-12) + (-2)/(-8). Let h be q(t). Let p = -2 + h. Does 18 divide p?
False
Let m(w) be the first derivative of -w**5/20 + w**4/3 + w**3/6 + 5*w**2/2 + 2*w - 2. Let y(q) be the first derivative of m(q). Is y(4) a multiple of 7?
False
Let z(a) be the second derivative of a**3/6 + 12*a**2 - 2*a. Let m be z(0). Suppose 0 = -y - 7 + m. Does 6 divide y?
False
Let o(l) = l**3 + 2*l**2 - 4*l - 1. Let r be o(-3). Suppose -10 = r*c - 72. Let s = c + -3. Is s a multiple of 12?
False
Let j be (-1)/2 + (-22)/(-4). Suppose -3*t = 5*v - 5 - 301, -3*v + 2*t + 176 = 0. Suppose 0 = -3*m + j*m - v. Does 11 divide m?
False
Suppose 4*d - 25 = -9. Suppose -d*b + 36 + 4 = 0. Does 8 divide b?
False
Suppose -2*d = 3*d + 3*u - 45, -5*u - 45 = -5*d. Does 3 divide d?
True
Let f(q) = -3*q + 1 + 4*q - q**2 - 2*q**2. Let a be f(2). Let l = 13 + a. Does 3 divide l?
False
Suppose -h - 2*h = 0. Let v(d) = d + 44. Does 22 divide v(h)?
True
Let o = 6 + -4. Suppose 0 = o*h + 4*c + 4, 4*c + 6 = 2*c. Suppose 0*i - 4*u = -i + 20, 0 = -h*i + 3*u + 119. Is i a multiple of 16?
True
Let b = 0 - 0. Suppose b = -3*l + 5 + 1. Suppose 4*h + 3 - 7 = -3*w, l*w + 16 = 2*h. Is 3 a factor of h?
False
Suppose -3*s = 3 + 12, -15 = -5*o + 4*s. Let q be 10 + o + 2 + -2. Does 17 divide q/3*17/3?
True
Suppose 68 = r + 4*c, 6*c - 2*c - 16 = 0. Is r a multiple of 6?
False
Let r(f) = -f**3 + 2*f - 1. Is 10 a factor of r(-4)?
False
Let d = 9 - -63. Is d a multiple of 12?
True
Let d(w) = 125*w + 3. Is d(1) a multiple of 32?
True
Suppose -t + 6 = -4*m, 38 = -0*t - 2*t - 2*m. Let v = -7 - t. Is 7 a factor of v?
True
Suppose u + 4*u = 40. Is u a multiple of 8?
True
Let s be 10/4 - 3/(-6). Let p(u) = -u**3 + 2*u**2 + 2*u - 4. Let r be p(s). Let i = r + 19. Is i a multiple of 6?
True
Let g(t) be the second derivative of t**4/12 - 5*t**3/6 + t**2 - 3*t. Let r be g(5). Let k = r + 2. Is k a multiple of 3?
False
Let o(t) = t**3 - 4*t + 4. Let c be o(2). Let i be (1 - 0/1) + 45. Suppose 2*y + c*n = i, 2*n + 6 + 1 = y. Is 4 a factor of y?
False
Suppose -s - 3*s - 74 = -2*z, 68 = 2*z - s. Does 11 divide z?
True
Let h(a) = a**2 - 3*a + 1. Let l be h(5). Suppose -l*y = -7*y - 24. Is y a multiple of 6?
True
Suppose -6 = 5*s - 26. Suppose -5*m - 3*d + 261 = 0, 3*m - m = s*d + 94. Does 17 divide m?
True
Let w(p) = -p**2 - p + 4. Let t be w(3). Let z = t - -16. Is z a multiple of 7?
False
Let g = -37 - -90. Suppose 15*k - 14*k - g = 0. Is 14 a factor of k?
False
Let g(c) = -c**3 - 4*c**2 + c - 10. Is g(-8) a multiple of 34?
True
Let x = -10 - -20. Let b(c) = -c**3 + 9*c**2 + 10*c + 10. Does 6 divide b(x)?
False
Suppose -h = -4*h + 4*w - 86, -5*h - 3*w = 95. Let i = h + 52. Is 3 a factor of i/(-12)*(-32)/10?
False
Suppose -3*y + 309 = -2*o, -2*y - o + 284 = 71. Is y a multiple of 21?
True
Let y(h) = -h**2 + 10*h + 7. Let w be y(8). Let b = w - 14. Is 6/4*114/b a multiple of 19?
True
Let l = 85 + 23. Suppose 4*z + l - 336 = 0. Does 19 divide z?
True
Let b(s) = s**2 + 5*s + 20. Is b(0) a multiple of 3?
False
Suppose -14 = -2*r - 2*i, 10 + 13 = 3*r + 4*i. Let q(t) = t**2 + 7 - 2*t**2 - 4*t + 2*t**2. Is q(r) a multiple of 12?
True
Let u(a) = a**3 - 14*a**2 + 11*a + 30. Does 4 divide u(13)?
True
Suppose -5*w - t = -6, 4*w + 0*t = -3*t - 4. Let j(n) = 5*n**2 - n + 1. Does 8 divide j(w)?
False
Suppose 2*z - 4*z + 48 = 0. Is 12 a factor of (-1)/((-26)/z + 1)?
True
Let j = -5 + 13. Suppose 0 = 2*k - 5*g + j, -4*g + 2*g = 4. Is 2 a factor of 8/((-3)/(k/6))?
True
Suppose 4*h + 3*s + 2*s = 119, 4*h - 127 = 3*s. Let f = h - 14. Is 6 a factor of f?
False
Suppose -5 + 2 = -k. Let p(q) = -q**k - 6*q + 0*q**3 + 8 + 9*q**2 - 2*q. Is 8 a factor of p(8)?
True
Let z = -17 + 20. Is z even?
False
Let o be (8/10)/(4/30). Is (8/o)/(4/18) a multiple of 3?
True
Let q = 18 + 21. Is q a multiple of 13?
True
Let u(p) = p**3 - 8*p**2 + 7*p + 4. Is u(8) a multiple of 14?
False
Let o(n) = n**2 - 4*n + 4. Let u be o(4). Let x be (u/2)/((-2)/(-2)). Suppose -x = 2*v, 5*s + 0*v = v + 26. Is 2 a factor of s?
False
Suppose -2*x + 3*x - 32 = 0. Does 8 divide x?
True
Suppose -2*l + 67 = -77. Is l a multiple of 24?
