m. Does 17 divide m?
False
Let p be (4/4)/((-1)/(-2)). Suppose -p + 4 = k. Suppose k*w = 7*w - 95. Is w a multiple of 19?
True
Suppose 2*l - x = -7, l - 7 = -4*x + x. Does 38 divide 306 - 4 - (l + 0)?
True
Let c(p) = 7*p + 41. Does 22 divide c(0)?
False
Suppose 0 = -5*t + 5*l + 1280, -l + 1274 = 5*t - 0*l. Let m = -182 + t. Is m a multiple of 16?
False
Let u be ((-639)/(-12))/3*4. Suppose -2*p + 502 = 4*n, -p = 4*n - u - 430. Is 6 a factor of n?
False
Let x = 235 - 75. Is x a multiple of 8?
True
Let i(a) = 20*a**3 + a. Is 27 a factor of i(2)?
True
Let y(l) = -l**2 - 5*l + 4. Let o be y(-5). Let p = -4 + o. Suppose p = 3*w - 13 - 101. Is 19 a factor of w?
True
Is 11 + -22 + 1 + 438 a multiple of 4?
True
Let g(i) = 35*i + 1. Let y(f) = f**2 - 13*f - 16. Let o be y(14). Let a be o/7 + (-27)/(-21). Is 12 a factor of g(a)?
True
Suppose -3*w + 6 = -w. Is 22 a factor of 66*(w - 16/6)?
True
Is 34 a factor of 1318 - (12 + (11 - 31))?
True
Let j(g) = g - 15. Let w be j(19). Suppose 140 = 2*q - 5*v, w*v + 159 = -4*q + 439. Is q a multiple of 21?
False
Does 68 divide -3 + (1032 + 1)*2?
False
Let c = 81 - 129. Let j = c + 54. Is 3 a factor of j?
True
Let d = -144 + 147. Suppose d*l + m = 329, -2 = -4*m + 6. Does 17 divide l?
False
Suppose -3*i + i = 0. Suppose -a + 5*h = 2 - 44, -5*a - 3*h + 70 = i. Is a even?
False
Let s(r) = r**3 + 22*r**2 - 2*r - 39. Let a be s(-22). Is (88/20)/2*a a multiple of 3?
False
Does 3 divide 3 + 44 + -1 + -2?
False
Let s be (-2)/(-9) - -2*4857/27. Suppose 5*g - s = -g. Is g a multiple of 15?
True
Let p(u) = 12*u - 3. Let f be p(-7). Let y = f - -154. Is 10 a factor of y?
False
Suppose 0 = 5*z + d + 35, -2 = -d - 7. Is 5 a factor of (5/15 - 46/z)*8?
False
Let v = 9 + -13. Let a(q) = -q**3 + 2*q. Does 14 divide a(v)?
True
Let g be (-2)/4*(4 - 6). Let k be g + (3 - 3) + 11. Suppose 2*u + j - 24 = 0, -3*u = -4*u - 4*j + k. Does 4 divide u?
True
Let y(c) = -14*c + 216. Does 12 divide y(8)?
False
Let m = -22 - -25. Suppose 0*u - 2*q = 4*u - 18, -2*u + 5 = -m*q. Suppose -2*c = 4*w - 20, -5*c + w + 7 = -u*c. Is c even?
True
Let b be (-1 + (-129)/(-2))/((-6)/(-12)). Let q = b + -83. Is 12 a factor of q?
False
Suppose -7 = -3*n + 17. Suppose -n*q + 689 = -135. Is q a multiple of 21?
False
Suppose 0 = 3*j + 5*i - 339 + 68, 2*j - 190 = -i. Is 7 a factor of j?
False
Let j(a) = -a**2 - 21*a + 18. Let q be j(-15). Suppose 0*p + q = 2*p. Does 18 divide p?
True
Let w be (2/(-3)*(-21)/7)/2. Let r(p) = 139*p - 3. Is 11 a factor of r(w)?
False
Suppose -3*c + 240 = c. Let o be c/75*175/(-2). Let z = o + 148. Is 26 a factor of z?
True
Suppose -14*y + 345 + 495 = 0. Let a = y - -87. Does 6 divide a?
False
Let a = -635 + 1329. Let w = a + -214. Suppose 4*x - w = -x. Is x a multiple of 12?
True
Suppose -245 + 1805 = 20*a. Does 7 divide a?
False
Let q = 380 + 2085. Is 17 a factor of q?
True
Suppose 35*z = 1321 + 1199. Is 6 a factor of z?
True
Let y(p) = -3*p**2 - 3*p + 6. Let x(g) = -15*g**2 - 16*g + 30. Let n(w) = 2*x(w) - 11*y(w). Let z = -12 + 7. Is n(z) a multiple of 16?
True
Suppose -1 = -3*s + 2, 0 = k + 3*s - 13. Suppose -4*u + 3 = -d, 7*d - 3*d - 5*u = k. Is d a multiple of 3?
False
Let k be 2/(2 + (-7)/4). Suppose -k*p = -5*p - 15. Is -4 + -4 + p - -85 a multiple of 27?
False
Let i be (-10)/3*42/(-35). Suppose 1 - i = -h. Suppose h*o - 30 = 30. Is o a multiple of 10?
True
Let y(c) = 8*c**3 - 2*c**2 + c. Let h be y(1). Suppose 0*f + 2*j = -f + 184, 5*f - 896 = 2*j. Suppose f = h*q - q. Is 6 a factor of q?
True
Let b be (19 - 15)/((-2)/(-17)). Let r = -21 + b. Is 13 a factor of r?
True
Suppose 36*t - 9122 + 1958 = 0. Is 18 a factor of t?
False
Suppose -5*o = 43 - 18. Let w(b) = -b**3 - 2*b**2 + 5*b - 5. Is 9 a factor of w(o)?
True
Let t be (-197)/(-5) - ((-16)/10 + 2). Suppose -3*y = -v - v + 12, -5*v + 3*y + t = 0. Is 9 a factor of v?
True
Suppose -u + 17 - 4 = 0. Suppose -m = 1 - u. Is 7 a factor of m?
False
Let u = -21 - -33. Let r be (-198)/(-7) + u/(-42). Suppose -o + 2*m - 6*m + r = 0, -3*o - m + 106 = 0. Is o a multiple of 12?
True
Let w be (15/2)/((-24)/(-176)). Let i = 5 + w. Is i a multiple of 15?
True
Let v be (-9)/12 - 1/4. Let j be v/4 - (-22)/(-8). Does 3 divide (0 - (-3)/j)*-9?
True
Does 27 divide (-1)/(-4) - 23511/(-68)?
False
Let b = 69 + -9. Let i = b - 39. Does 17 divide i?
False
Let r = 472 - -158. Does 5 divide r?
True
Suppose 3924 = 509*d - 505*d. Does 16 divide d?
False
Let s(w) = w**3 + 25*w**2 - 27*w + 27. Is 2 a factor of s(-26)?
False
Suppose -6*k + 7 = -5*k. Let x = k - 3. Suppose x*j = 4*q + 116, -2*j + 122 = j + 4*q. Is j a multiple of 17?
True
Is 11454/9 - ((-22)/(-3))/11 a multiple of 58?
False
Suppose -11*c = -560 - 221. Is c a multiple of 3?
False
Let t(r) = r**2 - 9*r + 1. Let y be t(7). Let f = y - -13. Suppose l - 7 - 3 = f. Does 5 divide l?
True
Suppose u = 5*u - 20. Suppose 10 = -u*i + 30. Suppose 5*a + 0*a + z = 105, -i*z = -4*a + 84. Does 21 divide a?
True
Suppose 3*u - 28 = 2. Suppose -4*r + u = -2*r. Suppose 6*m - 70 = r*m. Does 23 divide m?
False
Let h(k) = 4*k**3 - 6*k**2 + 11*k - 7. Is 41 a factor of h(7)?
True
Suppose -26*j + 5779 = -11797. Does 52 divide j?
True
Let i(y) = 3 - 8*y**2 - y**3 - 2 - 26*y + 14*y + 22*y**2. Let t be i(11). Suppose -d = -5*s + t, -54 = -3*s + 2*s + 4*d. Does 23 divide s?
True
Let r(n) be the second derivative of -1/6*n**3 + 3/2*n**4 + 0 - 5*n - 1/2*n**2. Does 6 divide r(-1)?
True
Let z = 132 - 102. Is 3 a factor of z?
True
Let r(y) = -16*y**2 - 6*y + 5. Let w(i) = -24*i**2 - 9*i + 8. Let n(h) = -8*r(h) + 5*w(h). Is n(4) a multiple of 35?
True
Suppose -8*l - 40 = -1680. Suppose 40*z + l = 45*z. Is z a multiple of 14?
False
Suppose 0 = -5*j + 25 - 15. Let d(b) = j + b + 6 - 7 + 2. Does 4 divide d(8)?
False
Let u = -19 - -22. Suppose 0 = -2*w + u*w - 4. Suppose -243 = -w*r + 73. Is 16 a factor of r?
False
Let t(d) = 80*d - 27. Is t(3) a multiple of 11?
False
Suppose 5*i + 310 = 1895. Suppose -i = -2*f + 5*h, 2*h + 0*h = -6. Is f a multiple of 17?
False
Suppose -4 = 4*s - 3*s. Let p be 1 + -1 + (s - 0). Is 16 a factor of 12/9*(-102)/p?
False
Suppose 0 = -5*u + l + 13392, 3*u + 3*l + 4443 = 12489. Is u a multiple of 47?
True
Let f(h) be the third derivative of h**4/24 + 29*h**3/6 - 7*h**2. Let b be f(13). Suppose -b - 82 = -2*l. Is l a multiple of 15?
False
Let g(p) = 2*p**2 + 19*p - 12. Let x be g(-15). Let n = x + -34. Does 19 divide n?
False
Let b(u) = u + 3. Let h be b(2). Suppose 17 = w + h. Is w a multiple of 6?
True
Suppose 3*t = 4*t. Let k be (t + 2)/((-2)/(-14)). Is 6 a factor of (-12)/9*(-63)/k?
True
Let t(l) = l - 2. Let r be t(1). Let o = 3 + r. Suppose -4*b + 46 = o. Is b even?
False
Let h = 152 - 130. Is h a multiple of 22?
True
Let s(r) = r**3 - 4*r**2 - 11*r + 11. Is 3 a factor of s(6)?
False
Let p(m) = -28*m + 4. Let x(g) = 28*g - 5. Let u(n) = 4*p(n) + 5*x(n). Is 15 a factor of u(3)?
True
Let l = 66 + 147. Is 67 a factor of l?
False
Suppose 0 = 2*u - 557 - 73. Is u a multiple of 15?
True
Let s = 45 - 41. Suppose s*w = 2*g + 218 + 14, 3*g + 12 = 0. Is 22 a factor of w?
False
Is 9 a factor of 67 - (2 - (-4 - -2))?
True
Let m be -1*1 + (0 - -51). Let v = 82 + -38. Is (-60)/m*(-1 - v) a multiple of 27?
True
Suppose -33*u = -40*u + 882. Is u a multiple of 9?
True
Let q(i) = -4*i**3 + 3*i - 28*i**2 + 3*i**3 + 24*i**2 + 8 + 0*i**3. Does 4 divide q(-5)?
False
Let v = -1375 - -1488. Is v a multiple of 40?
False
Let t(b) = 0 + 8 - 4*b**2 - 2 - 5*b - 2 + b**3. Let l be t(4). Let q = 31 + l. Does 5 divide q?
True
Suppose 0 = -v + 153 - 41. Is v a multiple of 8?
True
Let l be (-15)/2*12/18. Let n = l - -7. Is 51 + (-3)/2*n a multiple of 16?
True
Suppose -5*a - 4*d + 6*d + 10526 = 0, 0 = -2*a + d + 4210. Is a a multiple of 54?
True
Let z(i) = -35*i - 1. Let j be z(-1). Let n be (-1)/(3/(-2)) + (-14)/21. Suppose x + 12 - j = n. Is 11 a factor of x?
True
Let z(b) = b + 33. Suppose -5*g - 97 = -3*k, 2*k + 7 = -4*g - 53. Is 16 a factor of z(g)?
True
Let a = 462 + -132. Suppose 6*v - a = -0*v. Does 29 divide v?
False
Suppose 2*c + 4*i = 1960, -319 = -2*c + 3*i + 1641. Does 70 divide c?
True
Suppose -2*k + 52 - 44 = 0. Suppose -k*u + 1024 = 208. Is 51 a factor of u?
True
Let n(u) be the second derivative of 3*u**3 - 17*u**2 - 16*u. Is n(5) a multiple of 12?
False
Let z(k) 