e
Let z be 66/(-7) + (-6)/(-14). Is 2 a factor of (-30)/z*(-9)/(-6)?
False
Let s be 458/(-6) - -4*4/(-24). Let b = 79 + s. Suppose 4*p - 4*r - 80 = 0, 0 = b*p + 3*r - 26 + 1. Does 17 divide p?
True
Let f = 38 + -38. Suppose -3*p + 2*b + 0*b + 148 = 0, f = 4*p - 5*b - 188. Suppose -17 = -3*n + p. Is 4 a factor of n?
False
Suppose -5*o + 21*l + 5680 = 22*l, 0 = 2*l. Does 8 divide o?
True
Let c(y) = 3*y + 8. Let b be c(-4). Let w(m) = m**3 + 3*m**2 + 2*m - 3. Let t be w(b). Let g = t + 55. Does 21 divide g?
False
Let v(q) = 8*q - 229. Let n be 1/(-11) + 12/(-176)*-676. Does 27 divide v(n)?
False
Suppose 2830*u - 17880 = 2820*u. Is 12 a factor of u?
True
Let n(m) be the third derivative of m**5/20 - m**4/3 + 25*m**3/3 + 64*m**2 - 2*m. Is n(-13) a multiple of 19?
False
Let s = -10393 - -29150. Does 22 divide s?
False
Suppose 3*c = -5*r + 50245, 12*r = 5*c + 11*r - 83779. Is c a multiple of 19?
False
Let v be (12 + -13)/((-2)/4). Suppose -c - 2*t = 120, v*c - 2*t - t + 240 = 0. Let o = c - -184. Is 19 a factor of o?
False
Suppose 162*w - 50274 = 143*w. Is 21 a factor of w?
True
Let g(y) = -y**3 + 53*y**2 - 360. Is 72 a factor of g(48)?
True
Suppose 21*c + 28 - 112 = 0. Does 12 divide 0 - (0 + c)/((-4)/12)?
True
Suppose 0 = -a + 5*x + 11, -3*a + 2*x = -a + 10. Is 3/a*(-10*1 + -2) a multiple of 2?
True
Suppose 60*p - 7600 = 22*p. Suppose 5*w - p = 4*y, 12 = w - 5*y - 28. Is 40 a factor of w?
True
Let v be 1/(-3) + (-11)/((-132)/52). Is 19 a factor of (12/(-18))/(v/(-114))?
True
Let c be (1016/16)/((-1)/(-2)). Let v = 234 - c. Suppose l = -5*i + v, i = -i + 5*l + 32. Does 2 divide i?
False
Let u be 2 - (18/(-6) - 0) - 10. Let o = 227 + -124. Let v = o - u. Does 12 divide v?
True
Let v(y) = -4144*y + 3178. Is v(-13) a multiple of 257?
False
Let m(n) = -174*n**3 - 2*n**2 + 20*n + 45. Is m(-3) a multiple of 22?
False
Let v = 172 - -67. Suppose -3*z + v - 65 = 0. Let n = -2 + z. Is n a multiple of 7?
True
Let y(j) = 6*j - 10. Let v be y(2). Let t be (-39720)/135 - (-1)/(9/v). Let o = t + 442. Is 12 a factor of o?
False
Let s(w) = -w**3 - 15*w**2 - 12*w + 22. Let y be s(-15). Let r = y - 174. Is r a multiple of 14?
True
Let w(i) be the third derivative of i**6/120 - 7*i**5/30 - i**4/2 + 25*i**3/3 - 2*i**2. Let x(s) = 11*s - 249. Let a be x(24). Does 9 divide w(a)?
False
Let c(h) = -h**2 + 0*h + 574 + 2*h**2 + 9*h - 24*h - 18*h. Does 18 divide c(0)?
False
Let g = 246 + -636. Let t = -307 - g. Is t a multiple of 12?
False
Suppose 3*u - 2 = -u - 2*g, u + 4 = g. Let j be ((-25)/(-25))/(u/981). Is 19 a factor of (-3)/(-24) - j/24?
False
Let z(b) = 102*b**2 + 150*b + 24. Is z(-7) a multiple of 12?
True
Let n = 18068 + -11750. Is n a multiple of 27?
True
Suppose -279*k + 2062962 = -81*k. Does 28 divide k?
False
Let s = -21 - -15. Let u(z) = -7*z**2 + 4*z - 4. Let h(g) = -7*g**2 + 4*g - 1. Let j(c) = -5*h(c) + 4*u(c). Is j(s) a multiple of 14?
False
Let w(t) = -12*t**2 - 4*t - 3. Let b(f) = 11*f**2 + 4*f + 4. Let h(n) = 5*b(n) + 4*w(n). Let q be h(-8). Suppose 7*l - 948 = q. Does 14 divide l?
True
Suppose 8134 = g + 4*b, -11*g = -7*g + 5*b - 32591. Is 36 a factor of g?
False
Suppose -r - 4*r = -12120. Let g(s) = 5*s**2 + 81*s - 70. Let n be g(-17). Is n/(-10)*1 + r/30 a multiple of 20?
False
Suppose 2*g - 9*w = -10*w - 95, 5*w - 197 = 4*g. Is 14 a factor of (-6476)/(-16) + (-60)/g?
True
Let i(d) = 2*d. Let t be i(-5). Let q(a) = -a**2 - 11*a - 6. Let o be q(t). Let g = o - -76. Is g a multiple of 10?
True
Let k be (-4)/(1 - -3)*(0 - 3). Suppose -k*a + 1953 = -993. Suppose 8*z - a = -110. Does 11 divide z?
False
Suppose -40*b = 42*b - 68*b - 149464. Is b a multiple of 51?
False
Suppose 5*s + 38 = 3988. Suppose 7393 = 7*v - s. Is 28 a factor of v?
False
Let d be ((-42)/(-49))/((-3)/14). Is -1*(6/9)/(d/888) a multiple of 59?
False
Let p(y) = -85*y - 207. Let z(h) = h**3 - 46*h**2 - 50*h + 135. Let m be z(47). Does 9 divide p(m)?
False
Let l(k) be the first derivative of -4*k**3/3 - k**2 - 12*k + 3. Let f(y) be the first derivative of l(y). Does 3 divide f(-1)?
True
Let u(g) be the second derivative of -g**4/12 + 3*g**3/2 - 4*g**2 - 15*g. Let f be u(8). Suppose f*l = 7*l - 553. Is l a multiple of 10?
False
Let f be (-18)/(2 + -1)*(-20 + 25). Does 38 divide ((-456)/(-30))/((-4)/f)?
True
Let l = 0 + -5. Let g(o) = o**2 + 6*o + 7. Let w be g(l). Suppose -2*v = 3*q - 98, -3*q = -4*v - w*q + 182. Is v a multiple of 7?
False
Let a = -3870 - -3920. Does 5 divide a?
True
Suppose -t = 3*j - 19765, -2*t + 44*j + 39540 = 40*j. Does 8 divide t?
True
Suppose x + 0*x = 5. Let s(w) be the first derivative of w**4/4 - w**3/3 - 7*w**2/2 + 12*w - 39. Does 7 divide s(x)?
True
Suppose -b + 4589 = -4*v, -99*v + 97*v - 18356 = -4*b. Is b a multiple of 68?
False
Let l = 2706 + 3150. Does 8 divide l?
True
Let p = -15 - -3. Let z be p/(-9) - 15/(-9). Suppose -3*f = -s + 158, -z*s = 2*f + f - 462. Is s a multiple of 13?
False
Let w(y) = 15*y**3 - y**2 + y - 1. Suppose -9*d + 8 = -1. Let s be d/((2 - 6) + 5). Is 2 a factor of w(s)?
True
Is 8 a factor of ((-18)/(-4)*52)/((-28)/(-1582))?
False
Let i = 122 - 244. Does 16 divide -10 - -14 - (i + -2)?
True
Let s(w) = 14738*w**2 + 13*w. Does 149 divide s(1)?
True
Let j = -2135 + 796. Does 36 divide 6/((-13)/(j/2))?
False
Suppose 70510 = 8*f - 155823 - 8987. Is 12 a factor of f?
False
Suppose -4*t + 24 - 4 = 0, 0 = -4*s - 4*t. Let j = s + 145. Suppose 6*g + g = j. Does 10 divide g?
True
Let b = -3495 - -11941. Is b a multiple of 41?
True
Let a(p) = -26*p**3 - 3*p**2 + 68*p + 40. Let m(l) = 9*l**3 + l**2 - 24*l - 13. Let j(h) = 4*a(h) + 11*m(h). Is j(-4) a multiple of 25?
False
Let c = 6755 + -6641. Let t = 3 - 21. Let x = c + t. Is x a multiple of 6?
True
Let x = -14207 + 24887. Does 24 divide x?
True
Suppose 9188*l - 9133*l = 332090. Is 5 a factor of l?
False
Suppose -b + 3 = -3. Let w be -2*(-4 - (-1 - b)). Does 15 divide 3/(w/10)*6*-4?
True
Suppose 5*k + 17*m - 22*m - 2840 = 0, -2*k + 1139 = -5*m. Let l = k - 159. Is l a multiple of 24?
True
Let q = 148 + -145. Suppose -2*j + 9 = -5*j, 5*y + q*j - 2396 = 0. Does 21 divide y?
False
Suppose -11752 = 4*d - 5*d + 2*n, -3*d + 35319 = 3*n. Is 37 a factor of d?
True
Let o(a) be the second derivative of a**5/20 + 17*a**4/12 + 7*a**3/3 + 9*a**2/2 - 57*a + 6. Let q(w) = -w**2 + 5*w - 2. Let n be q(7). Is o(n) a multiple of 3?
False
Let y be (-2 + 0)*(-208)/(-32). Let p = y + 10. Does 7 divide (2/3)/(p/(-81) + 0)?
False
Suppose g + g + 4*q + 242 = 0, -4*q = -g - 121. Suppose 2*v = -0*v - 32. Let k = v - g. Is 25 a factor of k?
False
Let d(f) = -f**3 + 32*f**2 + 4*f - 102. Let y be d(32). Let i(p) = 2*p**2 - 43*p - 9. Is 25 a factor of i(y)?
True
Let n = 94 - 95. Suppose 4*h + 5*r = -21, -8*h + 5*r = -3*h + 60. Let u = n - h. Does 6 divide u?
False
Let f(c) = 182*c + 14. Let z = 24 + -27. Let g be f(z). Is 2/((-32)/g) - 1/4 a multiple of 11?
True
Let m(s) = 34*s**3 + 2*s + 7. Let q(l) = -l**3 + l - 1. Let p(n) = -m(n) + q(n). Is 10 a factor of p(-3)?
True
Suppose -r - 22 = 4*t - 3320, r = 2*t + 3322. Is r a multiple of 3?
False
Suppose 45*o - 197504 = -30*o + 106096. Is 87 a factor of o?
False
Let c(j) = -59*j - 13. Let g be c(9). Let a = g + 640. Is a a multiple of 3?
True
Is -111*(200/(-12) - 20/(-30)) a multiple of 111?
True
Let a be -1*(-1 - (-2 - 2)). Let s(d) = -2*d + d + 9*d**2 + 2*d. Does 39 divide s(a)?
True
Let v(r) = -7334*r + 90. Does 84 divide v(-2)?
False
Let g(i) = -12*i - 34. Let j be g(-4). Suppose 2*r - 2293 = -5*y, 15 = j*y - 9*y. Is r a multiple of 17?
True
Let c(o) = o**3 + 11*o**2 + 8*o - 16. Let j be c(-10). Suppose 13 + 3 = -j*g. Does 3 divide (-122)/g + 5/(-10)?
True
Let o = -1 - -3. Let p(v) = v**3 + 7*v**2 - 8*v - 52. Let n be p(-7). Is 0 + 13 + (o + n)/(-2) even?
True
Suppose 0 = 4*p - 7*p + 24. Suppose -p*k - 1127 = -5*n - 6*k, -3*n - 5*k = -670. Is 10 a factor of n?
False
Let b(l) = 93*l + 1861. Is b(-12) a multiple of 5?
True
Let y(h) = -4*h**2 + 25. Let q be y(-6). Let f = q - -36. Let n = f - -112. Does 7 divide n?
False
Let g(z) = -3*z - 12. Let b be g(-5). Suppose 0 = -d - b*d + 196. Let a = d - 19. Does 10 divide a?
True
Let q(a) = 5719*a - 211. Is q(1) a multiple of 153?
True
Let y = 24 + 21. Suppose 5*u + 14 = 3*r + 3*u, 0 = r - 5*u + 17. Suppose -r*v + 9*v = y. Does 1