tiple of 33?
False
Let m(u) = 12317*u**2 + 53*u - 53. Is m(1) a multiple of 116?
False
Let c(r) = r**2 - 23*r + 3488. Does 8 divide c(0)?
True
Does 11 divide 6/(-7) + 281736/441?
True
Let w(r) = -r**3 + 2*r**2 + 2*r. Let y be w(-2). Suppose 2*f - y*f = -20. Suppose f*k - 49 = -7. Is k a multiple of 6?
False
Let m(c) = 59*c**2 - 18*c - 71. Is m(-4) a multiple of 13?
False
Let z(h) = -h**2 - 7*h - 5. Let b be z(-5). Suppose -4*u + b*m + 14 = -2*u, -m - 6 = -2*u. Does 36 divide u + ((-567)/(-3))/((-6)/(-4))?
False
Let u(j) = -j**3 - 30*j**2 - 115*j - 94. Is 8 a factor of u(-27)?
True
Let c(i) be the second derivative of -12*i**2 + 2/3*i**3 + 5/12*i**4 - 17*i + 0. Is 55 a factor of c(6)?
False
Suppose 4*v + 28 = w, -5*w - v + 149 + 96 = 0. Let d = 5 + w. Is 32 a factor of d/(-1 + (-20)/(-16))?
False
Suppose -9*a + 4*a - 245 = 0. Let o = a + 51. Suppose -3*j = -t - 58, 82 = j + 4*j + o*t. Does 2 divide j?
True
Suppose -28*y = -33*y - 3*s + 148, 2*y - 53 = 5*s. Let u be (9 - 1)*6/4. Let t = y - u. Is t a multiple of 17?
True
Suppose 280945 = 52*x + 76842 - 216369. Is 13 a factor of x?
True
Suppose 3*d - 4644 = -b, -2*d - 67*b + 69*b = -3080. Is d a multiple of 18?
False
Let d(c) = 2*c**3 - c**2 + 3*c - 2. Suppose 0 = -7*v + 2*v + 5. Let q be d(v). Does 13 divide 948/6 + -1 + q?
False
Let u(s) = -s**3 - 9*s**2 - 8*s + 9. Suppose -g + 185 = 4*g + k, -4*g + 2*k = -148. Let b = g - 45. Is 9 a factor of u(b)?
True
Suppose -793 = 8*m - 105. Let l = m + 716. Is 42 a factor of l?
True
Let s(n) = -11*n + 221. Let d be s(27). Is 15 a factor of d/(-114) - (-1994)/6?
False
Let m(z) = z**3 + 16*z**2 - 36*z + 16. Let l be m(-18). Suppose -l = 18*k - 22*k. Suppose -k*n + 6 = 2*u - 0*n, -5*u + 5*n + 60 = 0. Is 3 a factor of u?
True
Let h be 1 + -2 - (-40)/30*21. Suppose h*m - 17214 = 26904. Is m a multiple of 19?
True
Suppose 4*i + 20 = 0, n - 3*n - i = 1. Suppose -n*d - 35 + 105 = 0. Suppose -h + d = -0. Is 26 a factor of h?
False
Let y(i) = 7*i + 6. Let f(p) = 4*p. Let m(s) = -2*f(s) + y(s). Is 27 a factor of m(-37)?
False
Let x be ((-3)/(-6))/(1/358). Let v be (-22 - x)/(1/(1*2)). Let y = -234 - v. Does 28 divide y?
True
Let q(g) = -10 - 3*g + 0*g + g + 28. Let m be q(10). Does 10 divide (40 + -20)/(m/(-5))?
True
Let a be ((-32)/(-24))/((-2)/(-3)). Let p(i) = -31 + a*i + 0*i + 4 + 2*i. Is p(12) a multiple of 4?
False
Let t = -3922 + 5428. Does 11 divide t?
False
Let v(a) = -23*a**3 - 26*a**2 - 92*a + 13. Does 28 divide v(-4)?
False
Suppose -11*i + 2*i + 214588 = 13*i. Is 53 a factor of i?
False
Suppose -160*k + 3123319 = 136*k - 12721561. Is 110 a factor of k?
False
Let u be (-49)/(-12) - (-14)/(-168). Is (-10980)/24*u/(-6) a multiple of 72?
False
Suppose -4*a + 0*a - 5*y = 9, -45 = -5*a + 5*y. Let j be 5/(-3)*(660/(-50))/11. Suppose -156 = a*f + 5*o - 720, -3*o = -j*f + 282. Is f a multiple of 37?
False
Let p = 5257 - 4619. Suppose 3*a + 2*i - 13 = -1, 9 = 2*a + i. Suppose -p = a*x - 17*x. Is 29 a factor of x?
True
Suppose 15*q - 18*q = -2*t - 107661, -2*q + 4*t = -71766. Is 63 a factor of q?
False
Let s be 2/7 + 1608/(-42). Let q = -34 - s. Suppose 2*k - q*k = -248. Is 31 a factor of k?
True
Let i be -3*(6 - 5) + 156. Suppose 8*y = -i + 2081. Is y a multiple of 31?
False
Let n(p) be the second derivative of p**5/20 - p**4/6 + p**3/3 + 75*p**2 - 9*p. Let b be n(0). Suppose -7*o + 9*o = b. Does 25 divide o?
True
Let m be (-4)/5*(30 + -35). Does 6 divide m + -4 + 56 + -1 + -2?
False
Is (-61)/(-21) + ((-410)/105 - -4) - -43274 a multiple of 20?
False
Let b(s) be the third derivative of -3*s**4 + 19*s**3/3 - 60*s**2. Is b(-9) a multiple of 71?
False
Suppose 25*j = -31*j + 150416. Is j a multiple of 17?
True
Suppose -3*d - 5*l = 725, -5*d - 861 - 326 = 3*l. Let i = d + 244. Is 4 a factor of i?
False
Let r = -79 - -82. Suppose 0 = 4*n - 12, -4*h + r*n = -3*h - 358. Let t = h + -223. Is 18 a factor of t?
True
Suppose 3*t = -8*t + 22. Let k be (2 - (0 + t)) + 0. Is (4 - (k + 5))*-240 a multiple of 10?
True
Let t(z) be the third derivative of -z**5/60 - 19*z**4/12 - 10*z**3/3 + 2*z**2 - 43. Is 11 a factor of t(-30)?
True
Suppose -32*m - 241633 = -131*m + 5768. Does 6 divide m?
False
Suppose -2*c + 3*t - 125 = 381, -2*t - 8 = 0. Let i = -92 - c. Is i a multiple of 13?
False
Let w(c) = -13*c**3 - 3*c**2 + c - 12. Let v(a) = 16*a**3 + 4*a**2 - 2*a + 13. Let j(p) = 4*v(p) + 5*w(p). Let r be (6/5)/((-3)/10). Does 14 divide j(r)?
True
Let w(h) = -h**3 - 10*h**2 + 11*h + 15. Let z be w(-11). Suppose -z*f + 31*f = 2576. Does 23 divide f?
True
Let x = -239 - -307. Let p = x + 4. Is 4 a factor of p?
True
Is 6 a factor of (-130)/(-182) + (-18068)/(-28)?
False
Let j(w) = 96*w**2 + 151*w + 21. Does 10 divide j(-6)?
False
Suppose -4*r - 16 + 0 = 0. Let f(i) = -4*i**2 - 5*i - 20. Let p be f(r). Let v = 116 + p. Does 14 divide v?
False
Let d = 100 + -51. Let h = 46 - d. Is 14 a factor of (140 + -4 - (h - -3)) + 4?
True
Suppose 22*o - 10 = 20*o. Suppose 2*u = o*b - 920 + 58, -u + 874 = 5*b. Does 17 divide b?
False
Suppose -5*x + 238 = -d - 497, 5 = d. Suppose -5400 = x*j - 152*j. Is 50 a factor of j?
True
Let s(y) be the first derivative of 1/2*y**2 - 41*y + 1/4*y**4 - 16 + 14/3*y**3. Is s(-13) a multiple of 23?
True
Let f = 33 + -26. Let s(d) = 2*d**3 - 14*d**2 - 2*d + 14. Let x be s(f). Suppose 4*o - 105 = -2*y + 107, 2*o + 2*y - 110 = x. Does 26 divide o?
False
Suppose 88*s = 53*s + 13370. Let r = 257 + s. Does 52 divide r?
False
Suppose 8*x + g + 5187 = 12*x, -3*g + 2583 = 2*x. Suppose 23*f - 29*f = -x. Does 27 divide f?
True
Let c(w) = -17*w**3 - 7*w**2 - 37*w - 8. Is c(-8) a multiple of 32?
True
Let p = -498 + 641. Suppose -8*t = -p - 993. Is t a multiple of 3?
False
Is 14 a factor of -25*(-6)/((-510)/(-40477))?
False
Suppose -11*f + 24 = -5*f. Suppose -16 = f*n - 0*n. Let a = n - -56. Does 26 divide a?
True
Let c = 3134 - -2637. Is c a multiple of 29?
True
Let c = -553 - -201. Let b = c - -556. Is b a multiple of 17?
True
Let f be (-3)/9*(6 - -69). Let y be (f/1)/(5/(-25)). Suppose -y = -5*c + 100. Does 9 divide c?
True
Suppose -85*w + 63479 + 74731 = 0. Is w a multiple of 8?
False
Suppose -20*z + 4344 = -14*z. Let p = 1068 - z. Is 17 a factor of p?
False
Let j(c) = -3*c**3 + c**2 + 10*c - 99. Does 27 divide j(-9)?
True
Suppose 11*g = 23*g - 96. Suppose 6*v - 4 = g*v, -j + 100 = v. Is 2 a factor of j?
True
Let w be 49/28 - (-54)/24. Suppose -3*l = 12, -5*i - w*l + 721 = -1163. Is i a multiple of 5?
True
Let y(t) = -t - 18. Let a be y(0). Suppose r + 0*r = 198. Does 40 divide ((-114)/a + -5)/(1/r)?
False
Let s be -1 - (-3)/1 - 2 - 1. Let x be 2/(2 + s) + 92/1. Suppose 92*a = x*a - 96. Is 8 a factor of a?
True
Let t(w) = 4*w**3 - 4*w**2 - 7*w - 2. Let p(o) = 2*o + 4. Suppose -d = d. Let b be p(d). Does 18 divide t(b)?
True
Let x = 10285 + -4589. Is x a multiple of 64?
True
Suppose 0 = -7*h + 648 + 52. Is (h - 1) + (-6 - (0 - 4)) a multiple of 13?
False
Suppose 0 = -8*i - 58 + 554. Let s = -34 + i. Suppose -29*g + s*g + 218 = 0. Does 44 divide g?
False
Let j(w) = w**3 - 23*w**2 + 23*w - 48. Let x be j(22). Does 15 divide 492 - (4/(-5))/(x/(-65))?
False
Let r be -3 + (-4)/2 + 128. Suppose 0 = r*v - 121*v - 616. Is v a multiple of 6?
False
Let h = -663 - -631. Is (-5 - 19)/(3/h) a multiple of 32?
True
Let a be 0 - 3 - (-240)/(-3)*-1. Suppose 4*l - 447 = -3*m, 46 = l + 3*m - a. Suppose -2*v = -10*b + 6*b - l, 5*v + 3*b - 231 = 0. Is 14 a factor of v?
False
Suppose -16*f = -28*f + 732. Suppose -b + 86 = -n, 4*n = -b - 0*n + f. Does 36 divide b?
False
Suppose -4*x + 4*c = 0, -2*x + 0 = 3*c - 20. Suppose 3*b + 26 = r, x*r - 3*b - 148 = -2*b. Does 12 divide r?
False
Let b(h) = -2 + 6*h - 13 + 2*h**2 + 26*h + 7*h - 4*h. Is b(-21) a multiple of 11?
True
Suppose 5606*p - 536943 = 5553*p. Is p a multiple of 2?
False
Let x(k) = k**2 + 3*k + 97 + 3*k**2 - 81 + 4*k**2. Is x(5) a multiple of 7?
True
Let x(i) = 96*i**2 - 20*i + 124. Is 37 a factor of x(-10)?
False
Let r be (-475)/(-20) + (3/4)/3. Suppose 235 = l - r. Is l a multiple of 37?
True
Suppose -10*r - 9*r = 33*r - 256360. Is 7 a factor of r?
False
Let t be 472/(88/(-11)) + 9. Let o = 60 - 166. Let i = t - o. Does 7 divide i?
True
Let l(i) = 4*i**2 - 132*i - 137. Is 89 a factor of l(48)?
False
Let y(p) = 78*p - 34. Let a be y(9). Let z