Suppose 0 = -3*b + 3*r - 6, 34 = -b + 5*r + 12. Let o(t) = t**3 + 2*t**2 - 3*t - 4. Let l be o(b). Let s = 57 - l. Does 11 divide s?
False
Suppose 3*u + 12 = 0, -3*u + 132 = 3*m + 48. Let a = 124 + m. Does 12 divide a?
True
Let h = 32 - 25. Suppose 16 = c + h*c. Suppose -122 = -3*l + c*s, 0 = -l - 2*s + 18 + 36. Is 11 a factor of l?
True
Let h(r) = 2*r**2 + 5*r + 4. Let m(o) = o - 6. Let i be m(6). Suppose i = -5*l + 4*l - 3. Is 7 a factor of h(l)?
True
Suppose -5*f + 4*s - 2 = 0, -5*s + 8 - 1 = -4*f. Suppose 101 = 2*m - 3*h, -3*m - f*m + 257 = -3*h. Is 13 a factor of m?
True
Suppose -43*o + 741 = -4*o. Is o a multiple of 2?
False
Suppose -p + 40 - 136 = 5*a, -3*p = -4*a - 92. Let y = a + 36. Is 4 a factor of y?
True
Let d(n) = 2*n**3 - 3*n**2 - 5*n. Let w be d(-2). Does 4 divide (9*2 - (-16 - w)) + -4?
True
Let i be (-20)/(-90) + (-364)/18. Let w = i + 10. Let f(a) = -2*a + 11. Does 10 divide f(w)?
False
Let s(u) = 29*u**3 - u**2 - u + 1. Let c be s(1). Suppose -x - 3*x + c = 0. Suppose -47 = -x*z + 331. Is 9 a factor of z?
True
Does 10 divide -2571*((-66)/18)/11?
False
Does 13 divide 5 - -3*4/(-4) - -154?
True
Let h(g) = g**3 - 27*g**2 + 34*g + 56. Does 66 divide h(26)?
True
Suppose -2965 = -3*q + 5*p, -4*q = -8*p + 3*p - 3950. Suppose 11*k + q = 6*k. Let v = -113 - k. Is v a multiple of 14?
True
Let x(f) be the second derivative of 7/2*f**2 + 0 + f**3 - 5*f. Is x(4) a multiple of 31?
True
Let j(u) be the second derivative of 9/2*u**2 + 7/6*u**3 + 0 + 5*u - 1/4*u**4 - 1/20*u**5. Is 25 a factor of j(-6)?
True
Suppose -14108 + 5132 = -22*y. Is y a multiple of 51?
True
Let x = -150 + 398. Is 12 a factor of x?
False
Let d = 821 - 345. Suppose j - d = -3*j. Suppose 0 = -4*m - 3*f + j, 5*m + 2*f + 0 - 154 = 0. Is 8 a factor of m?
True
Suppose -7*o + 322 + 1316 = 0. Is o a multiple of 9?
True
Does 42 divide 2/(-8) - (-14833)/52?
False
Let y be 1 - (7/(-1) + 4). Suppose y*k - 106 = 2*k. Does 13 divide k?
False
Let q(i) = i - i**3 - 4*i + 3 - 4. Let u be q(-4). Suppose 16 = -k + u. Does 14 divide k?
False
Let o(q) be the third derivative of 25*q**4/24 + 5*q**3/6 - 13*q**2. Is 5 a factor of o(4)?
True
Let c = 81 - -26. Let q = 88 + c. Suppose -2*l - 53 = -q. Is l a multiple of 13?
False
Let k(z) = -z**3 - 11*z**2 - 11*z + 9. Let g be k(-9). Let l be 232/(-3) - 10/15. Let o = g - l. Does 12 divide o?
True
Suppose -2*v - 59 + 447 = 0. Does 34 divide v?
False
Let u = 6 + -4. Let q = u - -1. Suppose -q*g + g + 84 = 0. Is g a multiple of 11?
False
Is 31 a factor of 795 - 6 - 6 - 6?
False
Let q(a) = -a**3 + 7*a**2 + 7*a - 30. Let b be q(7). Let w be (14 + 0)/(-1) - 2. Let t = w + b. Is t even?
False
Suppose -5*d - 2*b = -4, 3*d = 5*b + 5 + 16. Suppose -d*r = r. Suppose -o - 9 = 2*o, -2*g - 4*o + 24 = r. Is 6 a factor of g?
True
Let m be (((-20)/3)/(-5))/(2/3). Is 32 a factor of (3 - 11)/(m*5/(-360))?
True
Suppose j + 4029 = 4*w, -11*w + 2*j + 2016 = -9*w. Is 19 a factor of w?
True
Let d(p) = 128*p**2 + 1. Let s be d(-1). Suppose -24 = -7*j - 647. Let b = s + j. Is b a multiple of 10?
True
Suppose 352 - 514 = -p. Does 12 divide p?
False
Suppose 2*l + 5*i - 2*i - 119 = 0, 4*l - i = 203. Let g = 88 - l. Is g a multiple of 4?
True
Is 4/(-2)*-1 + -9 + 542 a multiple of 5?
True
Suppose -3*a + 210 = -3*n - 0*a, 3*a = -n - 86. Let z = n - -154. Does 7 divide z?
False
Is 12 a factor of (1730/(-40))/(412/208 + -2)?
False
Does 11 divide 162/2 - 8/2?
True
Suppose -b = 4*l, 0 = b - 5*b - 5*l + 22. Suppose -b*v - 161 = -1065. Is v a multiple of 12?
False
Let i = 3 + -3. Suppose -8*a + 846 + 162 = i. Is 9 a factor of a?
True
Let j = -178 - -298. Does 24 divide j?
True
Let m be (-3)/(-2) + (-2)/(-4) - -1. Suppose 3*q = -m*w + 462, -w + 214 + 256 = 3*q. Is 16 a factor of q?
False
Suppose 30 = 3*z + 4*u - 16, 0 = 3*z + 2*u - 38. Is 16 a factor of (-5)/z*4 + 61?
False
Is 41 a factor of (12/18)/(-2)*-16029?
False
Is ((-546)/24)/(2/(-48)) a multiple of 26?
True
Suppose 0 = -2*p - 17 + 21. Suppose 5*n - 266 = 254. Suppose -2*a - a = -x - n, p*a - x - 71 = 0. Is 11 a factor of a?
True
Suppose -10*h + 9*h = -4. Suppose 0 = r - 12 - h. Does 5 divide r?
False
Let f = 28 - 25. Suppose -5*n + 185 = -t - 4*t, -225 = -5*n - f*t. Is n a multiple of 10?
False
Suppose -g - 18 = 2*s, -3*g = 3*s + 7 + 41. Let z = 43 + -106. Let w = g - z. Is w a multiple of 12?
False
Is 10 a factor of ((-30910)/(-30) + 5)/(2/6)?
False
Does 45 divide (144 + -1)/((-6)/(-54))?
False
Let n = -272 + 957. Is n a multiple of 18?
False
Is 3 a factor of ((-4)/(-12))/(1/99) + 4?
False
Let a = 23 - 23. Let r = 12 - 7. Suppose a = -w + r. Is 3 a factor of w?
False
Let x(u) = u**2 - 4*u - 6. Let v be x(4). Let n be (-272)/28 - v/(-21). Let p(y) = -y**2 - 11*y + 5. Is 15 a factor of p(n)?
True
Let f(r) = -r**2 - 9*r + 10. Let i be f(-11). Is 29 a factor of (9/i)/(3/(-348))?
True
Let d = -7 + -47. Let t = d - -117. Is t a multiple of 7?
True
Let x = -457 + 546. Is 3 a factor of x?
False
Let j = 2 - 0. Let s be (-2 - 3) + j - -5. Suppose -3*c = -s*c + 4*u - 58, 2*u = -5*c + 272. Does 20 divide c?
False
Let t be (-115)/4 - 4/16. Let v = -4 - t. Does 18 divide v?
False
Does 79 divide 9415/15 + 4/12 + 4?
True
Let o(u) = u**2 + 10*u + 9. Let d be o(-10). Suppose d*l - 10*l = -6. Is 6 a factor of l?
True
Suppose r - 16 - 8 = 0. Let p = r - 11. Suppose 0 = 2*v - 11 - p. Does 4 divide v?
True
Suppose 3*f + 3 = 6. Does 26 divide (f - (-32)/(-6))/(7/(-84))?
True
Suppose 3138 = 15*h - 3852. Does 19 divide h?
False
Suppose -3*g - 2*g = -4*a - 32, -3*a - 18 = -3*g. Let t(k) = 7*k - 7*k + 5 + 5*k. Does 11 divide t(g)?
False
Is 28 a factor of ((-11320)/(-849))/((8/(-270))/(-2))?
False
Let k(g) = -g**2 - 23*g + 53. Let b be k(-25). Suppose 192 = 5*t - b. Is t a multiple of 13?
True
Suppose 2*y = 118 + 74. Let j = 0 + y. Is j a multiple of 32?
True
Let f = 309 - 256. Is 2 a factor of f?
False
Let d(u) = 4*u - 4. Let n be d(7). Let p be ((-24)/(-15))/((-4)/(-10)). Is 8 a factor of 1/p + 186/n?
True
Let d = -8 + 480. Suppose -2*y - 5*g = -0*y - d, -y = -5*g - 206. Does 12 divide y?
False
Let o = -60 + 62. Suppose -m + 93 = o*m. Does 19 divide m?
False
Suppose -383*f + 380*f = -648. Is f a multiple of 4?
True
Let n(v) = -v**3 + 3*v**2 + 5*v. Let m(q) = 2*q**3 - 9*q**2 - 14*q - 1. Let i(r) = 3*m(r) + 8*n(r). Does 5 divide i(-2)?
True
Suppose 127 = b - 5*h - 85, -924 = -4*b + h. Let w be 4/10 - 18/(-5). Suppose -c + w*i + 50 = 0, -5*c - 3*i = -b - 110. Is c a multiple of 22?
True
Let l = 5306 + -3339. Does 19 divide l?
False
Let h(j) = 48*j**2 + 2*j - 1. Let r = -20 - -21. Is h(r) a multiple of 16?
False
Let t = 1 + 2. Suppose 4*a - 8 = t*a - 5*f, 2*a + 4*f = 16. Let i = a - -13. Does 9 divide i?
False
Suppose -5*g - 44 = -19. Let a(v) = -v + 6. Let f(l) = -4*l + 11. Let t(n) = -5*a(n) + 2*f(n). Is t(g) a multiple of 7?
True
Let d = 4 - -4. Let h be ((-180)/d)/(2/(-12)). Suppose 0 = 3*b + 2*b - h. Is b a multiple of 12?
False
Suppose 3*w + 3*q = 18, 4*q - 1 = 3. Suppose 5*a = -3*n + 19 + 16, w*n - 54 = -4*a. Does 20 divide (-2)/n + (-301)/(-5)?
True
Let g = -2 - -2. Suppose -4*n - 2*q = -q + 53, n + q + 17 = g. Does 16 divide (n/(-9))/((-2)/(-24))?
True
Let o(k) = -k + 26. Let a(v) = v**3 + v**2 + 2*v + 12. Let p be a(0). Is 6 a factor of o(p)?
False
Suppose 39*z - 4572 = -4*l + 38*z, 0 = 2*l + 2*z - 2286. Does 10 divide l?
False
Let q = -44 - -78. Let d = q + -14. Is 3 a factor of d?
False
Suppose -2*m - 1 = -3. Is m*3 - (-171 - (-36)/(-6)) a multiple of 36?
True
Let q(l) = 2*l**2 - 29*l - 63. Is 42 a factor of q(-17)?
True
Let c = -167 + 315. Suppose -11*r + c = 5. Does 7 divide r?
False
Suppose -3*x + 13 = -20. Let b = 357 - 348. Let w = x - b. Does 2 divide w?
True
Suppose b + 2*n + n - 188 = 0, -b + 4*n = -188. Does 5 divide b?
False
Suppose -3*y - 4*o = -1003, y + o - 2*o - 325 = 0. Does 47 divide y?
True
Let a = 56 + -32. Suppose -v - v = -a. Is 8 a factor of v/(-10)*30/(-4)?
False
Let d(x) be the first derivative of x**4/4 + x**3 - x**2 - 8*x + 2. Let q be d(-4). Let j = q - -51. Is 5 a factor of j?
True
Suppose 3*q = 3, -3*s + 308 = 2*q - 6*q. Does 13 divide s?
True
Let x(q) = 10*q**2 - 17*q + 43. Does 23 divide x(9)?
False
Let m(v) = -v + 9. Let f be m(-10). Let t = f - 11. Does 2 divide t?
True
Let a = -17 - -21. Suppose -4*c + 