 = 8 + -6. Let g be c/7 - 4/14. Suppose -2*a + 5*a - 96 = g. Is a a multiple of 16?
True
Let k = -8 - -108. Let b be (8/20)/(2/k). Suppose -o - 1 = 0, 5*r + 2*o + 3*o = b. Is r a multiple of 5?
True
Suppose -l - l + 8 = 0. Suppose 0*y - l = -2*y. Suppose y*m = m + 12. Does 12 divide m?
True
Suppose 2*u - 68 = -2*j + 6*j, 0 = -4*u - 8. Let l be (0 - -1)/(1/(-7)). Let x = l - j. Is 4 a factor of x?
False
Let d = 119 + -95. Is 8 a factor of d?
True
Let s = 12 + -2. Is s a multiple of 6?
False
Let d(m) = m**3 + m**2 + m + 4. Let p be d(0). Suppose 0 = -p*h + 36 - 0. Is 9 a factor of h?
True
Let b(m) = 14*m**2 - 2*m - 1. Let w be b(-1). Suppose -5*s + 80 = -w. Does 7 divide s?
False
Let q(j) be the third derivative of j**4/24 + 7*j**3/6 + 3*j**2. Is 3 a factor of q(0)?
False
Suppose 0*z - 2*z = 48. Let k be (-3 - -4)*z/(-2). Let f = k - 6. Is f a multiple of 6?
True
Suppose -3*i - 176 = -11. Suppose -396 = -4*h - 88. Let n = i + h. Is 22 a factor of n?
True
Let y = -68 - -117. Is 49 a factor of y?
True
Suppose 2*h - 494 = 4*d, -4*d + 7*d - 6 = 0. Does 10 divide h?
False
Let j(z) = -z**3 + 10*z**2 - 17*z + 16. Is 8 a factor of j(7)?
False
Let n(q) = 43*q**2 + 2*q + 1. Is 2 a factor of n(-1)?
True
Let o(f) = 4*f. Let c be o(-1). Let g = -3 - c. Suppose p = -g - 4, 0 = -s + p + 13. Is s a multiple of 3?
False
Let a = -3 + -1. Let f be a/(-2) - (-5 - -2). Suppose -o = -f*o + 72. Does 18 divide o?
True
Suppose 0 = 2*t + 8 + 2. Let d(a) = 2*a**2 + 6*a - 5. Is 5 a factor of d(t)?
True
Suppose -2*m - 3*w + 20 = 1, 0 = 3*m + w - 11. Suppose -m*h + 4*h = d - 474, -5*h - 1185 = -d. Does 19 divide h/(-5) + 6/10?
False
Suppose -2*r + 3 = 3*o + 1, 0 = 4*r - 4*o - 24. Suppose -q + 6 = -m, 3*q - r*q - 14 = -5*m. Is q a multiple of 5?
False
Let a = 0 + 17. Is 9 a factor of a?
False
Let z(h) = -11*h**3. Let j(t) = -2*t - 4. Let l be j(-3). Let w = l + -3. Is 6 a factor of z(w)?
False
Suppose -4*v + 8 = -0*v. Suppose 8 = v*r - 0*r. Is 3 a factor of r?
False
Suppose 4*i = 2*i - c + 47, -3 = -3*c. Is i a multiple of 15?
False
Let m = -34 - -83. Is 16 a factor of m?
False
Suppose -5*n = 11 - 61. Let t = n + -7. Suppose -t*b - 2*b + 60 = 4*a, -5*b = -a + 40. Is 20 a factor of a?
True
Suppose 4*x + 0*x = 8. Suppose -4*r = -w + 4*w + 67, -x*r - 19 = w. Is 9 a factor of -1*(-1 - 0) - w?
False
Suppose 0*d = d - 4. Suppose 4*l - d*k - 52 = 5*l, -4*k = 5*l + 260. Is l/(-1)*(-2)/(-4) a multiple of 13?
True
Suppose 0 = 4*w - 3*w - 3. Suppose w*q - 1 = 4*q. Is 12 a factor of (-23)/(-1) - q*1?
True
Does 6 divide (-2568)/(-33) + (-2)/(-11)?
True
Let c = 27 - -18. Is c a multiple of 15?
True
Suppose 3*g = -3*g + 96. Suppose 2*h = -0*h + g. Does 3 divide h?
False
Let f = -22 - -41. Let w = f + 5. Does 24 divide w?
True
Let g(r) = 2*r - r**2 + 40 - 6*r**3 - 3*r + 7*r**3. Let w be g(0). Is 744/w - 2/(-5) a multiple of 6?
False
Suppose 4*o - 1170 = -o. Suppose 0 = 5*x + 4*p - o, -5*x + x - 4*p + 184 = 0. Is x a multiple of 10?
True
Let d(n) = -6*n + 9. Let o be d(4). Let c = 35 + o. Is 6 a factor of c?
False
Let o(v) be the third derivative of v**6/120 + v**5/10 - v**4/8 - 3*v**3/2 + v**2. Is 8 a factor of o(-6)?
False
Does 18 divide 126*((1 - 4) + 2 + 2)?
True
Let l be ((-2)/4 + 0)*0. Suppose 0 = 3*i - l - 15. Suppose x - 3*n = 2*n - 15, -i*n + 25 = 0. Does 5 divide x?
True
Suppose -6*t + 30 - 84 = 0. Is 4 a factor of (-4 - (1 + t)) + 3?
False
Suppose -5 = -a + 3*c, -2*c - 3*c = -2*a + 14. Does 4 divide a/(-2)*8/(-4)?
False
Let n = 7 + 0. Suppose 11 = x - n. Is x a multiple of 8?
False
Let r = -19 - -24. Is 2 a factor of r?
False
Suppose 3 = 2*w + 4*h + 11, 0 = w - 3*h - 21. Let c = 36 - 76. Does 10 divide (-2 + -1)*c/w?
True
Let y(l) = -l**3 + 4*l + 3. Let u be y(-2). Let b(t) = -t + 2 - 3*t**2 - 5*t**3 - t + 4*t**u. Is 5 a factor of b(-3)?
False
Suppose 3*w - 7*w - 8 = q, -2*q - 3 = -5*w. Let l be (5/(-2) - -3)*q. Does 7 divide (l/(-1) + 6)*2?
False
Let j be (4 - -2)/(-2) + 4. Let h = 0 + j. Does 10 divide 18 - (0 - h)*-1?
False
Let y(o) = 3*o - 7. Does 3 divide y(4)?
False
Let o(j) = j**3 - 6*j**2 + 8*j + 2. Does 10 divide o(6)?
True
Suppose 2*t - k - k - 98 = 0, -2*k - 260 = -5*t. Does 15 divide t?
False
Is -3 + (26/1)/2 a multiple of 6?
False
Suppose -15 = -5*k + 5. Suppose 0*d - 20 = -k*d. Suppose 0 = -2*z + 6, -w + d*z + 1 = 2. Does 4 divide w?
False
Let y = -2 - -4. Suppose h = y*h - 30. Is 12 a factor of 1/(1 - 29/h)?
False
Let o(u) = -u**2 + u + 17. Let b = -2 - -2. Is 10 a factor of o(b)?
False
Let a = 4 - 7. Is 9 a factor of (-13)/(((-9)/(-3))/a)?
False
Let g(n) = n**3 - 16*n**2 - 12*n + 3. Is 22 a factor of g(17)?
True
Suppose 0 = -11*m + 4*m + 28. Suppose -28 = m*o - 5*o. Does 27 divide o?
False
Suppose 0 = -6*q + 2*q - 220. Let a be 83 - (3 + -5 - -4). Let x = q + a. Is 13 a factor of x?
True
Is (108/(-21))/((-3)/28) a multiple of 16?
True
Let u(a) = -a**2 + 21*a - 16. Is u(9) a multiple of 23?
True
Let w = 53 - 24. Let l = 5 + w. Is l a multiple of 12?
False
Is (1 - (-9)/(-7))*-7 a multiple of 2?
True
Let z(o) = -29*o - 10. Does 10 divide z(-1)?
False
Let i be 3*-31 - (-4 + 4). Let r = -44 - i. Does 16 divide r?
False
Is (660/14)/(124/56 + -2) a multiple of 20?
True
Let o = 4 - 1. Suppose 0 = 4*v + o + 1. Is 5 a factor of (-1)/(v/(-1)) - -11?
True
Let i be 1*(-2 + -1 + 0). Let a = i + 6. Suppose -2*p = m - 22, 10 + 1 = a*m - 5*p. Is 12 a factor of m?
True
Let v = -3 - 0. Let t = -5 - v. Is 17 + -1 - (0 - t) a multiple of 9?
False
Let o = -57 + 134. Is o a multiple of 6?
False
Let d = 62 + -41. Let t = -6 - -15. Let a = d - t. Is 6 a factor of a?
True
Suppose -2*b = j - 134, -232 - 170 = -3*j - 4*b. Let u = j - 88. Is 13 a factor of u?
False
Let j(v) = 40*v - 5. Let i be j(2). Suppose -5*m + 4*m = 3*q - i, q = -3. Does 12 divide m?
True
Let w(k) = -2*k**3 - 5*k**2 - 5*k - 3. Does 7 divide w(-3)?
True
Let g(d) = -d**3 + 7*d**2 - 3*d + 5. Let n(r) = -2*r + 4. Let f be n(11). Let s = -12 - f. Is g(s) a multiple of 10?
False
Suppose 0 = -u + 37 + 251. Does 48 divide u?
True
Let l = 4 - 2. Suppose -l*j = -3*d + 18, -4*d + 4 = 4*j - 0*j. Is ((-6)/d)/(3/(-6)) a multiple of 2?
False
Suppose 51 = 5*s - 69. Is 8 a factor of s?
True
Let m = -37 + 92. Does 16 divide m?
False
Suppose 5*h = -13 + 8. Let d be 0 + 1*6/h. Let m(j) = j**3 + 8*j**2 + 8*j + 2. Is m(d) a multiple of 26?
True
Suppose -3 - 669 = -6*z. Does 23 divide z?
False
Let p(i) = -i**3 - 5*i**2 + 5*i - 3. Let n be p(-6). Suppose -n*q = -6*q + 120. Does 9 divide q?
False
Let y = -60 - -210. Does 25 divide y?
True
Let b(m) = 7*m + 21. Is b(17) a multiple of 20?
True
Suppose -20 = -2*v - 3*v. Let j be 1/v - 22/(-8). Suppose 10 = j*p + 4*t - 8, -2*p + 5*t - 11 = 0. Is p even?
True
Let c be 2/8*-2*-4. Let w be (9/(-15))/(c/(-10)). Suppose -w*n + 7*k - 3*k + 48 = 0, 0 = n - 3*k - 11. Is 7 a factor of n?
False
Let b = -67 - 4. Let r be b + (-1*2)/2. Let k = -44 - r. Is k a multiple of 14?
True
Does 47 divide -1374*2/(-52) - 6/(-39)?
False
Suppose -2*t = -t - 3. Suppose 0*h + 54 = t*h. Is 7 a factor of h?
False
Suppose 2*q - 2*g - 2*g = 0, -q = -4*g - 2. Is (184/(-10))/(q/5) a multiple of 23?
True
Suppose l - 2*l + 3*o = -51, 2*l - 3*o = 96. Does 6 divide l?
False
Let l = -8 + 13. Suppose 0 = -2*n + 4*v + l + 27, -3*n - 3*v = -12. Suppose 4*y + 8 = n*y. Is y even?
True
Suppose -81 = t + 2*t. Let o = t - -72. Suppose 2*k = -9 + o. Does 18 divide k?
True
Suppose p - 34 = 5*b, 0 = p - 3*b - b - 34. Is 17 a factor of p?
True
Let i be (-1)/(-2) + 328/(-16). Let l = -9 - i. Is 4 a factor of l?
False
Let u(a) = -a - 7. Let s be u(-4). Let c be (2/s)/((-6)/27). Suppose 0 = -c*j + 25 - 1. Is 4 a factor of j?
True
Let i = -1 + 3. Suppose z - 6 = -i*z. Suppose 0 = 5*m + 15, 4*k = 6*m - z*m + 76. Does 16 divide k?
True
Suppose m = -0 + 1. Is 7 a factor of 20 - (m + (-4 - -2))?
True
Let v(a) = a - 1. Let h be v(6). Suppose -4*w + 76 = 2*s, -80 - 34 = -3*s - h*w. Let z = 74 - s. Is 12 a factor of z?
True
Suppose 0 = u - 2*u + 7. Suppose 5 + u = 3*c. Suppose 3*a + 2*s + 18 = 7*a, 0 = -a - c*s. Is 4 a factor of a?
True
Let a = 79 - -80. Is a a multiple of 16?
False
Suppose 3*c = -2*c. Let g = c - -3. Suppose -f - 3*b = 4*f - 25, 4*f - 20 = g*b. Is f a multiple of 2?
False
Suppose -3*q - u = 2*u - 108, -3*u - 179 = -4*q. Does 30 divide q?
F