) be the second derivative of 0 + 1/2*h**3 - 41/2*h**2 + 3*h. Is d(17) a multiple of 5?
True
Suppose -39*g = x - 43*g - 1214, 4*g = -2*x + 2512. Does 4 divide x?
False
Let h(d) be the third derivative of d**7/504 - 11*d**6/360 - d**5/12 + 4*d**2. Let j(z) be the third derivative of h(z). Is 9 a factor of j(11)?
False
Let a = 2850 - 2408. Is 26 a factor of a?
True
Let g be (1 - (-1 + 3))*-166. Let p = -62 + g. Is p a multiple of 15?
False
Suppose 6*r - 24 = 8*r. Suppose -7*y = 436 + 124. Let o = r - y. Is o a multiple of 17?
True
Suppose 9*h = 7*h - 96. Let v = -45 - h. Suppose -5*r = 4*b - 42 - 128, -v*r + 129 = -3*b. Is 11 a factor of r?
False
Suppose -3*t + 81 + 24 = 0. Let y = 38 - t. Suppose -2*v = -73 + y. Is 6 a factor of v?
False
Let q(s) = -7*s + 5. Let a be q(10). Does 13 divide (a/26)/(1/2) + 421?
True
Suppose 2*s = -5*u + 1532 + 4488, -5*u = -3*s + 9055. Is 45 a factor of s?
True
Let d(f) be the second derivative of -2*f**3/3 + 136*f**2 - 28*f. Let a be d(0). Suppose 0 = -6*n + 4*n + a. Is n a multiple of 17?
True
Suppose 5*i = 4*a - 57, 0 = 2*i - 6*i + 4*a - 48. Let g(w) = -w**2 - 11*w - 18. Let m be g(i). Suppose m = -0*k + 8*k - 408. Is 12 a factor of k?
False
Let i be 90 - 81 - (-72 + -1). Suppose 87*u = i*u + 600. Does 20 divide u?
True
Let b(q) = 2*q**3 + 87*q**2 + 27*q - 206. Is 66 a factor of b(-38)?
True
Is 19 a factor of (-448*(-21)/18)/(-8 - (-6412)/798)?
True
Let u(t) = 206*t - 6370. Is u(35) a multiple of 5?
True
Let q(u) = -30570*u - 46. Is 40 a factor of q(-1)?
False
Let b = 38165 + -17953. Does 37 divide b?
False
Let k(t) = 23*t**2 + 37*t - 96. Is 31 a factor of k(22)?
False
Let q be 251503/124 - (-2)/(-8). Suppose q*v - 2026*v = 952. Is 17 a factor of v?
True
Let i(l) = -71*l**3 - 3*l + 2. Let j be i(1). Is (-75264)/j + 8/12 a multiple of 18?
False
Let y = 11723 + -323. Is y a multiple of 75?
True
Let p = 31 + -22. Suppose b + p = 9. Suppose -3*c = -3*i - 132, b*c + c + 2*i = 56. Is c a multiple of 24?
True
Let p be -2 - ((3 - -4) + -10). Does 8 divide (-16344)/(-56) - p/(-7)?
False
Let y = 376 - 61. Suppose 0 = 5*c - 25, -4*c - y = -0*j + 5*j. Is 5 a factor of j/(-3) + -2 + (-7)/21?
True
Let m = -2185 + 3215. Does 8 divide m?
False
Let j(x) = 25*x - 174. Let a be j(7). Let q(c) = 82*c**3 - 5*c**2 + 4*c + 2. Does 9 divide q(a)?
False
Let w(c) = -4*c - 76. Let v be -29 - 6/(-30)*-10. Is 2 a factor of w(v)?
True
Suppose -378*a = -401*a + 36156. Is a a multiple of 10?
False
Suppose 12 = 100*f - 98*f. Suppose f*m + 1315 = 3553. Is m a multiple of 13?
False
Let d be 6/(-5)*(-10)/4. Suppose -v = -o + 265, -d*o - 1353 = -8*o - 2*v. Suppose 4*l - 937 = -o. Is 12 a factor of l?
False
Let a = 4076 + 15071. Does 166 divide a?
False
Suppose 32*t - 23624 = 28*t + 7288. Is t a multiple of 12?
True
Let x = -35 - -139. Suppose -4*l - 2*z - x = 0, -3*l = -4*l - 3*z - 21. Let a = l - -41. Does 2 divide a?
True
Suppose -3*s = -0*s + 3*j - 99054, 4*s - 132024 = 8*j. Does 32 divide s?
False
Let q = -46 - -69. Let k = q - 69. Let n = -22 - k. Is 8 a factor of n?
True
Let q be ((-60)/(-18))/((-3)/36). Let m = q + 43. Suppose -3*b + 50 = 2*d - 41, 3*b = -m*d + 96. Is 15 a factor of b?
False
Let a(d) = 4*d**2 - 13*d + 6. Let s be a(3). Let w(v) = v**3 - 9*v**2 + 2*v + 10. Let h be w(9). Does 9 divide h/3 + 10/(-3) + s?
True
Let z(d) = d**3 - 22*d**2 + 20*d + 21. Let b be z(21). Suppose 2 = -2*k - 0, -3*v + 4*k + 988 = b. Is 82 a factor of v?
True
Let g = 2 - 2. Let y(m) = 101 - 5*m - m**2 + 7*m + 58 - 63 + m**3. Does 7 divide y(g)?
False
Let f(j) be the first derivative of 23*j**2/2 + 4*j - 197. Let h be -2 + 1 + 6 + 0. Is f(h) a multiple of 29?
False
Let x = -13837 + 14017. Does 6 divide x?
True
Let o(h) = -4*h**2 - 2*h + 2. Let v be o(0). Suppose v*k - 100 = -2*s, -4*k + 48 = -3*s - 187. Suppose -6*i = -i - k. Is 3 a factor of i?
False
Suppose 0 = 123*z + 304897 - 848447 - 6817877. Does 19 divide z?
False
Suppose 8*x - 3*x = -265. Let s be (-9706)/(-161) - 4/14. Let f = x + s. Does 7 divide f?
True
Suppose -13994*h + 13974*h + 14347 = -20013. Does 25 divide h?
False
Does 82 divide (8/10)/(4307/615 + -7)?
True
Let j be ((-2195)/15 + -2)*(-18)/10. Suppose j*p = 264*p + 1194. Is 13 a factor of p?
False
Let q(m) = -m**3 - 3*m**2 - 8*m - 10. Let j be q(-5). Let x = -126 + j. Let f = 82 + x. Is 12 a factor of f?
True
Let k = -48285 + -11269. Let o be k/(-198) + (-2)/(-9). Let f = -181 + o. Is f a multiple of 14?
False
Let t = -191 + 1122. Is 25 a factor of t?
False
Let x(i) = -2*i - 10. Let v be x(-12). Suppose 9*w = v*w - 15. Suppose w*b - 124 = 182. Is 10 a factor of b?
False
Suppose -2*x - 4*b + 30 = 0, 5*x - 3*b = b + 33. Suppose 2880 + 72 = x*f. Is 55 a factor of f?
False
Let u = -38 + -26. Let t = u + 84. Suppose -t*r = -15*r - 300. Does 10 divide r?
True
Suppose -3*z - m + 5*m + 3340 = 0, 0 = -4*z - 3*m + 4420. Is z a multiple of 210?
False
Is ((-14)/(-8))/(3/6888) a multiple of 7?
True
Let h(w) = -w**2 + 24*w + 5. Let y be h(24). Suppose 2*f - 4*f = 3*m - 743, 3*m = y*f + 715. Does 8 divide m?
False
Let j = 763 + -723. Let c be (-1437)/(-27) + 2/(-9). Let s = c - j. Does 3 divide s?
False
Let t be 684/10 + (-9)/(-15). Let d = t + -73. Let z(a) = -8*a + 5. Is z(d) even?
False
Let x(v) = 88*v + 253. Does 11 divide x(11)?
True
Let y(n) be the first derivative of -4/3*n**3 + 1/4*n**4 - 4 + 1/2*n**2 - 7*n. Does 4 divide y(5)?
False
Suppose -39477 = -53*t + 51*t + 3*c, -3*c - 98679 = -5*t. Is 11 a factor of t?
True
Does 88 divide 33636*(-18)/144*8/(-12)?
False
Suppose 313*k = 350*k - 109446. Is 29 a factor of k?
True
Let i be 0 - 0*6/42. Suppose i = -3*v - 15, -4*q + 1 + 392 = 3*v. Is q even?
True
Let z(s) = -36*s - 1. Let y be z(-1). Let n = -31 + y. Suppose -4*w + w - 34 = -5*p, 16 = 3*p - n*w. Does 8 divide p?
True
Suppose 2*v = 3*w - 55 + 6, 3*v = 4*w - 71. Let k = -11 - v. Suppose -t + k = -15. Is t a multiple of 7?
True
Suppose 5*y - 7*y + 10 = 0. Suppose -4*p + 47 = 5*o - 207, 4*o + 338 = y*p. Does 33 divide p?
True
Let j = -94 - -99. Suppose 4*v - 35 = -a, j*v + 8 = -2*a + 84. Is a a multiple of 43?
True
Suppose 13*t - 8*t + 3*f = 16372, 0 = -4*t - 4*f + 13096. Is 65 a factor of t?
False
Let y = 14158 - 5941. Is 10 a factor of y?
False
Suppose 0 = -8*j + 13*j + 3*m - 15982, 0 = -2*j - 11*m + 6432. Is 44 a factor of j?
False
Let j be -3*(-2)/3 + 1106/14. Suppose 5*n = -l + j, -5*n - 173 = -2*l - 11. Is 5 a factor of l?
False
Let n(o) = -9*o + 237. Let y be n(26). Let r = -1 - 1. Does 20 divide (-4510)/33*y/r?
False
Let f be 5 - (12/3 + -515). Suppose 214 + f = 2*i. Is 15 a factor of i?
False
Does 3 divide (-1597)/((1/(-3))/(40/(-24) + 2))?
False
Let f = -128 + 131. Suppose 3094 = f*p + 10*p. Is p a multiple of 34?
True
Is 189789/19 + 11 - 6/(-57) a multiple of 80?
True
Suppose 5*q + 232 = -18. Let a be (0 - 2)*125/q. Suppose 305 = -0*p + a*p. Is 8 a factor of p?
False
Let p(n) = -n**3 - 6*n**2 + 53 + 5*n + 9*n - 5*n**2 - 20. Let z be p(-12). Suppose -8*o - 3*t = -z*o + 101, -o = -5*t - 111. Is 43 a factor of o?
True
Does 9 divide (-2)/(-8) - 530448/(-192)?
True
Let b be (-228)/39 - (-1)/(39/(-6)). Let x be b/2*-1 - 3. Suppose x = 3*n - 4*l - 70, -4*n - 6*l = -l - 145. Does 15 divide n?
True
Is 45 a factor of (-424 - -69)/(1/(-7)) + 3?
False
Let f(t) = -t**2 + 30*t - 159. Let d be f(23). Suppose 6*b - d*i = 2*b + 1154, 5*b - 1438 = -2*i. Is 4 a factor of b?
True
Let p(y) be the first derivative of 0*y + 9 + 113/3*y**3 + 0*y**2. Does 41 divide p(1)?
False
Let o(s) = -s**3 - 7*s**2 - 3*s - 11. Let q be o(-6). Suppose z - 59 = 5. Let b = q + z. Does 3 divide b?
False
Suppose -5*x + 0 + 40 = 0. Let j(s) = -x*s**2 + 7 + 6*s - 11 + s**2 - s**3. Is 13 a factor of j(-9)?
True
Let w(f) = -f - 13. Let h be w(-11). Let t be (0/(12/(-3)))/h. Let r = t - -46. Is 5 a factor of r?
False
Suppose 0 = -2*s + 19*s - 85. Is 21 a factor of (34/(-4))/((-4)/840*s)?
True
Let m = 4136 - 2336. Does 24 divide m?
True
Let f be (3 + -513)*(10/(-4) + 2). Suppose d = 7 + f. Does 38 divide d?
False
Suppose -178*r + 181*r + 18054 = 3*w, 24066 = 4*w - 2*r. Is w a multiple of 15?
True
Let o = -12981 - -19377. Is 52 a factor of o?
True
Does 38 divide ((-304)/24)/(7 - 2148/306)?
True
Let k = -1207 - -784. Let h be 2/(-10) + k/(-15). Let g = h + -10. Does 6 divide g?
T