be y(-3). Let z(q) = q**2 - 2*q - 1. Is 4 a factor of z(g)?
False
Suppose 0 = w - 4*w + 45. Is w a multiple of 15?
True
Is (6 - 0)*(10 + -6) a multiple of 24?
True
Suppose s - 36 = -2*n - s, 4*n - 3*s - 58 = 0. Is n a multiple of 4?
True
Let y(n) = 5 + 2*n + 2 + 6*n**2 + 0 - n**3. Does 16 divide y(6)?
False
Let w = -2 - -2. Suppose -r - r + 123 = -5*c, -5*r + 3*c + 279 = w. Does 21 divide r?
False
Let x(f) = -2*f**3 - 5*f**2 - 2*f + 3. Let m(k) = 2 + 2*k - 4*k + 3*k. Let n be m(-5). Does 6 divide x(n)?
True
Let f be 0*(6/(-4))/(-3). Suppose -4*g - g = -5*r + 90, r + 4*g - 38 = f. Does 11 divide r?
True
Suppose -k - 496 = -5*u, u + 4*k = 2*k + 108. Suppose -2*t - 3*j = -0*t - u, -3*t - 3*j = -153. Is t a multiple of 13?
False
Let c(z) = 41*z + 4. Let r be c(-3). Is (-1462)/r - (-2)/(-7) a multiple of 6?
True
Let g = -27 + 27. Suppose 14*b - 10*b - 44 = g. Is 6 a factor of b?
False
Suppose 16 = -v + 5*v. Suppose -6*x + v*x = -60. Does 15 divide x?
True
Is 5 + (-33)/6 - (-126)/4 a multiple of 11?
False
Suppose -2*g = -227 - 17. Is g a multiple of 31?
False
Suppose 4 - 17 = -3*n - z, -5*z = -n - 17. Let p(g) = -3 - g**n + 2*g + 0*g**3 + 0*g**3 + 6*g**2 + 1. Is 5 a factor of p(6)?
True
Let s be 0 + (-4 - 3 - -4). Is -138*(-2 + (-5)/s) a multiple of 7?
False
Let p be 0/(-1) + 3 + -1. Let j be p/(-7) - 30/(-7). Suppose -a - 15 = -j*a. Is a a multiple of 3?
False
Suppose 7*j = 3*j. Suppose 4*d = v + 10 + 169, j = d - 4*v - 41. Does 17 divide (-304)/(-9) + 10/d?
True
Suppose -3*x + 5 + 4 = 0. Suppose -x*b + 19 + 38 = 2*s, -5*s + 175 = b. Suppose 0 = 5*v + o - 218, v - 5*o + s - 90 = 0. Is 15 a factor of v?
False
Let m(a) be the second derivative of 5/6*a**3 + 0 - 2*a - 1/2*a**2. Is 8 a factor of m(5)?
True
Suppose 0 = 5*d - 2*g - 172, -2*g + 92 = 2*d + 3*g. Suppose -5*w = 4*o - 48, 0 = -o + 5*o + 2*w - d. Does 7 divide o?
True
Let u(s) = -s**3 + 6*s**2 + 9*s - 9. Let g(m) = m + 13. Let a be g(-6). Does 5 divide u(a)?
True
Let o be ((-6)/1)/((-1)/(-3)). Let h = o + 28. Is h a multiple of 5?
True
Let x be 2/11 - (-581)/11. Let k(f) = -f**2 - 3*f - 2. Let a be k(-2). Suppose a = 2*p + 3*c - x, 2 = 2*c. Is p a multiple of 9?
False
Let b(u) be the second derivative of u**5/20 - u**4/2 - u**3 - u**2 - u. Let p be b(7). Let r = p + 26. Is 15 a factor of r?
False
Let w(m) = -m**2 + 8*m + 5. Let r be w(7). Let p be ((-7)/(-14))/(2/r). Suppose -p*o - 4*i + 6 = 0, 4*o - i - 15 = -4*i. Does 3 divide o?
True
Let d = -37 - -92. Is 24 a factor of d?
False
Suppose -4*o = -87 + 11. Is o a multiple of 19?
True
Suppose 14*a + 91 - 287 = 0. Is a a multiple of 7?
True
Suppose z = 2*z + 6. Let r(h) = -4*h + 3. Let v(o) = 35*o - 28. Let t(a) = 28*r(a) + 3*v(a). Is t(z) a multiple of 19?
False
Let v(a) = 7*a**2 + 10*a + 5. Does 7 divide v(-4)?
True
Suppose 11*x = -4*y + 13*x + 942, 4*y - 4*x - 932 = 0. Does 31 divide y?
False
Is 13 a factor of ((-1)/(-1))/(((-21)/7)/(-273))?
True
Let o = 2 + -2. Suppose 4*g + 17 = 5*b, 0*b - 3*b + 2*g + 9 = o. Let w(u) = 22*u**3 - u + 1. Does 11 divide w(b)?
True
Suppose 0 = 9*w - 104 + 23. Is 5 a factor of w?
False
Suppose -4*p + 178 = -2*w, 2*w = 2*p - 3*p + 52. Is 15 a factor of p?
False
Suppose -13*a - 32 = -17*a. Is a a multiple of 8?
True
Let r = 144 + 3. Is 7 a factor of r?
True
Suppose 85 = 3*f - 65. Is 25 a factor of f?
True
Let v(h) be the first derivative of -h**4/4 - 2*h**3 - 2*h**2 - 9*h + 2. Is 15 a factor of v(-6)?
True
Let p = 2 - 0. Let i(r) = -r. Let x be i(-2). Is 3 a factor of (-3 - p)*(-2)/x?
False
Suppose -5*o = -2*o - 15. Suppose 0 = -f - 4*f - 5, t + o*f = 18. Is t a multiple of 18?
False
Let o(p) = p + p + 2 + 0. Is 10 a factor of o(9)?
True
Let z = -16 + 24. Does 2 divide z?
True
Suppose 2*i - 28 = 42. Suppose 3*t = -2*t + i. Does 4 divide t?
False
Let r(j) be the first derivative of -j**5/30 + j**4/24 + 4*j**3/3 + 2. Let a(o) be the third derivative of r(o). Is a(-2) a multiple of 9?
True
Is 10 a factor of (-1590)/(-9) - (4 - (-30)/(-9))?
False
Suppose 0 = -5*p - 4 + 114. Let w = p + -10. Does 12 divide w?
True
Let q = -41 + -5. Let p(u) = -79*u - 1. Let a be p(-1). Let w = a + q. Does 16 divide w?
True
Let p be (-2)/(-3) - (-20)/15. Suppose p*f + f + 2*i = 87, -i - 158 = -5*f. Let s = -18 + f. Does 7 divide s?
False
Let n(v) = -v**2 + 3*v. Let k be n(2). Does 2 divide 0 + 22/k + -2?
False
Let u = 16 + -9. Is 2 a factor of u?
False
Let j(a) = -7*a + 9. Let l be j(7). Let g = 66 + l. Does 9 divide g?
False
Suppose -5*w + 0*w + 10 = 0. Let l = 8 - w. Suppose 0 = -3*q + l*q - 9. Does 3 divide q?
True
Suppose -l + 4*m + 2 - 52 = 0, 5*l - 3*m = -301. Let s = -26 - l. Is s a multiple of 12?
True
Let d(b) be the second derivative of 5/3*b**3 + 0 - 1/12*b**4 - 4*b**2 - 4*b. Does 5 divide d(7)?
False
Let f = -5 + 26. Is f even?
False
Suppose -5*k - 365 = -2*r, 4*k + 20 = 8*k. Does 29 divide r?
False
Let n(i) = i**2 + 6*i - 10. Let k be -2*5 - (1 + -3). Is n(k) a multiple of 3?
True
Let n(a) = -14*a - 10. Is n(-4) a multiple of 23?
True
Let h(t) = -t**3 + 8*t**2 + 2*t + 40. Does 28 divide h(8)?
True
Let z(b) = -4*b + 21. Is z(-6) a multiple of 15?
True
Does 28 divide 200/4 + 4/(-2)?
False
Suppose -69 + 53 = -s. Is s a multiple of 2?
True
Let h(i) = i**3 + 5*i**2 - 2*i - 6. Let a be h(-5). Suppose 0 = -0*t + a*t - 32. Does 6 divide t?
False
Let f = 14 - 10. Suppose 2*r - 3 = -f*b + 39, -12 = -4*r. Is 9 a factor of b?
True
Let g(o) = 17*o - 1. Let x = -2 - -5. Suppose 2 = -v + x. Does 16 divide g(v)?
True
Suppose v = -4*b + 198, -3*v - 2*v + 40 = b. Does 21 divide b?
False
Suppose -1 = q - 78. Does 36 divide q?
False
Let b(u) be the first derivative of 2*u**3 - u**2/2 - 2*u + 2. Suppose 2*h = -l + 3*l - 14, l = 3*h + 17. Is 11 a factor of b(l)?
False
Let q(b) = 27*b - 16. Is 33 a factor of q(9)?
False
Let o = 4 - 3. Let x(s) = 7*s**3 - 2*s**2 + 4*s - 1. Let l(n) = -21*n**3 + 7*n**2 - 13*n + 3. Let h(j) = 2*l(j) + 7*x(j). Is 8 a factor of h(o)?
True
Let t(x) = -x**2 + 11*x + 8. Let a be t(12). Let b(c) = -4*c - 6. Is 5 a factor of b(a)?
True
Suppose -q + 18 = q + k, -75 = -5*q + 5*k. Does 2 divide q?
False
Let v(j) = 9*j**3 - 2*j**2 - j. Is v(2) a multiple of 31?
True
Suppose -426 = 6*p - 3*p. Let i = -97 - p. Does 15 divide i?
True
Let z(d) = -3*d - 6. Does 5 divide z(-12)?
True
Let n = 177 - -16. Is n a multiple of 45?
False
Suppose 3*f - 12 = 2*c - 38, 3*c - 33 = 3*f. Suppose -3*v = -c*v + 12. Is 3 a factor of v?
True
Suppose 138 = g - 5*o, 2*g - 305 = -5*o + 1. Is 24 a factor of g?
False
Suppose o + 3*d = 3*o - 11, 4*d - 16 = -5*o. Suppose o*u = 5*u. Suppose u = -s - 3*s + 72. Is s a multiple of 18?
True
Let c(a) be the second derivative of a**6/120 - a**5/40 - a**4/12 + a**3/6 - 3*a. Let m(x) be the second derivative of c(x). Does 13 divide m(4)?
False
Suppose -n + 3*n - 4*o - 64 = 0, -3*o = -4*n + 123. Is n a multiple of 10?
True
Let y = 70 + -38. Is 22 a factor of y?
False
Suppose 0 = -3*q + q + 34. Is 5 a factor of q?
False
Let o(j) be the third derivative of -j**4/8 + 3*j**3/2 + 2*j**2. Is o(-8) a multiple of 11?
True
Let c = 4 + -2. Suppose -4*j = -6*j + 6. Let d = j + c. Is d a multiple of 2?
False
Let s be (-4)/(-6) + 24/18. Suppose 0 = x - 0*x - 2*u - 22, -3*x - s*u = -98. Is x a multiple of 15?
True
Let f be (-1)/(-2) - (-18)/(-4). Let b = 9 + f. Suppose 0 = b*d + 3*m - 60, -m + 36 = 3*d - 4*m. Does 12 divide d?
True
Let a(t) = -t**3 - 12*t**2 + t + 17. Let w be a(-12). Suppose 0*j - w*j + 121 = 4*r, -4*j + 64 = -5*r. Does 7 divide j?
True
Suppose 3*u = -u - 16, -3*t + 83 = u. Suppose -5*r + t + 56 = 0. Does 16 divide r?
False
Suppose -2*d = 3*q - 9, 0*q = -d + q + 2. Suppose 0 = t + 2*t - 5*y - 6, -4*y - 6 = -d*t. Does 3 divide (-1)/t - (-70)/20?
True
Suppose 5*b = 2*i + 2 + 20, -b - 4*i = -22. Suppose -b = -3*k - 0*k. Is k even?
True
Let o(u) = 6*u + 4. Does 7 divide o(4)?
True
Let n = -10 + 15. Suppose n*v + l - 365 = 0, -5*v + 4*v + 52 = -4*l. Is v a multiple of 12?
True
Let w = -13 + 18. Is 5 a factor of w?
True
Let l(q) = q**2 - 4*q - 6. Let b be l(6). Suppose -b*s = -4*s - 18. Is 4 a factor of s?
False
Suppose -2*u + 38 = -4*u. Let c(j) = j**3 - j**2 + j - 2. Let y be c(0). Is 9 a factor of (-2 - u - 1) + y?
False
Suppose 8*p = -8*p + 3696. Does 13 divide p?
False
Let s(t) = -t**3 + 7*t**2 + 4*t + 8. Le