e 16 + -5 + (-3)/1*1. Let j be n(k). Let g = -115 - j. Is 16 a factor of g?
True
Suppose 0 = 25*r + 31*r - 858974 + 292870. Is 40 a factor of r?
False
Suppose 73*q = 77*q + 3*c - 71212, 2*q - 5*c - 35606 = 0. Is 216 a factor of q?
False
Let o(y) be the third derivative of -4*y**4/3 - 49*y**3/6 + 2*y**2 + 15*y. Is o(-18) a multiple of 35?
False
Does 66 divide 7 - (5 + -1515) - (-3 - -2)?
True
Let s(w) = w**3 - 52*w**2 - 102*w + 1830. Is s(54) a multiple of 4?
False
Let c = 13 - 43. Let o = 546 - c. Is 32 a factor of (12/(-9))/((-4)/o)?
True
Let j be ((-2)/15*3)/(1/(-185)). Suppose -j = -z + 6. Suppose 0 = 2*b - 5*o - z, o + 16 = b - 27. Does 5 divide b?
True
Does 41 divide (-4306)/(8*-1 + 495/66)?
False
Suppose -6*o = 206 + 1180. Let r = o + 308. Does 2 divide r?
False
Suppose 10799 = 2*x + p, 0 = -5*x - 41*p + 40*p + 26993. Is 11 a factor of x?
False
Let n(f) be the third derivative of -25*f**4/24 + 17*f**3/3 - f**2 - 28. Does 6 divide n(-2)?
True
Suppose 2*p + 2*u - 3178 = 3060, 3*u = 3*p - 9339. Is 98 a factor of p?
False
Is 15 a factor of 30/(7 + 34753/(-4968))?
True
Suppose 7*t - 80835 = -39996 + 45639. Is 58 a factor of t?
True
Let b(m) = -323*m**3 - 5*m + 4. Let g(v) = -646*v**3 - 9*v + 7. Let t(i) = -7*b(i) + 4*g(i). Let p be t(1). Is (-6 - p/14)/((-2)/(-14)) a multiple of 15?
True
Suppose -15*y + 28 = -8*y. Suppose 11 = 3*l - y. Is 348/l - 28/(-70) a multiple of 10?
True
Let z(u) = 5*u - 18. Let s be z(4). Suppose s*b + 40 = 10*b. Suppose -120 = -b*k + 5*q, -29 = -2*k - 4*q + 13. Is 2 a factor of k?
False
Suppose 0 = 146*j - 145*j - a - 609, 0 = 2*j - a - 1217. Does 5 divide j?
False
Let i = 4266 + -2894. Is 14 a factor of i?
True
Suppose 0 = 32*r - 18 - 142. Suppose -2*c = -8, 2*c - r*c - 1504 = -2*x. Is 8 a factor of x?
False
Let m = -917 + 928. Suppose 4*l - 14520 = -m*l. Is 44 a factor of l?
True
Let m = 2845 - -10942. Is m a multiple of 52?
False
Let p = -5265 - -5654. Does 90 divide p?
False
Suppose 367*d = 85*d + 3021912. Does 23 divide d?
False
Is 17 a factor of ((-848)/(-40) - 2)/((-9)/(-870))?
False
Suppose -8*a + 9 = -7*a. Suppose -3*f + 0*b + a = 3*b, -f = -3*b + 17. Is 7 a factor of -7 + 10 + -2*(f + -14)?
True
Let y(p) = 2*p**2 - 108*p - 82. Does 4 divide y(59)?
True
Let w = 83 + -79. Suppose 3*i + 18 = s, -4*i - 1 = 5*s + w. Let p = s - -192. Is p a multiple of 13?
True
Suppose 64 = -7*t + 23*t. Suppose -7*r + 2*r + 3598 = 2*n, -4 = -n. Suppose 0 = -l - t*a + 148, 5*a - r = -5*l + 7*a. Does 18 divide l?
True
Let n be (-592)/(-12)*33/22. Suppose x - 77*d = -n*d + 813, 0 = -x - 3*d + 807. Is 30 a factor of x?
True
Let f(z) = -9*z - 43. Let m = 170 + -181. Does 4 divide f(m)?
True
Let l(m) = -63*m + 874. Does 6 divide l(0)?
False
Let a(h) = -2*h**3 + 170*h**2 - 25*h - 357. Is 45 a factor of a(84)?
True
Let n = -15416 - -17550. Is n a multiple of 9?
False
Suppose 4*h = 8, z - 41 = 2*h + 482. Let t = -257 + z. Is 54 a factor of t?
True
Let m be -10 - ((-290)/75 - (-4)/(-30)). Let j be (-189)/m*(-14)/(-21). Suppose -5*t + 106 = -b, -3*t + 3*b + 33 = -j. Is t a multiple of 22?
True
Let p be ((-28)/(-42))/(382/378 + -1). Suppose -p = -0*c + 3*c + 2*z, -2*c - 42 = -z. Let r(m) = -m + 35. Is 28 a factor of r(c)?
True
Suppose 3*x + 5*t - 648 = 0, t - 4*t = -x + 202. Let l = -82 - -92. Suppose x + l = w. Is w a multiple of 14?
False
Suppose 8*w + 95 = 27*w. Suppose -295 = -w*m + 590. Is m a multiple of 59?
True
Suppose -9*m = 54 + 36. Let a(f) = 2*f**2 - 11*f + 23. Let r be a(m). Suppose r = -4*l + 7*l. Is 7 a factor of l?
False
Suppose -2*w + 3*u + 15915 = 0, 7*u - 9*u - 31810 = -4*w. Is w a multiple of 75?
True
Suppose -4*v - k = -3856 - 7121, 0 = 3*k + 9. Is v a multiple of 45?
True
Suppose 125*u = 131*u - 6. Is ((-175)/(-70))/(u/14) a multiple of 6?
False
Suppose -5*s = 5*w - 47905, 87*s - 83*s - 38314 = w. Is s a multiple of 31?
True
Let r(f) = f**3 + 31*f**2 + 12*f - 22. Is r(7) a multiple of 26?
True
Suppose -10345 - 19913 = -123*t. Does 3 divide t?
True
Let w(n) be the first derivative of 6*n**2 - 11*n + 741. Let r(x) = x**2 - 8*x + 9. Let i be r(7). Is w(i) even?
False
Suppose 0 = 2*x + 4*w - 2 + 30, 4*w + 8 = 3*x. Let k(n) = -n**2 + 18. Let f be k(x). Suppose -2 = -z + 5*c + f, z - 5 = 4*c. Is 9 a factor of z?
True
Let n(o) = -73*o**3 - o**2 - 5*o - 3. Let s = 35 + -36. Let x be n(s). Does 30 divide x + 0*(-2)/10?
False
Let s = -59 - -67. Suppose 0 = s*b - 7*b - 51. Let j = -41 + b. Is j a multiple of 7?
False
Suppose -24207 = -18*c + 6033. Suppose c = 9*f + f. Does 7 divide f?
True
Suppose -9*f + 11*f = 14. Suppose -540 = -f*v + 48. Is 6 a factor of v?
True
Is 23 a factor of (-14 - (-3 - 13)) + (-3402)/(-2) + 4?
False
Let r = 38 + 10. Suppose 0 = 5*u - r + 13. Suppose y = -2*p + 170, -3*y + u*y + 150 = 2*p. Is 26 a factor of p?
False
Suppose 0 = 5*c + 2*k - 80, -c + 2*c + 3*k = 3. Let s be c/18 - (-3 + 1). Does 7 divide (16/s)/((-2)/(-6))?
False
Suppose 6*f = 17*f - 17083. Suppose -2*k - 3*v = 3*k - 2590, -3*k + f = 2*v. Is 46 a factor of k?
False
Let l = -67 + 67. Suppose 33*a - 7021 - 20105 = l. Does 31 divide a?
False
Is 36 - 162/9 - -14782 a multiple of 8?
True
Let w = 283 - -790. Is w a multiple of 5?
False
Is 12 a factor of (644 + -128)/((8/6)/4)?
True
Let g(p) = -p**2 - 9*p + 8. Let b be g(-9). Is ((-6)/b*1)/((-17)/1632) a multiple of 4?
True
Let p = -852 - -870. Let r(m) = 65*m - 26. Is r(p) a multiple of 26?
True
Let m be (-15)/10*51/9*-18. Does 72 divide 102/m*135*12?
True
Suppose 0 = 3*f - 5*b + 1, 2*f + b + 2 = 10. Is 53 a factor of 788 - (0 - f) - (-4 - 0)?
True
Let o = -105 + 110. Suppose -o*a + 3*t - 254 = 0, 5*a + 262 = 2*t - 3*t. Let u = 95 + a. Does 43 divide u?
True
Let m(k) = k**3 + 20*k**2 - 21*k - 1. Let i be m(-21). Let a(b) = 9*b**2 + 3*b + 1. Is a(i) a multiple of 7?
True
Let n(h) = h**3 - 23*h**2 + 216*h - 1261. Does 307 divide n(51)?
True
Let k(q) = -q**2 - 21*q - 44. Let a be k(-20). Let l be (a/(-108))/(2/18). Suppose 2*f + 3*p = 3*f - 27, 3*f = l*p + 67. Does 7 divide f?
True
Is 69 a factor of (-310)/(-40) - 9 - (-2213)/4?
True
Suppose -b + 3*d = -22444, -b = -4*d - 16519 - 5933. Does 118 divide b?
True
Does 17 divide (3/9)/((-16)/(-128928))?
True
Suppose 9 = 5*a - 46. Suppose 0 = a*d - 97 - 68. Suppose 0 = -d*h - 3*h + 5022. Is h a multiple of 31?
True
Let x(j) = 1. Let y(b) = 8*b - 9. Let d(u) = 6*x(u) + 2*y(u). Let m be d(8). Suppose 0 = -4*r - 3*l + 230, 0 = 4*r - 2*r + 2*l - m. Is r a multiple of 28?
True
Let w(r) = -r**2 - 11*r + 21. Let y be w(-13). Let j be y*4/(-150) + (-129)/(-45). Suppose i + g + 90 = 301, -j*g = 9. Is 22 a factor of i?
False
Let l be (1 - 18/(-4))*(-89 - -91). Suppose 26*t - 10200 = l*t. Is 17 a factor of t?
True
Suppose 34*z - 3*z + 10514 = 281516. Is z a multiple of 93?
True
Let p be ((-36)/30)/(6/(-4485)). Suppose 13*w + 10*w - p = 0. Does 39 divide w?
True
Suppose -12 = 7*s + 93. Let q be (-1 + -1)/(s - -14). Suppose -2*y - 15 = -z + 15, 4*z - q*y = 132. Is z a multiple of 17?
True
Suppose 0 = -203*m + 1288701 - 401136 + 1099805. Is m a multiple of 22?
True
Suppose 5*g = 3*k + 2900, -k + 1740 = 3*g + k. Suppose 3*t - t = g. Suppose -2*w + t = 3*w. Is 13 a factor of w?
False
Suppose -98997 = -4*y + 3*x, -1800*x = 5*y - 1805*x - 123745. Is y a multiple of 90?
True
Suppose -14896 = -15*c - 6530 + 6499. Is 6 a factor of c?
False
Let l(n) = 2020*n - 1422. Is l(1) a multiple of 2?
True
Suppose 20 = 10*o - 5*o. Let h be (2 + (-6)/o)*142. Let m = 99 - h. Does 14 divide m?
True
Let c = -390 + 816. Let h = -91 + c. Suppose 10*b = 7*b - 2*t + h, -4*t + 4 = 0. Does 10 divide b?
False
Let u = 3818 - -406. Is u a multiple of 22?
True
Let h be 2/(-9) - ((-692)/36 + 1). Let v = h + -22. Is 3 a factor of (2/v)/(2*(-2)/136)?
False
Let t(c) = c**2 - c - 36. Let o be t(-6). Suppose o*q - 207 - 9 = 0. Does 4 divide q?
True
Suppose -147*s + 540363 = -206691. Is s a multiple of 66?
True
Does 20 divide 57400/245*(-4 - (-15)/2)?
True
Let v(a) = 10*a**2 - 35*a + 140. Does 2 divide v(11)?
False
Suppose 0 = -0*p - 5*p + 5215. Suppose p = 18*q - 577. Does 10 divide q?
True
Let w = -17413 - -24994. Does 31 divide w?
False
Let a(c) = 3*c**2 - 11*c - 41. Let p(j) = -10*j - 22. Let k be p(-3). Suppose -k*l - 28 = 20. Does 26 divide a(l)?
False
Suppose -q - 382 = -f - 0*q, 4*f = 3*q + 152