 - s**3/6 + s**2. Is 19 a factor of f(-2)?
True
Let t = 0 - -4. Let p(m) = 2*m**2 + 12*m - 14. Let z(k) = -k**2 - 4*k + 5. Let x(u) = -3*p(u) - 8*z(u). Is x(t) a multiple of 12?
False
Suppose 185 = -3*j + 8*j. Is j a multiple of 37?
True
Let b(m) = -2*m**2 - 3*m - 2. Let z be b(-5). Let h(t) = -40*t + 1. Let u be h(2). Let s = z - u. Is 21 a factor of s?
True
Let w = -166 + 282. Suppose s = 3*s - b - w, -3*b = 0. Does 14 divide s?
False
Let o(y) = -y**3 + 8*y**2 - y - 9. Is o(7) a multiple of 11?
True
Let y = -6 + 6. Suppose y = 3*h - 0*h - 84. Is 11 a factor of h?
False
Suppose 528 = -3*y + 9*y. Does 24 divide y?
False
Suppose -4*t - 215 = -2*l - 69, -5*l + 351 = -3*t. Is 13 a factor of l?
False
Suppose -l - 3*o = -2*l + 77, 170 = 2*l + 2*o. Is 10 a factor of l?
False
Suppose 13*g = 8*g + 10. Suppose -g = -u + 2. Is u a multiple of 4?
True
Let s(g) = -4*g - 2. Let a be s(2). Let o(l) = 3*l**3 - 2*l**2 + 2*l - 2. Let t be o(2). Let r = a + t. Is 3 a factor of r?
False
Suppose 482 + 78 = 4*v. Is 27 a factor of v?
False
Let g = 12 + -4. Suppose 0 = -3*h - 2*q - 4, 9 = -4*h - 5*q - g. Is 2 a factor of h?
True
Let s(a) = -5*a - 2. Does 14 divide s(-5)?
False
Suppose -u = -n + 6*n - 40, -4*u - 5*n + 100 = 0. Is 13 a factor of u?
False
Let t = -31 + -5. Is 6 a factor of (-8)/t - (-230)/18?
False
Suppose 18*o = 14*o + 576. Does 12 divide o?
True
Does 13 divide (20/6)/(-5) + 1880/12?
True
Let z(l) = -6 + 9*l - 7*l + 6*l. Let k = 3 - -1. Is 13 a factor of z(k)?
True
Let j = 10 - 4. Let a = j + -4. Suppose 4 = a*l - 2*o, 5*o = -4*l + 18 + 35. Is 7 a factor of l?
True
Let n be (2 + 4)/((-3)/16). Let u = n - -55. Is u a multiple of 8?
False
Let t(a) = a - 1. Let v be (1 + -4)*(-4)/(-3). Let u(f) = -f + 1. Let b(p) = v*t(p) - 5*u(p). Is 5 a factor of b(7)?
False
Let w = 28 + -14. Does 9 divide w?
False
Let o = 101 + -39. Is 5 a factor of o?
False
Let k = 53 + -106. Let l = -16 - k. Is 13 a factor of l?
False
Suppose 3*x = 3*t + 167 + 22, 0 = 4*t. Is 8 a factor of x?
False
Let w(b) = 10*b**2. Let p be w(3). Suppose 0 = -3*g + 2*g + p. Is g a multiple of 30?
True
Let j(k) = k**3 + 7*k**2 + 4*k - 7. Let q be j(-6). Let z = q + -2. Suppose 58 = z*v - 11. Is v a multiple of 8?
False
Let f(t) = -t**3 + t - 16. Let h be f(0). Let n = h - -34. Is 18 a factor of n?
True
Let s = 12 + -6. Let i = s - -2. Suppose 0 = -3*n - a + i, n = -0*n - 3*a - 8. Is n a multiple of 3?
False
Let q be 0/(-2 + 6/2). Suppose v = -q*v + 12. Suppose -3*h = -0*h - v. Is h a multiple of 2?
True
Let b = 8 + -3. Suppose 4*p + 2*m - 54 = 0, 17 - 2 = -b*m. Suppose -4*l + p = -33. Is l a multiple of 6?
True
Suppose m - 26 = 4*a, 9*a - 4*a - 35 = -m. Let l = m + -21. Is l a multiple of 9?
True
Does 5 divide 8 + -6 - 8/(-1)?
True
Suppose -4*v = -4*j - 172, -2*v + 0*v = 2*j - 82. Is 25 a factor of v?
False
Let p(x) be the first derivative of 1 - 4*x**3 + 11/2*x**2 + 16*x + 1/4*x**4. Is 8 a factor of p(11)?
True
Suppose -5*a = q + 1, -2*a + 6*a - q = 1. Suppose 4 - 62 = -3*g + 2*w, a = 4*g - 3*w - 78. Is g a multiple of 6?
True
Suppose 4*w + 10 - 30 = 0. Is 5 a factor of w?
True
Let a(p) = 7*p**3 + 17*p**2 - p. Let y(t) = 11*t**3 + 26*t**2 - 2*t. Let s(r) = -8*a(r) + 5*y(r). Is s(-7) a multiple of 21?
True
Let b(w) = 47*w**3 + w**2. Let k be b(1). Let r = k - 21. Does 8 divide r?
False
Let u(s) = 4*s**2 + 0*s**2 - 2*s**2 + 6*s + 3. Let n = -2 - 2. Does 11 divide u(n)?
True
Let k = -5 - -8. Suppose 0*r - 9 = -k*r. Suppose -r*p - 30 = -g, -2*p = -p - 3. Is g a multiple of 19?
False
Let z = -17 - -72. Is 10 a factor of z?
False
Let b = 168 + 91. Does 28 divide b?
False
Suppose -4*y + 35 + 17 = 0. Let l(j) = j**3 - 2*j**3 + 15*j + 12*j**2 + 0*j**3. Does 18 divide l(y)?
False
Suppose -2 = -2*o + 14. Does 2 divide o?
True
Suppose 3*z = 2*b - 66, 3*b + b + z = 160. Does 13 divide b?
True
Let m(r) = -8*r**3 + r**2 - 3*r - 4. Let h be (-2)/(-1) - (8 + -4). Does 16 divide m(h)?
False
Let p(a) = 35*a**2 - 5*a + 7. Let m(k) = 18*k**2 - 3*k + 4. Let v(u) = -5*m(u) + 3*p(u). Is v(-1) a multiple of 8?
True
Let p(g) be the second derivative of 3*g**5/20 - g**4/4 + g**3/2 - g**2/2 - g. Is p(2) a multiple of 7?
False
Let x(p) = 13*p**2 + 4*p + 7. Is 16 a factor of x(-3)?
True
Suppose 4*q = h - 42, -2*q + q = 5. Suppose -h = -4*u - 2. Is u a multiple of 5?
True
Suppose v - 3 = 7. Suppose 0 = 8*m - v*m + 10. Suppose 0 = -m*a - 0*a + 60. Does 5 divide a?
False
Suppose -7*f + 2*f = 0. Is f + 0 - (1 - 12) a multiple of 4?
False
Let p(m) = -m**2 + 46. Let d be p(0). Suppose 23 = -3*n - 31. Let q = n + d. Is 14 a factor of q?
True
Let u = -3 - 16. Let y = 37 + u. Does 6 divide y?
True
Let k = -53 + 74. Is 7 a factor of k?
True
Suppose v - 4*s + 0*s - 72 = 0, 4*v = 2*s + 260. Does 42 divide v?
False
Suppose 915 = 8*f + 123. Is 33 a factor of f?
True
Let a = -360 - -528. Is 42 a factor of a?
True
Suppose 4*b - 8*b = -56. Is b a multiple of 7?
True
Suppose 2*t + 4 = 4*t, 5*p + 5*t - 25 = 0. Suppose -2*h = p*h - 270. Does 18 divide h?
True
Let h be 26/(-4) - (-4)/(-8). Let f(v) = -v**3 - 8*v**2 - 8*v + 4. Does 11 divide f(h)?
True
Let l be 46/8 + 2/8. Let i(q) = q**3 - 5*q**2 + 6*q - 6. Let d be i(4). Is l + d + 0 - -1 a multiple of 5?
False
Let m(w) = w**3 + w**2 + 2*w. Is m(3) a multiple of 14?
True
Suppose 3*z - 2*a = -0*z + 13, 0 = -z - a + 6. Suppose 125 = 3*f - z*q - 80, -f + 63 = q. Suppose -2*n = 3*n - f. Does 7 divide n?
False
Suppose 1 = 2*q + c + 4, -4*q + 3*c + 9 = 0. Suppose q = -z - f - 4*f - 21, 3*z - 27 = 3*f. Does 4 divide z?
True
Let z be 4/10 - (-535)/(-25). Suppose 2*t + 199 = -5*p, 7 = 4*t - 5. Let u = z - p. Is u a multiple of 10?
True
Suppose 0 = -0*k + 2*k + 6. Is 17 a factor of k*((-64)/6 - 2)?
False
Let m be 2 + (-2)/((-4)/6). Let r(h) = 8 + 2*h + 6*h**2 + 0*h**3 - 7 - h**3. Is 18 a factor of r(m)?
True
Suppose -33*c + 35*c = 54. Is c a multiple of 16?
False
Suppose -i + 0*i + 3*a = -392, -5*i + 1880 = 5*a. Does 20 divide i?
True
Let p(y) = 3*y**2 - y - 3. Let g = 4 - 7. Is p(g) a multiple of 11?
False
Is (-3 + -36)*3/18*-2 a multiple of 3?
False
Let c(q) = q**2 - q - 2. Let z = 1 + 3. Is c(z) a multiple of 5?
True
Let o = 99 - 51. Suppose o = j + j. Is j a multiple of 13?
False
Suppose -40*q = -45*q + 85. Is 2 a factor of q?
False
Let y(z) = -z**2 + 7*z + 7. Let g be y(7). Let u(o) = o - 10. Let p be u(g). Is 17 a factor of (-1)/p + 232/6?
False
Suppose 2*w - 14 = -2*b, 0 = -5*b - 3*w + 5*w. Let s be b/(-1)*(-5 - -1). Let k = s + -5. Does 3 divide k?
True
Let w(j) be the second derivative of -j**4/12 - 4*j**3/3 - 3*j**2 + 3*j. Is 6 a factor of w(-6)?
True
Let b = 3 + -14. Does 6 divide 1 + 5 - 3 - b?
False
Is 5 a factor of (-48)/(-3) + -6 + 2?
False
Let l(z) = 5*z - 1. Let r be l(1). Suppose -r*c + 134 - 26 = 0. Does 5 divide c?
False
Let c(p) = 2*p - 4. Let n be c(14). Let m = 45 - n. Does 19 divide m?
False
Let s = 77 + -56. Is s a multiple of 3?
True
Suppose 4*u - u + 2*r = 31, -5*u - r = -47. Let f be -9*(-3)/u*1. Suppose 105 = -0*d + f*d. Is 14 a factor of d?
False
Suppose -2*r + 0 - 12 = 0. Let x = r - -6. Suppose x*a - a = -9. Is 5 a factor of a?
False
Let n(p) = p**2 + 8*p + 7. Let z be n(-6). Is ((-4)/z)/(8/60) a multiple of 6?
True
Suppose -2*b + 4 = 8, -3*u + 4 = b. Suppose w + 5 = u. Does 3 divide (0 + -2 - w)*7?
False
Is 12 a factor of -40*(-2)/4 + -2?
False
Suppose -5*v - 2*q = 77, 4*q - 3*q - 74 = 5*v. Let m be (-12)/30*(0 + v). Is ((-26)/(-4))/(3/m) a multiple of 11?
False
Let n = 55 - 107. Let o = n + 79. Does 16 divide o?
False
Suppose 0 = -0*d - d - 2. Let x be 2*-1*d*1. Suppose 0 = -x*i + 3*i + 26. Does 13 divide i?
True
Let s(n) = 3*n**2 + n + 3. Suppose -28 = -4*w + 4*t, 4*w = -t - 0*t + 18. Let m(g) = g**3 - 6*g**2 + 6*g - 1. Let u be m(w). Does 21 divide s(u)?
False
Let h = 125 + 160. Is 15 a factor of h?
True
Suppose 2*t = -4*j - 50, -47 = 4*j - t + 2*t. Let k = -28 + 54. Let p = j + k. Is p a multiple of 15?
True
Suppose -4*d + 4*j = 22 - 162, 5*j = -d + 29. Suppose 0 = 4*u - d - 6. Suppose 0*y - 2*y = -u. Is y a multiple of 4?
False
Let s be 16/(-6) - 6/(-9). Is 6 a factor of 11/s*(-5 - -3)?
False
Suppose 7*b - 4*b = 4*n - 5, -3*n + 4*b = -2. Is ((-8)/(-2))/(n/3) a multiple of 3?
True
Suppose 0 = w - 4*a - 13, 0 = 4*w - 3*a + 1 - 27. Suppose -w*t + 85 = -5. Is 9 a fac