6 = -3*j, i = 2*i - 3*j + 1. Does 3 divide i?
False
Let t = 20 + -12. Suppose 2*l = -2*l + t. Does 2 divide l?
True
Let i(m) = m**3 - 2*m**2 - 22*m + 1. Is 23 a factor of i(7)?
True
Let x(h) be the second derivative of -71*h**5/20 + h**4/12 + 5*h. Is 18 a factor of x(-1)?
True
Let l be -17*2/((-6)/21). Let s = 202 - l. Suppose -s - 5 = -4*o. Is 9 a factor of o?
False
Suppose 4*o - 16 = 2*o. Let a = 8 - o. Suppose -5*r = 2*t - 28, a = 2*r - 4*t + 8 - 0. Is 3 a factor of r?
False
Let x = -12 - -18. Let c = -6 - -8. Let k = x + c. Does 4 divide k?
True
Suppose -4*c - c + 10 = 0. Suppose -2*g + c*i + 4 + 24 = 0, -4*g = i - 56. Is 6 a factor of g?
False
Let q(r) = -r**2 - 11*r + 12. Suppose 0*g + 22 = -2*g. Does 3 divide q(g)?
True
Let w = -1 - 5. Is 4/6 - 56/w a multiple of 7?
False
Let j(d) = d - 4*d + 4*d - 13. Let b be j(0). Let r = -8 - b. Is r a multiple of 3?
False
Is 19 a factor of (-4 - -7) + (0 - -59)?
False
Let d(f) = -f**2 - 1. Let u be 4*(3/(-6))/(-1). Let n(x) = -3*x**2 - 6*x. Let t(y) = u*d(y) - n(y). Is t(4) a multiple of 13?
False
Let x(g) = 2*g**2 + 4*g - 5. Let w(s) = s**2 + 3*s - 5. Let h(o) = 3*w(o) - 2*x(o). Let r be h(0). Let t = r + 8. Does 3 divide t?
True
Let v = 29 - 1. Let m = 2 + v. Is 15 a factor of m?
True
Suppose -140 = -6*f - 56. Is f a multiple of 14?
True
Suppose 0 = 8*p - 3*p + 5. Is p*(-1 + 2)*-11 a multiple of 11?
True
Suppose -85 = -q + 14. Does 24 divide q?
False
Suppose -5*z + 4*f + 9 = -15, -5*z = 5*f - 15. Suppose 0*o = -z*o. Is 4 a factor of ((-2)/(-2) - o)*4?
True
Let b(y) = y**3 + 4*y**2 + 3*y + 2. Let u = -1 + -2. Let s be b(u). Is (4/4)/(s/44) a multiple of 11?
True
Suppose 4*r = -2*r + 168. Does 28 divide r?
True
Suppose 0 = -s + 5*s - 2*p + 24, -3*s - 4*p = 29. Let g(v) = v + 1 - 11*v**2 + 1 + 4*v**2 - v**3 - 3*v. Is g(s) a multiple of 16?
True
Let b = 12 - 7. Suppose 0 = 4*w + 2*a + 3*a - 37, 5*w - b*a - 80 = 0. Is 9 a factor of w?
False
Let k be -1 - (13 - (-2 + 6)). Does 4 divide (-11 - k)/(1/(-8))?
True
Suppose 4 = i - 8. Does 12 divide ((-7)/((-7)/i))/1?
True
Is 14 a factor of 1 + -3 - 174/(-6)?
False
Let r be 106 + -1 - 0/1. Suppose 2*b - 6 = 2. Suppose b*h + h = r. Is h a multiple of 9?
False
Suppose -4*j = -2 + 10. Let t(n) = -2*n + 1. Let p be t(j). Let z = 6 + p. Does 11 divide z?
True
Is (1/2)/((-3)/(-102)) a multiple of 17?
True
Suppose -5*u + 244 = -6. Suppose u = -3*g + 5*g. Does 12 divide g?
False
Suppose 0 = -c + 4*c. Does 4 divide 3/((-9)/(-48) - c)?
True
Is 20 a factor of (-40)/(-260) - 1504/(-26)?
False
Suppose 5*c + 6 = 16, -r + 4*c = -54. Does 11 divide r?
False
Let x(i) = i**2 + 6*i + 3. Let k be x(6). Suppose y = 6*y - k. Let p = 3 + y. Is 9 a factor of p?
True
Let n(s) = -s**2 + 136. Is 34 a factor of n(0)?
True
Suppose 2*q - o + 3*o = 4, 5*q + 2*o - 16 = 0. Let b = q - -1. Suppose 5 = 5*r + b*c, 4*r + 0*c + c = 19. Is r a multiple of 3?
True
Suppose -2*y + 6 = -20. Is (4 - 2)/(2/y) a multiple of 12?
False
Suppose -2*p = -0*p + 8, p = -4*h + 164. Does 7 divide h?
True
Suppose 2*c = 7*c - 4*p + 125, 141 = -4*c - 5*p. Let m = -14 - c. Does 15 divide m?
True
Let x(y) = -y**3 + 3*y - 3. Let j be (-3)/(-9)*(-9 + 0). Is x(j) a multiple of 9?
False
Let h = 76 - 43. Does 10 divide h?
False
Let q(j) = -16*j**2 + 40*j + 6. Let o(b) = -3*b**2 + 8*b + 1. Let p(x) = 11*o(x) - 2*q(x). Suppose -i - 4*k = -6, -4*i + 5*k - 6 = -5*i. Is 4 a factor of p(i)?
False
Suppose -234 = -4*g - 5*o, -4*g - 3*o + 358 = 120. Is 14 a factor of g?
False
Let c be (-12)/(-7)*42/(-4). Let u = 31 + c. Is 6 a factor of u?
False
Suppose l = -2*l + 30. Is 32/10 + (-2)/l a multiple of 2?
False
Let d(k) = -k**2 + 13*k + 20. Let v be d(14). Suppose 210 = v*g - g. Is 14 a factor of g?
True
Let a(c) = c**2 - 13*c + 14. Let u be a(12). Suppose -d - u*d = -3*k + 18, 3*k + 3*d = 18. Is k even?
True
Let s(o) = 40*o**2 + o. Suppose 0 = -3*x + 5*h, 3*h = x + 2*x. Suppose x + 3 = 3*n. Is 14 a factor of s(n)?
False
Let n(i) = 4*i**2 + 0*i - 5*i + 5*i**2 - i**3. Is 24 a factor of n(8)?
True
Suppose -4*r + 12 = -24. Is r a multiple of 8?
False
Suppose -87 - 1071 = -6*w. Does 11 divide w?
False
Let v be (-1 + 0 - -2)*18. Is 7 a factor of (6/(-4))/(v/(-84))?
True
Does 8 divide (3 + 1110/(-8))/(15/(-40))?
False
Let k be ((-51)/4)/(3/(-12)). Suppose 0*j = -j + k. Does 17 divide j?
True
Suppose 0 = -3*z + 254 - 44. Does 14 divide z?
True
Let j(o) = -o**3 - 3*o**2 - 5*o - 3. Let b be j(-3). Is (-1 - -5)*66/b a multiple of 22?
True
Does 13 divide (-1296)/(-14) - 32/56?
False
Suppose 5*g = z - 28, 4*g + 2*z - 1 + 15 = 0. Let d = -2 - g. Suppose d*r = 2*v - 39, 2*v + 2*v - r = 53. Does 12 divide v?
True
Let v be 2/(((-3)/(-1))/6). Suppose 5*a = v*h + 295, 0 = -2*a + h + 2*h + 111. Suppose 2*i + 11 = a. Does 13 divide i?
True
Let n(a) = a - 7. Let h be n(5). Let u = h - -6. Is u a multiple of 2?
True
Let r = -4 + 8. Suppose 11 = s + 2*l - 16, -3*s - 4*l = -79. Suppose -r*f - f = -s. Does 5 divide f?
True
Let r be ((-28)/(-6))/((-6)/(-9)). Let v(n) = 4*n**2 - 4*n + 2. Let t be v(r). Suppose -t = -3*m - 2*m. Is 17 a factor of m?
True
Let l(j) be the second derivative of j**5/20 + j**4/12 + j**3/6 + 45*j**2 + 3*j. Is l(0) a multiple of 30?
True
Does 12 divide 9/15 + (-57)/(-5)?
True
Suppose 167 = 5*o + u, -4*o + u + 64 = -2*o. Does 30 divide o?
False
Let u = -110 + 260. Is u a multiple of 10?
True
Suppose 3*n = -9, 2*f + 3*n = -n + 4. Let m = 13 - f. Suppose 2*y - m*y + g + 22 = 0, -y = -2*g - 9. Is 5 a factor of y?
False
Let b = -37 - -85. Is 16 a factor of b?
True
Let v(d) = 2*d**2 + 6*d + 32. Does 8 divide v(-8)?
True
Let i(g) = 0*g**2 - 3*g**2 - 2*g**2 - 10 - 13*g + 4*g**2. Does 8 divide i(-9)?
False
Suppose 173 = 5*b + 5*y - 27, 2*y = -4*b + 158. Does 5 divide b?
False
Let w(x) = 3*x**3 - 4*x**2 - 3. Let f be 0*(4 + -2)/2. Let r be 10/5 - (-1 + f). Is w(r) a multiple of 19?
False
Suppose 0 = 4*o - 10 + 2. Does 6 divide o/10 - 118/(-10)?
True
Let j be 3/9 - 5/(-3). Let h(s) = s**2 - 3 + j + 2. Does 4 divide h(2)?
False
Let b(w) = w**3 + 3*w**2 - 5*w - 3. Let g be b(-3). Let p(v) = v**2 - 12*v + 6. Let n be p(g). Let u(l) = l + 2. Is 3 a factor of u(n)?
False
Let m(h) = -h**2 - 10*h - 2. Is 14 a factor of m(-8)?
True
Let f = -1 - -2. Let k(i) = 0 + 2 - f + 2*i. Does 7 divide k(5)?
False
Let d(q) = 225*q**2 + q - 2. Let w be d(2). Is 2/3 + w/27 a multiple of 12?
False
Let u be (2/(-5))/((-1)/(-15)). Does 3 divide (u/(-18))/((-1)/(-39))?
False
Let g(y) = y**2 - 3*y - 2. Suppose 3*v + 15 = -w - 2*w, v = -3*w - 1. Let d(b) = 4*b**2 - 10*b - 6. Let x(i) = v*g(i) + 2*d(i). Does 12 divide x(-6)?
False
Let i = 137 + -98. Does 13 divide i?
True
Let g be (-3)/6 + (-54)/4. Let w = 46 + g. Is w a multiple of 8?
True
Suppose 4*c = -33 + 1. Suppose -5*p + 37 = -2*n - 13, 0 = 2*p. Let b = c - n. Is 17 a factor of b?
True
Let j(u) = 2*u**2 - 5*u + 4. Let c be j(5). Suppose 0*x - 3*i = -x + c, -5*x - 4*i = -88. Is x a multiple of 10?
True
Let i = 60 - 37. Let t = -12 + 21. Let p = i - t. Is p a multiple of 7?
True
Suppose 0 = -p - 2*i + 19, p + 5*i - 15 + 5 = 0. Suppose a = -4*a + p. Suppose 5*x - 123 = -4*h, 0 = h - 6*h - a*x + 150. Is 17 a factor of h?
False
Let m = -34 + 56. Is 12 a factor of m?
False
Let q = 32 + -38. Let y be 5*-3 + 2/1. Let c = q - y. Is 2 a factor of c?
False
Let w(r) = -r**2 - 4*r + 5. Let t be w(-4). Suppose -p + 0*p = -54. Suppose t*g - p = 21. Is g a multiple of 9?
False
Let u = -70 + 124. Is u a multiple of 18?
True
Let u = -13 + 6. Let o = u + 10. Does 3 divide o?
True
Let b be 3*28/12*-1. Suppose j + 40 = 3*j + 4*i, 4 = i. Let d = j + b. Does 5 divide d?
True
Let f(p) = 4*p - 4. Let k be f(4). Let c = 31 - k. Is 15 a factor of c?
False
Let g(r) = 13*r**2 - 2*r + 1. Let y be g(-3). Suppose -2*m = 2*m - y. Does 20 divide m?
False
Let q(g) = g**3 + 7*g**2 - 9*g - 4. Let h = -7 - 1. Let l be q(h). Suppose 0 = -2*a - l*d + 30, -2*a - 2*a + 3*d + 27 = 0. Is a a multiple of 9?
True
Let y be (-38)/(-8) - (-4)/16. Suppose p + b = -3*b - 48, b = -y. Let v = -18 - p. Is v a multiple of 4?
False
Let m(u) = -133*u - 3. Does 22 divide m(-1)?
False
Does 69 divide 2313/15 - 5/25?
False
Suppose 3*a - 5*d + 3*d - 497 = 0, 0 = -4*a - 4*d + 696. Is 13 a factor of a?
True
Let s = 49 + -25. Let n = 46 - s. Is 11 a factor of n?
True
Let v = 1 