41, b + 4*o - 74295 = 0. Is b a multiple of 19?
False
Let s(p) = -14*p - 79. Let w be s(-6). Suppose -2*f = -5*f - r + 5220, -w*f + 8698 = r. Does 37 divide f?
True
Let r(i) = 67*i - 85. Does 6 divide r(7)?
True
Let n(v) = -2*v**3 + 52*v**2 + 26*v + 36. Let m(g) = 3*g**3 - 52*g**2 - 22*g - 35. Let j(x) = 4*m(x) + 5*n(x). Does 9 divide j(-25)?
False
Let m = 10610 + 7018. Does 78 divide m?
True
Let c be (-632)/(-6)*(-147)/(-98). Let p = c + -27. Is 20 a factor of p?
False
Let x = -54 - -59. Suppose 3*k = x*k - 80. Does 34 divide k?
False
Is ((-93)/(-6) - 16)*(41*-856 - 0) a multiple of 43?
False
Let k(l) = -228*l + 2140. Is 14 a factor of k(-35)?
False
Let k(u) = 31*u**2 - 47*u + 18. Is k(-9) a multiple of 12?
True
Let x = 9 - 78. Is 2*(0 + x/(-6)) a multiple of 4?
False
Let b(n) be the second derivative of -1/12*n**4 + 13/6*n**3 - 8*n + 0 + 3*n**2. Is 14 a factor of b(11)?
True
Suppose 7*q = 10*q + 51. Let s = q + 22. Suppose m - 1003 = -s*n, -2*n + 404 = -0*n - m. Is 19 a factor of n?
False
Let l(m) = 3*m + 37. Let d(f) = 6*f + 75. Let g(y) = 3*d(y) - 7*l(y). Is 23 a factor of g(-25)?
False
Let u = -72 + 67. Let g be u/(-3)*(6 - 3). Is g/15*3 - (-162)/3 a multiple of 11?
True
Let t = 289 - 627. Let w = -158 - t. Is 6 a factor of w?
True
Let f(z) = -z**2 + 16*z + 227. Let r be f(25). Suppose r*c - 2282 = 156. Is 53 a factor of c?
True
Let x = 11662 - 224. Is 19 a factor of x?
True
Suppose 0 = n - 2*d - 10, 7*n - 6*n + 5 = -3*d. Suppose 4*b = n*q + 352, -5*b = -q + 5*q - 476. Is 23 a factor of b?
True
Suppose -44730 = -9245*z + 9231*z. Is z a multiple of 9?
True
Let j(v) = -44*v. Let m be j(1). Let g = m + 62. Is ((-378)/g)/((-6)/8) a multiple of 2?
True
Let c(b) = -2*b + 2. Let m be c(-1). Is 22 a factor of 484/(-55)*(-50)/m?
True
Let c = -12572 - -18476. Is c a multiple of 12?
True
Suppose 0 = 3*q + 2*r - 7405, -q + 3*r + 573 + 1888 = 0. Is q a multiple of 36?
False
Suppose 0 = -80*x + 13768 + 3683 + 92549. Is x a multiple of 28?
False
Let w = -4543 + 7471. Does 122 divide w?
True
Is 21 a factor of (-1474)/(-1) - (12 - (-17 - -25))?
True
Let b = 29 + -15. Let a = 220 - 195. Suppose -a = -3*s + b. Does 2 divide s?
False
Let v = -28556 - -50081. Is v a multiple of 25?
True
Let r be 58 - -8*1/2. Let y = r - -16. Suppose 2*t - t = y. Is 26 a factor of t?
True
Let a(m) = -19*m - 7. Let p = -31 - -30. Let t = -4 - p. Is a(t) a multiple of 12?
False
Let z(l) = 1579*l**2 + 152*l - 712. Is z(5) a multiple of 98?
False
Suppose 25*b - 9580 = 34170. Does 13 divide b?
False
Let m(u) = 58*u + 4*u**2 - 10 + 0*u**3 + 0*u**3 - 4*u**3 - 63*u. Is 22 a factor of m(-4)?
True
Let w(y) = -y**3 - 2*y**2 + 2*y + 8. Let l be w(-2). Let s(q) be the first derivative of 7*q**3/3 + q**2 + 10*q - 1. Does 9 divide s(l)?
False
Suppose -12*m + 4383 = -9*m. Does 11 divide 40/32 + m/12?
False
Let f(c) = c**2 + 3*c - 2. Let g be f(-3). Let u be 3 + g + 2/2. Does 4 divide (u/(-5))/((-2 - -1)/90)?
True
Let h = -2 + 13. Let d = h + -1. Suppose 2*g - 22 + d = 0. Is 4 a factor of g?
False
Suppose 2*n = -5*y + 5723, 22*n - 19*n = -y + 8604. Is 10 a factor of n?
False
Let q(x) = -6*x**3 - x**2. Let b be q(-1). Is ((-2)/b)/((-2)/(-20)) + 84 a multiple of 20?
True
Suppose 14*m = 24*m - 120. Let n be 2/m + (-423)/(-54). Suppose -n*v + 65 + 79 = 0. Is 5 a factor of v?
False
Let f(g) = 3*g**3 - 4*g**2 - 91*g - 30. Does 6 divide f(11)?
True
Suppose y - 2*s - 6039 - 523 = 0, 0 = 4*y - 3*s - 26233. Does 22 divide y?
True
Let l be ((-15)/(-10) - 1)/((-3)/(-29724)). Suppose 202 = -16*n + l. Does 11 divide n?
True
Does 42 divide 5 - -7976 - (36/27 - 3/9)?
True
Let i be (72/32)/(6/(-16)). Let l(a) = 2*a**2 - 7*a + 10. Let m be l(i). Is 11 a factor of m/2 + (2 + -2 - 3)?
False
Let c(q) be the second derivative of 3*q**4/4 - 15*q**3/2 - 7*q**2/2 + q - 51. Does 7 divide c(-7)?
True
Suppose -o + 266 = -272. Suppose -18 + o = s. Does 26 divide s?
True
Let n(z) = -z**2 - 14*z - 4. Let r be n(8). Let g = 340 + r. Is g a multiple of 16?
True
Let j(x) = -2*x**2 + 3*x - 8. Let l(n) = n. Let p(i) = -j(i) - 6*l(i). Let g be p(4). Suppose -3*a + 106 = 2*b, -g*a + 155 + 53 = 4*b. Is b a multiple of 3?
False
Let l(j) = 6*j + 7. Let k(w) = 5*w + 8. Let t(p) = 4*k(p) - 3*l(p). Let q be t(-5). Does 16 divide (q - -2) + -2 - -63?
True
Suppose -5*l + 22*l = 51. Suppose -5*f + f + 400 = p, l*p - 2*f - 1256 = 0. Suppose -80 = 3*v - 3*d - 491, 0 = -3*v - 2*d + p. Does 7 divide v?
False
Suppose 9*d - 5*d - 4*u - 708 = 0, -5*u + 25 = 0. Let w = 248 - d. Does 6 divide w?
True
Let q(s) = 6*s**2 + 9*s + 10. Let p(c) = -c**3 + 8*c**2 - 2*c + 1. Let m be p(7). Suppose 7*l + m = 1. Is q(l) a multiple of 23?
True
Let p(s) = s**3 + 6*s**2 + 4*s - 3. Let j be p(-3). Does 3 divide 4*j*(5 - 3)?
True
Let q = -73 - -7239. Does 24 divide q?
False
Suppose 33*h - 946 = 32*h. Let y = -671 + h. Does 35 divide y?
False
Let f(c) = -c**2 - 17*c - 27. Let v(x) = 3*x + 21. Let b be v(-9). Let p be f(b). Suppose 0 = -4*g + 5 + p. Is g a multiple of 3?
False
Let h(f) = 17*f**3 - 3*f**2 + 29*f - 38. Let o be h(5). Suppose 4*l - o = 807. Does 19 divide l?
True
Suppose 30*a - 583 = 5687. Suppose -2*l = 5*u - a, 3 = 5*u - 2. Does 7 divide l?
False
Let c = -13413 + 24982. Is c a multiple of 149?
False
Let g(j) = 4*j**2 + 98*j + 2278. Does 3 divide g(-42)?
False
Let p be -5 + -7 + 9 + 875. Suppose -3*v + p = 2*l, 0*l = -5*l + 2*v + 2199. Is 17 a factor of l?
False
Let p be ((-6)/(-10))/3*(13 - 8). Is 41 a factor of 364 - p - (-9 - -7)?
False
Let q(m) = m**3 - 4*m**2 + 3*m - 10. Let v be q(4). Let r(d) = -38 - 5*d + d**v - 11*d + 13*d. Is 14 a factor of r(-9)?
True
Let u = 139 - -843. Suppose -2*j + 4*i + u = -0*j, 0 = 3*i - 6. Suppose -10*z = -j - 315. Is z a multiple of 11?
False
Let v be 106*(2 + (-3)/2). Let g = 55 - v. Suppose -4*q - 79 = -f, -g*q + 395 = 5*f + q. Is f a multiple of 11?
False
Is (36/(-10) + 2)/(32 + 232802/(-7275)) a multiple of 135?
False
Let i = 9962 - 1904. Is i a multiple of 158?
True
Let j(o) = 2*o. Let y(u) = -14*u + 47. Let p(r) = 5*j(r) + y(r). Is p(7) even?
False
Is ((-584)/12)/((-55)/2475) a multiple of 16?
False
Is 2 a factor of (32/40)/((-7)/12600*-6)?
True
Let u = -6878 - -12131. Is u a multiple of 82?
False
Suppose 3*l + 6054 = 5*d, 16*l - 15*l - 4833 = -4*d. Is 6 a factor of d?
False
Suppose -2*a - n = -414, 1042 = 5*a - n - 0*n. Is 3 a factor of a?
False
Let f(q) = -q**3 + 12*q**2 - 19*q - 3. Let g be f(10). Let k(u) = -2 + 14 - 38 + g*u. Is k(9) a multiple of 3?
False
Let s = 34 - -152. Is (s/30)/((-5)/(-25)) a multiple of 31?
True
Suppose 29*l + 9*l = 593750. Does 4 divide (-2)/12 + l/150?
True
Let u(o) be the second derivative of -o**4/12 + 5*o**3/6 + 7*o**2 - 15*o. Let x be u(7). Let m = 218 + x. Is m a multiple of 32?
False
Let j(w) = 58*w + 1. Let q be j(3). Let o be (0/(0 + 2 + -3))/(-3) - -331. Let t = o - q. Is t a multiple of 39?
True
Let m be (19/(-57) + 4/(-6))*-7. Suppose 2*x - m*x + 647 = 2*p, 1604 = 5*p - x. Is p a multiple of 41?
False
Suppose 29*j = -3*w + 25*j + 20757, -15 = -5*j. Does 7 divide w?
False
Let u(w) = -359*w + 1570. Is u(-40) a multiple of 15?
True
Suppose 0 = -12*t - 381 - 855. Let k = t + 135. Is 4 a factor of k?
True
Suppose -3*i = -3*w + 21516, -5*i - 105 = -115. Is w a multiple of 16?
False
Let l(i) = 17*i**3 + 5*i**2 - 100*i + 34. Is 79 a factor of l(8)?
False
Suppose 2*l - h - 2080 = 0, 2*l + 5*h - 814 = 1314. Does 10 divide l?
False
Suppose 4*v - 1891 = 133. Let r = v + -451. Is r a multiple of 2?
False
Let s(h) = -h**2 + h + 1. Let q(b) = -7*b**2 + 2. Let f(y) = q(y) - 6*s(y). Let p be f(-4). Suppose -p = -a, -3*w + w + 5*a + 176 = 0. Is w a multiple of 34?
False
Suppose -16 = 2*b + 4*g, 2*b - 5*b - 12 = 3*g. Suppose b = w - k - 0*k - 187, 0 = -w + 5*k + 203. Let t = w - 94. Is t a multiple of 52?
False
Let g = -3696 - -25674. Is g a multiple of 66?
True
Let h be (5 - (-30)/(-18))*72. Let o = h - 14. Does 18 divide o?
False
Let v = 15303 + -8273. Does 10 divide v?
True
Suppose -2*r = z - 40, -7*z = -3*r - 3*z + 49. Suppose r*f + 7 = 18*f. Let m(o) = o**2 - 12*o + 4. Is 27 a factor of m(f)?
False
Let s = -1 - -1. Let x(u) = 18 - 21*u - u**2 + 42*u - 23*u. Is x(s) a multiple of 6?
True
Let w(g) = -1881*g + 6176. Is w(-7) a multiple of 231?
False
Suppose -242039 = -114*b + 21