. Let q = s - -2016. Does 47 divide q?
False
Let m(d) = d**2 - 2*d - 4. Let b be m(6). Suppose 5*n + 19 = -z + 2*z, -5*z = -b. Is 28 a factor of ((-7)/4)/(n/144)?
True
Let q(y) = -y**3 - 28*y**2 - 253*y - 22. Is q(-7) a multiple of 10?
True
Let k be -5 - (-2 + -3) - 5. Let r(p) = -24*p - 1. Does 17 divide r(k)?
True
Let q(n) = 449*n**2 - 330*n + 9. Is 229 a factor of q(2)?
True
Suppose 0 = 3*f - 24 - 18. Is 102 a factor of (1118/91 - 12) + 11420/f?
True
Let h = 11114 + -5367. Is h a multiple of 70?
False
Let t = -190 + 193. Suppose t*x - 693 = -6*w - 51, -1130 = -5*x + 5*w. Is 37 a factor of x?
True
Suppose c - 3*c = 142. Let y = c - -73. Suppose 3*d - 110 = i + i, 0 = 2*d - y*i - 74. Is 6 a factor of d?
True
Let b(k) be the first derivative of 9*k**5/20 - 5*k**4/24 + k**3/2 + 17*k**2 + 28. Let q(f) be the second derivative of b(f). Is 9 a factor of q(2)?
False
Suppose 37*b - 60 = 33*b. Suppose 816 = 17*c - b*c. Does 34 divide c?
True
Let i = -3082 + 4264. Is i a multiple of 3?
True
Suppose -5*g - 3*x + 3758 = -15842, 3*x = 0. Is 21 a factor of (3/2)/((-3890)/g + 1)?
False
Suppose -15*g + 9 = -6*g. Suppose 2*f = -3 + g, -f = a - 2. Suppose a*v - 2*r + 43 = 253, 0 = -v + 5*r + 70. Is v a multiple of 13?
False
Suppose 2*k + 138 = 2*o - 7*o, 4*o - 102 = 2*k. Let g = 36 + k. Let c(h) = h + 36. Does 3 divide c(g)?
False
Let j be ((-116)/(-12))/(2*(-4)/(-24)). Let n = -27 + j. Does 9 divide -2 + (-2 + n - -1) + 19?
True
Suppose -21687 + 212132 = 19*p - 40177. Is 42 a factor of p?
True
Let f(v) = 2*v + 1067. Is 33 a factor of f(-22)?
True
Let n(u) be the first derivative of -5*u**4/4 - 6*u**3 - u**2 + 5*u + 114. Let b be 10/(-5)*5/2. Is 38 a factor of n(b)?
True
Suppose -2*m + 9*d = -63463, 76*m - 3*d - 95205 = 73*m. Is 8 a factor of m?
True
Suppose 10 = v - 2*q, 9*q = v + 4*q - 19. Let i be (3 - (-3 - v))*-2. Is i/(-16)*(1*105 + -1) a multiple of 10?
True
Let f = -427 - -430. Suppose 4*w - 968 = -3*a, 4*w + 5*a = f*w + 242. Is 14 a factor of w?
False
Let h be 35*1/3 - (-77)/231. Is 4 a factor of (-24)/(h/9 + -2)?
True
Let a(l) = -52*l**2 + 3 - 39*l - 5 + 97*l**2 + 4 - 49*l**2. Does 23 divide a(-6)?
True
Let s be 2/8 + 4/(32/46). Is (s + -22 - 4)*-10 a multiple of 28?
False
Suppose 62*j + 21*j - 427450 = 0. Is 25 a factor of j?
True
Let s(h) = -24*h + 53. Let i be s(3). Let c(m) = -12*m + 64. Is c(i) a multiple of 73?
True
Let u(a) = -a**3 - 23*a**2 + 117*a + 203. Is u(-31) a multiple of 17?
False
Suppose -25*j = -24*j - 17. Let d(a) = -a**2 + 19*a - 35. Let f be d(j). Let y(r) = -82*r**3 - r**2 - r. Is 6 a factor of y(f)?
False
Is 139 a factor of 1390/30*-15*(2 - 729/15)?
True
Suppose -79704 = -156*q + 138*q. Is q a multiple of 123?
True
Let p = -1340 + 5020. Does 80 divide p?
True
Let z = 268 - 274. Let m(t) = 24*t**2 + 6*t + 43. Is m(z) a multiple of 36?
False
Let k = -7957 - -9274. Is k a multiple of 6?
False
Let o(r) = -2*r**3 - 33*r**2 - 20*r + 996. Does 44 divide o(-26)?
False
Let u(p) = p**2 + 11*p - 70. Let f be u(8). Let t = 14 + f. Does 4 divide t?
True
Let a(i) be the first derivative of i**4/4 - i**3 - 9*i**2/2 - 2*i - 49. Let t be a(5). Suppose -t*h = -4*j - 33 - 365, -3*h - j = -373. Is h a multiple of 14?
True
Let i(q) = -222 - 6 - 285*q - 90*q. Is 53 a factor of i(-4)?
True
Is (5 + (-294)/90*3)/(30/(-313125)) a multiple of 167?
True
Let k(g) be the second derivative of g**5/20 - g**3/6 + 9*g**2/2 + 23*g. Let i be k(0). Let o = 30 + i. Is 7 a factor of o?
False
Is 22853 - (-16)/(368/(-299)) a multiple of 22?
False
Let q(u) = -33*u - 48. Let a be q(-19). Does 11 divide (-3)/5 - a/30*-22?
False
Let f = -213 - -242. Suppose -f*a + 1970 = -19*a. Is a a multiple of 15?
False
Suppose -152*b = -567821 - 295539. Does 7 divide b?
False
Suppose -3*p + 2*s + 39 = 0, 0 = 3*p - 2*p - 4*s - 23. Suppose 401 - 1072 = -p*v. Suppose -4*j + 37 + v = m, -5*m - 60 = -2*j. Is j a multiple of 2?
False
Is 33 a factor of 819260/190 - 46/(-437)?
False
Let v be 12 + (14/(-4) - 10/20). Suppose -18 = 2*r - v*r. Suppose -r*i + 675 = 2*i. Is i a multiple of 27?
True
Let m(b) = b**3 + 33*b**2 - 210*b - 80. Is m(-34) a multiple of 13?
False
Let u = -29 + 24. Let g(s) = -s + 19. Let p be g(u). Does 13 divide 1312/p - (-1 + (-5)/(-3))?
False
Let y(d) = d**2 - d - 37. Let a be y(-6). Suppose 2*b - 177 = a*t - 2507, 0 = 2*t - 3*b - 932. Is 28 a factor of t?
False
Let u be -3*(-15)/9 - (5 + -2). Let w(a) = 11*a + a**2 - 2 + 2*a**u + 0*a. Is 32 a factor of w(5)?
True
Let y(p) = -37*p + 222. Let f be y(6). Suppose -10*x - 9*x + 1406 = f. Does 4 divide x?
False
Suppose -139*n + 1275605 = -504985. Is 50 a factor of n?
False
Let i(j) = 11*j - 82. Let q be i(8). Suppose q = 5*x - 3*m, m = 5*x - 6 - 6. Suppose 4*r = -x*t + 225, t + 3 = -2. Is 10 a factor of r?
True
Let o be 11*(-2 - -2 - 1). Let g(w) = 11*w**2 + 12*w**2 + w**2 + 13*w**2 - 34*w**2 + 11*w. Is g(o) a multiple of 11?
True
Let d be (-1)/(-3)*6432/32. Suppose -d*q - 2670 = -72*q. Is 53 a factor of q?
False
Suppose 6*t + 52 = 10*t. Suppose 21*c = 22*c - t. Suppose -c*x + 18*x = 720. Is x a multiple of 8?
True
Let v(m) = -3*m**2 - 19. Let c(x) = -x**2 - x - 11. Let a be c(0). Let u(p) = p**2 + 6. Let y(z) = a*u(z) - 4*v(z). Is 3 a factor of y(0)?
False
Let j = -11180 - -17190. Is j a multiple of 28?
False
Suppose -9*v - 7*v = -2*v - 602. Is v a multiple of 2?
False
Suppose 0 = -z - 27 - 19. Let p(m) = -m**2 - 51*m + 199. Is p(z) a multiple of 33?
True
Suppose 10*a = 2*j + 12*a - 68, 74 = 2*j - 4*a. Does 36 divide 3 - 2 - -827 - (-37 + j)?
False
Let j(l) = 26*l - 5 - 1 + 2 + 0. Let h be j(2). Let q = 40 + h. Is 11 a factor of q?
True
Is 14 a factor of 2/(-4) + ((-174041)/(-46) - 2)?
False
Let t(o) be the first derivative of 29*o**6/90 - o**5/120 - o**4/12 - 4*o**3 - 9. Let l(s) be the third derivative of t(s). Is 8 a factor of l(-1)?
False
Suppose k + 3*p = 1406, -26*k + 23*k - 4*p + 4193 = 0. Let n = -833 + k. Is n a multiple of 31?
True
Suppose 2*w - 144 = -152. Let p(l) = -3*l**3 - l**2 + 8*l + 11. Let q be p(w). Suppose 0 = -17*r - q + 5510. Is r a multiple of 35?
True
Let p be ((-72)/(-1))/((-12)/(-16)). Let h(z) = -z**3 + 3*z**2 - 2*z + 1. Let g be h(0). Is 7 a factor of (33/12 - g)*p/12?
True
Let i(h) = 137*h + 2*h**3 + 10 + h**3 - 7*h**2 - 6*h**3 - 132*h. Is 47 a factor of i(-6)?
True
Let z(s) = -s**3 - 47*s**2 + 197*s - 22. Does 25 divide z(-51)?
False
Suppose 0 = 3*m + 4*w - 30459, 10*w + 30450 = 3*m + 11*w. Is m a multiple of 51?
True
Let s(d) = 22*d**3 - 66*d**2 - 6*d + 33. Does 14 divide s(6)?
False
Let n(a) = -2*a**3 + 2*a**2 + 3*a. Let z be n(-2). Suppose -11*g + 4 + z = 0. Suppose -g*u - 298 = -b, -3*u - 308 = 2*b - 939. Is b a multiple of 10?
False
Let l = -556 + 5128. Is 18 a factor of l?
True
Let t = -3810 + 4530. Does 8 divide t?
True
Let b be (-1 + 175 - 1)/(2/10). Suppose b - 2881 = -6*q. Is q a multiple of 16?
True
Let z(w) = w. Let p(f) = -f**2 - f + 1. Let x(o) = o - 11. Let g(t) = 3*p(t) - x(t). Let i(l) = -g(l) - 2*z(l). Is 17 a factor of i(7)?
False
Suppose 0 = 3*l + 2*l + 5*j - 50, 5*j = -l + 10. Suppose -l*t + 8*t - 2*p + 1500 = 0, -p = 2. Is 16 a factor of t?
True
Suppose 302*h = 286*h + 34080. Does 142 divide h?
True
Let o = -258 - -206. Is 6 a factor of (-14)/(-49) - o*(-30)/(-28)?
False
Suppose -72 = 23*b + 20. Is (148/(-2))/(6/(b*12)) a multiple of 16?
True
Suppose 3*s + 3 = 3*c, 3*c + 0*c - 9 = -3*s. Suppose o - 214 = -c*t, -t = -5*o - 3*t + 1062. Is o a multiple of 5?
False
Suppose 9790 = 2*g - 2*o, -9804 = -2*g - 57*o + 61*o. Is 26 a factor of g?
True
Let t(j) = -232*j + 1691. Is t(-20) a multiple of 13?
True
Let f(j) = j**3 - 81*j**2 + 183*j + 66. Is f(80) a multiple of 86?
False
Let g = -642 + 646. Suppose 4*d = -5*x + 2552 + 1661, 1702 = 2*x - g*d. Is x a multiple of 65?
True
Let o(w) = 5*w**2 - 150*w - 620. Does 13 divide o(125)?
False
Suppose 0 = 5*h + 110 + 95. Let n = h - -51. Suppose 26 + 94 = n*k. Is 12 a factor of k?
True
Is 79082/6 + 741/(-171) a multiple of 51?
False
Let l be 6/(8 - 7) + (-2 - 1). Suppose 0 = 4*q - 4*y - 176 - 64, 5*q = -l*y + 300. Does 29 divide q?
False
Let d be (-1)/((-1)/142*-2). Let y = -484 - -395. Let m = d - y. Does 6 divide m?
True
Let z = -589 + 280. Let b = 519 + z. Is b a multiple of 21?
True
Let k(d) = 10*d**3 + 5*d**2 - 7*d + 10. Let a 