. Is m(8) a multiple of 7?
False
Let j = 272 - 112. Does 14 divide j?
False
Let p(r) = r**2 - 15*r + 2. Let a(x) = x + 1. Let f(w) = 6*a(w) + p(w). Let s be (0 + 18)/(12/8 + 0). Is 11 a factor of f(s)?
True
Suppose 0 = n - 3 - 1. Suppose 273 = n*l - s, -2*l + 5*l - 5*s - 226 = 0. Does 9 divide l?
False
Let g(h) = 0*h + 0*h + 35*h**2 + 1 - 33*h**2. Let f be g(-5). Let p = f + -29. Is p a multiple of 7?
False
Suppose -42*h - 1200 = -45*h. Does 16 divide h?
True
Suppose -a = 4*a. Suppose y = -3*b - a*y + 35, -41 = -3*b + 5*y. Does 12 divide b?
True
Suppose -145 = -v + c, 192 = v + 3*c + 47. Is v a multiple of 18?
False
Let k = 1821 + 1851. Is 30 a factor of k?
False
Suppose -62 = 5*w - 17. Let g = -6 - w. Suppose -g*f - 153 = -6*f. Does 11 divide f?
False
Suppose -17*k = 5*k - 33308. Is k a multiple of 96?
False
Let r = -642 + 1211. Suppose 7*d = 271 + r. Does 23 divide d?
False
Let c(l) = -4*l - 5. Let p be c(-5). Suppose -5*z + 2*x + 16 = 0, 2*x + p = 3*z - x. Is 35 a factor of (z/(-3))/((-3)/180)?
False
Let g(h) = -h**3 + h**2 + 5*h + 10. Suppose 4*x + 12 = -0*x. Does 15 divide g(x)?
False
Let m(y) = y**3 + 9*y**2 - 16*y - 25. Let v be m(-10). Is 13 a factor of 8905/v - (-9)/(-21)?
False
Let t be (-27)/6 + (-1)/2. Let u(d) = -3*d + 11 + 20 - 34. Is 3 a factor of u(t)?
True
Suppose 65*y = 63*y + 120. Does 15 divide y?
True
Let s(i) = i**2 + 12*i - 6. Let k be s(-9). Let v be (27/4)/(k/(-176)). Let l = -10 + v. Does 12 divide l?
False
Let k(h) = h**3 - 14*h**2 + 16*h - 13. Let l(b) = b**3 - 13*b**2 + 16*b - 14. Let g(r) = -3*k(r) + 4*l(r). Does 9 divide g(10)?
False
Let b = -7 + -43. Let m = b - -95. Is 5 a factor of m?
True
Let c be ((-3)/(-5))/((-19)/(-95)). Suppose 5*t - c*j - 57 = 0, 14 = 4*t - 2*t + j. Does 2 divide t?
False
Let v(u) = -415*u**3 + u**2 + 3*u + 2. Is v(-1) a multiple of 44?
False
Let j be (11 + 3)/(2/3). Suppose 2*i - j = 5*o, -44 = -3*i + 3*o - 8*o. Let h = i + 5. Is 6 a factor of h?
True
Let d(n) = 15*n - 25. Let f(s) = -1. Let i(u) = d(u) - 25*f(u). Let l = -815 - -816. Is 9 a factor of i(l)?
False
Let d = -42 + 15. Let j = 24 - d. Is 6 a factor of j?
False
Let k(n) = -n**2 - 12*n - 11. Let z be k(-11). Suppose -3*v - 5*w + 232 = z, -3*v - w + 169 = -79. Does 9 divide v?
False
Let m(p) = -p**3 - 6*p**2 - 2*p - 1. Let a be m(-5). Let r be (3/12)/((-2)/a). Suppose -4*x + 75 = x + 5*f, r*x - 2*f - 46 = 0. Is 19 a factor of x?
True
Suppose -5*n + 1790 = 335. Let i = n + -151. Is 35 a factor of i?
True
Let z = 3290 + -1389. Is 116 a factor of z?
False
Let k(g) = -g**3 - 2*g**2 + 4*g - 4. Let y be k(-4). Suppose -y = 2*c + c. Is 12/((-11)/c + -2) a multiple of 9?
False
Let l = -80 + 56. Let c = 41 - l. Is 9 a factor of c?
False
Suppose h - 1 = 4*y, -4*h - h + 5 = 5*y. Suppose y = -3*s + 454 + 41. Is 11 a factor of s?
True
Suppose -6*m - 226 = -1234. Does 6 divide m?
True
Suppose -o + 148 = 3*o - 3*r, 5*r - 150 = -5*o. Does 17 divide o?
True
Suppose 5*c - 2*c - 602 = -r, 0 = 4*r + 3*c - 2390. Is 73 a factor of r?
False
Let n = 685 - -215. Is n a multiple of 25?
True
Suppose 2*a = 2*n - 734, 2*n + 3*n = -5*a + 1885. Is 14 a factor of n?
False
Let c = 7052 + -4099. Is c a multiple of 39?
False
Let n be (-36)/(-8) + 2/(-4). Suppose q - 4 = -x, -n*x - 2 + 18 = 2*q. Is ((-3)/x)/(7/(-420)) a multiple of 15?
True
Let f(m) = -2*m + 5*m**2 + 5*m**2 - 8 - 11*m**2 - 10*m. Let v be f(-6). Suppose -l + v = -32. Does 14 divide l?
False
Suppose -l = -70 + 19. Is 13 a factor of 84/(l/9 - 5)?
False
Let x(u) = 8*u**2 + 5*u**3 - 3 - 4*u - 4*u**3 + 10*u. Let f be x(-7). Is 5 a factor of -4*f/(-48)*69?
False
Let h be 6/(-27) + 58/18. Suppose -3*y - h*q + 38 = -y, 2*q = -4. Does 19 divide y?
False
Let v(i) = 2*i**2 + 115*i + 2 - 115*i. Is 20 a factor of v(7)?
True
Suppose 2*d + 1 = 5*l, -6 = -7*d + 3*d + 2*l. Let y(s) = 11*s**3 + 2*s**2 + 3. Is y(d) a multiple of 9?
True
Let n(r) = -36*r**3 + 6*r**2 - 13. Is 77 a factor of n(-4)?
True
Suppose 254 = f + 73. Let w = f - 129. Is w a multiple of 9?
False
Suppose t = 4*t. Let a be 1318/6 + 4/12. Suppose 5*m = -t*m + a. Is m a multiple of 11?
True
Let c(i) = -23*i**2 + 22*i - 7. Let d(q) = -2*q**2. Let g(m) = 2*c(m) - 22*d(m). Does 35 divide g(7)?
False
Let d(h) be the second derivative of 2*h**3 + 17*h**2/2 + 6*h. Is 8 a factor of d(12)?
False
Suppose -p + 313 = 5*u - 3*u, 1273 = 4*p + u. Is p a multiple of 8?
False
Let o = -22 + 24. Suppose 2*z = o + 6. Does 3 divide z?
False
Let k(i) = -i + 60. Suppose 2*q - 5*q + 15 = -r, -3*r - 4*q + 20 = 0. Is 17 a factor of k(r)?
False
Suppose -5*a - 346 = -3*h + 2*h, -3*a - 1002 = -3*h. Suppose 25 = 6*r - r, 0 = 3*u - r - h. Does 14 divide u?
True
Suppose -4*i - 7 = -27. Suppose 117 = 4*x - 3*n, -i*n - 123 + 16 = -4*x. Is 13 a factor of x?
False
Let f = -19 + 613. Is 9 a factor of f?
True
Let r(h) = 2*h + 66. Let l be (0/3)/(-2 - 2). Is 33 a factor of r(l)?
True
Let x be 18/10 + -2 + (-105)/(-25). Suppose -4*p = -4*v - 196, -3*v = -2*p + p + 53. Suppose -3*i + 86 = 2*y, -4*y = -x*i - p + 195. Is 32 a factor of i?
True
Let j(i) = 4*i**2 - i - 2. Let l = -23 + 25. Is j(l) a multiple of 12?
True
Suppose -25*g + 42*g - 11356 = 0. Is g a multiple of 7?
False
Let k(n) = -n**3 + 7*n**2 - 6*n + 3. Suppose -12 = 4*a, -x + 2*x - 21 = 5*a. Let i be k(x). Suppose i*u - 348 = -3*u. Is 13 a factor of u?
False
Let c = -1461 - -4630. Is c a multiple of 28?
False
Let b(m) = -m**3 + 23*m**2 - 19*m - 28. Let n be (-6 - -9) + (-19)/(3/(-3)). Is b(n) a multiple of 19?
True
Suppose -5 = -3*j - 5*w + 31, -42 = -3*j - 3*w. Suppose 4*y + 4*x - j = 5*y, 5*y = 5*x - 40. Let d(i) = -i + 8. Does 7 divide d(y)?
False
Suppose -8 = -4*f, 0*s - s + 4*f = 6. Let u(v) be the first derivative of 3*v**2 + 2*v - 55. Does 13 divide u(s)?
False
Let i = -534 + 556. Does 7 divide i?
False
Let n(k) = k**2 - 7*k + 7. Let p be n(5). Is (-36 + -5)*(1 + p) a multiple of 20?
False
Suppose -2*m + 652 = 2*k - 6*m, -4*k + 1282 = 3*m. Is k a multiple of 23?
True
Does 7 divide 1199 + 27/9 + -11?
False
Let s(x) = 6*x**2 + x + 8. Let o be s(-7). Suppose -3*j - 175 = -2*n, 4*n = 5*j - 0*n + o. Is 10/j - 508/(-11) a multiple of 15?
False
Is 30 a factor of (-3*(-2)/(-9))/((-8)/1908)?
False
Suppose 0 = 17*t - 24013 - 16379. Is t a multiple of 8?
True
Let y = -67 - -71. Suppose 3*l = 3*a - 114, -y*a = l - 0*l - 127. Does 5 divide a?
False
Let a = -42 - -50. Does 39 divide (-6)/a + (-2195)/(-20)?
False
Suppose -4 = -2*i - q, -3*q = 3*i - 5*q + 8. Suppose -v - 2*v - 9 = i, -5*v = -5*t + 330. Does 9 divide t?
True
Suppose -3*c + 190 + 158 = 0. Suppose 0 = 4*d - 508 + c. Is 14 a factor of d?
True
Let f(y) = -83*y**3 + 8*y**2 + 8*y - 2. Let o(u) = 84*u**3 - 7*u**2 - 7*u + 2. Let d = 16 + -9. Let b(c) = d*o(c) + 6*f(c). Does 33 divide b(1)?
False
Let a = 18 + -15. Suppose -123 = -2*i - a*f - 14, -i + 61 = -5*f. Does 8 divide i?
True
Let q(v) = 20*v + 5. Let w be q(-4). Is 16 a factor of ((-64)/6)/(10/w)?
True
Suppose 74 - 19 = -5*m. Does 27 divide 2 + 0 + (-1166)/m?
True
Suppose 7*m - 16 = 19. Suppose 5*f - 362 = -4*n, -5*n - 4*f + 467 = -m*f. Does 7 divide n?
False
Let j(x) = 3*x**3 - 6. Let d = 71 + -68. Is 7 a factor of j(d)?
False
Let a(g) = g**3 + 8*g**2 + 5*g - 9. Let w be a(-7). Suppose v - 160 = -4*c, -3*c + v + 107 = w*v. Is c a multiple of 8?
False
Let c = -2 - -5. Suppose c*x = -x + 20. Let b(h) = -h**3 + 4*h**2 + 7*h - 4. Is b(x) a multiple of 6?
True
Let s = 7 + 0. Let w(c) = -c**3 + 8*c**2 - c + 3. Does 9 divide w(s)?
True
Let p(i) = -i - 3. Let y be p(-5). Suppose 3 = y*r - 1. Suppose -3*k + r*v + 117 = 0, -35 - 15 = -k - 3*v. Does 26 divide k?
False
Let d(j) = 4*j**2 + 2. Let m be (-67)/(-5) + (-6)/15. Suppose -4*h + m = h + g, -2*h - 3*g = -13. Is 13 a factor of d(h)?
False
Let d(j) = -24*j**3 - j**2 - 8*j - 9. Is 14 a factor of d(-2)?
False
Let a(b) = 456*b - 689. Is a(10) a multiple of 79?
True
Suppose 3*h - 20 = 25. Let j = 25 - h. Is 5 a factor of j?
True
Let t(o) = -4472*o - 13. Let c be t(-3). Is 36 a factor of (-22)/12 + 2 - c/(-78)?
False
Let b(n) = -n**3 + 4*n**2 + 2*n + 3. Let a be b(4). Let m = a + 7. Is 18 a factor of m?
True
Let b(q) = -q**3 + 5*q**2 + 7*q - 31. Let v be b(5). Suppose 30 = -0*y + y. Suppose v*a - y = a. Is a a multiple of 10?
True
Suppose 4*l - 9*l = -340. Suppose -258 = -5*m - 