
False
Let k = -4884 - -13874. Does 62 divide k?
True
Let k(j) = 186*j**2 + 2*j - 2. Let p be k(1). Is 29 a factor of 2*1 - (-7 - p)?
False
Let o(j) = -j - 2*j**2 + 2*j**2 - 7 + 2*j**2 + 18*j. Let c be o(-10). Suppose -l + c = -23. Is l a multiple of 5?
False
Let j(n) = -n**2 - 3*n + 18. Let p be j(-5). Suppose 16*x + 16 = p*x. Let h(f) = -8*f**3 - 3*f**2 - 3*f + 1. Is h(x) a multiple of 6?
False
Let q(g) = 18*g**2 + 2*g + 39. Let d be q(9). Suppose -1371 = 6*y - d. Is 4 a factor of y?
True
Suppose -k - 190 = -2*u, -4*k = u - 6*k - 101. Suppose v - u = -3*t - t, 0 = -2*t + 10. Suppose -2*g - v = -205. Is 7 a factor of g?
False
Let p = 91 - 89. Let j be p + (-28)/12 + (-14)/(-6). Suppose b = 5*i + 33, b - 38 = 2*i + j*i. Does 5 divide b?
False
Let s(n) = 7*n - 109. Let x be s(13). Let t(v) = 3*v**2 + 26*v + 48. Does 92 divide t(x)?
True
Suppose -3*g = -3*w - 126, g - 78 = -5*w - 318. Let m = -19 - w. Let j = -3 + m. Is j a multiple of 25?
True
Let o = 20296 - 16774. Is 160 a factor of o?
False
Let y = 164305 - 112821. Is 20 a factor of (-1)/(9 + y/(-5720))?
False
Suppose 3*z + w - 774 = 0, 0 = -3*z - 4*w + 41 + 724. Suppose -z = -2*x - 61. Suppose -5*q + 1 = -j + 34, -x = -3*j - 5*q. Is j a multiple of 12?
False
Is 20 a factor of (-60)/(18 - 1744536/96912)?
False
Suppose 7*o - 5 = 6*o. Let b(f) = f**2 - 6*f + 19. Does 14 divide b(o)?
True
Suppose 8*y = 34*y - 15834. Suppose 2*t + x = 406, 3*t - 5*x = -2*x + y. Is t a multiple of 11?
False
Suppose -2*r + 12 = 0, 622*c = 626*c + 3*r - 16722. Is 116 a factor of c?
True
Let n = 60 - -418. Is n a multiple of 53?
False
Let o(w) = 14*w**3 + 41*w**2 - 54*w - 42. Let b(c) = -9*c**3 - 28*c**2 + 36*c + 28. Let a(n) = -8*b(n) - 5*o(n). Is 22 a factor of a(-10)?
True
Let z(u) = 11*u - 4*u**2 - 7*u**2 + 9*u**2 + u**2 + 5. Let y be z(11). Suppose -392 = -2*x - 2*x + 4*v, -y*v = -4*x + 390. Is 20 a factor of x?
True
Let n(j) = -8 - 13*j - 25 - j**2 + 11. Let l be n(-12). Let g(t) = -t**2 - 15*t - 12. Is 19 a factor of g(l)?
True
Suppose 2*z - 96 = -4*h, 99 = 2*z - 0*z + 3*h. Does 34 divide (-3)/z*-7959 + (-1)/6?
True
Suppose 21*f - 8*f - 65 = 0. Is 80 a factor of -4 + 1528 - f - -1?
True
Let w be -13*(-10)/(-20)*-580. Let l = w - 2505. Is 36 a factor of l?
False
Suppose -60 = -11*i - 16. Suppose 7*r = 4*r - 3*v + 27, -i*r + 40 = 5*v. Is 2 a factor of r?
False
Let h be (6/33)/(4/44). Suppose k = h*q + 2, -q + 5*k = -13 - 4. Is 4 a factor of q*1 + (48 - -16)?
False
Let p(q) = 70*q**2 - 2*q + 2. Suppose -35*d + 33*d + 2 = 0. Let h be p(d). Let k = h - 22. Is 8 a factor of k?
True
Let d = -6890 + 10002. Suppose 12*p = 1448 + d. Is 50 a factor of p?
False
Let b = 653 + -651. Let h(s) = 2*s**2 - 3*s - 4. Let d be h(3). Suppose -b*u + d*q = -211, 6*u - 5*q - 505 = u. Is 17 a factor of u?
False
Suppose 4*m = 5*l - 6373, -2*m = -3*l - 6*m + 3843. Let g = l - 413. Does 32 divide g?
True
Let q(r) = 6*r + 68. Let d be q(-11). Suppose 2*a = 3*w + 324, -a + 0*w = -d*w - 163. Suppose -8*l + 97 = -a. Does 4 divide l?
True
Suppose -17 = -z - k - k, 3*z - 3*k - 6 = 0. Suppose -z*x = -8*x. Does 16 divide 0 - (-3 + x) - -41?
False
Suppose 2*n - 3 = v + 5, 0 = 4*v + 16. Let a(k) = 7 - 3 + 22*k - n - 5. Does 9 divide a(3)?
True
Let g(l) = -2*l**2 + 6*l + 16. Let i be g(-2). Is ((-2)/(-4))/(i/(-520)) a multiple of 20?
False
Let r(a) = 2*a**3 - 5*a**2 - 2*a + 23. Let v(h) = 3*h**3 - 10*h**2 - 5*h + 42. Let j(b) = -5*r(b) + 3*v(b). Is j(-11) a multiple of 22?
True
Suppose -q + 2*q - 1702 = -4*g, -5*q - 2*g = -8474. Suppose 28*h - 35*h + q = 0. Is h a multiple of 40?
False
Let u be (-2859748)/(-623) - (-3)/(42/(-4)). Suppose 4*r - 430 = -5*z + u, -25 = -5*r. Does 100 divide z?
True
Is 33 a factor of 1281/91 - 14 - (-36034)/26?
True
Let g(a) = 12*a**3 + 5*a**2 - 132*a - 42. Is 47 a factor of g(10)?
False
Let k be 0 + -165 - (-10 + (-21)/(-3)). Is 45 a factor of k/12*2*(2 - 12)?
True
Let u(z) = 543*z**2 + 1082*z + 5385. Is 71 a factor of u(-5)?
False
Suppose 2 = r, -4*r = -g + 6*g - 33. Suppose 14*d + g + 121 = 0. Let l = d + 121. Is l a multiple of 19?
False
Let t(d) be the second derivative of d**5/12 + d**4/2 - 5*d**3/6 - 2*d**2 - 19*d. Let l(s) be the first derivative of t(s). Does 15 divide l(-5)?
True
Let q = 653 - 633. Suppose 19*t - q*t + 9 = 0. Is t a multiple of 5?
False
Suppose 3*i + 2*j - 415 = 0, j - 4 = 1. Let a = i + -114. Let t(w) = -w**2 + 34*w - 23. Does 36 divide t(a)?
False
Suppose 6214*j - 6241*j = -152334. Is j a multiple of 47?
False
Suppose 522 = o + 3*j - 425, 0 = -2*j + 6. Suppose 2*d = -0*d - 2*i + 938, 4*i + o = 2*d. Does 23 divide d?
False
Let x be (-2*(1 + -42))/2. Suppose 2*p = 5*p + 3. Let l = x + p. Is l a multiple of 8?
True
Is 5 a factor of -9*(235/(-5) - 1)?
False
Suppose 2*n + n + 4*w - 57 = 0, 69 = 5*n - 2*w. Let m be n/4 - (-3)/(-4). Suppose m*g - 618 = 5*o, -3*g - o = -3*o - 609. Is g a multiple of 28?
False
Suppose 3*v = 4*b + 1508, b - 2218 + 720 = -3*v. Suppose 6*i - 4*i - v = 0. Suppose 0 = 7*z - 2*z - i. Is z a multiple of 12?
False
Let d = -14170 - -9997. Is d/(-33) - (-84)/154 a multiple of 4?
False
Suppose 5*h - 93 = -8. Suppose h = 2*b - 3. Let r = b + 5. Is r even?
False
Let k = 38633 + -22241. Is k a multiple of 24?
True
Suppose -7*p = -11*p + 396. Let j = p - 97. Suppose 3*m - d = 354, 3*m + d = -j*d + 342. Is m a multiple of 13?
True
Let u = -73 - -78. Is 25 a factor of (1 - (-429)/6)*22/u?
False
Suppose j - 3*d = d - 4, 60 = -2*j - 5*d. Let x be ((-183)/(-6))/(58/j + 3). Suppose -z - 4*z - 5*p + x = 0, 5*p = 2*z - 87. Does 8 divide z?
True
Let o = 4927 + -2751. Does 34 divide o?
True
Let r = -33 - -41. Suppose -r + 2 = 2*t, -4*t - 82 = 2*q. Let l = 10 - q. Is l a multiple of 8?
False
Is 205 a factor of ((1/1)/(-7 + 4))/(4/(-6768))?
False
Does 164 divide 0 + (-63)/((-14)/(-2)) + 11817?
True
Let f = -20 + 20. Suppose f = -2*o - 5*o + 35. Suppose o*m - m - 144 = 0. Is 12 a factor of m?
True
Suppose 9*a = 7*a - 4*l + 450, 3*l - 15 = 0. Suppose 4*d = 4*o - 300, -a = -3*o - 2*d - 0*d. Is 6 a factor of o?
False
Suppose -13*b - 11 + 50 = 0. Suppose -b*s = -s, d - 5*s - 210 = 0. Is 6/14 - 0 - (-20910)/d a multiple of 10?
True
Let m be 9 + -10 + -2 + (1 - -2). Suppose 3*w = w + 3*z + 248, 3*w + 2*z - 398 = m. Is 30 a factor of w?
False
Is (-1121864)/(-374) - (-16)/44 a multiple of 20?
True
Let x = 72273 + -41761. Is 100 a factor of x?
False
Suppose -26*n = -173*n + 12*n + 103545. Is 10 a factor of n?
False
Let j = 269 - 259. Is 5 a factor of -2*((-24)/3)/(2/j)?
True
Let l(z) = 324*z - 9380. Is 5 a factor of l(35)?
True
Let m be 0 + (-5 - -7) + 7. Suppose -124 = -m*p + 182. Is 4/p - 10086/(-102) a multiple of 19?
False
Suppose 204*v - 1179267 - 28413 = 0. Is 160 a factor of v?
True
Let c(u) = -u**3 + 26*u**2 + 11*u - 13. Let f be c(26). Let x = f - 49. Is 16 a factor of x?
True
Let s(d) = 4817 - 4839 + 0*d**2 - 28*d - d**2. Does 7 divide s(-6)?
False
Let o(p) = -p**2 - 43*p - 34. Let l be o(-25). Suppose -35*k + l = -34*k. Is 16 a factor of k?
True
Let o = 4668 - 2193. Does 3 divide o?
True
Does 10 divide (168/9 - (-2)/(-3))*45565/39?
True
Let c(l) = l**3 + 18*l**2 - 18*l + 24. Let b be c(-19). Let q be (-24)/(-20) - (-4)/b. Suppose -4*f + q*f = -60. Is 2 a factor of f?
True
Let j be (10/3)/(-2) + 5365/15. Suppose 10*l + 4*a - j = 9*l, 1098 = 3*l - 3*a. Does 11 divide l?
False
Suppose 5*p - 3021 = 1154. Suppose 5*c - 2*c - x - p = 0, -285 = -c + 2*x. Is c a multiple of 14?
False
Is 22 a factor of (-2)/13 + (-331750)/(-78) + 32/(-624)?
False
Is 11 + (13 - -2119) + 14 a multiple of 10?
False
Let b(w) = 7841*w**3 - 100*w**2 + 98*w + 2. Is b(1) a multiple of 10?
False
Suppose -3*h = -6 + 21. Let t be 5/(h/(-1) - 4). Suppose 0 = -t*x + 2*s + 150, x + 14 = 4*s + 62. Is 12 a factor of x?
False
Does 5 divide ((-315)/20)/7*4*(-5 + -374)?
False
Suppose -1022*r + 1038*r - 4704 = 0. Does 2 divide r?
True
Does 2 divide (419/(-4) + -4 + -1)/((-13)/104)?
True
Is (-6 - -8)/((-4)/(-15148)) a multiple of 34?
False
Suppose 10*t - 28*t = 9*t - 16362. Is t a multiple of 2?
True
Let o(l) = -359*l - 571. Is o(-8) a multiple of 13?
True
Let i(f) = -f**2 - 14*f - 11. Let c be i(-13). Suppose 2*n + 83 = c*k + n, k = 4*n + 59. Let a = 81 + k. Is 20 a factor of a?
True
Suppose -75*a - 143 = -593. Let v = 92 + -21. Let