t m be d(4). Let q(r) = 39*r. Is 19 a factor of q(m)?
False
Let q be (-6)/(232/(-114) - -2). Suppose -w + q = 5*y, -4 = -w - 3. Suppose -1 = d - y. Is d a multiple of 12?
False
Let h(a) = -a**2 + 10*a. Let d be 9 - (4 - 2)/(-2). Let r be h(d). Suppose r = 4*x - 3*x - 3. Is x a multiple of 3?
True
Let z be ((-4)/(-5))/(2/5). Suppose 0 + z = u. Let x(k) = k. Does 2 divide x(u)?
True
Let x(w) = 12*w**2 + w. Let z be x(1). Suppose -b = -5*y - z, b + 3 + 2 = -4*y. Is (3 + -3 - y) + 30 a multiple of 16?
True
Let m(i) = -i**2 - 4*i + 5. Let d(w) = w**2 - 5*w - 4. Let t be d(5). Let b be m(t). Suppose 0 = h - 5*x - 8 + 25, -65 = -5*h - b*x. Is h a multiple of 3?
False
Let c be (-61)/(1/(-1)*1). Let q = c - 37. Does 7 divide q?
False
Let o = 20 - 9. Suppose 10 = 3*d - o. Let b = d - 4. Is 3 a factor of b?
True
Let o(x) = -3*x**3 + 3*x**2 + 2*x + 2. Let z(i) = -i**3 + 8*i**2 + 8*i + 7. Let l be z(9). Does 13 divide o(l)?
False
Let n(i) = -i**3 - 4*i**2 - 3*i + 12. Does 13 divide n(-5)?
True
Let s(o) be the second derivative of o**4/12 + o**3/6 - 5*o**2/2 - 2*o. Does 7 divide s(-4)?
True
Let u = -2 + 6. Suppose -61 = -4*x - 5*p, -u*p + 4 = -0*p. Is 4/x - (-660)/42 a multiple of 7?
False
Let s be 4 + (1 - (0 - 4)). Does 7 divide 42/(-4)*(-6)/s?
True
Is 19 a factor of (-3)/6 - (-364)/8?
False
Is 26 a factor of (-110 + (-2)/(-2))*(-17 - -16)?
False
Let o(a) = 12*a**3 + a. Is o(1) a multiple of 12?
False
Suppose -3*b = -l + 5 - 2, -2*b - 2 = 2*l. Suppose y + 39 = 4*y + 3*q, 3*y - 5*q - 55 = l. Does 12 divide y?
False
Suppose 81 = -4*t + 5*b - 24, 4*b = 4*t + 108. Is 11 a factor of (-342)/t - (-2)/(-5)?
True
Let m(y) be the first derivative of -2*y**2 + 0*y - 8*y + 0*y + 2 - y. Does 7 divide m(-6)?
False
Let h be (6 - (4 - 2)) + -1. Suppose s - h - 6 = 0. Is 3 a factor of s?
True
Suppose 0 = -7*c + 444 + 60. Is 18 a factor of c?
True
Let b = -30 - -89. Let d = b + -15. Is d a multiple of 22?
True
Let v(b) = b**3 - 5*b**2 + 4*b + 4. Let k(y) = -y**3 + 5*y**2 - 5*y - 5. Let s(m) = 3*k(m) + 4*v(m). Is 14 a factor of s(6)?
False
Let s(t) = 0 - 4 - t + 0. Let q be s(-5). Is 4 a factor of (-1)/(1/((-8)/q))?
True
Suppose 3*h = -l + 71, 0 = -4*h - 4*l + 1 + 91. Is 8 a factor of h?
True
Let v(o) = -2*o - 4 + 7 - 4 + 10*o**2. Does 3 divide v(-1)?
False
Let n(o) be the second derivative of 5*o**4/12 - o**3/6 + o**2/2 - o. Let a be n(-2). Is -1 - 2/(-2)*a a multiple of 11?
True
Let u(g) = 3*g**3 + g + 1. Let x be u(-1). Let c be 13/3 + 1/x. Suppose z - 40 = -c*z. Does 8 divide z?
True
Suppose -s - s = 5*m + 45, -5*s = -4*m - 69. Does 31 divide (5 + m)/(3/(-34))?
False
Suppose 0 = v + 3*v. Suppose 5*g - 175 - 70 = v. Does 14 divide g?
False
Let c(m) = -m**2 + 7*m - 7. Let j be c(5). Suppose j*t - 196 = -t. Let v = t + -31. Does 18 divide v?
True
Let l = 327 - 139. Does 18 divide l?
False
Let t(c) = -2*c**2 + 3*c - 19. Let g(u) = u**2 - 2*u + 9. Let x(n) = 5*g(n) + 2*t(n). Is 8 a factor of x(6)?
False
Let n(q) = q**3 - 2*q**2 - 4*q + 3. Let u be n(3). Let f(k) = -k**2 - 9. Let r be f(u). Let d(p) = p**3 + 9*p**2 - 3*p - 10. Does 17 divide d(r)?
True
Let m(d) = 2*d - 7. Let o(j) = -3*j - 1. Suppose -p - 2 = g, -3*g - 5*p = -0*g + 6. Let z be o(g). Is m(z) even?
False
Suppose -3*r + 3 = 0, 3*f + r = -r + 107. Does 11 divide f?
False
Let v = -18 + 7. Suppose d + 1 + 1 = 3*r, 4*r = -d + 5. Is 7 a factor of (0 - d) + 0 - v?
False
Suppose 20 = 7*x - 2*x. Suppose 4*t = t + x*m + 11, -5*t + 2*m + 9 = 0. Suppose -5*o + t = -29. Is o a multiple of 6?
True
Let c be 4 + (-2)/4*-2. Suppose 0 = c*q, -3*j + 4*q - 1 = -7. Suppose -2*i + 10 = j*w - 2, -3*w + i = -10. Is w a multiple of 3?
False
Let q(z) be the second derivative of -z**3/2 - 5*z**2/2 + 7*z. Is q(-5) a multiple of 8?
False
Let z = 1 + 1. Let y be (2 - 2 - 0)*-1. Suppose y = -5*c + c + m + 51, c - z*m = 11. Is 13 a factor of c?
True
Let y(k) = k**2 + 2. Is 9 a factor of y(-7)?
False
Let h = -186 + 281. Is 19 a factor of h?
True
Let n = -3 + 3. Suppose n = -2*q + 2*f + 146, -2*q + 0*q - 5*f = -167. Does 19 divide q?
True
Does 8 divide -2 - (-18)/(-4)*-6?
False
Let c(g) = -g - 3. Let b be c(0). Let l(t) = -11*t. Is l(b) a multiple of 14?
False
Let v(w) = -w**2 + 9*w - 5. Is 3 a factor of v(8)?
True
Suppose 0 = d - 3*g - 93, d = -0*d - 4*g + 93. Is d a multiple of 11?
False
Suppose -4*q - 70 = -9*q. Suppose 0 = -0*z - z + q. Is 7 a factor of z?
True
Let a = 8 + 2. Suppose -6*u + 5*z = -u + a, -5*u = -3*z + 12. Is 8 + (-1)/(u/3) a multiple of 4?
False
Let j(a) = 1 + 8*a + 3*a - a. Is 7 a factor of j(2)?
True
Let j(s) = 6*s**2 + 5*s - 4. Does 36 divide j(-5)?
False
Suppose o - 4*o = 18. Does 17 divide 1000/15 - 2/o?
False
Let l = -3 + 5. Suppose 13 = i + 4*a, -5*a = -l*i - i - 12. Let q = 7 - i. Does 3 divide q?
True
Let n be (0 - -2) + (2 - -1). Let w be ((-344)/10)/(8/(-20)). Suppose 25 = n*b, -2*z + w = -3*b + b. Does 16 divide z?
True
Let l(j) = 11*j**2 - 3*j + 1. Let o = -2 - -4. Does 16 divide l(o)?
False
Let g(o) = -o**2 - 6*o - 2. Let t be g(-5). Suppose -4*b = -2*b + 16. Does 12 divide 27/(-6)*b/t?
True
Suppose 4*o + 4*g + 14 + 6 = 0, -6 = 2*o + g. Let x = o - -1. Suppose x*k = 5*k - 155. Is 13 a factor of k?
False
Suppose 0 = -7*d + 3*d + 4. Suppose -2*q = j - 11, 3*q + 2*j + d = 4*j. Does 2 divide q?
False
Suppose -3*z + 8 = -142. Does 9 divide z?
False
Let m(y) = 11*y**2 + 7*y + 10. Does 40 divide m(-5)?
False
Is 7 a factor of (-3760)/(-15) + 2/6?
False
Let i = -11 - -16. Suppose -4*r + 50 = 3*k, r + 14 + 54 = i*k. Is k a multiple of 14?
True
Let q(p) be the third derivative of -p**6/120 + p**5/12 + p**4/3 - p**3 + 12*p**2. Let a(m) = 2*m**2 - 2. Let d be a(-2). Does 6 divide q(d)?
True
Let k(f) = -f**2 - 5*f + 3. Let w be k(-5). Let m(t) = -w + 5*t - 4*t + 0. Is m(6) a multiple of 3?
True
Suppose -5*h = -c - 12, -4*h = -0*h - 3*c - 3. Suppose 0*d + h*d - 66 = 0. Is d a multiple of 11?
True
Suppose 0 = -2*u + 3*t + 9, 0 = -2*u - 3*u - 5*t - 15. Suppose u*p = 2*p - 14. Is p a multiple of 2?
False
Suppose -d - 2*y + 5 = -0, 0 = 4*y. Suppose -3*l = -3*h - 21, 3*l + d*h + 14 = 3. Is 7 a factor of 15 + -1*(-2 + l)?
True
Let p = 5 + 89. Does 11 divide p?
False
Let y(n) = 8*n**2 - 8*n - 20. Does 22 divide y(-5)?
True
Let l be (-4)/2 - (-1 - 1). Let g(q) = -q**2 + 19*q - 36. Let h be g(15). Suppose l = z, -k + h = z - 2. Is 13 a factor of k?
True
Let d = -11 + -27. Let s = d + 57. Is s a multiple of 11?
False
Let g(z) = -5*z**2 + 10*z - 4. Let v(b) = 14*b**2 - 29*b + 11. Let f(o) = -17*g(o) - 6*v(o). Let c be f(-4). Let h(w) = 12*w. Is h(c) a multiple of 7?
False
Is ((-104)/10)/(2/(-10)) a multiple of 9?
False
Let o = 1 + 1. Suppose 4*i - q = -60, 1 - 9 = o*q. Does 9 divide 27/(-2)*i/12?
True
Let p = -10 - -34. Is 24 a factor of p?
True
Suppose 0 = 2*u - 5 - 3. Does 13 divide u/(-1) + (-112)/(-2)?
True
Let f = 78 - -183. Does 29 divide f?
True
Let t be 1 - 27*(-6)/9. Let j be (3 - 1/1) + -5. Let z = t + j. Is 7 a factor of z?
False
Let v be 0 - 0/((-6)/(-2)). Suppose 2*o - 46 - 44 = v. Is o a multiple of 29?
False
Let v(j) = -3*j - 18. Does 12 divide v(-18)?
True
Let t = 4 - 2. Let g(l) = 5*l - 2*l - 4*l**t - 3 + l + 2*l**3. Does 11 divide g(3)?
False
Let k = 19 - 9. Is k a multiple of 8?
False
Let k = 140 + -83. Does 27 divide k?
False
Let u(c) = -3 + 6*c - c**3 - 7*c**2 - 7 - 2. Is u(-9) a multiple of 32?
True
Let u = -5 + -1. Let x(i) = 2*i - 1 - 2*i - 2*i. Does 4 divide x(u)?
False
Is 10 a factor of (-720)/(-75) + (-4)/(-10)?
True
Is 17 a factor of (-2)/11 - (-21905)/143?
True
Suppose -3*n - 5 = -2, -5*i + 185 = 5*n. Is i a multiple of 11?
False
Suppose 3*k + 19 - 55 = 0. Let r = k + -7. Is 5 a factor of r?
True
Suppose 39*h + 19 = 40*h. Is h a multiple of 11?
False
Let v = -22 + 67. Is 15 a factor of v?
True
Suppose 0 = 2*m + 4, m = f - 0*m - 4. Let t(z) = -z**2 + 4*z + 1. Is t(f) a multiple of 2?
False
Let k(d) = d**2 + 5*d + 8. Let o be (-28)/8*2/1. Does 19 divide k(o)?
False
Suppose 7*c = 12*c - 450. Is 18 a factor of c?
True
Let q(k) = k**3 + 2*k**2 - 4*k + 1. Does 2 divide q(-3)?
True
Suppose 0 = -v + 6*v - 60. Is 2 a factor of v?
True
Let x(w) = 3*w**2 + 16*w - 20. Is x(5) a multiple of 15?
True
Let v be (9/(-3) - 0) + 6. Is 3 a factor of 4/2 + (v - 2)?
True
Let k(w) = 2*w**2 + 4*w - 14. Is 3 a factor of k(-6)?