 even?
False
Let m = -10 - -10. Suppose m = -8*d + 13*d + 2730. Is 37 a factor of 9 - 6 - 5/(15/d)?
True
Let q(d) = 22*d - 116. Let v(a) = -a**2 - 7*a + 41. Let n be v(-10). Is q(n) a multiple of 14?
True
Is 9 a factor of (-6792)/(-27) + (80/90)/2?
True
Is 7 a factor of 281336/319 - 20/(-290)?
True
Let g = -42 - -98. Let h be (-5 - -8)*2*22/(-6). Let l = g + h. Is l a multiple of 3?
False
Let c(w) = -w**3 + 11*w**2 + 14*w. Let u be (-81)/1 + 4 + 0. Let t = -65 - u. Is 12 a factor of c(t)?
True
Suppose -3*h + 2*m = -442, 12*h - 16*h + 2*m + 586 = 0. Is h a multiple of 9?
True
Suppose 0 = 4*r - 5*v - 45358, -r - 55*v + 11352 = -50*v. Does 53 divide r?
True
Let c be (1 + -1)/(-16 - -19). Let j be (-53)/(-2 + c - -1). Let n = -27 + j. Is n a multiple of 16?
False
Suppose -3*z + o + 214 = 0, -3*o = -5*z + 3*z + 145. Suppose -l - 4*u + z = 0, -5*l + 313 = -3*u + 2*u. Suppose -l*g = -62*g - 97. Does 7 divide g?
False
Let p(m) = 2287*m + 882. Is 109 a factor of p(5)?
True
Let q(d) = 2*d**3 - 9*d**2 + 5*d. Let u be q(4). Let z be (-3 + 4/u)/(2/2). Is ((4 + z)/(-2))/((-3)/24) even?
True
Is 5047/(-2)*-2 - 4613/659 a multiple of 16?
True
Let v = -53 - 13. Let k = 333 - 453. Let h = v - k. Is h a multiple of 26?
False
Suppose -98*g + 6944 = 4*c - 102*g, 0 = -2*c - 4*g + 3460. Is 4 a factor of c?
False
Let u = 118 - 306. Let y = u - -269. Is y a multiple of 9?
True
Suppose 0 = g - 4*n - 1267, -4*g - 5*n = -613 - 4539. Is 37 a factor of g?
False
Let c = 297 + -293. Is 14790/84 - c/56 a multiple of 6?
False
Let x(b) = -4*b**3 - 24*b**2 - 30*b + 20. Is 15 a factor of x(-16)?
True
Let r(t) = 712*t**2 + 9*t - 37. Let f be r(4). Suppose -2*m - 66507 = -f. Is 17 a factor of m/(-135) + 2*2/(-30)?
True
Let k = 71 - 507. Let d = k + 807. Is d a multiple of 30?
False
Let j = -28377 - -34392. Is j a multiple of 19?
False
Suppose -4*y = c + 138, 27 + 85 = -3*y - 5*c. Suppose 5*x + 6*n = 2*n - 5730, 5730 = -5*x + n. Is 35 a factor of x/(-4)*y/(-51)?
False
Let x(a) = -19*a + 10. Let g be x(4). Let j = -64 - g. Is 46 a factor of (j - 1 - -141) + -4?
True
Suppose -2*d + 7*d + 415 = 2*s, 0 = -5*s + 5*d + 1045. Is 5 a factor of 2 + (-2 - 1) + s/3?
False
Let p(u) = -14*u + 88. Let n be p(6). Suppose 5*v = 20, -g + v = -n*g - 14. Let c(f) = f**2 - 8*f - 20. Does 16 divide c(g)?
True
Let x(w) = -133*w + 40. Let f be x(-3). Suppose 3*z = -2*v - 0*v - 632, -2*v + 3*z = 608. Let r = v + f. Is r a multiple of 22?
False
Let p = 86 + -82. Suppose 4*f + 5*j + 15 = -28, -p*f + 5*j - 13 = 0. Let v = 127 + f. Is v a multiple of 24?
True
Suppose -188 = -3*j - 4*g - 1, -2*g = -4*j + 264. Does 4 divide j?
False
Suppose -118162 = -161*f + 428111. Is 39 a factor of f?
True
Suppose 33 = 3*r - 345. Suppose l - 119 - r = 0. Does 22 divide l?
False
Does 2 divide -11*72/(-198) - (371*1)/(-1)?
False
Let u(y) = 2*y**3 + 4*y**2 + 3*y + 4. Let j be u(-3). Let i = 25 + j. Suppose -3*o + 125 = i*o. Is o a multiple of 25?
True
Let s(x) = 11*x**3 + 3*x**2 - 3*x - 10. Let p be s(3). Let n = p + 167. Is n a multiple of 15?
False
Let b(q) be the second derivative of -14*q**3 - 22*q**2 + 15*q. Let o be b(-6). Suppose 4*g - 3*g - 118 = d, -4*g = 2*d - o. Is 29 a factor of g?
True
Let h = 77 - 75. Suppose -5*l + 92 = -3*y - 3*l, y - h*l + 32 = 0. Is (-1*y/9)/(4/102) a multiple of 17?
True
Let g(k) = k**2 + 3*k + 7. Let a be g(-3). Suppose -4*x = a*x - 22. Suppose x*z + z = 63. Does 7 divide z?
True
Let g = -5 + -49. Let r = 115 + g. Does 15 divide r?
False
Let b = -448 + 452. Suppose -b*i + 4*j + 836 = -j, -432 = -2*i - j. Is i a multiple of 4?
False
Let j = 43 - 85. Is 10 a factor of (40/(-6))/((-122)/j + -3)?
True
Let z = 307 + -274. Suppose 2*r - z - 231 = 0. Is r a multiple of 6?
True
Suppose -11*l = -7*l - x - 55, -4*l + 45 = -3*x. Is 13 a factor of 2334/l - (-4)/10?
True
Let t = 452 - -892. Is t a multiple of 6?
True
Let w(i) = -14*i + 17. Let r be w(-7). Let x be 1239/15 + (r/(-25) - -4). Let k = -53 + x. Does 8 divide k?
False
Let i be (-4)/(-10) - (756/15 - -4). Let l = 62 + i. Is l/(-2) - (-62 - -7) a multiple of 12?
False
Let h(g) = -46*g - 228. Let l be h(-16). Suppose 2*t - 3*q = -2*t + 679, 3*t - 2*q - l = 0. Is t a multiple of 5?
False
Suppose 930 - 258 = 14*f. Does 3 divide 18/4 - 3*(-8)/f?
False
Does 33 divide (25716/(-15))/((-82)/820)?
False
Is (23771/2 - 33/(-66)) + 48/(-8) a multiple of 12?
True
Suppose -38*q + 12263 + 34857 = 0. Let a(d) = 2*d**2 + 7*d - 1. Let h be a(-5). Does 11 divide q/h + 8/(-14)?
True
Let a(o) = -33*o**2 - 5. Let r be a(2). Let j = r - -271. Suppose 0*c + c = j. Is c a multiple of 7?
False
Let d(c) = 36*c**2 + 106*c - 339. Let h be d(3). Suppose -70 = 2*x + 336. Let g = h + x. Is 10 a factor of g?
True
Suppose 3*m - 7 = l, -31*m - 9 = -34*m. Let w(k) = -k**2 + 5*k - 4. Let v be w(4). Suppose 0 = -l*n, -100 = -4*y + n - v*n. Is y a multiple of 7?
False
Suppose -66*v + 27*v = 137*v - 652960. Is 7 a factor of v?
True
Let c(b) be the third derivative of -b**5/60 + b**4/2 + 11*b**3/2 + 6*b**2 - 2*b. Is 6 a factor of c(12)?
False
Let y(o) = -2*o**3 - 2*o**2. Let j be y(-2). Suppose 118*b = 122*b - j. Let v = b + 14. Is 4 a factor of v?
True
Let w(i) = i**3 + 16*i**2 + 9*i + 12. Let t be w(-13). Let v = t + -307. Is 11 a factor of v?
False
Let g(o) = o**2 + 4*o - 16. Let v be g(-7). Let n(l) = -l**2 + 4*l + 5. Let h be n(v). Suppose 3*r - 201 = -3*f, -5*r + 3*f + 375 = -h*r. Is r a multiple of 12?
True
Let z = 142 + -132. Suppose 38*f = z*f + 13104. Is f a multiple of 36?
True
Let b = -2 - -18. Let d be (1 - 0)/(2/b). Suppose -11*l + 72 = -d*l. Does 3 divide l?
True
Let i = -2700 + 8996. Suppose 24*o - 6760 = i. Does 34 divide o?
True
Suppose 5 = -8*o - 11. Let v be (-12)/9*219/o. Let m = -71 + v. Is m a multiple of 43?
False
Let y = 561 + 945. Suppose -y = -12*s + 414. Is s a multiple of 8?
True
Let r be 11 - 4*3/(12*-1). Let i be r/(-36) + (0 - 166/6). Let a = i + 50. Does 11 divide a?
True
Suppose -2*m = -5*s - 5421, -15 = 2*s - 13. Does 49 divide m?
False
Suppose q - 2*f + 7*f = 226, q - 5*f = 256. Does 59 divide q + 25/(3 - 8)?
True
Is 59 a factor of (26/13*-54)/((-2)/88)?
False
Let i = -3299 - -21106. Is i a multiple of 35?
False
Let u(g) = g**3 - 129*g**2 - 504*g - 150. Is u(133) a multiple of 2?
True
Let v = -589 + 1785. Is v a multiple of 10?
False
Let f = -43 + 46. Suppose -f*n - 3*t - t = -115, -5 = -5*t. Suppose -3*p = n - 172. Is p a multiple of 13?
False
Suppose 2*l + 460 = -4*m + 1416, -4*l + 1908 = 4*m. Does 68 divide l?
True
Suppose 67981 = 13*x + 13836. Is 7 a factor of x?
True
Let u be 0*5/15*1. Suppose 2*f = 4*k - 10, -5*k + 2*f - f + 14 = u. Is (61/2 + k)*4 a multiple of 20?
False
Let q = -2341 + 3289. Let j = -532 + q. Is 17 a factor of j?
False
Suppose -14*t + 271855 + 218635 = 35*t. Does 26 divide t?
True
Let z(j) be the first derivative of 7*j**4/4 - 10*j**3/3 + 5*j**2 - 5*j + 25. Let c(n) = -n**3 + n**2 - n + 1. Let u(v) = 6*c(v) + z(v). Does 17 divide u(6)?
False
Let p be 13440/110 - (-8)/(-44). Let b = 153 - p. Is b a multiple of 25?
False
Suppose 4*f = -88 - 128. Let s = -49 - f. Suppose -x + s*x - 20 = 0. Is 3 a factor of x?
False
Let b be 3*((-1037)/(-68) + 2/(-8)). Suppose -41*p - 428 = -b*p. Does 12 divide p?
False
Let w = 28931 - 19653. Is 33 a factor of w?
False
Let i(x) = -32*x + 4. Let n(j) = -32*j + 3. Let v(w) = 2*i(w) - 3*n(w). Let o be v(1). Suppose -o = -4*l + 49. Is l a multiple of 6?
False
Let z(o) = -9*o + 2413. Does 21 divide z(43)?
False
Is 50 a factor of (45/6)/(6*12/20640)?
True
Suppose -77*c + 132*c + 179894 = 72*c. Is c a multiple of 11?
True
Suppose 244 - 4850 = -14*b. Let l = b + -296. Is l a multiple of 4?
False
Is ((-52822)/88)/(12/(-240)) a multiple of 8?
False
Suppose 0 = 3*m - 12, 1407 = g + 7*m - 3*m. Does 3 divide g/52 - (2 + (-9)/4)?
True
Let j(n) = n**2 + 9*n - 26. Suppose -5*d + 2*w = -2*w + 72, 90 = -5*d - 5*w. Does 10 divide j(d)?
False
Let k(s) = s**2 + 42*s - 717. Is 11 a factor of k(-59)?
True
Let a = -245 + 244. Is a/(-6) + 351842/564 a multiple of 26?
True
Suppose 45 = 3*m - 33. Let c be 8/52 + 1764/m. Suppose -7*b - c = -9*b. Is 17 a factor of b?
True
Let p(o) = -7*o**3 + 2*o**2 + 3*o - 1. Let u be p(-2). Let r = u + -49. Is (-1062)/(-72) - -2*1/r even?
False
Suppose a + 4*q = -11, 1 = a - 4*q - 12. L