 - 15. Let w(m) = -4 - 115*m + 236*m - 119*m. Let z be w(8). Is 35 a factor of l(z)?
True
Suppose 10 = -7*l + 9*l. Let d = l - 3. Suppose d*p - 178 = -0*f - 2*f, -347 = -4*f - p. Does 10 divide f?
False
Let a(v) = v**3 - 27*v**2 - 28*v - 30. Let x be a(28). Is 27 a factor of 2/4 - (8 + 12375/x)?
True
Suppose 75*v = 32*v - 129. Let h(j) = -30*j**3 - j**2 - 5*j - 17. Is h(v) a multiple of 15?
False
Let v = -269 + 290. Let r(j) = 2*j**2 - 3*j + 21. Is 10 a factor of r(v)?
True
Let c(b) = 21*b**2 - 84*b - 1198. Is c(-12) a multiple of 109?
True
Let a(g) = g**2. Let s be 20/(-14) + 18/42. Let b(c) = -8*c**2 - 4*c - 2. Let d(n) = s*b(n) - 6*a(n). Is d(9) a multiple of 25?
True
Suppose 171*a = 841*a - 6633000. Is 3 a factor of a?
True
Suppose -10*i + 3*s - 939 = -13*i, 0 = -4*i - 5*s + 1254. Is 14 a factor of i + 30 - (0 + 2)?
False
Let v = -5024 + 10046. Does 7 divide v?
False
Let s = 45 - 30. Suppose -5*r - 3*f + 120 - s = 0, -4*r + 4*f = -116. Is r a multiple of 4?
True
Let b(o) = -2*o**2 + 17*o + 8. Suppose -6*r = 2*r - 40. Does 3 divide b(r)?
False
Let t = 49 + 118. Let a = 184 - t. Is a a multiple of 3?
False
Let f(b) = 52*b - 56*b + 12 - 4 + 5*b**2. Let g be 1/(-2)*(-1 + -7). Is 18 a factor of f(g)?
True
Suppose v + 4*t = -v - 7904, 0 = -v - 4*t - 3954. Let r = v + 5584. Is r a multiple of 38?
True
Let t = 49450 + -44441. Does 94 divide t?
False
Suppose 16*r - 2 = 46. Suppose 5*z - b = 2167, 2*z - 2161 = -r*z - 2*b. Is z a multiple of 12?
False
Let x = 1414 - 38. Suppose 2*u = -4*a + x, -3*u + 334 = -2*a + 1030. Is a a multiple of 3?
True
Suppose -169*j = -175*j + 426. Let c = 345 + j. Does 52 divide c?
True
Let s(v) be the first derivative of 16 + v**2 + 6*v - 11/3*v**3 + 1/4*v**4. Is 14 a factor of s(11)?
True
Let r = -24 + 52. Let f be 5*(3 - 7 - r/(-5)). Suppose 3*x - f*x = q - 132, -10 = -5*q. Is x a multiple of 3?
False
Let j(x) be the second derivative of x**6/120 - x**5/10 - x**4/6 + 11*x**2 + 16*x. Let q(g) be the first derivative of j(g). Does 12 divide q(8)?
True
Suppose 0 = -19*t + 75 + 1. Is 14 a factor of (-34)/t*-118 + -7?
False
Suppose 4*w - 7 = 3*a - 0*w, -5*w = -20. Let q(p) = 8*p**2 - p**3 + 12 + 2*p**a - 22 - 9*p. Is 34 a factor of q(-7)?
True
Let z(l) = -64*l**3 + l**2 - 2*l - 4. Suppose 2*i - 2*c = 4, -5 + 15 = i - 3*c. Does 12 divide z(i)?
True
Is 160/(-6)*(19536/(-32))/37 a multiple of 44?
True
Suppose 2*z - t = 295, 0 = 5*z + t + 4*t - 700. Suppose 105 = 3*v - 2*d, d - 2*d - z = -4*v. Is v a multiple of 37?
True
Suppose 9*z = 13*z + 108. Let p = z + 25. Is 8 a factor of (-16)/6*((p - 0) + -10)?
True
Let t(n) = 528*n**2 - 31*n + 110. Is t(3) a multiple of 56?
False
Let j(v) be the first derivative of 2*v**3/3 - 7*v**2 + 15*v - 4. Let s = -348 - -360. Is 15 a factor of j(s)?
True
Let l(j) = 1 + 9 - 2 + 3*j - j. Let s be (-57)/(-6) - (4 - (-5)/(-2)). Is l(s) a multiple of 3?
True
Suppose 8706 = 7*f - 7219. Is 13 a factor of f?
True
Let a(n) = 74*n - 30*n - 23*n + 30 - 23*n. Let o be a(13). Suppose -2*z + 2*l + 52 = 0, -o*z - 3*l = -2*z - 42. Does 4 divide z?
True
Suppose -2*i + 5*a - 9 = 0, a - 4 = -4*i + 11. Let c = 531 + -237. Suppose 0 = -i*b + 2*p + 210, -4*b = p + p - c. Is 8 a factor of b?
True
Let x be -1 + 3/4*4. Suppose 2*k - 4*t = 4, -x*k + 11 = 2*k - 5*t. Suppose k*a + 31 = 5*c, -5*c + 2*a + 34 = a. Is 5 a factor of c?
False
Let q = 130 - 131. Is ((-201)/9 + q)*-6 a multiple of 10?
True
Let z(l) = -3*l**2 + 14*l - 4. Let i be z(4). Let o be (-10)/(-5)*(-14)/i. Let m(d) = -15*d - 7. Is m(o) a multiple of 16?
False
Let h be ((-396)/(-55))/(2/5). Suppose 7*s = 4*s - h. Let m(g) = -g**3 + 13*g - 2. Is 25 a factor of m(s)?
False
Suppose 14*a - 22914 + 12389 = 19043. Is a a multiple of 2?
True
Let t(x) = -x + 12. Let y be t(6). Let u be (0/2)/((6 - y) + 1). Does 14 divide 7/(4/(4 + u))*10?
True
Let l(s) = -2*s**2 + 14*s + 30. Let t be l(16). Let u = -190 - t. Does 2 divide u?
True
Let h = 258 - 28. Suppose t + l - h = -4, 1127 = 5*t + 2*l. Is t a multiple of 9?
True
Does 37 divide 19056 - -1 - -10*24/(-80)?
False
Let r(k) = 2*k + 11. Let h be r(-5). Let z be 4 + h + 1 + -3. Suppose z*u = 5*u - 40. Is 20 a factor of u?
True
Suppose -132*d + 35722 = -217322. Is d a multiple of 81?
False
Let f(y) = -y + 9. Let c be f(5). Suppose -2*s - 4*a = -8, c*a - 19 = 4*s - 83. Does 4 divide s?
True
Let b(o) = 39*o**2 + 8*o + 8. Let l be b(-1). Let m = 109 - 71. Suppose m*q - l*q + 70 = 0. Does 7 divide q?
True
Suppose -11*n + 24264 = 7*n. Suppose 4*c + 204 = n. Is 22 a factor of c?
True
Let v be 5 + 0 - (-6 - -2 - -6). Suppose 2*y - 4*y - 2594 = -v*r, 4*y + 2590 = 3*r. Is r a multiple of 13?
False
Let u(g) = -25*g - 46 - 5*g**2 + 48*g - 27*g + 25*g**2 + g**3. Is 17 a factor of u(-20)?
True
Suppose 3 = 6*a - 8*a + 3*q, q = -2*a - 15. Is 14 a factor of a + (-2 + 5 - -577)?
True
Let k(s) = 6*s**2 + 11*s + 5353. Does 53 divide k(0)?
True
Let n be 1/(5/20) - -89. Let g = n - 47. Suppose 4*k + 4 = 0, -2*r + r - 4*k + g = 0. Is 13 a factor of r?
False
Suppose -i + 2952 = -3*m, 82*i - 81*i + 5*m = 2928. Is i a multiple of 3?
True
Let s(g) = -g**2 + 11*g + 2. Let p(y) = -y**2 + 11*y + 1. Let k(q) = -6*p(q) + 7*s(q). Let o be k(15). Let w = o - -56. Does 2 divide w?
True
Suppose -m = 3*p - 5674, p + 4*m + 394 - 2300 = 0. Suppose -4*s + p = -0*s - 2*d, 4*s - 1870 = -2*d. Suppose s = o + 4*o. Does 47 divide o?
True
Let o(l) = 14*l - 50. Let g be o(21). Let h be (0 - (-1)/2)/(2/g). Suppose -1 = -y, -3*y + 62 = 3*n - h. Is n a multiple of 10?
True
Let j(u) = -u**2 - 12*u - 15. Let x be j(-10). Suppose x*w = 72 + 13. Is -3 - ((-10)/5)/(2/w) a multiple of 6?
False
Suppose -27*i + 143609 = -150988. Is 38 a factor of i?
False
Suppose 4*z - 2*t - 26 = -z, -4*z - 4*t = -32. Let b be (78 + 1)*-1*(z + -7). Suppose -2*s + 3*s = b. Is 37 a factor of s?
False
Let p(o) = -3251*o - 10383. Does 13 divide p(-11)?
False
Does 19 divide (531/(-36))/((-3)/(226 + 2))?
True
Suppose 8928*w = 8941*w - 481312. Is w a multiple of 52?
True
Let h(w) = -52*w + 14. Let a be h(9). Let r = a + 935. Is r a multiple of 37?
True
Let q(o) = o**3 + 4*o**2 - 12. Let y be q(3). Suppose 57*d = y*d + 3078. Is d a multiple of 27?
True
Suppose 2 = a, 17*d - 246 = 15*d - 5*a. Let c = d + 20. Is c a multiple of 46?
True
Let m be ((-4)/(-8) + 0)/(2/16). Suppose -5*z + 3*g + 2271 = -365, m*z - 2131 = -5*g. Is z a multiple of 53?
False
Let u = 717 + -329. Let b = u - 320. Is b a multiple of 2?
True
Suppose 10*w - 9 = 11. Suppose -4*p - f + 497 = 0, w*p + 0*f = f + 247. Does 7 divide p?
False
Let m be (30/(-12) + 4)*16/6. Suppose 1024 = 5*y - m*s, 3*s + 642 = 4*y - 178. Does 2 divide y?
True
Let o = -87 - -119. Suppose -253 = -k - o. Does 17 divide k?
True
Is 31 a factor of (-1 + -1 - 37285)*(-5 + 4)?
False
Let y = -2278 + 673. Let o = -18 - y. Is o a multiple of 15?
False
Suppose -6*h + 137 = -7. Let q(d) = d**3 - 25*d**2 + 24*d + 12. Let o be q(h). Suppose 6*g - 84 = o. Does 7 divide g?
False
Suppose 950*y - 12138 = -4*f + 947*y, -5*y = -5*f + 15190. Is 22 a factor of f?
True
Is 33 a factor of 25418/22 + 156/(-429)?
True
Suppose -4*k - 9 = -77. Suppose -8*t + k*t - 9 = 0. Suppose 3*x - 2 = -4*q, 3 = 5*q + 4*x + t. Is 2 a factor of q?
True
Let k be -11 - -2 - (1 - 745). Suppose -2*f = -4*w + 50, 5*w - 4*f - 22 = 3*w. Suppose 8*c = w*c - k. Is 12 a factor of c?
False
Suppose 0 = 482*q - 485*q + 30. Let f(o) be the second derivative of -o**4/12 + 7*o**3/3 - o**2 + 2*o. Is 10 a factor of f(q)?
False
Suppose -5*q = 2*y + 78, -3*y + 3*q - 159 = -21. Let m be (y/(-77))/((-2)/(-7)). Suppose 117 = -m*r + 381. Is 12 a factor of r?
True
Suppose 2*c + 3 + 5 = 0. Let z be (36*c)/(-4) + 0. Suppose -7*l = -62 - z. Is 13 a factor of l?
False
Let j = -39 - -47. Suppose -5*g = -3*m - 4, 9*m - 6*m - j = -g. Suppose -280 = -g*y + 5*b, -666 = -5*y + 2*b + 2*b. Is y a multiple of 33?
False
Let n(q) be the second derivative of -11*q**3/6 + 4*q**2 - q. Suppose 5*b + 3*w + 148 = 94, -5*b + 5*w = 30. Is 7 a factor of n(b)?
False
Let j(n) = 2*n**2 - 9*n. Let m be j(5). Suppose -3*a = 3*t - 771, m*t + 3*a + 0*a = 1275. Suppose -t = -c - 3*c. Does 14 divide c?
False
Suppose -5*t + 1338 + 2527 = 0. Let o = t - 440. Suppose -o = -8*p - p. Is p a multiple of 2?
False
Let m(b) = 18*b - 49. Let x be m(3). Suppose 3*k 