)?
False
Let i be (-3)/(9/6) + -11. Let m = i - -18. Suppose h + 4*f = 45, 3*h = 5*h - m*f - 51. Is 13 a factor of h?
False
Let j(y) = -y**3 + y**2 + 4*y + 3. Let k be j(-2). Let m = 78 + -58. Suppose m = r - k. Does 9 divide r?
True
Let f(o) = o**3 + 7*o**2 + 5. Suppose 5*a + 5 = -30. Let s be f(a). Suppose 0 = -3*y + s*u + 28, 2*u = 5*u - 12. Is 8 a factor of y?
True
Let d(l) = l + 5. Let m be d(0). Suppose -3*s + 2*c + 100 = 6*c, -62 = -2*s - m*c. Does 12 divide s?
True
Let l = -438 - -660. Is 37 a factor of l?
True
Let g(y) = -43*y**3 + 2*y**2 - 7*y + 3. Let u(q) = -64*q**3 + 3*q**2 - 10*q + 4. Let h(p) = -7*g(p) + 5*u(p). Is 10 a factor of h(-1)?
True
Suppose l - 85 = -7. Does 13 divide l?
True
Suppose -i - 58 + 4 = 0. Does 25 divide (11/(-3))/(6/i)?
False
Let p(z) = 0 + 5 + 0*z**3 + z - 3*z**2 + z**3 + 0*z. Is 16 a factor of p(4)?
False
Let p(j) = -10*j - 3. Let d = -3 + 3. Let n = d + -2. Is p(n) a multiple of 17?
True
Let i be 3 + 0 - 2*1. Let l(z) = 33*z + 1. Is 15 a factor of l(i)?
False
Suppose 2*k - 70 = -3*k. Let i = k - 5. Let u = i + 29. Is 10 a factor of u?
False
Let d(v) = -v**3 - 5*v**2 - 3*v + 18. Is d(-6) a multiple of 18?
True
Let o(a) be the third derivative of -a**4/4 + a**3 - 3*a**2. Let h be o(5). Does 8 divide (-3 + 0)/3*h?
True
Suppose 5*g - 345 - 783 = 3*v, -3*g = v - 674. Does 9 divide g?
True
Suppose 9*d - 48 = 5*d. Is 7 a factor of d?
False
Let t(f) = f**3 + 3*f**2 - f. Suppose -4*l = -2*l + 6. Let s be t(l). Suppose -2*z = z + 5*n - 31, -s*n = 4*z - 45. Does 5 divide z?
False
Is 11 a factor of (-2)/(-7) - (-13149)/63?
True
Let a(i) = -58*i**3 - i**2 - 2*i - 2. Let t be a(-1). Suppose -t = -4*q + 67. Is 21 a factor of q?
False
Let n(y) = 4*y**2 + 0 - 8 + 11*y - 5*y**2. Let p(g) = -4*g - 17. Let l be p(-6). Is n(l) a multiple of 17?
False
Let q(p) be the second derivative of -p**5/120 - p**3/6 + 3*p. Let w(v) be the second derivative of q(v). Is w(-5) a multiple of 5?
True
Let j(q) = 3*q**2 - 4*q + 4. Let a be j(-6). Let w = 192 - a. Is 16 a factor of w?
False
Let p(b) = -34*b + 3. Let t be p(2). Suppose -152 = -0*q + 4*q + 4*v, 0 = 3*v. Let l = q - t. Is 15 a factor of l?
False
Let c(a) = a. Let y be c(2). Suppose 70 = y*n + 5*f, -2*f + 50 = 3*n - 44. Is 15 a factor of n?
True
Suppose -180 = -k - 4*k. Suppose k = 2*n - 4*s + s, -2*n - 4*s = -8. Is 3 a factor of n?
True
Suppose 2*s - 15 - 40 = -q, q = -s + 53. Is 12 a factor of q?
False
Is 8 a factor of (-16)/(-12) + (-101)/(-3)?
False
Suppose 4*p - 108 + 32 = -4*u, 0 = -u + 4*p + 44. Does 11 divide u?
False
Let i(d) = d + 10. Let v be i(-8). Suppose -32 - 8 = -v*b. Is 10 a factor of b?
True
Let l = 39 + -15. Does 12 divide l?
True
Let o(x) = -x**3 + 4*x**2 + 2*x - 4. Let c be o(4). Suppose 3 = -m + g, -5*m - 17 = -c*g - 0*g. Let r(z) = -z**3 - 5*z**2 - z + 1. Is 6 a factor of r(m)?
True
Let v = 5 + -3. Suppose -v*o - 18 + 6 = 0. Does 17 divide (-300)/(-9) + (-4)/o?
True
Suppose -6*o = -2*o. Let j(m) = -m**2 + m + 79. Is 12 a factor of j(o)?
False
Suppose 3*c + 14 = 4*v - 19, -2*c - 2*v = 8. Let q(f) = -f - 9. Let b be q(c). Does 13 divide 25 - (-2 + (-2)/b)?
True
Let c(t) = 2*t**2 - t. Let r be c(2). Let q(b) = b**2 - b - 8. Is 11 a factor of q(r)?
True
Let r(s) = 5*s**2 - 2. Suppose -6 = -2*q, 4*q - 8 = -w - 5. Let z be (-13)/5 + w/(-15). Is 9 a factor of r(z)?
True
Let q(k) = -k**2 + 14*k - 19. Is 3 a factor of q(8)?
False
Let o = -4 - -9. Suppose n - 3*v = 3*n - 6, 0 = o*n - 3*v + 6. Suppose j = -n*j + 39. Is j a multiple of 16?
False
Suppose -3*l + 5*w - 42 = 0, w + 30 = -3*l + 2*w. Let r = -3 - l. Is 3 a factor of r?
True
Let u(z) = z**3 - 6*z**2 + 9*z - 19. Does 36 divide u(7)?
False
Let u = 32 + -8. Is u a multiple of 8?
True
Suppose -500 + 164 = -8*h. Is 21 a factor of h?
True
Let y be (2 + -3)*1 + -1. Let j be (7/2 + y)*2. Suppose -2*u + 16 - 50 = -j*g, 5*g = -3*u + 63. Is 12 a factor of g?
True
Let p(f) = f**3 + 4*f**2 - 3*f - 5. Let y be p(-4). Suppose 2*h - y - 185 = 0. Is h a multiple of 17?
False
Suppose 0 = -2*t + 10, -4*f + 2*t = -f + 22. Let o = f - -7. Suppose -136 = -5*n - o*i, -2*i = 5 + 1. Is 16 a factor of n?
False
Let j(u) = 2*u**2 - 2*u - 2. Is j(8) a multiple of 16?
False
Suppose -5*j + 375 = -2*c, -3*j + 4*c = 8*c - 225. Is (-4)/(-18) - j/(-27) a multiple of 3?
True
Let j(m) = -72*m. Is 12 a factor of j(-1)?
True
Let i(q) = -3*q - 3. Let g be i(-3). Let h be 4/g - 8/(-6). Does 23 divide 69*((-12)/(-9))/h?
True
Let b = 1 - 2. Let c be b/2*112/7. Is (c/10)/((-6)/105) a multiple of 7?
True
Let l be 4/12*-3*-5. Suppose -l*i = -0*i - 40. Does 4 divide i?
True
Let i = -121 + 212. Does 15 divide i?
False
Suppose 5*p + 95 = 5*z, -3*p - 2 = 4*z - 85. Does 5 divide z?
True
Suppose -5*q - 80 = -q. Let j = 26 + q. Does 3 divide j?
True
Suppose -21 = -3*i - 3*m, 4*m = 3*m + 5. Let t(s) = 5*s**2 + 3*s - 2. Is t(i) a multiple of 8?
True
Let k(y) = -y - 1. Let u(w) = 1. Let v(o) = -6*k(o) + u(o). Let q be v(6). Suppose 2*x - q = 3*m, -2*m - 23 + 102 = 5*x. Is x a multiple of 16?
False
Let s(p) = p**2 + 2*p - 1. Let i be s(-3). Suppose 4*j = 5*f + 113, 7*j - i*f = 3*j + 122. Is j a multiple of 11?
False
Suppose 5 = 2*t - t, -4*w + 2*t = 34. Let o(x) = 21*x + 8. Let j be o(4). Is (-4)/w - j/(-6) a multiple of 16?
True
Let r = 45 - 18. Is 21 a factor of r?
False
Let x = -38 - -30. Is 13 a factor of (-3330)/36*x/10?
False
Let g be (-32)/(-5) - (-2)/(-5). Suppose -q = -g*q. Is 15 + (0 - (q + 2)) a multiple of 6?
False
Let t(p) be the second derivative of p**5/20 + p**4/3 - p**3/2 + 3*p**2/2 + p. Let s(b) = b**2 - 6*b + 4. Let l be s(4). Does 6 divide t(l)?
False
Let b = -29 - -56. Does 10 divide b?
False
Suppose 0*v = -3*v + 15. Does 2 divide v?
False
Suppose 0 = -2*s - 10 - 16. Is -1*(-4)/((-4)/s) a multiple of 13?
True
Let y = -11 - -15. Suppose 0*a + y*l = 3*a - 170, -5*a - 3*l + 235 = 0. Is 12 a factor of a?
False
Suppose 4*k - 40 - 180 = 0. Is 11 a factor of k?
True
Suppose -31*j + 35*j = 64. Is 2 a factor of j?
True
Let c(f) = -7 - 2*f + 12*f**2 - 4 - 6*f - f**3. Is c(11) a multiple of 13?
False
Let t = -8 - -10. Suppose -4*l = x - t, -6*x + 3*l = -2*x - 65. Is 7 a factor of x?
True
Let y(x) be the first derivative of 3*x**5/10 + x**4/12 - x**3/6 - 2*x - 1. Let k(o) be the first derivative of y(o). Is 4 a factor of k(1)?
False
Suppose -230 = -5*s - 3*r, 3*s - 7*s = -3*r - 184. Does 46 divide s?
True
Let g(z) = 265*z**2 + 1. Let b be g(-1). Does 12 divide (-2)/3 + b/21?
True
Let w(q) = -2*q**3 - 2*q**2 - 3*q + 1. Let i be w(-3). Let o = i + -8. Does 19 divide o?
True
Let o(s) = s**3 - 4*s**2 + 5*s - 4. Let h be o(3). Suppose 28 = -h*b + 4*b. Is 7 a factor of b?
True
Let o be (1/(-2) + 0)*-26. Let f = o - 21. Let r(q) = -q**3 - 7*q**2 + 4*q - 8. Does 12 divide r(f)?
True
Let q = 59 + -40. Does 2 divide q?
False
Let t(h) = h**3 + h. Let y(a) = 6*a**3 - 10*a**2 - 6*a + 2. Let i(s) = -5*t(s) + y(s). Let f be i(11). Does 14 divide 31 - (5 - f/1)?
True
Let d = -6 - -8. Suppose 5 = -5*o, l - d*l = 3*o - 20. Is l a multiple of 13?
False
Suppose -4*l = -2*t - 18, 5*l - 1 - 23 = 2*t. Suppose 60 = 4*v - v. Suppose -l*h + v = -h. Does 4 divide h?
True
Let x(l) = 2*l**2 - 2*l + 1. Does 25 divide x(-3)?
True
Suppose 0 = 4*d - 4*f + 28 + 8, 0 = -5*d - f - 27. Let t be (d - -7) + 1 + 3. Suppose 2*w + v = w + 33, t*v = 4*w - 123. Does 18 divide w?
False
Let k(c) = 3*c**2 - c**3 + 5*c**3 - 4*c**2 - 1 + 2*c**2. Is k(1) a multiple of 4?
True
Let b be (237/(-9))/((-5)/15). Suppose -2*g = 4*v - g - 137, 3*g = 2*v - b. Does 8 divide v?
False
Let q(h) = 3*h**2 + 15*h + 11. Does 39 divide q(7)?
False
Let s = -11 + 54. Is 17 a factor of s?
False
Let k = 12 + 18. Is 10 a factor of k?
True
Let p = 59 + -24. Does 7 divide p?
True
Let c(k) = 9*k**2 - 8*k - 11. Does 36 divide c(-6)?
False
Let f = 477 + 75. Is (-4)/14 - f/(-21) a multiple of 17?
False
Suppose 2*d + 5*y - 30 = 0, 22 + 4 = 3*d - 2*y. Is d a multiple of 2?
True
Let v(g) = 3*g**3 + g**2 - g. Let n be v(1). Is -3*(n - (0 + 6)) a multiple of 6?
False
Let s(g) = 0*g + 2*g + 4 - 9*g + 1. Let n be s(8). Let c = n + 73. Is c a multiple of 11?
True
Suppose 2*i - 198 = -0*i. Is i a multiple of 33?
True
Suppose a + 0*a - 2 = 0, 4*a = -w + 370. Does 12 divide w?
False
Suppose 4*j - 8*j + 12 = 0. Suppose -q + 2*u = 6, 3*q = -2*