*p. Let y = 329 - p. Is 29 a factor of y?
False
Let k(y) = -8*y + y**2 + 16 + y**2 + 2*y**2 - 3*y**2. Let h(n) = -n + 12. Let i be h(5). Does 3 divide k(i)?
True
Let f = 908 + -589. Is 23 a factor of f?
False
Let l(g) = g**3 + g**2 - 2*g + 4. Let p be l(3). Let r = -20 + p. Is r a multiple of 3?
False
Let i be 84*8/36*-3. Let v = i + 141. Does 17 divide v?
True
Suppose 7*s + 2068 = -816. Let u = 672 + s. Is u a multiple of 49?
False
Suppose -360*l = -353*l - 4592. Does 41 divide l?
True
Let l(c) = c**2. Let k be l(-1). Let g be (0 - -4*k) + 1. Suppose 3*m + o = 47, -g = 2*m - o - 38. Does 16 divide m?
True
Let b be (3 - (3 - 3)) + -11. Let i = -13 - b. Is (-6)/4*(-7 - i) even?
False
Suppose 4*j = 40 + 8. Let s be -70*-2*(-30)/(-42). Is 9/j*s/5 a multiple of 8?
False
Suppose 2*i = -4*o + 10, i = 1 - 0. Is 16 a factor of (o + (-4 - -3))*131?
False
Is 37 a factor of (74 - 0)*9*(-92)/(-69)?
True
Is 4/1*(4 - (4 - 96)) a multiple of 32?
True
Let u = -2140 - -2250. Does 22 divide u?
True
Let n(a) = -a - 11. Let z be n(-9). Is z - -3 - (0 - (4 + 1)) a multiple of 3?
True
Suppose -5*l + 0*l + 25 = 0. Suppose l*r + 41 = 4*r. Let m = r - -70. Is m a multiple of 12?
False
Suppose -4*d + 30 = -2*k, d - 45 = 5*k - 15. Let a be (-1)/(-1 - (k + 3)). Does 2 divide a/((-1)/2)*1?
True
Let o(n) be the first derivative of 1/3*n**3 + 10 + n**2 + 5/4*n**4 + 2*n. Is o(2) a multiple of 10?
True
Let d be (12/10)/((8/(-5))/(-4)). Suppose 0 = -d*w + 5*g + 360, w = 3*w - 2*g - 236. Is 23 a factor of w?
True
Let b = 42 - -420. Is b a multiple of 3?
True
Suppose -391 = -2*o + 5*w, -3*o = 10*w - 8*w - 558. Does 34 divide o?
False
Let b(l) = -25*l**2 - 7*l - 10. Let g be b(-3). Let v = -94 - g. Does 20 divide v?
True
Let k(r) = 31*r - 171. Is k(9) a multiple of 5?
False
Let c be (-8)/(6/(-9)*-3). Let l be ((-20)/(-8) - 4)*c. Does 26 divide ((-2540)/30)/((-4)/l)?
False
Is -2 + -4 - 435/(-5) a multiple of 7?
False
Let p = 936 - 69. Does 9 divide p?
False
Suppose -40*l = 4*l - 59664. Is 137 a factor of l?
False
Let a(i) be the second derivative of -i**5/20 - 2*i**4/3 + 8*i**3/3 + 5*i**2 + 12*i. Does 10 divide a(-10)?
True
Let r = 25 + -21. Suppose -r*h = -h. Suppose -4*i + 2*i + 30 = h. Does 15 divide i?
True
Let m be 92/22 - 8/44. Suppose 6*r - 111 = r - n, m = 4*n. Is 11 a factor of r?
True
Let o = -248 - -279. Is o a multiple of 3?
False
Let z = 26 - 128. Let s = z + 146. Does 11 divide s?
True
Let a(x) be the third derivative of -x**4/24 - x**3/6 - 20*x**2. Suppose 20 = r - 5*r. Does 4 divide a(r)?
True
Suppose -4*p + 77 = -147. Is p a multiple of 18?
False
Let h = -97 + -63. Let o = -20 - h. Does 14 divide o?
True
Let z(v) = -9*v**3 + 21*v**2 - 15*v + 1. Let g(r) = 5*r**3 - 11*r**2 + 8*r. Let a(s) = 11*g(s) + 6*z(s). Does 5 divide a(-5)?
False
Suppose -w = r + w - 549, 4*w = 8. Is 27 a factor of r?
False
Suppose 4*h - 26 - 34 = 0. Suppose -8*t + 143 = h. Is t a multiple of 5?
False
Suppose 15*a - 144 - 1806 = 0. Let p = a - 91. Is p a multiple of 3?
True
Suppose -5*v + 0*t = 2*t - 2763, -12 = -3*t. Does 40 divide v?
False
Let q(a) be the third derivative of a**4/8 - 5*a**3/6 - 22*a**2. Let s be 5 - (2 + 0)/2. Is q(s) even?
False
Let w be 38/9 + 4/(-18). Suppose -13 = -w*s - 1. Let p(d) = 11*d - 4. Does 12 divide p(s)?
False
Let k = 10 - 3. Suppose -88 = 5*c - k*c. Suppose 358 = 6*p - c. Does 16 divide p?
False
Let f = -371 - -401. Let h be (-1 - 7/(-2))*-6. Let q = f + h. Is q a multiple of 3?
True
Suppose 6*p = -0*p + 30. Suppose 2*v + 0*v - 137 = -p*h, -4*v - 4*h = -256. Does 32 divide v?
False
Let s(w) = -w**3 + w**2 + w - 1. Let i(y) = 2*y**3 + 5*y**2 + 8*y - 7. Let j(k) = -i(k) + 4*s(k). Is j(-3) a multiple of 37?
False
Suppose -u = 3*k - 583 - 112, -k = -5*u - 237. Does 4 divide k?
True
Let x = 452 - 323. Let w = x + -57. Does 14 divide w?
False
Suppose -6*z + 278 = -172. Suppose -4*u + 3*b + 198 + z = 0, b = 2*u - 137. Suppose i + 2 = 0, -i - u = -5*g - 2. Does 6 divide g?
False
Let m(j) = j**3 + 24*j**2 - 5*j - 253. Is m(-22) a multiple of 33?
True
Suppose -d + 3*p + 67 = 0, -3*d + 2*p + 83 = -90. Let m be 2 - 3/1 - -108. Let q = m - d. Is q a multiple of 21?
False
Does 42 divide (56/3*-34)/(40/(-120))?
False
Suppose -8*z = -12*z + 156. Suppose 3*d + 132 = 2*j - z, -3*j + 4*d = -258. Is j a multiple of 15?
True
Let t(z) = -16*z**3 - 4*z**2 - 40*z + 7. Is t(-6) a multiple of 37?
False
Suppose 3*z - 252 = -4*j, 3*z - 2*j = 8*z - 406. Let d = 305 - z. Is 25 a factor of d?
True
Suppose o = -4*o. Suppose 3*u - 12 = -o*u. Suppose -u*m = -n + 40, 0 = 2*n + 3*m - 10 - 26. Does 15 divide n?
False
Let w be 6/(-10) + 423/5. Suppose w = 4*u - u. Does 9 divide (-708)/(-28) + (-8)/u?
False
Let u(q) = q + 2. Let h be 32/6 - 6/18. Suppose -8 = -4*i, 5*y - 4*y + h*i = 16. Is 8 a factor of u(y)?
True
Let o(i) = -i**2 - 9*i - 7. Suppose 3*c + 18 = c. Let u be o(c). Let f(q) = -q**3 - 6*q**2 + 4*q - 3. Is f(u) a multiple of 9?
True
Let j(k) = k**3 - 11*k**2 + 12*k. Let n be j(10). Suppose -n = 4*q, q - 10 = z + 2. Let o = z - -41. Does 12 divide o?
True
Let c(h) = -h**2 + 4*h + 2. Let t be c(4). Suppose t*m + 4 = 10. Suppose m*d + 40 = 151. Is 20 a factor of d?
False
Let m be 3/(-3)*-1 + 1. Suppose -m*b - 3*s + 11 = 2*s, 2*b + 4*s - 10 = 0. Suppose -39 = -b*j + 30. Is j a multiple of 8?
False
Let n = 180 + -118. Is n a multiple of 7?
False
Suppose 30*m - 4*k + 6404 = 34*m, 4*m - k = 6389. Is m a multiple of 17?
True
Suppose 0 = 2*w + 10 - 18. Suppose -w*o + 46 = 2*u, -5*u - 43 = -4*o + 38. Is o a multiple of 3?
False
Let x be 35/30 - 2/12. Let g = x + -10. Is 7 a factor of (-4 - 7/(-3))*g?
False
Let u = -108 - -297. Let x = u + -120. Is x a multiple of 14?
False
Let k(n) = -16*n**2 + 12*n**2 + 3*n**2 - 2*n - 12 + 12*n. Is 2 a factor of k(5)?
False
Is (-2 - 1)/(30/(-5860)) a multiple of 25?
False
Suppose -8*p = -0*p + 720. Let g = -64 - p. Is g a multiple of 12?
False
Suppose x + x = 2. Let b = x - 0. Is 7 a factor of 7 + (b - (-1)/(-1))?
True
Let t be ((-6)/(-5))/((-16)/(-40)). Suppose t*r - 2*r - 3 = 0. Suppose 3*x - 4*k = 5 + 5, 3*x = r*k + 12. Is x a multiple of 2?
True
Let q = 18 - 5. Let t be (19 - 24)/(1 - 21/6). Let k = q - t. Does 2 divide k?
False
Let z = 306 - -54. Is 40 a factor of z?
True
Let q(j) = -10*j + 5. Let s be q(-15). Suppose -y - 290 = -5*x + s, -5 = -y. Is x a multiple of 15?
True
Is 16 a factor of (-13 + 1)/(90/(-2760))?
True
Suppose p + 4*p + m = 259, -2*p + 98 = -m. Is p even?
False
Let p = -573 - -1409. Does 33 divide p?
False
Let z = 1333 - -146. Is 29 a factor of z?
True
Is 3*(-6)/117 - (-4227)/13 a multiple of 25?
True
Let r = 411 + -361. Is 10 a factor of r?
True
Let s = -134 + 179. Is s a multiple of 4?
False
Let z(c) = c**3 + 18*c**2 - 17*c - 28. Is 11 a factor of z(-15)?
True
Let s = -76 - -30. Let k = s + 94. Is k a multiple of 24?
True
Suppose 3*l = y - 2*l - 438, 5*y - 4*l = 2085. Is 32 a factor of y?
False
Let v = -217 - -538. Suppose 0 = z + 4*o - 104, 614 = 5*z + 3*o + 179. Suppose -z = -5*l + v. Is 14 a factor of l?
False
Let c be ((-6)/(-8))/(30/80). Suppose 0*w - 5*w + c*z = 20, 6 = 2*w + 2*z. Is 27 a factor of w/(-6) - (-1704)/18?
False
Let d = 53 - 48. Suppose -a + 38 = u - 3, 3*a - 211 = -d*u. Is 11 a factor of u?
True
Let f(r) = 5*r**2 - r - 1. Let x be f(-1). Suppose 5*j - 259 = -2*q, -x*q = -0*q + 2*j - 637. Is q a multiple of 33?
False
Let f = 3 + 0. Suppose 5*w + 1 = 4*w - f*y, 5*w = 3*y - 77. Let i = w - -24. Is 5 a factor of i?
False
Let p(w) be the third derivative of -w**3 + 0 + 1/6*w**5 + 7/24*w**4 + 1/120*w**6 + 0*w + 6*w**2. Is 23 a factor of p(-8)?
False
Let x(n) = n**2 + 4 - n - n + 0*n**2. Let q be x(2). Suppose -q*k = -w - 15 - 19, -4 = -2*w. Is k a multiple of 5?
False
Suppose -1844 = -11*a + 48. Is a a multiple of 7?
False
Is (-1)/(-6)*-543*-4 a multiple of 12?
False
Suppose 5*v = 3*v + 5*z + 143, -5*v + z = -346. Suppose 6*g - g = -4*q + 31, 0 = 2*q - 5*g + 7. Suppose -q*r + v = -207. Does 18 divide r?
False
Suppose -v = 2*v + 4*l - 83, -6 = -3*l. Suppose 4*s + 8 = 0, -2*j = 4*s + v - 89. Let d = 55 - j. Is 6 a factor of d?
False
Suppose -u = z + 11, -33 = -3*u + 6*u + 2*z. Let j = 40 - 19. Let i = u + j. Is i a multiple of 3?
False
Let j(f) = 4*f**2 + 9*f - 23. Let l be j(5). Let o = -47 + l. Is o a multiple of 15?
