36*j. Is p even?
True
Let a(x) = -933*x - 2112. Does 9 divide a(-7)?
True
Let x(g) = 3*g**3 - 11*g**2 - 27*g + 48. Does 12 divide x(9)?
False
Let a = 22072 + 2354. Is 59 a factor of a?
True
Let y(s) be the second derivative of s**5/20 + 3*s**4/4 + s**3/2 - 3*s**2/2 + 18*s. Let b be y(-7). Suppose 72*r + 126 = b*r. Does 11 divide r?
False
Let m be ((-3)/(-9))/((-1)/(-3)). Let r be (1/2)/(m/(-2)) + 4. Suppose -r*z - 5*a + 300 = 2*z, 2*z - 118 = -4*a. Is z a multiple of 5?
False
Suppose -290*l = 6*l - 5989560. Is 95 a factor of l?
True
Let x(m) = -7*m - 136. Let i be x(-24). Suppose 87 = -3*r - v, -40 = 5*r - 4*r + 4*v. Let q = r + i. Is q a multiple of 3?
False
Suppose -5*u - 2*i - 2*i + 128 = 0, 3*u + 3*i = 75. Suppose 42 = k - u. Is 10 a factor of k?
True
Suppose -18*x + 4325 + 7618 = -19305. Is 28 a factor of x?
True
Let p be ((-14)/2)/((-42)/12). Suppose 5*l - 4*i - 420 = 0, 4*l - 6*l - p*i + 150 = 0. Is l a multiple of 4?
True
Suppose 0 = 9639*f - 9649*f + 37930. Is 3 a factor of f?
False
Let m(o) = -161*o + 2093. Does 28 divide m(-55)?
True
Let j = -1747 + 7634. Does 29 divide j?
True
Let r be (-6*4/(-8))/3. Let d be ((-304)/(-24))/(r/24). Suppose 920 = 3*v + 5*h, v - 2*h - d = -h. Is v a multiple of 40?
False
Is (1 - -16)*-15*24/(-40) even?
False
Let o(q) = 91*q + 10. Let d be o(5). Suppose -58*v + 55*v + d = 0. Does 17 divide v?
False
Let m(o) = 368*o + 59. Let w be m(9). Suppose 7*l - 2173 = w. Does 11 divide l?
True
Suppose 0 = -t + 3*m - 190, 4*t - 8*m = -3*m - 774. Is (-3902)/(-6) - (t/(-21) + -9) a multiple of 13?
True
Let t(p) = -1630*p + 17602. Does 8 divide t(-13)?
True
Does 54 divide 0 + (6/(6 + 6)*0 - -6412)?
False
Let u(w) = -677*w - 3245. Is 7 a factor of u(-9)?
False
Suppose -5*d - 3 = -13. Let a be 553/35 - d/(-10). Let x = a + -11. Is 2 a factor of x?
False
Let v(c) = 2*c**3 + 36*c**2 - 41*c - 91. Is 20 a factor of v(-17)?
False
Let z be (-3)/(6/(-32) - 0). Suppose -832 = -57*c - 47*c. Let y = z + c. Is y a multiple of 12?
True
Is (-5)/140*-8*(-28)/(-8) - -4056 a multiple of 60?
False
Let i = -333 + 340. Let y(j) = 61*j + 35. Is y(i) a multiple of 11?
True
Let z be (-1)/((1/6)/(1 - 2)). Let p(t) = -2 + 8*t**2 + 2 + z*t - 3 - 5. Is 15 a factor of p(3)?
False
Suppose 0 = 3*q - 4*u - 32568, 2*q - 13936 = 3*u + 7775. Is 10 a factor of q?
True
Suppose 4*s = 16*s - 48. Suppose -5*t = -t - 8. Does 5 divide t*2*19/s?
False
Let m = 207 - 13. Suppose m = 3*p + 8. Let z = p - 14. Does 24 divide z?
True
Let c(o) = 10*o - 179. Let w be c(18). Is (325 - (7 + -4))/(w/4) a multiple of 23?
True
Let o(m) be the second derivative of 0 + 20*m - m**3 + 0*m**4 + 1/20*m**5 + 7/2*m**2. Does 32 divide o(4)?
False
Let m(x) = x**3 - 17*x**2 + 16*x - 3. Let u be m(16). Let q be (-98)/u + 4 + 56/(-12). Does 8 divide q/(-3)*((-5)/(-2) + -4)?
True
Let j(m) = 529*m - 1596. Is 67 a factor of j(31)?
False
Let n(k) = -19*k + 5*k + 8*k - 20*k - 2. Let g be n(-2). Let p = g - 29. Is p a multiple of 5?
False
Suppose 0 = 5*z + 4*z - 18. Suppose -4*w - 4 = 0, -z*l = l - 4*w - 1366. Is l a multiple of 13?
False
Let x(g) = 37*g**2 - 5*g - 3. Let u be x(3). Suppose 3*o - 2*j - u = 0, j = -o + 2*j + 105. Does 15 divide o?
True
Suppose 3*c = -3*i + 27, 5*i - 3*c + 6*c = 39. Suppose i = 9*n - 12. Is (-4 - -12)/n - -69 a multiple of 15?
False
Let k be (((-6)/2 - -3)/(-1))/(-2). Suppose k = 2*j - 2*p - 40, -4*j + 10*p + 65 = 9*p. Is 14 a factor of j?
False
Suppose 5*g = -o + 10, 1 - 5 = 4*o - 2*g. Suppose o = -3*f - 3*h + h + 346, -117 = -f - h. Is f a multiple of 4?
True
Let u = 129 + -134. Let h = u - -113. Does 12 divide h?
True
Let s(x) = 2*x**3 - 6*x**2 + 3*x - 11. Let z = 105 + -76. Let t be 3/1 + 58/z. Is 8 a factor of s(t)?
True
Is 20/10 + (-7236 - 7)*(2 + -3) a multiple of 15?
True
Let y(o) = 3*o**2 - 19*o - 72. Let a(n) = -2*n**2 + 7*n - 9. Let x be a(3). Is 7 a factor of y(x)?
False
Let v(l) = -641*l + 51. Let z(m) = 1927*m - 155. Let b(q) = 7*v(q) + 2*z(q). Does 85 divide b(-1)?
True
Let d(v) = v - 2 + 0*v**3 - 44*v**2 + 2*v**3 + 39*v**2. Let a be d(3). Suppose -2*w + 14 = -a. Does 6 divide w?
True
Let r(v) = -v**3 + v**2 + 5*v + 3. Let x be r(3). Suppose -2*b + 1803 + 15 = x. Is b a multiple of 18?
False
Let p be ((17 + 3)*2 - 6) + 0. Is (5 - 1105/(-34))/(1/p) a multiple of 51?
True
Let a(p) = 46*p - 53. Suppose 8*h = -2*h + 90. Is a(h) a multiple of 12?
False
Is 2032*(-15 + 224/14) a multiple of 8?
True
Let m(y) = -32*y**2 - 2. Let h = 44 - 43. Let x be m(h). Let i = x - -48. Is i a multiple of 10?
False
Let h = 115 + -116. Let p(o) = 126*o**2 + 4*o + 4. Is p(h) a multiple of 37?
False
Let i = 1553 + -550. Is i a multiple of 11?
False
Does 40 divide (226080/192)/((-9)/(-96))?
True
Let q(j) = 75*j**2 + 36*j - 16. Let m be q(-8). Suppose -m = -9*y - 7*y. Does 37 divide y?
False
Suppose -15*a + 312 = -21*a. Let q = a + 37. Is 21 a factor of (-1*122/(-3))/((-10)/q)?
False
Suppose -12*c = -1703 - 205. Does 159 divide c?
True
Let k be 17/2 - ((-6)/4 + 3). Let f(m) = m**3 - 7*m**2 + 5*m - 14. Let v be f(k). Suppose v = 6*z - 3*z. Is 7 a factor of z?
True
Let d = 272 - 272. Let j(g) = -2*g**3 - 2*g**2 + 11*g + 156. Is j(d) a multiple of 14?
False
Let c(x) be the first derivative of -x**4/4 + 11*x**3/3 - 17*x**2/2 + 7*x - 32. Is c(7) a multiple of 2?
True
Let q = -6861 + 14666. Is q a multiple of 21?
False
Let s(a) = a**3 + 14*a**2 + 23*a - 5. Let v be s(-12). Is 1/(10956/(-1566) + v) a multiple of 23?
False
Let l = 38215 - 19708. Is 65 a factor of l?
False
Let f(k) = 21*k - 202. Let g be f(10). Suppose -5*a - 91 = -x, 5*x - 483 = -g*a + 5*a. Is 24 a factor of x?
True
Let c(u) = 802*u - 148. Does 41 divide c(11)?
False
Let n(y) = 37*y**2 - 2*y - 4. Suppose -3 = 4*r + 5*c, c + 5 = r - 4*r. Is n(r) a multiple of 8?
False
Let d(u) = 2*u**3 - 3*u**2 - 51*u - 10. Is d(11) a multiple of 24?
True
Suppose -3*u + a + 2 = 0, 4*u - 9*a + 8 = -5*a. Suppose u*w = 5*f - 1891, 2*f + 2*w - 745 = -w. Is f a multiple of 21?
False
Does 8 divide 0 - (2 + 12/(-60) + 31107/(-15))?
True
Let v(r) = r**3 - 15*r**2 + 3*r + 20. Let f be v(13). Let a = f + 403. Is 4 a factor of a?
True
Let m(i) = -2*i**3 + 4*i**2 + 9*i + 8. Does 19 divide m(-10)?
True
Let z(n) = -n**3 - 13*n**2 - 27*n - 57. Let c be z(-11). Is 0 + 388 - (-3 + c + 9) a multiple of 48?
True
Let p(l) be the third derivative of l**5/30 - 37*l**4/24 - l**3/2 + 46*l**2 - 2. Is p(19) a multiple of 8?
True
Suppose s - 7*d + 3*d + 3 = 0, -5*s - 3*d + 31 = 0. Suppose -a - 52 = -2*h, a = s*h - 2*a - 129. Suppose h = 8*i - 85. Does 4 divide i?
False
Suppose 4*r = 7*r - 12. Suppose 0 = h + r*h - 25. Suppose -4*q = -h*m + 74, -q = 3*m - 39 - 19. Is m a multiple of 8?
False
Suppose 5*o + 5*m - 280880 = 0, o + 3*m - 40112 = 16046. Is o a multiple of 30?
False
Suppose -5*i + 53 = 3*x, -11*x + 76 = -6*x - 4*i. Suppose -4047 = -x*p + 3569. Is p a multiple of 14?
True
Let y(l) = 8*l**3 - 2*l**2 + 17*l - 37. Suppose 5*i = -11*i + 64. Does 45 divide y(i)?
False
Let v be (6 + -2 - 7) + -3. Let h be ((-15)/v)/((-3)/6). Is (6 + h)/((-4)/(-132)) a multiple of 8?
False
Let g(j) = 2*j**2 + j - 3. Let o be g(-2). Suppose 12 = -o*i - 6. Is 36 a factor of ((-45)/i)/((-25)/(-24) - 1)?
True
Suppose -5*d = -8 - 2. Suppose 3*a - d*a - 5 = 0. Is 3 a factor of a?
False
Let s = -9 + 9. Let i be (28/3 + s)/((-8)/(-12)). Suppose -86 = -5*b + i. Does 20 divide b?
True
Let l be (36/(-15))/6 - 27/(-5). Suppose l*o = 9*o - 176. Suppose -k = -4*z - o, -2*z + 3*z + 1 = 0. Does 20 divide k?
True
Let s = -3836 + 5987. Is s a multiple of 6?
False
Let y be (-9)/((-45)/55)*-3. Let h(g) = -g**2 - 38*g - 36. Does 15 divide h(y)?
False
Let h(z) = -z**3 - 5*z**2 + 5*z - 4. Let p = -76 - -70. Let c be h(p). Suppose 3*x - 745 = -c*x. Is 18 a factor of x?
False
Suppose 0 = 3*s + 5*r + 20, -3*s - 13 = 4*r + 6. Let m = 42 + -45. Is 1/m + ((-155)/3)/s a multiple of 4?
False
Let o = -128 - -138. Let y(r) = -r**2 + 13*r + 3. Is y(o) a multiple of 2?
False
Let l(k) = 428*k**2 + 253*k - 991. Is l(4) a multiple of 52?
False
Let y = -4133 + 16886. Is y a multiple of 88?
False
Suppose -35 = -2*a - 25. Suppose -f + y + 90 = a*y, -4*f = 3*y - 308. Is 10 a factor of f?
False
Let b = -342 + 349. Suppose 142 = -b*y + 611. Is 19 a factor of y?
False
Let b(v) = -v**3 - 7*v**2 - v + 4. Let t be 