e p(5). Let n(c) = -c + 1. Let y be n(m). Is 2 a factor of 3 - (-2 + y + 5)?
True
Let m(q) = -q**3 - 3*q**2 - q - 3. Let k be m(-3). Suppose k*x = 2*x - 336. Suppose v = h + 2*h - 103, -x = -5*h - 2*v. Is 34 a factor of h?
True
Suppose 881 = 10*l - 1459. Suppose 6*w - 660 = -l. Does 3 divide w?
False
Suppose a - 4*a = -36. Suppose -5*o = -3*o - a. Is o/(-5)*80/(-12) a multiple of 4?
True
Suppose -17*o = -10*o - 35. Is (68/o)/(9/((-2025)/(-10))) a multiple of 18?
True
Let j(u) = u + 90 - u**3 - 16 + 49. Let v be j(0). Is 9/(-12) - v/(-4) a multiple of 10?
True
Let a(c) = 5*c**2 - c - 2. Let b be a(2). Let q(m) = 33*m - 12 - 11*m - b*m. Is q(6) a multiple of 12?
True
Suppose 4*z = -4*k, 8*z - 4*z - 5*k + 9 = 0. Is 10 a factor of ((-540)/48)/(z/12)?
False
Let q(h) = h**3 + h**2 - 7*h - 6. Let u be q(-4). Let n = u - -376. Is 50 a factor of n?
True
Suppose -3*t + 4 = -2*t. Suppose -3*g = -2*f + f + 9, -t*g - 2 = 2*f. Suppose 5*z = f*h - 25, -h = 3*h + 3*z - 72. Is h a multiple of 4?
False
Let a = -10704 + 13821. Is 16 a factor of a?
False
Let q(f) = -11*f + 2267. Does 10 divide q(-83)?
True
Let v = 47 - 43. Let t = v - 1. Is 9 a factor of 4*24 - (1 - (-2 + t))?
False
Let r = -21 - -22. Let z be (1048/(7 + -3))/r. Suppose 5*u + 27 = z. Does 29 divide u?
False
Let y = -34 + 89. Suppose -2*n + 7*n - y = 0. Suppose n*g - 8*g = 180. Does 19 divide g?
False
Let i = -68 + 79. Suppose -i*y + 1300 = 255. Does 8 divide y?
False
Let t(f) = f**3 + 3*f**2 + 4*f + 200. Does 8 divide t(0)?
True
Let b = 2454 - -6817. Is b a multiple of 3?
False
Suppose -142 = 3*k + 71. Let r = 7 - k. Suppose 4*j + 2 - r = 0. Is j a multiple of 17?
False
Let c = 22031 - 15657. Is 33 a factor of c?
False
Let g(n) = -5*n - 18. Let l be g(-6). Let i(k) = 4 - 6*k + l - 13 - k**2. Is 2 a factor of i(-5)?
True
Suppose 5*h - h + 10 = z, -50 = -5*z - 2*h. Is 1684/z - (-2)/(-10)*-3 a multiple of 13?
True
Suppose 5*w + r + 51 - 128 = 0, 2*w + 2*r - 34 = 0. Let j be (2 - w/9)/((-9)/(-108)). Suppose -2*u + 132 = -2*q, 4*u - 6*q - 258 = -j*q. Does 12 divide u?
False
Let a be (10/(-6))/(-4 - 11/(-3)). Suppose 3*v = 3*w - 579, -34*w - a*v - 181 = -35*w. Is 16 a factor of w?
False
Suppose z = -3*j + 1844, -4*z - 3226 + 10656 = 3*j. Is z a multiple of 7?
True
Suppose -43*o - 35906 = -61*o + 1660. Does 5 divide o?
False
Suppose -3*q + 26 = -13. Suppose -32 = -d + q. Does 7 divide d/(-1)*-1 + -3?
True
Let d(q) be the third derivative of 37*q**5/60 + q**4/12 - q**3/2 + 39*q**2. Is 6 a factor of d(3)?
True
Let r = -43 - -52. Suppose -379 - 125 = -r*x. Is x a multiple of 7?
True
Let t(c) be the first derivative of c**3 + 2*c**2 - 33*c + 49. Is 14 a factor of t(-7)?
False
Suppose -5*t - 5*i + 1567 = -808, -2*t + 943 = -5*i. Let w = -37 + t. Is w a multiple of 19?
True
Let r(y) = -y**3 + 5*y**2 + 5*y + 6. Let l be r(5). Suppose a - 165 = -3*g, 15 = 26*a - l*a. Is 10 a factor of g?
False
Let l = 77 - -17. Let p = l + -132. Let t = -29 - p. Is t a multiple of 7?
False
Let m be (-1)/2 - (-679)/14. Suppose -3*p - 5*a + m = 0, 2*a = -3*p + 16 + 23. Suppose 14*r - p*r - 495 = 0. Is r a multiple of 33?
True
Let s(q) = 51*q**2 + 5*q + 10. Let v be -3 + 6 + -7 + (1 - -1). Let k be s(v). Let a = 295 - k. Does 10 divide a?
False
Suppose 4*r + 4*k = 98801 - 19461, 2*k + 59495 = 3*r. Is 93 a factor of r?
False
Suppose 4*t - 5*p = 17, 3*p = p - 2. Suppose -4*x + t*x - 4*f = -30, -5*f = -25. Suppose x*g - 1685 = 665. Does 47 divide g?
True
Let x = -19330 + 28845. Is 69 a factor of x?
False
Let t be -557 + (0 + -3)/(-3). Let g = -331 - t. Is g a multiple of 75?
True
Let a(s) = -5*s**3 + 2*s**2 - s + 1. Let j(v) = 14*v**3 - 6*v**2 + 2*v - 2. Let f(d) = 11*a(d) + 4*j(d). Let c be 384/112 + 9/(-21). Is f(c) a multiple of 3?
True
Let f be 33/((-3)/(2 + -5)). Let v(d) = 9*d**2 + 58*d + 18. Let k be v(-7). Suppose k = 4*h + f. Does 2 divide h?
False
Suppose -12827 = -2*t - 6491. Does 9 divide t?
True
Let l = 8520 - 4026. Does 16 divide l/4 - 18/36?
False
Suppose 10*c - 12*c + 10 = 0. Suppose -c*g = 3*f - 412, -8 + 3 = 5*g. Does 11 divide f?
False
Suppose -o + 5*j + 543 = 0, 0 = -o - 5*j + 664 - 131. Is o a multiple of 87?
False
Let m be 7/((-14)/(-76)) - 4. Let v(s) = -14 - 17*s + m - 22 - 20. Does 20 divide v(-6)?
True
Suppose -41*s + 37*s + 596 = 0. Let q = 230 - s. Is 27 a factor of q?
True
Suppose 29*b - 1032 = 28*b + 4*x, -4*x + 1008 = b. Does 5 divide b?
True
Suppose -2*w = 4*s + 84, 2*s + 0*s = -3*w - 42. Is 17 a factor of 5 - (-1989)/7 - (-3)/s?
True
Let c = -5971 - -8535. Does 7 divide c?
False
Let j(l) = -l**3 - 6*l**2 - 6*l - 1. Let c be j(-5). Suppose -7*w = -4*t - c*w + 624, -4*t = 3*w - 648. Is t a multiple of 53?
True
Suppose -d = 2*s - 7690, -5*d + 5457 = -4*s + 20795. Is 17 a factor of s?
True
Let i(s) = -470*s + 6416. Does 138 divide i(-53)?
True
Suppose 7*j + 299 = -16. Let o = j + 39. Does 23 divide (68 + 1)/((3 + o)/(-3))?
True
Suppose 0 = -4*m - 5*n + 30, 0 = 4*n + 4 - 12. Suppose -p + 1 = -m*c + 25, -2*p - c = -7. Is 29 a factor of (-3)/9*p - (-264)/9?
True
Let v(f) be the first derivative of 10*f**3/3 - 7*f**2/2 - 16*f - 74. Is 64 a factor of v(-7)?
False
Suppose 3*k - 5*d - 10 = 0, -d - 17 - 19 = -4*k. Suppose 2*r + 18 = 4*u, k = -u + 3*r + 2. Suppose -u*w = -591 - 571. Is w a multiple of 17?
False
Let c = 48 - 46. Suppose 5*h + t = -c*t, 5*t = 2*h. Suppose 966 = -h*j + 7*j. Is 16 a factor of j?
False
Let f be 11/(-1) + (55/1)/11. Let p be (-2)/(-6) + (-346)/(-6). Let i = p - f. Is i a multiple of 16?
True
Let d be 6*(-1)/8*-4. Is 10/(-6)*d + -2 + 205 a multiple of 6?
True
Suppose -2 + 0 = -2*c. Does 25 divide (-1 - (4 - 1/c)) + 252?
False
Let p(t) = 70*t - 3060. Let i be p(41). Let n = -259 - -131. Let v = n - i. Does 8 divide v?
False
Suppose -19*n = -7090 - 89341 - 51959. Is n a multiple of 12?
False
Let b = -74 - -73. Let w(o) = 531*o**2 + o. Is 15 a factor of w(b)?
False
Let s(y) = -2*y**2 + 4*y**2 + 8*y - 8 + y**3 + 0 - 8*y**2. Let d be s(5). Suppose d*l - 670 = -3*l. Is l a multiple of 8?
False
Suppose -213041 = -58*t + 44189. Does 61 divide t?
False
Suppose 3*i - 231 = 162. Suppose w - 4*u + 2*u - 33 = 0, -3*w = 2*u - i. Suppose w = s - 61. Is s a multiple of 10?
False
Suppose -1799058 + 266142 = -33*p. Is 73 a factor of p?
False
Let l = -31752 + 44379. Is l a multiple of 31?
False
Let r be ((-5)/3)/(35/(-126)). Let k be (-3 + 21/r)*0. Suppose 41*a - 37*a - 56 = k. Does 14 divide a?
True
Let c(u) be the first derivative of u**2/2 + 11*u - 21. Let v be c(-7). Suppose 3*j - 4*t - 322 = 0, 4*j - 2*j = -v*t + 248. Is j a multiple of 19?
True
Let t = -54729 - -78389. Is 91 a factor of t?
True
Let y(f) = 25*f + 21*f - 55*f + 17*f + 0 + 3*f**2 + 21. Let j = 3 - 9. Is 9 a factor of y(j)?
True
Let q(u) = -2*u**3 - 8*u**2 - 7*u - 10. Let f be q(-11). Let w = -1181 + f. Is w a multiple of 13?
False
Is (9*(-81558)/(-54))/((-12)/(-16)) a multiple of 92?
True
Suppose -10*d + 18*d + 7576 = 0. Let h = -520 - d. Is 12 a factor of h?
False
Let d(c) = 12*c**2 + 9*c - 40. Let x(y) = 11*y**2 + 9*y - 39. Let q(w) = -3*d(w) + 4*x(w). Is q(6) a multiple of 11?
False
Does 143 divide (3 - (-42)/(-4))/(715050/(-59584) - -12)?
False
Let y = 4376 - 2184. Suppose 2*p + y = 4*z, 1 = -5*p + 11. Is z a multiple of 71?
False
Let k(v) = 2 - 38*v**2 - v**3 + v + 61*v**2 - 34*v**2. Let l be k(-10). Does 15 divide (2/13 - l/(-26)) + 109?
True
Is 69 a factor of (-52)/(-52) + (-100213)/(-9) + (-6)/(-27)?
False
Let j(d) = -d**3 - 110*d**2 - 393*d - 450. Is j(-108) a multiple of 17?
True
Let l(b) = 11*b**2 + 43*b**2 - 29 + 15*b - 48*b**2. Is l(3) a multiple of 8?
False
Let p = 21974 - -372. Is p a multiple of 24?
False
Suppose 96*t - 28160 = 43840. Does 30 divide t?
True
Suppose 110*r - 148576 = 27*r + 115696. Does 163 divide r?
False
Suppose -9083496 = -375*k + 22*k + 4730806. Does 34 divide k?
True
Let q = -522 - -518. Is 13 a factor of (504/27 - 8)*(-6)/q?
False
Let j = -685 - -1469. Suppose -871 = -5*z + j. Is 17 a factor of z?
False
Let l be (-436)/(-20) - 16 - (-4)/(-5). Suppose 279 = 3*k + 5*g, -k + l = -g - 80. Is k a multiple of 8?
True
Let q(f) be the second derivative of 39*f**5/20 - 2*f**3/3 + 3*f**2/2 + 13*f. Let x be q(1). Is (6 + -1)/(2/x) a multiple of 11?
False
Let v be (3 - 1) + -6 + -6. Let y be (24/v)/(-6)*(2 