Let h be ((-177)/(-4))/((-3)/c). Suppose -h = -5*b + 7. Is 8 a factor of b?
False
Let r be (36/(-20))/((-3)/30). Let a(c) = 3*c + 5. Let m be a(-4). Let k = r - m. Is 8 a factor of k?
False
Let l(b) = b**3 + 4*b**2 - 9*b - 3. Let k be l(-6). Let y = 16 - k. Does 17 divide y?
False
Let s(f) = -4*f - 6. Let p be s(-2). Let m(v) = v**3 - 4*v**2 + 5*v. Let n be m(4). Suppose n = p*g - g. Does 11 divide g?
False
Suppose -5*s = 5*s - 410. Does 5 divide s?
False
Let a(g) = -g**3 + 4*g + 3. Let s be a(-2). Suppose -s*t - t = -20. Let p = 8 - t. Is 2 a factor of p?
False
Let n be 5 + (-6 + 4)*1. Suppose 0 = -o + 4*r + 52, -5*o - n*r = -0*o - 237. Does 26 divide o?
False
Let c(n) = -n**2 + 6*n + 3. Let g be c(6). Let d be g/9 - 2/(-3). Suppose 7 = r - d. Is 4 a factor of r?
True
Let u(p) = p + 8. Let g be u(-11). Is (g/6)/((-4)/144) a multiple of 4?
False
Let r = -26 + 50. Is (18/4)/(9/r) a multiple of 12?
True
Let h(s) = -s**2 - 15*s - 6. Let p be h(-7). Suppose 2*u = 4*d - 146, d = -0*d - 4*u + p. Is 19 a factor of d?
True
Let a(y) = -3*y - 6. Let m = 4 - 6. Let l(v) = 2*v**3 + 4*v**2 + 2*v. Let u be l(m). Is 6 a factor of a(u)?
True
Does 14 divide 16/(-24) + 59/3?
False
Let m = -53 - -110. Is 18 a factor of m?
False
Let a be 258/(-8) - (-42)/(-56). Let q = a + 65. Does 22 divide q?
False
Let m = 4 - 1. Suppose 140 = y + m*y. Does 21 divide y?
False
Let w = -54 - -32. Let f = 8 + w. Let k = -2 - f. Is 6 a factor of k?
True
Let s(x) = 4 - 3 + 2*x**2 - 4 + 3*x. Let o be s(-3). Let t(j) = 2*j**2 - 7*j + 4. Is 12 a factor of t(o)?
False
Suppose 19 + 1 = 4*d. Does 6 divide 4/d*(-75)/(-10)?
True
Suppose 21 = r - 2*b + 4, -108 = -4*r - 2*b. Is r a multiple of 5?
True
Let d(v) = 2*v**2 + 2*v - 2. Let l be d(1). Let r = l + 18. Is 10 a factor of r?
True
Suppose -3*w = -109 - 23. Is w a multiple of 22?
True
Let s be 1 - 17*(-3)/3. Suppose 3*j = 21 - 51. Let u = j + s. Is u a multiple of 4?
True
Let z be (-4)/(-20) - (-19)/5. Does 10 divide 2/(-12)*z*-15?
True
Let w(i) = i**2 + 7*i - 13. Let m be w(-9). Suppose -5*s + 82 = 2*j, -j + m*j - 84 = -5*s. Does 10 divide s?
False
Does 12 divide 2171/26 + 2/(-4)?
False
Let c be 26/2 - (2 - 1). Suppose -i - 3*x = c - 31, -5*i + 111 = -x. Does 17 divide i?
False
Let x(v) = -8*v - 2*v**3 + 2 + 0*v**3 - 2*v**3 + v**2 + 7*v. Does 12 divide x(-2)?
False
Does 4 divide -1 - (0 - 90/3)?
False
Let t(k) be the first derivative of 2*k**3/3 - 11*k**2/2 + 6*k - 2. Does 9 divide t(7)?
True
Suppose h = -3*g + 20, -2*g + 4 = h - 11. Suppose -16 = h*j - 4*x, -j - 3*x + 2 = -10. Suppose 4*w - 3*w - 8 = j. Is w a multiple of 3?
False
Suppose -5*j = 5*r, 0*j + 4*r - 6 = 2*j. Let s(i) = -19*i**3 + 2*i**2 + i. Let g be s(j). Does 3 divide (-20)/(-6)*36/g?
True
Let o = -1 - 6. Let i = 14 + o. Is 3 a factor of i?
False
Suppose -2*z + 7*z - 25 = 0. Let r be 42/35*105/2. Suppose -3 = z*g - r. Is g a multiple of 12?
True
Let a(i) = 26*i. Let s(j) = 27*j - 1. Let q(h) = -4*a(h) + 3*s(h). Is q(-3) a multiple of 16?
False
Suppose 3*l - 51 = 159. Suppose n - 6*n + l = 0. Does 14 divide n?
True
Is 2244/32 + 3/(-24) a multiple of 24?
False
Suppose -2*g = -71 - 139. Does 23 divide g?
False
Suppose 0 = i - 3*i + 92. Does 23 divide i?
True
Let i = 24 - -36. Is 12 a factor of i?
True
Let x be (-1)/6 + (-25)/(-6). Suppose -4*i + x*j + 59 = 23, 3*i - 23 = 4*j. Is 13 a factor of i?
True
Let y(g) = -g**3 + g**2 + 3*g + 3. Let c be y(3). Let b = 19 + c. Is b a multiple of 7?
False
Let a(c) = -c**3 + 14*c**2 + 14*c + 20. Let q be a(15). Suppose 65 = -4*j + q*j. Is j a multiple of 18?
False
Let u(h) = h**2 + 2*h + 3. Let c be 44/3 - 8/12. Let i be c/(-6) + (-1)/(-3). Does 2 divide u(i)?
False
Let g = -1 - -4. Suppose 0 = -g*j - 10 + 31. Is 2 a factor of j?
False
Suppose 5*d + 2*i - 56 = 0, 0 = d - 3*d - 2*i + 26. Suppose -5*a - 24 = -4*c - a, -2*c + 4*a + d = 0. Is 7 a factor of c?
True
Suppose -3*v - 3 = -a + 12, -9 = v + a. Let f = 6 - 6. Does 12 divide v*(-28)/6 - f?
False
Let c = 20 + -44. Let q = 39 + c. Does 7 divide q?
False
Suppose 0 = 3*q + 19 - 76. Does 16 divide q?
False
Suppose 0 = 5*a - 148 - 67. Does 30 divide a?
False
Suppose -40 = -7*n + 2*n. Suppose -4*g + 3*g + 5*a = -n, -a = -5*g + 40. Does 2 divide g?
True
Suppose 8 = g + 6. Is 4/g*17/2 a multiple of 8?
False
Is -3*(-16)/(-12) - -59 a multiple of 5?
True
Let g(b) = b**3 - 4*b**2 - 4*b + 7. Let p be g(6). Is 11 a factor of p*((-2)/5 + 1)?
True
Let z be -2*(-3)/2 + -1. Let i(g) = 21*g**z + 6*g**2 + g + 9*g**2. Is 14 a factor of i(-1)?
False
Let y = -1 + -1. Is 9 a factor of y - (3 + -2 + -21)?
True
Suppose 4*p - 724 = 4*b, -4*b = -p + 4*p - 536. Is p a multiple of 45?
True
Let r = -75 - -110. Is 8 a factor of r?
False
Suppose -4*y + 9 = -4*h - 11, -3*y + 23 = 5*h. Suppose -2*i + 2*m = -16, -3*i - 4*m = -y*m - 20. Suppose s - i = 2. Is 6 a factor of s?
True
Let z be (6/(-8))/((-1)/4). Suppose 3*n + 13 - 43 = 0. Suppose z*u = 11 + n. Is 3 a factor of u?
False
Let y(o) = -o**3 - 4*o**2 + o + 1. Let l be y(-3). Let a be -38 - -2 - (-2)/(-2). Let b = l - a. Does 18 divide b?
False
Suppose -5*w = 5*n - 30, 0 = -6*w + w - n + 10. Let i(c) = -23*c**3 + c - 6. Let z(g) = -22*g**3 + g - 5. Let a(j) = 5*i(j) - 6*z(j). Is 12 a factor of a(w)?
False
Suppose -5*d - 279 + 14 = 0. Let t = 4 - d. Is (8/6 - 1)*t a multiple of 10?
False
Let c(p) = -p**3 - 11*p**2 - 10*p + 6. Let v be 15/(-6*1/4). Is 4 a factor of c(v)?
False
Let x(y) = y - 2. Let s be x(-2). Let m = 32 + s. Does 14 divide m?
True
Suppose b - 11 - 7 = 0. Is b a multiple of 3?
True
Suppose 8 = -u + 4*b, u + b = 3*u - 12. Does 3 divide (1 - -2) + u + -3?
False
Let a(q) = q**3 + q**2 - q + 4. Let f be a(0). Suppose 3 + 49 = f*h. Does 12 divide h?
False
Suppose -3*s - 2*s = -470. Is s a multiple of 7?
False
Let y = 52 - 7. Is 10 a factor of (-468)/y*5/(-2)?
False
Let s(c) be the first derivative of -c**3/3 + c**2/2 + c - 3. Let b be s(-4). Let m = b + 31. Is 5 a factor of m?
False
Suppose 2*d = -4*q + 62, 2*q = 7*q - 2*d - 100. Let h = q - 12. Is h a multiple of 3?
True
Let j(n) = -n**3 + 13*n**2 - 9*n - 18. Is 12 a factor of j(12)?
False
Let x(f) = f**2 - f + 2. Is x(-4) a multiple of 11?
True
Let j = -117 + 192. Is 7 a factor of j?
False
Suppose 0 = -3*r + 4 + 8. Suppose r*d - 60 = -k + 60, d = -5*k + 30. Does 10 divide d?
True
Let d(f) = 44*f**2 - 6*f + 6. Let a(x) = 15*x**2 - 2*x + 2. Let j(m) = 11*a(m) - 4*d(m). Let z be j(2). Let q = -18 - z. Is 12 a factor of q?
True
Suppose -4*g + 86 = j - 69, 3*j = g - 29. Is g a multiple of 38?
True
Suppose 2*s + 3*s = 10. Suppose 30 = s*f - 34. Is 11 a factor of f?
False
Let y(r) = -3*r**3 + 3*r**2 + 1. Let t(m) = m**3 - m**2 - 1. Let f(d) = -2*t(d) - y(d). Let l be f(2). Is l/(5/2) - -19 a multiple of 14?
False
Let d(i) = -4*i. Let a(u) = -4*u. Let m(f) = 3*a(f) - 4*d(f). Is m(6) a multiple of 24?
True
Suppose y + 11 = o - 0*o, y = 3*o - 39. Suppose -d + o + 7 = 0. Suppose d = 2*i + 9. Is 5 a factor of i?
False
Let h(c) be the first derivative of 17*c**4/4 + c**3 - 3*c**2/2 + 1. Let m be h(2). Is m/9 + (-6)/(-27) a multiple of 8?
True
Let u = -9 + 21. Let c = 8 - u. Is 326/10 - c/10 a multiple of 13?
False
Let o(m) = -4*m**3 + 2*m + 1. Let c be o(-1). Suppose 0 = c*q - 6*q - 2*i + 11, -4*i - 18 = -2*q. Let g = q - 2. Is g even?
False
Let b(g) = -g**3 + 6*g**2 - 5*g - 1. Let r(m) = -m**2 - 9*m + 5. Let s be r(-9). Let y be b(s). Does 6 divide 10 + y/2*2?
False
Let n(p) = p**2 + 4*p + 2. Let g = 10 + -18. Is n(g) a multiple of 16?
False
Suppose 118 - 6 = 2*u. Suppose -j + u = 3*j. Is 7 a factor of j?
True
Suppose 5*w + 40 = h - 0, -3*h = 5*w + 60. Suppose -9*u + 4*u = 5*o + 10, 2 = -o + 3*u. Let k = o - w. Is k a multiple of 7?
True
Does 21 divide -1*(2 + -76) + 1?
False
Let l = -70 + 100. Does 30 divide l?
True
Let x = -74 + 2. Let l = 126 + x. Suppose -2*r = 4, u + l = 5*u + r. Is 14 a factor of u?
True
Is 9 a factor of (-3)/(2/448*-6)?
False
Suppose 4*a + 14 = 4*p - 2, -3*a - 12 = -5*p. Suppose 5*v = v - 5*x - 20, v - x - 4 = p. Suppose 0 = -5*l - 3*b + 34, 2*b + v = 2*l - 4. Is l even?
False
Let l(u) = -u**3 - 3*u**2 - 7*u + 3. Does 51 divide l(-6)?
True
Is 20 a factor of 1192/6 + (-4)/(-3)?
True
Let d = -4 - -7. Let y = 0 + d. Suppose 7*w = y*w + 140. Does 18 divide w?
False
Let d(a) = 6*a - 16. Let 