e
Let i(x) = x**3 + 12*x**2 + 16*x + 17. Let j be 600/16*(-6)/(-9). Suppose 0 - 9 = 3*s, j = -f - 5*s. Is 8 a factor of i(f)?
False
Suppose 2*m - 4*b + 4350 = 19734, -6*b = 2*m - 15424. Is 35 a factor of m?
True
Let o(f) = -13*f + 73. Let b be o(8). Let d = b + 356. Is d a multiple of 25?
True
Let f(r) = -2*r**3 + 59*r**2 - 40*r + 52. Is f(26) a multiple of 125?
False
Suppose -17*o - 300 = -23*o. Let a = -45 + o. Suppose -5*b + 8*d = a*d - 556, 5*d = -5*b + 540. Does 11 divide b?
True
Let b(q) = 14*q**2 + 163*q - 1561. Is b(9) a multiple of 260?
True
Suppose 10 = -2*k + 4*k. Let t(z) = -11*z**2 - 9*z + 8. Let p(f) = 7*f**2 + 6*f - 5. Let s(r) = k*t(r) + 8*p(r). Is 20 a factor of s(-15)?
True
Let n(t) = 245*t**2 - 11*t - 2. Is 150 a factor of n(7)?
False
Let v(l) = 29 - 14 + 18*l - 3*l**3 - 17*l**2 + 2*l**3. Suppose 5*w + 110 = 20. Does 5 divide v(w)?
True
Let m(n) = -724*n - 3134. Does 19 divide m(-9)?
True
Suppose -5*k = -2*c + 97, 4*k + 45 = 5*c - 19. Let t be (-4100)/(-35)*k/(-6). Suppose -6*s + t - 140 = 0. Is s a multiple of 16?
False
Suppose -6*o - 5*o = -33. Let y be 4 + (-1)/(o + -2). Suppose -c + 83 = 2*s, -8*s + 209 = -3*s + y*c. Does 10 divide s?
True
Suppose -16*i + 2094 - 718 = 0. Let p be (-316)/(-8) - 1/(-2). Let z = i - p. Does 46 divide z?
True
Suppose -69*r = -61*r + 104. Let m(f) = f**2 + f - 21. Is m(r) a multiple of 5?
True
Let l(x) = 3*x**2 + 43*x + 1840. Is 7 a factor of l(-37)?
False
Let q(i) be the third derivative of -32*i**4/3 + 99*i**2. Does 16 divide q(-1)?
True
Suppose -6*z + 55 = 5*z. Let r(v) = -5 + z - 22*v - 4 + 11. Is 46 a factor of r(-9)?
False
Suppose 0 = 3*h - 3*y + 112 - 697, h = 4*y + 180. Let p = -119 + h. Let m = -56 + p. Is 5 a factor of m?
True
Let i be (-66130)/(-425) - (-6)/(-10)*1. Suppose -595 = -5*m + i. Is 15 a factor of m?
True
Let l be 3 - 1/(4/600). Let h = -83 - l. Let s = h - 41. Does 5 divide s?
False
Let m = -162 - -270. Suppose -m = -2*a - 72. Is 41 a factor of (-492)/18*a/(-2)?
True
Let k(x) = -433*x - 1423. Is k(-10) a multiple of 35?
False
Does 11 divide (-412990)/(-26) + (-129)/559?
True
Suppose -5*g - 66 = -3*g. Let o = -47 - g. Is 3 a factor of 6/21 + (-290)/o?
True
Suppose s = 4*o - 29, 4*o - 3*s = 20 + 3. Let l be ((-117)/(-6) + -7)*o/10. Suppose 0 = a - l - 13. Is 23 a factor of a?
True
Is 266 a factor of ((-1998)/(-30))/(4/(-25)*7/(-84))?
False
Is 89 a factor of ((-2848)/64)/(-6 + 24775/4130)?
True
Let l be 4 - 0/(12/6) - -788. Let i = l - 628. Is i a multiple of 25?
False
Let m(w) = -3*w**3 + 14*w**2 - 13*w + 16. Let c be m(10). Let a = c + 3234. Does 89 divide a?
False
Let f = 11178 + -10164. Does 169 divide f?
True
Let b(x) = 10*x - 6. Let t be b(1). Suppose -2*k - 16 = t*q - 60, 4*k - 123 = -q. Is 8 a factor of k?
True
Let j = 13558 + -13310. Is j a multiple of 11?
False
Suppose 21*d - 22*d = -3*q, -3*q = 2*d. Let c(g) = 4*g + 228. Is 6 a factor of c(d)?
True
Let h(n) = -10268*n**3 + 3*n**2 - 6*n - 7. Does 36 divide h(-1)?
False
Suppose -4*t + 10*d = 13*d - 3078, 0 = -5*t + 2*d + 3836. Is 48 a factor of t?
True
Let q = 2222 - -11625. Is q a multiple of 57?
False
Let x = 179 + 53. Suppose -61 = -l - 0*o + o, x = 4*l + 2*o. Let j = -50 + l. Is 2 a factor of j?
False
Let p = -262 - -748. Let j = -443 + p. Is j a multiple of 9?
False
Suppose 6*o - 26254 = 2*o + 3*l, 2*o - 13120 = 5*l. Suppose 15*h = 2*h + o. Does 10 divide h?
False
Let j(m) = m**3 - 22*m**2 + 80*m + 490. Does 26 divide j(24)?
True
Let c(w) = 3119*w - 1970. Is 10 a factor of c(8)?
False
Let h(o) = 6*o + 166. Let w(q) = 42*q + 1212. Let l(g) = -44*h(g) + 6*w(g). Let i be (2/4)/(1/(-10)). Is 7 a factor of l(i)?
True
Let f = 2236 + -769. Let v = f - 911. Is v a multiple of 9?
False
Suppose 181 = 7*g - 1. Let v = 33 - g. Is 5 a factor of 36/(v + (-30)/6)?
False
Suppose -y - 3*p + 2*p - 3 = 0, -2*p - 2 = 4*y. Suppose -y*z - j + 184 = -2030, -5535 = -5*z - 3*j. Is z a multiple of 47?
False
Let u(p) be the second derivative of p**4/6 + p**3 + 23*p**2/2 - p - 78. Is u(-6) a multiple of 23?
False
Suppose -170*n + 149*n = -210945. Is n a multiple of 49?
True
Let a(c) = 445*c**2 - 84. Does 4 divide a(3)?
False
Suppose 28*y + 70 = 35*y. Let w(q) = -q**3 + 13*q**2 - 6*q + 30. Is w(y) a multiple of 9?
True
Is -6*1495/(-207)*246 a multiple of 13?
True
Let z(f) = f**2 - 13*f - 8. Let j be z(8). Let x = j + 42. Is 2/x - 10/(-3) a multiple of 3?
True
Let k(n) = 40*n**2 - n + 2. Let h be k(1). Let w = 41 - h. Suppose w = 2*q + 3*q - 495. Is q a multiple of 11?
True
Let i = -14100 - -20567. Does 170 divide i?
False
Let v(z) be the first derivative of -31*z**2/2 + 3*z - 25. Let u = 36 - 41. Does 16 divide v(u)?
False
Let q(w) = 2*w**2 + 5*w - 3. Let b = 29 + -19. Let t(c) = c**2 + 3*c - 1. Let n(k) = b*t(k) - 4*q(k). Is n(-6) a multiple of 11?
False
Let t(v) = 7*v**2 + 7. Let b(u) = 7*u + 1. Let l be b(-3). Let k(y) = -3*y - 65. Let p be k(l). Is 26 a factor of t(p)?
True
Let j be (0 + -7)*(-46 + 11 + 8). Is 4/14 - (-60804)/j a multiple of 7?
True
Suppose 2*a = -5*a + 630. Let u be ((-4)/6)/((-15)/a). Is 4 - (-74 + 8/u) a multiple of 19?
True
Let z(n) = n**3 - 9*n**2 + 9*n - 6. Let i be z(8). Let j(y) = -13*y + 97 - 45 - y**i + 124 + 16*y. Is j(0) a multiple of 20?
False
Let u(n) be the first derivative of n**5/60 - 5*n**4/12 + 19*n**3/6 + 14*n**2 - 28. Let f(a) be the second derivative of u(a). Is f(9) a multiple of 2?
True
Let a(x) = -7*x - 5. Let d be a(-2). Suppose 4*k + p = 7, p + d = k + 3*k. Suppose -3*h + k = 11, -l + 189 = -h. Does 16 divide l?
False
Let x = -1009 - -84. Let r = x + 2101. Is 98 a factor of r?
True
Suppose 0 = -4*c - 5*t + 25 - 9, -t = 2*c - 8. Let n be ((-6)/c)/((-99)/132). Suppose -10*p - 356 = -4*v - 6*p, -n*v - 2*p + 182 = 0. Is v a multiple of 5?
True
Let l be 6/(-15) - (1 - (-1038)/30). Suppose -2*g - 228 = 2*g. Let o = l - g. Is o a multiple of 5?
False
Suppose 0 = 5*k + 3*k. Suppose 0*v - v + 123 = k. Suppose 5*a - v = -3*m, -3*m - 3*a + 41 = -2*m. Is m a multiple of 38?
False
Suppose g + 83 = -3*u, -u + 2*g - 31 = 4*g. Let o = 68 + -130. Let m = u - o. Does 7 divide m?
True
Is 61 a factor of (-8 - (-12 + -25726)) + 12?
True
Let o(h) be the second derivative of -7*h**5/5 + h**3/2 - h**2 - 11*h + 1. Is o(-2) a multiple of 18?
True
Suppose -f = 2*f - 2*b - 23, -f + 5*b + 25 = 0. Suppose -f*v + 6*r = r, -5*r = -15. Suppose v*y = h - 19, y + 2 = -h - 3*y. Does 10 divide h?
True
Let o = 2246 + -1293. Suppose -3*p = -4*i + 6*i - 937, -3*p + 2*i = -o. Does 45 divide p?
True
Let d(g) be the first derivative of g**4/4 - 8*g**3/3 - 2*g**2 + 6*g - 196. Suppose -5*h + 8 = -42. Is d(h) a multiple of 23?
False
Let z(h) be the third derivative of h**6/60 - 2*h**5/15 - h**4/24 - 37*h**3/6 + 84*h**2. Is z(7) a multiple of 18?
False
Let c be (-6)/(-4)*(-64)/48. Is 1*(-155)/15*c*9 a multiple of 19?
False
Let l = 24245 + 10230. Does 175 divide l?
True
Let i(h) = 260*h - 2678. Is 59 a factor of i(26)?
False
Let i(a) be the second derivative of -a**3/6 - 3*a**2 + 27*a. Let c be i(-9). Suppose 3*r + c*h - 30 = 24, -2*r + h + 39 = 0. Is 4 a factor of r?
False
Let o(n) = 28*n + 51. Let p(z) = -19*z - 34. Let w(k) = -5*o(k) - 7*p(k). Let c be w(-3). Suppose -s + 2*f + f = -11, -5*f = c*s - 61. Is 3 a factor of s?
False
Let h be (288/15)/((-39)/(-130)). Let a = -8 + h. Is a a multiple of 7?
True
Suppose 0 = 2*g - 0*a - a - 268, -g + 137 = a. Let i = 444 + g. Is 41 a factor of i?
False
Let o = 67 - 99. Let d be 18/(-30) - (o/10)/2. Does 6 divide 35/(-45) + d - (-592)/9?
True
Let y(r) = -440*r + 8712. Does 22 divide y(18)?
True
Is 79 a factor of -4*(-10 - -2 - 19019/14)?
False
Suppose 33025 = -5*s + 12*s - 12902. Is 8 a factor of s?
False
Let p be ((-80)/15 - 2/3) + -2. Let w = 11 + p. Suppose 5*n - 200 = 2*c + 2*c, -4*n - w*c = -129. Is n a multiple of 6?
True
Suppose 3*r - 9 + 3 = 0. Suppose r*y + 1 - 10 = -3*n, -2*n + 5*y + 25 = 0. Is 3 a factor of n?
False
Suppose -4*u = 5*o - 436 + 1169, -4*o - u = 582. Let h = o + 379. Suppose 2*v = 2*p - v - h, -4*p + 464 = -4*v. Is p a multiple of 19?
True
Is 70 a factor of ((-490)/7)/(17/(-1088))?
True
Does 14 divide (420 + 10124)*7/2?
True
Let k = 322 - 327. Does 23 divide ((-496)/10)/(9 - (-46)/k)?
False
Let b = 9684 - 4900. Does 4 divide b?
True
Let y be 6/11 - (-2)/((-110)/(-5