False
Let v(p) = -p - 5. Let y be v(-4). Let m(r) = r**2 + r - 1. Let c(j) = j**2 + 3*j - 4. Let i(f) = y*c(f) + 2*m(f). Is i(7) a multiple of 19?
False
Let o(p) = 5*p + 12. Does 15 divide o(9)?
False
Let x(s) = s**3 - 4*s**2 - 4*s + 1. Let m(t) = 2*t**3 - 5*t**2 - 5*t + 2. Let h(l) = -2*m(l) + 3*x(l). Is 23 a factor of h(-5)?
False
Let q(z) be the first derivative of -3*z - 1/2*z**2 + 1/3*z**3 - 1. Is 17 a factor of q(5)?
True
Let s(t) = 14*t - 1. Suppose -13*j = -9*j - 12. Is 18 a factor of s(j)?
False
Let k be (1/(-3))/((-4)/12). Let d = 0 + k. Is d/1 - -19*1 a multiple of 10?
True
Let m = -33 - -59. Is 16 a factor of (m/(-1))/(-2 + 1)?
False
Let k(d) = -d**3 + 8*d**2 + d - 6. Let z be k(8). Is 17 a factor of 1 + (z - 2 - -16)?
True
Let c(y) = -6*y + 2. Let s be c(0). Suppose -9*m + 6 = -4*m - 2*a, -2*m - 4 = -4*a. Let u = s + m. Does 4 divide u?
True
Suppose b - 3*v + 11 = 2*v, -5*b = 3*v - 29. Is b a multiple of 4?
True
Suppose -2*x - 5*y = -7 - 26, 4*y = 5*x. Let c = x - 6. Is (-1)/c + (-21)/(-6) a multiple of 3?
False
Let r(y) = 2*y - 2. Let i be r(4). Suppose i*k - 9 = 3*k. Is (7/k)/(3/18) a multiple of 7?
True
Suppose 5*x - 134 = 2*o, 3*o = -3*x - 0*o + 93. Suppose -6*r + 4*r = -x. Is 14 a factor of r?
True
Is 2/(-8) - ((-7668)/16)/9 a multiple of 11?
False
Suppose -10*c + 12*c = 30. Let t = 25 - c. Does 5 divide t?
True
Let d = -47 + 87. Is d a multiple of 4?
True
Let v be 2 + (3/(-1) - -1). Does 9 divide 15/20*(32 + v)?
False
Let b(s) = -s - 3. Let g be b(-6). Does 17 divide g/(2/((-92)/(-3)))?
False
Suppose 0*d + d = 0. Suppose 0 = 3*g - s - 3, -2*g - 3*s + 0*s - 9 = d. Suppose -5*w + 13 + 92 = g. Is w a multiple of 11?
False
Suppose 3*s - 57 = -3*f - 15, -4*f - 2*s + 66 = 0. Is f a multiple of 19?
True
Let l be -1 - (-3)/(9/6). Let y = 1 - l. Does 16 divide (21 - 3) + (0 - y)?
False
Let q(z) = z**3 + 7*z**2 - 3*z - 1. Is 5 a factor of q(-7)?
True
Let f be (-1 - 3)/2 + -4. Let p(h) = h**2 - h - 3. Does 13 divide p(f)?
True
Does 3 divide 5 - (-2)/((-6)/(-9))?
False
Let v(d) = -12*d - 37. Is 7 a factor of v(-13)?
True
Let p(s) = -s**3 - s**2 - s + 2. Suppose -24 = -6*m + 2*m. Suppose m*n + 4 = 4*n. Does 4 divide p(n)?
True
Suppose 875 - 255 = 5*l. Suppose p = -2*g - g + l, g = -4*p + 34. Suppose -4*o + 106 = g. Is o a multiple of 8?
True
Let f(s) = 9*s**2 - 4*s + 2. Let o be f(2). Let t be o/12*(-8)/(-10). Does 4 divide (3 - 2) + t + 5?
True
Let t(y) = y**2 + 4*y + 2. Let g be t(-6). Is 5 a factor of 12/14*g*1?
False
Suppose 2*h = 3*o - 81, 2*o + 0*h = h + 55. Let j be (-1 - o)*2/(-4). Suppose 5*k - 2 = -3*v + 47, -3*k + j = -3*v. Does 6 divide k?
False
Let g be 1 - ((-3)/(-3) + -2). Let l be (-4)/g*(-5 + -22). Does 18 divide (-4 + 3)/((-2)/l)?
False
Let a(y) = y**3 + 3*y**2 - 2*y - 3. Let b be a(-3). Suppose -5*c + 87 = 2*n, -5 = -b*c + 4*c. Is n a multiple of 22?
False
Let v(o) = o**3 - 7*o**2 + 6*o + 2. Let i be v(6). Let y be (-1)/1 + (27 - i). Suppose y = 6*l - 2*l. Does 3 divide l?
True
Suppose -6*h = -5*h + 2, 0 = -x + h + 24. Is x a multiple of 11?
True
Let p(x) = 3*x**2 - 8*x + 4. Does 9 divide p(5)?
False
Let k = 221 - 950. Let y = -5 - 10. Does 26 divide k/y + 4/10?
False
Let u(f) = f + 2. Let s be u(3). Suppose s*b = -9 + 24. Suppose b*c = 59 + 34. Is c a multiple of 16?
False
Let f(s) = -s**3 - 6*s**2 - 3*s - 4. Let b be f(-5). Suppose 2*u + 6 = 4. Let w = u - b. Does 5 divide w?
False
Let p(j) = -j - 1. Let s be p(-4). Let b = 31 + -23. Suppose b*k - s*k = 50. Does 10 divide k?
True
Suppose 0 = -3*y + 4*y - 2. Suppose -3*x + f + y = -7, -2*x + 5*f + 6 = 0. Suppose a + 4*v - 13 = 21, x*v = -3*a + 93. Is a a multiple of 14?
False
Let x(u) = u + 3*u + 2*u + 6*u. Is x(5) a multiple of 26?
False
Let u = 29 - 13. Does 4 divide u?
True
Let f = 56 - 38. Is 13 a factor of f?
False
Suppose -5*o - 2*w + 6 = -3*w, -3*o - 3*w = -18. Let r be 1/(o/8) - 2. Suppose r*m - 11 = 1. Is m a multiple of 4?
False
Suppose -l - 2*t + 3 = -3*t, 0 = -5*l - 3*t - 9. Suppose -5*q = -3*n + 169, l = 5*n - 10*n + 3*q + 255. Is n a multiple of 12?
True
Let u(t) = t**3 + 3*t**2 - 2*t + 1. Let m be u(-3). Suppose m = 4*w - 1. Does 9 divide w/4*-1*-22?
False
Let x be ((-20)/(-6))/(4/(-66)). Let p = x - -125. Is 35 a factor of p?
True
Let u be ((-12)/(-3) - 2) + -3. Let m = u + 5. Suppose -p - 3*y + 4 = -22, 68 = 3*p + m*y. Is p a multiple of 6?
False
Suppose 570 = 4*f + 2*l + 160, 97 = f - 5*l. Does 17 divide f?
True
Let p(a) = a**2 + 2*a - 3. Is p(-7) a multiple of 4?
True
Suppose 4*x - 6 - 6 = 0. Suppose -x*r + 17 = -13. Is 5 a factor of r?
True
Let t be 13*(1 + (0 - 2)). Let i = 21 + t. Let j(k) = 3*k - 9. Is j(i) a multiple of 9?
False
Suppose 5*g + 83 = 258. Let a = 5 - 2. Suppose g = a*p + 5*c, -5*p - 3*c + 27 = -2*p. Does 3 divide p?
False
Let f(d) = -d**3 - 3*d**2 + 1. Let k be f(-3). Suppose 3*c - k = 5. Is -2*(c + (-11)/2) a multiple of 5?
False
Let j = 8 - 4. Let b be (312/j)/(2/4). Is b/9 - 4/(-6) a multiple of 9?
True
Let n(i) = 2*i**2 + 5*i - 4. Let q be n(-5). Let h be 33/9 + 1/3. Suppose -84 = -h*z - y, -q + 113 = 4*z - y. Is z a multiple of 11?
True
Suppose 9*p - 3045 = -6*p. Is p a multiple of 10?
False
Let m(k) = k - 3. Let p be m(5). Suppose p*r - 1 = r. Is (r - 0)/((-2)/(-14)) a multiple of 7?
True
Let i(n) = 56*n**2 - n. Is i(1) a multiple of 11?
True
Suppose -5*p + 10*p - 300 = 0. Is p a multiple of 15?
True
Suppose 0 = 3*m - 5*m - 12. Let f(x) = -x**2 - x + 5. Let a be f(m). Let z = a + 62. Is 11 a factor of z?
False
Let t(s) = s**2 - 2*s - 1. Let j be t(-3). Suppose r = -4*w + 5*r + 116, 0 = w - 4*r - j. Is w a multiple of 11?
False
Let w = -8 - -262. Is 37 a factor of w?
False
Suppose -2*c + 3*m + 325 = -0*c, 0 = 4*c + m - 671. Is 17 a factor of c?
False
Let c = 1 + 1. Suppose -x - c*i = x + 28, 0 = 5*x + i + 86. Let t = x + 27. Is 3 a factor of t?
True
Let o(h) = 55*h**3 - h**2 + h - 1. Let d be o(1). Does 22 divide 1416/d + 4/(-18)?
False
Let m(k) = -12*k**3 + k**2 + 2*k + 1. Suppose 31 = -4*o - 89. Let a be 4/(-10) - (-18)/o. Is 6 a factor of m(a)?
True
Suppose -3*u = -3*f - 3, 2*f + 9 = 5*u + f. Suppose -4*v = -4*l + 48, 2*v = -5*l - u*v + 51. Is 11 a factor of l?
True
Let p(d) = d**2 + 10*d + 15. Suppose -3*q - 30 = -0*q. Does 9 divide p(q)?
False
Let r(q) = 4*q - 5. Let u(n) = -15*n + 19. Let g(v) = -22*r(v) - 6*u(v). Let l be g(5). Let x = -4 + l. Is x even?
True
Is 10 a factor of (-5)/(5/(-4)) - -18?
False
Let w be 1/2*4 + 33. Suppose w = j - 2*j. Is (-4 + 1)/(7/j) a multiple of 5?
True
Let u = -83 - -146. Is 9 a factor of u?
True
Let i(h) = h + 7. Let g be (-1)/((-3 + 1)/14). Suppose -2*v + 5*c + 25 = 0, 2 = v + c + g. Is 7 a factor of i(v)?
True
Suppose -46 = -5*z - 16. Let o be (-7)/(-5) - 12/(-20). Suppose 16 = z*c - o*c. Does 2 divide c?
True
Suppose -2*s = 4*b - 258, -4*s - 6*b + 476 = -8*b. Is 32 a factor of s?
False
Let h(d) = -d**3 + d + 46. Let v(c) = c**2 - 3*c - 4. Let y be v(4). Does 12 divide h(y)?
False
Suppose -g = -0*g - 2. Suppose 0 = -g*q + 2 - 8, 5*q + 39 = 4*y. Is 5 a factor of y?
False
Suppose 0 = -4*x + i + 71, 31 = 2*x + i. Is 9 a factor of x?
False
Let m be -1 - (-86 + 1) - 3. Suppose 0 = j + 2*j - m. Is j a multiple of 9?
True
Let r = -4 + 9. Suppose -4*u + 17 = r. Suppose u*g = g + 14. Does 3 divide g?
False
Let n(v) = v**2 - 4*v + 4. Let j(t) = 2*t**2 - 13*t + 13. Let x(z) = -2*j(z) + 7*n(z). Let a be x(-4). Suppose 2*r + 14 = a. Does 9 divide r?
False
Let t(w) = w**3 - 6*w**2 - w + 2. Let b be t(3). Let r be (4/4)/((-2)/b). Suppose r = 3*k - 19. Is 4 a factor of k?
False
Does 16 divide (-4)/(((-15)/12)/5)?
True
Let z = -222 - -366. Is z a multiple of 18?
True
Let p(u) = -u**3 + 6*u**2 - 5*u + 3. Let c be p(5). Suppose -c*d + 4 = -5*d. Let h = 8 + d. Is h a multiple of 3?
True
Suppose 39*j = 42*j - 828. Is 12 a factor of j?
True
Suppose 15 = 6*f - 3*f. Suppose -u + 9 = -5*w - 4*u, -f*w - 5*u - 15 = 0. Suppose w = -2*v + 2, 2*l = -3*l - v + 321. Is l a multiple of 22?
False
Let m = 2 + 10. Is 12 a factor of m?
True
Suppose -4*b - w = -2*w - 147, 4*w = -12. Is (b - 1) + (14 - 15) a multiple of 17?
True
Let z(y) = 5*y**3 - y**2 - 2. Let k be z(-2). Let m = 82 + k. Is m a multiple of 6?
True
Let a(n) = n**3 - n**2 + 14. Is a(0) a multiple of 14?
True
Let x be (48/(-40))/((-4)/10). Suppose x*h 