t k(l) = -l**2 + 11*l - 7. Let z be k(11). Let r be w(z). Is 7 a factor of -1 + -2 + -1 + r?
True
Is 1560 + (-2 - (0 - 10)) a multiple of 16?
True
Let n = 7127 - 4085. Is n a multiple of 41?
False
Suppose -24*f = -29*f + 70. Let w = f - -44. Is w a multiple of 27?
False
Let u(p) = 7*p**2 - 15*p + 6. Is 88 a factor of u(8)?
False
Let o = 4 + -59. Let m = -15 - o. Is 20 a factor of m?
True
Let m(z) = -8 - z**3 + z**3 - 5*z - z**3 + 7*z**2. Let i be m(6). Let c(u) = -u + 2. Does 4 divide c(i)?
True
Suppose 177 + 111 = 3*j. Is j a multiple of 16?
True
Let r = 1818 - 1378. Is r a multiple of 12?
False
Let j = 713 - -1282. Is 35 a factor of j?
True
Let r(j) = 2*j**2 + 6*j - 1. Let x be r(6). Let b = x + -39. Is b a multiple of 4?
True
Let n be (-8 - -8 - 2) + 1*5. Suppose 0*i - n*i = -75. Is 7 a factor of i?
False
Suppose 0 = 3*a + 5*z - 2421, 2*z - 25 = -3*a + 2396. Is 82 a factor of a?
False
Let g(o) = o**2 - 2*o - 48. Let d(p) = -p**2 + p + 1. Let u(w) = -2*d(w) - g(w). Is 22 a factor of u(-14)?
True
Suppose 6*z - 4*y - 4 = 3*z, -4*z - 3*y - 28 = 0. Is 10/z - (-572)/8 a multiple of 21?
False
Let x = 107 - -2441. Is x a multiple of 14?
True
Let w(n) = n**2 + 4*n - 2. Let q be w(-5). Suppose 2*r - 5*u = -9, 2*u - 9 = -u. Suppose q*j - r*z = -0*z + 45, 5*j - 81 = -z. Does 7 divide j?
False
Let w = -62 + 64. Is 31 a factor of ((-3)/(6/w))/((-1)/71)?
False
Suppose 8*o = -48*o + 94080. Is 28 a factor of o?
True
Let r(h) = h**3 + 11*h**2 + 5*h + 29. Let g be r(-8). Suppose -3*m + 136 = 4*i - g, 3*i = 3*m - 345. Is m a multiple of 26?
False
Suppose 3009 + 1506 = 5*k. Is k a multiple of 21?
True
Let i = -26 + -22. Let o be 102/8*(-24)/(-9). Let w = o - i. Is 20 a factor of w?
False
Is (-7476)/(-7)*(0 - 1/(-4)) a multiple of 3?
True
Let d = -3631 - -7949. Is d a multiple of 32?
False
Suppose -3073 = -18*t + 4109. Does 7 divide t?
True
Suppose 30*z = 42*z - 1344. Is z a multiple of 14?
True
Suppose -19*l = -17975 - 5452. Does 5 divide l?
False
Suppose 5*i - 1544 = -4*j + 5*j, j = i - 312. Is 14 a factor of i?
True
Suppose -3*f + 2*f = 5, 0 = 4*i - 5*f - 353. Does 82 divide i?
True
Let t(n) be the second derivative of n**6/360 + n**5/120 + n**4/12 - n**3/2 - 9*n. Let m(l) be the second derivative of t(l). Is m(3) a multiple of 3?
False
Does 13 divide 2/(-4)*(-19364)/47?
False
Let i(m) = -7*m + 4. Let q be i(7). Let b = -8 - q. Is 3 a factor of b?
False
Let o(z) = z**3 + 12*z**2 + 2*z + 34. Let g be o(-12). Is 3 a factor of 5/(g/(-8)) - (-1 - 13)?
False
Let x = -42 + 315. Is x a multiple of 92?
False
Suppose -c + 151 + 105 = 0. Does 16 divide c?
True
Let i be (-238)/(-42) + 4/(-6). Let l(c) = 7*c**2 - 8*c + 9. Is 36 a factor of l(i)?
True
Let n(u) = -2*u - 1. Let r be n(-4). Suppose 0*y = -3*y - 84. Let m = r - y. Is 22 a factor of m?
False
Let g = 1887 + 238. Is g a multiple of 25?
True
Suppose 5*s + 1472 = 5*z - 188, -5*z = -4*s - 1664. Does 28 divide z?
True
Suppose -3*i + 351 = -0*i - b, 0 = 3*b - 9. Suppose 3*v - i = 2*r, v = -r - 0*r + 31. Does 13 divide v?
False
Let y(s) = 0*s - 4*s + 1 + 3*s + 2. Let c be y(2). Let f = 31 - c. Is 15 a factor of f?
True
Let y = 89 + -126. Suppose 5*o - 177 = -3*z, -3*o - 2*o - 255 = -5*z. Let a = z + y. Does 8 divide a?
False
Suppose 4*k = -4*g + 28, 2*g = g + 5*k - 5. Suppose -4*r + 6*r + g*h - 370 = 0, 0 = -r - 5*h + 195. Does 25 divide r?
True
Suppose 4*y = p - 26, -y - 2*y - 51 = -3*p. Let b = p - 1. Is 9 a factor of b?
False
Suppose -4*s + 2*a = -0*a + 718, 5*s - 3*a = -897. Let w = -112 - s. Is w a multiple of 9?
False
Suppose 12*j - 2160 = -3*j. Is 16 a factor of j?
True
Is 23 a factor of (-40)/(-80)*(-2286)/(0 + -3)?
False
Let o(n) = 2*n**2 + 11*n + 245. Let s(u) = -u**2 - 5*u - 122. Let l(g) = 4*o(g) + 9*s(g). Let h be l(0). Let a = -81 - h. Is a a multiple of 18?
False
Does 24 divide 3*-2*525/(-10) + -5?
False
Let j(g) = -17*g + 5. Let a be j(7). Let m = 52 - a. Suppose -5*t - 5*r = -385, 2*t - 2*r = -0*t + m. Is t a multiple of 16?
True
Suppose -967 = -3*k + 2*y, 346 = k + y + 27. Is k a multiple of 21?
False
Let r(t) = t**2 - t + 10. Let q be r(-10). Suppose 3*x - 118 = -2*d, -4*x + q = 3*d - d. Is 13 a factor of d?
False
Let u(v) = v**2 - 8*v + 4. Suppose -4*s + 45 - 13 = 0. Let h be u(s). Is h/(-12) + 254/6 a multiple of 21?
True
Suppose -15710 = -2278*k + 2273*k. Does 20 divide k?
False
Suppose -9680 = -2*i - 2126. Is i a multiple of 17?
False
Let g(z) = 4*z**3 - 44*z + 311. Is g(7) a multiple of 25?
True
Let a be (-2)/(-1) - (-6 - -4). Suppose 0 = 6*i - a*i - 6. Suppose i*t - 29 = 136. Is t a multiple of 11?
True
Suppose -4*s + 47 = -3*s. Let p(d) = -20*d + 0*d - 45 + s. Is 21 a factor of p(-2)?
True
Suppose 0 = -u + 3*s + 396 - 29, -4*u + 5*s + 1489 = 0. Let p = -231 + u. Is p a multiple of 29?
True
Let b(v) = -125*v - 183. Is b(-3) a multiple of 5?
False
Let s = 366 - 248. Suppose -s = -3*f - 34. Is f a multiple of 7?
True
Let f(i) be the first derivative of i**2/2 + 16*i + 5. Is f(-12) even?
True
Suppose 2*x - 1520 = -3*x. Suppose i + x = 5*i. Is i a multiple of 19?
True
Let s be (-2 + 16)*1 - -1. Suppose 3*u = -0*u + s. Suppose -3*p - 4*l + 233 = 0, u*p + 2*l - 6*l - 367 = 0. Is 22 a factor of p?
False
Suppose 0 = -5*j - j + 36. Does 6 divide j?
True
Suppose 20*s - 24*s + 252 = 0. Suppose s + 69 = 4*y. Is 24 a factor of y?
False
Suppose f + 3*q = 989, 27*q = f + 32*q - 993. Is f a multiple of 23?
False
Let d be (3 - 111/(-6))*-2. Does 16 divide 4/(-4)*(d + 1)?
False
Let d = 5 - 6. Let t(f) = -12*f**2 + 4*f + 3. Let o be t(d). Let z(p) = p**3 + 14*p**2 + 6*p - 5. Is z(o) a multiple of 43?
True
Let x(d) = d - 9. Let s be x(11). Suppose 30 = s*k - 216. Is k a multiple of 15?
False
Suppose -4*r + d + 891 = 0, -3*r + 373 = -5*d - 308. Suppose 2*i = 5*i - r. Does 16 divide i?
False
Let b(p) = 2*p**2 + 28*p + 35. Let x be b(-11). Let w(a) = -3*a**3 + 2*a**2 - 5*a + 2. Let q be w(3). Let o = x - q. Is 15 a factor of o?
True
Suppose 5*h + w = -4*w + 165, 3*w = -2*h + 70. Let x = h - 3. Is 24 a factor of x?
False
Let z(n) = -n**2 - 5*n + 10. Let o(m) = m - 1. Let s(a) = -5*o(a) - z(a). Is s(4) a multiple of 8?
False
Let t(z) = 10*z + 106. Is t(8) a multiple of 6?
True
Suppose -2*o + 2*w - 2 = -0*w, -4 = -4*w. Suppose -2*d - 9 - 1 = 0, o = u - 3*d - 15. Suppose u = -4*k - 2*k + 192. Is 8 a factor of k?
True
Suppose 9*h - 11*h = -148. Let a be (1*35)/(5 - 4). Let u = h - a. Is u a multiple of 11?
False
Let i(u) = 43*u**2 - 2*u + 38. Is 34 a factor of i(-6)?
True
Let o(m) = 38*m**3 - 8*m + 21. Is o(2) even?
False
Let p be (8/8)/(1/1). Is 7 a factor of -2*(p + 25/(-2))?
False
Suppose 0*l + l = 45. Suppose -13*n + l = -4*n. Suppose -280 = -5*o - 4*j, -4*o - n*j + 10*j = -265. Does 10 divide o?
True
Let m(b) = 22*b + 243. Is 5 a factor of m(-10)?
False
Let s(c) = -c**2 - 7*c - 5. Let r be s(-5). Suppose 2*q + q - 19 = r*y, -q + 13 = -3*y. Let u = 6 + q. Is u a multiple of 4?
True
Let m(f) = 0*f + 0*f + 5*f + 5 + 20*f. Let z be (-2 - -5)*(0 - -1). Is 16 a factor of m(z)?
True
Let x(j) = 2*j + 6. Let b be x(5). Let f = 23 - b. Is f a multiple of 6?
False
Suppose a - 11*q = -15*q + 3072, 0 = 4*a - 5*q - 12330. Is a a multiple of 20?
True
Let i(u) = u + 19. Let o be i(-16). Suppose o*s = -3*s + 6. Is 14 a factor of 61 - s - (20 + -16)?
True
Let y(b) be the third derivative of 7*b**4/12 - b**3/2 + 3*b**2. Let h(q) = q**2 - 8*q + 2. Let l be h(8). Does 8 divide y(l)?
False
Let c be 26 - (-3 + 7 + -2). Suppose -c = -4*q + 32. Is q a multiple of 2?
True
Let j = 6 - 4. Let l = -287 - -290. Suppose 34 = -j*m + l*m. Is m a multiple of 16?
False
Does 45 divide (4/6)/(32/29472) + 2?
False
Let b(m) = 2*m**2 - m - 12. Let x be b(-7). Let j = 130 - x. Is j a multiple of 10?
False
Suppose 5*r - 69 = 3*l - 4*l, 5*l + 3*r = 279. Is l a multiple of 3?
True
Let z be 9 + (10/(-15))/(6/(-27)). Suppose -14*v + z*v + 22 = 0. Is v even?
False
Suppose 4*p - 7 = 17. Suppose 4 + p = 2*f. Suppose 0*l + 2*l = -f*a + 344, 268 = 4*a - 2*l. Is 17 a factor of a?
True
Suppose 3*o = -4*f, 0 = 3*f + 2*f - 15. Let m(i) = -9*i + 15. Let x(k) = -4*k + 7. Let d(a) = -3*m(a) + 7*x(a). Is d(o) a multiple of 7?
False
Is 6/135*5 - 10373/(-99) a multiple of 2?
False
Let o be (-18)/(-4) + (-5)/((-10)/(-3)). Suppose 4*r = o*r + 218. Is 16 a factor of r?
Fals