ose 2*j + 5*c - 4 = 0, -c - 6 = -4*j + 24. Let a(o) = -3*o**2 + 2*o**2 + j + 8*o + 4*o. Does 14 divide a(11)?
False
Let u(h) = -h**2 + 12. Suppose -3*o + 10 = -2*g + 4*g, 2*o = g + 2. Suppose -o*a = 2*a. Is 6 a factor of u(a)?
True
Suppose 2*c - 7 + 1 = 0. Suppose 0 = -c*v + 3*y - 2*y + 19, y = -v + 1. Suppose -v*m = -25, -x + 6 + 14 = -4*m. Does 14 divide x?
False
Let g(o) = o**3 + 12*o**2 - 9*o + 7. Is 12 a factor of g(-12)?
False
Let s = 89 - 45. Does 13 divide s?
False
Let x be (-2)/2*(0 - 5). Suppose 3*o = -9 - 0, 2*y = x*o + 25. Suppose -y*s + 49 = -4*s. Is 13 a factor of s?
False
Suppose 4*d + 2 = 10. Suppose 3*u - 6 = -m + 6, 2*m = 0. Suppose -d*o = -u*o + 40. Is o a multiple of 10?
True
Suppose 0 = 2*i + 251 + 45. Let t = i - -222. Does 20 divide t?
False
Let x(r) = -r**3 - 11*r**2 - r - 9. Let g be x(-11). Suppose -g*h = h - 111. Is h a multiple of 10?
False
Is ((-18)/(-27))/((-2)/3) + 152 a multiple of 25?
False
Let w(v) = -5 + v - v**2 - v**3 + 14 + 0*v**2 + 4. Let r = 1 + -1. Is 13 a factor of w(r)?
True
Is (-10)/((-4)/56*14/24) a multiple of 24?
True
Suppose -373 + 38 = -5*p. Does 7 divide p?
False
Suppose 4*r = 4*v - 12, 7 = 2*v - 0*r - 3*r. Suppose 0 = 4*c - 4*s - 176, -2*c + c + v*s = -46. Let y = 69 - c. Is 10 a factor of y?
False
Let s(j) = -j**3 + 5*j**2 + j. Let x be s(5). Suppose -x*l + d + 30 = 0, 3*d - 1 + 0 = 2*l. Is l a multiple of 7?
True
Let x = 139 - 97. Is 14 a factor of x?
True
Let v(i) = -9*i + 1. Let y(l) = l**2 + 5*l - 3. Let f be y(-5). Is 14 a factor of v(f)?
True
Suppose -7 = h - 3*j + 4, 4*j = 20. Is h even?
True
Suppose 4*r + r = 285. Let t = r + -21. Suppose -2*d + 4*d - t = 0. Is 18 a factor of d?
True
Let y(p) be the second derivative of 0 - p + 1/12*p**4 + 0*p**3 + 5/2*p**2 - 1/20*p**5. Is y(0) even?
False
Let p = -52 + 77. Does 19 divide p?
False
Let v(j) = j**2 - j. Let n(h) = -3*h**2 - 5*h + 4. Let a(c) = n(c) + 6*v(c). Is a(7) a multiple of 25?
False
Suppose 5*l = -3*x + 12 + 228, 0 = -2*x. Suppose -4*i + p = 4*p - l, 24 = 2*i + 2*p. Does 4 divide i?
True
Suppose n - 46 = -0*n. Suppose 0 = 3*f - 2*u - 76, 0 = 2*f + u - n - 14. Let r = f + -13. Is 11 a factor of r?
False
Let r(u) = u**3 + 7*u**2 + 4*u - 7. Let m be r(-6). Suppose -19 = -4*v + 5*o, 3*v + m*o = -0*v + 23. Let l(i) = i**3 - 6*i**2 + 7. Does 4 divide l(v)?
False
Let d(n) = 4*n**2 - 1. Let r be d(1). Let y(z) be the second derivative of z**5/20 - 5*z**3/6 + z**2 - 2*z. Is y(r) a multiple of 14?
True
Let a(p) = 30*p. Let y(j) = -j. Let i(o) = -a(o) - 50*y(o). Is 8 a factor of i(1)?
False
Let o(u) = u**3 + 12*u**2 + 11*u + 12. Is 22 a factor of o(-10)?
False
Suppose -4*f + 92 = -60. Is f a multiple of 18?
False
Suppose -3*k - 15 = 0, k + 2*k = 3*t + 12. Let r = -4 - t. Is r a multiple of 5?
True
Let s = 8 - 12. Is (175/(-28))/(1/s) a multiple of 10?
False
Let j = 10 + -13. Does 11 divide ((-132)/16)/(j/8)?
True
Let m be -1 + 102/(2/1). Suppose 5*z + 15 = 0, -m = -2*c - 2*c - 2*z. Suppose 6*j - 4*j = c. Is 3 a factor of j?
False
Let k = -8 + 6. Is 11 a factor of k/11 + (-492)/(-44)?
True
Suppose -5*t - 15 = 30. Let s = 41 + t. Let d = s - 2. Does 15 divide d?
True
Suppose -5*h = 5*f - 640, -2*h = -4*f - 123 + 659. Is 11 a factor of f?
True
Does 10 divide 3 + ((-16)/10)/(6/(-60))?
False
Suppose 2*h + v = 8, 5*h - 4*h = 3*v - 3. Let o be (-2)/3 + 8/h. Suppose -o = s - 12. Is 4 a factor of s?
False
Let h(r) = r - 16. Let w be h(6). Is 42/w*(-120)/8 a multiple of 21?
True
Let w be (-117)/(-27) - 1/3. Let f be w/12 - 4/(-6). Is 10 a factor of 22 - (f - 0 - 2)?
False
Is (4/10)/(5/925) a multiple of 9?
False
Let s(i) = -2*i**2 + 22*i - 13. Is s(10) a multiple of 7?
True
Let s be (35/(-15))/(1/(-3)). Suppose s*o - 9*o = -44. Is o a multiple of 11?
True
Is ((-36)/15)/((-6)/40) even?
True
Suppose v = 5*v - 240. Suppose -4*u - 2*j + 225 = -j, u - v = j. Is u a multiple of 19?
True
Let a(j) = -j**2 - 15*j - 8. Let t be a(-12). Let d = t + -20. Is 8 a factor of d?
True
Let m(i) = i**3 + 2*i**2 + 3*i + 4. Is 31 a factor of m(3)?
False
Suppose 5*p - 2*h - 35 = 0, 3*h + 1 + 19 = p. Suppose -g - p*s = -18 - 14, 3*s = g. Does 12 divide g?
True
Suppose 39 = -4*t - 3*l, l - 6*l = -2*t + 13. Let b be (-38)/(-6) - 1/3. Is (t/b)/((-1)/12) a multiple of 5?
False
Let a be (-2)/(4/3)*2. Let n(w) be the third derivative of -w**6/60 - w**5/20 - w**4/24 - w**2. Does 15 divide n(a)?
True
Let f(a) = -a + 12. Is f(10) even?
True
Is 15 a factor of (-3 + 490/6)*9/6?
False
Suppose 4*a + a = 105. Let b = -47 - a. Let y = -34 - b. Does 17 divide y?
True
Let j(g) = 24 + 0*g + 1 - g. Let c = 19 - 19. Is 14 a factor of j(c)?
False
Let f(j) = 0 - 2 + 3*j - 5*j + 3*j**2. Does 14 divide f(-2)?
True
Let c be 0/(0/(-3) - -2). Suppose c = b + 2. Does 10 divide (11 - -1)*(-3)/b?
False
Suppose 2*o + 33 = 4*p - 33, 5*o - 45 = -5*p. Suppose 2*g + 16 = 3*w - 3, -4*w - 3*g + p = 0. Does 3 divide w?
False
Suppose -9 = -6*u + 3*u. Suppose 2*w + 270 = 2*a, 5*a + 2*w - 35 = 675. Suppose -4*i + 0*d + a = 2*d, -u*i = 2*d - 106. Is 15 a factor of i?
False
Let l = -8 - 4. Is (-80)/l - (-4)/(-6) a multiple of 2?
True
Suppose 0*a - 4*a - 4*r + 32 = 0, 3*a = 4*r - 11. Suppose 2*j - 85 = -5*m, 4*m - 4*j + a*j = 68. Is m a multiple of 13?
False
Let i(j) = 6*j + 1. Let z = -16 - -27. Is 12 a factor of i(z)?
False
Let f(y) = -y**2 + 6*y - 5. Let i be f(4). Is i*(-39)/27*-3 a multiple of 13?
True
Suppose -3*i = i - 8. Suppose -3*q = -i*q - z - 13, -4*q - 5*z = -52. Does 6 divide q?
False
Suppose 2*a - 4*a = -104. Does 11 divide a?
False
Suppose -2*s + 198 = -0*s. Does 24 divide s?
False
Suppose -4*o + 9*o = -4*g - 4, 0 = 5*g - 5*o + 5. Let h be g + 8 + -2 + 0. Let q(w) = w**3 - 5*w**2 + 6*w. Is q(h) a multiple of 15?
True
Let z(y) = y + 13. Let w be z(-6). Let j = 16 - w. Let b(s) = -s**2 + 13*s - 12. Is 13 a factor of b(j)?
False
Suppose -3*h = 2*h - 4*g - 150, -165 = -5*h + g. Is 17 a factor of h?
True
Let n = -8 - -14. Let p = -4 + 12. Is 2 a factor of (-19)/(-4) - n/p?
True
Let d(o) = o**2 - 1. Let m be d(-2). Suppose -m = -0*t - t. Suppose -t*g - g - 3*f = -82, -4*g + 5*f = -98. Is g a multiple of 13?
False
Suppose -5*h + 63 = -32. Is h a multiple of 9?
False
Suppose -y - 675 = -6*y. Suppose -4*d - d = -y. Suppose 0 = 2*z + 2*z - 5*k - d, -k - 12 = -3*z. Is 3 a factor of z?
True
Let k = -56 - -82. Is 13 a factor of (k/(-4))/((-1)/2)?
True
Suppose -5*k - 4*t = -9*t - 455, 0 = -t - 1. Is 20 a factor of ((-15)/9)/((-3)/k)?
False
Suppose -3*r + 294 + 57 = 2*w, 3*w + 3*r - 531 = 0. Is w a multiple of 15?
True
Let z(p) = p**2 + 11*p - 9. Let g be z(-10). Let f = -13 - g. Is 4 a factor of f?
False
Let t(r) be the second derivative of r**5/20 - r**4/2 + r**3/6 - 5*r**2 + r. Is 23 a factor of t(7)?
True
Let h = 13 - 3. Does 5 divide h?
True
Let u(s) = 4*s**2 - 4*s - 3*s**2 + s**2 + s**3 - 1. Let r be u(-3). Is 7 a factor of r/6*(4 - -59)?
True
Let v be 4 + -1 + 0 - 39. Let i = v - -50. Is i a multiple of 14?
True
Is 18 a factor of (24/14)/(14/441)?
True
Suppose -3*n + 14 = -n. Let v = 4 + n. Is 11 a factor of v?
True
Suppose -y - 6 = -4*y. Suppose -4*n + 4 = 6*d - 2*d, y*n = -3*d. Is 3 a factor of n?
True
Let w(s) = 3*s**2 - 3*s - 3. Is w(-2) a multiple of 5?
True
Let l = 12 + -8. Suppose 4*i - 4*k = 0, l*k - 7 = -i + 13. Suppose -2*d + 72 = -i*n, 12 = d - 0*d + 4*n. Is 14 a factor of d?
True
Let v(p) = p**3 + 4*p**2 - p + 1. Let a be v(-5). Let t = 21 - a. Suppose 5*b = 45 + t. Is b a multiple of 13?
False
Suppose 3*l = -l + 112. Suppose -4*s - 8 = -5*w - s, 3*s - l = -4*w. Suppose -i + 0*a = 3*a - 14, -i = -w*a + 14. Does 2 divide i?
True
Suppose g - 3*c = -2*g + 120, -5*g = -4*c - 202. Does 14 divide g?
True
Is (-1244)/(-28) + (-8)/(-14) a multiple of 9?
True
Let j be (0/(-2))/(2 - 1). Let i be (-3 - j/2) + 6. Suppose 0*z - i*z + 72 = 0. Is z a multiple of 9?
False
Let k(y) = y + 1. Let f(o) = o**3 + 2. Let b be f(0). Let m be k(b). Is (-2)/m + (-150)/(-9) a multiple of 6?
False
Let h(s) = 2*s**3 + 3*s**2 + 6*s + 1. Let m be h(5). Suppose 0 = 3*d + 4*z - 173, z - 60 = 5*d - m. Is d a multiple of 20?
False
Let y(s) = s**2 + 7*s + 1. Let j be y(-3). Let a = j + 44. Is a a multiple of 19?
False
Suppose 193 = 4*d - 23. Let g = d - 21. Does 11 divide g?
True
Let h(k) = -k - 4. Let z(t) = 6. Let j(p) = 1. Le