e second derivative of -k**4/12 + 5*k**3/6 - k**2 + k. Is j(a) even?
True
Suppose 0 = 4*a - 12 - 4. Let l(k) = -447*k + 3581. Let y be l(8). Suppose -5*o - x = -601, -a*o + 3*o - y*x = -125. Is o a multiple of 10?
True
Suppose -21 - 3 = -12*q. Suppose u + 874 = 4*d - u, -q*u - 1094 = -5*d. Is d a multiple of 14?
False
Let b = 116 - 105. Suppose 674 + 1592 = b*f. Does 11 divide f?
False
Let z be (49 + 10/5)*1288/24. Suppose -4*a - 449 + z = 0. Is a a multiple of 24?
False
Let g(i) = -i**3 - 25*i**2 + 84*i + 51. Is 49 a factor of g(-38)?
True
Let y be (4/5)/((-6)/(-1905)). Let d be (-3 + 6/4)*-16. Suppose 0 = -5*v - d + y. Is v a multiple of 6?
False
Let p(s) = 29*s**2 - 11*s**2 - 7*s**2 - 14 + s - 11*s**2 - 5*s**2 + s**3. Suppose 2 = v + 2*z, -2*v + v + 3*z = -12. Is 2 a factor of p(v)?
True
Let h(r) = 31*r**2 + 16*r + 144. Does 99 divide h(-15)?
False
Let i = 33416 - 19151. Is i a multiple of 5?
True
Suppose -3*t + 255 = 2*d, 3*d - 2*t - 425 = 2*t. Let n = -87 + d. Is n a multiple of 3?
True
Let v(t) = -t**3 - 8*t**2 - 6*t - 13. Let u be v(-7). Let b = u - -38. Let w = 40 + b. Does 6 divide w?
False
Suppose 0 = -3*w + 5*y + 54847, -4*w - 5*y = -67877 - 5194. Does 9 divide w?
False
Suppose 40*u - 437880 = 53*u - 37*u. Is 35 a factor of u?
False
Let t = -10618 - -12173. Is 46 a factor of t?
False
Suppose 11669*k + 16704 = 11671*k. Is 12 a factor of k?
True
Let g(j) = -46*j**3 + 2*j**2 + 4*j - 7. Let v be g(-3). Let f = -386 + v. Is 15 a factor of f?
True
Let h = -138 - -71. Suppose 2*w + 83 + 43 = 0. Let a = w - h. Does 2 divide a?
True
Suppose 22*n + 10429 - 26445 = 0. Suppose -2*v - 5*u + n = -328, -v - 2*u + 529 = 0. Does 41 divide v?
True
Suppose -5*c - 833 = -5*y + 1107, -4*y - 3*c + 1531 = 0. Let k = 748 - y. Does 33 divide k?
True
Does 20 divide 1605006/456 + (-2)/(-8)?
True
Suppose 3*l - 7 = -5*r, -5*l + 0 = -r - 21. Suppose -6*w = -4*z - 3*w - 15, 3*z - 5*w = -25. Suppose z = l*y - 33 - 187. Is 11 a factor of y?
True
Is 58 a factor of -9 + 11196 - 77/((-22)/2)?
True
Suppose -2*z + 3352 = 3*r, -3103 - 1879 = -3*z + 7*r. Is z a multiple of 12?
False
Let o = 17 - 18. Let s be o/((-4)/228)*8/(-6). Let p = 118 + s. Is 14 a factor of p?
True
Let o be (-28)/(-8)*((-44)/(-14) + -2). Suppose 3*i + 12 = -p + 4*p, -4*p = o*i - 8. Suppose -3*x + 207 = -4*a, p*x + 2*x - 345 = -5*a. Is x a multiple of 12?
False
Let g = 321 - 553. Let v = g + 452. Does 17 divide v?
False
Let m = 7465 - 5317. Does 26 divide m?
False
Let v(r) = 71 + 3*r - 3*r + 73 + 2*r. Is v(23) a multiple of 19?
True
Let s be (25245/(-510))/(-1*6/(-8)). Is 17 a factor of 1/(8/s)*2*-34?
True
Let r = -59 - 1. Let g = -44 - r. Suppose 0 = -12*w + g*w - 312. Does 39 divide w?
True
Suppose 0*j - 5 = -j, t + 5*j = 1340. Is t a multiple of 5?
True
Let g = -268 - -268. Suppose c = 3*q - 141, 9*q - 14*q - c + 243 = g. Does 2 divide q?
True
Suppose 0 = 4*r + 3*j - 5505, -j - 3*j = -2*r + 2780. Is 20 a factor of r?
True
Let o(z) = 7*z**3 + 21*z**2 + z + 5. Let k be o(-3). Suppose k*p = 5*h - 796, -5*p = -3*h + 598 - 128. Is 40 a factor of h?
True
Let v = 90 - 100. Is 22 a factor of 394 - 0 - (13 + v)?
False
Let t = -35 - -38. Suppose t*d = -5*d + 1456. Suppose -d + 1118 = 6*h. Does 21 divide h?
False
Does 12 divide 8282/3 - ((-1426)/(-69) - 20)?
True
Suppose -5*a - 3585 = -0*a + 4*z, -3*z = 5*a + 3590. Let k = a + 1087. Does 61 divide k?
True
Let n(o) be the third derivative of -o**4/24 + 11*o**3/3 - 26*o**2. Let m be n(14). Is (94/(-8))/(m/(-32)) a multiple of 5?
False
Suppose 0 = 3*w - 5*h - 2024, -78*h + 77*h + 2 = 0. Let f = w - 622. Is 4 a factor of f?
True
Let y = -253 + 73. Let x = 172 - y. Is 16 a factor of x?
True
Suppose 0 = -s - o - 2, -3*s - 2*s - 2 = o. Suppose -5*p + 44 = -3*w, 2*w + s*p + 3*p + 61 = 0. Let m = 43 - w. Does 9 divide m?
False
Let a = 153 - 167. Let c(i) = -19*i - 133. Does 39 divide c(a)?
False
Does 13 divide -16*(275/(-10))/5?
False
Let p be 17 + 11 - (1 + -3) - -1. Let d(c) = 14*c - 79. Is d(p) a multiple of 30?
False
Suppose -97*o - 9823 = -116*o. Is o a multiple of 11?
True
Let p(h) = 2730*h - 822. Does 6 divide p(1)?
True
Let b(z) be the second derivative of 56*z**3/3 - 8*z**2 + 79*z. Is b(1) a multiple of 4?
True
Does 35 divide (-5475)/(-1460)*10444/3?
True
Let p(u) = -u**3 - 11*u**2 + 5*u + 9. Let x be p(-12). Suppose 0 = 6*k + x - 1299. Is 27 a factor of k?
False
Suppose 4*z - 27*t + 22*t - 25540 = 0, -2*z + 5*t = -12760. Does 6 divide z?
True
Suppose 5*o + 3*k + 9 = 0, 5*o + 4 = -5*k - 11. Suppose o = 22*u - 24*u + 178. Does 2 divide u?
False
Let p = -25098 - -40194. Is 37 a factor of p?
True
Suppose 3930*v = 3920*v + 39140. Is 36 a factor of v?
False
Let p(c) be the second derivative of -6*c**2 - 5/6*c**3 + 3/4*c**4 + 26*c + 0 - 1/20*c**5. Does 13 divide p(5)?
False
Let h be (0 - -1)*0/28 - -183. Suppose 4*p - 3*k = h, 4*p + 6*k = 3*k + 201. Does 6 divide p?
True
Let g(u) = -u**2 - 89*u - 549. Is g(-17) a multiple of 16?
False
Let s be (-2)/16 + (-5035)/40. Let t = s - -168. Is t a multiple of 7?
True
Let z(u) = 664*u + 3712. Does 30 divide z(12)?
False
Let j(n) = 603*n + 23. Let f be j(5). Is 45 a factor of 3/(-6) - f/(-4)?
False
Suppose k - 112 = 2*h + h, 3*k = 12. Let w = h + 43. Is 7 a factor of w?
True
Let a(m) be the first derivative of 115*m**2 + 6*m + 57. Does 24 divide a(3)?
True
Suppose -221602 = -61*o + 124634. Does 38 divide o?
False
Let w(v) = 8*v - 93. Let b be w(24). Let z = b + 21. Does 30 divide z?
True
Let c(w) = -w**3 + 24*w**2 + 21*w + 28. Let j be c(24). Suppose -3*m + 13*s + j = 11*s, -2*s = -8. Is m a multiple of 12?
True
Let h(m) = 128*m**2 - 6*m + 10. Suppose 12 = -4*o + 5*c, 3*o + 0*c + 4*c - 22 = 0. Is 64 a factor of h(o)?
False
Let p(x) = 13*x**2 - 52*x - 1890. Is 15 a factor of p(-30)?
True
Let b = -73 + 126. Let y = -10 + b. Suppose -w + 49 = 3*x - y, -2*x + 2*w = -56. Does 3 divide x?
True
Does 14 divide (-2)/6 - 0 - (-3987198)/162?
True
Let q be ((13365/(-22))/27)/(2/56). Let l = 1838 + q. Is 13 a factor of l?
False
Let j be (-2 - 0)/((-2)/76). Let q = j - -73. Does 20 divide q?
False
Suppose 19227 = 4*c + 3*v, -5*c - 28*v + 23*v = -24040. Does 71 divide c?
False
Let n(y) = -y**3 - 6*y**2 + 5*y + 38. Let x be n(-6). Suppose -3*b + x*b - 4080 = 5*p, 4*b - 3299 = -3*p. Is 26 a factor of b?
False
Does 86 divide 5 - ((-53)/(-3))/(2/(-2706))?
True
Let o be (-10)/4*96/(-30). Let l(h) = 1 + 4*h - 5 - o. Does 6 divide l(7)?
False
Let c be 0 - (1*-193 + 1). Suppose -2*a = 10, 4*v + 0*a = -5*a - 273. Let w = c + v. Is 22 a factor of w?
False
Let j be -1*(-4)/(16/12). Suppose -10*l = -11*l + j. Suppose 0 = -3*b + 4*z - 184 + 606, 253 = 2*b + l*z. Does 17 divide b?
False
Let i be (0 - (-24)/20)/((-1)/5). Let o be (i/5)/((-18)/45). Suppose 106 = o*m - 140. Does 18 divide m?
False
Let h(v) be the second derivative of 0 - 5/3*v**3 - 9/2*v**2 + 1/12*v**4 + 26*v. Does 39 divide h(15)?
False
Let a = 116 + -645. Let r = 627 + a. Does 7 divide r?
True
Let z = 3887 - 296. Is z a multiple of 133?
True
Let d(a) = 4*a**3 + 4*a**2 + 30*a - 126. Is 3 a factor of d(5)?
True
Is (-28)/6*(-20)/210 + (-54113)/(-9) a multiple of 7?
True
Suppose -1606*v + 1594*v + 87480 = 0. Is 90 a factor of v?
True
Let f(a) = -a**2 + 12*a - 26. Let l be f(9). Suppose c - 22 = -l. Let v(z) = 4*z - 24. Is v(c) a multiple of 6?
True
Suppose -u - 16 = 7*u. Is u/4*1976/(-13) a multiple of 17?
False
Let a be (0 - (-30)/4)*4/6. Suppose 2*c + 4 = 0, -a*c = -2*b - 2*c + 694. Is b a multiple of 58?
False
Let l = 450 + -451. Does 21 divide (455/(-195))/(l/180)?
True
Suppose 14*n = 25 + 17. Suppose -1189 = -4*h + 5*z - 404, h - 209 = -n*z. Does 10 divide h?
True
Let s be -19 - -14 - 64*-10. Suppose 4*i - v - 1613 = 0, -2*v + s = 2*i - 169. Is 31 a factor of i?
True
Let j = 468 - 40. Let t = j - 303. Is 25 a factor of t?
True
Let b(v) = 73*v**3 + 3*v - 2. Let k(p) be the first derivative of p**4/4 + 13*p**3/3 + 13*p**2/2 + 13*p - 14. Let d be k(-12). Does 11 divide b(d)?
False
Suppose -4*r = -5*r + 16. Let x = r + 11. Suppose -28*u = -x*u - 44. Does 9 divide u?
False
Let x = 123 - -27. Let t = 216 - x. Is 11 a factor of t?
True
Let b(u) = 43*u + 259. Let c be b(-6). Let r be (-2)/(-7) + (-6)/21. Suppose 2*w + 592 = 5*l, -3*w + 11 + c = r. Is l a multiple of 26?
False
Let q = -207