6 divide f?
False
Let h(c) = 3*c**2 - 2*c - 1. Let l be h(-1). Suppose 28 = 4*q + 4*z, 2*q + l*z - 10 = 3*z. Is 78/q + -3 + 1 a multiple of 18?
False
Suppose 3*j - 140 = -2*j. Suppose -45 + 11 = 5*s + 3*b, 0 = 3*s - 5*b. Let o = s + j. Does 11 divide o?
False
Does 3 divide (-136)/(-8)*1/1?
False
Let a be (1 + (-5 - -2))/2. Let i be ((-2)/(-6) + a)*-6. Suppose p - i*p = -54. Is p a multiple of 9?
True
Does 38 divide -57*(15/(-9) + 1)?
True
Let g(f) = 3*f + 10. Suppose 0 = -i - i + 5*w - 7, 3*w = -5*i + 60. Is g(i) a multiple of 16?
False
Let o = -229 + 451. Is 15 a factor of o?
False
Is 35 a factor of (-12)/30 + (-1224)/(-10) + -2?
False
Suppose -6*g + g + 30 = 0. Let r be 4/g + 5/15. Is 12 a factor of r + -1 + 2 + 16?
False
Let m(o) = -2*o**3 - o - 1. Let n be m(-1). Suppose 0 = -4*c + 142 + n. Does 18 divide c?
True
Let y(j) = -j**2 - 12*j + 23. Does 25 divide y(-10)?
False
Let s = -4 + 3. Let w be (-5 - s)*(-2)/4. Is 12 a factor of (w/4)/(1/34)?
False
Suppose h + 4*k = -12 + 73, 5*h - 210 = -k. Does 10 divide h?
False
Suppose 3*o = -p - p + 25, -10 = -2*o. Suppose -p - 11 = -2*l. Is 3 a factor of l?
False
Let o be -2 + 6/3 + -2. Is 21 a factor of 3*(-1 - o) - -18?
True
Let z = 8 + 17. Let r be (-5)/z + (-18)/10. Does 8 divide (-20)/3*9/r?
False
Let i(p) = 2*p**2 + 15 - 3*p**2 + p + 0*p**2. Is i(0) a multiple of 15?
True
Suppose 5*s - 187 = -0*s + 2*a, 2*s - 62 = 4*a. Suppose -3*u - 9 = -s. Is u a multiple of 4?
False
Let q = 2 + 1. Suppose 315 = q*v + 2*v. Suppose -2*b - 5*m + v = 0, -2*b - 26 = -3*b + 3*m. Does 11 divide b?
False
Let o = 68 - 43. Let c = o + -14. Does 8 divide c?
False
Suppose 7*b + 85 = 2*b. Let f = b - -5. Is 4 a factor of (-2 - -1) + (-1 - f)?
False
Suppose 2*g = 3*g + 71. Let y = -49 - g. Is y a multiple of 7?
False
Suppose 4*r - 3*x + 52 = x, -5*x + 26 = -2*r. Let v = 46 + r. Is v a multiple of 28?
False
Let r = 13 + -9. Suppose 4*k - 40 = -r*p, -3*p = -p - 4*k - 20. Does 8 divide p?
False
Suppose 1 = 5*b - 14. Does 13 divide (11/(-5) - b)*-5?
True
Suppose -2*n + 9 = -61. Is n a multiple of 8?
False
Is 23 a factor of 295 + 0 + -1*(-4 - 0)?
True
Suppose 4*s - 21 = 3. Suppose -4*u + s*u - 44 = 0. Is 22 a factor of u?
True
Suppose h = -0 + 4. Suppose -h*x + 14 + 14 = 0. Let k = x - -4. Is k a multiple of 4?
False
Suppose -8*i = -1402 + 450. Is i a multiple of 10?
False
Let q(s) = 5*s**2 + 8*s - 10. Is 23 a factor of q(5)?
False
Suppose -2*z + 19 = -155. Is 9 a factor of z?
False
Let q = 5 + 105. Is q a multiple of 5?
True
Suppose 40 = 2*z - 3*b - 7, -3*z + 90 = 2*b. Is 9 a factor of z?
False
Suppose -5*g = -5*v - 295, -g - 4*v + 39 = -0*g. Suppose 0 = -3*o + 17 + g. Is 12 a factor of o?
True
Suppose -2*s = 4*p + 16, 4*s + 2 = -0*p - 2*p. Let j(l) = -5*l**2 + 4*l + 2. Let t(u) = 11*u**2 - 9*u - 5. Let o(a) = -5*j(a) - 2*t(a). Does 3 divide o(s)?
False
Suppose -t + 2*n = -4*t + 104, -4*t - 4*n + 132 = 0. Is t a multiple of 10?
False
Let a(s) = 5*s**3 + 13*s**2 - 15*s + 9. Let h(f) = -2*f**3 - 4*f**2 + 5*f - 3. Let c(g) = 3*a(g) + 8*h(g). Does 3 divide c(6)?
True
Let h(v) = -6*v + 1. Let u be h(-1). Let j(m) = 2*m - 9. Let p be j(u). Suppose p*i - 6*r + 2*r - 10 = 0, -i - 3*r = -21. Is 6 a factor of i?
True
Suppose y + 36 = 2*y + 4*w, 5*y + 2*w = 90. Is y a multiple of 8?
True
Suppose 5*z + 22 = -3*d, -4*d - 9 + 3 = 2*z. Is z + 3 - (2 + -9) even?
False
Let c be (-7)/14 - 19/2. Suppose -4*d + 12 = -2*d. Let t = d - c. Is 8 a factor of t?
True
Let p be (27/(-6))/((-1)/(-2)). Let h = p + 6. Does 13 divide 24 - h*(-4)/(-6)?
True
Let a be 4*((-339)/(-12) + -2). Suppose 4*j - j = a. Suppose 25 + j = 4*v. Does 10 divide v?
False
Suppose 4 = 5*a - 6. Let m be a*(4 - 3) - -2. Suppose m*w - 60 = d, -5*w - 5*d + 2*d + 92 = 0. Does 8 divide w?
True
Suppose 4*k = 2*v - 50, -7*v + 3*v + 2*k + 100 = 0. Is v a multiple of 4?
False
Let j(q) = -q**3 + 5*q**2 - 2*q - 4. Let v be j(4). Suppose v*r + 153 = 5*k, -2*k + 3 = 3*r - 72. Is 12 a factor of k?
False
Let y(g) be the first derivative of g**2 - 2*g + 2. Let l be y(2). Suppose 5*v - 31 = -l*k, 5*v - k - 6 = 31. Is v a multiple of 7?
True
Let c(o) = 25*o + 1. Does 15 divide c(4)?
False
Suppose -4*g + 354 = 14. Is g a multiple of 17?
True
Let p(n) = n**2 - 5*n + 5. Let y be p(5). Suppose -5*x = -4*d + 87, 0*d + 53 = d + y*x. Is 14 a factor of d?
True
Let h = -33 - -67. Let t = h + -21. Does 9 divide t?
False
Let y = 13 + -21. Let w be (44/6)/(y/(-12)). Suppose -2*t + 7 = -w. Is t a multiple of 6?
False
Let p = -56 + 30. Let b = p - -37. Is 4 a factor of b?
False
Let g(x) = x**3 - 2*x**2 + 3*x - 4. Let r be g(3). Let v = r + 23. Does 13 divide v?
False
Is 13 a factor of (1/(3/(-78)))/(4/(-8))?
True
Let z = 11 + 22. Suppose -5*c - 7 = -4*h - 87, -3*h + z = 4*c. Is 4 a factor of c?
True
Let v(j) = 10*j**2 + 2*j - 13. Is v(-4) a multiple of 15?
False
Let i = -6 - -10. Suppose 2*r - 10 = w, -5*w = r + i + 2. Suppose 3*s - 77 = -s + 5*z, 5*s = r*z + 94. Does 14 divide s?
False
Let c = -15 + 17. Is 3/6 - (-7)/c a multiple of 4?
True
Let g = -1 + 2. Suppose -4*l - y = -2*l + 1, 5*l + 4 = -2*y. Does 10 divide -1 + l + 33/g?
True
Let m(z) = z**3 - z**2 + 2*z - 2. Let j be m(3). Let y = -10 + j. Suppose -y = -a - a. Is 6 a factor of a?
True
Let h(b) = -b**3 - b**2 + 6*b - 7. Let v be h(-5). Let j = -37 + v. Is 13 a factor of j?
True
Is 46 a factor of (24/10)/(1384/230 - 6)?
True
Let h be (2 - 2) + 8 - 0. Suppose -5*c = 2*w + w + h, -24 = -2*w + 4*c. Is 3 a factor of (-115)/(-15) + w/(-6)?
False
Let t(h) = h**2 - 10*h - 11. Is 36 a factor of t(-7)?
True
Let c(s) = -17*s + 11. Let h(v) = -6*v + 4. Let x(f) = -3*c(f) + 8*h(f). Let u be x(7). Is 10 a factor of (-3 - -2)/((-2)/u)?
True
Let m(h) = -h**2 + 1. Let a(r) = r + 3. Let s be a(-3). Let n be m(s). Is ((-2)/(-4))/(n/68) a multiple of 9?
False
Let p(l) = -9*l**2 + l + 1. Let z be p(-2). Let s = z - 9. Let n = s + 68. Is 17 a factor of n?
False
Let f(z) = 6*z**2 + z - 1. Does 13 divide f(-2)?
False
Let u be (-2)/(-12) - 159/(-18). Let i be (20/6)/(6/u). Suppose -24 + 99 = i*v. Is v a multiple of 5?
True
Let f(l) = -9*l + 4. Is 8 a factor of f(-3)?
False
Suppose 256 = -2*u + 1096. Suppose -2*b = -b - u. Does 18 divide 1/3 - b/(-9)?
False
Does 7 divide (-54)/(-8) - (-7)/28?
True
Suppose 0 = -4*g - 5*d + 93, -2*g + 4*d = 39 - 105. Does 27 divide g?
True
Let p(w) = w**3 - 9*w**2 - 10*w + 2. Let z(r) = -8*r. Let m be z(1). Let u(s) = -s + 2. Let g be u(m). Is p(g) a multiple of 2?
True
Suppose 4*l - 132 = 100. Does 15 divide l?
False
Suppose 12 = 2*x + x. Suppose -7*u - 27 = -h - 5*u, 5*h - 65 = -x*u. Let a = h + -5. Is 12 a factor of a?
True
Suppose 0*v = -h - 2*v + 19, h - 5*v = -9. Does 9 divide h?
False
Let y = 223 - 141. Is 41 a factor of y?
True
Let k = 611 + -259. Does 35 divide k?
False
Let d be 10*((-8)/(-10) + -2). Is 25 a factor of (186/d)/((-1)/2)?
False
Suppose 11*p - 12*p = -120. Is p a multiple of 15?
True
Let g = -9 - -14. Suppose 12 = -3*x + 2*x + g*d, 3*x - 8 = 4*d. Does 8 divide x?
True
Is 6 a factor of (-55)/(-2) + (-17)/34?
False
Let p = 6 - 4. Suppose p*s - 1 = s. Is -3*(0 - s)*3 a multiple of 6?
False
Let c(f) = 2*f**3 - f + 1. Let i be 2/5*(-10)/(-2). Let v be c(i). Suppose -3*t = -v, u - t = 2*t + 49. Does 17 divide u?
False
Let b = 113 + 11. Does 31 divide b?
True
Suppose 0 = 6*y - y. Let z(h) = -2*h**2 + 3*h - 30. Let b(s) = 3*s**2 - 4*s + 45. Let u(o) = 5*b(o) + 7*z(o). Does 15 divide u(y)?
True
Suppose -x + 104 = 4*f, 155 - 65 = x - 3*f. Is 25 a factor of x?
False
Suppose 13*p + 560 = 2575. Is 31 a factor of p?
True
Let w(j) = j**3 - 2*j - 1. Is w(3) a multiple of 10?
True
Let c = 16 + 113. Does 6 divide c?
False
Let u = -78 - -117. Does 34 divide u?
False
Suppose 3*t + 66 = 2*t. Is 214/12 + (-11)/t a multiple of 6?
True
Let z be -1 + 3 + 26/2. Suppose 2*k - z = 7. Is k a multiple of 4?
False
Let h be 7 + 1 + 2 + -1. Let d = 63 - h. Does 18 divide d?
True
Suppose -64 = -a - 19. Is a a multiple of 10?
False
Let u(m) = m - 3 + 0*m + m - 3*m. Let q be u(-6). Is ((-1)/q)/(3/(-45)) a multiple of 5?
True
Let j(v) = -v**3 - 2*v**2 + 3*v + 4. Let s be j(-3). Suppose -11 - s = -5*q. Suppose 0 = q*b - 11 - 64. Is 10 a factor of b?
False
Let i = 5 - 5. Suppose -5*o + 6*o - 20 = i. Is o a multiple of 15?
False
Let j(y) = y**2 - y - 1. L