 + 3*p(o). Let d be i(-1). Suppose -3*s + 244 = 4*b + 34, -d*b = 3*s - 216. Is 21 a factor of s?
False
Let k = -806 - -1189. Suppose -k = -5*v - d, -2*d = 5*v - 3*d - 387. Does 36 divide v?
False
Suppose -6 = -d - 1. Suppose -9 = -d*u + 1. Suppose -2*f + 4 = -f - u*l, 44 = 5*f - 4*l. Is f a multiple of 9?
False
Suppose 2*n = -5*c - 90, -3*c + 11 - 39 = -4*n. Let f = c + 16. Let h(m) = -m**3 + m**2 + m + 30. Is h(f) a multiple of 9?
False
Let v = 3170 - 2258. Does 16 divide v?
True
Suppose q - 72 = -3*q. Suppose 16*i - q*i = -184. Is 12 a factor of i?
False
Suppose f + 4*x = 57 + 76, -4*f + 520 = 4*x. Does 3 divide f?
True
Suppose 2*y + 5*g - 407 = 385, 0 = -4*y + 2*g + 1584. Is 11 a factor of y?
True
Suppose 19*l = 22*l - 4*q - 1390, -2*l = q - 945. Is 29 a factor of l?
False
Suppose -207*w + 4410 = -200*w. Does 32 divide w?
False
Suppose -6673 = -3*l - 9*j + 10*j, 2*l - 2*j = 4442. Is l a multiple of 41?
False
Let z be 4/(-6) + 1 + (-50)/15. Let i(o) = -12*o**3 + o**2 + 3. Does 16 divide i(z)?
True
Suppose 0 = -8*p - 13*p + 7371. Is 39 a factor of p?
True
Let o(u) = -5 - 5*u + 2*u + u. Let v(m) = -2*m**3 + 3*m**2 + m - 6. Let i be v(2). Is 3 a factor of o(i)?
False
Suppose -u - 20 + 132 = 2*l, -2*u + 248 = -2*l. Does 24 divide u?
True
Let c(k) = 7*k**2 - 9*k + 10. Does 4 divide c(5)?
True
Suppose 2*k - 2*x + 0 = -2, 5*k - 3*x = 1. Suppose -4*d + 8 = p, 0*p = -k*p + 3*d + 16. Does 4 divide p?
True
Let r be 1*(-4)/(16/(-12)). Suppose -39 = -4*n + r*w + 104, -3*n + 104 = w. Does 7 divide n?
True
Let f(n) = -n**2 - 5*n - 2. Let g be f(-5). Is 5 a factor of -95*g/10 - (1 - 2)?
True
Let k be 2/7 - 668/(-14). Suppose -5*v = -k - 12. Is 16 a factor of (-287)/(-6) - (-2)/v?
True
Suppose 17*l - 12*l - 5 = 0, 5*l - 1237 = -2*n. Is 22 a factor of n?
True
Let l = -617 + 396. Is 25 a factor of l/(-3) + 104/78?
True
Suppose 1073 + 343 = 4*u. Suppose -4*m - 3*s = -u, 186 = m + m - 3*s. Does 9 divide m?
True
Let k = 46 + -44. Suppose 580 = 8*p + k*p. Is 9 a factor of p?
False
Let u be (-12)/15 - (2498/(-10) + -2). Suppose 4*k = -3*y + 56 + 116, -4*y - k + u = 0. Is 12 a factor of y?
False
Let h(g) = 12*g**2 + 22*g - 74. Is h(4) a multiple of 11?
False
Suppose 2*v = -0*v + 5*h - 1239, 4*h = 3*v + 1876. Is 2/5 + 4 + v/(-20) a multiple of 12?
True
Let z(x) = 43*x**3 + x**2 - 2*x. Let w = 67 - 66. Does 40 divide z(w)?
False
Let b = -2399 - -7614. Is 4/18 + b/63 a multiple of 26?
False
Let f = -1291 - -2787. Is 16 a factor of f?
False
Let i(v) = -v**3 - v**2 - v + 2. Let y be i(-2). Suppose -3*f = -m + 37, -f = 2*m - y - 31. Is m a multiple of 6?
False
Let i be ((-5)/(-10))/(1 + 15/(-18)). Is (2 + 8/(-3))*-573 - i a multiple of 20?
False
Let m(y) = y**3 + 15*y**2 - 9*y - 4. Does 59 divide m(-11)?
False
Let a(h) = h**2 - 4*h - 3. Let d be a(5). Suppose 3 = 2*n + k - 8, -k = -n - d. Suppose -n*w = b - 2*b + 14, -5*b + 87 = 2*w. Is b a multiple of 17?
True
Suppose -4*y = 94 - 406. Is 26 a factor of y/5*(-90)/(-27)?
True
Let r(w) be the third derivative of -w**6/120 - w**5/10 - w**4/4 - w**3/2 - 2*w**2. Let l be r(-5). Is (138/12)/(l/4) a multiple of 23?
True
Let m(v) = -v - 6. Let o be m(-4). Let x be 2 + 0*o/10. Suppose -3*i = x*i - 55. Is 10 a factor of i?
False
Suppose 7*p + 2*p = 2043. Let n = p - 115. Is n a multiple of 16?
True
Suppose 0 = -4*z - 9 - 43. Is ((z - -2) + 4)*(-60)/14 a multiple of 6?
True
Suppose d - 3*d + 16 = 0. Suppose -r + 4*x + d = 2*x, 0 = r + x + 1. Suppose 4*u + 5*i - 23 = 0, 3*u - r*u = 3*i + 27. Does 11 divide u?
False
Suppose 3*k - 2*i - 36 = 0, 0 = -2*k + 2*i - 5*i + 11. Suppose -5*t - 5*n - 3 = 12, -3 = 4*t - 5*n. Let z = t + k. Does 3 divide z?
False
Let j(w) = 0*w**2 - w**3 - w + 2*w**3 - 2*w**3 - 6*w**2 + 7. Let s be j(-6). Let u = 30 + s. Is 18 a factor of u?
False
Let u be (4/6)/(6/(-9)). Let s(n) = -2*n**2 - 38*n**3 + 290 + 7*n**3 - 289. Is 10 a factor of s(u)?
True
Suppose 3*x + 93 + 0 = 0. Let i = 71 + x. Is 10 a factor of i?
True
Let i(a) = 2*a**2 + 11*a - 5. Let d = 9 + -3. Let g be (-315)/36 + d/8. Is 11 a factor of i(g)?
False
Suppose 0 = -2*f + 195 + 205. Is f a multiple of 20?
True
Let x = 486 + 66. Does 23 divide x?
True
Let j = -701 + 1654. Is 38 a factor of j?
False
Let a(x) = 4*x**3 - 2*x**2 - 2*x - 15. Is 32 a factor of a(3)?
False
Let a be (92/(-7))/((-14)/49). Suppose -v - 24 = 3*u, 5*v + 2*u + 40 = 3*u. Let b = a + v. Is 9 a factor of b?
False
Let b = -78 + 71. Let c(o) = -o**3 - 5*o**2 + 12*o - 6. Is c(b) even?
True
Suppose 0 = 3*f - g - 126, -2*f = 2*g - 133 + 49. Let h = f + 48. Does 14 divide h?
False
Suppose 8*q + 3*q = 0. Suppose n - 35 = 4*p + 5, q = -4*n - 2*p + 160. Is n a multiple of 6?
False
Let z(b) be the second derivative of b**4/2 + b**3/6 - 15*b**2/2 + 39*b. Is 46 a factor of z(5)?
False
Suppose 4*y = 3*v - 347 + 86, -5*v - 4*y + 435 = 0. Does 20 divide v?
False
Is 20 a factor of 614 - -127 - (-1)/(2/4)?
False
Let z = -8 + 12. Suppose z*x + 6 = -34. Let q = x + 33. Is q a multiple of 11?
False
Let g(x) = x + 12. Let s = -3 + -1. Does 7 divide g(s)?
False
Let t(h) = -h**3 + 21*h**2 - 6*h + 8. Is 11 a factor of t(5)?
False
Suppose 5*w + 166 = 5*k - 2*k, -2 = -2*w. Is 19 a factor of k?
True
Let l = 18 - 16. Let n(i) = -3*i + 2 - 4 + 19*i**l + i. Is n(2) a multiple of 18?
False
Suppose -j + 57 = 3*b - 15, 96 = 4*b + j. Let m = b + -19. Suppose m*i = -i + 180. Is 30 a factor of i?
True
Let x = -55 - -395. Let y be (16/(-5))/((-8)/x). Suppose 3*j = y + 68. Is j a multiple of 17?
True
Let a be (0 - 4)*7/(-14). Suppose 10 = -3*n - a. Let w(l) = 2*l**2 + 7*l + 4. Is 5 a factor of w(n)?
False
Suppose m - 3*m + 48 = -k, 0 = -5*m - k + 134. Suppose 2*u - m - 16 = 0. Is 3 a factor of u?
True
Let b = -51 + 567. Is b a multiple of 37?
False
Let k = -9 - -12. Suppose x - 2*u = -2, -2*u + k = -u. Suppose -5*l + 158 = -3*g, x*l = -g - g + 122. Is 13 a factor of l?
False
Let g(o) = -2*o. Let q be 4*((-2)/(-1) + 0). Let d be g(q). Let j = 21 + d. Is j a multiple of 2?
False
Suppose 4*t - 5*y = -24, 5*t - 8*y + 3*y = -25. Let o be t/(-5) + 28/10. Suppose -j + 36 = m, 5*m - 28 - 152 = -o*j. Does 18 divide m?
True
Let j(s) = 2*s - 5. Let q be j(4). Suppose -q*h + 2*h - 3 = 0. Is 17 a factor of 1 + -2 - (h + -15)?
True
Suppose 2*z + 0*z + 3*u - 3 = 0, -2*z + 1 = u. Is 47 a factor of (z/(-3))/(-5) - -69?
False
Let d(p) = 2*p**2 + 3*p + 1. Let b be d(-2). Suppose v + v = -b*y + 47, v - 31 = y. Suppose -2*m + v = -3*r + 8*r, 12 = -r + 4*m. Is r even?
True
Suppose -9 = -5*m + 2*d, 5*d = -5*m + m - 6. Suppose 4*v - 176 = -x, -m = -3*v + 4*v. Is x a multiple of 30?
True
Let l be 5/20 - (-220)/16. Let z(f) = -f**2 + 14*f + 18. Is z(l) a multiple of 3?
True
Is (10 + -2 - 5)*29 a multiple of 19?
False
Suppose -5*z = 5*l - 8990, 80*l - 84*l + 3*z = -7185. Is 22 a factor of l?
False
Let h(b) = -3*b**3 + b**2 - b. Let m be h(-1). Suppose 3*z - 7*z + 216 = 3*q, -2*q - 270 = -m*z. Is 16 a factor of z?
False
Suppose -92*q + 36867 + 102789 = 0. Is 69 a factor of q?
True
Let b = 631 - 240. Is 17 a factor of b?
True
Let o = 13 - 10. Suppose o*y - 5 = -4*m, 8*m = 3*m - 2*y + 8. Does 2 divide 2 + m/((-4)/(-6))?
False
Suppose s - 134 + 5 = -j, -3*s + 3*j + 357 = 0. Let m = -109 + s. Is m a multiple of 15?
True
Suppose -5*h + 18 = -17. Suppose 0 = j + 2*f + 12, -j - 7 = -h*f + 4*f. Does 9 divide ((-64)/j)/((-1)/(-5))?
False
Let k = 36 + 40. Let y = k + 50. Is 18 a factor of y?
True
Suppose -4*l - 25 - 35 = 0. Let n = l + 12. Let b(v) = -5*v + 1. Is b(n) a multiple of 8?
True
Suppose -1270 = -8*n + 3*n. Let r = n + -166. Does 8 divide r?
True
Is 43 a factor of -17 + 5 + 8 - -1509?
True
Let b = 40 - 39. Is 7 a factor of 9*b*42/18?
True
Let r(h) = 5*h**3 + 2*h**2 + 3*h - 3. Let q(o) = -o**2 + 2. Let c be q(-4). Let a = c - -16. Is 16 a factor of r(a)?
False
Suppose -j - 18 = -6. Let i = j + 6. Does 18 divide i/(0 - 2/29)?
False
Let g be 19*(0 - (-7 - -4)). Let s = g + -32. Is s a multiple of 6?
False
Let o(a) be the third derivative of -a**6/30 + a**5/60 + a**4/24 + a**3/3 + 2*a**2. Let i = -5 - -3. Is 18 a factor of o(i)?
True
Suppose -12*p + 15*p + 2*l - 8938 = 0, 0 = 5*l - 25. Is p a multiple of 12?
True
Let n(x) = x**3 + 21*x**2 - 23*x - 27. Let u be n(-22). Is 18 a factor of 3/u - 573/(-5)?
False
Suppose -k + 172 = -428. Does 74 divide