 = -11 + n. Is 9 a factor of h(q)?
False
Let o(y) = y - y**2 - 2*y**2 + y - 3*y. Let u be o(-3). Let f = u + 77. Is f a multiple of 15?
False
Suppose -14 = -n + 5*f, -4 = -5*n - 4*f + 8. Suppose d = n*d - 60. Does 20 divide d?
True
Let f be -3 + 9*4/3. Suppose -5*a + 134 - f = 0. Suppose 4*g - 3*r = a, -67 = -4*g - 5*r - 2. Does 10 divide g?
True
Let u be 6*(3 + 0)/3. Suppose -m + u*m - 37 = -2*n, 5*m = -3*n + 58. Is n a multiple of 7?
True
Let l(z) = -6*z**2 + 3*z - 3. Let q(i) = -i**2 - i - 1. Let k(x) = -l(x) + 5*q(x). Let p be k(8). Is 4 a factor of (-16)/6*3/p?
True
Let j(k) = k**2 + k + 2. Suppose 0 = -4*b + 2*b. Is 2 a factor of j(b)?
True
Suppose 0 = 3*v + h - 5, -v + 2 = -h - 1. Suppose 5*w + 2*p = 5*p + 597, -v*w + 236 = -4*p. Suppose -7*x + 2*x = -w. Is x a multiple of 12?
True
Does 5 divide 4/(80/(-4)) - 402/(-10)?
True
Suppose 0 = 2*t - 2*r - 2*r - 76, 0 = -r + 4. Let f = t + -25. Does 15 divide f?
False
Suppose c + 3*c = 4, 0 = 4*v - 5*c - 59. Suppose -o - v = -5*o. Is 2 a factor of o?
True
Suppose -4*a + 13 = -a - 2*h, 4*h = -a - 5. Suppose -2*o = -4*o + 5*u + 3, 5*u + 2 = a*o. Let c(f) = -20*f**3 + f**2 + 2*f + 1. Does 10 divide c(o)?
True
Let t(z) = z - 9. Let k be t(7). Let g be ((-9)/(-4))/((-7)/(-28)). Let u = g + k. Is u a multiple of 4?
False
Let y = -23 - -101. Does 24 divide y?
False
Let y be (187/4 + 2)*4. Suppose 4*v - y = v. Suppose z - 34 = 4*d, 2*d = 3*z + 13 - v. Does 7 divide z?
True
Suppose q + 75 = 5*g, -3*g - q + 2*q = -45. Is 3 a factor of g?
True
Let l = 4 - 0. Let m = l - -24. Is 14 a factor of m?
True
Suppose -2*x - 2*x = -64. Is 3 a factor of x?
False
Let x(w) = -w**3 + 6*w**2 - 7*w + 4. Let f be (6/5)/((-18)/(-60)). Does 2 divide x(f)?
True
Suppose k - 27 - 12 = 0. Suppose -w + k = 4*f, -5*f = w - 9 - 39. Does 6 divide f?
False
Suppose 78 = a - 2*c, -2*a = -0*a - 3*c - 161. Does 22 divide a?
True
Suppose 3*s = -5*r + 87, -4*s = r - 21 + 7. Does 3 divide r?
True
Suppose 0 = i - 50 + 8. Is i a multiple of 11?
False
Let n(x) = 3*x**2 + 3*x - 67. Is 8 a factor of n(-8)?
False
Let d = -53 - -77. Is 4 a factor of d?
True
Let r(u) = u + 3. Let y(l) be the third derivative of l**6/120 + l**5/60 + 5*l**3/3 - 2*l**2. Let w be y(0). Does 11 divide r(w)?
False
Let y(s) = -225*s. Let f(j) = -18*j. Let n(x) = -63*f(x) + 5*y(x). Does 3 divide n(1)?
True
Let d = 4 - 0. Let k = -2 + d. Is k even?
True
Does 29 divide 1378/(-65)*10*-2?
False
Let f be 159/6*(-1 - 1). Suppose -5*v = 5*m - 430, -6*v = -3*v + 2*m - 260. Let a = v + f. Is 13 a factor of a?
False
Suppose -2*j - j = 15, 5*w - j = 45. Let t = -4 + w. Suppose 3*o = m + 50, 2*o - t*m = -3*m + 33. Is o a multiple of 6?
False
Suppose -3*g = -g. Suppose 3*f = -g*f + 105. Is f a multiple of 10?
False
Let p(x) = 2*x**2 + 6*x + 10. Is 18 a factor of p(-8)?
True
Let k = 298 + -163. Is k a multiple of 27?
True
Let p be ((-4)/2 + 20)*-1. Let i be -2 + 0 + 4 - p. Suppose 6*n - i = 2*n. Does 4 divide n?
False
Suppose 4*x + z - 21 = 96, 4*z = 4. Let w = 16 - 29. Let n = w + x. Does 14 divide n?
False
Let q(c) = 2*c**2 + 3. Let g be q(5). Suppose -4*w + 51 = -g. Does 13 divide w?
True
Let l be 6*3*(-3)/(-6). Suppose -2*c = -l - 7. Let y = 13 - c. Is 5 a factor of y?
True
Let c = 191 - 86. Is 8 a factor of c?
False
Let w(r) = 5*r**2 + r**3 - 4*r**2 - 8 + 65. Does 19 divide w(0)?
True
Suppose 67 - 25 = 2*m. Does 18 divide m?
False
Suppose -65 = -9*w + 4*w. Let s = -6 + w. Is s a multiple of 3?
False
Suppose -2*r + 3*c + 31 = -8, 0 = 4*r - 5*c - 75. Suppose 24 = 4*w - s, -3*w + s + 3 = -r. Suppose -w*j + 20 = -2*j. Does 2 divide j?
False
Let o(v) = 12*v. Let p be (9 + -8)/((-1)/3). Let j be o(p). Let a = j + 81. Does 12 divide a?
False
Let o be 1/((-2 - -1)/(-2)). Let z = 3 - o. Is 3 a factor of 10 - z*(3 + 0)?
False
Let p = 4 - -22. Let i = 80 - p. Does 18 divide i?
True
Let b(t) = t**3 + 5*t**2 + 3*t - 2. Let d be (-9)/(-60)*4*-5. Is 3 a factor of b(d)?
False
Suppose c + 0*c = 4. Suppose -x = c*x - 75. Is x a multiple of 7?
False
Suppose 5*q + 2 = -k - 12, -4*k = 16. Let w be ((-12)/10)/(q/20). Suppose -2*l - w + 46 = 0. Does 12 divide l?
False
Suppose 0 = 4*z - 2 - 2. Suppose 138 = 4*g - 3*r, -66 - 108 = -5*g + 3*r. Does 7 divide g/3 + z + 1?
True
Let r(w) = w + w**3 - w**2 + 2*w**3 - 2*w**3 + 2. Is 4 a factor of r(2)?
True
Suppose -7*a + 38 = w - 2*a, 0 = 2*w + 3*a - 69. Is 11 a factor of w?
True
Let b = -383 - -580. Does 44 divide b?
False
Let k(w) be the third derivative of w**5/60 - w**4/12 - 2*w**3/3 - 5*w**2. Is k(5) a multiple of 6?
False
Let n be (8 + 13)/(3/2). Suppose 5*r - 4*l - n = 64, 2*r + 4*l = 20. Is 10 a factor of r?
False
Suppose 105 = 3*w - 78. Does 2 divide w?
False
Let c(q) = q**3 - q**2 - q - 3. Let m be c(0). Let k be 5/(15/(-4))*m. Let y = k - -2. Does 5 divide y?
False
Suppose 3*f = 2*v - 6*v - 3, -2*v + 2*f + 2 = 0. Let d = 5 + v. Suppose p - 2*n - 82 = -4*p, d*p = 4*n + 84. Does 6 divide p?
False
Does 12 divide (-28)/(-42) - (-750)/9?
True
Suppose -x - 201 = -4*h, 3*h + 0*h - 148 = -2*x. Is 8 a factor of h?
False
Does 6 divide -9*2*(-1)/3?
True
Suppose -2*x - 399 = 5*t, -2*t - 2*x = -4*t - 154. Let d = t - -137. Is 16 a factor of d?
False
Let s be (-2)/2*(4 - 1). Let x(t) = -1 - 1 + 2 + 2*t**2 - 3*t. Does 11 divide x(s)?
False
Let g = -18 + 9. Does 21 divide 154/4 + g/18?
False
Let l(w) be the second derivative of w**3/6 - 3*w**2/2 - 2*w. Let b be l(6). Suppose 0 = b*f - f - 30. Does 13 divide f?
False
Suppose -5 = -y + 7. Is 6/y + (-233)/(-2) a multiple of 39?
True
Suppose -7 - 20 = -3*a - j, -5*j - 15 = 0. Does 5 divide a?
True
Let c = 19 + -14. Suppose -5 = c*i, 0 = -2*z + z - 2*i + 11. Does 11 divide z?
False
Let b(l) = l**2 - l + 1. Does 11 divide b(-8)?
False
Suppose 0 = 8*i - 11 - 13. Let u(b) = -11*b + 4. Let v(y) = 21*y - 9. Let x(r) = -5*u(r) - 2*v(r). Is 11 a factor of x(i)?
False
Let f be (-2 + (5 - 3))/(-2). Suppose -4*y + 6*y - 32 = f. Is y a multiple of 8?
True
Suppose 2*d - 3*d + 2 = 0. Suppose 37 = 4*y - l, -6*l - 18 = -3*y - 2*l. Does 10 divide (d - 37)*(-8)/y?
False
Let i(z) = z**3 - 6*z**2 - 7*z + 3. Let x be i(7). Let q(w) = w**3 - 2*w**2 - w + 3. Let g be q(x). Is (-2)/(3/(g/(-2))) even?
False
Let z(v) = 8*v - 8. Is z(10) a multiple of 12?
True
Let n = 5 + 2. Let c = -1 + n. Is 16 a factor of (c/4)/(6/128)?
True
Suppose -2*w = w - 2*x + 145, -5*x = -3*w - 160. Let j be ((-4)/(-10))/((-9)/w). Suppose j*d = 50 - 20. Is d a multiple of 12?
False
Let f(l) = -2 - 17*l + 2 + 5*l. Let y(s) = s + 1. Let r be y(-5). Does 24 divide f(r)?
True
Let u be (-35)/(-20) + 2/8. Suppose 0 = -4*n - 3*x - 14, 4*n = 4*x - u*x - 4. Is (32 - (n + 4))/1 a multiple of 15?
True
Is 13 a factor of (-104)/(-5)*(-10)/(-4)?
True
Suppose 0 = -0*n + 3*n - 6. Suppose 4*d - 37 = -5*y, -n*d - y = 2*y - 19. Suppose -3*j + d = s, j = 3 - 2. Does 3 divide s?
False
Let p be 0/((-6)/9*-3). Let i be -1*(-1 - p) + 13. Is (-4)/i - 676/(-14) a multiple of 18?
False
Let c = 3 - 5. Let l = -2 + c. Is 4 a factor of (-39)/l - 7/(-28)?
False
Let p(o) = -14*o - 17. Does 11 divide p(-9)?
False
Let y(v) = -10*v + 1 - 24*v - 2. Let q be y(-3). Suppose -5*s = -44 - q. Does 14 divide s?
False
Suppose 4*v = -5*f + 4 - 5, 0 = 3*v - 2*f + 18. Let b = 8 + v. Suppose j + 33 = b*j. Is j a multiple of 8?
False
Suppose g - b = -2*g + 20, -3*g + 4 = -5*b. Let j = g + -5. Suppose -15 = -o - j*i, -3*i + 39 = 4*o + 2*i. Is o a multiple of 3?
True
Suppose 3*l - b = 236, 2*l - 2*b - 78 = 82. Is l a multiple of 13?
True
Let l(u) = -6*u - 12. Does 7 divide l(-9)?
True
Let b = -6 - -90. Is 4 a factor of b?
True
Let i be -3 - -1 - 2/(-1). Let w be (19 + -2)*(1 - i). Suppose -73 + w = -4*g. Is g a multiple of 7?
True
Let f = 4 + -9. Let u = 11 + f. Is u even?
True
Let f = 28 - -29. Does 5 divide f?
False
Let u(k) = 11*k**2 + 5*k + 4. Does 7 divide u(-3)?
False
Let a(m) = 2*m**2 + 3*m - 4. Let y be ((-3)/9)/((-1)/(-12)). Is 11 a factor of a(y)?
False
Let o be (-16)/(-6)*3/2. Suppose 294 + 1778 = o*i - 2*p, 5*p = 0. Suppose 5*g = -218 + i. Is 21 a factor of g?
False
Let b be 3/(-3) - 1 - -41. Suppose 2*j + b - 273 = 0. Suppose -4*c + 4*a = -130 - 2, -4*c - a + j = 0. Is 16 a factor of c?
False
Let r be -1*24*(-3 - -2). Suppose 0*t + r = 4*t. Is 4 a factor of t?
False
Suppose 2*q - 13 = 3*q - 3*m, 5*q +