7 a factor of r(-7)?
False
Let q = -42 - -44. Suppose 0 = -2*y + q*f + 202, -3*y - 2*f = -6*y + 300. Is y a multiple of 14?
True
Let x be 0/((-2 - (-7)/3)*-3). Let c be -37 - (x - (-8)/(2*-2)). Does 18 divide -1*(3 - 1)*(-1 + c)?
True
Let t(p) = 55*p + 20. Let o be t(-6). Does 8 divide 3*(o/(-15) - 7)?
False
Let a(o) = -137*o**3 + 6*o**2 + 4*o - 6. Let q be a(-2). Suppose -7*g = -2226 - q. Is 7 a factor of g?
True
Let w = 296 - -1344. Is w a multiple of 2?
True
Let u(h) = 365*h - 329. Let j(c) = -182*c + 164. Let s(a) = -7*j(a) - 3*u(a). Does 76 divide s(9)?
False
Let p = 118025 - 60279. Is 26 a factor of p?
True
Let i be (-2)/3 + (-668)/(-3) + 0. Is 3 a factor of (4/(-8))/((-3)/i)?
False
Let m(h) = 9*h**3 + 5*h**2 - 10*h - 5. Let y(o) = 11*o**3 + 4*o**2 - 11*o - 5. Let s(b) = 4*m(b) - 3*y(b). Does 57 divide s(5)?
False
Let v(l) = -4*l + 10. Let w be v(1). Let n(r) = 20*r - 106. Does 7 divide n(w)?
True
Suppose 0 = -5*k - 3*g + 1289, -5*k + 0*k + 5*g = -1265. Suppose 65 = 3*c - k. Let h = c + -51. Is 14 a factor of h?
True
Suppose 3 = 3*n + 21. Let q be (-341)/(-77) + n/14. Suppose 0 = -q*f - 65 + 341. Is f a multiple of 8?
False
Is 20 a factor of (-3 - (-5772)/(-16))/(27/(-288))?
True
Let t(d) = -d + 57. Let s(p) = -21*p + 6. Let f be s(0). Is 4 a factor of t(f)?
False
Suppose 4*v - 5*q - 44 = 0, -6*v + 2*v + q = -28. Let l = -8722 - -8339. Is 64 a factor of v + -5 - (l - 0)?
True
Let k(s) = -32*s + 39 - 11*s - s**2 + 59*s. Let j be k(18). Suppose 4*n - 275 = 3*d, -143 + j = -2*n + 4*d. Is 17 a factor of n?
True
Let m(v) = -v**3 + 2*v**2 - 17*v - 239. Is 15 a factor of m(-14)?
True
Suppose 5*q - 2757 = -3*b + 16045, 3766 = q + 2*b. Does 21 divide q?
False
Suppose 505*z - 497*z = 18496. Is 128 a factor of z?
False
Suppose 2*f - 91 = -31. Let b = f - 28. Suppose -b*l = 3*l - 215. Is l a multiple of 7?
False
Let t = -43 + 38. Let m be 5 - (-5)/25*t. Suppose m*a = 5*l + 103, 2*a + 0*l - 59 = 5*l. Is 9 a factor of a?
False
Let o(c) = -132*c**2 - c - 7. Let s(w) = 133*w**2 + 5. Let p(v) = 5*o(v) + 6*s(v). Is p(-1) a multiple of 22?
False
Let t be 1890/20 - -2*3/(-12). Is 2154/7 + t/(-14) + 7 a multiple of 22?
True
Suppose -2*h + 2*a + 236 = 0, 0 = 5*h - 2*h - 4*a - 355. Suppose h = 4*b - d, 0*b = -b - 3*d + 39. Is 6 a factor of b?
True
Suppose -3*i = -3*n - 6015, i - 694 - 1305 = -2*n. Does 5 divide i?
False
Let h(k) be the second derivative of -k**4/12 - 23*k**3/6 - 5*k**2/2 + 2*k. Let d be ((-5)/2)/((-26)/(-104)). Is h(d) a multiple of 37?
False
Let b = 226 - 45. Let m = b - -3. Is 46 a factor of m?
True
Let g = 26 - 23. Suppose -g*b + 6*b - 2*k = 1291, -b + 3*k + 442 = 0. Does 31 divide b?
False
Let d(x) be the first derivative of -3*x**4/4 - 7*x**3/3 - 10*x - 7. Is 42 a factor of d(-7)?
False
Suppose -11744 = -13*u + 9381. Does 9 divide u?
False
Let b = 59 - 157. Let j(t) = 60*t + 455. Let r be j(-4). Let v = b + r. Does 13 divide v?
True
Let a = -2142 + 2890. Is a a multiple of 3?
False
Let r be (0 - ((-3)/(-3) + 2)) + 43. Does 20 divide (-2336)/r*(1 + 7/(-2))?
False
Let t = 571 - 568. Suppose -5*i + k = -2343, -5*i + 8*k = t*k - 2355. Is i a multiple of 36?
True
Let d(h) = -265*h - 12. Let j be d(1). Let q = 28 - j. Does 13 divide q?
False
Suppose -k = 2*b - 4*b - 424, 5*b + 1066 = k. Let z = b + 340. Does 9 divide z?
True
Let x(c) = 5988*c - 410. Is x(3) a multiple of 103?
False
Let k(c) = c**3 - 13*c**2 + 78*c - 251. Is k(21) a multiple of 10?
False
Let c(a) = -a**3 - 78*a**2 + 372*a - 101. Does 22 divide c(-85)?
True
Let b be (-17)/(408/64)*6/(-4). Suppose 3*r = -b*w + 315, 0 = -5*r + 5. Does 26 divide w?
True
Let b = -56 - -60. Suppose -3*l + j - b + 75 = 0, -j = -4*l + 94. Let w = -8 + l. Does 9 divide w?
False
Is 8 a factor of 21948/84 + (-3)/42*4?
False
Does 68 divide (-1 + 2 + -3616)*1237/(-3711)?
False
Suppose 5*i - 2*j - 3*j - 43895 = 0, 3*j - 43935 = -5*i. Is 24 a factor of i?
True
Let f = -52 - -76. Let c = f - 18. Is 37 a factor of 1/c - 11630/(-60)?
False
Let c = 13855 - -579. Is c a multiple of 12?
False
Let z(i) = -3*i**2 - 12*i - 16. Let w be z(-2). Is 4 a factor of (6 + -1 - 1) + (0 - w)?
True
Is 51 a factor of (-1)/(6/(-153396)*6)?
False
Suppose 3*h + 92 = 4*s, -h - 4*s + 0*s - 52 = 0. Let o = h + 36. Let z(c) = -3*c + 92. Is z(o) a multiple of 23?
True
Let x be 32/7 - (-3)/7. Let l(m) = 8*m + 56. Does 12 divide l(x)?
True
Let k be (9/(-26) - (-4)/(-26))*856. Let y = 840 + k. Does 25 divide y?
False
Suppose 5*k = 4*s + 5300, -6*k = -k - 3*s - 5295. Suppose -2*n = f - k, -5*f - 1219 = 5*n - 6494. Does 62 divide f?
True
Let x = 210 + -210. Suppose -5*z + 343 - 13 = x. Is z a multiple of 2?
True
Let a(i) = 23*i**3 + 3*i**2 - 2*i. Let z be a(1). Suppose 20*g = z*g - 132. Suppose -g*j = -31*j - 214. Is j a multiple of 26?
False
Suppose 4*h = -3*h + 252. Let n = 22 + h. Suppose -p + k = -76, -k - 4*k = p - n. Does 16 divide p?
False
Suppose 0 = 2*r - 7*d - 5150, r + d = 2531 + 35. Does 19 divide r?
False
Let i = 3845 - -17252. Is i a multiple of 32?
False
Let r = -5516 + 7778. Is 6 a factor of r?
True
Let a(q) = q**3 - 5*q**2 + 3*q - 3. Let j = -214 - -142. Let s = j - -78. Is 18 a factor of a(s)?
False
Let c(r) = r**2 + r + 6. Let m be c(0). Suppose 2*w + 3*u - 4*u = -7, -3*w - 4*u + m = 0. Is 14/((-6 + 2)/w) even?
False
Suppose 616*i = 606*i + 44570. Is i a multiple of 44?
False
Does 3 divide (-36)/(-234) - ((-51440)/52)/5?
True
Suppose -2*n + 9*h = 4*h + 1637, 0 = -n + 4*h - 814. Let w = -571 - n. Does 29 divide w?
False
Let n = 51 + -73. Suppose -3*y + 3 = 15, 2*j - 4*y = 242. Let i = j + n. Is i a multiple of 19?
False
Suppose 35*t - 26*t - 27 = 0. Suppose -l + 887 + 108 = -t*y, -4*y = 4*l - 3900. Does 35 divide l?
True
Suppose -8*b = -32*b - 11880. Is 33 a factor of ((-18)/10)/(27/b)?
True
Suppose -2*i = -2*z + 1485 - 287, 4*i - z + 2390 = 0. Is 18 a factor of i/(-2) - ((-117)/18 + 5)?
False
Suppose -3*q - s - 3*s = -28, 0 = -5*q + 5*s. Suppose 5*j - j = -q. Does 5 divide j + (-10)/15 + (-267)/(-9)?
False
Let j(w) = 2*w**2 - 14*w + 137. Let i be j(0). Suppose 0*h - 3*h - 2*m + 433 = 0, h - i = 3*m. Does 46 divide h?
False
Let l(p) be the first derivative of 58*p**2 + 10*p + 121. Is l(1) a multiple of 63?
True
Suppose 5*k + 25020 = 35*k. Suppose 921 = 5*u - k. Is 5 a factor of u?
False
Let f(x) = 2*x**2 - 14*x - 27. Let g be f(-20). Suppose -65 = 13*b - g. Does 38 divide b?
True
Suppose 205*x = 304*x - 237699. Is x a multiple of 29?
False
Let q = 166 - 164. Suppose -39 + 35 = -4*l, 4*m - 1690 = -q*l. Is 28 a factor of m?
False
Let h(a) = 9*a + 11. Suppose -74 = -3*f - 59. Is h(f) a multiple of 8?
True
Let a be (-68)/20 - -4 - 216/(-40). Let j(o) = 0*o + 8 + 4*o - o. Is 13 a factor of j(a)?
True
Suppose -18*v - 50 = 418. Let a = -34 - -73. Let s = a + v. Does 11 divide s?
False
Let t(k) = 374*k**2 + 10*k + 23. Is 17 a factor of t(-4)?
True
Let f be 797 + 1 - (-3 + -9 - -10). Let v = f + -615. Is 14 a factor of v?
False
Let b(n) = 11*n + 2005. Is 20 a factor of b(0)?
False
Suppose 0 = -l - n + 3720, 0 = -6*l + 11*l + 2*n - 18600. Is 20 a factor of l?
True
Let d = 1005 + -450. Suppose 0 = -563*t + d*t + 10840. Is 95 a factor of t?
False
Let r(o) = o**3 + o**2 - 3*o - 2. Let a be r(3). Suppose a = -3*s - 164. Let u = s - -97. Is u a multiple of 9?
False
Let m be (-4)/3 + 12/(180/(-145)). Let a(l) = 0*l + l + 11 + 3*l + l**2. Is a(m) a multiple of 19?
False
Let t = 23 + -20. Let l(u) = 0*u**3 + 1 - u**t - 14*u + 17*u**2 - 13 - 8. Is l(16) a multiple of 12?
True
Suppose -2*l + 25448 = -5*c, -5*l + 63704 = 1221*c - 1223*c. Does 24 divide l?
True
Let a be (-2)/3*9/(-2). Suppose -12*p = -9*p - 3*v - 441, 0 = a*p + 5*v - 441. Does 3 divide p?
True
Suppose 0*s = 2*s - 10. Suppose y - s*m = 850 - 4, -3*m = -2*y + 1706. Suppose y = 7*v + 233. Is 24 a factor of v?
False
Let j(p) = 45*p - p**2 + 23*p - 52*p + 29. Is 8 a factor of j(13)?
False
Let h(q) = 4*q**2 - 6*q + 4. Let t be h(1). Suppose -t*u = -3*i + 79, 16*u = -i + 11*u - 2. Is i even?
False
Let j(k) = 3*k - 29. Let i be j(12). Let m(z) = -85*z - z**3 + 106*z + i + 12 + 19*z**2. Is 13 a factor of m(20)?
True
Let h be (-3)/((-10)/6*54/(-60)). Let q(i) = -65*i**3 - 4*i + 1. Is q(h) a multiple of 20?
False
Let l = 29 - 26. Suppose -l*v - 2 = -5*v. Is 16 a factor of (0 - v - 73)*-