h?
False
Let c(y) = -6*y + 514. Does 52 divide c(-9)?
False
Let l = -3 - -2. Let v be l + (-1)/((-1)/9). Suppose -k + 50 = -v. Is 24 a factor of k?
False
Let f = -2 + 5. Suppose -f*z - 2*z + 1 = -3*p, 0 = 2*p - 4*z + 2. Suppose p*y = -2*j + 12, 5*y = -5*j + 6 + 9. Is y a multiple of 2?
True
Let h(p) be the second derivative of -p**3/6 + 67*p**2/2 + 42*p. Does 10 divide h(6)?
False
Let q(n) = -15*n - 8. Let u(r) = -r**3 - 15*r**2 - 14*r + 9. Let j be u(-14). Let v be (j + 1)/((-14)/7). Is q(v) a multiple of 25?
False
Let u(d) = d**2 - 8*d + 5. Let a(o) = -o**2 - o + 2. Let b(y) = 2*a(y) + u(y). Let r be 1/(2*2/(-36)). Is 5 a factor of b(r)?
False
Let z(f) be the third derivative of -f**6/60 - f**5/60 - 5*f**4/24 - f**3/2 + f**2. Let l be 5*6/20*-2. Does 15 divide z(l)?
False
Let g(d) = -105*d - 19. Let z be g(-7). Suppose -191 = 5*f - z. Does 15 divide f?
True
Does 4 divide (8 + -3)*(-336)/(-15) - -4?
True
Let k be 0/(1 - 2 - -2). Suppose k = -4*d + 3*p - 30, d = 5*d + 3*p + 18. Is 0 - d/(-3) - -30 a multiple of 7?
True
Let m(o) = 10*o - 48. Let w be m(5). Is (-1215)/(-9) + (w - -3) a multiple of 13?
False
Let g(c) = c + 15. Let b be g(-12). Suppose 4*p - p = w + 9, b*p - 33 = 3*w. Does 4 divide w/(-8)*-2 - -16?
False
Let v(n) = -3*n**3 - 10*n**2 + 11*n + 14. Let q(c) = -2*c**3 - 10*c**2 + 10*c + 13. Let f(g) = -4*q(g) + 3*v(g). Does 20 divide f(5)?
True
Let p(j) = j**3 - j**2 - j. Let i(w) = -114*w**3 + 4*w**2 + w + 2. Let d(a) = -i(a) - 4*p(a). Does 13 divide d(1)?
False
Suppose 5*x - 456 = -2*g, -4*x + g - 132 = -502. Does 46 divide x?
True
Let g = 344 - 99. Let l be -3*1 - (11 - g). Suppose 0 = -6*t + 105 + l. Is 14 a factor of t?
True
Let o(j) = -2*j + 2 + 10*j + 8*j + 4*j. Does 36 divide o(6)?
False
Let g(d) = -6*d + 7. Suppose -12 = -z - 3*t, -3*t + 15 = 4*z - 2*t. Let p be g(z). Let n = 17 + p. Is n even?
True
Let w = 42 - -278. Suppose 5*k = -4*y + w, -k - 2*k - 2*y = -190. Is k a multiple of 18?
False
Suppose n - 23 = -2*n - 2*i, 2*n - 19 = -5*i. Suppose -n*x - 69 = -377. Does 11 divide x?
True
Let u(z) = z**2 - 9*z + 5. Let r(s) = -2*s**2 + 17*s - 9. Let p = 5 - 11. Let x(m) = p*r(m) - 11*u(m). Is 27 a factor of x(-4)?
True
Suppose -h = 2*f - 186, 0 = -f - 2*f + 5*h + 253. Is f a multiple of 4?
False
Suppose -4*y - 2*i = -14, -y - 5*i - 2 = 17. Suppose y*k - 34 = 68. Let j = k + 15. Does 16 divide j?
True
Let f = -47 + 33. Let x = -318 - -312. Let o = x - f. Does 2 divide o?
True
Let z(o) = 4*o + 52. Let u be z(-12). Suppose -3*f + 482 = -u*h, 4*f - 631 = -0*f + 3*h. Is 13 a factor of f?
False
Let d = -204 + 211. Does 7 divide d?
True
Let w(u) = -12*u + 138. Is 19 a factor of w(6)?
False
Suppose 2280 = 9*o - 1842. Suppose -7*i - 10 = -o. Is i a multiple of 18?
False
Suppose h = -2*g + 3*g - 58, -g + 63 = -2*h. Let p = 56 - g. Does 2 divide p?
False
Let a(n) = -8*n**2 - 16*n - 11. Let v be a(-7). Let u = -39 - v. Is 18 a factor of u?
True
Let i(r) = 66*r**2 + 15*r + 8. Is i(-4) a multiple of 32?
False
Let h(x) = x**3 - 7*x**2 + 6*x - 3. Let b be h(6). Let j(f) = 17*f**2 + 5*f + 3. Let z be j(b). Let a = -101 + z. Is a a multiple of 20?
True
Suppose 4*a - 10 = 10, -30 = -5*b - 3*a. Let u(k) = 3*k**3 - 3*k**b - k**3 + k - 16*k - 14*k**2. Does 9 divide u(-13)?
False
Let p(a) be the second derivative of -a**6/80 + a**5/15 + a**4/12 - 3*a. Let i(d) be the third derivative of p(d). Is 12 a factor of i(-6)?
False
Let j = -3420 - -6410. Is j a multiple of 10?
True
Suppose 3*n - 3 = 6. Let b be (12/30)/(n/(-330)). Is 16 a factor of (-4 + b)*(-2)/3?
True
Suppose -5*r - 3 + 63 = 0. Let g = 8 - r. Is 2 - (-68)/(-2 - g) a multiple of 9?
True
Let c(n) = 394*n**2 - 3*n - 5. Does 14 divide c(-1)?
True
Let t be 0 - (-4 + (-2 - 1)) - 3. Suppose 4*c + 2*v = -3*v + 466, -334 = -3*c + t*v. Is c a multiple of 19?
True
Let y(t) = -191*t + 416. Is 103 a factor of y(-6)?
False
Is (-330)/(-385) - (-9276)/7 a multiple of 17?
True
Let f(l) = 2*l**2 + 2. Suppose -6*u + 2*u + 12 = 0. Let h be f(u). Suppose 3*r - h = 238. Is r a multiple of 23?
False
Suppose 208 = -5*x + n, -x - 117 = 2*x + 2*n. Let t = x - -91. Is 25 a factor of t?
True
Let h = -50 + 18. Let l = h - -38. Suppose -5*g + l*g - 6 = 0. Is g a multiple of 4?
False
Let m(u) = 2*u**3 - 13. Does 14 divide m(3)?
False
Suppose 19*t = 15*t + 616. Does 22 divide t?
True
Suppose 0 = 7*i - 29 - 20. Does 39 divide (19404/(-35))/i*(-20)/6?
False
Let h(i) = 18*i + 163. Does 3 divide h(6)?
False
Let z(a) = 37*a**3 - a**2 + a + 6. Is z(2) a multiple of 20?
True
Let w = -30 - -35. Let g(k) = k**2 + 7*k - 9. Is g(w) a multiple of 17?
True
Let b = 695 + -1247. Is 7 a factor of (-6)/(-15) + b/(-20)?
True
Let d(n) be the third derivative of -n**4/4 + 5*n**3/6 - 2*n**2. Does 20 divide d(-6)?
False
Let r = -32 - 13. Let t(v) = 5*v - 138. Let k be t(9). Let u = r - k. Is 24 a factor of u?
True
Suppose -2*i - i - 123 = 0. Let s = -313 + 288. Let z = s - i. Does 8 divide z?
True
Let o be -3 - (3 - 3) - -17*3. Suppose n + 13 - o = 0. Is 27 a factor of n?
False
Suppose -d - w = 34, 5*d - w = -3*w - 185. Does 13 divide ((-8)/12)/(2/d)?
True
Let k(j) = j**2 - 4*j - 3. Let l be k(5). Suppose -l*z - 1 = 3*m - 41, 0 = 2*z - m - 24. Suppose -2*b + 12 = -z. Does 13 divide b?
True
Let w(r) = -r**2 - 9*r. Let k be w(-9). Suppose k = 3*y + o - 115, y + o = 2*o + 45. Does 26 divide y?
False
Suppose 4*a = 2*y + 616, a = -4*a + 4*y + 764. Suppose -489 = -3*u - a. Is 17 a factor of u?
False
Let w(h) = -4*h**2 + 0*h**3 + 5*h + 4 + 2*h**3 - 10 - h**3. Let b be w(4). Suppose -b*f - 480 = -18*f. Is 30 a factor of f?
True
Let o(y) = y**2 + 7*y - 2. Let f be o(-8). Suppose f*k + 150 = 8*k. Is k a multiple of 5?
True
Let v(m) = 83*m + 25. Is v(13) a multiple of 46?
True
Let k(t) = -t**2 + 4*t + 13. Let b be k(6). Is (b/(-2))/((-2)/96) a multiple of 8?
True
Let d(p) = p + 15. Let k be d(-10). Suppose 0 = -5*h - 5*c - k, -4*h - 5*c = 12 - 5. Is 15 a factor of (231/(-14))/((-1)/h)?
False
Let r = 13 - 10. Is ((-406)/r)/7*-12 a multiple of 31?
False
Let p be ((-4)/6)/(8/12). Is 42/(p - (-85)/70) a multiple of 14?
True
Let u(a) be the second derivative of 5*a**3/3 + 13*a**2/2 - 64*a. Let f = 8 - 0. Is 17 a factor of u(f)?
False
Let r = 31 + -27. Suppose r*k = -10 - 2, -2*w = 2*k - 18. Is w a multiple of 3?
True
Let s(c) = 3*c - 13. Let u be s(-8). Let o = 60 + u. Does 3 divide o?
False
Suppose 3*m + m = r + 12, -5*m + 2*r = -15. Suppose -m*s + 3*a = -520 + 79, -4*s = -3*a - 592. Is s a multiple of 26?
False
Suppose 0*y - 5*y = 30. Let n(t) = -15*t + 5. Is n(y) a multiple of 19?
True
Let j = -83 + 56. Let p be (-3)/(-2)*36/j. Is ((-1)/2)/(p/228) a multiple of 22?
False
Suppose -9*x = -879 - 1101. Does 36 divide x?
False
Suppose 2*h = -1391 + 3791. Suppose 3*n + 3*n = h. Is 41 a factor of n?
False
Suppose b - 5*b = 24. Let p be ((2 - 3) + b)*90. Is 9 a factor of (p/28)/(1/(-2))?
True
Suppose 12*o = 16*o + 2*t - 4094, 0 = -2*o + t + 2049. Is o a multiple of 16?
True
Let n be (-59)/(-4) - (-3)/12. Let j = n + 17. Is j a multiple of 6?
False
Let i(q) = -q**3 + 36*q**2 + 20*q + 61. Is 71 a factor of i(36)?
True
Suppose 0*w - 4*w + 604 = 2*q, -4*q - 3*w + 1203 = 0. Is q a multiple of 30?
True
Suppose -2*i = 3*s - 96 - 53, -i - 206 = -4*s. Let c = -7 + s. Is 5 a factor of c?
False
Is (-2)/16 + (-8208)/(-128) a multiple of 8?
True
Suppose 0 = v - 2 + 1. Suppose -14 = -5*g + v. Suppose h + 87 = 5*h - a, -59 = -g*h + 2*a. Does 23 divide h?
True
Is -1228*2/(-12) + (-128)/(-96) a multiple of 4?
False
Let q = -50 + 52. Suppose q*o = 4*c + 30, -3*o - 88 = -7*o + c. Is 6 a factor of o?
False
Let y be ((-270)/20)/((-2)/68 + 0). Let p = y + -236. Is 13 a factor of p?
False
Let l be 2/(0 + 4/(-6)). Let b be (3 - 3)/2 - -13. Let r = l + b. Is 3 a factor of r?
False
Let a = -128 + 158. Is 5 a factor of a?
True
Let n(l) = -2*l**2 - 5*l - 3. Let a be n(5). Does 13 divide ((a/4)/(-3))/((-2)/(-12))?
True
Let g(y) = y**2 + y + 22. Let z be g(0). Suppose 4*t - 52 = -t - 3*j, -16 = -4*j. Let q = t + z. Is 15 a factor of q?
True
Let m(t) = -t**2 + 6*t - 2. Let u be m(5). Let o(i) = -i**3 + i**2 + 8*i - 3. Let p be o(u). Suppose 2*q - 40 = s, p*q + 0*s = s + 58. Is 6 a factor of q?
True
Does 10 divide 9/18 + 316/8?
True
Let h(d) = -d - 1 + 2 + 2*d. Is 3 a factor of h(14)?
True
I