ultiple of 5?
False
Let x(h) = h**2 - 4. Let p be x(2). Suppose p = 2*n + 2*n - 232. Is n a multiple of 10?
False
Let w(u) = u**2 + 6*u + 10. Is w(-7) a multiple of 12?
False
Suppose -4*u = 3*u - 875. Is 25 a factor of u?
True
Suppose 3*w - 5*a - 11 = 0, -a - a - 50 = -5*w. Suppose w = -4*h + 172. Does 11 divide h?
False
Suppose -4*z - 56 + 792 = 0. Let t = z + -127. Is t a multiple of 19?
True
Let w(g) = -g**2 - 4*g - 12. Let r(p) = p**2 + 5*p + 11. Let b(k) = 3*r(k) + 2*w(k). Let c(u) = -2*u**2 + 2. Let d be c(2). Is b(d) a multiple of 3?
True
Suppose -2*z - 5*k = -16, 15 = 2*z + 2*k - 13. Suppose -5*c = -3*c - 162. Suppose -3*n = -i + z - c, 0 = 4*n - 3*i - 89. Is 10 a factor of n?
True
Let t = 150 + -30. Does 30 divide t?
True
Suppose 43 + 20 = 3*r. Is r a multiple of 6?
False
Let k(a) = a**2 - 7*a - 10. Is 7 a factor of k(-4)?
False
Let u = 11 - 5. Does 25 divide 134/(u/3) - 1?
False
Let t(c) = -c**3 - 5*c**2 - 5*c - 1. Let v be t(-4). Suppose -5*d + 18 = 5*l - 17, v*l = -2*d + 19. Let s = 23 + l. Is 14 a factor of s?
True
Let y be (-2)/(6/9) - 192. Is y/(-27) + (-2)/9 a multiple of 7?
True
Suppose 5*o + 416 = 3*g, -6*g + g = 3*o + 236. Is 1/(-4) - o/8 a multiple of 8?
False
Suppose 0 = -3*j + 285 + 363. Is j a multiple of 36?
True
Let s(g) be the second derivative of 5/2*g**2 - 1/6*g**3 + 1/20*g**5 + 1/3*g**4 + 0 + g. Is 5 a factor of s(-4)?
False
Let d = -22 + 29. Suppose f = 5*o - 258, -3*f + d = 1. Is o a multiple of 13?
True
Let c be 60 + 4 - (1 + -3). Suppose 14 = -k + c. Is 20 a factor of k?
False
Suppose 0 = c - 46 - 28. Does 18 divide c?
False
Let u(r) = r**3 - r**2 - r + 1. Let v(f) = -4*f**3 + 9*f**2 + 4*f - 9. Let p(b) = -5*u(b) - v(b). Is p(-5) a multiple of 8?
True
Let b = 18 - -8. Let y be 0/(-3) + (-1 - -4). Suppose 5*v - b = y*v. Is 13 a factor of v?
True
Let x = -117 + -168. Does 29 divide (3 + x)/(-3) - 4?
False
Let n(p) be the second derivative of p**5/20 - p**4/12 + p**3/2 - p**2 - 3*p. Does 5 divide n(2)?
False
Suppose -4*v - 6 = -2*v. Is 22 - (-4 - v)*2 a multiple of 7?
False
Let p be (-5)/2*(-54)/45. Suppose 8 = 4*d, 0*c - 5*d = -p*c + 89. Is 7 a factor of c?
False
Suppose 0*d - 15 = 3*d. Let p = -4 - d. Suppose 3*c + p = 10. Is 2 a factor of c?
False
Let p(r) = -r**2 + 12*r + 2. Is 11 a factor of p(10)?
True
Let s(f) = f**3 + f**2 + f - 6. Let n be s(0). Let z = 32 - n. Does 8 divide z?
False
Let w(v) = v**2 + 10*v - 3. Let o be w(-9). Let u = 21 + o. Let g = u + 4. Does 4 divide g?
False
Let x = 10 + -6. Suppose 2*p + x*v - 44 = 0, p = 2*v + 22 + 8. Is 13 a factor of p?
True
Let t(k) be the third derivative of -k**6/40 - k**5/30 + k**3/6 - k**2. Suppose -5*l - 3*m = 16, 5*l + 4*m = -21 + 3. Is t(l) a multiple of 10?
False
Suppose -h - 2 = -3. Let b(o) = -o - 3*o - h + 2. Does 8 divide b(-4)?
False
Let u = 214 - 115. Is 11 a factor of u?
True
Let u be (-25)/30 - (-1)/(-6). Let w be (-1)/(u*(-1)/(-121)). Is w/4 - (-2)/(-8) a multiple of 11?
False
Suppose 5*k - 8 = 2. Let y be 17/(-5) + k/5. Is 3*((-46)/y - 1) a multiple of 15?
False
Let a = 34 - 12. Is a a multiple of 11?
True
Let q(b) = b**2 + 15*b - 7. Does 3 divide q(-16)?
True
Let f be (-8)/28 - 102/(-14). Let w = 11 - f. Is w a multiple of 2?
True
Let z(x) = -8*x**2 + x**3 - 2*x**3 - 10 - 9*x - 2*x**3 + 2*x**3. Is 2 a factor of z(-7)?
True
Suppose 40 = 3*y - 41. Is 21 a factor of y?
False
Let n(o) be the third derivative of -11/60*o**5 + 1/120*o**6 + 3/2*o**3 + 0*o - 2*o**2 + 0 + 5/12*o**4. Does 4 divide n(10)?
False
Let m = -4 + 2. Is 7 - 0 - (-4 - m) a multiple of 9?
True
Suppose -4*q = -3*f - 231, 3*q - 57 = 2*q + f. Is 15 a factor of q?
True
Suppose 2*k = c - 53, -c - 3*c + 2*k + 236 = 0. Is 18 a factor of c?
False
Let u(b) be the third derivative of -b**4/24 - b**3/3 - 2*b**2. Does 3 divide u(-5)?
True
Let a = -35 - -69. Let w = -22 + a. Does 6 divide w?
True
Suppose -6*d + 3*d = 0. Suppose 4*g + 4*a = 0, -6 + d = -3*g - a. Does 6 divide g/(0 + 1/2)?
True
Let h(g) = g**3 - 4*g**2 + 2. Let n be h(3). Let z(p) = p**2 + 7*p + 8. Is z(n) a multiple of 7?
False
Let h(n) = -n**3 + 2*n**2 + 10*n + 3. Is h(-4) a multiple of 14?
False
Suppose -3*w = -21 - 51. Is w a multiple of 12?
True
Let o be 3/1 + (11 - 9). Suppose o*r = -4*u - 0*u + 44, u = 3*r - 23. Is 4 a factor of r?
True
Let h be ((-7)/3)/(1/3). Let l be 0 - 44/((-12)/3). Let o = h + l. Is o a multiple of 4?
True
Suppose 4*j - 5*j = -18. Is j a multiple of 3?
True
Let c = -2 - -6. Suppose v - 55 = -4*v + 2*y, -61 = -c*v + 5*y. Does 9 divide v?
True
Let r be 1/(-1*(-5)/(-245)). Suppose -p - 8 = -4. Is 8 a factor of r/(-2) - (-6)/p?
False
Let d(k) = -k**3 - 9*k**2 - k - 5. Let w be d(-9). Suppose a - 4*q - 24 = 0, -a = -w*q + 3*q - 15. Does 3 divide a?
True
Suppose 0 = i - 5*i - 3*j + 58, 4*j = i - 5. Suppose -5*w + 13 = u - i, 2 = -w. Is u a multiple of 13?
False
Suppose -3*p - 4*v + 30 = 0, 0 = -5*p + 9*v - 5*v + 50. Is p a multiple of 10?
True
Let d = -9 + 14. Suppose -2*c + d*k = -45, 0 = -3*c - 4*k + 14 + 42. Suppose 0*l - 2*l = -c. Is 5 a factor of l?
True
Suppose 34 = -9*j + 538. Is j a multiple of 8?
True
Suppose -d + 171 = 2*f + f, -5*f = -2*d + 331. Is d a multiple of 29?
False
Is (-2 + -13 + -3 + 3)*-6 a multiple of 4?
False
Let s = 98 + -60. Does 11 divide s?
False
Suppose t - 148 = -t + 4*x, -2*t + x = -157. Is 10 a factor of t?
True
Suppose -2*x - 64 = 2*v - 430, 0 = -v - 5*x + 187. Does 14 divide v?
True
Suppose 0 = -n - 0*n + 58. Let c = n + -41. Is 6 a factor of c?
False
Let r = -3 - -6. Suppose r*i - 14 - 46 = 0. Is 10 a factor of i?
True
Suppose r - 10 = -r. Does 13 divide 31*2 + r + -8?
False
Let v(h) = -h**3 + 7*h**2 - h + 10. Let w be v(7). Let x = 13 - -1. Suppose 0 = w*r + 3*t, 3*t + 54 = 5*r + x. Does 2 divide r?
False
Let k be 2/12 + (-1487)/(-6). Suppose k = 5*a + 2*z + 2*z, -3*a + 3*z + 138 = 0. Is a a multiple of 16?
True
Let w = -27 - -37. Suppose 6*p + 28 = w*p. Does 7 divide p?
True
Suppose -g + 252 - 46 = 5*k, -4*g = 2*k - 68. Does 20 divide k?
False
Let z(b) = -b**3 - 2*b**2 + 2*b - 1. Let k be z(1). Let h = 6 + k. Suppose -5*n - 5*o + 115 = 0, -2*o - 106 = -h*n - 20. Does 11 divide n?
True
Let v = 91 - 16. Is v a multiple of 25?
True
Suppose 3*i + 4*q - 75 = 0, -4*i - q = -119 + 19. Let u = -11 + i. Is 14 a factor of u?
True
Let t = 11 - 2. Let k = 2 + t. Does 8 divide k?
False
Let f = 14 - 4. Is 3 a factor of f?
False
Suppose -3*t - 125 = -4*c, 5*t = -4*c + 159 + 6. Suppose -4*v - 1 = -4*k - 69, c = 3*v + 5*k. Is 8 a factor of v?
False
Does 23 divide 0 + 9/6*1196/6?
True
Suppose -2*i = -0*i - 4. Suppose 0 = -i*k + 18 - 6. Is 3 a factor of k?
True
Suppose -22 = -4*q - 2*x, -8*q + 31 = -4*q - x. Suppose 0 = i - 2*k + 56 - q, -3*i + 2*k = 163. Let m = i + 93. Is 18 a factor of m?
True
Let z = 53 + -21. Is z a multiple of 11?
False
Suppose -7 = -5*i - 4*o - 1, -2*i + 3*o = -7. Suppose -2*h = h + g - 151, 2 = i*g. Suppose m + 46 = 3*y, y = 4*y + m - h. Is 16 a factor of y?
True
Let f(k) = -k**3 + 9*k**2 - k - 10. Let m be f(9). Let r = 2 - m. Is 17 a factor of r?
False
Let b be (-4 - -6)/(-1) + 5. Suppose 22 = b*t - 11. Is t a multiple of 5?
False
Let s(u) = u**2 + 7*u + 1. Let b(g) = -g - 14. Let h be b(-6). Let z be s(h). Let w = z - 3. Is w a multiple of 3?
True
Let o(a) be the second derivative of 35*a**3/6 - a**2 - 2*a. Does 17 divide o(2)?
True
Suppose -v - 2*r + 35 = 0, -2*v + r + 72 = 3*r. Let p be v/7 - (-8)/(-28). Suppose p*b - 10 = -j, 3*j - 4*b = 5*j - 14. Is j a multiple of 4?
False
Let k be ((-12)/10)/((-9)/(-60)). Let u(y) = y**3 + 10*y**2 + 10*y + 5. Is 14 a factor of u(k)?
False
Let r = 5 - 2. Suppose -2*c + 6*c + r*g + 12 = 0, 5*c = -3*g - 12. Suppose 2*v - 4*v + 12 = c. Is 3 a factor of v?
True
Let r be (1*-2)/((-8)/(-44)). Let z = -5 - r. Does 10 divide (45/(-2))/(z/(-8))?
True
Let n(o) = 3*o + 60. Is 20 a factor of n(0)?
True
Suppose -c + 54 = k, 0 = -0*c + 2*c + 6. Is 19 a factor of k?
True
Let p(g) = g**2 - g + 14. Is p(6) a multiple of 9?
False
Suppose 0 = 3*c - 6*c + 45. Is c a multiple of 15?
True
Suppose 17*l + 60 = 21*l. Is l a multiple of 6?
False
Let k = 1 - -1. Suppose -4*x - 25 = -9*x. Suppose -k*f = x - 57. Is 10 a factor of f?
False
Suppose -2*i - 10 = -4*i. Suppose i*z - 27 = 33. Is 4 a factor of z?
True
Let q = -25 + 93. Does 34 divide 