w - q*f + 37 = 0. Is 11 a factor of w?
False
Let h(o) = -2*o + 6. Let l be h(7). Let m(u) = -u + 1. Is m(l) a multiple of 9?
True
Suppose 3*w - 5*w + 68 = -4*s, -w - 2*s + 22 = 0. Does 14 divide w?
True
Let l = 30 - 66. Let w = l + 50. Is w a multiple of 7?
True
Let p(w) be the second derivative of 7/6*w**3 + 0 + 1/2*w**2 - w. Is 15 a factor of p(2)?
True
Let l(j) = -25*j + 5. Is 5 a factor of l(-1)?
True
Let q = -109 - -216. Is 30 a factor of q?
False
Suppose 2*q - 5*q = -168. Does 18 divide q?
False
Let v = 552 + -387. Is v a multiple of 26?
False
Let o(d) = d**3 - 7*d**2 - 7*d + 3. Does 11 divide o(8)?
True
Is 7 a factor of (-8 - -16)*(-5)/(-2)?
False
Let d(y) = -17*y. Let u be d(-8). Let j = 204 - u. Is j a multiple of 25?
False
Let k(l) be the third derivative of -l**6/120 - l**5/60 + l**4/3 + l**3/2 + 3*l**2. Is k(-5) a multiple of 21?
True
Suppose 0 = -3*g + 5*r + 327, -3*r - r - 444 = -4*g. Suppose -2*i = 4*h - 4*i - g, 0 = 3*h - 3*i - 84. Suppose 3*k = h - 5. Is k a multiple of 8?
True
Is 10 + -3 + -4 + 143*1 a multiple of 26?
False
Let w = 0 + -1. Let f = 0 + w. Is ((-6)/(-3) + -27)/f a multiple of 12?
False
Let w(v) = 5*v**3 + 6*v**2 - v + 1. Let u(g) = 11*g**3 + 13*g**2 - g + 2. Let b(c) = 4*u(c) - 9*w(c). Is b(-4) a multiple of 11?
True
Suppose -4*c - 439 = -8*c - 3*x, -3*c - 3*x = -327. Is c a multiple of 19?
False
Let y(w) = w**2 - 9*w + 12. Does 12 divide y(9)?
True
Let c(w) = -4*w**2 - 19*w + 2. Let k(j) = 2*j**2 + 9*j - 1. Let z(g) = 6*c(g) + 13*k(g). Is z(-5) a multiple of 13?
False
Let p be (-1)/4 + (-316)/16. Let x be ((-15)/p)/((-2)/8). Is x/(-6)*(31 + 1) a multiple of 8?
True
Let c = 102 + -72. Does 12 divide c?
False
Let n = 33 + -18. Is n a multiple of 3?
True
Let j(x) = 2*x - 7. Let i be j(5). Let a be (-4)/i*(-3)/2. Suppose -a*d - 2*d = -52. Is d a multiple of 4?
False
Is ((-3)/1)/(-3) - -59 a multiple of 15?
True
Suppose 5*u = -0 - 15. Is ((-24)/4)/(u/28) a multiple of 11?
False
Suppose 25 + 60 = f. Is 17 a factor of f?
True
Let a(d) = d + 7. Let f be a(-13). Is (f + -2)*(-10)/4 a multiple of 10?
True
Let l = -108 + -2. Let w = l + 177. Does 25 divide w?
False
Let v(a) = -a + 1. Let y be (-1)/(-4) + (-246)/(-8). Suppose -4*o - y - 13 = 0. Is 6 a factor of v(o)?
True
Suppose -4*l = -9*l - 35. Let f(k) = -k**3 - 7*k**2 - 2*k + 3. Is f(l) a multiple of 5?
False
Let b be (5 - 9)*(1 + -33). Suppose 0 = w + 52 - b. Does 19 divide w?
True
Suppose c = -c + 5*y + 34, -2*c + 74 = 5*y. Let h = c + -23. Is 3 a factor of h?
False
Let m(o) = -1 - 4*o - o - o**2 + 3*o. Let f be m(-1). Suppose f = -6*p + p + 30. Is 2 a factor of p?
True
Let b(s) = s**2 + 10*s + 13. Let n be b(-9). Suppose -5*w + 16 = -n. Is w a multiple of 4?
True
Let s be 10/6 + 2/6. Suppose -3*z + d - 2*d = -2, 3*z - 6 = -3*d. Suppose z*p - p - 3*m = 3, s*p - 4 = -4*m. Is p a multiple of 7?
False
Suppose 3*h = 27 - 9. Let j(u) = -u**3 + 5*u**2 + 9*u - 5. Does 13 divide j(h)?
True
Let s = 1 + -1. Let g be s + -1*(2 - 7). Suppose g = d - 13. Does 9 divide d?
True
Let k(w) = 7*w + 1. Let z be k(-1). Let m be (z/(-1))/2 - 1. Suppose -n + m*v + 25 = 0, -n - n - 3*v + 85 = 0. Does 13 divide n?
False
Is 19 a factor of 3/21 - (-795)/21?
True
Is 6 a factor of (18*1/(-8))/(6/(-80))?
True
Suppose 0 = -x - 0*n - 5*n - 19, 4*x - 3*n = -30. Is 8 a factor of (x/6 - -2)*46?
False
Let k be (10/8)/(2/8). Suppose -k*q = -q - 44. Suppose -z + q = 1. Is z a multiple of 3?
False
Let l = -1 + 1. Suppose l*c + 4*c - 56 = 0. Does 7 divide c?
True
Let c(d) = 46*d - 1. Does 29 divide c(1)?
False
Let o(c) = -2*c + 3. Is 4 a factor of o(-4)?
False
Let t = -33 - -53. Is 12 a factor of t?
False
Suppose 0*d + d - 5 = 0. Suppose 4*f = d*f - 16. Let b = 3 + f. Is b a multiple of 9?
False
Let k = 6 - 3. Suppose 2*o + 11 = k*o. Does 11 divide o?
True
Let c = -5 + 5. Suppose n + 23 = -c*g - g, 4*g = 2*n - 68. Let p = -1 - g. Is 6 a factor of p?
True
Is 8/28 - 477/(-21) a multiple of 11?
False
Let k(j) = -j**2 + 2*j - 3. Let v be k(3). Let f be 82 - 4*3/v. Suppose f = n + n. Does 21 divide n?
True
Suppose 4*a - 11 = 1. Suppose -14 = a*t - 5*t. Is 7 a factor of t?
True
Let m(n) = -n**2 + 12*n + 3. Is m(10) a multiple of 2?
False
Let s be (6 + -3)/(-3)*0. Suppose -h + 2 = -s, -k - h = -13. Does 11 divide k?
True
Let y(x) be the third derivative of x**5/30 + 2*x**3/3 - 3*x**2. Does 13 divide y(-4)?
False
Suppose 2*z - 5*z - 16 = 5*b, -b - 3*z = -4. Is 8 a factor of -15*b/((-50)/(-16))?
True
Is 39 a factor of ((-6)/9)/((-1)/234 - 0)?
True
Let y = 157 - 46. Suppose 2*a = -39 + y. Is a a multiple of 12?
True
Let b be (4/7)/((-5)/(-35)). Suppose b*a + 2*d - 4*d = 170, 145 = 3*a - 5*d. Is a a multiple of 22?
False
Is (9/(-3))/3 - -191 a multiple of 62?
False
Suppose 2*o - 9 = -7*o. Let g be 4/(-5)*1*5. Does 11 divide -22*o/g*2?
True
Suppose 3*f - 122 = -h + 272, -2*h = f - 133. Does 15 divide f?
False
Suppose 2*d - 2*v - 182 = 0, 4*d - 464 = -d - 4*v. Does 23 divide d?
True
Let n(x) = 6*x**2 - 4*x + 3. Let q = 2 - 2. Suppose 3*i + 0*i - 6 = q. Does 8 divide n(i)?
False
Suppose 11*k = 7*k + 232. Does 10 divide k?
False
Suppose 5*s = 3*s + 180. Is s a multiple of 30?
True
Suppose 7*v = 4*v + 228. Is 15 a factor of v?
False
Suppose -56 = 5*r + m + 79, -5*m - 59 = 3*r. Let o = -12 - r. Is 16 a factor of o?
True
Let w = -9 + 13. Let r be (-505)/(-15) + w/(-6). Is 9 a factor of -1*2*r/(-6)?
False
Let w = 21 - 30. Let g(v) be the third derivative of v**6/120 + v**5/6 + v**4/6 - 2*v**3 + 14*v**2. Is g(w) a multiple of 11?
True
Let s(n) = 2*n**2 - 2*n - 1. Let y be s(2). Suppose -y*d = -57 - 9. Is d a multiple of 11?
True
Suppose 7*y - 2*y = -2*o + 285, -4*o = -20. Is y a multiple of 5?
True
Let s(y) = y**3 + 7*y**2 + 6*y + 3. Let g be s(-6). Suppose -3*k = -g*f - 21, -f = -2*f + 3. Is 5 a factor of k?
True
Suppose 0*i - 8 = i + 4*u, -2*i = u + 16. Is (-406)/i + 1/4 a multiple of 13?
False
Let x(j) = 8*j - 2. Let i be x(2). Suppose i + 46 = 5*q. Is q a multiple of 6?
True
Let s(j) = -5*j + 0*j - 4 + 4. Let n be s(-1). Suppose 175 = n*z - 5*p, 0 = 2*p - 0 - 4. Is z a multiple of 12?
False
Let a(k) = 6*k + 4. Let j(o) = -o**2 - 9*o + 3. Let u be j(-9). Does 22 divide a(u)?
True
Let f be (-4)/6 + (-212)/(-12). Does 8 divide (-4)/(-2) + -2 + f?
False
Suppose -2*r - 4*y + 110 = 0, 2*r + 3*y + 2*y - 109 = 0. Is 13 a factor of r?
False
Does 37 divide (888/(-36))/(2/(-6))?
True
Let h(b) = 3*b**2 + 2*b + 1. Let x(k) = -k**3 + 7*k**2 - 8*k + 9. Let a be x(6). Is h(a) a multiple of 5?
False
Suppose 2*k - 10 = -3*k. Is ((-9)/(-2))/(1/k) a multiple of 9?
True
Let u be 0 - 4*2/4. Does 14 divide (-3)/u*56/3?
True
Suppose w - 12 = 5*w. Let f be -47 - (w/(-1))/3. Is (1/(-2))/(4/f) a multiple of 3?
True
Let t(z) be the second derivative of z**5/120 - 5*z**4/24 + z**3/3 - z. Let j(b) be the second derivative of t(b). Is 3 a factor of j(8)?
True
Let x(y) = 6 - 2*y - 2*y + 2*y + y. Is 7 a factor of x(-7)?
False
Suppose 0 = 2*m - c - 14, -5*m + 2*c + 38 = 1. Suppose 7*r + 20 = 2*r + 3*u, -4*u + 17 = 3*r. Is (m/(-15))/(r/5) a multiple of 3?
True
Suppose 3*d + 4*t + 9 - 135 = 0, -3*t = 0. Is d a multiple of 3?
True
Suppose 3*y = -151 + 448. Is 20 a factor of y?
False
Let f = -27 + 241. Is 12 a factor of f?
False
Let u(x) = 90*x - 2. Does 14 divide u(1)?
False
Let z(k) = 27*k - 36. Does 39 divide z(10)?
True
Let x = 16 - -6. Let r be 1 + -1 + x/(-2). Let i = r + 35. Is i a multiple of 8?
True
Let p = -10 + 28. Let m = p - 12. Is 4 a factor of m?
False
Let q(o) = -o**2 - 5*o + 2. Let g be q(-5). Suppose -g*k + 12 = k. Does 4 divide k?
True
Suppose 2*u + 5 = c - 0*u, 0 = -3*c + u + 40. Is 5 a factor of c?
True
Suppose p + 1 - 11 = 0. Let v = -1 + 6. Let o = v + p. Is 10 a factor of o?
False
Suppose 5*j = 2*y + 61, 2*y = -2*j + 8 + 22. Is j a multiple of 5?
False
Let s = -2 + 5. Let t be s*(4/(-6) - -2). Suppose t*f - 3*z - 136 = 2*z, -100 = -4*f - 4*z. Is 18 a factor of f?
False
Let o be 2/(-3) + (-325)/(-15). Is (-346)/(-14) - (-6)/o a multiple of 8?
False
Let v be 6/4*(-920)/30. Let d = v + 88. Does 14 divide d?
True
Suppose -40 = -14*b + 10*b. Is 5 a factor of b?
True
Let g(r) = 23*r**3 + 2*r**2 - 2. Let u be g(2). Suppose u + 140 = 3*m. Suppose -m = d - 6*d. Does 11 divide d?
True
Let o(i) = -i**3 + 13*i**2 + i + 31. Is o(13) a multip