True
Let v = 331 + -216. Let s = 171 - v. Does 35 divide s?
False
Suppose 8*h = -3 - 5. Let k(t) = -23*t**3 - 3*t**2 - 2*t. Is 11 a factor of k(h)?
True
Let y(l) be the third derivative of -l**4/12 - l**3/3 - l**2. Let m be y(-7). Suppose m = o + 2*o. Does 4 divide o?
True
Suppose 10*l - 18230 - 220 = 0. Is 94 a factor of l?
False
Let m = 55 + 25. Is m a multiple of 8?
True
Let m = 491 + 526. Is m a multiple of 14?
False
Suppose 0 = -9*a + 121 + 68. Suppose 0 = -23*r + a*r + 176. Does 8 divide r?
True
Let z be (1864/20)/(4*2/20). Let q = 558 - z. Does 25 divide q?
True
Let v(r) = 40*r + 344. Does 16 divide v(-7)?
True
Let k(m) be the first derivative of 12*m**2 - m - 11. Suppose 4*g = -a - 7, 6 = 2*a - 0*a - 2*g. Does 13 divide k(a)?
False
Suppose -2*w + 7*w = 4*v - 32, -2*v - w + 16 = 0. Let c(h) = 6*h - 3. Let q be c(v). Suppose -4*s - 5*o = -35, -4*s - s - 5*o + q = 0. Is 10 a factor of s?
True
Let m be ((-7)/(-14))/((-2)/48). Let u be 182/m - (-5)/30. Is ((-50)/u)/(2/48) a multiple of 16?
True
Let x(b) = 2*b**2 - 4*b - 4. Let d be x(6). Suppose 4*y - 209 = 159. Let m = y - d. Is 12 a factor of m?
True
Suppose 16*b - 21*b - 5 = 0, -2*b - 437 = -3*o. Is o even?
False
Let b = 28 + -30. Does 12 divide ((-4)/10*b)/(3/225)?
True
Let x be (0 - -1) + (-45)/(-15). Suppose -x*i + 71 = -9. Is i a multiple of 15?
False
Let g be 24/16 - 2/(-4). Let n(t) = t**3 - 1. Let h be n(g). Suppose -h - 23 = -3*s. Is 2 a factor of s?
True
Let z be 3 + (-7)/3 - 1196/12. Let v = 149 + z. Is v a multiple of 5?
True
Suppose 0 = 4544*m - 4552*m + 17488. Is 12 a factor of m?
False
Suppose -16 = -4*u - 0*u. Is -72*(u - (-14)/(-3)) a multiple of 12?
True
Suppose 6*w - w - 880 = 0. Suppose 0 = 4*h + 3*x - 296 - 76, 0 = -2*h + x + w. Suppose 5*n = 4*s + 198, -2*s + 0*s + h = 2*n. Is n a multiple of 14?
True
Let v = -179 + 344. Does 5 divide v?
True
Let p(c) = -2*c + 16. Let y be p(8). Suppose 7*i - 173 - 72 = y. Is i a multiple of 5?
True
Let s = -1292 + 2856. Is 46 a factor of s?
True
Let r = -7 + 7. Suppose r = -f + 3*f + 2. Does 6 divide (-305)/(-15) + f/3?
False
Let v(y) = 10*y - 17. Let b be v(11). Let o = b + 21. Is o a multiple of 19?
True
Is (0 + (-27)/(-18))*151*2 a multiple of 10?
False
Let g be (1 - 0) + (-16)/(-4). Let c = g - 1. Suppose -n + 460 = c*n. Is 23 a factor of n?
True
Suppose 0 = 48*c - 55*c + 1701. Does 27 divide c?
True
Let t(s) = -s**2 + s + 1. Let a(f) = -45*f**2 + f + 2. Let r(d) = -a(d) + 2*t(d). Is 9 a factor of r(-1)?
False
Suppose 2*w + 2*w + 2*f = 30, 4*f = 3*w - 28. Suppose 3*n - w*n = -30. Let s = 37 - n. Is 8 a factor of s?
False
Let t(u) = 2*u**3 - u - 2*u + 10 + 2*u**2 + u - 4*u. Is 35 a factor of t(5)?
True
Is 61 a factor of ((-11)/(-4))/(5 - 8990/1800)?
False
Let h(v) = v**3 - 4*v**2 + 2. Let i be h(4). Let q(w) = -37*w + 13. Let j(a) = -19*a + 6. Let g(o) = i*q(o) - 5*j(o). Is 14 a factor of g(2)?
False
Is 7 a factor of (-4 + 260 - -2)*9/18?
False
Let b = 202 + 16. Does 8 divide b?
False
Suppose 4*z = 16 - 12. Let f = z - -23. Is 6 a factor of f?
True
Suppose 157 = 13*n - 77. Let l(c) = -c**2 + 25*c + 13. Does 16 divide l(n)?
False
Let z(o) = 5*o**3 + o**2 - 2*o + 1. Let q be z(1). Suppose 7 = -d - 2*r + 6*r, 3*r - 80 = -q*d. Does 5 divide d?
False
Suppose -24*t + 7562 = 14*t. Is t a multiple of 19?
False
Let i(y) be the third derivative of -7*y**2 + 1/10*y**5 + 0 + 0*y + 1/24*y**4 + 1/6*y**3 - 1/120*y**6. Is 7 a factor of i(6)?
True
Let g(y) = -7*y**2 + 17*y - 7. Let q(a) = -4*a**2 + 8*a - 3. Let o(i) = 3*g(i) - 5*q(i). Let t be o(10). Suppose 1 = -t*v + 97. Does 8 divide v?
True
Let z = 1545 + 23. Does 14 divide z?
True
Let c = 32 - 27. Suppose -c*q - 270 = -8*q. Is 11 a factor of q?
False
Let y(j) = j**3 - j**2. Let d(n) = 6*n**3 + 5*n**2 + 7*n - 9. Let u(s) = d(s) - 5*y(s). Is u(-6) a multiple of 11?
False
Suppose 2*q - 7 = -4*s - 3*q, -s + 5*q = -8. Let n = -5 - s. Is -30*((-12)/n)/(-3) a multiple of 9?
False
Suppose 4 - 5 = p - 5*a, a - 13 = -3*p. Suppose -p*h = m - 79, -6*h = -3*h - 4*m - 83. Is 7 a factor of 7/h + (-40)/(-6)?
True
Suppose 1 = -n + 11. Let s = n + -5. Suppose 3*x + 2*x - 37 = -3*r, 0 = 2*r - s*x - 33. Is r a multiple of 5?
False
Let x(s) = 11*s**2 + 7*s - 1. Let t be x(3). Let b = -79 + t. Does 5 divide b?
True
Suppose -2*f = -3*d - 145, 13*d - 15*d + 10 = 0. Is 8 a factor of f?
True
Suppose 112*l = 82*l + 9240. Is l a multiple of 28?
True
Suppose m + x + 2*x - 54 = 0, 5*m = 5*x + 290. Let l(s) = 36*s + 8. Let j be l(4). Let p = j - m. Is p a multiple of 14?
False
Let q = 192 + -34. Is q a multiple of 19?
False
Let g(m) = m**3 - m**2 - 18*m + 32. Is g(8) a multiple of 14?
True
Let c(v) = -v**3 - 7*v**2 + 5*v + 7. Let x be c(-8). Suppose -5*u + 39 + x = 0. Is 5 a factor of u?
False
Suppose 20*w - 30*w = -34660. Is 42 a factor of w?
False
Suppose -2*u = 3*b - 1401, u + 5*b = -110 + 807. Is 9 a factor of u?
True
Suppose -k - 11 = -26. Does 19 divide (108/(-15))/(k/(-200))?
False
Let l be 9 + 4/(-1) + -1. Does 11 divide 14/l*(-24)/(-7)?
False
Let s(t) = -5*t**3 + 24*t**2 - 14*t + 13. Let n(i) = -9*i**3 + 47*i**2 - 29*i + 26. Let m(y) = 6*n(y) - 11*s(y). Does 8 divide m(-19)?
True
Let p be (4 - -9) + -5 - (1 - 0). Suppose 14*l - p*l - 2107 = 0. Does 18 divide l?
False
Let b = -403 - -907. Is 18 a factor of b?
True
Let b(o) = -o**2 + 12*o - 12. Suppose -5*i + s + 22 + 2 = 0, 8 = -3*i - 5*s. Is 10 a factor of b(i)?
True
Let h be 1 - 1*745/(-5). Suppose 20*f = 18*f + h. Is 25 a factor of f?
True
Suppose 2*q - 10 = 14. Suppose 0*j = -5*j + 220. Let v = j - q. Is v a multiple of 7?
False
Let n be ((-1)/(-3))/(1/93). Suppose -33 + n = -u. Is 2 a factor of u?
True
Let n = -217 + 352. Does 27 divide n?
True
Let i = 212 - 90. Let u be (-8)/3*33/(-22). Suppose -u*w - 30 = -i. Does 4 divide w?
False
Does 3 divide 302 + (-7 - 0 - (4 + -6))?
True
Let n = 25 - 40. Let x be 2/(-4) + n/(-2). Suppose -9*i + 136 = -x*i. Does 17 divide i?
True
Let x(j) = j**3 - j**2 - 2*j. Let t(w) = -3*w**3 - w**2 + 1. Suppose 5*d = -5*k, -5*d = -d + 5*k - 1. Let g be t(d). Is x(g) a multiple of 4?
True
Let g(f) = 14*f**2 - 120*f + 18. Is g(9) a multiple of 3?
True
Let t = -33 + 19. Let a = 144 + t. Does 28 divide a?
False
Suppose 19*v - 18*v - 2 = 0. Let f(y) = 22*y + 1. Is 26 a factor of f(v)?
False
Suppose -159*w + 166*w - 5040 = 0. Does 45 divide w?
True
Suppose 61*m = 101*m - 4880. Is m a multiple of 61?
True
Let b be (-24 + 6)/((-6)/16). Suppose 0 = -4*s + 168 + b. Is 18 a factor of s?
True
Let g(r) = r**3 + 12*r**2 - 14*r - 4. Let p be g(-13). Suppose -p*v = -13*v + 124. Suppose -z = -5*h - 4, 3*z - v = 2*z - 4*h. Does 19 divide z?
True
Let z(o) = -o**3 + 27*o + 29. Is z(-9) a multiple of 10?
False
Suppose 0 = 5*w + y - 119, 2*w + 3*y = -y + 44. Let r be w/(-14)*28/(-8). Suppose -4*n - r*s = -3*s - 210, -4*n = s - 214. Is 15 a factor of n?
False
Let c(j) = -2*j**2 - 5*j - 4. Let n be c(-3). Let i(v) = v**2 + 3*v - 12. Does 16 divide i(n)?
True
Let h = -222 + 132. Suppose -3*i + 390 = 5*j, -i + 0*i + 130 = 4*j. Is 2 a factor of i/18 - (-20)/h?
False
Let l be 18/(-24)*48/(-2). Let r = 25 - l. Suppose r = 5*g - 88. Is 19 a factor of g?
True
Let o(s) = 26*s + 5 - 5 - 7 - 7. Does 18 divide o(4)?
True
Is -4 + (6/(-3) - -76) a multiple of 14?
True
Suppose 5*m - 2*n - 1286 = 1752, n = -m + 609. Does 38 divide m?
True
Let t = 26 + 25. Is t a multiple of 3?
True
Let t(v) = -v**2 + 15*v + 2. Let y = 4 + -2. Suppose -y*c = -3*c + 7. Is t(c) a multiple of 21?
False
Suppose -268*f - 192 = -272*f. Is 5 a factor of f?
False
Let z(p) = p**2 - 12*p - 15. Let s be z(13). Is 90/3 + 1*(2 + s) a multiple of 10?
True
Let x be (-6)/10 - 88/20. Let v = 7 + x. Suppose -3*i = g - 16, -i = -v*i + g. Is i even?
True
Let q(u) = u**3 - 7*u**2 - u + 12. Suppose -10 = -2*z - x, -2*x - x - 5 = z. Let f be q(z). Let j(k) = 5*k + 1. Is j(f) a multiple of 5?
False
Let j(x) be the second derivative of x**4/6 + x**3 - 3*x**2 + 2*x. Let t be -9 - ((-4)/(-2) + -5). Is 15 a factor of j(t)?
True
Suppose -n - 14 = n. Let u(h) = 6*h - 11. Let p(v) = -31*v + 54. Let o(r) = -2*p(r) - 11*u(r). Is o(n) a multiple of 23?
False
Let u(l) = -4*l + 23. Let w be u(5). Suppose -w*s = -7 - 56. Is s even?
False
Let i be 16/40 + (-1186)/(-10) + -2. Let x = i + -6. Is 8 a factor of x?
False
Supp