e
Let o(n) = -56*n + 4. Is 20 a factor of o(-1)?
True
Is 5 a factor of 234/12 + (3/2 - 1)?
True
Let i(x) = -x**3 - 11*x**2 + 9*x - 13. Does 8 divide i(-12)?
False
Suppose -a - a + 32 = 0. Suppose k + 4*d = 30 + a, -4*k = -d - 218. Is (k/(-8))/((-1)/4) a multiple of 16?
False
Let q(n) = 2*n**2 + 5*n - 6. Is q(4) a multiple of 14?
False
Let v be 178/(-14) + (-8)/28. Let m = 43 + v. Let h = m + -19. Does 8 divide h?
False
Let x(s) = 2*s**2 - s + 5. Is 17 a factor of x(4)?
False
Suppose -2 = 5*m - 22. Suppose 3*p - 152 = p - m*k, 5*p = -2*k + 380. Let j = p + -54. Is j a multiple of 8?
False
Suppose -2*g + 232 = -60. Does 8 divide g?
False
Let c(x) = x**2 - x + 9. Does 6 divide c(3)?
False
Suppose 0 = 5*i + 6 - 26. Let x(r) = -r + 6*r - 6 + 4. Is x(i) a multiple of 6?
True
Suppose 2*q - 3 = q. Suppose -5*n = q*i - 10, 4*n = 3*i + 2 - 21. Suppose 3*b = -2*z - 6 + 55, -95 = -i*z - 2*b. Is 6 a factor of z?
False
Let k = -1344 + 2088. Does 18 divide (2/8)/(6/k)?
False
Suppose -2*c + 202 = -0*c. Does 31 divide c?
False
Let w(d) be the third derivative of 0*d - 1/120*d**6 + d**3 + 0 - 1/12*d**5 - d**2 + 5/12*d**4. Is w(-7) a multiple of 13?
False
Suppose 12 = -0*p + 4*p. Suppose n = 0, 0*v - 36 = -v - p*n. Does 12 divide v?
True
Suppose 0 = 4*g - 9 + 25, 0 = q + 4*g - 49. Does 8 divide q?
False
Suppose 63 = v - 2. Let d = 138 - v. Is 22 a factor of d?
False
Let f(t) = -t**2 + 27. Let i be f(0). Does 7 divide (1 + i)*(-4)/(-8)?
True
Let m(n) = 8*n + 4. Let j be m(4). Suppose d - 4*q - 5 = 2*d, 2*q = -4*d + j. Is d a multiple of 11?
True
Let p(r) = -r**2 - 10*r**3 + 12*r + 0*r**2 - 5 - 6*r. Let n(x) = -10*x**3 - x**2 + 5*x - 4. Let q(z) = -6*n(z) + 5*p(z). Does 5 divide q(1)?
True
Suppose -4*q + 6 = -2. Let g be q/(-5)*(-20)/(-2). Does 9 divide ((-60)/8)/(2/g)?
False
Let w = 277 + -97. Is w a multiple of 15?
True
Let k(q) be the second derivative of -q**5/20 - q**4/3 - 2*q**3/3 + q**2/2 - 2*q. Let a be k(-3). Suppose 31 = r - 2*w, 2*w + 4 = a*w. Is r a multiple of 13?
False
Suppose -p = 3*p + 8. Let k be 1/(p + 33/15). Is 15 a factor of 6/((-4)/(-2))*k?
True
Let h(z) = 17*z - 1. Let d be h(3). Suppose -2*a - d = 3*a. Is a/(-6)*3 + 1 a multiple of 6?
True
Let r(a) = -2*a**3 - 6*a**2 + 4*a - 8. Let n be r(-6). Suppose -4*d - 6*b = -2*b - n, d - 50 = 3*b. Does 8 divide d?
False
Suppose -4*n + 198 = -362. Is 35 a factor of n?
True
Suppose -2*q - q = -12. Suppose q*h = 92 - 20. Is 18 a factor of h?
True
Let n(x) = 36*x**3 - 2*x + 1. Let m be n(1). Let h(u) = -2*u**2 + 6*u - 1. Let j be h(3). Let y = m + j. Does 10 divide y?
False
Suppose 2*u + 3 - 75 = 0. Does 4 divide u?
True
Is 8 a factor of (-3 - 5 - -4)*-20?
True
Suppose 3*k - 99 = 3*x, -2*x - 49 - 46 = -3*k. Is 3 a factor of k?
False
Let a(c) = 0*c**2 + c**2 - c - 2 + 3*c. Is a(-7) a multiple of 11?
True
Suppose 1 = -l + 2*l + 4*n, -4 = -l - n. Suppose -2*k - 2*k + 103 = -l*z, 2*k - 53 = 3*z. Is k a multiple of 11?
True
Let k(d) = 3*d - 3. Let i be k(-6). Does 15 divide 107/7 - (-6)/i?
True
Suppose 4*j + x = -1, j + x + 3 = 2. Suppose j*d = d + 3*b - 13, -5*d + 4*b = -84. Does 6 divide d?
False
Let l(t) = 20*t**2. Let m be l(-1). Let n be 5*-4*(-2)/m. Suppose -n*z = -4*z + 22. Does 5 divide z?
False
Let c(r) be the third derivative of 0*r**4 - 1/60*r**6 + 0*r**3 - r**2 - 1/15*r**5 + 0 + 0*r. Is 18 a factor of c(-3)?
True
Is 5 a factor of 26 + -4 + -4 + -3?
True
Suppose 5*g - g = -4, -3*k = -3*g + 57. Is 6 a factor of (-248)/k + 2/(-5)?
True
Let z(m) = -m**3 + 84. Does 14 divide z(0)?
True
Let w(v) = -v**3 + v. Let m be w(2). Let c = m + 12. Is 3 a factor of c?
True
Suppose 0 = 4*f - 1 - 107. Is f a multiple of 24?
False
Suppose b - 7*b = 6. Let j(o) = -9*o**3 + 4*o**2 - 13. Let i(d) = 4*d**3 - 2*d**2 + 7. Let l(g) = 11*i(g) + 6*j(g). Does 11 divide l(b)?
True
Does 21 divide (0 - -249)/(9/6)?
False
Let v = -6 - -3. Suppose -6 = 2*b - 2. Does 3 divide (b/v)/(2/9)?
True
Suppose -2 = -c + 2. Suppose -c*h - 2 = -5*h. Suppose -h*y = 7 - 41. Does 12 divide y?
False
Is (20/6)/1*3 a multiple of 3?
False
Suppose 2*f + 29 = 3*m - 85, -290 = 5*f - 5*m. Does 21 divide 7*9 + f/15?
False
Suppose 3*i - 2*x = 289, 4*i + x - 390 = -x. Is 20 a factor of i?
False
Let s be 4/(-14) - (-51)/7. Let i(k) = k**2 - 7*k. Let p be i(s). Suppose p*c + c = 7. Is c a multiple of 4?
False
Suppose -2*c + 0*c = 4*u - 16, -2*u + 22 = 2*c. Does 14 divide c?
True
Suppose 35 = 3*s - g, 4*s - 5*g - 88 + 23 = 0. Let o = s - -2. Is 4 a factor of o?
True
Suppose -f + q - 1 = 0, 4*f + q = 4*q - 1. Let m(y) = 3*y**3 + 1 + 0 - 5*y**2 + 4*y**2 - 3*y. Is m(f) a multiple of 15?
True
Is 5 a factor of (-2 + (-28 - -3))*(-2)/3?
False
Let s(w) = -w**2 + 6*w - 6. Let m be s(4). Suppose 57 = 4*i - 167. Suppose -2*f + 0*f + 26 = m*x, 5*f + 2*x - i = 0. Does 5 divide f?
True
Suppose -5*u + d = -249, 4*d - 22 = 3*u - 168. Does 32 divide u?
False
Suppose -p + 72 = 5*g + 21, -4*p + 147 = g. Is 12 a factor of p?
True
Let v(s) = 6*s + 3. Is v(6) a multiple of 17?
False
Let p(m) = -m + 14. Let z be p(6). Suppose 0 = -4*w + z*w. Suppose 7*d - 2*d - 20 = w. Is 4 a factor of d?
True
Suppose 3*w - 5*z - 49 = 10, -2*w + 46 = -5*z. Suppose 5*m + w + 7 = 0. Is (-14)/m + (-3)/(-6) even?
True
Is 12 a factor of ((-3)/2)/(17/(-1360))?
True
Let h = 9 + -4. Is h a multiple of 5?
True
Let n(j) = j**2 - 11*j + 10. Let b be n(10). Is 12 a factor of (24 - 1)*(1 - b)?
False
Suppose -3*t - 6 + 69 = 0. Does 21 divide t?
True
Let v be (6 + 0)*(-2)/(-4). Suppose -2*x + 4*x - 110 = 0. Suppose s - 18 = -4*r - v, -2*s + x = 3*r. Does 12 divide s?
False
Let c be 1*(-2)/2 - -16. Let z = 36 - c. Is z a multiple of 21?
True
Let m be (-4)/(-18) + 305/45. Let f(o) = -o + 1. Let x(v) = 6*v - 6. Let n(d) = 16*f(d) + 3*x(d). Is 11 a factor of n(m)?
False
Let h = -14 - -22. Is h a multiple of 3?
False
Let b(j) = -123*j**3 - j - 1. Let x be b(-1). Let y = -81 + x. Does 21 divide y?
True
Let h(u) = 2*u**2 + 5*u - 6. Let t(l) = l**2 + 5*l - 5. Let j be t(-5). Is h(j) a multiple of 14?
False
Let i(x) = x**2 + 6*x - 6. Let y be i(6). Let u be 2/2*0 + y. Suppose -o = 2*t - 7 - 11, -5*o = 4*t - u. Does 3 divide o?
False
Let d = 73 - 39. Suppose -2*j + 34 + d = 0. Is j a multiple of 17?
True
Suppose -8 = 3*p - 3*n + 25, -2*n - 2 = 0. Suppose -2*z + 3*g = -12, -5*z + 21 + 19 = -5*g. Is 10 a factor of 3/p + 243/z?
True
Suppose 3*o - 7 = 5*w, 0*w + 3*w - 2*o + 4 = 0. Suppose 2 = -5*f + i, -3*f + 5*i = 2 - 14. Does 14 divide (f - w/4)*-74?
False
Let i = 20 - 20. Suppose i*x - 5*x = -20. Is 3 a factor of x?
False
Does 12 divide (1/(-2) - -2)*8?
True
Let u(p) = 2*p**3 + 13*p**2 + 2*p - 3. Does 3 divide u(-6)?
True
Let b = -210 - -454. Does 38 divide b?
False
Suppose -231 = 3*z - 6*z. Is (-156)/(-7) + (-22)/z a multiple of 11?
True
Is 4/4*13 + 3 a multiple of 14?
False
Let i(o) = 8*o**2 + 1. Let y be i(1). Suppose -2*j - y*d + 85 = -4*d, -3*j + 75 = -3*d. Does 15 divide j?
True
Let z = 682 + -410. Does 34 divide z?
True
Let k = -3 + 8. Let h = 5 - k. Suppose 0 = -r - h*r + 19. Is 16 a factor of r?
False
Let n(u) be the second derivative of 37*u**5/20 - u**4/12 - u**3/6 + u**2/2 - u. Let c be (-1 + 2)/(4/4). Is n(c) a multiple of 18?
True
Let w = -14 - -147. Is 19 a factor of w?
True
Let w = -52 + 73. Is w a multiple of 15?
False
Suppose -3*h = -2*w + 23, 37 = 3*w + 2*h - 7*h. Suppose -5*j = -3*k + 3 - 20, -17 = w*k - j. Let s(i) = -2*i**3 - 4*i**2 + 6*i + 3. Does 15 divide s(k)?
False
Let q = 990 + -622. Is 16 a factor of q?
True
Does 26 divide (0 - 4)*((-82)/4 - -1)?
True
Let a(p) = p**3 + 11*p**2 - 13*p + 14. Suppose -60 = 3*j + 2*j. Is a(j) a multiple of 13?
True
Suppose -k + 2*m = 3, -3*k - 4*m + 26 - 5 = 0. Let s be 1 - (1 + 0 - 0). Suppose s*b - 3*b = -3, k*b + 71 = 2*o. Is o a multiple of 18?
False
Let f(b) = 2*b**2 - 5*b + 2. Suppose 3*k - 3*p - 18 = 3, -12 = 3*p. Let j be f(k). Suppose 2*m - 8 = -5*l, j*l + 2 = 2*m - 6. Is m a multiple of 3?
False
Let h = 1 + 10. Is 11 a factor of h?
True
Let q = -1 + 3. Suppose -r + 3*l + l = 14, q*r = -l + 8. Suppose -3*z = r*z - 60. Is z a multiple of 7?
False
Let i(r) = -r**2 - 6*r - 3. Let v be i(-5). Suppose v*o + 27 = 119. Is o a multiple of 23?
True
Let h be (2/(-3))/((-6)/45). Let w(s) = s**2 + 3*s + 2. Let p be w(-2). Suppose h*c - 32 - 148 = p. Is c a multip