k) = k**3 + 12*k**2 + 8*k + 9. Suppose 6*a - 20 = 10*a. Is 7 a factor of t(a)?
False
Let a(o) = -o**2 - 7*o + 7. Let z be a(-7). Let h be (-8 - -4)/1 + z. Suppose 172 = h*b - 101. Does 24 divide b?
False
Is 78 a factor of (-1518368)/(-34) + ((-101)/(-10302))/(2/24)?
False
Let t be 1 - (0 - -4) - (-18 + -27). Let n = t - 36. Suppose -n*a = -5*a - 105. Does 35 divide a?
True
Suppose -2*m + 112 + 12 = 0. Let j = 61 - m. Let l(r) = -40*r - 8. Is 21 a factor of l(j)?
False
Let u be 3/2*(-20)/(-15). Suppose 172 = 4*y + u*c - 534, -y = -c - 172. Is y a multiple of 7?
True
Suppose 5*r = 4*b - 2986, 2*b + 409 = -2*r + 1929. Is 26 a factor of b?
True
Does 4 divide ((-39992)/(-5) - -28) + (-4)/10?
False
Is 32726 + 2 - (-347 + 367) a multiple of 320?
False
Let p(d) be the third derivative of -d**5/60 - 3*d**4/4 + d**3/6 + 73*d**2. Is p(-16) a multiple of 11?
True
Let z(k) = k**3 + k**2 - k - 2. Let y = 24 + -22. Let b be (1/y)/(((-10)/12)/(-5)). Is z(b) a multiple of 21?
False
Suppose -24*w + 9054 = -6*w + 3*m, -2*w + 1006 = 3*m. Does 20 divide w?
False
Suppose 3220*f - 3186*f = 994704. Does 53 divide f?
True
Suppose 3*i - 2*o + 948 = 0, -2*i + 0*o + 2*o - 634 = 0. Let k = 170 - 325. Let a = k - i. Is a a multiple of 27?
False
Let t(z) = 2165*z + 1 - 1087*z - 1082*z - 245*z**3 - 5*z**2. Is 7 a factor of t(-1)?
True
Let c(l) = -7*l + 123. Let m be c(16). Suppose -23*k + 4992 = -m*k. Is k a multiple of 32?
True
Let c = 200 + -201. Is c/(-3 - 5095/(-1700)) a multiple of 34?
True
Let j be 49/(4/(-6)*(-42)/28). Suppose -l = 31 + j. Let z = l - -114. Is z a multiple of 3?
False
Let y(u) = -u**2 + 2*u + 13. Let d be y(4). Is 84 a factor of (-260)/(-8)*(112/d)/4?
False
Let d(r) be the third derivative of r**6/360 + r**5/12 - 2*r**4/3 - 13*r**3/6 + 37*r**2. Let c(s) be the first derivative of d(s). Does 11 divide c(7)?
False
Let r(a) be the first derivative of a**4/4 + 5*a**3/3 + 4*a**2 + 3*a - 24. Let l be r(-3). Is 17 a factor of (-205)/(-3) + 1/l?
True
Suppose 3*w - 36*a - 75565 = -40*a, -5*w + 126035 = -5*a. Is 230 a factor of w?
False
Is 59 a factor of 92722/4 + (-1455)/(-582)?
False
Suppose 1305 = 3*m - l, -3*l = 3*m - 2*l - 1311. Let j = m + -276. Does 16 divide j?
True
Suppose -60*k = -2*n - 65*k + 78, 4*n - 174 = -k. Does 4 divide n?
True
Let w(q) = 7*q - 1. Let f be w(-9). Let o = f + 66. Suppose -4*m + 264 = o*z - 0*m, 4*z + 5*m = 534. Does 47 divide z?
False
Let p = -101 - 137. Let k = -116 - p. Is k a multiple of 6?
False
Let a(c) = 12*c**2 + 5*c - 20. Suppose -18 - 30 = 6*f. Is 10 a factor of a(f)?
False
Let a(g) = g**3 - 25*g**2 - 26*g + 4. Let m be a(26). Suppose -4*h + 972 = 6*k - m*k, -5*h - 4*k = -1221. Does 25 divide h?
False
Let u = 151 + -31. Let d = -958 + 1508. Suppose -3*y + 4*k + 427 - u = 0, -5*y = k - d. Is y a multiple of 6?
False
Is 174 a factor of (-10)/(-55) + (301436/44 - 3)?
False
Let u = 3892 - 3080. Is 4 a factor of u?
True
Let i be 57/133 - (-48)/(-14). Let c = i - -115. Is 8 a factor of c?
True
Let y be (4/5)/(1 + (-24)/30). Suppose -y*c = -6*c + 522. Is c a multiple of 17?
False
Let c(a) = a**2 - 6*a. Let o be c(7). Suppose d + 12 = o*d. Is 30 a factor of (2 + d + -18)*(-81)/6?
False
Let y = 37 + -39. Let r be (0*(-1)/(-2))/y. Is 1 - 60/(-4) - (1 + r) a multiple of 15?
True
Suppose 144*g - 129*g - 10905 = 0. Is 2 a factor of g?
False
Let s(q) = 422*q**2 - 4*q - 2. Let c be s(-1). Let z be c/14 + (-22)/77. Is z/3*4/8 a multiple of 4?
False
Let r = 24917 + -14390. Does 29 divide r?
True
Let l(j) = -5*j + 28. Suppose 4*s + 10 = -5*h, -1 = -3*s - h - 3. Suppose -o = -4*m - 20, 3*o + s*m - 20 = 2*m. Is 2 a factor of l(o)?
True
Suppose -3*w = -5*w + 3*k + 1, k - 3 = -w. Let g be (-28)/(2/(-4)*w). Suppose 4*r - 16 = -4*j, 3*r + j - 2*j = g. Is 6 a factor of r?
False
Let q be (-2 - -4) + (-1 - -4) + 22. Let l = 128 - q. Suppose -j + l = -3*f, 0 = 2*j - j + 2*f - 81. Is j a multiple of 15?
False
Suppose 1389*l = 1369*l + 550620. Is 22 a factor of l?
False
Let w(s) = 20*s**3 + s**2 + 7*s. Let l be w(3). Suppose 2 = -b + l. Is b a multiple of 39?
False
Let k = 18393 + -12210. Is k a multiple of 24?
False
Is ((-5892)/(-30)*1)/(13/65) a multiple of 183?
False
Let b(n) = 4*n - 8. Let o be b(4). Suppose -o*x = -4*x. Suppose -180 = -s + 4*g, x = 2*s + 3*g + 45 - 350. Is 10 a factor of s?
True
Let v(k) = k**3 + 14*k**2 - 3*k - 21. Let l be v(-12). Let b = l + -42. Is 29 a factor of b?
True
Suppose 0*a + 32*a = 9984. Does 4 divide a?
True
Suppose -7059*l + 7066*l = 8827. Does 154 divide l?
False
Let h(a) = 12*a**2 - 430*a - 34. Does 12 divide h(53)?
True
Let g(i) = i**3 + 11*i**2 - 4*i + 2. Let u be (2/(-9))/1 + (-2626)/(-234). Suppose -34*t = -33*t + u. Does 8 divide g(t)?
False
Suppose 4536 = 32*s + 10*s. Is s*(8 - (-120)/(-16)) a multiple of 9?
True
Let y(n) = -2*n**3 - 5*n**2 - 4*n. Let x be y(-2). Suppose -5*p + 613 = -2*m, -x*p + 3*p = -2*m - 121. Is p a multiple of 4?
False
Does 16 divide (2/5)/(32/681680)?
False
Suppose -3*c + 5*y = -17446, 2*y + 10636 = 2*c - 996. Does 7 divide c?
True
Let x = 14993 + -12557. Is 58 a factor of x?
True
Let k = -536 + 5374. Does 82 divide k?
True
Let t be (-256)/(-6)*(0 + (-6)/(-4)). Suppose x = 2*x - t. Suppose 43 = 2*r - 3*y, -5*y + 25 = -r + x. Is r a multiple of 11?
False
Let l(f) = 136*f + 31. Let m be l(7). Suppose 5*v + a = 939, 0 = -5*v - 3*a - 46 + m. Does 28 divide v?
False
Let o(i) = 1884*i - 216. Is 151 a factor of o(3)?
True
Let q(i) = -i**2 - 20*i + 146. Let l be q(-23). Let k = l + 236. Is k a multiple of 10?
False
Suppose -95*p = -2*r - 94*p + 36727, -36734 = -2*r + 2*p. Is 40 a factor of r?
True
Suppose -27264 + 25959 = -17*k + 138265. Is k a multiple of 47?
False
Let n = 96 + -111. Let b be -4 + (-99)/n + (-2)/(-5). Suppose 4*a = 5*r + b*a - 782, -4*a + 772 = 5*r. Is r a multiple of 13?
True
Suppose 0 = 4*x - 29 - 23. Let r be 14/(-4)*(-101 - x). Suppose -7*q = -231 - r. Is 16 a factor of q?
False
Let b(c) = -75*c + 11. Let g be b(3). Let w = 54 - g. Suppose -w = -5*o + o + 4*s, -2*o + 4*s = -142. Is 9 a factor of o?
True
Let n = 14935 - 13075. Is n a multiple of 60?
True
Let d(c) = -469*c**3 + c**2 - 4*c - 4. Let u be d(-1). Let g = 774 - u. Does 24 divide g?
False
Suppose -2*k + 333*j = 335*j - 13948, -4*k - 2*j = -27910. Is 6 a factor of k?
False
Let o be (-3)/2 + (-39)/(-2). Suppose -o*t = -14*t + 12. Is 7 a factor of (-255)/t + (0 + -2 - -1)?
True
Let s be 4/4 + (16 - -1). Is 9 a factor of (s/(-4))/((-35)/140)?
True
Let z = 72828 - 44914. Is 29 a factor of z?
False
Suppose -33*u + 18 = 3*l - 36*u, 5*u = -2*l - 2. Suppose -l*k + 31*w = 35*w - 800, 3*k = 3*w + 618. Is 5 a factor of k?
False
Suppose -102*j + 2266708 = 16894. Is 5 a factor of j?
False
Suppose 16*a - 25*a - 36 = 0. Let f(z) = -4*z**3 + 2*z**2 + 2*z + 8. Does 18 divide f(a)?
True
Suppose 0 = -67*r + 124*r - 254562. Does 11 divide r?
True
Suppose 7*h - 18144 = -4816. Is 17 a factor of h?
True
Let y(j) = -j**3 + 2*j**2 - 2*j + 7. Let x be y(2). Suppose 5*m - 242 = -c, -x*m + 4 = -11. Does 7 divide c?
True
Let d = 5268 + -1938. Is 155 a factor of d?
False
Let f(r) = -707*r + 7434. Does 62 divide f(-30)?
True
Let h(z) be the first derivative of z**3/3 - 3*z**2 + 4*z + 3. Let f be h(6). Does 19 divide (f + (-66)/15)*-95?
True
Let j = -51 + 16. Let q = -30 - j. Suppose q*y = 4*a - 0*a - 111, -108 = -4*a + 4*y. Is a a multiple of 6?
True
Let o = 307 + -143. Suppose -g + o = 3*g. Let d = g + -17. Is d a multiple of 24?
True
Is ((-1512)/(-60))/((-21432)/(-3570) - (3 - -3)) a multiple of 49?
True
Let x be 6/(-4)*((1 - 5) + 90). Let r = x - -231. Is r/30*10/(-4)*-16 a multiple of 13?
False
Let v(x) = 18*x - 45. Let i(j) = j**2 + 2*j - 8. Let n be i(3). Is 27 a factor of v(n)?
True
Suppose -2*i = -6*i + 16. Suppose 4*f = -r - 0*r - i, 12 = -3*r. Suppose -2*p + p = -h + 21, f = -2*h - p + 42. Is h a multiple of 21?
True
Suppose 6*c - 17240 - 1624 = 0. Let h = -2055 + c. Does 20 divide h?
False
Let n(g) = 68*g**2 - 10*g - 78. Is 21 a factor of n(12)?
False
Suppose 5*m - 124 = 3*m + 2*x, 4 = -2*x. Suppose -m*g + 1920 = -57*g. Does 16 divide g?
True
Let x be ((0 - 7) + 8)*-405. Let b = x + 461. Is 7 a factor of b?
True
Suppose b - 3*b = -h - 55, -101 = 2*h + 5*b. Let q = h + 62. Suppose -20 = -f - q. Is 11 a factor of f?
True
Supp