b - 757. Is t(-16) a multiple of 37?
True
Let x be ((-2796)/18 - 4)*(-6)/4. Suppose 0 = -3*r - 4*q + x, -236 = -5*r - 4*q + 149. Is r a multiple of 73?
True
Let g(q) = 54*q - 28*q + 48 - 57*q. Is g(0) a multiple of 16?
True
Does 59 divide 6/(-57) - 6186/(-38)*9?
False
Is -6 + -9 - 55368/(-6) a multiple of 111?
True
Let x = 22478 - 1364. Does 6 divide x?
True
Let t be (21/6 - 3)*-4. Let u be 0*(2*t)/(-8) - -2. Is 15 a factor of u/(-9) + -5 + (-5898)/(-54)?
False
Is ((-45)/20)/(-4 + 0 - 264705/(-66180)) a multiple of 172?
False
Let x = 126 - -24. Let t = -92 + x. Is t a multiple of 38?
False
Let p = -210 + 214. Does 5 divide p/(-10)*95/(-19) - -53?
True
Suppose 0 = f + 7*p - 9*p - 4731, 2*p = -3*f + 14193. Does 176 divide f?
False
Let z = -213 - 48. Let d = -205 - z. Is 14 a factor of d?
True
Let q(g) = 3*g**2 - 8*g + 1. Let s(m) = -4*m**2 + 7*m. Let y(w) = -4*q(w) - 5*s(w). Let v be y(2). Is 2 a factor of (5 + -4)/(v/10 + -2)?
False
Suppose -4*c + 3*a - 6*a + 194 = 0, -c = -a - 45. Suppose -4*j - c = -163. Is j a multiple of 29?
True
Suppose 2*i - 2280 = 2*w, -1143 = -28*i + 27*i - 2*w. Does 11 divide i?
False
Let f = -18838 - -28845. Does 52 divide f?
False
Suppose 0 = 148*s - 4910555 - 113305. Does 18 divide s?
False
Suppose -4*l + 2*i = -2*l - 8, 0 = -i + 5. Suppose 0 = -l*r + 6*r + 6. Is r - (-10)/(-8) - (-405)/4 a multiple of 44?
False
Let h(l) = -4*l**3 + 88*l**2 - 71*l - 1. Is h(21) a multiple of 4?
True
Let u(q) = q - 10. Let s be u(8). Let y be (-7)/(-14) + (-7)/s. Suppose -5*v + 51 = -y*v. Is 17 a factor of v?
True
Let g be -2 + 693/12 + (-9)/12. Let u = 103 - g. Let n = 102 - u. Is n a multiple of 27?
True
Suppose 0 = -11*c + 3030 - 1512. Does 8 divide c?
False
Let r(v) = -3*v**3 + 26*v**2 + 8*v + 7. Let o(g) = 4*g**3 - 26*g**2 - 9*g - 5. Let z(t) = 2*o(t) + 3*r(t). Does 19 divide z(26)?
False
Let t be (58 + 1)*(4 - 5)/(-1). Suppose 0 = 9*f - 3280 - t. Is 32 a factor of f?
False
Let s = -49 - -52. Suppose -s*m + 0*m = 930. Let f = m - -455. Does 29 divide f?
True
Suppose -5*h - o + 39 = 0, 3*h - 6*h + 22 = 2*o. Suppose 54 - h = 2*s. Suppose -2*y - 2*l = l - 4, 3*y - 4*l = s. Does 2 divide y?
False
Let j = 3920 - -3144. Is 8 a factor of j?
True
Let i(x) = -4*x - 6. Let k be i(-2). Suppose g - 18 = 2*a, 2*g + 5*a + 13 = 67. Suppose -5*n + 36 = 3*w, -k*n - 14 = -3*w + g. Is w a multiple of 2?
True
Let v = 25 + -38. Is 18196/26 - (4 + 54/v) a multiple of 70?
True
Suppose -1516992 = -179*p + 2890704. Is 19 a factor of p?
True
Let v(o) be the third derivative of o**5/15 - o**4/8 + 3*o**3 + o**2 - 11*o. Let r = 9 + -15. Does 12 divide v(r)?
True
Suppose 4*u - 6*u + 5*u = 42411. Is u a multiple of 7?
False
Let m(p) be the first derivative of -67*p**4/24 - 11*p**3/6 - 2*p**2 + 15. Let g(h) be the second derivative of m(h). Is g(-4) a multiple of 14?
False
Suppose -10*t + 21 = -3*t. Let h(a) = -a**2 - 3*a + 6. Let x be h(t). Does 29 divide (-29)/(-5)*(-2 - x)?
True
Let r(h) = -9 + 9 + 57*h + 1 + 59*h. Is 34 a factor of r(3)?
False
Suppose -231*n + 200*n + 1247400 = 519*n. Does 42 divide n?
True
Let b = -661 + 2063. Does 21 divide b?
False
Let w(n) = 47*n**2 - 9 - 33*n**2 - 80*n**3 - 15*n + 79*n**3. Is w(7) a multiple of 17?
False
Suppose 2*z = 10, 5*b = -0*b - 4*z + 30. Suppose 3*c = 4*m - 340, c + 2 + b = 0. Suppose -o + 48 = 2*y + 2*o, -2*o = 3*y - m. Does 26 divide y?
False
Suppose -3*q + 4 = -2*q. Suppose 4*t = 3*z - 2, -6*z + z + 3*t - q = 0. Is 12 a factor of 130 - (z - -3) - -3?
True
Let r(d) = -17*d + 296. Is 27 a factor of r(4)?
False
Let f(k) = -11*k - 4. Let c be f(3). Let g(t) = -t**2 + 21*t + 261. Let n be g(29). Let v = n - c. Is 11 a factor of v?
True
Let u(m) = 3*m**3 + 3*m**2 - 19*m - 234. Is 42 a factor of u(18)?
True
Let u = -60 + 72. Let b(y) = 6*y**2 - 36*y - 13. Is 9 a factor of b(u)?
False
Let n(p) = 59*p**2 + 0*p - 2*p + 233 - 225. Is n(3) a multiple of 33?
False
Suppose 5*p = -2*z + 1033, -p = 5*z - 740 - 1808. Suppose 25*q - 891 = z. Is 4 a factor of q?
True
Let b = -121 + 121. Suppose 2*u + 70 = -l, b = -3*l + 4*l - 4*u + 64. Is 4 - 1028/(-68) - (-8)/l a multiple of 2?
False
Let l be 46/(-69)*6/1. Let t be (-5 + 100/5)/(2/l). Does 14 divide (-20)/t - (-668)/6?
True
Let b(g) = -3*g - 80. Let n be b(-31). Suppose -n*s + 2160 = -8*s. Is 34 a factor of s?
False
Suppose -11*l = -7 - 26. Suppose -4*a + 1867 = -l*w - 154, -5*a - w = -2550. Is 24 a factor of a?
False
Let v be (2 - 0/(-4)) + -67. Let j = 69 - v. Does 3 divide j?
False
Suppose -5*q - 402*i + 407*i + 350195 = 0, -2*q + 140060 = 4*i. Does 201 divide q?
False
Suppose -3*f + 7*f = 2*v - 1034, 3*f + 2078 = 4*v. Suppose 3*u - 4*y + 0*y = -v, -2*y - 167 = u. Let j = u - -332. Is 28 a factor of j?
False
Let b(s) be the second derivative of -3*s**5/20 - s**4/12 + 7*s**3/6 + 13*s**2/2 + s - 6. Is b(-5) a multiple of 8?
True
Let z = 18558 - 5485. Does 19 divide z?
False
Let m(t) = -2048*t + 678. Is 121 a factor of m(-10)?
False
Suppose -44*z + 56*z + 912 = 0. Let u(p) = 4*p**2 - p - 1. Let v be u(6). Let n = v + z. Does 24 divide n?
False
Suppose 0 = -g - 9 + 6. Let f be (-1)/(-3) + g/(-9)*5. Suppose -f*n = -m - 137, 5*n - 2*m - 35 = 305. Is 11 a factor of n?
True
Suppose c + 0 = 2*p - 4, 0 = -3*p - 2*c - 8. Suppose -4*w - 12 = -p*w. Is 28 a factor of w/(-9)*0 - -140?
True
Let b(y) = 40*y**2 - 17*y - 176. Is b(16) a multiple of 24?
True
Let p = 122389 + -82631. Is 206 a factor of p?
True
Suppose 84*g - 87*g = -5*j - 17575, -2*g - 4*j = -11680. Is 30 a factor of g?
True
Let t(f) = 181*f**2 - 175*f - 502. Is 14 a factor of t(-3)?
True
Let f(a) = 395*a + 1816. Is 7 a factor of f(30)?
False
Suppose -46*n + 187946 = -164552. Does 15 divide n?
False
Let k be (884/(-5))/(20/(-50)). Let m = 482 - k. Does 10 divide m?
True
Suppose -5*r = 2*j - 35316, -r - 2*j = -1740 - 5328. Is 91 a factor of r?
False
Let p = -54 - -57. Let u(m) = -m + 18. Let r be u(0). Is 21 a factor of r*((-64)/(-6) - p)?
False
Let h(t) = -79*t + 857. Is h(-27) a multiple of 115?
True
Suppose 37 - 109 = -3*f - 2*l, -4*f - 2*l + 98 = 0. Let w = 35 - f. Does 32 divide 770/8 - w/36?
True
Suppose 22*h - 1310928 = 29*h - 69*h. Does 15 divide h?
False
Suppose -346552 - 243752 = -5*m - 7*m. Does 22 divide m?
True
Let r be 0*(-1)/(-4) - 26. Let i = r - -30. Suppose 3*y = 17 + i. Does 7 divide y?
True
Let k(z) = 6*z + 33. Let s be k(-7). Let p(j) = 6*j**2 + 20*j - 5. Does 42 divide p(s)?
False
Let s = -835 + 3479. Suppose 2*f + 578 = s. Does 19 divide f?
False
Let n(r) = 24*r + 14. Let u be n(5). Let t = 223 - u. Let i = -9 + t. Is i a multiple of 20?
True
Let b(r) = 4*r - 14. Let j be b(5). Suppose j*n = 4 + 2. Does 7 divide n - (-1)/(1/9)?
False
Let i(t) = t**3 - 17*t**2 - 10*t + 39. Let l be i(12). Let n = l + 1174. Is n a multiple of 33?
False
Let c = 20 - 8. Let f(h) = 3*h + 58 + 11 - 13*h**2 + 213 + c*h**2. Does 29 divide f(0)?
False
Is 17*17*((-24)/(-18) + (-4)/12) a multiple of 23?
False
Suppose 1278*w = 1436*w - 145360. Is 40 a factor of w?
True
Let q(d) = -274*d - 2363. Does 3 divide q(-34)?
False
Suppose -3*i + 4*k = -244, -4*i - k + 357 = -0*i. Suppose 353 = 3*o - i. Is 21 a factor of o?
True
Suppose -5*s = -5*a + 1930, 7*a = 9*a - 8. Let b = s - -952. Is b a multiple of 38?
True
Let x(j) = -17*j + 730. Is 7 a factor of x(-55)?
False
Let t = -268 + 311. Suppose t*w = 48*w - 2225. Does 10 divide w?
False
Let l(f) = -f**2 + 10*f - 26. Let s be l(7). Let z be (s - -2) + (218 - 0/(-2)). Suppose -453 = -3*o - 5*n, -z - 91 = -2*o - 2*n. Is o a multiple of 39?
True
Let i be 3 - (1 - -4)/((-4)/508). Let h be i/4 + 9/(-6). Let b = -92 + h. Is 11 a factor of b?
True
Suppose -4*n + 23*n - 95 = 0. Suppose -2*p = -j + 16, -n*j + 0*j = -5*p - 90. Is 4 a factor of j?
True
Let c = 8594 + -2461. Is c a multiple of 147?
False
Let l = -157 - -2668. Is 22 a factor of l?
False
Suppose -10*y + 7*y + 3759 = 5*h, -5012 = -4*y - 2*h. Suppose -7*o = y - 5159. Is 38 a factor of o?
False
Let f = -26 - -27. Suppose -2*z = 8, -f = 2*s + 3*z + 7. Suppose -s*p + 273 = -127. Does 20 divide p?
True
Let r = 600 - 989. Let q = r - -1586. Is q a multiple of 63?
True
Suppose 0*o + 5*o = s + 25, -5*o = -5*s - 25. Suppose -5*w - 4*b + 112 + 501 = 0, -3*w - b + 365 = s. Does 11 divide w?
True
Let u = 11181 - -4623. Does 18 divide u?
True
Let 