*o. Let p = q - -81. Does 11 divide p?
False
Let s(p) be the third derivative of -17/6*p**3 + 1/3*p**4 - 13/60*p**5 + 1/120*p**6 + 9*p**2 + 0 + 0*p. Is 21 a factor of s(13)?
False
Let f(l) = 76*l + 12. Let s = 32 - 30. Is 20 a factor of f(s)?
False
Suppose 0 = -4*c - 286 - 46. Let i = c + 113. Does 10 divide i?
True
Suppose 4932 = 3*m + 2*k + 362, 3*k = -m + 1535. Does 40 divide m?
True
Suppose -16338 - 8142 = -12*m. Is 85 a factor of m?
True
Suppose -3*z - 3*f + 258 + 45 = 0, -3*z + 5*f + 287 = 0. Does 11 divide z?
True
Suppose -5*i + 5224 = 5*a - 4*i, -3*a - 3*i + 3144 = 0. Does 12 divide a?
True
Let l = -18 + 18. Let i be 2 - (1 + l - 4). Suppose -203 = -i*t + 57. Is 13 a factor of t?
True
Is 343 + (-2)/(20/15)*2 a multiple of 11?
False
Let w = 3 - -11. Let f be (-63)/w*(-12 + 2). Let v = 86 - f. Is 11 a factor of v?
False
Let y(w) = w**2 + 15*w + 14. Let k be y(-14). Suppose 0 = 3*j - m - 227, 5*j + k*m - 383 = -3*m. Is j a multiple of 19?
True
Suppose 2*p = -26 - 278. Does 20 divide (-4)/(-1) - p/2?
True
Let m(q) = q**3 - q**2 + 2*q - 1. Let c be m(1). Let i(r) = 5*r - 1 - 2 - 1 + 2*r**2 + c. Is 2 a factor of i(-4)?
False
Suppose -5*v - 102 = -2*u, 4*u + 48 - 216 = v. Let g = 3 + u. Is 21 a factor of g?
False
Let m = 243 - 9. Does 13 divide 3*8/36*m?
True
Let d(t) be the first derivative of t**3 + 29*t**2/2 + 25*t - 35. Is 19 a factor of d(-12)?
False
Let d(m) = -m**2 - m. Let t(c) = 5*c**2 - 23*c - 24. Let x(n) = 6*d(n) + t(n). Is x(-16) a multiple of 11?
False
Let m = 0 + 0. Suppose -3*l = 3*r - 45, -3*r + 2*l - 40 = -6*r. Suppose -2*p - r = -5*p - k, 2*k + 4 = m. Is p a multiple of 3?
False
Let u(a) = a**2 + 10*a + 2. Let g be u(-10). Suppose g*j - 3*j + 19 = 0. Is j even?
False
Let u(j) be the third derivative of -j**6/360 - j**5/24 - 13*j**4/24 - 8*j**2. Let l(t) be the second derivative of u(t). Is 6 a factor of l(-10)?
False
Let j be 4/(-18) + (-280)/36. Let a be (37 - 0) + (-5 - -6). Let p = j + a. Is p a multiple of 6?
True
Let v(y) = -5*y**3 - 2*y**2 - 2*y - 1. Let a(s) = -2*s + 14. Let x be a(8). Is v(x) a multiple of 8?
False
Let u be 4 - -6*(-16)/(-4). Suppose -3*v = -10*v + u. Is v a multiple of 4?
True
Does 10 divide (0 - -12)*13 - -4?
True
Suppose -3*b = -m - 5*b + 187, -b - 968 = -5*m. Suppose 0 = 4*n + t - 219, m = 3*n - 0*t - 5*t. Is 14 a factor of n?
True
Let i = -97 - -100. Suppose -11*y + i*y = -1080. Is y a multiple of 26?
False
Let o(l) = 6*l**2 + 8*l + 10. Let z(u) = 13*u**2 + 16*u + 21. Let f(r) = 9*o(r) - 4*z(r). Let g be f(-6). Suppose 2*w - 174 + g = 0. Is w a multiple of 18?
True
Suppose 4*c + 41 = 101. Suppose -3*q + 3*o = -18, -12 = -2*q + 4*o - 0. Is 2 a factor of 24/15*c/q?
True
Is 19/((-42)/442 + 30/195) a multiple of 52?
False
Let b(g) = g**3 + 7*g**2 + g - 2. Let c be b(-6). Suppose z + 14 - c = 0. Suppose 2*d = -3*u + 21 + 9, 0 = -d - u + z. Is 11 a factor of d?
False
Let z(a) = a**3 + 27*a**2 - 28*a - 17. Let b be z(-28). Is 39 a factor of 64 + (-1 - -1) - (-20 - b)?
False
Let a be (-10*6/24)/(1/(-2)). Suppose -228 - 217 = -a*j. Does 40 divide j?
False
Suppose -b - 2 = -2*b. Suppose -3*z = 0, -3*c + 98 = -b*z + 2. Does 8 divide c?
True
Let u(t) = 2*t**2 - 21*t - 1. Is u(21) a multiple of 54?
False
Let o be (-3)/(2 + -3) + 10. Is o - (-1 + -2)/3 a multiple of 10?
False
Let x(a) = -5*a - 9. Let r be 2/(-9) - 104/18. Does 3 divide x(r)?
True
Suppose 4*l = m + 1, 5*m = 2*m + 3*l + 6. Suppose -h + 19 + m = 0. Suppose 5*v = -5*u + 90, -h = -v - 2*u - 3*u. Is v a multiple of 7?
False
Suppose 0 = -12*m + 7*m - 5*q + 20, 2*q + 28 = 2*m. Suppose 0 = o - 3*o - 2. Let g = m - o. Is g a multiple of 3?
False
Let o(u) = -u**2 - 3*u + 4. Let i be o(-4). Suppose 5*l - 5 = -i. Suppose -t - 4*t - x = -17, t + x = l. Is t a multiple of 4?
True
Suppose f - 3*f - 5*c + 2647 = 0, -f + 5*c = -1301. Is 28 a factor of f?
True
Let g(s) = -2*s - 32. Let f(j) = -j + 1. Let m(i) = 3*f(i) - g(i). Is m(0) a multiple of 7?
True
Let l(j) = 11*j**2 + 2*j - 1. Let m be l(-3). Suppose s + 14 = 4*q - s, -22 = -5*q + s. Suppose g + q*a - m = 0, g - 4*g = 5*a - 236. Is 18 a factor of g?
True
Let o(h) = h**2 + 3*h - 4. Let w be o(3). Let n = 113 + -78. Let t = n - w. Does 20 divide t?
False
Let i(p) = 20*p - 20. Does 15 divide i(10)?
True
Is 2/5 + (-915)/(-25) a multiple of 7?
False
Let z be (-2)/1*(-681)/6. Suppose 4*s - z = s + y, 0 = 4*s + 5*y - 309. Is 17 a factor of s?
False
Let d(f) = 2*f**3 + 43*f**2 + 5*f - 16. Is 19 a factor of d(-21)?
False
Let t = 18 + -4. Let w be (-7)/(t/(-4)) + 0. Suppose -6*v = -w*v - 104. Is v a multiple of 13?
True
Suppose 411 - 105 = 2*v. Does 3 divide v?
True
Suppose -15 = 3*c - 0, 2*c = -4*b + 182. Is 6 a factor of b?
True
Does 37 divide ((7 + 2)/9)/(3/2217)?
False
Suppose 0 = 26*s - 11110 - 14500. Does 7 divide s?
False
Suppose 4*y - 660 = 5*o, 5*y + 29*o - 31*o - 825 = 0. Is 6 a factor of y?
False
Let v be 3 + (-11)/(-1)*-2. Let b = v - -18. Let q = 33 + b. Is q a multiple of 14?
False
Suppose b = -4*i + 24, 0 = -4*i + 2*b + 17 + 7. Suppose 2*h + 8 = i*h. Suppose -2*l = -n - 8, -7*l = -3*l + h*n - 24. Does 2 divide l?
False
Suppose -3*m = 2*z - 3361, -812 + 5844 = 3*z - 5*m. Is 23 a factor of z?
True
Let c(t) = -2*t**3 - 9*t**2 - 2*t - 6. Let j be c(-6). Suppose 0 = -4*z + z + j. Is (-5 - -1)/(-8)*z a multiple of 19?
True
Suppose -8 - 189 = -b + 3*c, 3*b - 551 = -c. Does 5 divide b?
True
Suppose k - 64 = -2*a - 3*a, -3*a - 89 = -2*k. Suppose i - k + 6 = 0. Let l = i + -25. Does 6 divide l?
True
Let r = -4 + 69. Let t = 167 - r. Is 17 a factor of t?
True
Let y = 208 + -170. Is 2 a factor of y?
True
Let r(k) = k**3 - 27*k**2 + 5. Let t be r(27). Is (5/(-2))/t*(-1456)/2 a multiple of 28?
True
Let s(d) = d**3 - d**2 + 2*d - 5. Let b be s(0). Let l = b + 5. Suppose -2*m + 7 + 133 = l. Is 23 a factor of m?
False
Let d be ((-2)/5)/(6/(-30)). Suppose 3*l - d*n - 179 = 29, 2*l = 5*n + 124. Does 22 divide l?
False
Let o(s) be the third derivative of -s**4/24 - s**3/3 - 4*s**2. Let i be o(-2). Does 10 divide 30 - (1 + (-3 - i))?
False
Let m be (-1)/8 - (-234)/(-48). Let k be -2 - (m - -3 - -21). Does 3 divide (-245)/k - (-1)/3?
True
Let q = 10 - 18. Is 14 a factor of (-1348)/q + (-2)/4?
True
Let j be (6/(-8))/(5/(-20)). Suppose 2*i + l - 76 = j*l, -3*i + l = -108. Let s = -11 + i. Is 6 a factor of s?
True
Let h = -238 - -623. Suppose -3*r + h = 4*p, -297 = -3*p - 2*r - 3*r. Does 10 divide (-1)/(p/(-31) + 3)?
False
Is 11 a factor of -198*(4 + 1 + 33/(-6))?
True
Let n = 1869 + -235. Is n a multiple of 29?
False
Is 33 a factor of (22/(5 + 6))/((-2)/(-1089))?
True
Suppose 8*x + 0*x = 0. Suppose -2*w = -4*u + 776, -4*u - 3*w + x*w = -786. Is 13 a factor of u?
True
Let v(u) = -83*u - 23. Is 15 a factor of v(-14)?
False
Suppose -4*l = z - 222 + 26, 2*z - 342 = 2*l. Is 4 a factor of z?
True
Let x = -1569 - -3160. Is 19 a factor of x?
False
Let d = -11 - -15. Suppose 4*p - d*x + 28 = 0, -2*p - 19 = -2*x - x. Is (-1)/(p + (-151)/(-76)) a multiple of 38?
True
Is (9/(-2))/(-9)*6 + 572 a multiple of 25?
True
Suppose -a - 4*f = -26, -2*a = 2*f + f - 32. Let d(l) = l**3 - 9*l**2 - 10*l + 3. Let h be d(a). Is 6 a factor of (-1)/h - (-185)/15?
True
Let i be -2 + 5 - 14*-1. Let s = 75 - i. Is s a multiple of 24?
False
Let q(m) = m**2 + m - 1. Let o be q(2). Suppose -1 = -3*p - 5*h, p + 2*h - o = 5*h. Is 35 - ((2 - 3) + p) a multiple of 17?
True
Suppose 0 = -5*d - 4*r - 70, -5*d - 70 = 4*r + r. Let l be (2 - (-2 - -2)) + d. Is -2*1 - (-12 + l) a multiple of 7?
False
Suppose -2*b + 61 = -27. Let t = 83 - b. Suppose -2*r - t = -5*r. Does 5 divide r?
False
Let p(j) = -3*j + 1. Let u be p(-1). Let o = -18 - -34. Suppose -u*w = -3*w - o. Does 4 divide w?
True
Suppose -5*j + 20 = 0, w + 255 = -0*w + 3*j. Let y = -139 - w. Is y a multiple of 13?
True
Let b(h) be the second derivative of h**5/20 + 5*h**4/6 - 2*h**3 + 9*h**2/2 - 8*h. Let l be -13 + 2/4*4. Is 3 a factor of b(l)?
False
Let n = -6 + 8. Let g(q) = -3 + 6*q + 6*q - n*q - 6. Does 14 divide g(4)?
False
Let o(l) = -l**2 + 2*l - 1. Let x be o(1). Suppose x*j = -j - 3. Is 6 a factor of (-1)/((j/102)/1)?
False
Suppose -4*w + 2*x = 4*x - 4924, 1237 = w - x. Is 134 a factor of w?
False
Let p(q) be the third derivative of -q**5/60 + q**4/8 + 79*q**3/3 - 3*q**2. Does 22 divide p(0)?
