 = z**2 - 6*z + 7. Let q be w(5). Let c = q - 2. Suppose -3*g - 12 = c, -4*g + 32 + 48 = 3*n. Is 16 a factor of n?
True
Suppose 5*r = -0*r + 50. Let f be 100/15*(3 + 27/(-6)). Let i = r - f. Is 13 a factor of i?
False
Suppose -2*p + 7*q + 72 = 3*q, 4*q + 42 = p. Is p a multiple of 5?
True
Let s = 79 - 29. Does 13 divide s?
False
Suppose 3*g = -2*g - 30. Let f be (-2)/6 + (-20)/g. Suppose -3*u + 32 = 2*i, 2*i - f*u - 4 = u. Is 10 a factor of i?
True
Let z(r) = -r**3 + 4*r**2 + 2*r - 3. Let u be z(4). Suppose u*o - 14 = 11. Suppose i - 32 = -i + o*x, -4*x + 64 = 4*i. Is 16 a factor of i?
True
Suppose h - 3*h = -20. Let p = h - -11. Does 4 divide p?
False
Suppose -4*q + 7*t - 7 = 4*t, 0 = -2*q - 5*t + 3. Let z(x) = -2*x + 1. Let p be z(q). Suppose 3*g - 4*m = 124, -p*g + m = -204 + 83. Does 14 divide g?
False
Let v(z) = -z**3 - 4*z + 4 - 1 - 3 - 3*z**2. Is 12 a factor of v(-3)?
True
Let j = -68 + 130. Is j a multiple of 22?
False
Let v = -37 - -105. Is 34 a factor of v?
True
Let o = -89 + 211. Does 10 divide o?
False
Let k = 8 + -6. Suppose k*u = -4*p + 122, -3*u - 3*p + 179 = -p. Suppose 0 = 2*t - 7*o + 4*o - u, 2*o + 120 = 5*t. Is t a multiple of 11?
True
Let w(b) = 8*b - 24. Does 3 divide w(4)?
False
Suppose -z - 4*h = -47, 4*z - 2*z - 72 = 3*h. Is 8 a factor of z?
False
Let j = -44 + 76. Is 19 a factor of j?
False
Let m(d) = 23*d**3 + 9*d**2 + 5*d - 11. Let p(u) = -15*u**3 - 6*u**2 - 3*u + 7. Let c(l) = -5*m(l) - 8*p(l). Is c(2) a multiple of 16?
False
Let k(l) be the second derivative of l**3/2 - 2*l**2 - 2*l. Let d be k(3). Suppose 3*m - y - 46 = -2, d*y - 65 = -4*m. Is 15 a factor of m?
True
Let t(c) = -4*c. Let a(i) = -2*i**3 + i**2 - 7*i - 3. Let r(m) = -2*m**3 - 6*m - 2. Let h(z) = 4*a(z) - 5*r(z). Let l be h(-2). Is t(l) a multiple of 14?
False
Suppose -120 = -0*n - 4*n. Let b = n - 16. Is 14 a factor of b?
True
Let g(a) = -2*a - 5. Let o be g(-5). Suppose -18 = -x - o*f, -74 = -5*x - 2*f - 30. Is x a multiple of 4?
True
Suppose 26 + 14 = -4*s. Let w be (-4)/s - 616/(-10). Suppose -34 - w = -4*y. Is 12 a factor of y?
True
Let t(v) = -v**2 - 12*v - 3. Let c = 2 - 11. Does 12 divide t(c)?
True
Let z(y) = -1 + 0*y**2 - y**2 - 7*y - 2. Let c be z(-6). Is (1 + 5)/(c/8) a multiple of 6?
False
Let i(l) = l**2. Does 16 divide i(4)?
True
Let p = 12 - -12. Let b = p - 16. Does 6 divide b?
False
Suppose -2*i = -3*m + 17, 5*m - 23 = 5*i - 3*i. Suppose f = -m*f. Suppose -u + 48 = 5*c, f = -3*u - 3*c + 132 - 36. Does 11 divide u?
False
Let z(b) = -b**2 + 4*b + 1. Let y be z(3). Suppose 0 = 3*i - 0*o + y*o - 502, -3*o = -3*i + 495. Does 5 divide i/18 - 6/27?
False
Let i(s) = -s + 2. Let x be i(2). Let y(d) = d**2 - d + 38. Is y(x) a multiple of 16?
False
Let f be (2/6)/((-1)/(-39)). Suppose 0 = h + 3*g - 30, 13 + f = h - g. Does 19 divide h?
False
Is 4 a factor of 45 - (28/(-4) - -5)?
False
Suppose 0 = 2*z - 3*z + 4. Suppose -z*k + 2*a = -12, 4*k - 2*a - 3*a = 18. Suppose -18 = -k*i + 4. Does 5 divide i?
False
Is 22 a factor of 4/(-24) + 2116/24?
True
Is 9 a factor of (-4829)/(-77) - 4/(-14)?
True
Let l(j) be the second derivative of -j**7/840 - j**6/45 - j**5/15 + 5*j**4/24 + j**3/6 + j. Let p(f) be the second derivative of l(f). Does 5 divide p(-7)?
False
Is 3 a factor of 12*(387/12)/3?
True
Let x(z) = -6*z + 272. Is 36 a factor of x(0)?
False
Let n(t) = -t**3 - 8*t**2 - 3*t + 6. Is n(-8) a multiple of 15?
True
Let p(l) = 7*l - 27. Is p(17) a multiple of 26?
False
Suppose 2*n = 3*n. Suppose n = -3*s - 0*v - 3*v + 144, 3*s - 154 = 2*v. Does 24 divide s?
False
Suppose 136 = 7*o - 3*o. Let q = o - 23. Does 11 divide q?
True
Let k(b) = -b**2 - 25*b + 10. Does 40 divide k(-15)?
True
Let m(f) = f**3 - 9*f**2 + 10*f - 7. Let w be m(7). Let d = 61 + w. Is 6 a factor of d?
False
Let s(x) = 6*x - 4. Let p(z) = -z + 1. Let y(b) = -10*p(b) - 2*s(b). Does 4 divide y(-7)?
True
Suppose -3*n = -116 - 127. Is 9 a factor of n?
True
Suppose 7 = 3*m - 8. Suppose 44 = 3*x + 2*l + 10, -m*x + 2*l + 62 = 0. Is x a multiple of 5?
False
Suppose -2*b + 96 = -0*b. Let v = 1 + 3. Suppose 8*g - b = v*g. Is g a multiple of 7?
False
Suppose 493 - 172 = 4*l - 5*j, 4*l = 3*j + 327. Does 6 divide l?
True
Is 15 a factor of (18/3)/((-3)/(-30))?
True
Suppose -3*t - 2*t - m + 419 = 0, -5*t + 424 = -4*m. Does 21 divide t?
True
Is 22 a factor of (104/5)/(4/20)?
False
Suppose i - 3*i = -88. Suppose 5*n - 21 + 49 = 2*y, y + 5*n = i. Is y a multiple of 8?
True
Suppose -y - 11 = 5*p, 5*p + 23 = -2*y + 4*y. Is 4 a factor of y?
True
Let y be 0 + (-2 - -2) + 0. Suppose 3*l = 18 - y. Does 4 divide l?
False
Let z(k) = k + 79. Let l be z(0). Suppose 97 = 2*g - l. Is g a multiple of 18?
False
Let o(r) = r**2 - 5*r + 6. Let f(t) = -1. Let i(y) = -4*f(y) - o(y). Let q be i(3). Is 550/14 - q/14 a multiple of 20?
False
Is (4*5/(-10))/(4/(-22)) a multiple of 3?
False
Let m = -166 + 344. Is m a multiple of 49?
False
Let h = 67 - 45. Is 8 a factor of h?
False
Let w = 31 + -52. Let n = -13 - w. Let v = 22 + n. Does 12 divide v?
False
Let c = -42 - -106. Let n = -37 + c. Does 12 divide n?
False
Let v(i) = i**3 - 8*i**2 + 5*i + 1. Let s(f) = 3*f + 2. Let l be s(2). Does 15 divide v(l)?
False
Let w(k) = -k. Let z be w(2). Is -17*(-1)/z*-2 a multiple of 7?
False
Let p = 79 + -9. Is p a multiple of 10?
True
Suppose -205 = 5*w + r, -57 = 2*w + r + 22. Let g = -16 - w. Is g a multiple of 15?
False
Let b be -1*7/((-7)/16). Let j = 31 + b. Does 12 divide j?
False
Let c be 8/3 + 2/6. Let b be (3 + c)*1 - 1. Suppose 3*n - 2*q - 50 = 0, -b*q + 4 = -n - 1. Is n a multiple of 10?
True
Suppose 2*k + 4*r + 24 = 4*k, 5*k - 5*r = 40. Is k even?
True
Suppose -k + 2*d + 25 = -d, -5*d - 79 = -3*k. Is k a multiple of 14?
True
Let p(z) be the third derivative of 1/12*z**5 - 1/120*z**6 + 0 - 1/2*z**3 + 1/12*z**4 + z**2 + 0*z. Is p(5) a multiple of 7?
True
Let u be (1 - 0)/(1/3). Suppose -68 = -5*j - 18. Suppose 0 = -5*a - j, -4*a = -u*l + 49 + 19. Is l a multiple of 10?
True
Let o(v) be the third derivative of -17*v**4/12 - v**2. Let z be o(-3). Suppose 3*r - z = -0*r. Does 17 divide r?
True
Let j = 33 - -11. Let b(v) = v**2 - 5*v + 2. Let y be b(5). Suppose -118 = -y*x - j. Is 13 a factor of x?
False
Let k(c) = 10*c - 2. Is k(1) a multiple of 5?
False
Suppose 0 = 4*k - 2*k + 6. Let c = 8 + k. Suppose 51 = c*r + 11. Is 4 a factor of r?
True
Suppose 0 = -q - 3 - 0, -5*q - 127 = 4*m. Let c = 88 + m. Suppose -4*s + 0*s = -c. Is 13 a factor of s?
False
Let i(g) be the first derivative of 8*g**3/3 - g**2 - 2*g - 2. Let v be (-5 - 1)*1/3. Does 17 divide i(v)?
True
Let r = 39 + -21. Suppose 3*h - 4*x + 2*x = 105, -5*x + r = h. Is 12 a factor of h?
False
Is 16 a factor of (-1 - -2)/(6/210)?
False
Let b = 3 + 2. Let o = -1 + b. Is 6 a factor of (-231)/14*o/(-3)?
False
Let q(x) = -16*x - 1. Let k be q(-2). Suppose 0 = 5*h - k + 6. Suppose -52 = g - h*g. Is 13 a factor of g?
True
Suppose 5*g - 5 = 3*n, 3*g - 2 = -2*n + g. Let s(m) be the first derivative of -m**3/3 + 9*m - 3. Is s(n) a multiple of 4?
False
Let d = 16 - 14. Suppose -j = -0*j + 3*i - 53, -d*j + 5*i + 161 = 0. Is 34 a factor of j?
True
Does 13 divide 1/3 - (-260)/3?
False
Suppose 0 = -5*h + 5*q + 35, -4*h + 30 = -7*q + 4*q. Does 3 divide h?
True
Suppose 2*m + 2 = 6. Suppose -m*k + 44 = -k. Does 22 divide k?
True
Let h(k) = 6*k**2 + k + 5. Let i be h(4). Suppose 23 = 2*j + 3*b - 26, b + i = 4*j. Is j a multiple of 21?
False
Let c(z) = z**3 + 5*z**2 - 6*z + 2. Let k be ((-1)/(-2))/((-1)/10). Does 10 divide c(k)?
False
Does 30 divide ((-8)/6)/((-24)/1764)?
False
Let s(m) = m - 4. Let f be s(4). Suppose -t - 3*n = -f*n - 10, -n + 2 = 0. Suppose x + 0*x = -3*u + 20, -3*u - t*x = -8. Does 8 divide u?
True
Suppose 2*j = -3*w - 2*w + 14, -6 = j - 4*w. Suppose 0 = 2*m + 5*k + 127 + j, 0 = -3*m - 5*k - 191. Let l = m + 89. Does 21 divide l?
False
Let f be (-1)/(-3)*(-6)/2. Let j = f - -8. Is 3 a factor of j?
False
Suppose 0 = 2*j - 6, -4*j = 4*p + j - 111. Is p a multiple of 6?
True
Let z be ((-15)/5)/(6/(-8)). Is 3 a factor of (-92)/(-12) - z/6?
False
Let s(c) = -c**3 + 7*c**2 + 4*c. Is 10 a factor of s(6)?
True
Let v(l) = -15*l + 44. Does 10 divide v(-4)?
False
Let m be -2 - (-3)/(12/400). Does 12 divide 3/(-12) - m/(-8)?
True
Let h = 133 + -58. Does 16 divide h?
False
Suppose 0 =