tiple of 35?
True
Let i(v) = 3*v**2. Let s(m) = -m**3 + 5*m**2 + 5*m + 8. Let d be s(6). Suppose -q - d + 0 = 0. Is 12 a factor of i(q)?
True
Suppose 6*t = -3*t + 378. Is 7 a factor of t?
True
Does 16 divide ((-453)/(-12) - 6) + (-2)/(-8)?
True
Let v be (-4)/6*(-21)/(-2). Let c = v + 5. Is 17 a factor of -74*(3/c - -1)?
False
Is 0 + 1/7 - (-517)/7 a multiple of 16?
False
Let k(z) be the third derivative of 0 - 1/60*z**6 + 0*z**3 + 0*z - 2*z**2 + 1/8*z**4 + 1/30*z**5. Is 9 a factor of k(-2)?
True
Let i = 12 + -6. Let c = -2 + i. Is 3 a factor of c*1 + (3 - 2)?
False
Suppose -3*b + 40 = -5*o + 9, b - 27 = 5*o. Suppose 5*p + s - 85 = -b*s, -5*p + s + 65 = 0. Does 5 divide p?
False
Let l(m) = -6*m**3 - m**2 + 2*m - 1. Let n be l(1). Does 9 divide n/1*(-9)/2?
True
Suppose -111 = -3*f - 3*z, 0 = 4*f + z - 94 - 39. Suppose 4*u + f = 5*u. Is 16 a factor of u?
True
Let f = 315 + -133. Is f a multiple of 13?
True
Suppose -5*z + 3*z = -2*l + 6, -18 = -2*l - z. Let o = l + 33. Is 6 a factor of o?
False
Suppose 0 = 5*m - 2*d - 148, -4*m - 3*d = d - 124. Is m a multiple of 6?
True
Suppose -22 + 82 = g. Is g a multiple of 8?
False
Let c = -27 - -47. Is (46/5)/(8/c) a multiple of 23?
True
Let w(z) = z**2 + z + 26. Is 26 a factor of w(0)?
True
Let n = 19 - 13. Let v be (-9)/n*2 + 0. Is (-61)/(-5) + v/15 a multiple of 6?
True
Suppose 5*l - 17 = d + 10, 3*l - 54 = 2*d. Let r = -12 - d. Is 7 a factor of r?
False
Let d(g) = -g**3 + 6*g**2 + 7*g - 12. Is 20 a factor of d(6)?
False
Let u = 5 + 1. Suppose 3*v = 18 + u. Suppose v*g - 3*g = 130. Does 13 divide g?
True
Let x(p) = p**2 + 8*p + 12. Suppose 0 = 2*m - 52 - 4. Suppose -m = 3*d - 4. Is 5 a factor of x(d)?
False
Let y = 42 - -5. Does 13 divide y?
False
Suppose -3*m + 6*f = f + 31, -26 = 2*m + 2*f. Does 6 divide (1 - (-9)/(-6))*m?
True
Let l = 5 + 2. Let h = 16 - l. Is 3 a factor of h?
True
Suppose 0 = 4*v - 9 - 7. Suppose t - v*t = -15. Is 5 a factor of t?
True
Let v = 32 + 3. Let q = 65 - v. Is q a multiple of 10?
True
Let d = 4 + 18. Is d a multiple of 11?
True
Suppose 0 = h - 4 - 6. Does 5 divide h?
True
Suppose 9 = -b + 33. Is b a multiple of 8?
True
Suppose -c + 4*i = -36, 6*c + 2*i - 66 = 3*c. Is c a multiple of 3?
True
Let m = 467 + -94. Does 12 divide m?
False
Let w be 2/7 + 95/35. Suppose -2*x - 99 = -3*g - 16, -x = w*g - 71. Suppose 3*m - 10 = -2*n + 41, 5*m = -g. Is 9 a factor of n?
False
Let v(u) = u**3 - 5*u**2 - 6*u - 4. Let p be v(6). Let r(b) = -4*b - 8 + 8. Does 16 divide r(p)?
True
Let q(a) be the third derivative of a**6/60 - a**5/20 - a**4/8 - 2*a**3/3 - 4*a**2. Does 14 divide q(3)?
True
Does 11 divide -2 + 1 - (2 + -88 - 3)?
True
Let h = -21 - -109. Does 44 divide h?
True
Let b(h) be the third derivative of -3*h**6/40 - h**5/30 - h**4/24 - 2*h**2. Let a be b(-1). Does 6 divide (a/(-10))/(14/(-175))?
False
Let x(f) = -f**2 + 8*f + 3. Let b = -13 + 22. Let p be x(b). Let w(a) = a**3 + 7*a**2 - 4*a. Does 17 divide w(p)?
False
Suppose -936 = -5*h - b, -408 = -4*h + 5*b + 364. Suppose -k - 3*k = -h. Is k a multiple of 13?
False
Let l = 71 - 9. Suppose 55 + 77 = 6*o. Let f = l - o. Is f a multiple of 18?
False
Let d = -21 + 145. Is 9 a factor of d?
False
Let u(h) = -1 - 3*h + 4 - 3 - 1. Is 13 a factor of u(-10)?
False
Let q be 3/(-2) + 11/22. Is 3 a factor of -8*(q/(-2))/(-1)?
False
Let i(f) = -f**3 - 5*f**2 + 6*f + 11. Is i(-6) a multiple of 11?
True
Let n be 75/12*(-16)/(-2). Suppose -5*l = -0*l + n. Let h(b) = b**2 + 6*b - 12. Is 16 a factor of h(l)?
False
Suppose 0 = 5*i - 25 - 30. Suppose 3*c = 2*k - 6, -k - 3*c = 4*k + 27. Let h = i - k. Is h a multiple of 14?
True
Suppose -3*p = -4*p - 27. Let k = -15 - p. Is k a multiple of 12?
True
Let n(x) = 8*x + 4. Does 14 divide n(7)?
False
Let v(f) = f + 15. Let q(o) = -o**2 - 9*o. Let p be q(-9). Is 15 a factor of v(p)?
True
Suppose 7*y - 1093 = -267. Is y a multiple of 7?
False
Does 12 divide 2/3 + 34/3?
True
Suppose -5*d = -4*m - 12, 2*m - d + 0*d = 0. Suppose m*k - 17 - 13 = 0. Is k a multiple of 15?
True
Let p(f) be the second derivative of -f**5/20 + 7*f**4/6 - 5*f**3/3 - 2*f**2 - 2*f. Does 11 divide p(13)?
False
Let f = 16 + 20. Does 18 divide f?
True
Suppose 0*r = 4*r - 172. Is 9 a factor of r?
False
Is 12 a factor of (-376)/(-4) - 1 - (0 - 3)?
True
Let u = 17 + -28. Let s = -7 - u. Does 2 divide s?
True
Suppose 9*q - 4*q - 205 = 0. Is 5 a factor of q?
False
Does 2 divide 24 - (3 - (-1 + -1))?
False
Let l(i) be the second derivative of i**4/12 - 5*i**3/3 + 3*i**2 - 4*i. Suppose -3 = -v + 7. Is l(v) a multiple of 3?
True
Is 6 a factor of 29/5 + (-2)/(-10)?
True
Suppose -2*z = -5*o - 127 - 257, 4*z + 3*o = 716. Is 12 a factor of z?
False
Suppose 3*y - 104 = 106. Is 32 a factor of y?
False
Let d(a) = a**3 - 5*a**2 + 3*a + 5. Let s be d(4). Let r be -3 + (-24 - (s + 2)). Let i = r - -60. Does 15 divide i?
True
Let b(l) = 2 - 1 - l**2 + l + 11. Let z be b(0). Suppose -j = 2*j - z. Does 2 divide j?
True
Let y be (-31 - 1)*(0 + -1). Suppose -g - y = -5*g. Does 4 divide g?
True
Let d(r) = 11*r**2 + 5*r + 3. Let u = -1 + -2. Is 14 a factor of d(u)?
False
Let r(v) = v**3 - 5*v**2 + v + 4. Is 23 a factor of r(6)?
True
Let o = 69 - 38. Let v = -22 + o. Is v a multiple of 4?
False
Let z(d) = -d**3 + 4*d**2 + d - 4. Let k be 1/3 - 16/(-6). Let o be z(k). Let u = o - -2. Is u a multiple of 10?
True
Let a be -2 - ((2 - 2) + -24). Suppose -a = -r - r. Is r a multiple of 5?
False
Let s = -3 + 0. Let f = 0 - s. Is 2 a factor of f?
False
Let u = 137 - 93. Suppose -y + 3*f - 47 + 11 = 0, 3*y + 5*f = -66. Let w = y + u. Does 11 divide w?
False
Suppose 690 = -y + 11*y. Is y a multiple of 19?
False
Let t(l) = l**3 - 5*l**2 - 3*l + 9. Is t(6) a multiple of 9?
True
Let k(u) = u**2 + 1. Let n be k(-2). Suppose 0 = 3*b + 4*p - 44, -b = -3*b + n*p + 14. Is 4 a factor of b?
True
Let f(n) = -n**3 - 19*n**2 - 10*n - 4. Does 32 divide f(-19)?
False
Let m(t) = -3*t - 3. Let b be m(-2). Suppose -b*p - 2*p = -245. Is p a multiple of 25?
False
Suppose 3*u + 5*p = 2*u + 40, -2*u = -3*p - 119. Is u a multiple of 11?
True
Suppose 0 = 130*x - 133*x + 420. Is x a multiple of 9?
False
Let d be (4/(-6))/((-2)/6). Let f(y) = 8*y - 3. Is f(d) a multiple of 5?
False
Let h = 8 + 43. Suppose -a = -4*x - h, 4*a + 3*x - 124 = -x. Is a a multiple of 18?
False
Is (1/(-2))/((-21)/588) a multiple of 4?
False
Suppose -5*v + 280 = 3*v. Is v a multiple of 23?
False
Suppose 8*b = 74 + 358. Does 16 divide b?
False
Let w(m) = m**2 - 10*m - 27. Does 13 divide w(-8)?
True
Let j be 2 + 3 + 0 + -8. Let d be j + 14*1/2. Suppose -12 = -d*r + r. Is 4 a factor of r?
True
Let y be ((-2)/6)/((-4)/24). Let o = y + 2. Suppose 2*b + 26 = o*b. Is b a multiple of 13?
True
Is 23 + -24 - 1*-16 a multiple of 5?
True
Let m be -1 + (2 - (-11)/(-1)). Is 5 a factor of (m/3)/(3/(-9))?
True
Suppose -m - 21 = -4*f, -m + 4*f - 23 = 2*m. Let z be (0/2)/(2 + m). Suppose 9 = 3*t, z*h - t - 27 = -h. Is h a multiple of 15?
True
Suppose 10*j - 4*w - 460 = 5*j, 4*w - 276 = -3*j. Is j a multiple of 35?
False
Let v(t) = 4*t - 1. Let q be v(2). Let a = -4 + q. Is 11 + 6/a + -1 a multiple of 8?
False
Let p(b) = 19 + 23 - 33 + 5*b. Is 13 a factor of p(8)?
False
Let t(z) = -z**2 + z - 3. Let y be t(0). Let v = y - -8. Is v a multiple of 3?
False
Suppose 0 = 4*z - 0*z - 372. Let t = z + -138. Let k = t - -87. Is 14 a factor of k?
True
Suppose -312 = -5*c + m, -94 = -4*c - 5*m + 144. Is 21 a factor of c?
False
Suppose -3*l - l - 44 = -2*k, -k + 3*l = -21. Is k a multiple of 4?
True
Let a(o) = -o**3 + o**2 - 4*o - 6. Is 11 a factor of a(-3)?
False
Let w = -34 - -52. Let v = 13 + 44. Let o = v - w. Does 18 divide o?
False
Let b = 5 + -6. Is 48/(b/4*-6) a multiple of 16?
True
Let k(t) = 3*t**2 + 6*t + 4. Does 6 divide k(-4)?
False
Is (-1065)/3*9/(-45) a multiple of 24?
False
Let p(u) = u**3 + 6*u**2 - 2*u + 2. Is 26 a factor of p(-3)?
False
Suppose 5*l = -4*i + 141, 0*i + 4*i + l - 121 = 0. Does 11 divide i?
False
Suppose 4 = -4*n - 20. Does 9 divide (-1)/(-2) + (-105)/n?
True
Suppose -22 = -3*h - 1. Does 7 divide h?
True
Let d(g) = -g**3 + 7*g**2 + 7*g + 8. Does 14 divide d(6)?
False
Let c(i) = -i - 3. Let f be c(-3). Suppose -2*w + 6*w - 44 = f. Is w a multiple of 7?
False
Suppose 0 = 4*o - 34 - 78. Is 4 a factor of o?
True
Suppose -2*l