= x. Let a = 19 + t. Is 10 a factor of a?
True
Suppose 0 = 68*i - 66*i + 5*m - 2078, 2*i - 2062 = -m. Is i a multiple of 144?
False
Let n = -131 + 409. Let c = n + -188. Is c a multiple of 10?
True
Suppose -2*l - 232 - 32 = 0. Let g = l + 146. Is g a multiple of 7?
True
Let o be -4 + 6 + -3 - -25. Let n = 90 - o. Is 22 a factor of n?
True
Let p(t) = 3*t**2 - 26*t - 61. Is 37 a factor of p(20)?
False
Let i = 1073 + 627. Is i a multiple of 34?
True
Let w = -138 - -229. Is 13 a factor of w?
True
Let u = -221 + 244. Is 10 a factor of u?
False
Let q(t) = -t - 8. Let k be q(-10). Let x be 27 - (k - (-1 - 0)). Is 8/(-6)*(-396)/x a multiple of 8?
False
Let k(h) be the second derivative of 5/2*h**2 + 0 - 6*h + h**3. Is 14 a factor of k(6)?
False
Suppose 2*a = 3*t + 403, 5*t - 29 = a - 234. Is a a multiple of 40?
True
Suppose 2*a + 12 = 6*a. Let b(s) = 0*s + 8*s + 435 - 440. Does 19 divide b(a)?
True
Let c(a) = -3*a - 12. Let g(q) = 7*q + 25. Let x(j) = -9*c(j) - 4*g(j). Let h be x(9). Does 3 divide 8 + 3 + h + -2?
False
Let z(c) = 27*c + 40. Is z(12) a multiple of 14?
True
Does 49 divide (4431/6 - 1) + (-55)/22?
True
Let n = -308 - -530. Is 5 a factor of n?
False
Let r(p) = -p**2 - 7*p - 2. Let t be r(-6). Suppose 0 = t*c + c - 20. Suppose 20 = 4*h, 12 + 88 = c*v + 4*h. Does 9 divide v?
False
Is (5 - 9) + (4590/3)/3 a multiple of 22?
True
Suppose -t - 4*t = -15. Let a(l) = -l**2 + 3*l - 4. Let s be a(t). Does 3 divide s + 7 - (-4 - -1)?
True
Let l = -71 + 116. Suppose -5*w = -10, -2*z + 4*w = -15 - l. Let o = z + -24. Is 9 a factor of o?
False
Let n be 0 + ((-6)/3 - -10). Suppose -n = 3*l + l. Is 11 a factor of (-3 + 25)*(-3)/l?
True
Suppose 7*g - 581 - 616 = 0. Is 5 a factor of g?
False
Let r = 10 - 8. Suppose 4*s - 268 = -4*z, r*s + 221 = 3*z - 0*s. Is 11 a factor of z?
False
Suppose -151 = 5*d + 4*u - 381, 190 = 4*d + 2*u. Is d a multiple of 10?
True
Let h(m) = m**3 - 2*m + 12 - 22 + 6*m**2 + 13. Is 25 a factor of h(-5)?
False
Let f(g) = 2*g**3 - 3*g**2 + 4*g - 1. Let s be f(3). Suppose -2*u - 2 = -4. Suppose -p = -s + u. Does 28 divide p?
False
Let g(u) = 11*u**3 + 12*u**2 - 2*u - 39. Does 27 divide g(8)?
True
Let t = -24 - -18. Let h be 55/2 + 3/t. Let f = h - 8. Does 5 divide f?
False
Let l be (0 + -2)*(-9)/(-2). Let f = l + 6. Does 13 divide (f - -2)/((-3)/57)?
False
Suppose -4*a + 4 = -8. Suppose 0 = -0*b - a*b - g + 90, 4*b - 121 = -g. Does 5 divide b?
False
Let c = -4 - -5. Let b be (5 + c)/(12/(-18)). Let t = b - -39. Is t a multiple of 11?
False
Let t be 2/3 + (-342)/(-54). Is 670/t + 12/42 a multiple of 32?
True
Suppose 0*h - 17 = -5*h - 2*i, -3 = h + 2*i. Let s(n) = n**3 - 4*n**2 - n - 6. Is 14 a factor of s(h)?
True
Let b be (-2)/(-13) - (-2)/((-26)/(-37)). Suppose -t - b*n + 56 = 14, 0 = 3*t - 2*n - 104. Is 6 a factor of t?
True
Let i(j) be the second derivative of 2*j**3 + j**2 - 16*j + 7*j + 6*j. Does 16 divide i(3)?
False
Let d = 26 - 5. Suppose d + 21 = g. Does 6 divide g?
True
Suppose -234 = -8*j + 2*j. Suppose j + 421 = 4*c. Does 31 divide c?
False
Let f = 611 + -88. Is 48 a factor of f?
False
Let m = -863 - -929. Is m a multiple of 2?
True
Let c(w) = -w**3 - 19*w**2 + 11*w - 46. Let x be c(-20). Let r = 190 - x. Is 5 a factor of r?
False
Let r = 171 - 118. Let u = 151 - r. Is u a multiple of 24?
False
Let m(h) be the third derivative of -h**4/12 + 10*h**3/3 + 11*h**2. Does 7 divide m(-11)?
True
Suppose t = 37 - 8. Let u = 89 - t. Is u a multiple of 20?
True
Let v = 933 - 882. Is 17 a factor of v?
True
Let u(l) = l**3 + l**2 + 5*l + 4. Let f be u(-3). Let s = 42 + f. Let z = s + 15. Is z a multiple of 9?
False
Let d(p) = 2*p**3 + p**2 + p + 2. Let u be d(-2). Let s = 12 + u. Suppose -4*y = s, 2*y + 29 + 1 = 3*t. Is 10 a factor of t?
True
Suppose -105*y + 104*y = 5*t - 3655, 5*t + 25 = 0. Is 16 a factor of y?
True
Let b be (-72)/(0 + -2)*1. Let y = b + -22. Is 7 a factor of y?
True
Suppose -2*i + i = -6. Does 16 divide (-128)/i*(-9)/6?
True
Let y = -66 - -63. Let a(c) = -c**3 + 6*c + 6. Is 5 a factor of a(y)?
True
Let y = 1068 + -1012. Does 8 divide y?
True
Let q be 0 - (0 + (-2)/1). Suppose -2*g = -h - 0*g - 1, 11 = 5*h - q*g. Suppose h*y + 0*y = 141. Is y a multiple of 12?
False
Let v(a) = 5*a**2 - 10*a - 24. Let j be v(-10). Suppose j = 8*d - 240. Is 34 a factor of d?
True
Let d = -60 - -42. Let n be -4 - -1 - d/(-6). Is 13 a factor of (-256)/n + 4/12?
False
Suppose -54*o = -55*o + 15. Let v(s) = s**2 - 9*s - 45. Is 39 a factor of v(o)?
False
Let a = -59 - -59. Suppose -9*h + 1038 + 168 = a. Does 15 divide h?
False
Let w = -427 + 715. Let t = 496 - w. Suppose 3*k - t = -k. Does 26 divide k?
True
Let a = 134 + 698. Is 28 a factor of a?
False
Let a(h) = -21*h**2 + 6*h - 11. Let z(k) = 10*k**2 - 3*k + 5. Let m(t) = -2*a(t) - 5*z(t). Let v be m(-4). Let c = -100 - v. Is 16 a factor of c?
False
Let z(c) = -c**2 + 11*c + 29. Let f be z(13). Let g = 7 - f. Suppose 2*k - 3*u - 112 = 29, -2*k + 144 = -g*u. Is 18 a factor of k?
False
Let n(b) = 906*b + 100. Does 23 divide n(2)?
False
Is (3 + (-492 - -7))/(-2) a multiple of 12?
False
Suppose 140 = 6*k + 2. Let c = 31 + k. Does 18 divide c?
True
Let z be ((-24)/(-18))/((-8)/12). Is 4 a factor of ((-6)/(0 + z))/(9/258)?
False
Suppose -6*y = 5*t - 4*y - 122, -2 = -2*y. Is t a multiple of 3?
True
Suppose i - 2 = w + 8, 4*i = w + 22. Let s(y) = 10*y - 29. Let a(x) = 9*x - 28. Let t(z) = w*s(z) + 7*a(z). Is 26 a factor of t(16)?
True
Let k = -29 - -44. Let q(f) = f**2 + k + f**2 + 15*f - 6*f**2 + 5*f**2. Does 6 divide q(-15)?
False
Suppose -f + 41 = b + 2*f, 0 = -b - 5*f + 49. Let t = b + -31. Let y(k) = -4*k**3 + k**2 - 3*k - 2. Is y(t) a multiple of 20?
True
Let k(q) be the third derivative of q**5/20 + q**4/8 + q**3/6 + 5*q**2. Let t(c) be the first derivative of k(c). Is 27 a factor of t(13)?
True
Let c = -40 - -42. Suppose 0 = b - 3. Suppose 0 = -b*j + 12, -c*j + 2 = m - 5*j. Is m a multiple of 14?
True
Let z(a) = -44*a**3 - 8*a**2 + 4*a + 2. Is z(-3) a multiple of 14?
True
Let u = -16 - -9. Let f = u - -22. Let g = f + 1. Is g a multiple of 16?
True
Suppose -m + 7 = -194. Is 37 a factor of m?
False
Suppose -5*m + 20 = 0, -2*m - 2*m + 538 = 3*j. Suppose 4*p - j = 90. Is 9 a factor of p?
False
Suppose -2*p + 446 = -522. Does 44 divide p?
True
Let g(o) = o**3 - 13*o**2 - 2*o - 24. Is 16 a factor of g(14)?
True
Suppose 17*q = 12986 + 46021. Is q a multiple of 39?
True
Let s(v) = -v**3 - 10*v**2 + 13*v - 30. Is s(-15) a multiple of 90?
True
Let w be 8/2*3/(3/(-14)). Let d = w + 184. Does 32 divide d?
True
Let y(u) = 106*u**2 + u - 12. Is 23 a factor of y(4)?
False
Let g(q) = 27*q + 10. Let n be g(4). Suppose n = 2*f - f. Is f a multiple of 26?
False
Suppose -5*u + 3626 = 9*u. Is u a multiple of 37?
True
Suppose -5*t + 10 = -10*t. Does 12 divide t/13 - 21686/(-182)?
False
Suppose -j - 49 = -5*q, 3*j - 4*j - 9 = -q. Suppose 8*y - q*y + 342 = 0. Does 19 divide y?
True
Suppose 3*v - 6 = 0, -25*a - 2*v - 2876 = -27*a. Is a a multiple of 40?
True
Let y be 0*(-1)/4*-1. Suppose -5*w + w + 5*m + 149 = y, -4*w + 104 = 4*m. Is w a multiple of 31?
True
Let j be ((-1)/(-4))/(6/120). Suppose m - 600 = -j*m. Let s = m - 60. Does 5 divide s?
True
Suppose 11*z + 9*z - 300 = 0. Is z a multiple of 15?
True
Let t(d) = -47*d + 33. Is t(-21) a multiple of 20?
True
Suppose -q + 30 = 4*q. Suppose -q*u - 228 = -8*u. Is 26 a factor of u?
False
Let l = 7 - 4. Suppose -l*a + 28 - 4 = 0. Suppose -3*b + 4*b = a. Is 4 a factor of b?
True
Let j(r) = r**2 + r + 1. Let f(k) = -6*k**2 - 16*k + 6. Let w(c) = f(c) + 5*j(c). Does 19 divide w(-7)?
False
Let g(z) = -38*z + 7. Is 14 a factor of g(-22)?
False
Suppose -305 = 2*g - 7*g. Let a = 106 - g. Is 3 a factor of a?
True
Does 15 divide (-160)/(-24)*(-135)/(-6)?
True
Let b = -10 - -10. Suppose b*r + f = -r + 827, -4135 = -5*r + 2*f. Is 15 a factor of r/11 - 4/22?
True
Let x = 19 + -19. Suppose x = -11*f + 6*f - 85. Let n = f - -31. Is n a multiple of 4?
False
Let j(h) = -h**2 + 1. Let w(y) = -y**3 - 5*y**2 + 2*y - 2. Let k(q) = 5*j(q) - w(q). Is 9 a factor of k(4)?
True
Suppose 5*s = -2*r - 40, -94 = 4*r - 0*s + 3*s. Is ((-15)/r)/(1/205) a multiple of 38?
False
Let q be 290/3 + (-3)/(-9). Let k(o) = o + 109. Let g be k(0). Suppose 5*j + 4*l - 47 - q = 0, -4*j + g = -3*l. Is 4 