 6 a factor of b?
True
Let j(d) = d**2 + 1. Let h be j(-2). Suppose h*f - f - 188 = 4*z, 4*f - 2*z = 182. Is f a multiple of 21?
False
Let s(k) = -k**3 + 8*k**2 + 9. Is s(8) even?
False
Let z = 10 - 5. Suppose 0 = 4*x - 5*x + 2*a - 6, 5*x = -z*a + 15. Suppose 5*o - 2*n - 13 - 152 = x, -4*n = 0. Is 11 a factor of o?
True
Let c = -15 - -47. Let j be c/18 + (-10)/(-45). Suppose -j*p = 20 - 88. Does 9 divide p?
False
Let b(p) = -p**2 - p + 11. Let o be b(0). Suppose -4*m = -59 + o. Is 7 a factor of m?
False
Suppose -5*k + 12 + 38 = 0. Let c = 2 + k. Is 10 a factor of c?
False
Let j(a) = -a**3 - 7*a**2 + 6*a - 9. Let d be j(-8). Let y = 0 - 0. Let o = y + d. Does 3 divide o?
False
Let z(v) = 6*v**3 + v**2 - v. Suppose -2*g + 7 = -g. Let n(q) = q - 6. Let c be n(g). Is z(c) a multiple of 3?
True
Suppose 6 = 2*y + 5*c, 5*y - 2*c = c + 46. Suppose -4*g - y = -4*q, -4*q + 14 = -5*g + 6. Suppose g = 5*k - 24 - 186. Is k a multiple of 15?
False
Let m be 162*-1*6/(-9). Suppose 0 = 5*s - 303 + m. Does 14 divide s?
False
Suppose 0 = 5*c - 42 - 28. Does 4 divide c?
False
Let q = -47 - -26. Let n = q - -30. Is 6 a factor of n?
False
Let z(w) = 2*w - 3. Let t be z(3). Suppose t*g - 186 = -2*g + 2*k, 3*g - 111 = k. Does 22 divide g?
False
Suppose 0 = 6*c - 7*c + 5. Suppose -c*t + 2*x = -268, 5 = 6*x - x. Is 27 a factor of t?
True
Let u = 0 - 3. Let j = u + 3. Suppose b + 3*b - 36 = j. Does 4 divide b?
False
Suppose -z = 3*z - 4*r - 8, 3*r - 18 = -3*z. Suppose z*c + 39 = 3*x, 5*x - 50 = c + 32. Is 5 a factor of x?
False
Suppose 2*b = 5*y - 1 - 0, -b + 1 = -4*y. Let s = 0 - y. Does 23 divide (-1 + 0)/(s/(-41))?
False
Let d(m) be the first derivative of 91*m**4/4 + 2*m**3/3 - m**2/2 - 3. Let n be d(1). Suppose -n = -5*f + f. Is f a multiple of 21?
False
Does 11 divide (6*(-8)/(-6))/((-4)/(-14))?
False
Let s(k) = 4*k**3 - 2*k**2 + 2*k + 2. Let u be s(2). Let h = -10 + u. Is h a multiple of 20?
True
Suppose 3*w = 5*j - 0*w + 8, -4*j - 4 = -3*w. Is ((-2)/(-4))/(j/(-232)) a multiple of 13?
False
Suppose -3*a = -3*k + 57, -3*a + 0*k = -k + 49. Does 6 divide ((-18)/a)/(2/20)?
True
Suppose -9*l + 46 = -8*l. Is l a multiple of 23?
True
Let g = 4 + -2. Suppose 0 = g*h - 132 - 60. Suppose 4*i + 3*w - h = -2*w, -5*w - 96 = -4*i. Does 9 divide i?
False
Suppose -5*b + 8 + 2 = 0. Let y be (b/4)/((-2)/(-8)). Suppose -m = m + 3*r - 12, -4 = y*r. Is 9 a factor of m?
True
Let v(h) be the first derivative of 3*h**2/2 + 4*h - 5. Is 16 a factor of v(5)?
False
Let u = -12 - -84. Does 16 divide u?
False
Suppose 3*j + 6 = -2*z - 3, 4*j = 4*z - 12. Suppose 3*n - 4*l - 129 = z, 0 = n + l - 3*l - 43. Is n a multiple of 17?
False
Let b = 132 + -77. Is b a multiple of 3?
False
Let n = -11 - -18. Let r = 22 - n. Does 5 divide r?
True
Let z(r) = -5*r**2 - 2*r + 5. Let b be z(-4). Let m = b - -24. Let l = 60 + m. Is 17 a factor of l?
True
Let g = 1 + 3. Suppose 17 = g*u + 1. Is u a multiple of 4?
True
Suppose 2*k - 3*g + 510 = 5*k, 0 = k - g - 166. Suppose 0 = 2*u + 4*u - k. Is u a multiple of 28?
True
Let x be (-2 - 34/6)*3. Let l = 84 + -33. Let k = x + l. Is k a multiple of 14?
True
Suppose 4*t = 4*h - 724, 0*t = -h - 2*t + 178. Does 20 divide h?
True
Let h(k) = -6*k - 37. Does 15 divide h(-26)?
False
Let p(h) = -3*h + h**2 - 4 + 5*h + 5. Let t(b) = -2*b**2 + b + 1. Let i be t(2). Does 9 divide p(i)?
False
Let q = 4 + 3. Suppose w = q + 4. Is 3 a factor of w?
False
Is 17 a factor of 2/(-7) - (59910/(-35))/6?
False
Suppose 0*k - 24 = -4*k + 4*j, 2*k - 5*j - 3 = 0. Let c(d) = k*d**2 + 0*d**2 + 1 + 20*d**2 - d. Does 10 divide c(1)?
False
Let n(b) = 3*b**2 - b + 2. Let i(y) = y**2 - 8*y + 2. Let k be i(8). Is n(k) a multiple of 4?
True
Suppose -4*i - 26 - 14 = 0. Let y = -1 - i. Is 3 a factor of y?
True
Suppose -5*h - 2*q = -203, 3*h - 101 = 3*q + q. Suppose -3*c - 4*u + 8 = -4*c, -4*c - u = 117. Let g = c + h. Is g a multiple of 11?
True
Suppose 3*c + t = -0*t + 347, -3*c = 4*t - 335. Does 13 divide c?
True
Let j(y) = -y**3 + 10*y**2 - 3*y - 5. Is 11 a factor of j(8)?
True
Let w be -179*(-4)/(4/1). Suppose -2*v + 100 = -5*d, 3*v + 54 = -5*d + w. Is v a multiple of 15?
True
Let y = -7 - -29. Suppose 0 = 2*q + 3*h - y, -6 - 28 = -4*q - h. Suppose 4*n = 3*g + 28, q = 3*n + 3*g - 13. Is n a multiple of 7?
True
Suppose -2*v = -5*a - 6 - 15, -v - 2*a = 12. Is 2/(-1) - -42 - v a multiple of 14?
True
Let b = -5 - -9. Suppose -b*d = o - 6*o + 45, 4*o + 3*d = 5. Suppose 3*g - 90 = -o*c, -2*c = -0*c + g - 37. Is c a multiple of 6?
False
Is 8 a factor of 3 - (-8)/((-24)/(-63))?
True
Let c(b) = 4*b**2 + 8*b + 4. Let j(m) = -5*m**2 - 7*m - 3. Let t(v) = -4*c(v) - 3*j(v). Let g = 13 - 23. Is t(g) even?
False
Suppose -2*b = 3*h - 41 + 5, 4 = h. Is 4 a factor of b?
True
Let t(z) = 54*z. Let r(d) = -d - 6. Let s be r(-7). Is t(s) a multiple of 21?
False
Suppose -5*x + 57 = 2*c, 2*x = -5*c + 117 + 57. Is 4 a factor of c?
True
Let u = -15 - -100. Does 12 divide u?
False
Let k(p) = p**3 - p**2 - p - 43. Let o be k(0). Let s = o - -91. Does 8 divide s?
True
Suppose -6*o + 8*o = 0. Suppose -t - 5*c + 28 = 0, -3*t - 2*t + c + 166 = o. Is 21 a factor of t?
False
Suppose u = 4*j - 0*u - 4, 2*j = -5*u + 24. Suppose -4*d = 4*p - 88, -2*p = -j*d - 0*d + 56. Is 15 a factor of d?
False
Let z = -7 + 3. Let c = -2 - z. Suppose -c*t - 48 = -5*t. Is 5 a factor of t?
False
Let r(n) = -6 + 3*n**2 + 3 - 5 - 2*n**2 + 2*n. Let i be r(-7). Is 1*(i + 0/3) a multiple of 9?
True
Let q(p) = -2*p**2 + 33*p - 2. Let t(s) = -s**2 + 16*s - 1. Let i(r) = -6*q(r) + 13*t(r). Let g be i(9). Let b = 13 - g. Is 5 a factor of b?
True
Let h = 10 + -6. Suppose 0 = q - 3*r + 18, 4*q - 2*r + 2 = -4*r. Does 18 divide q/6 + 146/h?
True
Suppose 3*q + q = -4. Let u = 5 + q. Is u even?
True
Suppose 0*g + 5*g - 145 = 0. Does 9 divide g?
False
Suppose -3*b = x - 86, -3*x - 2*b + 188 = -x. Suppose -3*j + 3*t + 102 = 0, -j + x = 2*j - 5*t. Suppose 0 = -2*a + 4*o - 4, 5*a - 2 = -2*o + j. Does 6 divide a?
True
Let m(g) = -2*g + 7. Let x be m(7). Let h = x - -9. Suppose -h*w = -5*q - 6*w + 42, 4*q = 4*w + 48. Is 4 a factor of q?
False
Let j(g) = g**2 + 3*g - 3. Is 5 a factor of j(-6)?
True
Let d = 8 + -5. Suppose n + d*n + z = 57, -2*n + z + 33 = 0. Is n a multiple of 7?
False
Let n(d) = d**2 + 3*d - 5. Let y be n(-5). Suppose -3*u + 1 + y = 0. Suppose 27 + 1 = u*l. Does 7 divide l?
True
Suppose s = 3*z - 102 - 113, 3*s - 278 = -4*z. Suppose 0 = -y - 4*f + 23, -3*f - z + 2 = -5*y. Suppose -k + 4*k + 5*o - y = 0, -k - o + 7 = 0. Does 5 divide k?
True
Let f(r) = r**3 + 7*r**2 - 9*r - 5. Let b be f(-8). Let u be (-3)/9 - (-121)/b. Is 17 a factor of 4/(-2) + u - 1?
False
Let h = 65 + 77. Suppose 0 = 5*a - h - 28. Is 17 a factor of a?
True
Suppose 0 = a + 4*a - 25. Suppose -1 + 13 = l. Let f = a + l. Is f a multiple of 9?
False
Let i = -1 - -1. Suppose 3*w + 0*w - 60 = i. Is 6 a factor of w?
False
Let z(x) = 3*x**3 + 29*x**2 + 21*x - 14. Let j(a) = a**3 + 10*a**2 + 7*a - 5. Let p(f) = 11*j(f) - 4*z(f). Is p(-5) a multiple of 10?
False
Suppose 0 = 2*g - 0*z + z - 9, 6 = 2*z. Let x = 6 - g. Suppose 0 = -7*c + x*c + 36. Is 6 a factor of c?
False
Suppose 2*v - 3*t - 228 = 0, t - 6*t = 2*v - 228. Let j = -54 + v. Is 17 a factor of j?
False
Let d be -1 - (0 - 1/1). Let s(l) = l**3 + 1. Let i be s(1). Let m = i + d. Is m a multiple of 2?
True
Let q be (-5 - 6)/(0 - -1). Let g = q + 16. Suppose 0*a + 3*a - r = 30, -3*a = -g*r - 42. Is 8 a factor of a?
False
Suppose -3*l + 48 + 537 = -2*v, -l + 3*v = -195. Let n = l - 93. Is n a multiple of 34?
True
Suppose 5*t - 128 - 102 = -5*p, 4*t = -p + 46. Is 11 a factor of p?
False
Let u be 0/(-4 + 1 + 4). Suppose u*n = 5*n + 2*r - 14, 5*n + 3*r - 11 = 0. Suppose -2*s = 0, -35 = -4*d - d - n*s. Is d a multiple of 3?
False
Let s be 84/49*(-14)/(-4). Is 11 a factor of 275/10*s/5?
True
Let t(q) = 2*q**2 + 10*q + 4. Let n be t(-5). Suppose n*i - 246 = 62. Does 20 divide i?
False
Let p(v) = -9*v**2 + 8*v - 3. Let n(k) be the second derivative of -k**4/4 + k**3/2 - k**2/2 - 2*k. Let t(x) = 8*n(x) - 3*p(x). Does 4 divide t(-1)?
True
Let w = -9 + 14. Let x = 8 - w. Suppose 2*f + 24 = 7*f - x*o, -2*f - 3 = 3*o. Is f even?
False
Suppose -3*g + 6 + 3 = 0. Suppose l - g*l + 96 = 0. Is l a multiple of 16?
True
Let f(g) = g + 2. Let u be f(2). Supp