pose 14*g - 18*g = 7584. Let f = -186 - g. Does 19 divide f?
True
Let w(a) = -180*a**3 + a**2 + 14*a + 69. Does 48 divide w(-3)?
True
Let t(x) = -2*x**3 - 48*x**2 + 44*x + 4. Suppose -10 + 11 = a, -2*l - 3*a - 47 = 0. Is 11 a factor of t(l)?
True
Let p be 80 - 3 - (-10 + 7). Let o = p + 39. Is o a multiple of 4?
False
Suppose 1009157 - 23909 = 264*k. Does 3 divide k?
True
Suppose 0 = 5*p + 4*l - 32, 2*p + 2*l - 10 = p. Let s be ((-164)/246)/(1/(-225)). Suppose -p*y + 66 = -s. Is y a multiple of 5?
False
Let z(a) = a. Let i(f) = f**2 + 11*f - 24. Let s(h) = i(h) + 2*z(h). Let c be (-2)/17 + 506/(-34). Does 5 divide s(c)?
False
Let w(o) be the third derivative of -o**6/120 - 7*o**5/30 + o**4 + 5*o**3/6 + 8*o**2 - 3*o. Suppose -s + 2*s = -16. Is w(s) a multiple of 31?
False
Suppose 3*a = -5*p + 12, 0 = -5*a + 3*a - p + 8. Suppose 0 = -3*l + a*s + 163, 6*s + 177 = 3*l + 9*s. Is 35 a factor of l?
False
Suppose -2*d + 29442 = -2*q, -4829 = -d + 2*q + 9885. Is d a multiple of 28?
True
Suppose -40*h - 5*h + 248400 = 0. Does 30 divide h?
True
Suppose 4*o - 13 = 3*z, 3*o = -3*z + 4*o - 10. Is 33 a factor of 12/(-4)*(-105 + z)?
False
Suppose -39*k + 56392 = 10684. Is k a multiple of 86?
False
Let o(r) be the third derivative of 13*r**5/12 + r**4/4 - 4*r**3/3 - 67*r**2. Is 33 a factor of o(2)?
True
Let w = 17878 - 9298. Is 60 a factor of w?
True
Let u = 159 + -113. Suppose -n + 66 = -u. Is 14 a factor of n?
True
Let m = 122 - 121. Suppose -m = -4*k + 67. Is k a multiple of 3?
False
Let l(w) = -42 - 49 - w + w**2 + 91. Let z be l(4). Suppose -z*d = -9*d - 105. Is d a multiple of 15?
False
Let r(q) be the first derivative of q**4/4 - 7*q**3/3 + 9*q**2/2 - 25*q + 7. Let i be r(6). Let w(k) = k**3 + 7*k**2 - 3*k + 17. Is w(i) a multiple of 7?
False
Suppose -9*b - 52434 = -3*w, 2*b + 2159 = 2*w - 32789. Does 21 divide w?
True
Let g(j) = 63*j - 1198. Is 2 a factor of g(25)?
False
Let z(p) = -110*p**2 - 4*p - 2. Let k be z(-1). Let l = 112 + k. Suppose d + 429 = l*d. Is d a multiple of 11?
True
Suppose -3*x + 36 = -p, -x = p - 6*x + 36. Let a be (p/(-16))/(15/20). Suppose -a*d - 2*y = -d - 124, -10 = -5*y. Does 15 divide d?
True
Let a = 1 - -1. Let l be 2 + 4 + 18/(-2). Is 108 + (l/a)/((-3)/(-4)) a multiple of 20?
False
Let k(p) = 54*p**2 - p + 1. Let a be k(-4). Suppose d = -r - 10 + 183, 5*d + r - a = 0. Suppose -108 = -3*h - 3*m + d, -5*m - 153 = -2*h. Does 16 divide h?
False
Let a(w) = 11*w + 3 - 8 + w**2 - 51 - 39*w. Is a(38) a multiple of 13?
False
Let i be 223 + (-2 - (6 + -3)). Let k = 371 - i. Is k a multiple of 17?
True
Let m = 9816 - -775. Is m a multiple of 67?
False
Suppose s + 2*k - 19 = 0, s - 2*k = -0*k + 35. Let w = s - -160. Does 10 divide w?
False
Suppose 0 = -2*q + a + 6, 5*a = 3*a - 8. Is 13 a factor of ((-3)/(-6))/(q/806)?
True
Let o(i) = -722*i - 15. Let j be o(-1). Suppose 16*t - j = 2493. Does 10 divide t?
True
Suppose 0 = -587*a + 604*a - 579207. Does 123 divide a?
True
Suppose 0 = -5*o + 2*u + 45, 2*o - u = -2*u + 18. Suppose r = o*r - 1024. Does 32 divide r?
True
Suppose 0 = 192*f - 26*f - 13280. Is 8 a factor of f?
True
Let x = -1880 - -1881. Let f(v) = -241*v**3 - 3*v - 7. Let r(g) = 120*g**3 + 2*g + 4. Let u(k) = -3*f(k) - 5*r(k). Is 11 a factor of u(x)?
False
Suppose -5*i + 6 = 4*r - 12, 5*r - 6 = 2*i. Suppose -2*z - 1440 = -2*a, r*a - 15*z - 1450 = -18*z. Is 38 a factor of a?
True
Let a(l) = -l**3 - 2*l**2 - 3*l - 3. Let z be a(-2). Suppose -5*c + 12 = -z*c. Let k(t) = t**3 - 6*t**2 + 4*t - 12. Does 4 divide k(c)?
True
Suppose 311 + 508 = -3*b. Is 16 a factor of 0/(-58) + -1 + (0 - b)?
True
Let o(f) = 8*f**2 - 2*f + 1. Let l be o(3). Let q = l + -64. Is 126/(-4)*(-4)/q - -3 a multiple of 3?
True
Suppose -549*s + 1219448 - 419006 = 0. Does 18 divide s?
True
Let r = 51 - 48. Suppose -r*y - 3*c + 6*c + 21 = 0, -2*y - 6 = 3*c. Suppose -u = -4*m + 354, -5*m + 2*u = -y*u - 450. Is 10 a factor of m?
False
Is 5 a factor of 6465*(-38)/(-57) - 3*2?
False
Let r(y) = -38*y**2 + 77*y**2 - 101*y - 30 - 42*y**2 - 30. Does 12 divide r(-30)?
False
Suppose 75*s - 10219 = -77*s + 141*s. Is 87 a factor of s?
False
Let g(z) be the third derivative of 7*z**6/10 + z**5/60 + z**4/24 - z**3/6 - 9*z**2. Let s be g(1). Let o = -52 + s. Does 11 divide o?
True
Let u = 136 - 166. Does 6 divide (-1147)/(-6) - u/36?
True
Let k(g) = -g**2 - 18*g - 27. Let y be k(-16). Is (-204)/4*(-10)/(y/1) a multiple of 51?
True
Does 33 divide 7 + (9793420/(-50))/(-13) - (-2)/10?
False
Suppose 5*d + 5*l - 24770 = 0, 13*l - 18*l + 15 = 0. Does 12 divide d?
False
Let u be (2/2 + -1)/(36/12). Suppose -3*y + 0 - 6 = u. Is 21 a factor of (-119)/(-2) + y/4?
False
Let c(u) = -u**3 + 21*u**2 - 36*u + 20. Let d be (-60)/15*(-5)/1. Suppose 8*t - 172 = -d. Is 9 a factor of c(t)?
False
Suppose -5*p - 86*u + 90*u + 15388 = 0, -5*p + 2*u = -15384. Is 19 a factor of p?
False
Let q(d) = d**3 + 56*d**2 + 49*d - 182. Let b be q(-55). Let r = 14 - 10. Suppose l = 0, -f - r*l = -3*f + b. Is f a multiple of 21?
False
Let i = -9633 - -20707. Is 14 a factor of i?
True
Let u be -6*(10/(-45) + 98/36). Let p(w) = w - 5 - 16 - 6*w. Is p(u) a multiple of 16?
False
Suppose -68*n + 42*n = -63206. Is n a multiple of 11?
True
Let w be (136/85)/((-8)/20). Does 17 divide w + (-3)/(3/(-163))?
False
Suppose x + 4*t - 10 = 59, -4*x + 4*t + 356 = 0. Let h = -50 + x. Suppose 2*v - h = 17. Is v a multiple of 6?
False
Let m(w) = -w**3 + 3*w**2 + 7*w + 18. Let u be m(7). Let z = 304 + u. Is z a multiple of 25?
True
Let q be 17*(5 - 3 - 1). Let x = -17 + q. Suppose x = -0*p - 4*p + 4*d + 360, -4*d - 451 = -5*p. Does 13 divide p?
True
Let t(s) = s**2 - s - 1. Let p(a) = 7*a**2 + 3*a - 1. Let f(j) = p(j) - 6*t(j). Let d be f(-5). Let u(c) = -c**2 - 17*c. Is u(d) a multiple of 6?
True
Let j be (22/33)/(-2 + 226/114). Let u(b) = -b**3 - 37*b**2 + 27*b + 14. Is u(j) a multiple of 21?
False
Let q be (-3 + 6 - -14)/((-2)/(-16)). Suppose -172 = 4*d + 132. Let h = q + d. Does 12 divide h?
True
Let x(z) be the second derivative of z**5/20 - 5*z**4/4 - 8*z**3/3 + 3*z**2/2 + 16*z. Let q be x(16). Suppose 0 = 2*k + q*k, -3*t + 4*k = -78. Does 9 divide t?
False
Suppose -4*p + 47134 = 5*c, 1176*c = p + 1173*c - 11775. Is 11 a factor of p?
True
Let t = 18 + -12. Suppose -876 = -2*i - 5*l + t*l, 0 = i + 4*l - 438. Is 18 a factor of i?
False
Suppose v + 2*u = -1, 5*v = 2*v - 2*u + 9. Suppose 0 = -4*q - 2*m + 1718, -v*q = -5*m + 9*m - 2149. Does 33 divide q?
True
Let y(r) = r**3 + 16*r**2 + 14*r - 8. Let k be y(-11). Let h = 1242 - k. Is h a multiple of 47?
True
Let z(v) = -19*v**2 + 1067*v - 71. Is 10 a factor of z(51)?
False
Suppose -5*o = f - 5170, -747 - 296 = -o - 2*f. Does 56 divide o?
False
Suppose 0 = -2*l - 2*z - 10, -6*z - 39 = -398*l + 395*l. Let i(n) = -1 + 81*n**2 + 115*n**2 - n + 105*n**2. Is 13 a factor of i(l)?
True
Let p = -6090 - -6094. Let m = 33 + -62. Let d = p - m. Does 4 divide d?
False
Let s be (-12 + 16)/(2 + -1). Let y(g) = 7*g**2 - 5*g + 8. Does 13 divide y(s)?
False
Let c(n) = 8*n**2 + 29*n - 11. Is c(24) a multiple of 4?
False
Let t(n) = 304*n**3 - 5*n**2 + 12*n + 12. Does 69 divide t(3)?
True
Let c = 59 + -54. Suppose 2*o - m - 182 = 26, m = c*o - 523. Is o a multiple of 15?
True
Let i(c) = 4*c**3 - 14*c**2 - 48*c + 90. Does 168 divide i(11)?
True
Let x = -14313 + 15081. Does 16 divide x?
True
Let l(b) = 2*b**2 + 9*b + 4. Let k = 11 - 19. Let g be l(k). Is 18 a factor of ((-6)/(-5))/(1 - 59/g)?
True
Is 34 a factor of -1 + (2132 + -4)*(16 + -9)?
False
Suppose -4*o = 4, 0 = -n - 69*o + 66*o - 1. Suppose 2*l = n*a + 5*l - 490, -5*a + 1200 = -5*l. Does 3 divide a?
False
Suppose 10*w - 6106 = -1656. Suppose 26*q - w - 231 = 0. Does 13 divide q?
True
Let z(t) = -t**3 + 13*t**2 + 58*t + 53. Is z(-16) a multiple of 111?
True
Suppose 2*x = -0*x - 3*r - 1, 3*x = -4*r. Let m = x + 0. Is 8 a factor of 8/(16/m) - (-3 - 3)?
True
Let a be (-57)/(-6)*(-4 + 6). Let u = 23 - a. Suppose 6*x - u*x - 5*g = 157, g + 169 = 2*x. Is x a multiple of 21?
False
Suppose 0 = 5*n + m - 16, -5*n + m + 7 + 7 = 0. Suppose 3*u + 517 = 2*s + 6*u, 5*s + n*u - 1297 = 0. Is s a multiple of 13?
True
Let u(k) = -21*k - 6. Let f be u(-3). Let m = f - 34. Suppose -21*o - m = -22*o. Does 23 divide o?
True
Let j(i) = 1007*i**2 - 14*i - 6. Is 81 a 