3 + 1158. Does 2 divide ((-12)/(-9))/(3 - 1390/k)?
True
Let i be (3 + (-1 - -2))*(-38)/(-8). Let g = -41 + i. Let q = g + 96. Is 4 a factor of q?
False
Let v = 4781 - 4778. Is v even?
False
Suppose 5*l - 15 - 1348 = a, -l = -a - 275. Let b = 368 - l. Does 12 divide b?
True
Let u(v) = -26*v**3 + 4*v**2 - 24*v - 4. Is u(-4) a multiple of 65?
True
Let h be -46 + -2*(-2)/(-4). Let x = h + 50. Let b(k) = 38*k - 4. Does 22 divide b(x)?
True
Suppose -543*f + 281*f + 276*f = 41398. Is f a multiple of 19?
False
Suppose -1 = -4*v + 3*b + 2, 5*v = -3*b + 24. Suppose 25 = -5*o, -o + 20 = v*h + 2*h. Suppose -h*f + 39 = m - 0*m, -2*f + 21 = -5*m. Does 7 divide f?
False
Suppose -5*c + 17 + 3 = 0. Suppose -c*s - 98 = -26. Is (-2)/(-6) + 8/s*-42 a multiple of 11?
False
Suppose 0 = w - 72 + 12. Let f = 115 - w. Is (-184)/5*f/(-22) a multiple of 14?
False
Let y be 408/(-42) - -10 - (-88)/(-14). Is 9 a factor of (-586)/(-3) + ((-16)/y - 2)?
False
Let d = 41567 - 27007. Is d a multiple of 140?
True
Let v(d) = 47*d**3 - 2*d**2 - d + 7. Let z be v(-2). Let s = z + 768. Is 13 a factor of s?
False
Let v(b) = 49*b - 51. Let h be v(-5). Let w = h - -312. Does 4 divide w?
True
Let j = -21393 - -49088. Is 108 a factor of j?
False
Suppose -c - x = -63, -x = 5*c - 6*x - 365. Let v = -103 + 106. Suppose -2*n = w + v*n, 3*w - c = 2*n. Is w a multiple of 20?
True
Let x be (-2)/5 - 7/(105/(-6)). Let f(y) be the third derivative of -y**5/60 - y**4/24 + 25*y**3/3 - 3*y**2 + 34*y. Does 50 divide f(x)?
True
Suppose f + k - 24422 - 8584 = 0, 0 = -4*k + 24. Is f a multiple of 100?
True
Let g(y) = y + 32. Let k be -28*2/(-4)*-1. Let w be g(k). Does 4 divide w + 2 + (3 - 2)?
False
Suppose 2*b - z - 958 = 395, 0 = 5*b + z - 3400. Suppose -b - 2261 = -10*v. Does 49 divide v?
True
Let n(i) = 6*i**2 + 10*i + 358. Does 11 divide n(-11)?
False
Suppose -4*r = -2*f - 1394 + 4816, -3*r - 4*f = 2539. Let j = 1503 + r. Is j a multiple of 41?
False
Suppose 262*p = 255*p + 21490. Does 100 divide p?
False
Let j(h) = 2*h**2 - 24*h - 33. Let x be j(19). Let d = -125 + x. Is 6 a factor of d?
True
Let c be (752/(-470))/((-3)/15 + 0). Let w = 20 + -14. Is (4/w)/(c/480) a multiple of 8?
True
Suppose 15*m = 2*v + 10*m - 681, -6*v = 3*m - 2097. Is 12 a factor of v?
True
Let j(l) = -l**2 - l + 129. Let i = -16 - -16. Let t be j(i). Let g = 237 - t. Is g a multiple of 12?
True
Suppose -81*g = -199*g - 38229 + 293109. Does 45 divide g?
True
Let w(b) = -5*b + 76. Let g be w(15). Is 16 a factor of g/((-35424)/(-7080) + (-1 - 4))?
False
Let m = -1512 + 3483. Let h = -277 + m. Does 22 divide h?
True
Let s(k) = -1 + 355*k**2 + 2*k**3 - 357*k**2 + 3*k**3 + 2*k + 9*k**3. Does 73 divide s(3)?
True
Let t = 1020 - 549. Is 4 a factor of t?
False
Let b = -22 - -26. Is (6/b)/(222/25012) a multiple of 16?
False
Let b(n) = -n**3 - 50*n**2 + 23*n - 1148. Is 14 a factor of b(-51)?
True
Let i(a) = -a**2 + 9*a - 5. Suppose 41 + 15 = 8*x. Let y be i(x). Does 5 divide 231/4 + y*(-8)/96?
False
Let p be (-1 - 1) + 7*-5. Let a(o) = 2*o**2 - 46*o - 80. Let j be a(21). Let m = p - j. Is m a multiple of 37?
False
Let t(n) = -n - 2. Let a be t(-9). Suppose -a*c + 5*c + 272 = 0. Suppose -r - 78 = -k, -r - c = -2*k - 3*r. Is k a multiple of 10?
False
Suppose -5*y + 2*q + 118 = 0, -2*y - q = -2*q - 47. Suppose 4*d = 3*z + 2 + y, d - 14 = -3*z. Is 3 a factor of d?
False
Let b be 3 + (4 + 3 - 2 - 7). Does 27 divide -36*((-161)/28 + (-4)/b)?
True
Let l(h) = -h**3 - 2*h**2 - 3*h + 54. Let n be l(0). Let m be (-6648)/n + 4/36. Let s = m - -208. Is 17 a factor of s?
True
Let s = 7225 + -6089. Is s a multiple of 121?
False
Suppose -4*q + 0 = -2*d - 30, 0 = -3*q + 3*d + 15. Is 8 a factor of q*4/(16/30)?
False
Let q be -24*((-21)/(-6))/7. Let w(j) = -j**2 - 13*j - 3. Let d be w(q). Does 6 divide (0 + d/2)/(15/40)?
True
Let d(y) = 1298*y**2 + 196*y - 404. Is d(2) a multiple of 70?
True
Let f be (-5)/(5/2) - 0. Let y be (-2)/3 - (0 - (-43232)/6). Does 14 divide f/15 + y/(-45)?
False
Let x(f) = 8*f + 22. Let b be x(5). Suppose 0 = s - b + 34. Is 7 a factor of s?
True
Let i be 3*(2 + 3*(-12)/27). Suppose t - 4*w = -3*w + 56, i*w - 148 = -3*t. Is 3 a factor of t?
False
Let a(c) = -3*c + 46. Let x be a(14). Suppose m + 4*i + 4 = 0, -m + 3*i - x = 7. Let w = m + 109. Is 15 a factor of w?
False
Suppose -48 = m - 5*d - 28, -5*d + 10 = m. Is 45 a factor of (30/m)/((-8)/1732)?
False
Does 71 divide 6 + (-15)/(15/(-3899))?
True
Suppose -4989*r + 4970*r = -72618. Does 20 divide r?
False
Let t(q) = 2*q**2 + q - 7. Let g be t(5). Let w = g - 45. Suppose -2*a + 241 + 211 = w*i, -2*a - 472 = -3*i. Does 31 divide i?
False
Suppose -7*n - 1118 = 492. Let a = -228 - n. Is a even?
True
Let b(q) = q**2 + 5*q - 7. Suppose 3*k - 11 = 4*d, 3*d + 24 = -k - 2*k. Let a = -5 + k. Does 2 divide b(a)?
False
Let p = -483 - -717. Let r = 395 - p. Does 23 divide r?
True
Let q be (0 + 6/7)*217. Suppose 2*d - q = 4*l, -8*d + 480 = -3*d - 5*l. Suppose -49 = -p + d. Does 29 divide p?
False
Suppose -2*y = -5*j - 17, 28*j - 25*j - 27 = -5*y. Let x(m) = 7*m**2 - 12*m + 36. Is 8 a factor of x(y)?
True
Let t(o) = -o**2 + 7*o + 6. Let m be t(19). Let d be (m/12)/((-1)/2). Is d/(3/(-2) + 0 - -2) a multiple of 12?
False
Suppose 33*i + 31*i - 282720 = 16*i. Is i a multiple of 38?
True
Let f(j) be the third derivative of j**6/120 + 3*j**5/10 + 2*j**4/3 + 13*j**3/6 + 99*j**2. Suppose 68 = -5*z + z. Is f(z) a multiple of 10?
True
Let x(m) = 5*m**2 - 5*m - 5. Let f = 9 - -1. Suppose 2*j = -3*j - f. Is 3 a factor of x(j)?
False
Suppose -n + 3*l + 3 = 0, 0 = 5*n + 4*l - 13 - 21. Suppose -3*x = 0, -j - n*x - 495 = -2*x. Is 30 a factor of (8/(-12))/(3/j)?
False
Suppose 0 = -3*t + 5*w + 91, 2*w = t - 6*t + 193. Let k = -32 + t. Suppose k*u - 55 = -o, 4*u + 141 = 3*o - 43. Is o a multiple of 20?
True
Let h = 20509 - 17585. Is 14 a factor of h?
False
Let h = -31 + 31. Suppose 0 = -3*r - 0*l + 2*l + 144, 4*r - 2*l - 194 = h. Suppose -2*t + 46 = -r. Is t a multiple of 19?
False
Let r = 197996 - 140502. Is 21 a factor of r?
False
Let x(z) = 11*z + 8 + 222*z**2 - 3*z + z**3 - 231*z**2. Suppose 5*o - 1 = -h + 39, -5*h = -o + 8. Does 8 divide x(o)?
True
Let a = 2039 + 10959. Is 67 a factor of a?
True
Let w = -32 + 32. Suppose -l + 3*l - 8 = w. Suppose -l*f - f = -685. Does 15 divide f?
False
Let i(f) = 148*f**2 - 5*f + 76. Is i(-4) a multiple of 61?
False
Let l(g) = 58*g**2 + 7*g + 33. Let c be l(-3). Let t = c - -272. Is t a multiple of 13?
True
Let v = -87 + 90. Suppose v*z = 4*z - 46. Suppose 5 = 2*d + 13, p - 5*d - z = 0. Does 9 divide p?
False
Let d(a) = -224*a + 121. Does 59 divide d(-15)?
True
Suppose -4*u - s - 4*s + 30 = 0, 0 = 2*u - 3*s - 4. Suppose 10*l = u*l + 175. Let i = l - 7. Is 14 a factor of i?
True
Let x be 20221/(-5) - (-9 - (-294)/30). Does 18 divide (2 + -5 + x/(-20))*4?
False
Let c(t) = -t**3 + 13*t**2 - 31*t + 53*t + 2*t**3 - 18. Is c(-8) a multiple of 21?
True
Suppose -q - 2*j = 0, 4*q - 3*j + 10 = -12. Let i be (88 - (-8 - q)) + -1. Suppose -i = -h - 3*d, 191 = -h + 3*h - 3*d. Is h a multiple of 11?
False
Is (58 + -67)*((12 + 1)*-1 - 2) a multiple of 3?
True
Is 6 a factor of (-1490)/(-3) + (-9)/(-108)*16?
True
Let f = 70 - 63. Suppose 506 = -f*a + 3285. Suppose -o - a = -2*s + 4*o, 9 = 3*o. Is s a multiple of 26?
False
Let b(r) = 3*r**3 - 18*r**2 + 8*r + 1. Let m be b(6). Suppose -m = 39*w - 46*w. Is w a multiple of 2?
False
Suppose -l = m + 199 - 531, 1664 = 5*l + m. Suppose -326*v = -l*v + 287. Is 2 a factor of v?
False
Let l = -33702 + 54720. Is l a multiple of 37?
False
Let f(i) = -27 + 6*i**2 - 2*i**2 + 7*i - 11*i + 9*i. Does 19 divide f(9)?
True
Let i = 472 + -1550. Let f = i + 1888. Is f a multiple of 90?
True
Let l = 9 + -5. Let m be (110 + 0)*l/(-10). Let b = m - -191. Does 20 divide b?
False
Let v = 3838 - -10190. Is v a multiple of 167?
True
Suppose -136 - 718 = -3*g + 5*m, -4*g = m - 1108. Let k = g + -159. Let r = k + -63. Is r a multiple of 8?
True
Is 14 a factor of 10 + (-64)/4 - (-7 + 2 - 2084)?
False
Let q = 41 - 27. Suppose q*l - 630 = 9*l. Does 7 divide l?
True
Let q be ((-42)/63)/((-2)/2196). Let b = q + -288. Is 12 a factor of b?
True
Suppose 1315 = y + 5*m, 3935 = -6*y + 9*y + 5*m. Suppose 4*o - 5*a - 2227 = 0, 4*a + 190 - y = -2*o. Is 18 a factor of o?
True
Doe