Let q be p(12). Suppose 5*v + z - 341 = q, 4*v = -3*z - z + 276. Does 17 divide v?
True
Let t = -141 - -227. Suppose -5 = -3*g + 1, -j - 3*g + t = 0. Is 18 a factor of j?
False
Suppose 2*n + 3*n + 5*t = 15, -4 = -3*n + 2*t. Suppose 0 = 3*a + 3*a. Is n + 47 - (4 + a) a multiple of 15?
True
Let o(x) = 84*x**2 + 3. Let m be o(-2). Suppose -f = -4*f + m. Does 27 divide f?
False
Suppose -4*q = -3*i - 3374, 2*q = 18*i - 19*i + 1692. Is q a multiple of 13?
True
Suppose -6*j - 68 - 82 = 0. Let u = 111 - 61. Let r = u + j. Does 8 divide r?
False
Suppose 0 = 2*f + l - 2800, -2*f - f + l = -4210. Is 8 a factor of f?
False
Suppose 5*k + s + 2*s - 35 = 0, -11 = -4*k + s. Suppose 39 = -7*g + 8*g - 4*r, k*g = -5*r + 135. Is 9 a factor of g?
False
Let l = 25 + -58. Let i = 41 - l. Is i a multiple of 47?
False
Suppose 219 + 188 = p. Suppose 4*z - w = p, 3*z = -z + 3*w + 405. Does 17 divide z?
True
Let n(t) = -10 + 10*t**2 - 17*t + 3*t - t**3 + 3. Is n(8) a multiple of 8?
False
Let c = 27 + -41. Let n = -6 - c. Does 2 divide n?
True
Let z be (55 - 0) + -3 - -2 - 0. Let l = z - 8. Does 8 divide l?
False
Let a = 3397 - 2098. Suppose 1795 = 14*v - a. Does 17 divide v?
True
Suppose -b - 4*a + 67 = 0, 8 = a - 5*a. Suppose -u - 3 = -b. Is 8 a factor of u?
True
Suppose 10 = -3*a + 34. Let f(q) = q**3 - 7*q**2 - 7*q - 6. Let h be f(a). Suppose -25 = -h*n + 1. Is n a multiple of 7?
False
Let k be 9/(-3) + -10*2/(-4). Suppose 280 = 3*i + k*i. Does 8 divide i?
True
Let k(s) = s + 5. Suppose -3*m - 5 = -2*m. Let l be k(m). Suppose l*u - u = -5*i - 89, -u + 44 = 4*i. Is 25 a factor of u?
False
Suppose 0 = 4*v + 3*w - 190, -3*v - w - 1 + 146 = 0. Let t(l) = 2*l + 23. Let m be t(-10). Suppose 7*c + 25 = h + m*c, -3*h - c = -v. Is 12 a factor of h?
False
Let y(z) be the first derivative of -4*z**2 - 24*z + 22. Is 5 a factor of y(-8)?
True
Let u(p) = -p**3 + 6*p**2 + 8*p - 4. Let b be u(7). Let s be (5 + -8)/(b/(-20)). Suppose 0 = 4*i - 2*i - s. Is 5 a factor of i?
True
Suppose -31*d = -27*d - 1768. Is d a multiple of 17?
True
Let j = -510 - -819. Suppose 4*b - j - 71 = 0. Is 34 a factor of b?
False
Is (-734)/(-1 + 2)*(-24)/48 a multiple of 24?
False
Suppose 0 = -6*z + 3 - 33. Is 24*(2 - z/(-3)) even?
True
Let n = -11 - -8. Let a(v) = -v**2 - 5*v - 3. Let i be a(n). Suppose -3*d - 30 = -z, i*z - 4*z - 3*d = -6. Is z a multiple of 6?
True
Suppose -7*m = -8*m - 12. Let y be (104/m)/(4/(-18)). Suppose 21 + y = 2*i. Does 10 divide i?
True
Let k be -2 - -7 - 1 - 2. Suppose -2*q + k*t + 56 = 0, q + t - 11 = 21. Does 5 divide q?
True
Let d(u) be the second derivative of -u**3 + 11*u**2/2 - 12*u. Let i be d(6). Let k = 45 + i. Is 17 a factor of k?
False
Suppose -4*u - 52 = 9*u. Is 11 a factor of 51 + -1 + (-12)/(1 + u)?
False
Suppose 7*x - 10 = 5*x. Suppose -4*m + x*q + 278 = 0, 2*m = -q + 2*q + 142. Is m a multiple of 18?
True
Let x = 493 + -261. Does 58 divide x?
True
Let o = -54 + 40. Let k = 94 - o. Does 25 divide k?
False
Let n be (9/12)/((-9)/(-24)). Let v(s) = 5*s + 0 + s + 2*s**n + 1 - 3*s. Is v(-2) a multiple of 3?
True
Suppose -5*u - 27 + 132 = 0. Let y(h) = h**2 - 18*h - 44. Does 15 divide y(u)?
False
Let y(t) = 4*t**2 - 11*t - 4. Does 16 divide y(-3)?
False
Suppose -2*m + 4 + 4 = 0. Let a = 6 + m. Is 8 a factor of a?
False
Let h(f) = 74*f**2 + 11*f + 10. Does 23 divide h(-4)?
True
Let c(m) = -2*m**3 - 4*m**2 - 4*m - 2. Suppose -2*k - 3*b - 17 = -3*k, 4*k - 40 = 5*b. Suppose 2*d - q = -7, 0*q - 3*q - 23 = k*d. Is c(d) a multiple of 14?
False
Suppose 0*h - 5*h + 5235 = 0. Suppose d + 62 = h. Is 2/6 + d/15 a multiple of 18?
False
Suppose -2*g - 2*y - 50 = -3*g, 2*y - 170 = -4*g. Does 15 divide g?
False
Let k(r) = -4*r**3 - 5*r**2 - 14*r - 37. Is k(-5) a multiple of 7?
False
Let a(r) = 23*r + 15. Let m(b) = -24*b - 14. Let d(x) = 7*a(x) + 6*m(x). Is d(7) a multiple of 20?
True
Let z = 58 - 55. Suppose x = z*q - 50, 5*q = -0*q - 4*x + 89. Is q even?
False
Is 8 a factor of (-8396)/(-30) + -2 + (-384)/(-180)?
True
Suppose p - 2*q = 20, p + 4*q - q = 20. Let y = 52 - p. Is y a multiple of 8?
True
Is (408/14)/(36/630) a multiple of 51?
True
Let r be -1*((-120)/(-10))/((-2)/(-38)). Let h = r - -426. Does 33 divide h?
True
Suppose k - 26 = v + 28, 0 = 5*k - 3*v - 262. Suppose -4*a = a - k. Is ((-48)/a)/((-48)/320) a multiple of 20?
False
Suppose -256 = -4*q - 0*q. Let z = 100 - q. Is z a multiple of 6?
True
Let b(i) = -i**3 + 21*i**2 + 16*i - 151. Is b(19) a multiple of 25?
True
Suppose 2012 + 2708 = 10*k. Is k a multiple of 59?
True
Suppose 0 = 2*m - 34 - 118. Suppose 2*k = -4*p + m - 18, 4*k - 4 = 0. Does 14 divide p?
True
Suppose -5*i = -4*w + 44, 4*w - 4*i + 26 = 74. Let q(c) = -5*c**3 - 9 + 26 + 17*c**2 + 4*c**3 - 15*c. Does 11 divide q(w)?
True
Let h(c) = 22*c - 8*c + c + 2*c**2 - 8*c - 3 - 5*c. Suppose -2*x + 7 = -1. Is h(x) a multiple of 11?
False
Let v(o) = 3*o - 9. Let h be v(4). Suppose -2*c - 10 = -h*c. Is 3 a factor of (-2)/(-4) - (-55)/c?
True
Let s(u) = -u**3 - 20*u**2 + 38*u + 8. Does 7 divide s(-22)?
True
Let h(v) = -v**2 + 21*v - 70. Does 7 divide h(16)?
False
Let z = 1106 - 548. Is z a multiple of 34?
False
Does 22 divide (-8)/20*(-1 + (-2471 - 3))?
True
Suppose -4 = -2*s + 2. Suppose s*i - 66 = 12. Is i a multiple of 15?
False
Suppose -r + h + 7 = -0, 0 = -4*h - 16. Let f(s) = 3*s**3 + 5*s**2 - 3*s + 2. Is f(r) a multiple of 12?
False
Suppose 3*p - 2*p = -1, -3*p - 115 = -4*u. Is u even?
True
Let j = -5 - -19. Suppose -12 - j = -3*q - 5*y, -2*q - 16 = -5*y. Suppose 30 = -2*f + 3*f + q*w, -3*f = -5*w - 35. Does 6 divide f?
False
Let u(v) be the third derivative of 29*v**6/360 - v**4/24 - v**3 - 7*v**2. Let f(m) be the first derivative of u(m). Is f(-1) a multiple of 7?
True
Does 39 divide 17/((-153)/(-6))*702?
True
Suppose -3*h = 2*o - 61, 4*o = -7*h + 2*h + 125. Is 35 a factor of o?
True
Let q = 11 + -6. Let u = 12 - q. Suppose -28 = u*r - 399. Is 12 a factor of r?
False
Let b(g) = g**2 - g + 58. Let y(m) = 2*m + 30. Let t be y(-15). Does 14 divide b(t)?
False
Let w(u) = -u**2 + 4*u + 8. Let x be w(5). Suppose -3*c + 0*b + 61 = -2*b, 5*c = x*b + 101. Is 5 a factor of c?
False
Let h be (-4)/(-30)*156 + 7/35. Let x = h + 45. Is 6 a factor of x?
True
Let c = 26 + -34. Let a be 4 - (-3 + 15)*c. Is 4 a factor of (1 + 1)*a/40?
False
Let i = 21 - 21. Let y(w) = -19*w**2 + 4*w**3 + 16*w**2 - 3*w**3 + i + 2*w + 3. Is 9 a factor of y(3)?
True
Suppose z = -0*z + 5. Suppose 2*r - 2*r = -r. Suppose -z*n + n + 120 = r. Is 8 a factor of n?
False
Let m(b) = b**3 + 14*b**2 + 15*b - 4. Let n(l) = l**3 + 8*l**2 + 3*l - 3. Let s be n(-7). Let q = 13 - s. Is m(q) a multiple of 13?
True
Let x(z) = 2*z**2 + 20*z - 24. Is 21 a factor of x(12)?
True
Let u be 9/(-9) - (0 - 3). Suppose 3*m + 4*c - 27 = 0, 6*m = u*m - 4*c + 32. Suppose -z = i - 33, 75 = -3*z - m*i + 178. Is 16 a factor of z?
False
Let p = -22 - -682. Does 22 divide p?
True
Suppose -4333 = 29*o - 27446. Is 13 a factor of o?
False
Let b(p) be the third derivative of p**5/15 + 5*p**4/12 + 17*p**3/6 + 2*p**2. Does 14 divide b(-4)?
False
Suppose i - 6*i - 215 = 0. Let x = i - -63. Is 7 + -6 + 1*x a multiple of 8?
False
Suppose 558 = v - 9*q + 8*q, 3*q - 2750 = -5*v. Is v a multiple of 21?
False
Suppose 0 = -4*u - 4*z + 12, -6 = -3*u + 2*z + 3. Suppose 0*w + u*b + 465 = 4*w, 0 = w + b - 118. Is w a multiple of 13?
True
Suppose 4*q + 0*q - 2252 = 0. Suppose 2*s - 181 - q = 0. Suppose 5*t + 72 = s. Does 10 divide t?
True
Suppose 0*g - g - 1063 = -b, -b + 1072 = 2*g. Suppose 4*i = 8*i - 3*k - b, 1346 = 5*i + 3*k. Is 11 a factor of i?
False
Let s = 117 - 113. Suppose q + s*a + 30 = 99, 257 = 5*q - 2*a. Is 14 a factor of q?
False
Let r = -172 + 324. Does 15 divide r?
False
Let m(k) = 11*k**3 + 2*k**2 - 2*k - 3. Is 14 a factor of m(4)?
False
Suppose -12*v = -1494 - 6690. Does 14 divide v?
False
Let p(q) be the second derivative of -q**3/6 - 10*q. Let d(l) = 28*l + 1. Let t(a) = d(a) - 3*p(a). Is 16 a factor of t(1)?
True
Suppose 38*h - 33*h = 3180. Is 53 a factor of h?
True
Let c be -3*5/(-6)*14. Is 21/c - 24/(-10) a multiple of 3?
True
Is 4018/123*(-405)/(-6) a multiple of 49?
True
Suppose -37*b = -35*b - 50. Suppose 5*w = 2*i + 50, i - b = 6*i. Is w a multiple of 3?
False
Suppose 0 = -7*q + 233 + 523. Suppose -3*t = -57 - q. Is t 