y) = -11*y**2 + 3*y - 4. Let m be a(2). Let u = 91 + m. Does 7 divide u?
True
Let m(z) = -z**2 + 24*z + 321. Let b be m(31). Is b/39*(-498)/(-8) a multiple of 50?
False
Let b(i) = 3*i**2 - 106*i + 971. Is b(9) a multiple of 3?
False
Suppose -7*d + 2*d = 3*d - 29568. Does 66 divide d?
True
Let v = 84 + -133. Suppose 2*o - 334 = -0*o. Let k = v + o. Is k a multiple of 24?
False
Suppose 0 = -28*b - 24*b + 77*b - 19925. Is b a multiple of 11?
False
Let h(o) = 12*o**2 - o - 14. Let f(p) = 23*p**2 - 3*p - 28. Let l(a) = 4*f(a) - 7*h(a). Does 25 divide l(-5)?
False
Let y(w) = -17*w**2 + 409*w. Is 188 a factor of y(13)?
True
Let p = -145 - -247. Let n be (-1026)/(-152) + (-3)/(-12). Suppose n*l = 8*l - p. Is 34 a factor of l?
True
Let a(z) = 92*z + 1. Let g be a(1). Suppose 13 = -2*t + g. Let w = t + -17. Does 5 divide w?
False
Let f = -19552 - -30706. Is 197 a factor of f?
False
Suppose 4*p + 16 = 0, -32*c + 5*p + 82960 = -19*c. Does 44 divide c?
True
Suppose 2*h + 3*x + 1874 = 7*h, x = -4*h + 1489. Is h a multiple of 4?
False
Suppose 2*i + 53 = 89. Is 5 a factor of 200/(22/i + 6/(-27))?
True
Suppose 0 = -2*g + g - 11. Let y(i) = -3*i - 35. Let b be y(g). Does 13 divide (1928/6)/2 + b/3?
False
Suppose 0 = 53*h - 148*h + 77*h + 175716. Does 81 divide h?
False
Suppose -5*z + 27*z = 61072. Is 17 a factor of z?
False
Suppose -28*o + 32*o = 248. Suppose -s - 2*q = -105, 3*s - 289 - o = 3*q. Suppose -5*m + 62 = -s. Does 15 divide m?
False
Let j = 15327 - 11255. Is j a multiple of 2?
True
Let x be ((-6)/(-4))/((-1)/2). Let y(c) be the first derivative of -47*c**2 - 17*c - 2518. Is 47 a factor of y(x)?
False
Let k(u) = 17*u - 106. Let q be k(6). Is (-2)/(q + (-8660)/(-2166)) a multiple of 57?
True
Let l be 40/7*98/28. Let j be l/100 - 598/(-10) - 2. Suppose 0 = i + 1 - j. Is i a multiple of 13?
False
Let a be (-1)/((0 + 7)/(-217)). Suppose a*w + 917 = 38*w. Is w a multiple of 15?
False
Let x = 15 + -11. Suppose 0 = -x*m + 12, 4*k + 3*m = m - 1194. Let r = k + 440. Does 14 divide r?
True
Suppose 0 = 5*l - b - 44, -3*b - 3 = 9. Suppose -l = 4*h - 2*h. Is 29 a factor of 112 + ((-42)/(-9) - h/(-6))?
True
Let j(x) = -x**3 + 13*x**2 - 30*x - 10. Let a be 6/(-10) + -6 + (-292)/(-20). Is 3 a factor of j(a)?
False
Let p be (-16)/(-6) - (-18)/54. Suppose 3*j - p + 6 = 0, -4*o + 3615 = 5*j. Is 38 a factor of o?
False
Let k(a) = -a**3 + 5*a**2 + 7*a - 20. Let y be k(5). Suppose -13*x = -y*x - 618. Let d = x - -433. Is 16 a factor of d?
False
Let x(j) = 560*j**2 + 27*j + 55. Is 287 a factor of x(6)?
True
Let o = 4 - 9. Let x(v) = v**3 + 2*v**2 + v. Let s(u) = -3*u**3 - 2*u**2 + 3*u + 16. Let q(w) = s(w) + 4*x(w). Is q(o) a multiple of 4?
False
Let v = 3759 - 2905. Is v a multiple of 7?
True
Let u(i) = -365 + i**2 - 3*i + 5*i + 357. Let l be u(7). Suppose -l*f = -58*f + 357. Is 17 a factor of f?
True
Let n = 557 + 127. Is n a multiple of 16?
False
Suppose 34*o - 123222 = 153096. Is 9 a factor of o?
True
Let o = -117 + 49. Let d = o + 45. Let x(z) = -2*z - 8. Is x(d) a multiple of 21?
False
Let g = -205 - -207. Suppose -2*s + g = -238. Is s a multiple of 60?
True
Let g(z) = 13*z**2 - 2*z - 2. Let p be g(1). Suppose 0 = 14*d - 33 - p. Is d a multiple of 2?
False
Let i(b) = 9*b**2 + 23*b + 79. Is 5 a factor of i(-5)?
False
Let u(x) = -x**3 - 32*x**2 - 95*x - 2859. Does 6 divide u(-35)?
False
Suppose 8*p - 1 + 1 = 0. Suppose p = 3*k - 125 + 434. Let l = 148 + k. Is l a multiple of 15?
True
Suppose 24*s + 114*s - 1310137 = 400097. Does 19 divide s?
False
Suppose -3*l - 12 = -3*k, -2*k = -5*l - 0*l - 8. Suppose 5*c = k*h - 5 - 20, -h + 5*c = -25. Suppose h = i - 2*b - 71, -7 = b - 2. Is 13 a factor of i?
False
Suppose -56831 = -3*v + 2*y, -5*y = 491*v - 493*v + 37913. Does 16 divide v?
False
Let r(x) = 2*x + 70. Let s be r(-19). Does 12 divide (-6964)/(-10) - s/80?
True
Let f(w) = 19*w - 4. Let a be f(19). Let j be a - -5 - (1 + 1). Suppose -4*p = 3*h - j - 403, -p = -3*h - 187. Is p a multiple of 19?
True
Let v(b) = 2*b**3 - b**2 + 257. Suppose -5 = 4*l + 5*n, 0 = 2*l - n - 3 + 2. Is v(l) a multiple of 10?
False
Suppose -46 = -12*h - 22. Suppose -5*z = -4*z - 12. Is 20 a factor of (2/6)/(h/z) - -134?
False
Suppose -154*a + u - 18877 = -158*a, -u + 4726 = a. Is a a multiple of 2?
False
Let w = 17454 - 12179. Is w a multiple of 19?
False
Let o = 138 + -135. Suppose o*k = 12, 4*g - 2*g - 1350 = -k. Suppose -3*i = -5*u + 290 + g, -5*u + 961 = -i. Is u a multiple of 32?
True
Suppose -6*u + u - 40 = i, 0 = 4*u + 3*i + 21. Let p(v) = 4*v + 39. Let t be p(u). Suppose 5*r - 291 = -2*c, t*r - 2*c = -2*r + 279. Is 4 a factor of r?
False
Let u be 0 + 3 - 732*(-4)/6. Suppose -u = -7*f + 139. Does 10 divide f?
True
Let r(p) = 14*p + 46. Let q be r(-16). Let m = -78 - q. Let h = m + -86. Does 12 divide h?
False
Suppose -o + 9*o = -24. Is 65 a factor of o/3 - 521/(3 + -4)?
True
Let i = 85 - -56. Suppose 2*m = -m + i. Suppose -2*b + m + 5 = 0. Is b a multiple of 18?
False
Let f(x) = 7*x + 2. Let p(h) = 10*h. Let b be p(-1). Let z be (-164)/b + -2 + 26/10. Does 11 divide f(z)?
True
Let z(d) = 7*d**3 - 5*d**2 - 9*d - 792. Let f(i) = -3*i**3 + 2*i**2 + 4*i + 396. Let a(k) = 5*f(k) + 2*z(k). Does 22 divide a(0)?
True
Suppose -2*p + 2801 = 13*l - 10*l, -5*p - 1861 = -2*l. Is 4 a factor of l?
False
Let l(a) = -24*a + 3. Let w(b) = -3*b**2 + 17*b - 30. Let j(s) = -2*s**2 + 9*s - 15. Let v(n) = 5*j(n) - 3*w(n). Let k be v(-8). Is l(k) a multiple of 9?
True
Let w = -7110 + 16224. Does 42 divide w?
True
Let v = -17 + -80. Let a be 17/34 + 825/(-6). Let t = v - a. Does 36 divide t?
False
Let c(t) be the second derivative of t**3 + 110*t**2 + 8*t - 2. Does 10 divide c(0)?
True
Let p(d) = -d**3 + 22*d**2 + 13*d + 12. Suppose 7*u - 160 = -6. Is p(u) a multiple of 10?
False
Suppose 6*l = -520 - 92. Let p = l + 42. Is 34 a factor of ((-4002)/p - 1/5)*4?
False
Let l(i) = -47*i + 23. Let t be l(1). Does 10 divide 6*(-4)/t + 108?
False
Let g = -8286 - -12747. Is 25 a factor of g?
False
Let g = 1704 - 1702. Let m be 3/6 - (-2)/(-4). Suppose m = -3*p + 2*p + 4*c + 20, 0 = -g*p + 2*c + 70. Is p a multiple of 16?
False
Let h(j) = 681*j**2 - 7*j - 48. Is h(-3) a multiple of 113?
True
Let p(v) = v**3 - 2*v**2 + 3*v + 3332. Let w be p(0). Suppose 0 = 4*t - 5*l + 4*l - w, -4*l = -16. Is t a multiple of 80?
False
Suppose 0 = 3*n + 4*a - 381, 3*a - 75 = -n + 47. Suppose -n = -2*i + 1167. Is 58 a factor of i?
False
Suppose 411*b - 799*b - 18564 = -402*b. Is b a multiple of 97?
False
Suppose -44452*a + 44464*a - 48 = 0. Let b(l) = 24*l**2 + 2*l - 1. Let z be b(-2). Suppose 0 = -5*h - 3*j + z, -2*h - 3*h = a*j - 88. Is 10 a factor of h?
True
Suppose -2 - 94 = -16*w. Let j(m) = 3*m**3 - 10*m**2 + 3*m + 19. Is j(w) a multiple of 2?
False
Let p(y) = -y**3 + 97*y**2 + 328*y - 763. Is 7 a factor of p(100)?
True
Is -626*(250/(-20) + 11) a multiple of 3?
True
Let b(o) = 59*o**2 + 16*o + 21. Is b(-5) a multiple of 24?
True
Let n(h) = 3*h - 29. Let g be n(13). Suppose -11 = -3*w + g. Is 4 a factor of -7 + w - (1 + 2) - -8?
False
Let d = 346 - 393. Let h = 335 + d. Is 36 a factor of h?
True
Let z(c) = 124*c - 65. Is z(35) a multiple of 25?
True
Suppose -2995 = -8*w + 3*w - 3*i, -3*i - 15 = 0. Let l = -91 + w. Is l a multiple of 30?
False
Let r(w) = -2*w**2 + 4*w + 9. Let a be r(-5). Let p = -258 - a. Let h = -69 - p. Is 32 a factor of h?
True
Let i(j) = -77*j + 6. Let w(p) = -27*p. Let u be w(-3). Let k = 79 - u. Is 15 a factor of i(k)?
False
Let q(r) = -r**3 - 3*r**2 - 2*r - 2. Let l be q(-3). Suppose l*y = -4*o + y + 114, -2*o - y + 58 = 0. Is 14 a factor of o?
False
Let b = 28 + -28. Suppose b = -7*w + w + 474. Is 16 a factor of w?
False
Suppose -14*r + 9*r = -35. Suppose 0 = s - 5*w - r - 21, 5 = -w. Suppose 5*b - 20 - 12 = -4*j, 59 = s*j - 5*b. Is j a multiple of 13?
True
Let k(x) = -98*x + 672. Is 7 a factor of k(-41)?
True
Let p(b) = -95*b + 1. Let q be p(-1). Suppose 96 = 37*u - 15. Suppose 0*i + 102 = 3*i + 3*f, q = 3*i - u*f. Is i a multiple of 26?
False
Suppose 243 - 53 = 19*h. Let q = h - -2. Is 2 a factor of q?
True
Let n be -2 - 1544/3*(0 - 3). Let l be n/4*2/3. Suppose 0 = -2*q - q + b + 358, 2*q - l = -3*b. Does 11 divide q?
True
Let o(l) = 2*l**3 + 253*l**2 + 316*l + 273. Is 146 a factor of o(-123)?
False
Let g b