 even?
True
Let v = 71702 + -37659. Is 9 a factor of v?
False
Suppose -699*y = -851*y + 824752. Does 41 divide y?
False
Suppose -n = 2*q - 25016, -4*n + 100116 = -45*q + 40*q. Is n a multiple of 11?
False
Let p(y) = -y**3 + 21*y**2 - 9*y - 58. Let r be p(19). Let i = -303 + r. Is 5 a factor of i?
True
Let p(d) = -12*d + 45 + 9*d - 8*d - 18*d. Does 14 divide p(-9)?
False
Let v(t) be the second derivative of t**8/3360 - t**7/280 + t**6/72 - t**5/15 + 7*t**4/12 + 17*t. Let n(u) be the third derivative of v(u). Does 10 divide n(5)?
False
Suppose -3*m + m + 38 = -3*a, 3*m + 6 = 0. Let c = 19 + a. Suppose -2*z + 462 = 4*i + i, 5*z + c*i - 1155 = 0. Is z a multiple of 11?
True
Let p(q) = -q**3 + q**2 - q + 1. Let y(d) = -3*d**3 + 19*d**2 - 7*d - 10. Let v(f) = -4*p(f) + y(f). Is 16 a factor of v(-14)?
True
Is (-5)/(-4)*((262 - 22) + 0) a multiple of 60?
True
Suppose 0 = 55*l - 271087 + 5437. Is l a multiple of 66?
False
Let w(p) = 4*p**2 + 15*p + 29. Let h be w(-11). Suppose -217*b + 219*b = h. Let u = 263 - b. Is 28 a factor of u?
False
Let g = 567 + -275. Let p = 474 - g. Is 14 a factor of p?
True
Let g(r) = 2*r**2 + 9*r - 17. Let u(i) = i**3 - 11*i**2 - 12*i + 7. Let j be (-164)/(-14) - (-4)/(-70)*-5. Let d be u(j). Is g(d) a multiple of 48?
True
Let r = -13771 - -23721. Is 25 a factor of r?
True
Let k(y) = -y + 20. Let h be k(16). Suppose -h*u - 5*z = 18, 4*z = -5*u + 6*z - 6. Is 7 a factor of 1/(-2) + 0 + (-101)/u?
False
Let v(w) = -w**3 + 28*w**2 + 246*w - 33. Is v(33) a multiple of 11?
True
Suppose 5*m = 4*m - 5. Suppose 7*u + h - 3 = 2*u, -2*u + 8 = -3*h. Does 9 divide m*((-79)/5 + u)?
False
Suppose 2*f + f + 31 = 4*b, b - 25 = -5*f. Let t be b/(-4)*(-3 - -1). Suppose 3*q + 0*c - 22 = -4*c, t*c = -4*q + 28. Is q even?
True
Let m be ((-8)/6 - 8/12)*-1. Suppose p = -2*k - m, -5*p - 5*k + 4 = -1. Suppose -2*w + 5*n = w - 401, 0 = 5*w + p*n - 619. Is 12 a factor of w?
False
Suppose m - 6 - 11 = -3*q, 0 = 5*m - 4*q + 10. Suppose f - 193 = 2*r, 2*f = -m*r + 5*f - 199. Does 30 divide 5*12/15 - r?
False
Let w(h) = h**3 - 6*h**2 - 17*h - 14. Let y(c) = c**3 + 9*c**2 - 10*c + 8. Let n be y(-10). Suppose -n*o + 139 = 59. Is 27 a factor of w(o)?
True
Suppose 10 = -39*l + 37*l, -3*l + 1 = 2*t. Suppose 0 = -a - 3*h - t + 77, 0 = -2*a + 3*h + 156. Is a a multiple of 2?
False
Suppose -52*n + 172*n - 52920 = 0. Is 7 a factor of n?
True
Let r be 5/(60/(-52))*(2 + -5). Let d(q) = 2*q**2 - 16*q - 20. Does 22 divide d(r)?
True
Suppose -839 = -5*d + 3*u, 14*d - 13*d - 5*u = 159. Let v = 278 + d. Does 55 divide v?
False
Let a = 1556 + -1061. Does 4 divide a?
False
Suppose 2359 - 4871 = 379*i + 2036. Suppose -5*a + g - 2700 = -2*g, 4*g = 2*a + 1066. Is 10 a factor of 2/i + 1*a/(-18)?
True
Let w be 24322/10 + (-22)/110. Suppose 8919 = 13*x + w. Does 46 divide x?
False
Does 15 divide 25/125 - 24088/(-10)?
False
Is (-7 + 20 - 3) + -20 - -5278 a multiple of 31?
False
Let h(t) = -t**3 + 7*t**2 - 3*t - 14. Let b be h(6). Suppose -3*m + x = -205, b*x + 132 = 2*m + x. Is (-9)/(-2)*184/m a multiple of 3?
True
Let v = -1429 + 471. Let x = v - -1450. Does 12 divide x?
True
Let p be 11/((-99)/(-6)) - (-8)/(-12). Suppose 121*n - 119*n - 1088 = p. Is 17 a factor of n?
True
Let d = -312 + 620. Suppose -23*i = -19*i - d. Is 7 a factor of i?
True
Let n(t) = -t**3 + 13*t**2 + t + 23. Let i be n(13). Let g be (8/16)/((-3)/i). Does 14 divide (-4)/g - (-40)/3?
True
Let r be (270/40)/(1/4) + -5. Is 23 a factor of r/33*(-300)/(-8)?
False
Let a = 21365 - 10835. Is 27 a factor of a?
True
Suppose -12*i - 612 = 600. Let r = -87 - i. Does 11 divide (-3854)/(-14) - (-1)/(r/(-4))?
True
Let w = 306 - 298. Is (w + -4)*2115/36 a multiple of 102?
False
Let z = -113 + 93. Let f = 47 + z. Is f a multiple of 13?
False
Let k be (1/2)/(3/36). Let n be (-3 - 135/(-36))/(9/84). Suppose 5*g - 535 = -5*f, -n*f + 117 = -k*f - g. Is 8 a factor of f?
True
Suppose s = 5, 3*s - 30 = -0*y - 5*y. Suppose -y*q + o = -0*q - 14, 1 = o. Suppose 6*d - 3*d = 5*l + 549, -732 = -4*d - q*l. Is 13 a factor of d?
False
Let w(q) = q**2 + 12*q. Let r be w(7). Let i = 95 - r. Is 18 a factor of i/95 + 452/5?
True
Let o be (-45)/(-60) - (2 - 154/8). Suppose -3*t + 1985 = -5*s, 16*t = o*t + 3*s - 1317. Is 33 a factor of t?
True
Suppose 0 = 2*j + r - 9, 3*j - r - 3 = 3. Suppose 0*m = m - 5*l - 14, l = -j*m + 26. Does 4 divide m + -6 - (1 + -3)?
False
Is 71 a factor of (-35845 - 1)*2*(-1)/((-8)/(-2))?
False
Let g(c) = c**2 + c. Let d(k) = 66*k**3 + 5*k**2 + 4*k - 1. Let r(x) = d(x) - 4*g(x). Let a be r(1). Let p = 102 - a. Is 23 a factor of p?
False
Let j(n) = -5*n - 6. Let f be j(-1). Let b(g) = -266*g**2 + 2*g - 1. Let z be b(f). Let r = z - -456. Is 17 a factor of r?
True
Is 20 a factor of ((-16)/20)/(120/(-5437500))?
False
Suppose 0 = -72*h + 60*h + 107268. Does 8 divide h?
False
Suppose -5*n = -4*d - 5059, 3*n - 5*d = -8*d + 3030. Is 3 a factor of n?
True
Suppose -f + d = -118, -195 = 5*f + 4*d - 803. Does 10 divide ((-10)/(-6))/(125/f + -1)?
True
Let v be ((-3)/(-9))/(1/(-18)*-2). Let k(w) = 18*w**2 + 4*w + 1. Is k(v) a multiple of 11?
False
Let b = -117 + 132. Is 171/b - 2/5 even?
False
Suppose 0 = 2*u + 2*p + 368, 65*u = 66*u - 3*p + 176. Let v = -147 - u. Is v even?
False
Suppose 870 = s - 4*c + 344, 0 = -3*s + 2*c + 1628. Is 26 a factor of s?
True
Let b(n) = 13*n - 242. Suppose 594 = -4*v + 734. Is 8 a factor of b(v)?
False
Let c = 5915 + -5311. Is c a multiple of 3?
False
Let g be 329 + (-2)/(-10)*5*-3. Suppose -153 - g = -z. Is 6 a factor of z?
False
Let k(t) = -t**3 + 17*t**2 + 17*t + 27. Let c be k(18). Suppose 2*f = -3*r + 3366, -4*r + 4488 = -c*f + 12*f. Is 17 a factor of r?
True
Let p be (-7)/(-4) + (-1)/(-4). Let w(k) be the third derivative of 13*k**4/12 + 2*k**3/3 - 2*k**2 - 8*k. Is w(p) a multiple of 13?
False
Suppose -4*b = -3*k - 448, -146 = -b - 4*k - 53. Let j = b + -19. Suppose -2*f + j = 4. Does 12 divide f?
False
Let o(r) = 25*r - 22. Let n be o(-2). Let x = n + 287. Is x a multiple of 18?
False
Suppose 0 = -140*a + 173*a - 167178. Is a a multiple of 34?
True
Let g(b) = 4684*b**2 - 75*b + 16. Does 16 divide g(3)?
False
Let j(r) = 843*r**2 - 45*r + 216. Is j(4) a multiple of 23?
True
Let v = -6480 - -25955. Is v a multiple of 18?
False
Let c = 21 - 3. Suppose r - c = 4*y + 21, 0 = -3*y + 9. Suppose 2*b + 4*f - 232 = 0, -b - r = -3*f - 167. Does 39 divide b?
False
Let a = -7891 - -18493. Is a a multiple of 53?
False
Let j = 9165 - 3549. Is j a multiple of 24?
True
Suppose 5*k - 7*y - 2 = -9*y, -2*k - 4 = 2*y. Suppose k*x - 4*x = -408. Does 15 divide x?
False
Suppose 0 = -57*w + 52*w + 1305. Let q = 52 + -12. Let p = w - q. Does 20 divide p?
False
Let i(u) = 341*u - 10. Suppose 4*f = 9 - 1. Let y be i(f). Suppose -w - 13*w + y = 0. Is w a multiple of 48?
True
Suppose 2*g + 0*b = -5*b + 41, 2*b = 10. Suppose 1260 = -0*x + 2*x. Suppose -g*u = 2*u - x. Does 17 divide u?
False
Suppose 3*h + 5*u - 4*u = 190, u = -5. Let s(q) = 27*q - 90*q + 9 - 2*q - h*q. Does 8 divide s(-1)?
False
Let r(g) = 62*g**2 - 64*g - 560. Does 8 divide r(-10)?
True
Suppose -y = -z - 3 + 15, 5*y + 6*z + 104 = 0. Does 13 divide 494/8*8/y*-24?
True
Let h = -83 - -85. Let l be 36 - 5/(5/3) - h. Let p = l + 256. Is p a multiple of 18?
False
Suppose -16*h + 128 = -0*h. Is ((-190)/h)/(13/208*-2) a multiple of 15?
False
Let d = 4212 - -14877. Is d a multiple of 303?
True
Let t be ((-60)/(-36) - (1 - -1))*-15. Suppose -2*b + 4*u = -48, -t*b = -u + 3*u - 60. Is 14 a factor of b?
True
Let y be (-20)/(-70) + (-37)/7. Let d(t) = t**3 + 7*t**2 + 8*t - 5. Let r be d(y). Let u = 9 + r. Is u a multiple of 7?
True
Suppose -5*k - z + 493 = 0, -10 + 8 = z. Suppose k + 1297 = 4*a. Does 16 divide a?
False
Let o(q) = -q**3 + 44*q**2 - 98*q + 369. Is o(36) a multiple of 27?
True
Suppose 4*b + 134 + 114 = 0. Let y = b - -98. Suppose 35*s + 32 = y*s. Is s a multiple of 16?
True
Let p = 44 - 39. Suppose 0 = 4*w + 9 + 11, -3*w = -p*g + 25. Is 5 a factor of 32 + (g - (2 - 1))?
False
Let r(c) = -2*c**2 + 34*c - 32. Let q be r(16). Let h(g) = -25*g + 2. Let l be h(-5). Suppose q = 3*m - 5*n - 503, -2*m + 217 + l = n. Is 19 a factor of m?
True
Let r(a) = -3*a. Let g be r(-1). Suppose 2*u + 0*y - 1046 = -2*y, 2089 = 4*u + g*y. Is 13 a factor of u?
True
Suppose 12*l 