3*f - 4*p + p. Is f even?
False
Suppose -12*t - 339 = 897. Suppose -2*y = z - y - 141, 713 = 5*z + 3*y. Let p = z + t. Does 12 divide p?
False
Let w(o) = 20*o - 20. Let s be w(5). Suppose -u - 4*f - s = -5*u, 0 = -f - 1. Is 12 a factor of u?
False
Is 5 a factor of (-9 - 2)/(-1*12/1176)?
False
Let r be -3 + (-4 - -15) + 2. Let p(w) = w - 2*w**2 + r*w**2 + 1 - 7*w**2 + 7. Is p(8) a multiple of 16?
True
Suppose -14184 = 36*p - 72*p. Is 46 a factor of p?
False
Let h be (-140)/(-40) - 1/(-4)*-2. Suppose -h*j + 20 = -0*j + 2*x, j - 2*x - 20 = 0. Does 2 divide j?
True
Let l = 596 + -375. Does 13 divide l?
True
Let s(l) = l**3 + l**2 - l + 128. Let k be s(0). Suppose -6*v + k = -22. Is 11 a factor of v?
False
Is (-50)/(-20) + (-4 - (-4951)/2) a multiple of 77?
False
Suppose -5*p - 270 = -5*d - 2*p, 4*d + 2*p - 216 = 0. Does 6 divide d?
True
Suppose 4*x - 5*x = -21. Suppose -20*b = -x*b + 40. Is 10 a factor of b?
True
Let n(s) = -s**2 + 5*s - 16 + 6*s + 7*s. Let g be n(12). Suppose 0 = 4*v - 2*v - g. Does 11 divide v?
False
Suppose -2*o - 446 = 4*c - 0*c, -1151 = 5*o + c. Let y = o - -351. Is 24 a factor of y?
True
Let n(g) = g**2 + 5*g + 10. Let p be n(14). Does 24 divide (-6)/(-12)*(2 + p)?
False
Suppose 0 = -2*j - 3*b + 336 + 148, 3*j + 3*b = 720. Does 59 divide j?
True
Let g(y) = -y**2 - 5*y. Let p be g(-5). Suppose -q = 5*m + 41, 4*m + 84 = -4*q - p*m. Let n = q + 21. Is n a multiple of 5?
True
Let m = 120 - 66. Suppose -q + 32 = -5*x, 7*x + m = 2*q + 2*x. Suppose -134 - q = -4*n. Is 9 a factor of n?
False
Suppose 110 = 4*g + 5*h, 21 - 181 = -5*g + 5*h. Is 4 a factor of g?
False
Suppose -620 = 26*v - 28*v. Is v even?
True
Is 2/((-6)/(-177)) + -4 even?
False
Let r(m) be the second derivative of -m**5/20 + 7*m**4/12 + m**3/3 - m**2 + m. Suppose -28*k = -27*k - 7. Is 4 a factor of r(k)?
True
Is (-1)/(-2) - (-5373)/18 a multiple of 20?
False
Let u(l) = 7*l - 6. Suppose 0 = 2*i - 20 + 2. Is u(i) a multiple of 10?
False
Suppose 2249*u - 2243*u = 8280. Does 115 divide u?
True
Suppose -267 = 3*i - 6*i. Suppose 0*j = 4*f - j - i, -5*f = 2*j - 95. Is f a multiple of 15?
False
Suppose 0 = -2*v + 6, -3*m + 0*v - 2*v = -78. Let s be (m/(-20))/(6/(-15)). Suppose f - 32 = -w - 0*w, 0 = s*f + w - 106. Is f a multiple of 15?
False
Let v(p) = -5 + 4*p + 0 + 2 + 3*p**2. Let z be v(-4). Let n = z + 1. Is 30 a factor of n?
True
Suppose -11 = -2*p + 73. Is p/(-28)*44/(-6) a multiple of 4?
False
Suppose -3*i = -3*b - 282, 3*b = -5*i + 7*b + 467. Is i a multiple of 13?
True
Let q = -249 + 357. Is q a multiple of 6?
True
Let p(i) = i + 1. Let w be p(1). Let q = -17 - -92. Suppose -w*s + q = 3*s. Does 13 divide s?
False
Is 17 a factor of 1 - ((4 - 0) + -343)?
True
Let m = 110 - 106. Suppose -m*r + 717 = -r. Is r a multiple of 21?
False
Let y(a) = 2*a**2 - 5*a + 3. Let m be y(-3). Let w be m*2/((-6)/(-3)). Does 19 divide 8/w - (-511)/9?
True
Suppose -12*v + 2101 + 167 = 0. Suppose -3*p - 2*i = 2*i - v, -i = -p + 63. Is 9 a factor of p?
True
Let s be 28/6 - 18/27. Suppose -s*c - 2*q + 178 = 0, -c + 4*c + 4*q = 146. Is c a multiple of 17?
False
Let y = 66 + 134. Does 25 divide y?
True
Let i(l) = 26*l + 54. Is 31 a factor of i(8)?
False
Let i be 8 + -6 - (0 - -2). Suppose -4*z = -12, -5*w - z - 2 - 10 = i. Does 13 divide (52*1)/(-1 - w)?
True
Suppose 3*z - o = 87, 4*z + 5*o = 2*z + 41. Let i = -28 + z. Is 13/(5/5 + i) a multiple of 5?
False
Suppose 5*k + 1197 = 4967. Is k a multiple of 5?
False
Suppose -2*g + g - 18 = 2*o, 4*g + 3*o + 62 = 0. Let b be (-30)/g - (-2)/(-14). Suppose -74 = -4*s + b*s. Is s a multiple of 16?
False
Is (1 - -4)*378/35 a multiple of 13?
False
Let c = 13 + -11. Let s(i) = 7 - 5*i - 26*i**2 + 16*i**c + 11*i**2. Is 2 a factor of s(5)?
False
Let c(y) = -y**3 + 9*y**2 + 4*y - 10. Let u be c(7). Suppose 29*s - 20 = 24*s. Suppose -3*m = -v + 23 + 30, -2*v = s*m - u. Does 18 divide v?
False
Let x be (1/4)/(21/756). Let t(r) = r**3 + 5*r**2 + 2*r - 4. Let p be t(-4). Suppose -p*g + 27 = -x. Does 9 divide g?
True
Let m be (2/5)/(6/5 - 1). Suppose 0 = -m*k + 2*s + 23 + 33, 20 = 5*s. Does 25 divide k?
False
Let w = -6 - -4. Let p = 1 - w. Suppose -p*q = -155 + 11. Is q a multiple of 10?
False
Let y(d) = -1525*d + 96. Is y(-2) a multiple of 143?
True
Let o(x) be the third derivative of -x**6/120 - x**5/30 - x**4/6 - 2*x**3/3 + x**2. Let b be o(-4). Let v = b - -11. Does 20 divide v?
False
Let f be (-13)/(-26)*(5 + -1). Suppose f*t - 117 = v, 0*t + 4*v + 41 = t. Is t a multiple of 30?
False
Suppose 5*l = 5*q + 1335, -3*q - 1341 = -30*l + 25*l. Is l a multiple of 27?
True
Let x(h) = 154*h - 10. Let v = -84 + 85. Is x(v) a multiple of 23?
False
Suppose -8*l + 1155 = -l. Let x = l + -81. Is 21 a factor of x?
True
Does 20 divide (3/((-18)/4))/((-172)/322242)?
False
Let q = 81 + -77. Is 7 a factor of -2 - -2 - ((-424)/q - 2)?
False
Let c(y) = 2*y**2 - 9*y - 34. Let l be (1 - -1)/((-2)/6). Is 12 a factor of c(l)?
False
Suppose -2*w - 3*w = 0. Suppose -5*z - 20 = 5*d, w*d + 3*d + 18 = -5*z. Is 3 + 1 + 6 + z a multiple of 7?
True
Suppose -l = 3*l - 12. Suppose 4*q = -5*d + 616, 0*d - l*d = 2*q - 370. Is 30 a factor of d?
False
Let u = 41 + -21. Suppose -u*h + 13*h + 63 = 0. Is h a multiple of 5?
False
Let n(i) = i**3 - 16*i**2 + 34*i - 10. Is 10 a factor of n(14)?
False
Let s = 3425 - 1674. Is s a multiple of 17?
True
Is 2/104*8 + 35878/13 a multiple of 60?
True
Suppose j + 27 = 127. Is 20 a factor of j?
True
Let b(c) be the third derivative of c**5/60 + c**4/24 - c**3 + c**2. Suppose 42 = -16*x - 38. Is 14 a factor of b(x)?
True
Suppose 4699 - 123 = 2*x. Is x a multiple of 26?
True
Let w = -291 + 178. Let c = w - -158. Is 15 a factor of c?
True
Let z(k) = 5*k**2 + 5*k + 3. Let f be z(5). Let p be ((-1)/3)/(3/f). Let h = 28 + p. Is h a multiple of 5?
False
Let j(o) = -o**2 - 13*o. Is 18 a factor of j(-4)?
True
Does 19 divide ((-26)/(-6) - 4)*1803?
False
Let y(m) = -m**3 - 7*m**2 - m - 3. Let w be y(-7). Suppose 229 = 4*a + 3*p, a + w*a + 5*p - 290 = 0. Is a a multiple of 16?
False
Suppose 3 = 14*c - 13*c. Suppose c*d - 4*d = -112. Does 16 divide d?
True
Let w(b) = b**3 - b**2 - 14*b + 739. Is 9 a factor of w(0)?
False
Suppose -235 = 3*y + 29. Does 22 divide y/(-5)*10/4?
True
Suppose 0 = h + 3, -4*h - 52 = -w - 0*w. Is 14 a factor of w?
False
Is 33 a factor of (3 + 30)*4*(-292)/(-16)?
True
Suppose w - 740 - 39 = -v, 3122 = 4*w + v. Is 6 a factor of w?
False
Is (-58 + (-1)/(-1))*1156/(-204) a multiple of 17?
True
Let p(n) = n**2 - 3*n - 3. Suppose 3*b = -w + 11, -8*w = -4*w - 3*b - 29. Let l be p(w). Let y = l + -6. Is 5 a factor of y?
False
Let z be (-3)/(-2) - (-484)/8. Let h = z + -44. Is h a multiple of 14?
False
Suppose -3*c - 9 = 6, 4*q + 5*c = 39. Does 10 divide q?
False
Suppose 0 = 2*t - 6*t + 2400. Does 9 divide t/16 + 2/(-4)*-1?
False
Let t be (-6)/(-3)*3/2. Suppose -t*m + 50 - 8 = 0. Does 4 divide m?
False
Suppose 16 = -4*q, q - 251 + 880 = 5*t. Does 11 divide t?
False
Let p = -1362 - -2261. Does 29 divide p?
True
Suppose -193 = 4*g - 1037. Does 21 divide g?
False
Let q = -16 - -7. Suppose 26 = 2*t - 0*t. Let d = t + q. Is d a multiple of 3?
False
Let c(m) = 4*m**2 - 7*m - 16. Is 9 a factor of c(-7)?
False
Suppose -2*u + 5*g = -6, -4*g + 3 = u - 0*g. Suppose -l + 6*l = 4*x - 2, 9 = -u*l + 5*x. Suppose -t + y = l*y - 49, 4*t - 3*y - 168 = 0. Does 17 divide t?
False
Suppose 5*c = -11 + 36. Is (66/5)/((4/c)/4) a multiple of 8?
False
Let b(d) = -5*d**2 - 5*d - 3. Let t be b(-3). Is (506/t)/(1/(-3)) a multiple of 23?
True
Suppose 12*o - 3*o = 108. Let r be (-20)/(-6)*(74 + 7). Suppose o*a + r = 15*a. Does 15 divide a?
True
Let c(o) = 2*o**3 + 33*o**2 + 8*o + 69. Is 11 a factor of c(-16)?
False
Let b(i) = -8*i - 16. Let o be b(-4). Is 20 a factor of 1820/o - 1/(-4)?
False
Let g(f) = f**3 - 8*f**2 - 3*f + 10. Is g(9) a multiple of 32?
True
Suppose -2*f + 3*o - 42 = -7*f, -15 = -2*f - 3*o. Suppose -f*d + 6*d + 288 = 0. Does 24 divide d?
True
Let x = 7 - 2. Suppose -3*z + 2*z - 5*m + 22 = 0, x*z - m - 6 = 0. Let l = z + 7. Is l a multiple of 3?
True
Suppose -i = 3*q - 140, 3*q - 5 = 8*q. Is 54 a factor of i?
False
Does 7 divide -388*264/(-128) - 2/8?
False
Suppose -k = j, -5*k - 2 = -4*j + 43. Suppose j*u = 6*u + 24. Does 19 divide u/40 + 576/10?
True
Let s = 27 + -2