o - 228 = -2*q, -5*q = -0*q + 4*o - 534. Is 11 a factor of ((-13)/(-52))/(1/4)*q?
True
Let p = -25 + 226. Does 7 divide p?
False
Let x(p) = 2 + 1 + 4*p + 11*p**2 - 3 - 3. Is 22 a factor of x(3)?
False
Let q(m) = 32*m + 184. Is 4 a factor of q(-5)?
True
Let x(y) = -6*y**2 - y + 1. Let r be x(-5). Is (64 - -1)*r/(-120) a multiple of 26?
True
Let v(y) = -17*y - 2. Let k = -42 + 37. Does 15 divide v(k)?
False
Suppose -17*b + 13770 = -8517. Does 69 divide b?
True
Is -3 - ((3 + -5)*3 - 1030) a multiple of 13?
False
Let m be ((-1)/3)/(1 + (-20)/18). Suppose -6*i + 15 = -m*i. Is i a multiple of 4?
False
Let f = 201 + -19. Let o = f + -112. Let n = o - 10. Is 12 a factor of n?
True
Let h = 1116 + -662. Does 32 divide h?
False
Let n(o) = 2*o**3 + 15*o**2 - 11*o + 1. Let g(m) = m**3 + 7*m**2 - 6*m + 1. Let b(i) = 5*g(i) - 2*n(i). Let r be b(-6). Suppose 2*t = r + 17. Does 8 divide t?
True
Let a = 36 - 35. Does 12 divide (42/(-24))/(a/(-76))?
False
Let x be 7 + (-4 - (-3)/3). Suppose -x*i + 908 + 148 = 0. Is 11 a factor of i?
True
Suppose -10 = -3*k - 1. Let r(v) be the first derivative of 2*v**3 + v**2 + 7. Is 11 a factor of r(k)?
False
Let t = -42 - -40. Is (-1 - t) + (26 - 12) a multiple of 15?
True
Let r(v) = v**3 + 10*v**2 - 6*v + 30. Is 15 a factor of r(-9)?
True
Suppose a = -4*a + 35. Suppose -a*z - 8 = -11*z. Is 4 a factor of (-4)/(-8) - (-15)/z?
True
Suppose 11*r - 16*r = -10. Let l(a) = -7*a**2 + 0*a**3 + r*a**3 - 2 + a**2 - a**3 - 6*a. Does 5 divide l(7)?
True
Let p be (-1 + 2)/((-3)/(-174)). Suppose p*a = 53*a + 50. Is 4 a factor of a?
False
Let c be 18/(-12)*(-8)/6 + 0. Suppose c*q + 305 = 4*y + 5*q, 5*y = -4*q + 380. Is y a multiple of 5?
True
Let m be (-18)/(-15)*(-60)/(-18). Suppose m*g + 17 = 3*x + 65, -5*g - 3*x + 60 = 0. Is g a multiple of 6?
True
Is 9 a factor of (44/8 - 7)*(-904)/6?
False
Suppose -2*z + h + 4 = 0, 2*z - 3*z = 5*h - 2. Is z even?
True
Let w = -80 - -84. Suppose -11 = w*p - 243. Does 4 divide p?
False
Let c = 12 + 36. Is (c/14)/(3 - 244/84) a multiple of 9?
True
Let h(s) = -s + 4. Let n(o) = o + 10. Let b be n(0). Suppose 2*w + 0*w = -b. Is h(w) a multiple of 9?
True
Let t(u) = u**2 - 3*u + 7. Let p be t(3). Is 2 a factor of (-7)/p*(-17)/1?
False
Suppose -3*h = -8*h + 30. Is 35 a factor of (3 - h) + 6 + (-128)/(-4)?
True
Let z(w) = -3*w + 21. Let h be z(9). Is (-48)/(-9) - 4/h a multiple of 3?
True
Let q be (20/6)/(24/36). Let d = q - -6. Is d a multiple of 8?
False
Let x(v) = v**2 - 7*v - 5. Suppose -j + 8 = -0*j. Let b be x(j). Suppose c - 3*c - 3*q = -6, b*c = 2*q + 22. Is 6 a factor of c?
True
Suppose -11*k + 819 = -138. Does 26 divide k?
False
Let v = -395 + 603. Is v a multiple of 4?
True
Suppose v - 11 - 19 = w, w - 138 = -5*v. Let c = -35 - -14. Let d = c + v. Does 7 divide d?
True
Let u = 206 - 87. Is 2 a factor of u?
False
Let h(r) be the first derivative of r**4/4 + 4*r**3 + 7*r**2 - 14*r - 2. Is h(-10) a multiple of 15?
False
Suppose -1044 = -2*m + 2*d, -3*d - 2 - 4 = 0. Suppose -5*b + 4*v + 650 = 0, -4*b + m = -5*v + 7*v. Does 12 divide b?
False
Let d = 289 + 107. Is 12 a factor of d?
True
Suppose -33 + 3 = -3*r. Suppose 5*s - r + 0 = 0. Is 14 a factor of -105*7/((-35)/s)?
True
Suppose -7*b = -9*b - u + 205, b + 3*u = 105. Is b a multiple of 17?
True
Let f(y) = -y**3 + 20*y**2 + 10*y + 304. Does 3 divide f(21)?
False
Let c(s) = -5*s**3 + s**2 + 2*s + 5. Suppose -j = 4*a + 14, -5*j - 7 = a + 6. Is c(j) a multiple of 19?
False
Let p = -37 - -39. Suppose 2 = 2*v + 5*m, 0 = p*v - 2*m - 14 - 16. Is v a multiple of 10?
False
Let h be 2/(-3) + (-40)/(-6). Suppose h*s = 9*s - 9. Is s even?
False
Let p = 167 - 305. Let r = 249 + p. Does 23 divide r?
False
Let x = 840 + -396. Suppose 1077 = 13*g - x. Is 7 a factor of g?
False
Suppose -41*c + 100*c = 111510. Does 5 divide c?
True
Let p(y) be the first derivative of -7*y**5/30 - y**4/3 + y**3 - 4. Let s(j) be the third derivative of p(j). Is 19 a factor of s(-2)?
False
Let z be 6/(-27) - (-616)/18. Suppose -3*h + h = -5*v - 56, 5*v - z = -3*h. Let n = 5 + h. Is 11 a factor of n?
False
Let p = 52 + -66. Does 28 divide 4/p + 396/14?
True
Suppose -5*s + 643 = -1447. Suppose -6*k + 3*k = 2*h - s, 2*h - 4*k = 432. Suppose -2*j = -h + 80. Does 30 divide j?
False
Let r(w) = 4*w**3 - w**2 + 3*w - 2. Let p be r(1). Suppose -m + 2*c = -2 - 25, 0 = -2*m - 5*c + 18. Suppose m = -3*k + p*k. Is k a multiple of 12?
False
Suppose 0 = 2*k, -k + 39 - 429 = -3*j. Let m = j + -65. Is m a multiple of 13?
True
Suppose 4*n = -4*t + 24, -2*t + 6*t = -n + 9. Suppose -n*u + 626 = -544. Is 13 a factor of u?
True
Let z be (6 + (-135)/(-20))/((-18)/48). Let v(g) = 23*g - 1. Let x be v(-2). Let a = z - x. Does 13 divide a?
True
Let p(h) = 13*h - 26. Let k be p(3). Suppose k*i - 444 = 492. Does 9 divide i?
True
Let f(i) = i**3 + 9*i**2 + 12*i + 4. Let g = 92 - 98. Is 6 a factor of f(g)?
False
Let j(c) = c**3 - 6*c**2 + 5*c. Let h be j(5). Let l(n) = -n**3 + n**2 + 2*n + 59. Does 21 divide l(h)?
False
Suppose 0 = -68*v + 69*v - 630. Is 18 a factor of v?
True
Suppose -19*r + 3863 = -6169. Is r a multiple of 33?
True
Suppose 0 = 4*s + 287 + 785. Let k = -72 - s. Does 14 divide k?
True
Suppose -f = -47 + 10. Let x = -16 + f. Is 23 a factor of (0 - x/4)*-12?
False
Let i = 20 + -13. Let m = 51 - i. Does 22 divide (6/(-4))/((-1)/m)?
True
Let n(x) = 57*x**2 - 3*x + 1. Suppose 5*f + 3 = -i, -3*i + f = -4 - 3. Is n(i) a multiple of 43?
False
Suppose 3*k - 28 - 809 = 0. Is 9 a factor of k?
True
Let s(d) = -d**2 - 9*d - 13. Let t be s(-3). Is 15 a factor of (0 - 9/15) + 503/t?
False
Let d = 43 + -46. Is 21 a factor of (-6)/d + -3 + 26?
False
Let n(d) = 6*d - 25. Let b be n(10). Suppose b*z = 34*z + 40. Is 15 a factor of z?
False
Let i(w) = 15 + 4*w**2 + 9 + 2*w - 23. Let q(n) = 3*n**2 + n + 1. Let p(d) = 4*i(d) - 5*q(d). Is p(-10) a multiple of 8?
False
Let r(t) = -t**3 - 5*t**2 - 8*t + 8. Let d be 3/(-2) + (-77)/14. Is r(d) a multiple of 18?
True
Let m = 46 + -29. Let s = m - -73. Does 15 divide s?
True
Suppose 20 = -5*d, 5*i + 2 = 6*i + 5*d. Let n be i/(-2)*(-2 - -3). Let k = n - -16. Is 2 a factor of k?
False
Let y(f) = 3*f**2 - 8*f + 4. Suppose 20 = -5*q + 10*q. Is y(q) a multiple of 3?
False
Let d(r) = 2*r + 14. Let i be d(-16). Let m be 27/(-18) + i/(-4). Suppose -3*x - 5*y = -238, -m*x - y + 5*y + 274 = 0. Is x a multiple of 20?
False
Suppose -2*x = -t + 3, t + 5*x - 2*x = 28. Let f(k) = -4*k + 5 + 3 + 6*k. Is 17 a factor of f(t)?
True
Suppose 5*f = -8*f + 1859. Is 3 a factor of f?
False
Let u(g) = g + 6. Let p be u(3). Does 19 divide 4*p/(45/160)?
False
Let x = -9 + 23. Let b(y) = -y**3 + 14*y**2 + 3*y + 7. Does 5 divide b(x)?
False
Is 12*(2 + (-52)/(-6)) a multiple of 8?
True
Does 5 divide (3/9)/((-60)/(-336060))?
False
Let h be (4/8)/(2/8). Let b(a) = 85*a - 1. Let o be b(h). Suppose -416 = -5*x + o. Does 39 divide x?
True
Suppose -4*z - 2*x + 2558 = -4860, z = 2*x + 1857. Is z a multiple of 35?
True
Let y(n) be the third derivative of 3*n**6/40 + n**5/120 - n**4/12 - 5*n**3/6 + 8*n**2. Let d(f) be the first derivative of y(f). Does 22 divide d(2)?
False
Let p(a) = -a**3 + 4*a**2 + 4*a + 4. Let z be p(5). Let b be (-10)/4*(z - -3). Does 31 divide b - -1 - (1 + -98)?
True
Is (2 - (4 - 1)) + 717 + 63 a multiple of 23?
False
Suppose -90*i - 10350 = -100*i. Is 9 a factor of i?
True
Let z = -1 - -6. Suppose 4*f = 0, -z*s - 2*f = -15 - 10. Suppose s*c - 59 = -q, 4 = q - 0. Does 3 divide c?
False
Let f(x) = -16*x**3 - 7*x**2 - 6*x + 7. Does 8 divide f(-4)?
False
Let l(d) = d**2 - 2*d. Suppose 0 = 3*b - 6. Let t be l(b). Suppose 32 = r - t*r. Is 10 a factor of r?
False
Does 40 divide -3 + (-46)/207 + 6356/9?
False
Let j(g) = -6*g**3 + 7*g + 3. Let c(d) = 3*d**3 - 4*d - 2. Let m(v) = 5*c(v) + 3*j(v). Let w be 1*-6*(-3 + 50/15). Is 7 a factor of m(w)?
True
Let j = 355 + -211. Does 36 divide j?
True
Suppose -c - 4*k + 8 = 0, -5*c + c - 4*k + 20 = 0. Suppose 0 = c*w - w - 66. Is 2 a factor of w?
True
Suppose 0 = -x - 14*y + 11*y + 295, 0 = 5*x - 4*y - 1418. Is x a multiple of 28?
False
Suppose 2*q = 4*j + 12, j + 3 = -4*q - q. Suppose -4*t = 12, -2*p - 5*t - 9 = -q*p. Is 7 a factor of -85*p/(30/(-2))?
False
Let h(x) = -3*x + 9. Let f(z) = z**3 + 10*z**2 - 4. Let s be f(-10). Does 21 divide h(s)?
True
Let t =