s - 2. Let b be j(5). Let k = b + -6. Does 4 divide k?
True
Let x(c) = -18*c + 5. Is x(-4) a multiple of 14?
False
Suppose n + 4*n - 475 = 0. Does 19 divide n?
True
Suppose -275 = -b - 26. Suppose -b = -6*c + 165. Does 16 divide c?
False
Let i(a) = a**3 + 12. Is 11 a factor of i(0)?
False
Let g(n) = -133*n**3 - n**2. Is 11 a factor of g(-1)?
True
Does 8 divide (6/(-9))/(2/(-42))?
False
Let b(j) = -3*j**2 + j + 135. Does 27 divide b(0)?
True
Let d(g) = -2*g**3 + 2*g**2 + 3*g. Suppose 0*k - 3*v = k + 8, -4*v - 10 = k. Is d(k) a multiple of 11?
False
Suppose 5*w = 4*r - 11, -w - 4*r + 19 = 2. Let s = w + 20. Does 5 divide s?
False
Let h = 68 - 46. Suppose 4*c = 2*c + h. Is 6 a factor of c?
False
Suppose -5*j + 3*l + 542 = 0, -4*l + 132 = 2*j - 64. Is j a multiple of 10?
False
Suppose 0 = -3*g + 3 + 189. Let p = g + 20. Suppose -5*z = -2*z - p. Is 14 a factor of z?
True
Let s(z) = 2*z**3 - z**2 + z. Let a be s(1). Suppose 5*q + 13 = -v, 0 = a*v - 3*q - 11 - 2. Suppose 0 = 6*b - v*b - 56. Is 6 a factor of b?
False
Let c(k) = k**3 + 4*k**2 - 7*k - 10. Does 11 divide c(6)?
True
Let h(w) = 4*w**3 - 3*w**2 - w + 2. Let u be h(-2). Let k be 3/(-2)*u/6. Suppose 25 = 5*f - k. Is f a multiple of 3?
False
Suppose -6*w = -4*w - 4, 3*h + 3*w = 18. Suppose a - h = -0. Suppose -4*g + 42 = 2*t, 3*g + g - 32 = -a*t. Does 13 divide g?
True
Is 9 a factor of (-133)/(-5) - 4/(-10)?
True
Suppose 9*c - 4*c = 340. Is c a multiple of 17?
True
Let r(i) be the first derivative of -i**6/120 + i**5/15 - i**4/24 - i**3/3 - i**2/2 - 3. Let o(f) be the second derivative of r(f). Is o(3) a multiple of 2?
True
Suppose 676 + 424 = 10*n. Is n a multiple of 20?
False
Let x = -53 - -109. Let z = x + -32. Is z a multiple of 9?
False
Suppose 6*y - 99 - 261 = 0. Does 12 divide y?
True
Let i = 237 - 69. Does 28 divide i?
True
Is 49 - (-9)/(7 - 4) a multiple of 25?
False
Suppose 0 = -j - 4*j + 10. Suppose -3*m = -j*m - 28. Does 9 divide m?
False
Let j be 8/(-5 - -1) - -42. Let v = j - 20. Is 10 a factor of v?
True
Let s(x) = 3*x**2 + 6*x - 4. Let q(n) = 4*n**2 + 7*n - 4. Let d(b) = 2*q(b) - 3*s(b). Let r be d(-4). Suppose 3*z = -6, r*m + 5*z - 48 = 22. Is 7 a factor of m?
False
Let v(i) be the third derivative of -i**6/120 + i**5/30 + i**4/24 + 3*i**2. Is v(-2) a multiple of 7?
True
Suppose 3*n = -2*n - 4*i + 82, -n + 5*i + 28 = 0. Does 14 divide n?
False
Let h = -30 - -57. Is 13 a factor of h?
False
Let x(s) = 136*s**2 + 3*s + 4. Is x(-1) a multiple of 58?
False
Let d = 36 + -110. Let v = d + 107. Is 11 a factor of v?
True
Let z be 1 + (-5)/((-10)/(-52)). Let n = z - -53. Let s = -11 + n. Is s a multiple of 17?
True
Let s = 64 - 38. Suppose -4*f - s = -138. Is 14 a factor of f?
True
Let j(q) = 2*q**3 - 4*q**2 + 9*q - 10. Is j(5) a multiple of 11?
False
Suppose l = b - 4, -b + 2*l - 7*l = -4. Let f(p) = -p**2 + 5*p - 1. Does 3 divide f(b)?
True
Let n = 164 - 276. Let z = -56 - n. Is z a multiple of 14?
True
Let z = -45 - -65. Suppose 0*w + 5*w = a + 50, -2*w + a = -z. Is 10 a factor of w?
True
Let p be (-78)/(-21) - 10/(-35). Suppose p*w + 6 = 54. Is w a multiple of 12?
True
Let c = -23 - -41. Does 7 divide c?
False
Is (0 - (-7)/3)*(1 - -8) a multiple of 11?
False
Let c(g) = -g**2 + 6*g - 5. Let d be c(4). Suppose 8 = -4*x, -2*u + d*x = 3*u + 14. Let t = 8 - u. Is t a multiple of 9?
False
Let c be (-1 - -12) + -3 + 5. Suppose -2*n = c - 59. Is 12 a factor of n?
False
Let m(u) = -u**2 - 1. Let t(h) = h**3 - 14*h**2 - 14*h + 4. Let z(y) = 4*m(y) - t(y). Is z(11) a multiple of 11?
False
Let w be 25/(-1 - -1 - -1). Suppose 0 = -q + 9 + w. Is q a multiple of 17?
True
Let z = -1 - -5. Suppose 57 + 3 = 5*f. Suppose -2*m + z = -f. Is m a multiple of 8?
True
Let b(m) = -m**3 + 9*m**2 - 7*m + 1. Let p be b(8). Let c(y) = p + y**3 + 2*y**2 + 6*y**2 - 2 + 4*y + 0*y**3. Is 22 a factor of c(-7)?
False
Suppose -2 = 3*f - 11. Suppose 3*t - f*o + 9 = 4*t, 0 = 4*t - 4*o - 116. Is 12 a factor of t?
True
Let h(i) = 5 + 12*i + 3 - 4*i - i**2. Is 11 a factor of h(7)?
False
Suppose 2*i = 4*m - 9 - 3, 4*m + 4*i = 12. Suppose -17 - 64 = -m*k. Is 27 a factor of k?
True
Let w(f) = -2*f**3 - 6*f**2 - f - 2. Is w(-4) a multiple of 34?
True
Let p be ((-16)/20)/(2/10). Let x(k) = 1. Let a(b) = b + 4. Let v(y) = -2*a(y) + 11*x(y). Does 7 divide v(p)?
False
Let x = -10 + 12. Suppose -p + x*l + 2*l = -91, -4*p + 5*l + 309 = 0. Does 27 divide p?
False
Let w be ((-4)/(-8))/(2/(-8)). Suppose -4*s + 108 = -s. Does 9 divide 1/(w/s*-2)?
True
Suppose -9*g = -7*g - 28. Suppose 0 = 4*u - 102 + g. Does 11 divide u?
True
Let h(x) = -x**2 - 4*x + 4. Let w be h(-4). Suppose -w*j = -2*f + 112, 3*f - j - 138 - 10 = 0. Is f a multiple of 18?
False
Let d(o) = o**2 + 11. Let f be d(0). Let y be f*(2 - -1)/3. Suppose s + 0*s = y. Is 11 a factor of s?
True
Let k = -117 + 236. Is k a multiple of 20?
False
Let f = 14 - -16. Is f a multiple of 30?
True
Let n(v) = -4*v - 1. Let r be n(-1). Suppose 3*j = 2*j + m + 40, r*j - 88 = -5*m. Is 15 a factor of j?
False
Let w(n) = 2*n + 10. Let y be w(-9). Let p be 2/y + (-39)/(-12). Suppose p*l - 97 = -6*z + z, 5*z + 59 = l. Is 15 a factor of l?
False
Let w(z) = 5*z + 5. Let d be w(5). Let p be (-8)/(-4)*(-1)/(-1). Suppose 3*l = -4*g + 51, -2*l = 6*g - p*g - d. Is l a multiple of 10?
False
Suppose -22 = -2*m + 66. Suppose -m = 2*v - 0*v. Is (v/2)/(1 + -2) a multiple of 8?
False
Suppose 5*d + 1 = -2*l - 5, l + 4*d + 6 = 0. Let b(m) = -4*m - 1. Let i be b(l). Is 11 a factor of 3/(i/(-6)) - -9?
True
Let w(l) = l**2 - 8*l - 20. Does 35 divide w(-7)?
False
Let n = 40 - 83. Let p = 61 + n. Is 8 a factor of p?
False
Let x(o) = -o**3 + 6*o**2 - 3*o - 5. Let w be x(5). Suppose w*k - 6 - 9 = 0. Is 2/k + (-82)/(-3) a multiple of 8?
False
Let z be (4/(-6))/(1/(-3)). Suppose -72 = -4*g - 0*g + z*m, -5*m = 3*g - 28. Is g a multiple of 8?
True
Let p(i) = -i + 8. Let o be p(8). Suppose o*f - f + 1 = t, -t + 9 = -3*f. Is 7 a factor of -6*(-1)/f + 17?
True
Suppose -3*g = 15, -n + 20 + 7 = -2*g. Suppose -i + 2*w = w - n, w + 85 = 5*i. Is 17 a factor of i?
True
Let i = 58 + 10. Is 20 a factor of i?
False
Suppose 5*w - 6 = -3*f + 12, -3*f + 18 = -3*w. Let h be 6*(0 + 16/f). Suppose -2*m + 1 = -y, -2*y - 7*m + 2*m = -h. Is y even?
False
Let d(q) = 12*q - 1. Let p be d(4). Suppose 2*g + 4*t = 52, -5*g - t + p + 56 = 0. Is 10 a factor of g?
True
Let s(h) = -6*h**2 + 5*h + 2. Let v be s(-3). Let w = 35 + v. Is 16 a factor of w*(4 + -3)*-1?
True
Let r be (63/(-2))/((-6)/8). Suppose 4*q = r - 10. Is 4 a factor of q?
True
Let w(i) = 2*i**2 + 2*i - 2. Let f be w(-2). Suppose -29 = -f*h + 1. Is 14 a factor of h?
False
Let t be (-14)/(-35) - (-86)/10. Let h = 40 - t. Is 8 a factor of h?
False
Suppose -7*a - 5 = -2*a. Let w be -8 - (a + 4 + -2). Let n(i) = i**3 + 9*i**2 + 8. Is n(w) a multiple of 8?
True
Suppose -3*c + 360 = c. Suppose -n = -4*n + c. Is 14 a factor of n?
False
Let j(u) = -3*u - 15. Is j(-7) a multiple of 4?
False
Let c be -5 - -2 - (-2 - 1). Suppose -2*k + 5*j = -73, c*k + 28 = 2*k + 4*j. Is 8 a factor of k?
True
Let w = -8 - -7. Does 17 divide (1 + -52)*(w + 0)?
True
Let j(n) = 6*n**3 + n**2. Let d = 10 + -9. Is j(d) a multiple of 7?
True
Let d(k) = k**3 - 6*k**2 + 2*k + 3. Is d(6) a multiple of 5?
True
Let x be 78/2 - (-6 + 3). Is 20 a factor of 1692/x + (-4)/14?
True
Let s = -21 + 31. Is 10 a factor of s?
True
Suppose s + 9 = -3*n - s, 2*n + 6 = 3*s. Let p be ((-2)/(-2) + n)*8. Let c = p + 58. Is c a multiple of 21?
True
Let v(t) = t**2 - t. Let y be v(-1). Suppose -3*w + 57 = 3*a, w - 2*a - y*a + 1 = 0. Does 15 divide w?
True
Let a = 9 + -8. Let t be -1*82*a/2. Let j = t + 58. Is 17 a factor of j?
True
Let q = -7 - 2. Let p = q - -18. Suppose -y + p = -0. Is y a multiple of 7?
False
Let p(y) be the second derivative of y**6/360 + y**5/24 + y**4/4 + y**3/3 + y. Let v(w) be the second derivative of p(w). Is v(-5) a multiple of 6?
True
Let g(u) = u - 18. Let z be g(8). Let f = 9 + z. Is 1 - -1 - f/1 a multiple of 3?
True
Let q(s) = -s**2 + 10*s. Let n be q(10). Suppose -m + 5*m - 20 = n. Does 3 divide m?
False
Suppose 0 = -3*q - 0*q - 453. Let w = 225 + q. Is 16 a factor of w?
False
Let o(h) = 5*h. Does 14 divide o(6)?
False
Suppose -30*x + 32*x = 504. Is 14 a factor of x?
True
Let x(u) = 4*u**3 - 2*u**2 + 1. Let