 - 22 = t. Suppose -d*r + 13 = -131. Let a = -8 + r. Is 3 a factor of a?
False
Let v(t) = -19*t**3 + 9*t**2 + 47*t - 25. Does 26 divide v(-7)?
True
Let t = -5669 + 11753. Is t a multiple of 78?
True
Let h(y) = 37*y + 69. Suppose -42*f = -280 - 14. Does 6 divide h(f)?
False
Let s(g) = -11*g - 6. Let p be s(-5). Let n = -48 + p. Is 15 a factor of (-5 + 0 + -116)/(n/(-1))?
False
Let n(m) = 1973*m + 1704. Is 107 a factor of n(7)?
True
Suppose 4 = -5*k + r, -r + 0 = 5*k - 4. Suppose 4*t + 318 = -2*y, k = -3*t - 2*t - 3*y - 398. Let n = 131 + t. Is 17 a factor of n?
False
Let p be (-3)/(-2)*11/((-66)/(-1268)). Suppose k = u + 62, 5*k + u = -u + p. Suppose -6*w - k = -7*w. Is 13 a factor of w?
False
Is (-1 + -3)/(172/(-173333)) a multiple of 29?
True
Let n = 6 - 36. Is 20685/25 + (-18)/n a multiple of 17?
False
Suppose 5*q + 27 = 3*v - 2*v, 0 = -v - q + 15. Suppose 2143 = 3*z + 5*i, -13*i = -v*i + 8. Let j = -488 + z. Is j a multiple of 12?
False
Suppose -7*t - 4*i - 3056 = -3*t, 4*i - 764 = t. Is 9 a factor of (t/(-10))/(9/90)?
False
Let k = -20733 + 52280. Is k a multiple of 38?
False
Is 29 a factor of (-224)/(-196) - (-64920)/35?
True
Let o = -346 - -352. Is 21 a factor of (28/o)/((-4)/(-198))?
True
Suppose 0 = -6*w + 16088 + 2056. Does 36 divide w?
True
Let u(b) = 2*b**3 + 47*b**2 - 10*b + 61. Is u(-20) a multiple of 22?
False
Suppose -2*n + 31*p - 34*p + 2756 = 0, -4*n + 5*p + 5578 = 0. Is n a multiple of 3?
False
Let o(c) = -6 + 2 + 66*c + 28*c**3 - 33*c - 32*c - 10*c**2. Is o(2) a multiple of 26?
True
Let u be (-4)/((-20)/(-2295)*-3). Suppose u = a - 374. Is 59 a factor of a?
False
Let c = 1724 - 713. Is c a multiple of 3?
True
Suppose -52444 - 79941 = -11*k. Is 8 a factor of k?
False
Let d(n) = n**2 - 11*n + 29. Let b be d(9). Suppose -9*w = -b*w. Suppose s = 5*v - 0*v + 19, -2*v = w. Is s a multiple of 3?
False
Let l = -1664 - -2864. Suppose l = 467*x - 463*x. Is 15 a factor of x?
True
Let j(r) = 21*r + 31. Let g be j(-4). Let a = 313 - 170. Let l = g + a. Does 5 divide l?
True
Let z(t) = -1442*t - 2. Let p(w) = -481*w - 1. Let f(g) = 10*p(g) - 3*z(g). Does 12 divide f(-1)?
True
Let q(p) = 8*p**2 - 2*p - 2. Let o(k) be the second derivative of -k**4/12 + k**3/6 + k**2/2 - 30*k. Let r(a) = 5*o(a) + q(a). Is r(-4) a multiple of 8?
False
Suppose -6*r = 61 - 55. Is 8 a factor of (r/(-2))/(-3 + (-2165)/(-720))?
True
Suppose 2476 + 845 = -9*i. Let u = i - -607. Is 13 a factor of u?
False
Suppose 3*w = -4*f + 5057, 0*f - 1679 = -w - 3*f. Suppose 2*i + 5*y = -0*y + w, 5*y = -15. Is 15 a factor of i?
False
Let z = -2 + 75. Let v = 75 - z. Suppose 12 = -v*x + 204. Is x a multiple of 24?
True
Suppose 4*z - 4453 = u, 3*z + 4*u = 1975 + 1341. Suppose 0 = -5*d + 4*n + z, -4*n - 518 - 146 = -3*d. Is 8 a factor of d?
True
Let t(p) = 136*p + 42. Let r(j) = -2*j**3 - 15*j**2 + 9*j + 11. Let q be r(-8). Is t(q) a multiple of 8?
False
Let m(p) = -2*p - 53. Let f be m(-17). Suppose 5*x - x - 208 = 0. Let b = x + f. Is 4 a factor of b?
False
Let c = -17 - -23. Suppose 107 = -c*y + 11. Is 10 a factor of (y*6)/(-3) - 2?
True
Let k(w) = -w**3 + 5*w**2 - 6*w + 10. Let l be k(4). Suppose -5*z = -l*i - 1833, 10*z - 734 = 8*z + i. Is z a multiple of 26?
False
Let l = 10970 - 9358. Is l even?
True
Let v = 1191 + -803. Suppose -3*a + v = 100. Is a a multiple of 3?
True
Let u(n) = -53*n - 227. Let k be u(13). Let h = 1294 + k. Does 9 divide h?
True
Suppose 30*h + 28*h - 25463 = 15891. Is h a multiple of 3?
False
Suppose 0 = -a + 2*i + 3 - 0, -3*a = 4*i + 21. Let l be 4*(9 + 5 + -8). Is 832/l*a/(-2) a multiple of 13?
True
Is ((-10920)/(-336))/((-1)/(-78)) a multiple of 39?
True
Suppose 22 - 8 = -2*w. Let j(a) = -67*a + 35. Let h be j(w). Suppose -5*g = -9*g + h. Is g a multiple of 29?
False
Let g(s) = -s + 107. Let f be g(10). Is (-98 + f)/((-2)/368) a multiple of 43?
False
Let j = 9530 + -6369. Does 179 divide j?
False
Suppose 0 = h - s - 7 - 7, -4*s - 20 = 0. Let x(v) = 2 + 7 + 2*v + h - 16. Is x(10) a multiple of 11?
True
Let q(j) = -25*j**2 - 7*j - 4. Let w(v) = 24*v**2 + 6*v + 3. Let g(c) = 5*q(c) + 6*w(c). Let o be g(1). Let y = o - -10. Does 12 divide y?
False
Let n(d) be the second derivative of -53*d**3/6 + 14*d**2 + 233*d. Suppose 2*k - 2*j = -14, k - j - 13 = 5*k. Does 20 divide n(k)?
True
Suppose -u = -2*j + 1080, -5*j - u + 3245 = 552. Does 6 divide j?
False
Let u(s) = 7*s + 61 - 7*s + 4*s + 4*s + 3*s**2. Is u(11) a multiple of 16?
True
Let g(m) = 9*m**2 - 138*m - 33. Let z(w) = 8*w**2 - 137*w - 32. Let i(f) = 3*g(f) - 4*z(f). Does 11 divide i(26)?
False
Suppose 6*v + 0*v + 6 = 0. Is ((-4 - -2)/(-2))/v + 470 a multiple of 51?
False
Let k = 18124 + -17698. Does 17 divide k?
False
Suppose -5*g - 6*q - 3*q = -7*q - 14595, 5*q = 0. Is g a multiple of 20?
False
Is 49 a factor of 3389*(-6)/(-8) - 15*(-24)/1440?
False
Let z(n) = 817*n**2 - 15*n + 12. Does 13 divide z(5)?
False
Let z(x) = -x**3 + x**2 + x - 4. Let v be z(0). Let y be -1 + 2 - v - -384. Let f = y - 114. Is f a multiple of 21?
False
Suppose 13904 = 5*y - 2*h - 96, y - 2800 = 3*h. Does 14 divide y?
True
Let z = 3061 - 2060. Is 13 a factor of z?
True
Let t(x) = -7*x + 73. Let m be (-4)/(-1)*-1*6/(-4). Let f(j) = 8*j - 74. Let c(r) = m*t(r) + 7*f(r). Is 12 a factor of c(10)?
True
Let c = -210 + 216. Is 9 a factor of (-1971)/c*3/9*-4?
False
Suppose 42*z + 3*a + 20690 = 44*z, -z + 10371 = 5*a. Is z a multiple of 125?
False
Suppose 6*m + m - 7 = 0. Let g be 0 + m + 2/(-1). Let q(o) = -97*o**3 - o**2 - 3*o - 2. Is 13 a factor of q(g)?
False
Let l be (-92)/(-4)*(5 - -2). Suppose -6*m + l = 17. Let w = m - 13. Does 2 divide w?
False
Let b(d) = -d**3 + 61*d**2 - 89*d + 180. Does 103 divide b(45)?
False
Let q = -3 + -1. Let f(y) be the first derivative of -65*y**2/2 + 8*y - 237. Is 28 a factor of f(q)?
False
Let t be (-6 - 80)*13/(-2). Let d = 313 - t. Let z = -138 - d. Does 12 divide z?
True
Let v be (20/6)/(2 + (-3040)/1524). Let z = v - 385. Is z a multiple of 29?
False
Suppose 0 = -7*d + 2*g + 7385, -5*g - 5275 = -5*d - 9*g. Does 5 divide d?
True
Suppose 0 = 15*q - 10*q + 3*g - 3150, -622 = -q + g. Is q a multiple of 4?
False
Let x = -11315 - -21899. Does 4 divide (4/(-6))/(6*(-8)/x)?
False
Suppose 4*t - 30 - 38 = 0. Let v(g) = -g**3 + 15*g**2 + 19*g + 32. Let k be v(t). Let b = k - -317. Does 47 divide b?
True
Let w = 63 + -23. Is 35 a factor of 5/(w/1324) - (-1)/2?
False
Let r(u) = -71*u + 3*u**2 - 2*u**2 + 510 + 70*u. Is r(0) a multiple of 15?
True
Suppose 0 = -19*g + 23*g - 20. Suppose g*n + 4*a = 3866, 2*a - a = -5*n + 3854. Does 14 divide n?
True
Suppose -5*q - 11 = -4*i, -1 = 6*i - 5*i - 5*q. Suppose -3*v = 2*d - 466, -d = -i*d + v + 721. Is d a multiple of 6?
False
Let b be (80/(-25))/(-4)*(-5)/(-2). Suppose 6*x - 412 = b*x. Let v = x - -8. Is 27 a factor of v?
False
Let b(x) = 2*x**3 - x**2. Let i(t) = 8*t**3 - 11*t**2 + 8*t + 15. Let l(o) = -5*b(o) + i(o). Does 20 divide l(-7)?
False
Suppose -6*s = -4*s - 2. Suppose -s = -w + 17. Suppose -4*v - 3*t + 81 = 0, w + 2 = -4*t. Is v a multiple of 24?
True
Let h(a) be the second derivative of 7*a**3/2 + 23*a**2/2 + 16*a. Let o be h(12). Suppose 3*s - o = -5*t, s + t - 3*t - 88 = 0. Is 15 a factor of s?
True
Let t(z) = 14*z**2 - 174*z - 46. Does 144 divide t(-15)?
False
Let l(t) = 5*t**2 - 75*t + 246. Let r be l(3). Let j be 4/(-10) + (-4)/(-10). Suppose -4*m - 2*a + 88 = -j*a, 3*m + a = r. Is 9 a factor of m?
False
Let f = 1219 + 7757. Is f a multiple of 176?
True
Suppose 256*m - 296*m = -119248 - 108672. Is m a multiple of 37?
True
Let j(z) = z**3 + z**2 + z - 1. Let l(i) = -i**3 - i**2 + 5*i + 4. Let m(o) = -2*j(o) - l(o). Suppose -70*d + 55*d = 60. Is m(d) a multiple of 20?
False
Let q(m) = m + 33. Let i be q(-16). Suppose -i*c + 5*c = -2688. Does 23 divide c?
False
Is 2116 + -32 + 17 + (-1)/1 a multiple of 30?
True
Let m = 1787 + -164. Does 68 divide m?
False
Suppose -5*y = -3*d - 141, 7*y = 2*y + 15. Is 0 - ((-4 - -2) + d) a multiple of 14?
False
Let d(u) = u**3 - 8*u**2 + 2*u - 11. Let f be d(8). Let q(a) = -a**2 - 6*a + 12. Let y be q(-7). Suppose 3*b + y = 20, 2*o - 81 = -f*b. Is o a multiple of 14?
True
Suppose -6*m + 5*y = -m - 5, 5*m - 55 = -5*y. Let f be (0 + 0)*(5 - m). Suppose f = 7*n + 621 - 1510. Does 11 divide n?
False
Let d(p) = 3*p - 