 - (28/2 - 0/1). Let i(y) be the third derivative of y**6/120 + y**5/6 - 5*y**4/24 - y**3/3 + y**2. Is i(p) a multiple of 14?
False
Suppose 0 = -236*r + 215*r + 525672. Is 84 a factor of r?
True
Let m be (0 - -70)*(-2 + 12/5). Suppose 0 = 5*a - 4*g - 76, 0 = 2*a - g - 0*g - m. Is (69*3/a)/((-9)/(-24)) a multiple of 24?
False
Suppose -10*j + 1403102 = 72*j. Is 7 a factor of j?
False
Let t(q) = -3*q**2 - 4*q - 3. Let i be t(-3). Is 5 a factor of (i + 17)*(2*-206 - 1)?
False
Let w(s) = -576*s**3 - 13*s**2 - 28*s + 3. Is 77 a factor of w(-2)?
False
Suppose 92*g = 93*g. Suppose -4*y + 1892 = -g*p - 4*p, -3*y - 4*p = -1391. Is 48 a factor of y?
False
Suppose 3*x + 4*d = -2, -x - d = -2*d + 3. Let m be (-1 - 0)/(0 + 1/x). Suppose -z = -m*b + 4*z + 486, 720 = 3*b - 3*z. Is 17 a factor of b?
True
Suppose 0 = 7*k - 23*k + 112. Suppose k*u - 75 = 226. Is 5 a factor of u?
False
Let j = 6524 - 6146. Is 6 a factor of j?
True
Suppose 5*a + 5*z - 68775 = 0, -a + 13759 = 10*z - 5*z. Is 23 a factor of a?
True
Is (-30908)/(-10)*8/128*40 - 5 a multiple of 22?
True
Let z = 40 + -42. Is 12 a factor of z - ((-12)/78 + (-6420)/13)?
True
Let s(b) = 250*b**2 - 93*b + 478. Does 54 divide s(5)?
False
Suppose -42*b + 35031 = -152079. Does 81 divide b?
True
Let r = 111 - 31. Suppose -2*n = -2*k - 3*k - r, 3*k - 12 = 0. Suppose n = 4*x - 2*o, -2*x + 4*o + 0*o = -28. Does 12 divide x?
True
Let a = 12159 + -9126. Is 9 a factor of a?
True
Suppose -144955 = -38*q + 300028 - 108189. Does 50 divide q?
False
Suppose -4*w + p + 4*p + 5340 = 0, 4*w + 5*p - 5300 = 0. Is 203 a factor of w?
False
Let m = 384 - 369. Suppose 275 = m*o - 10*o. Does 5 divide o?
True
Let c = -140 + 156. Suppose -3*l + 761 = i, c*l - 4*i - 526 = 14*l. Is l a multiple of 51?
True
Does 186 divide (-1280)/45*-412 - 30/27?
True
Let u(j) = 9*j**3 - 27*j**2 + 193*j - 2. Does 15 divide u(9)?
False
Is 8/((-240)/(-1101774)) + 7/35 a multiple of 21?
False
Let p = 7769 - 5343. Is 111 a factor of p?
False
Suppose 2*c - 410 = 4*d, -4*d - 197 = 3*c + 218. Let a = 277 + d. Is a a multiple of 58?
True
Let d(y) = 1502*y - 9368. Let h be d(7). Suppose 1 = 3*g - 5. Suppose 3*n - 4*n - g*f = -222, -2*f = -5*n + h. Does 19 divide n?
True
Suppose 5*h = 4*l - 22635, 3*l = 5*h + 15534 + 1446. Does 45 divide l?
False
Let a = -13 - -9. Let p(k) be the first derivative of k**3/3 - 2*k**2 + 2*k + 26. Does 12 divide p(a)?
False
Let m = 240 + -143. Suppose -d = -29 - m. Is 6 a factor of d?
True
Suppose 3*i = -63*s + 58*s + 139269, 2*s - 3*i = 55695. Is 14 a factor of s?
False
Suppose -17*g = -o - 22*g + 319, 5*g = 0. Suppose -323*i = -o*i - 988. Is i a multiple of 7?
False
Let x = 11 - -36. Let o(r) = 4*r + 6*r - 11*r + x. Does 5 divide o(0)?
False
Let u(i) be the first derivative of -295*i**4/4 - 2*i**3/3 + 2*i + 49. Does 26 divide u(-1)?
False
Let q = 185 - -23. Let c = q + -113. Does 12 divide c?
False
Let n = -1159 + 1158. Let v(s) be the third derivative of -55*s**4/24 - 5*s**3/6 - s**2. Is v(n) a multiple of 17?
False
Let k(y) = -y**2 + 33*y - 55. Let c be k(31). Let g(n) = 77*n - 53. Does 9 divide g(c)?
True
Let d(b) = 284*b**2 + 8*b - 84. Is d(5) a multiple of 9?
True
Let z = -976 + 2761. Does 17 divide z?
True
Let m be ((-14)/8)/((-6)/(-24)). Let i(h) = -h**3 - 8*h**2 - 8*h - 4. Let c be i(m). Suppose 3*u - 429 = -4*x, -2*x = -c*u + 2*u + 143. Is u a multiple of 31?
False
Is 10 a factor of ((-71620)/150*-3)/((-8)/(-60)) - 3?
True
Let c be 30/18 + (-380)/(-15). Suppose -3*d + 2*w = -958, 5*w + c = 2. Is d a multiple of 27?
False
Let k(f) = -f**3 - f**2 + 3*f + 3. Let i be k(-2). Let g be i/7 - (-300)/105. Suppose -2*z + 190 = 5*j + g*z, 5*j - 2*z - 155 = 0. Is 17 a factor of j?
False
Let c = 386 - 247. Let b be (24/4 - 2)/((-16)/(-20)). Suppose -2*q + c = 2*q + b*m, -m + 143 = 4*q. Is 21 a factor of q?
False
Is 153 a factor of (-146)/1533 - 6261/6*5000/(-84)?
False
Let o = 20 + 34. Let l(c) = -7*c - o + 59 + 24*c. Is 5 a factor of l(1)?
False
Let x = 9956 - -974. Is 10 a factor of x?
True
Let b(u) = -u**2 + 4*u. Let i be b(2). Suppose -3*w - 3*p - 3 = -4*w, i*w + p + 27 = 0. Is 621/w*14/(-21) a multiple of 10?
False
Suppose 19*t + 64258 = 206530. Suppose 135*c - 117*c - t = 0. Is c a multiple of 22?
False
Suppose -5*s + 2*z + 2772 + 19042 = 0, -5*s = 3*z - 21804. Is s a multiple of 3?
True
Let n = -465 - -766. Suppose -5*p + n = -679. Suppose p = 3*w + 34. Is w a multiple of 11?
False
Suppose 0 = 6*r - 5*r + 2. Is 18 a factor of ((-16)/r)/(16/360)?
True
Suppose 4*z = 11*z + 2086. Let o = 681 + z. Is 14 a factor of o?
False
Suppose 5*x = -6*o + 5*o + 5944, -o = -6*x + 7135. Let g = -806 + x. Is g a multiple of 13?
False
Suppose 5*f - 3593 = -3*p, -f - 56 = -p + 1155. Let k = p - 767. Is k a multiple of 23?
False
Let s be -4*147/(-3) + -1. Suppose -7*c - 5*c + 2460 = 0. Suppose -5*j = 2*o - c, -o + s = o + 3*j. Is o a multiple of 18?
True
Suppose 4*r - u = 1 - 3, -4*r - 2*u + 4 = 0. Let n be r + 2 - -40 - -3. Let b = 22 + n. Is b a multiple of 35?
False
Let j = 149 + -213. Let r = -45 - j. Let l = r - 0. Does 9 divide l?
False
Is -1*(3 + 0)/3*(-407868)/12 a multiple of 83?
False
Let l = -10019 + 10099. Let r be (-1 + -1)/((-2)/67). Let a = r + l. Does 8 divide a?
False
Let z = -1120 + 5438. Is 17 a factor of z?
True
Suppose 10*o - 5*o - 109383 = 2*f, 3*o + 3*f - 65655 = 0. Is 143 a factor of o?
True
Let x(b) = -b**3 - 13*b**2 + 10*b - 20. Suppose -4*w = -4, -i + 7*w - 17 = 4*w. Does 12 divide x(i)?
True
Let g = 43 + -31. Suppose 0 = -5*f + g + 28. Suppose -11*w = -f*w - 315. Is 21 a factor of w?
True
Let m = 35236 - 24586. Is m a multiple of 10?
True
Let o = -117 - -119. Suppose 0 = -2*d + 4*m + 1944, 2*m = o*d - 4*d + 1926. Does 42 divide d?
True
Let j = -655 + 1090. Suppose 0 = 5*z - 3*y - j, -345 = -4*z + 3*y - 0*y. Does 6 divide z?
True
Let s(x) = -8 + 22 - x + 8. Let u(n) = -n + 1. Let m(r) = s(r) - 5*u(r). Is m(-3) a multiple of 5?
True
Suppose -5*x + 12891 = a - 2*a, 2*x + a = 5148. Does 19 divide x?
False
Let k = -54 - -56. Suppose b = k*a + 3 + 7, 4*b - 16 = 2*a. Suppose 196 = b*f + 12. Is f a multiple of 9?
False
Let q = 39967 + -23299. Does 19 divide q?
False
Let l(p) = -p - 8. Let m be l(-12). Suppose m*z + 4*i = -20, -z + 3*i - 5*i = 0. Is 36/z*560/(-12) a multiple of 18?
False
Let r = 923 + 76. Suppose -14*w + 6109 = r. Is w a multiple of 27?
False
Suppose -7*f - 5177 = -865. Let c = f - -2416. Does 15 divide c?
True
Let h = 170 - 178. Is h/((27/30)/(-9)) a multiple of 5?
True
Is 12 a factor of (-106)/26*-2364 - 7/(-182)*4?
False
Suppose 0 = -2*g + 4*h - 5*h - 271, -2*h + 138 = -g. Let b be (3 - 2)/((-2)/g). Suppose v + 4*l - b = 0, -372 = -3*v - 2*v - 4*l. Is 19 a factor of v?
True
Does 5 divide 402/(-9)*(-4 + (0 - -1))?
False
Suppose -x + 3385 = -920. Is x a multiple of 47?
False
Let d(j) = -25 - 4*j + 89 + 2*j + 3*j. Is d(-4) a multiple of 20?
True
Let m = 4074 + -971. Does 58 divide m?
False
Suppose -5*c + 15 = 0, 0 = 4*g - 6*c - 21822 - 15456. Does 259 divide g?
True
Suppose -47 + 389 = 6*u. Suppose 4*h - u = -33. Does 39 divide (-89)/(-1)*(-3 + h)?
False
Let u = -66 + 61. Let y(m) = 12*m - 26. Let a be y(u). Let d = -60 - a. Is 11 a factor of d?
False
Does 77 divide (6 + 4/(-2) + -8528)*27/(-108)?
False
Suppose -2*p + 148*r + 19212 = 150*r, 4*p = r + 38394. Is 16 a factor of p?
True
Is 14 a factor of (-4016807)/(-422) - 3/(-2)?
True
Suppose -564 = -18*h + 2082. Let c = h + 214. Does 53 divide c?
False
Suppose -8 = 9*m - 13*m. Suppose 4*d = 5*x - 742 - 2166, -m = d. Is x a multiple of 20?
True
Let j = 175 + -170. Suppose -3*x + 5*x = 2*m + 794, 0 = -j*x + 3*m + 1983. Is x a multiple of 66?
True
Suppose 2*t = -k + 11498, -t + k + 1486 = -4266. Is 23 a factor of t?
True
Let r(f) = -f**3 + 111*f**2 + 125*f + 897. Does 13 divide r(112)?
True
Does 3 divide (6 + -3)*3772/345*35/2?
False
Let d(a) = 86*a**3 - 3*a**2 - 9*a + 62. Is 27 a factor of d(5)?
True
Suppose -3*f + 219 = -201. Let m = 156 - f. Is 2 a factor of m?
True
Let t be (2/3*-219)/(-2). Let l = -1 + t. Let s = l - 49. Is 16 a factor of s?
False
Let y(t) = -73*t + 3. Let k be y(0). Suppose 2*r - 3*r = -273. Suppose r = k*c - 111. Is 16 a factor of c?
True
Suppose 2*p + 5*u = 1491, -7*u = p - 8*u - 735. Let b = p - 384. Is b a multiple of 13?
False
Let r 