et m be (34 - f) + -2 + -2. Let x = m - -11. Is x a multiple of 14?
True
Let l = -5 + 8. Suppose m - 78 = -l. Let h = m - 60. Is h a multiple of 3?
True
Is 31 a factor of 0 + (-2)/(-4) + 4 + 1439016/48?
False
Let f(s) be the second derivative of -s**5/20 - s**4 + 7*s**3/6 - 9*s**2 + s. Let j = -3 + -10. Is f(j) a multiple of 14?
False
Let t = 972 + -628. Suppose -2*q - 2*v = t, -2*q - 3*q + 4*v - 851 = 0. Let k = -43 - q. Is k a multiple of 16?
True
Let p = 1825 + 7351. Is 37 a factor of p?
True
Let d(s) = 22*s**2 + 30*s + 2. Let f be d(4). Suppose 29*p - 831 = f. Does 6 divide p?
False
Let n(w) = -w**3 - 11*w**2 - 19*w + 17. Let o be n(-9). Suppose 2*m - 236 + o = 0. Suppose 165 = 2*l - h - 80, 4*h + m = l. Does 18 divide l?
False
Let u(n) = -n**3 + 5*n**2 + 11*n - 5. Suppose -10 + 46 = 6*v. Is 5 a factor of u(v)?
True
Let j be (-2288)/1430*(0 - 10/4). Let q = 92 + 85. Suppose j*d - q = 747. Does 24 divide d?
False
Let v be 4 - 1*3/3*2. Suppose -4*m - 94 = -v*c, 2*c = -2*m + 76 + 12. Let j = c + -21. Is 4 a factor of j?
True
Suppose -420 = -4*d - 24*d. Suppose -z + 669 = -5*s, -d*z + 3*s = -10*z - 3389. Does 6 divide z?
False
Let a = -1969 - -3209. Is 5 a factor of a?
True
Let w = -1068 - -912. Let h be 1/(-8)*-62*4. Let c = h - w. Is c a multiple of 11?
True
Let v be (-4)/3 - 40/60. Let l be 2908/36 - (-1)/(-9)*v. Suppose -5*h + 399 = k, l + 0 = h - k. Is h a multiple of 16?
True
Is 13 a factor of 19*(-17164)/(-32) + 7/224*-4?
False
Suppose 4*u - x - 3*x = 16, 2*u + 2*x - 8 = 0. Suppose y = -4*h + 273, -u*y + 2*h + 994 = -80. Let c = -140 + y. Is 18 a factor of c?
False
Let l(j) = -152*j + 604. Is l(-55) a multiple of 36?
True
Let p be -1 - 726 - 24/(-40)*-10. Let h = p - -1120. Does 47 divide h?
False
Let z be (-246)/(-1) + (13 - 11). Suppose -15*v = -19*v - z. Let d = 22 - v. Does 14 divide d?
True
Is 14 a factor of 1 + (4857 - 1) + 1?
True
Suppose 5*f = -39 + 179. Does 14 divide f/3*(2 + 245/14)?
True
Let s be (12/2)/((-96)/(-240)). Suppose -2080 = -35*k + s*k. Is k a multiple of 13?
True
Suppose 36075 = 5*u + 34*s - 38*s, -3*s = 0. Is u a multiple of 13?
True
Let l(v) = 34*v**2 + 2. Let c be l(1). Suppose -3*n = -5*n - c. Let f = n - -68. Does 10 divide f?
True
Let b = -2684 - -2956. Is b a multiple of 34?
True
Let s = -1720 + 2038. Does 6 divide s?
True
Suppose -4*o - 19816 = -5*z - 1134, 0 = -z + 5*o + 3728. Is 3 a factor of z?
True
Suppose -27*h + 33*h + 24 = 0. Let p be 4/10 + (-7)/5*h. Let v(t) = -t**2 + 10*t - 8. Does 4 divide v(p)?
True
Is 112563/54*252/33 a multiple of 6?
True
Let s be 1 - -15 - (-13 - -18). Suppose -28 - 5 = -s*b. Suppose 2*n - 78 = -b*l + 2*l, 4*l = -2*n + 324. Does 41 divide l?
True
Let d(l) = 21*l - 46. Let j be d(6). Let c = -80 + j. Suppose 16*q - 14*q - 420 = c. Does 14 divide q?
True
Let z(a) = -4*a**3 - 2*a**2 - a. Let f be z(-1). Suppose -f*b + 347 = -178. Does 25 divide b?
True
Let x = 43978 - 20167. Is 290 a factor of x?
False
Suppose 229 = -4*p + 2*i - 199, 0 = 4*p + 4*i + 428. Suppose 2*g - u - 465 = 0, 2*g - 2*u - 154 = 310. Let a = g + p. Is a a multiple of 14?
True
Let r be -11*(-13)/(39/495). Suppose m - r = -2*m. Is 55 a factor of m?
True
Suppose -3*i + i - 3*m = 20, -3*i - 29 = 5*m. Let j(k) = k**3 + 16*k**2 + 11*k - 8. Is j(i) a multiple of 49?
False
Suppose -r - 6*t = -7*t, 0 = -r - t. Is -78*(-3 + 4)*(-7 + r) a multiple of 13?
True
Let j = 17049 + -1581. Suppose 0*d = 12*d - j. Is 16 a factor of d?
False
Let f = -62 + 633. Let y = -347 + f. Is y a multiple of 7?
True
Let o(s) = 65*s**2 + 80. Is 14 a factor of o(10)?
True
Let o be ((-5)/20)/(1/(-24)). Suppose 0 = o*x - 8*x - 5*w + 35, 4*x - 97 = -w. Is 11 a factor of x?
False
Suppose 76*y - 15198 = -4*w + 79*y, 0 = -y - 6. Is w a multiple of 56?
False
Suppose -57178 = -60*u + 249542. Is u a multiple of 36?
True
Let o = -86 + 81. Let y be (-2)/(2/3) - (-1 + 13). Is (y/(-12))/(o/(-160)) a multiple of 20?
True
Let m(k) = -3228*k + 2032. Is m(-7) a multiple of 6?
False
Let a = 53126 + -9419. Does 36 divide a?
False
Let i(b) = 54*b - 101. Let l be i(2). Let m(s) = 140*s - 40. Is 27 a factor of m(l)?
False
Suppose -y - 4*y = -100. Suppose -6*d + 34 = -y. Suppose d*v - 6*v = 285. Is v a multiple of 19?
True
Suppose 0 = -75*l + 29499 + 6501. Is l a multiple of 80?
True
Let t be (-5)/(-2) - (-86)/172. Suppose t*s - 18960 = -27*s. Is 79 a factor of s?
True
Let c(s) = 4492*s - 3137. Is 309 a factor of c(4)?
False
Let a = -1656 - -2154. Is 6 a factor of a?
True
Suppose 4*z = -5*m - 458, -5*m = -0*z - z - 102. Let n = -203 - z. Let r = 151 + n. Does 10 divide r?
True
Is ((-6405)/84)/(20/(-32)) a multiple of 122?
True
Let m be ((-3)/(-5))/(3/405). Suppose -a - m = -4*a. Suppose -2*y + a = y. Does 4 divide y?
False
Suppose 1040 = 5*j - 4*t, -25*j + 5*t = -30*j + 1040. Suppose -7*h = 9*h - j. Is h a multiple of 10?
False
Suppose -2*y = j - 769 - 1009, -4*y + 7132 = 4*j. Suppose 10*x - j = -598. Does 12 divide x?
False
Suppose 198 = 4*d - 2*w, -155 = -3*d - 6*w + w. Let i = -50 + d. Suppose i = -5*l + 6*l - 3. Is 3 a factor of l?
True
Let a = -5369 - -7501. Does 7 divide a?
False
Does 13 divide 13/26 - 11277/(-14)?
True
Suppose 1057052 - 195068 = 48*z - 567408. Does 18 divide z?
False
Let l be (-12)/(-32) + 633/(-24). Let y be (-2)/(-13) + (-6522)/l. Suppose -859 = -5*u + y. Is 30 a factor of u?
False
Suppose 3*l = 5*t - 9999 - 2499, 4*t = -2*l + 9994. Does 49 divide t?
True
Does 19 divide 13*(-6)/4*71060/(-561)?
True
Let x(p) = 3*p**2 + 7*p - 42. Let j be x(4). Is 4 a factor of 114 + 17/(j/(-12))?
True
Suppose -56300 = -4*z + 5*y, -70330 = -12*z + 7*z - 5*y. Is z a multiple of 67?
True
Let i be 2/2*(358 + 26). Suppose -117*w + i = -115*w. Is 16 a factor of w?
True
Does 15 divide (40/25)/(2/10500*10)?
True
Suppose 0*x - x - 5*b + 29 = 0, 2*x - 4*b = 2. Let d(c) = c**3 - 10*c**2 + 9*c + 1. Let l be d(x). Is 31*(1 - (-1 - l)) a multiple of 21?
False
Suppose 0*v = -v + 5*p + 26, 8 = -4*p. Let a = 42 - v. Is a + 6 + 0 + -2 a multiple of 9?
False
Let d(a) = -a**2 - 30*a - 37. Let r be ((-6)/8 + 48/(-16))*4. Is d(r) a multiple of 12?
False
Let w be -2*(-1)/(-11) - (-3131)/341. Suppose 5*x = w*x - 16. Does 4 divide x?
True
Suppose -5*h + 56 = m - 5, 4*h - 292 = -4*m. Suppose k - m - 54 = 0. Let p = k - 4. Is p a multiple of 14?
True
Let i = -3081 - -7247. Is 147 a factor of i?
False
Let w = 8398 - 7201. Is w a multiple of 11?
False
Let m(a) = -2*a**3 + 5*a**2 + 52*a + 274. Is 8 a factor of m(-8)?
False
Let m(o) = -2*o + 4. Let d be m(0). Let i = -2 + d. Suppose 2*f + 614 + 61 = 5*a, -i*a + 279 = f. Is 15 a factor of a?
False
Suppose 0 = 2*y - 6. Suppose -5*f + f - 16 = s, 9 = -y*f. Is s/((-8)/146) + -1 a multiple of 8?
True
Let k(n) = n - 1. Let w(r) = r - 1. Let t(s) = 6*k(s) - 2*w(s). Let q be t(13). Let x = 16 + q. Is x a multiple of 6?
False
Let r = -84 + 56. Suppose -2*f + 228 = 4*p, 8 = f + 2. Let i = r + p. Does 11 divide i?
False
Suppose 4*w + 33739 + 6541 = 4*v, 0 = v - 2*w - 10065. Does 65 divide v?
True
Suppose 4*a - 18 = 2*y, 4*a - 4 = 2*a. Let s be 24/((30/(-147))/y). Suppose 7*j = s + 266. Is j a multiple of 31?
False
Suppose 12*d - 8*d + 3612 = 0. Let t = d - -1149. Does 41 divide t?
True
Let n be (4 - 84/15)/((-4)/10). Suppose 5*f = -n*f + 18. Does 12 divide 9/(-30)*f + 5427/45?
True
Suppose -25*r + 2775220 = 61*r. Is r a multiple of 88?
False
Does 40 divide (-24 - 86)/(3/96*-2)?
True
Suppose 0 = 3*p + 2 - 8. Suppose -p*d + 12 - 4 = 0. Suppose 0 = -3*g + 4*g - d. Is g a multiple of 4?
True
Let n(k) = -342*k + 13591. Is n(-67) a multiple of 35?
True
Let h(f) = -2*f - 24. Let g be h(-8). Let y be ((-5)/4)/(g/32). Suppose -21 = -y*b + 34. Is 10 a factor of b?
False
Let j(m) = 2*m**3 - 7*m**2 + 6*m + 2. Suppose 6*s - 38 = -8. Let f be j(s). Let x = -81 + f. Does 12 divide x?
False
Suppose 19*a + 117 = 2*g + 14*a, 5*g + 2*a = 220. Suppose 0 = h - g - 144. Is h a multiple of 10?
True
Let z(k) = 397*k**2 - k**3 - 2 - 397*k**2 - k. Let v be z(-1). Suppose 5*w + 4*i - 748 = v, i = 4*w + 28 - 639. Does 8 divide w?
True
Let a(j) be the first derivative of -3*j**4/4 - 8*j**3/3 + j**2/2 + 22*j - 114. Does 32 divide a(-5)?
True
Let y(t) = -5*t - 9 - 9 - 4*t**2 + 3*t**2 + 13. Let h be y(7). Let z = 132 + h. Does 10 divide z?
False
Let s = 383 - 370. Suppose -