True
Let b be 6*(14/4 - 3). Is -2 + (1 - (-96)/b) a multiple of 12?
False
Is (-3)/((-6)/(-112))*(-6 + 4) a multiple of 14?
True
Let u(c) = -2 + 3*c - 10*c - 3*c. Suppose -2*v + 0 = 6. Is 18 a factor of u(v)?
False
Suppose -2*l - 12 = -6*l. Is l a multiple of 2?
False
Suppose -z = -4*a - 11, 8*a - 3*a - 3*z + 12 = 0. Let h(i) = i**3 + 3*i**2 - 5*i - 2. Is 7 a factor of h(a)?
False
Suppose y + p = 6*y - 1059, 430 = 2*y - 2*p. Suppose 2*o - y = 39. Let h = o - 79. Does 14 divide h?
False
Suppose 2*f - 70 + 18 = 0. Is 4 a factor of f?
False
Suppose 3*m - 2*m = -95. Let y = m + 232. Suppose a = 4*l - y - 24, 3*l - 118 = -2*a. Is 16 a factor of l?
False
Suppose -2936 = -15*q + 1714. Does 10 divide q?
True
Suppose -4*v = -8*v + 168. Suppose 3*n + 9 = 0, 5*n + v = -2*g + 3*g. Does 27 divide g?
True
Suppose -2*j - 4*d = 7 - 23, -20 = -4*j - 4*d. Suppose 4*x = -j + 154. Does 16 divide x?
False
Suppose -4*o + 8 = 4. Let y be -8*3/(-6*o). Let h(v) = 5*v + 3. Is h(y) a multiple of 13?
False
Suppose -4*q + 38 = -5*i, q = 6*q - 2*i - 39. Is q a multiple of 2?
False
Let u = -1 - -37. Is 18 a factor of u?
True
Suppose 70 = 3*l - 4*o - 43, 3*l = -4*o + 145. Does 15 divide l?
False
Let i = 1 + 0. Is 5 a factor of (i*-2)/(5/(-20))?
False
Suppose -3 - 3 = -g. Suppose -g*w + w = 20. Does 3 divide 158/18 + w/(-18)?
True
Suppose 0 = 3*z + 15, l - 2*z + 3*z = 25. Is l a multiple of 6?
True
Suppose -2*k + 6 = 3*r, -2*r = -4*r - 5*k - 7. Suppose r*t = -2*i - 26 + 126, 2*i - 85 = -t. Is 9 a factor of i?
False
Let f(u) = u**2 + 3*u - 2. Let w be f(-4). Does 12 divide w*-12*(-3)/6?
True
Let s = 15 + -45. Let u = -18 - s. Is 6 a factor of u?
True
Let r(c) = -c**2 - 13*c - 18. Let a be r(-12). Let l = 3 - a. Is 2 a factor of l?
False
Let m(d) = -5*d + 1. Does 11 divide m(-2)?
True
Suppose -4*v + 150 = v. Let z = v - 12. Is z a multiple of 6?
True
Let v = 2 + 0. Suppose v*c + 6 = c. Let x = 9 + c. Is 2 a factor of x?
False
Let t(r) = -r + 8. Let p be t(5). Suppose 3*u - 2*i = 3, 2*u + 4*i - 6 = 4*u. Suppose -u*l = v - 4, -p*l - 19 - 25 = -2*v. Is v a multiple of 15?
False
Let s(f) = -f**3 - 5*f**2 - 10*f - 9. Is 29 a factor of s(-6)?
True
Let g(n) = n - 8. Let j be g(8). Suppose c + 2 = j, 0 = 2*u - 2*c + c - 92. Does 10 divide u?
False
Let d(f) = -f**3 - f**2 + 3*f - 2. Let j be d(-3). Let y = 35 + -30. Let t = y + j. Does 10 divide t?
False
Suppose 718 = 3*t - 5*p, 0 = -2*t - 3*t + 3*p + 1170. Does 25 divide t?
False
Suppose -69 = -3*z + 33. Let a(w) = -w**3 - 5*w**2 - 3*w - 1. Let o be a(-5). Suppose v - z = -o. Is v a multiple of 10?
True
Let g = 112 + -86. Does 6 divide g?
False
Suppose -2*n - 4*m = -12, 4*m - 15 = -n - m. Suppose n*g + 2*g = 70. Is g a multiple of 28?
False
Let i = -90 - -234. Is i a multiple of 36?
True
Let m(h) = 2*h**2 + 27*h + 31. Is m(-13) a multiple of 6?
True
Let p(t) = -40*t - 2. Let u be p(-2). Suppose 0*z = 2*g - 4*z - 142, -g - 5*z + u = 0. Does 13 divide g?
False
Suppose -4*i - 2016 = -11*i. Is i a multiple of 21?
False
Suppose h = -h. Let m(i) = 7*i - 2. Let y be m(2). Suppose h*b = -b + y. Is 12 a factor of b?
True
Suppose 0 = 2*n - 3*h + 5, 0 = -3*h + 5*h - 10. Suppose 3*v + 54 = n*v. Does 9 divide v?
True
Let g = 97 - 146. Let u(t) = t**2 + 10*t - 12. Let c be u(-9). Let n = c - g. Is n a multiple of 15?
False
Let t(z) = -z**3 - 3*z**2 + 7*z + 1. Is 4 a factor of t(-5)?
True
Let k = 55 - 48. Does 2 divide k?
False
Let n = 1 - -3. Suppose -2*w + 36 = -5*j, -n*j + 2*j + 72 = 4*w. Is w a multiple of 6?
True
Suppose 0 = -3*c - 3*j, 4*c + 2 = 2*j + 32. Let z(q) = q + 3. Let h(g) = -g - 5. Let a(o) = 5*h(o) + 7*z(o). Is a(c) a multiple of 3?
True
Let w(n) = -2*n - 11. Does 11 divide w(-12)?
False
Let h(b) = 42*b**2 - b + 2. Let o be h(2). Suppose 6*g - 2*g = o. Is g a multiple of 14?
True
Suppose 2*f - 3*f = -32. Is f a multiple of 15?
False
Let o(d) = -2*d - 13. Let r be o(-9). Suppose 195 = r*c - 0*c. Does 11 divide c?
False
Let l(z) = 23*z**2 - 5*z - 8. Does 11 divide l(-2)?
False
Let n be ((-3)/2)/((-18)/60). Suppose n*h - 48 = 32. Is h a multiple of 16?
True
Let u be (-3)/2*(-156)/9. Let r = u + -7. Does 6 divide r?
False
Is 29 a factor of -83*(-3)/(9/3)?
False
Suppose -5*k + 0*k = -25. Suppose k*b - 2*o = -7*o + 255, -3*b - 4*o = -156. Is b a multiple of 23?
False
Let b(k) = 2*k**2 + 17*k**3 - 1 - k**3 + 18*k**3. Is 15 a factor of b(1)?
False
Suppose 918 = 3*t - 0*t. Is 20 a factor of (1/3)/(3/t)?
False
Suppose 6*g - 30 = 3*g. Let a = g - 6. Is 8 a factor of 3*(a/6 - -2)?
True
Let p be (-1 - 1)*35/(-14). Let h = p - 1. Is h a multiple of 2?
True
Let p(y) = -y**3 - 2*y**2 + 3*y - 4. Let j be p(-3). Does 9 divide (3/(-6))/(j/144)?
True
Let t = -5 - -8. Let i = t - -3. Does 6 divide i?
True
Suppose 15 = 5*p + 5*g, -3*p - 2*g + 11 = -3. Is p a multiple of 3?
False
Let n(r) = -r**2 + r + 6. Suppose -3*i = -6*i - 6. Let w(j) = j**3 + j**2 - 3*j - 2. Let g be w(i). Is 6 a factor of n(g)?
True
Let c(z) = -z**2 + 17*z + 34. Is c(11) a multiple of 25?
True
Let n(k) = -12*k + 2. Let y(r) = r + 1. Let m(o) = -n(o) - 2*y(o). Does 13 divide m(4)?
False
Let f(w) = 18*w - 2. Let d(s) = -s. Let m(u) = -4*d(u) - f(u). Is m(-2) a multiple of 10?
True
Suppose -2*q - d = 14, 2*d - 17 = 4*q + q. Let p = q - -8. Does 2 divide p?
False
Suppose 293 = -s - 491. Does 22 divide (-8)/(-36) + s/(-36)?
True
Let g(k) = -k**3 - k**2 - 11. Let f be g(0). Is -14*(3 + f/2) a multiple of 13?
False
Let j(v) be the second derivative of v**4/12 - v**3/6 - 5*v**2/2 - 5*v. Is 19 a factor of j(9)?
False
Let k = -116 - -173. Suppose 2*f - k = -f. Is 19 a factor of f?
True
Suppose -3*l - 17 = -89. Let h = 62 - l. Does 19 divide h?
True
Let v(i) = -i**3 - 7*i**2 + 5*i - 1. Let b be v(-6). Does 14 divide -1*(2 + -1) - b?
False
Let m = 37 - 57. Is 7 a factor of (14/(-5))/(4/m)?
True
Let u(o) = -5*o - 12. Is 9 a factor of u(-6)?
True
Suppose -124 = -18*x + 14*x. Let w = 75 - x. Is 23 a factor of w?
False
Let p(g) = -g - 3. Let m be p(-3). Let s(i) = -5*i**2 + 9*i + 1. Let j(t) = -3*t**2 + 5*t. Let q(u) = -7*j(u) + 4*s(u). Is 2 a factor of q(m)?
True
Suppose 0 = -0*i - 3*i + 96. Does 5 divide i?
False
Let s = 13 + -14. Let u = 2 - s. Is u a multiple of 2?
False
Suppose 0 = -k + 2, 2*k + 0*k = 2*c - 36. Is c a multiple of 20?
True
Let t = -2 - 7. Let l(i) = -i**3 - 8*i**2 + 4*i - 4. Is 22 a factor of l(t)?
False
Is 22 + -4 + 3 + 2 a multiple of 7?
False
Let z = 1077 - 583. Is z/10 + 57/95 a multiple of 17?
False
Let x = 107 + -66. Is 6 a factor of x?
False
Let r(u) = 2*u + 2. Let l be r(3). Let s = l + -4. Suppose -162 = -s*m + m. Is m a multiple of 14?
False
Let l = -22 - -46. Does 6 divide l?
True
Let g(l) = -2*l**3 - 9*l**2 + 3*l + 1. Let j(c) = 3*c**3 + 10*c**2 - 2*c - 2. Let n(d) = 4*g(d) + 3*j(d). Is n(6) a multiple of 10?
False
Let m be (-1 - 12/(-3))*3. Let b = m - -7. Is b a multiple of 8?
True
Let d = 18 + -5. Is 4 a factor of d?
False
Let m(c) be the second derivative of -c**5/20 - 2*c**4/3 + 2*c**3 + 5*c**2 - 3*c. Let k be m(-9). Let b = k + 32. Is b a multiple of 15?
True
Let i = -126 + 312. Does 31 divide i?
True
Suppose -4*z = -z + 18. Let t(j) = -j**2 - 10*j - 8. Does 8 divide t(z)?
True
Suppose 4 = 2*w - w. Suppose 3*t - 4 = -2*p + p, -2*p - w*t + 10 = 0. Is 4 a factor of p?
False
Let u(h) be the third derivative of -17*h**4/12 - h**3/2 - 3*h**2. Let k(w) = w + 1. Let o(p) = 4*k(p) + u(p). Is 8 a factor of o(-1)?
False
Suppose h + z = 4*h + 1, 16 = -3*h - 2*z. Is 2 a factor of (-2 + 0)*5/h?
False
Let m(q) = 10*q**2 - 4*q + 2. Let s be 1/(-2) + (-5)/(-2). Is 17 a factor of m(s)?
True
Let p(c) = -2 - 53*c + 3 - 2. Is p(-1) a multiple of 19?
False
Let z(h) = 1 + 4*h - 5*h - 3 + 5*h**2. Does 20 divide z(3)?
True
Let u be -120*(16/10 - 2). Suppose 0 = -4*d - 3*z - 84, 2*z = -4*d - u - 36. Let w = 41 + d. Is 8 a factor of w?
False
Let s(v) = -11*v - 1. Let c be s(1). Let q = -7 - c. Suppose -81 = -q*p + 3*j, 6*j - 15 = j. Is p a multiple of 9?
True
Suppose 0 = 5*o + 5*i + 7 + 8, -1 = i. Let w be -2 - -4 - (21 + o). Does 6 divide w/3*-3 + -1?
False
Let b(y) be the first derivative of -y + 3 + 1/2*y**2 + 11/3*y**3. Is b(1) a multiple of 11?
True
Suppose 6*h - 119 = 211. Does 11 divide h?
True
Let m(i) = 3*i - 8. Let h(g) = g**3 - 5*g**2 - 10*g + 9. Let n be h(6). Let f be 1