Let o = -1 + r. Suppose -7*n + o*f = -2*n - 219, 4*f = 2*n - 78. Is 17 a factor of n?
False
Let k(q) be the third derivative of 0 + 0*q - q**2 + 0*q**3 + 1/12*q**4. Is 2 a factor of k(1)?
True
Let h(y) = y**2 + y**2 + 3 + 3*y - 4*y**2. Let x be h(3). Does 6 divide x/(-33) + 64/11?
True
Let y(t) = t**3 - 7*t**2 + 6*t + 4. Let w be y(6). Suppose 544 = w*z + 120. Does 33 divide z?
False
Suppose -8*a - 23 = -9*a. Is a a multiple of 16?
False
Let n(p) = -7*p**3 + 2*p**2 + 3*p + 2. Let f be n(-2). Let r = -8 + f. Suppose 2*v - 3*j + 7*j - r = 0, -2*v + 46 = j. Does 11 divide v?
True
Suppose -10*l + 11*l = 94. Is l a multiple of 20?
False
Let v = 19 + 0. Is 2 a factor of v?
False
Suppose -4*h + 2*u + 474 = -0*u, 0 = -u + 3. Is 20 a factor of h?
True
Is 14 a factor of (4 + 64/(-20))*245?
True
Let s = -7 - -10. Let i(p) = 2*p**2 - 4*p + 3. Is i(s) a multiple of 2?
False
Suppose 34 - 9 = 5*j. Suppose 19 + 26 = 2*f + j*m, 48 = 3*f + m. Is f a multiple of 6?
False
Let g = -6 + 2. Let s(j) = j**3 + 5*j**2 - 6*j - 4. Is s(g) a multiple of 13?
False
Let b = -2 + 8. Suppose -b*k - 171 = -3*k. Let f = k + 89. Is 16 a factor of f?
True
Suppose -2*a + 13 = 3. Suppose a*x - j = 4*j + 115, 2*x = -j + 37. Does 17 divide x?
False
Let b(w) = 7*w - 5. Is 3 a factor of b(4)?
False
Let k(h) = h. Let x be k(-2). Is 1 - (-52 + 3 + x) a multiple of 15?
False
Let h(d) = 19*d**2 + 4*d - 5. Let w(y) = 37*y**2 + 7*y - 9. Let p(g) = -11*h(g) + 6*w(g). Does 6 divide p(1)?
True
Suppose -2*m + 6*m = 40. Suppose 12*b = m*b + 6. Is b even?
False
Suppose -5*k - a = -360, -360 = -5*k + 2*a + 3*a. Is 12 a factor of k?
True
Let p(l) = 2*l + 14. Let x be p(-6). Suppose 0 = 5*g - 3*a - 246, -g + a = x*g - 146. Does 8 divide g?
True
Suppose v + 2*j = -0*j + 6, j - 3 = -v. Suppose 5*o + 4*c - 102 = 0, v = 2*o - 3*c - 48 - 2. Is 11 a factor of o?
True
Let n = 0 - -2. Let j be -35 - n/(1 + -2). Let z = 51 + j. Does 11 divide z?
False
Let h = 452 + 8. Does 46 divide h?
True
Let g(a) be the first derivative of 3*a**3 + 2. Is g(-1) a multiple of 8?
False
Let f = 20 + -1. Is f a multiple of 15?
False
Suppose 31 + 41 = 4*n. Let d = n - 6. Is d a multiple of 8?
False
Suppose 1 = -0*k + k. Let d be 62/4 - k/2. Suppose 4*u - 8 = -20, -3*g = -2*u - d. Does 3 divide g?
True
Let h(j) = -23*j + 16. Is h(-6) a multiple of 25?
False
Suppose 0 = 3*a + 4*o - 254, -38 = -2*a + o + 146. Is a a multiple of 18?
True
Suppose 0*j + j + 8 = 2*l, 4*l - 16 = -2*j. Suppose 0 = 4*m - 3*m + 4*g - 26, 4*m + 4*g - 116 = j. Is 15 a factor of m?
True
Suppose 4*a + 247 = g, -2*g + 429 = -2*a + 7*a. Does 39 divide g?
False
Suppose 5*r - 65 + 10 = 0. Is r a multiple of 3?
False
Is -21*(-60)/6*16/30 a multiple of 16?
True
Let n(u) = u**3 + 6*u**2 - 3*u + 4. Does 8 divide n(-3)?
True
Let b be 50*((-3)/(-2) + -2). Let h = -13 - b. Let z = h + -6. Is 3 a factor of z?
True
Let x = -88 - -58. Suppose -31 - 19 = -w. Let y = w + x. Is y a multiple of 12?
False
Is 8 a factor of 110*(-2 - (-24)/10)?
False
Suppose 1 - 2 = -c. Suppose -c + 139 = 3*m. Is 13 a factor of m?
False
Suppose 0 = -5*l - i + 388, 27 = 4*l - 3*i - 291. Does 13 divide l?
True
Let r be (-5)/2*(-30)/(-25). Let o be (-1)/(10/4 + r). Suppose -o*i - 6*p + 30 = -4*p, -2*i = -5*p - 9. Is 6 a factor of i?
True
Let g(h) = -h**2 - 8*h - 6. Let d be g(-6). Let j = 10 - d. Suppose 2*f - 59 = l, -2*f + f - j*l + 7 = 0. Is f a multiple of 11?
False
Let a = -4 - -7. Let o = -3 + a. Suppose 11 = k - 2*z, o*z = -5*k + 3*z + 90. Is 13 a factor of k?
False
Suppose 4*i - 9 = i. Suppose -b = -3*a + 101, 167 = 2*a + 3*a - i*b. Suppose -3*g = -g - a. Does 11 divide g?
False
Let o(b) = 2*b**3 - 4*b**2 + 3*b + 4. Let r be o(4). Let m = -36 + r. Is 22 a factor of m?
True
Let g = -4 + 4. Suppose g*v = 2*v - 64. Is 16 a factor of v?
True
Let x(q) be the second derivative of q**5/20 - q**4/4 + q**3/3 + 2*q**2 + 4*q. Let g be -3*(6/(-2) + 2). Does 10 divide x(g)?
True
Let i(a) = -a**3 - 10*a**2 - 2*a + 9. Let q be i(-10). Let v be (3 + -2)/((-1)/(-51)). Let l = v - q. Is 11 a factor of l?
True
Let i be ((-1)/2)/((-7)/(-14)). Is i + 26 - (-8)/(-4) a multiple of 14?
False
Let z = 15 - 10. Suppose 0 = -3*j + 4*t + 7 + 54, -2*t - 83 = -z*j. Does 15 divide j?
True
Suppose 5*r = 6*r. Let l(h) = h + 54. Does 18 divide l(r)?
True
Let u = -6 + 60. Is u a multiple of 15?
False
Let q = -20 - -35. Let j be (-1)/(-5) - 3/q. Suppose j = -2*i + 83 - 17. Is 12 a factor of i?
False
Suppose -3*p - 4 = -4*p. Suppose 43 - 13 = p*u - 5*m, -5 = -3*u - 5*m. Suppose 109 + 136 = u*x. Is 22 a factor of x?
False
Suppose 0 = 4*x + 12 - 36. Suppose -x = -h - 4*z + 2*z, -4*h - 2*z = -24. Is h a multiple of 2?
True
Let i = 14 - 11. Suppose 0 = -i*u + 6 - 18. Is 3 a factor of u/(4/3) + 13?
False
Let d = 1 + 6. Suppose -d*q + 15 = -4*q. Does 2 divide q?
False
Suppose 2 = -4*l + 6. Does 7 divide (-1)/l - (-20 - 2)?
True
Let l be 16/(-12)*(-5 + 2). Let v = l - -2. Is v even?
True
Suppose -13 = -2*n + n. Is n a multiple of 3?
False
Let c = 24 + 3. Does 9 divide c?
True
Suppose 0 = 3*w - 5*p + 15, 12 = -5*w + 6*p - 2*p. Suppose 5*i + x - 424 = -0*x, 244 = 3*i - 2*x. Suppose w = -5*t - 14 + i. Is t a multiple of 4?
False
Is (-96)/(-10) + 3*(-1)/5 a multiple of 7?
False
Suppose 4*o - h + 14 + 5 = 0, 23 = -5*o + h. Let w(v) = -6*v - 9. Let t be w(7). Is 13 a factor of t/(-2) - 2/o?
True
Suppose 2*x = -2*w + 68, 0 = x + 2*w + 3*w - 46. Does 12 divide x?
False
Suppose 0 = 3*f - 3*u + 6, -3*f = u - 17 + 7. Suppose -4*a + 6*c = 3*c - 67, 4*a = -f*c + 82. Does 15 divide a?
False
Let m be (-1)/3 - (-2)/(-3). Let z be (-4 - -2)/(m/(-2)). Is z/5*(-170)/2 a multiple of 23?
False
Suppose -5*x + 330 = q, -5*x - 2*q = -4*q - 315. Is x a multiple of 14?
False
Suppose 2*z - 12 = 28. Does 20 divide z?
True
Suppose -3*u - 31 = -4*v - v, 4*v - 4*u = 20. Suppose 3*s - v = 34. Is s a multiple of 14?
True
Let u = -16 - -87. Is 12 a factor of u?
False
Let u = 3 + -6. Let i = -2 - u. Let q(k) = 11*k**3 - k**2. Is 10 a factor of q(i)?
True
Suppose 2 = 2*v - 0*v. Let h be -1*(2 - v)*0. Suppose -f + 63 = 2*p, -4*f - 3 + 7 = h. Is p a multiple of 13?
False
Let c(g) = -g. Let n(k) = 6*k - 8. Let f(p) = -3*c(p) - n(p). Let m(t) = -t**2 - 2*t + 2. Let s be m(-4). Is 10 a factor of f(s)?
False
Suppose -2*y - y + 6 = 0. Suppose -25 = -3*h - y*h. Suppose 49 = -h*j + 114. Does 13 divide j?
True
Suppose 0*d - d = -4. Suppose 6*v + d = 5*v, 5*y = 5*v + 190. Does 11 divide y?
False
Let j = 250 + -128. Is 9 a factor of j?
False
Suppose 0 = -3*o - o + 3*b + 63, -3*o = b - 57. Does 18 divide o?
True
Suppose z + 4*j = 18, 4*j = -7*z + 2*z + 58. Let w = z + -1. Is w a multiple of 3?
True
Let s = 3 - 3. Suppose 2 - 11 = -3*z. Suppose -z*b - b + 140 = s. Is b a multiple of 21?
False
Let y(n) = -2*n + 1. Let d be y(1). Suppose 2*z + 4 = r + 2, 5*z = -5*r + 25. Is 3 a factor of 2/d*(-6)/r?
True
Does 21 divide 13194/126 - (-4)/14?
True
Suppose 2*s - 2 = 4. Suppose 4*x - 4*b = 200, -x - s*b - 17 = -87. Is x a multiple of 11?
True
Let m = -3 + 4. Let s be ((-8)/(-20))/(1/(-25)). Let d = m - s. Is d a multiple of 4?
False
Let q be 1*-2 - 0 - -5. Suppose q*r = -5*u - 27, 2*u + 3*r = -16 - 2. Is 4 a factor of (u/(-4))/(2/24)?
False
Let i(r) = -r**3 - 5*r + 6. Is 14 a factor of i(-4)?
False
Suppose -3*z - 12 = -117. Does 7 divide z?
True
Let u be 0 + (-13 - (-3 + 2)). Let n = 20 + u. Is n a multiple of 8?
True
Let h(j) = j**3 + 10*j**2 + 10*j + 11. Let q be h(-9). Suppose -64 = -q*a + a. Is a a multiple of 11?
False
Let c(n) = 9*n - 5. Is c(4) a multiple of 6?
False
Suppose -4*u - 2*o = 46, 4*o + 3 = 2*u + 1. Let a(t) = -t - 2. Is a(u) a multiple of 3?
False
Suppose -4*t = 5*d - 244, -3*d - 238 = -8*d + 2*t. Is d a multiple of 16?
True
Let u(w) be the second derivative of w**3/2 - 3*w**2/2 + w. Is 8 a factor of u(6)?
False
Is 11 a factor of -18*(1 - 3) + 2?
False
Let u = -3 - -11. Is 4 a factor of (-46)/(-4) + u/16?
True
Suppose 0 = -4*m - 14 + 6. Let b be m/(-2)*2 + -10. Is 87/5 + b/20 a multiple of 8?
False
Suppose -424 = -2*l + 2*a, 416 = 2*l + 2*a - 0*a. Is 14 a factor of l?
True
Is 18 a factor of 65 - 0*4/4?
False
Is 73 + 9 + -2*2/1 a multiple of 13?
True
Let r(j) = 3*j**2 + 15*j + 6. Is 12 a factor of r(-7)?
True
Let r(b) = 57*b**2 - 2*b - 1. Let i be r(-1). Let s(k) = k**3 