actor of q?
False
Let f(w) = w**2 - 8*w - 11. Let m = 1 - -9. Let p be f(m). Suppose -2*d = -11 - p. Is d a multiple of 3?
False
Let l(u) = u**2 - 3*u - 6. Let c = 13 + -8. Let t be l(c). Suppose t*p = 26 + 74. Is 14 a factor of p?
False
Suppose 0 = 5*t + i - 31, 0*t - 9 = -3*t - 3*i. Suppose -15 = 2*h - t*h. Suppose 0*n + q - h = -n, 2*n + q - 6 = 0. Is n a multiple of 3?
True
Let w(r) = 5*r + 7. Is w(3) a multiple of 22?
True
Suppose 48 = 4*o - 48. Is 12 a factor of o?
True
Let l be (3/6)/(2/16). Let s(f) = f. Is s(l) even?
True
Let y(h) = h. Let f be y(1). Is f*4*(-186)/(-24) a multiple of 9?
False
Let l = 28 - -5. Is 4 a factor of l?
False
Let g be 2/(4/26 + 0). Suppose r = -0*r + g. Does 4 divide r?
False
Suppose -2*f + 63 - 3 = 0. Is f a multiple of 15?
True
Let g(u) be the second derivative of -u**5/20 - u**4/6 + 2*u**3/3 - 7*u**2/2 - 3*u. Does 16 divide g(-5)?
True
Suppose 0 = 3*w - 3 + 21. Does 4 divide (-50)/15*w/4?
False
Suppose 0 = 3*q - 273. Let a = -55 + q. Does 17 divide a?
False
Let a(l) = -2*l**3 - 1. Suppose -2*m - 2*m = -4. Let f be a(m). Does 11 divide 3/f + 24/2?
True
Let f(q) = 7*q**2 + 5*q + 2. Is f(-3) a multiple of 8?
False
Suppose -147 = -2*m - d + 160, 0 = 3*m + 2*d - 462. Is 19 a factor of m?
True
Let y(r) = -r**2 + 5*r + 4. Suppose 5*a - 5 = 4*a. Let h be y(a). Suppose -h*z + 2*z = -34. Does 7 divide z?
False
Let x be (-86 + 2)*(-10)/8. Suppose -3*c - 2*c = -x. Does 7 divide c?
True
Suppose -717 = -4*o + 67. Does 9 divide o?
False
Let m(z) = z**3 + 14*z**2 - 33*z + 8. Does 6 divide m(-16)?
True
Let s = 11 + -7. Suppose 0*y = -d - 2*y + 4, -s*y - 48 = -5*d. Is d*(-1 + (0 - -3)) a multiple of 16?
True
Let j = -105 + 167. Is 4 a factor of j?
False
Suppose -d + 18 = m, 2*m = -3*m + 3*d + 122. Suppose m = 4*l - 30. Let u = l - 5. Is u a multiple of 6?
False
Let t(f) = -f**2 + f. Suppose -2 = 4*c - 2*c + n, 0 = -3*c + 5*n + 10. Let z be t(c). Suppose -4*h = -3*p - 7 - 6, 4*h - 5*p - 3 = z. Is 7 a factor of h?
True
Suppose r + p = -58, r - 5*p + 101 - 31 = 0. Let f = -36 - r. Is f a multiple of 6?
True
Does 21 divide 20/(-3)*-6 + -1?
False
Suppose 3*h - 156 = -h. Suppose -4*i + 125 = -h. Is i a multiple of 16?
False
Let u be (-3)/(2 + -1 + -2). Suppose -5*i - u*n - 35 = 0, -5*n - 37 = 7*i - 4*i. Is (-87)/i + 4/16 a multiple of 6?
False
Let m(d) = -d**2 + 5*d + 3. Let g(n) = n**2 - 4*n - 3. Let q(a) = 2*g(a) + 3*m(a). Is 9 a factor of q(4)?
False
Suppose -5*q = -2*q - 36. Suppose -2*n = -2*b - 4, -6*b + 2*n - 4 = -b. Let l = q + b. Is l a multiple of 12?
True
Let j(z) = -21*z - 1. Let c be j(-2). Let u be 8*1/(-4)*-2. Let d = c + u. Is d a multiple of 22?
False
Suppose 2*j + 285 = -3*s, -5*s + 100 = -j + 588. Let t = s - -167. Suppose 5*i - 10 = t. Is 13 a factor of i?
False
Suppose -y + 1 = 0, 16 = -5*p - 2*y - 2*y. Let n(j) = -j**3 - 4*j**2 - 4*j. Does 6 divide n(p)?
False
Let u(v) = 64*v. Is 32 a factor of u(1)?
True
Let d(a) = -a + 5. Let y be d(-5). Let g = -3 + y. Is 2 a factor of g?
False
Let x be ((-32)/(-12))/(1/(-18)). Let l = -29 - x. Suppose 4*s - 1 = l. Is s a multiple of 5?
True
Let z = -4 - -6. Suppose z*i - 7*i = -35. Let g(y) = 2*y - 2. Is 6 a factor of g(i)?
True
Suppose x + 3*x = -44. Let o = x + 14. Is 3 a factor of o?
True
Let r(l) = l**3 + 7*l**2 + l + 7. Is 9 a factor of r(-6)?
False
Does 7 divide 314/13 - 18/117?
False
Suppose 4*b - 2*h = 40, 3*h - 2 = 4. Suppose -b*i = -6*i - 235. Is i a multiple of 20?
False
Let u be 0 - ((-15)/3 + 0). Suppose 3*s - 2*s = u. Is s a multiple of 4?
False
Suppose -3 = 5*s - 43. Let r(p) = p - 5. Let n be r(s). Suppose -k - n = 0, 2*q - 6*q - 5*k = -145. Does 20 divide q?
True
Let k(z) be the first derivative of z**4/4 - 4*z**3/3 - 4*z**2 + 6*z + 3. Let t be k(5). Does 9 divide (-1)/(-3) + (-159)/t?
True
Let c = -16 + 21. Let z(t) = -t**3 - 6*t**2 - 2*t - 6. Let u be z(-6). Let j = c + u. Is j a multiple of 4?
False
Suppose -3*c + 45 = -183. Does 19 divide c?
True
Is 8 a factor of (72/5)/(-1)*-5?
True
Suppose -2*a = 4*l - 16, l + 1 = 2*a - 0. Suppose -225 = -z - a*z. Suppose z = 5*c - 10. Is c a multiple of 8?
False
Does 9 divide ((-27)/(-12))/(3/72)?
True
Suppose -4*k = 5*m - 600, 5*m - 560 = 4*k + 40. Suppose 4*o + o = m. Does 24 divide o?
True
Suppose 0 = 4*z + z + 25. Let o(s) = -s**3 - 2*s**2 - 5*s - 11. Is o(z) a multiple of 18?
False
Let d(p) = p**3 - 17*p**2 - 26*p + 9. Is 40 a factor of d(19)?
False
Let l = 8 + -3. Let q(b) = b**3 + b**2 + 2*b + 50. Let m be q(0). Suppose -m = l*o - 10*o. Does 3 divide o?
False
Let v(s) = -s + 58. Does 7 divide v(-12)?
True
Let k(l) = 2*l**2 + 11*l + 4. Let d be k(-5). Let o(s) = -2*s + 6*s + 10*s**2 - 3*s. Does 4 divide o(d)?
False
Let q(g) be the first derivative of -g**7/840 - g**6/360 - g**5/30 - g**4/8 + 2*g**3/3 + 1. Let t(s) be the third derivative of q(s). Is t(-2) a multiple of 5?
False
Let r be ((-31)/4)/((-1)/12). Let x = r + -50. Let b = -24 + x. Is 12 a factor of b?
False
Let c be ((-21)/63)/(1/3). Is (-1)/(c*(-4)/(-68)) a multiple of 16?
False
Suppose 0 = -2*i - 19 + 1. Let w(l) = -l**2 - 13*l + 3. Does 21 divide w(i)?
False
Let i be (3 + 27/(-6))*-2. Suppose 3*h = 8*t - 3*t + 10, i*t + 6 = 5*h. Suppose -4*v + 72 = -3*k - 133, k + 3 = h. Is v a multiple of 19?
False
Let g = -66 - -166. Does 10 divide g?
True
Let b(h) = -h**2 - 9*h - 6. Let n be b(-8). Suppose 5*v + n*s - 54 = 12, -4*v + 5*s = -66. Does 7 divide v?
True
Let i(b) = 5*b**2 + 9*b + 5. Is i(6) a multiple of 29?
False
Suppose 0 = h - 4*a - 38, 5*a + 190 = 5*h + 6*a. Does 8 divide h?
False
Suppose 266 - 86 = 5*t. Suppose -t = -4*g + 8. Suppose 0 = w - 5 - g. Is 8 a factor of w?
True
Let w(n) = n**3 + 15*n**2 + 3*n + 22. Is w(-14) a multiple of 16?
True
Let b(c) = c**3 + 4*c**2 - 8*c - 4. Let l be 8/(-28) + 103/(-7). Let f be (-1)/(3/l)*-1. Does 11 divide b(f)?
True
Let m = -43 + 85. Is 4 a factor of m?
False
Suppose 0 = 4*y - 3*y - 10. Let q(i) = 11*i**2 - 8*i + i**3 - 9 + y - 2*i**3. Is q(10) a multiple of 21?
True
Let y = -4 + 35. Does 13 divide y?
False
Suppose 5*w = 3*o - 41 + 3, 0 = -2*w + 3*o - 17. Let h(g) = g**2 - g. Let m(s) = 7*s**2 - 5*s - 10. Let r(f) = -6*h(f) + m(f). Is r(w) a multiple of 12?
False
Let j(h) = -6*h + 5. Suppose 2*z = 5*r + 18 + 13, -3*r = 4*z + 3. Is 11 a factor of j(r)?
False
Let d(h) = h**3 - 7*h + 7. Let s be d(5). Let g = -56 + s. Is g a multiple of 18?
False
Suppose k + 3 = 2*k. Suppose 0 = k*z + 3*w - 0 - 3, -4*w - 5 = z. Suppose z*j - 2*j - 3*a - 32 = 0, -5*j = -a - 146. Does 10 divide j?
False
Suppose 3*x = -2*z - 7, 2*z - 32 = 4*x - 4. Suppose -2*h + z*p = -96, 0 = -p - 1 - 2. Is h a multiple of 14?
True
Let k be 2/6 + (-4)/3. Let u be (-131 - k)*1/(-2). Suppose w - 6*w = -u. Does 7 divide w?
False
Suppose 10 = 5*a, 7*p - 3*p - 3*a - 178 = 0. Let w = -19 + p. Let t = w - 15. Is t a multiple of 4?
True
Let k(h) = -h**3 + 7*h**2 + 6. Does 28 divide k(5)?
True
Let h(d) = -d**3 - d + 4. Let q be h(0). Suppose 20 = 4*c, q*c = -2*y + 3*y - 10. Is 13 a factor of y?
False
Let a(r) = -r + 6. Let y be a(5). Let k = -1 + y. Suppose k*i - 76 = -2*i. Is 15 a factor of i?
False
Suppose -2*z - 17 - 13 = 0. Let p = z + 29. Is 6 a factor of p?
False
Let g = -125 + 200. Does 25 divide g?
True
Let o be 2/3 + (-182)/(-6). Suppose -5*u + 233 = -3*d, 0*d = 3*u - 4*d - 131. Let w = u - o. Is 9 a factor of w?
True
Let f(z) be the third derivative of z**6/120 - z**5/60 + z**4/24 + 9*z**3/2 - 4*z**2. Does 27 divide f(0)?
True
Let r be (1 - 2)/(-3)*6. Suppose -r*s + 2 = 0, 6 = 2*j + 3*s - 7. Is 3 a factor of j?
False
Let z(g) = 2*g**3 - 5*g**2 + 6*g - 4. Is z(4) a multiple of 41?
False
Let a = 301 + -153. Is 11 a factor of a?
False
Suppose 5*r = f - 33 - 1, r = 3*f - 46. Let t be (f/6 - 2)*6. Suppose -2*j + t = g, 7*j - 3*j + 5*g = -8. Is j even?
False
Let c be (-16)/10 - 2/5. Does 6 divide (-24)/9*9/c?
True
Let r be 12*((-2)/(-3))/2. Suppose 4*d = 3*z - 25, -9 - r = -2*z - d. Is 3 a factor of z?
False
Let u be -3*(16/(-6) + -1). Suppose b - u - 10 = 0. Is b a multiple of 21?
True
Let x(f) = -f**3 - 12*f**2 - 12*f + 1. Let c be x(-11). Does 3 divide 30/c*(-12)/(-10)?
True
Let s(u) = 6*u**3 + 5*u**2 - 7*u + 4. Is 18 a factor of s(2)?
False
Let c(t) = t - 1. Let w(q) = -q**3 + 5*q**2 + 2*q - 4. Let r be w(5). Let b be (-4)/(-12) - (-22)/