*2 - 8*x**3 - 11*x**3. Let h be a(2). Is -5*(h/(-15))/(-4) a multiple of 5?
False
Suppose -6*b + 3*b + 24 = 0. Let t(z) = z + 4*z - 4 - 8. Does 16 divide t(b)?
False
Let o = -6 - -8. Suppose -2*c - 2 = -4*l - 8, l + o*c = 1. Is 14 a factor of 556/20 + l/(-5)?
True
Let w = 38 - -157. Is 15 a factor of w?
True
Suppose -5*t = -3*i - 6, t + 3*i = 4*t. Suppose -5*u + 4*a = 2*a - 196, 0 = 5*u + t*a - 206. Is u a multiple of 10?
True
Let w(m) = -m**3 + 9*m**2 - 7*m. Is w(4) a multiple of 13?
True
Let c be (678/(-9))/(12/(-18)). Suppose -4*g + s + 61 = -c, 0 = -g - 3*s + 50. Is 11 a factor of g?
True
Let b be 4/(-16) + 13/4. Suppose -u + 80 = b*u. Does 15 divide u?
False
Suppose -4*b + 18 = 2*i, -2*i + 2*b - 12 = -0*i. Does 2 divide -1*(0 + i + -4)?
False
Suppose 4*q = q - 99. Does 6 divide ((-6)/(-18))/((-1)/q)?
False
Let o(w) = -4*w + 2. Suppose -2*h + 0*n + 2*n - 16 = 0, 5*h = -n - 16. Is 9 a factor of o(h)?
True
Suppose 0 = -b - 3*b - 12, -12 = 3*j - 2*b. Does 16 divide (-452)/(-9) + j/27?
False
Let s(u) = u + 2*u + 8*u**2 - 4*u**3 + 7 + 5*u**3 + 2*u. Is s(-7) a multiple of 7?
True
Let v(q) = -19*q + 3. Suppose -z + 0*z = 4. Let a be v(z). Suppose -3*c + a = 2*c + 4*l, -2*l + 47 = 3*c. Does 13 divide c?
False
Suppose -5*h = -4*c + 242, c = h + 33 + 27. Is 29 a factor of c?
True
Let i(r) = -r**2 + 7*r - 4. Let c be i(6). Let s be ((-100)/(-15))/(c/6). Let p = 58 - s. Is 19 a factor of p?
True
Let l(k) = 8*k. Let u be l(2). Suppose 0 = -3*h + 9, 5*q - h = -3*h + u. Suppose q*i = -i + 54. Does 9 divide i?
True
Suppose 4*u - 4 = -16. Let b be 10/15 - 28/u. Let i = 20 - b. Is 8 a factor of i?
False
Let n(b) = -8*b + 29. Is n(-17) a multiple of 33?
True
Let n(u) = 6*u**2 - 5*u + 8. Does 20 divide n(-4)?
False
Let o be (-2)/(3/(-6) + 0). Suppose -53 - 3 = -o*w. Suppose 3*l + w - 50 = 0. Is 7 a factor of l?
False
Let s be ((-12)/2)/(-2) + 0. Suppose 63 = 4*m + 2*t - 111, 138 = s*m + 3*t. Let k = m + -21. Is k a multiple of 8?
False
Suppose 2*u - 5*p - 78 = 0, -3*u = -4*p + 2*p - 128. Let j = -15 + u. Is 20 a factor of j?
False
Let u = -41 + 77. Let p = -21 + 4. Let n = p + u. Does 18 divide n?
False
Suppose 0 = 2*b - 4*k + 66, 39 - 183 = 3*b + 3*k. Let v = -1 - b. Does 10 divide v?
False
Let a(x) = 5*x**2 + 2*x - 4. Let y be a(4). Suppose -v - v = -y. Does 14 divide v?
True
Let a(d) be the second derivative of -d**3/2 + 5*d**2/2 - 3*d. Is 7 a factor of a(-4)?
False
Let t(m) = m**3 + 2*m - 1. Let a be t(1). Suppose -5*v + 5 = 0, 5*v + 65 = 2*g + a*v. Let n = -16 + g. Is n a multiple of 18?
True
Suppose -3*n + 90 + 309 = 0. Is 19 a factor of n?
True
Suppose -j - j + 12 = 0. Is j/8 + (-111)/(-12) a multiple of 10?
True
Let f(h) = -h**3 - h**2 - h + 1. Is 9 a factor of f(-3)?
False
Let s(t) = 4*t**2 - 11*t - 6. Is 30 a factor of s(8)?
False
Suppose -c + 5*p = -60, 0 = -c + 4*c + p - 228. Does 15 divide c?
True
Does 12 divide (3 + -11)*(-2 - 4)?
True
Suppose 2*r = -2*m - 3 - 3, 5*r - 4*m - 12 = 0. Suppose r*s = -5*s - 5*l + 90, -5*s + 108 = -4*l. Does 3 divide -2*1 - s/(-2)?
False
Let u(n) = -6 + n**2 - n**3 + 2*n**2 - 7*n**2 - 9*n - 3*n**2. Does 19 divide u(-7)?
True
Suppose -14 = 5*l + 1. Let s = 27 - l. Is s a multiple of 15?
True
Suppose 4*z + 153 + 83 = 0. Is (-6)/9 - z/3 a multiple of 10?
False
Let j(p) = p**3 - 4*p**2 - 8*p - 2. Let x(l) be the second derivative of -l**4/12 - 4*l**3/3 - 3*l**2 + 3*l. Let a be x(-6). Is 11 a factor of j(a)?
True
Let r(u) = -5*u**3 - 40*u**2 - 24*u + 51. Let w(f) = -f**3 - 8*f**2 - 5*f + 10. Let c(v) = -2*r(v) + 11*w(v). Does 3 divide c(-7)?
False
Let s(y) = 4*y**2 + y. Let k(g) = -9*g**2 - g + 1. Let d(a) = 2*k(a) + 5*s(a). Let n be d(4). Suppose -3*p + 23 = -n. Is 14 a factor of p?
False
Let t(f) = f**3 - 13*f**2 - f - 7. Let x be t(13). Is (-70)/(-4)*x/(-25) a multiple of 11?
False
Let x(l) = l**2 - 5*l - 2. Let d be x(6). Suppose -d*n + 190 = n. Is n a multiple of 19?
True
Suppose 28 = r + 3*w, 0 = -2*r + w - 3*w + 64. Suppose -2*s = -5*l + r, 4*l - 1 = -3*s + 17. Does 9 divide (-117)/(-6)*8/l?
False
Let s(p) = p**2 + p + 27. Let z(o) = -o**2 - o - 27. Let u(h) = -3*s(h) - 4*z(h). Is 9 a factor of u(0)?
True
Is 7 a factor of (-6)/(-8) - 78/16*-6?
False
Let y be (-6)/(-5)*(-5)/2. Let q(t) = -t**3. Is 9 a factor of q(y)?
True
Suppose 4*w + 5*l = l + 120, 4*l = 3*w - 111. Does 13 divide w?
False
Let n be 4/14 + 57/21. Suppose -125 = -n*v + 4*b, 4*v + 3*b = b + 174. Does 21 divide v?
False
Suppose -85 = -3*s + 110. Let l = s + -32. Is l a multiple of 14?
False
Let r(t) = -3*t - 16. Suppose -5*s - 55 = -0*s. Does 5 divide r(s)?
False
Let b be (4/2 - 0)*2. Suppose -80 = -b*g + 5*l, 2*g + 0*g - 2*l - 38 = 0. Is 5 a factor of g?
True
Let h(u) = u + 32. Is h(-13) even?
False
Suppose 4*d - 2*d = 98. Suppose 3*g - 136 = -q + 109, 2*g - 5*q = 152. Let a = g - d. Is 16 a factor of a?
True
Let z(u) = 10*u**3 - u**2 - u. Let y be z(-1). Let a = y - -19. Does 4 divide a?
False
Let y = 5 - 2. Suppose -y*b + 28 = 4*u - 108, -4*u + 164 = -4*b. Is u a multiple of 30?
False
Suppose 0 = -5*r + 23 + 2. Suppose 0 = -0*v + v - r. Is v a multiple of 5?
True
Suppose 3*k = 3*u - 96, -130 = -5*u + 3*k + 36. Is 5 a factor of u?
True
Let a = -87 - -166. Does 9 divide a?
False
Let l(i) = i + 24*i**2 + 3 + 3 - 5. Is 7 a factor of l(-1)?
False
Let l(d) be the second derivative of 3*d**3/2 + d**2 + 2*d. Suppose -4*t = 3*s - 3*t - 11, 0 = -3*s + 2*t - 4. Is 10 a factor of l(s)?
True
Let q(c) be the second derivative of c**3/6 + 3*c**2 - 3*c. Is 2 a factor of q(-4)?
True
Let r(d) = -d**2 + 11*d - 2. Let f be r(5). Suppose 0 = -2*a + 8 + 2. Suppose s + 2*m = f, 3*s = -0*s + a*m + 73. Does 13 divide s?
True
Let y(h) = 7*h**2 - 6*h + 8. Is y(4) a multiple of 16?
True
Let x(l) = -l**2 - 8*l - 2. Let w be x(-6). Let j(f) = f**2 - 4*f - 7. Let h be j(6). Let q = w - h. Is 2 a factor of q?
False
Let j be 2/((5 - 3) + -3). Is -1*27/6*j a multiple of 9?
True
Suppose 2*i + n - 6*n = 13, 3*n - 15 = 5*i. Is ((-138)/9)/(4/i) a multiple of 10?
False
Suppose -4*a = -2*p - 1218, -6*p = -2*a - 2*p + 600. Is 17 a factor of a?
True
Suppose 4*m + 7*o - 4*o - 135 = 0, -2*m - 4*o = -60. Does 9 divide m?
True
Suppose 65*y = 58*y + 1827. Is y a multiple of 9?
True
Suppose 2*n = -14 + 48. Is 5 a factor of n?
False
Let i(x) = -x - 9. Let h be i(-9). Suppose h = b - 0*b - 69. Is 23 a factor of b?
True
Suppose 4*u = 2*b + 66, -b = -4*u + 35 + 30. Does 16 divide u?
True
Suppose 0 = 5*a - 2*i - 395, -79 = -a - 3*i - 0*i. Is 14 a factor of 3/(-9) + a/3?
False
Suppose y + 1 = 0, -y = 2*t + y - 24. Suppose 3*i + 49 = t. Does 9 divide (-196)/i + (-4)/(-6)?
False
Suppose -7*w + 40 = p - 3*w, 5*p - w = 137. Is 13 a factor of ((-49)/p)/(1/(-12))?
False
Does 15 divide 56 + (3 - 5) + 1?
False
Let p = -8 + 5. Let q = -1 - p. Suppose 0*g - q*g + 2*b = -12, -5*g = -2*b - 45. Is g a multiple of 5?
False
Let t(z) = -70*z**3 + 2*z**2 - 2. Does 4 divide t(-1)?
False
Let q = -28 - -65. Let k(t) = 5*t + 6. Let c be k(-5). Let i = q + c. Is i a multiple of 7?
False
Let w(a) = a**2 - a - 1. Let l(s) = s**2 + 3*s - 6. Let o(q) = -l(q) + 3*w(q). Does 23 divide o(5)?
True
Let t(y) = y**3 + 4*y**2 - 2*y - 6. Suppose 0*d + 3*d + 16 = -4*k, -4 = k - 2*d. Let i be t(k). Is 14 + 2 - i/1 a multiple of 7?
True
Suppose 3*f + 31 = 2*y - 89, -208 = -4*y - 2*f. Is 18 a factor of y?
True
Suppose 0 = 2*z - 0*z - 10. Suppose c + z*m - 80 = -3*c, 5*c - 5*m - 100 = 0. Is 15 a factor of c?
False
Let t = -75 - 126. Let v = -16 - -7. Does 23 divide 8/12 + t/v?
True
Let h be (-1 - 2) + 3 + -9. Is 2*h/6 + 39 a multiple of 12?
True
Suppose a - l = 7, -l = -2*a - a + 11. Suppose -a*v = i - 0*v - 9, v - 12 = -2*i. Is i a multiple of 2?
False
Let c(y) = -8*y**3 + 4*y**2 + 2*y - 1. Let p be c(-2). Suppose 2*k - 220 = -4*t + 74, -p = -t - k. Is 24 a factor of t?
True
Let p be ((-9)/6 + 1)*0. Suppose -2*z + 10 = -p*z. Suppose -26 = -z*w + 64. Is w a multiple of 9?
True
Let d be 2/1*(-25)/(-10). Suppose -9*u + 4*u = -d. Is 13 a factor of 5*((-21)/(-5) + u)?
True
Let u be ((-2)/(-3))/(4/6). Let k be (-4)/5*5/u. Is k/(-6)*(1 - -8) a multiple of 4?
False
Let f(i) = -i**3 - 3*i**2 + 2*i + 4. Let y be (-4)/10 + (-18)/5. Let a(u) = u**2 + 4*u - 4. Let h be a(y). Is 9 a factor of f(h)?
False
Suppose 0 = 3*k - 7 - 11. Let d = k - -1. Is 