 74 + -137. Suppose -6 = -3*q, r = -0*r + 2*q - 43. Let x = r - a. Is 8 a factor of x?
True
Let t = -15092 + 14587. Suppose 0*w = -5*w - 3650. Let o = t - w. Does 45 divide o?
True
Let u(m) = -m**2 + 4*m + 6. Let d be u(-9). Let s = 50 - d. Is s a multiple of 22?
False
Suppose 64 = -2*z - 0*z. Let u be (-9975)/342 - 3/(-18). Let p = u - z. Does 2 divide p?
False
Let y(p) be the second derivative of -33*p**3/2 + 75*p**2/2 - 68*p. Is 8 a factor of y(-7)?
True
Let t = 4661 - 2441. Suppose -47*y + t = -35*y. Does 6 divide y?
False
Suppose -140 = k + 36. Let x be k/(-11)*(1 - -19). Suppose -7*m + 2*m + x = 0. Does 11 divide m?
False
Let o(f) = -40*f - 107. Let r be o(-21). Suppose 947 = 10*m - r. Does 21 divide m?
True
Let m(k) = -1026*k + 1494. Does 80 divide m(-21)?
True
Let s be -1707*8/216 - (-2)/9. Let v = -13 - s. Is 5 a factor of v?
True
Is 32 a factor of (228162/18 - 3) + (-4)/6?
True
Suppose -1762158 - 327563 = -33*r - 66755. Does 13 divide r?
False
Suppose 0 = 42*y - 20*y - 9504. Is 3 a factor of y?
True
Let d(z) = -16 + 22 + 8*z - 16 + z**2. Let n be d(-10). Suppose -y + n = 3. Is y even?
False
Suppose -821 = -4*h + 759. Let l = 30 + h. Does 21 divide l?
False
Let b(o) = -141*o**3 - 253*o**2 - 3*o + 10. Is 118 a factor of b(-5)?
False
Let a(q) = 1175*q**2 + 16*q - 66. Does 23 divide a(3)?
True
Let v(d) = -3*d - 26. Let k be v(-9). Suppose l = 5 + k. Does 22 divide 68/1 + ((-42)/(-7) - l)?
False
Let v(n) = -n**3 - 39*n**2 - 34*n + 74. Let m be v(-44). Suppose -3*o + m = 22*o. Does 15 divide o?
True
Suppose 7432 = 5*p + 5*u - 9683, 24 = -4*u. Does 48 divide p?
False
Let z(a) = 68*a - 16. Suppose 4*k + 3*j = -j + 20, -k + 5 = 5*j. Is z(k) a multiple of 24?
False
Let k = 173 - 174. Let f(r) = 394*r**2 + 5*r + 3. Is 49 a factor of f(k)?
True
Is 16 a factor of 47/((-611)/(-47892)) - 13?
False
Let n(a) be the second derivative of a**4/12 + 16*a**3/3 + 147*a**2/2 - 35*a. Is 10 a factor of n(-28)?
False
Let w(c) = c**3 + 6*c**2 - 5*c - 47. Let a be w(-5). Suppose 2*u - h - 199 = 0, 0 = -0*u - 4*u - a*h + 373. Is u a multiple of 6?
False
Let v = -184 + 467. Suppose 0 = -2*g + 3*b + v, 3*b - 417 = -4*g + g. Does 17 divide g?
False
Let h = -39 - -27. Is 48/(-9)*(-1 - (-6)/h) a multiple of 7?
False
Let p(l) be the second derivative of l**4/3 + 7*l**3/6 - 9*l**2/2 - 2*l - 91. Suppose 17 - 5 = 4*j. Is p(j) a multiple of 12?
True
Let u = -9175 - -17382. Does 29 divide u?
True
Let y be (-4)/(3 - -1)*(1 + -3). Suppose 140 = r - y*r - g, 5*r + 4*g + 696 = 0. Let k = 159 + r. Does 5 divide k?
False
Let u(n) = -n**3 - 6*n**2 + n + 6. Let p be u(-6). Let f(s) = s**3 - s**2 - 2*s - 1. Let d be f(p). Is 29 a factor of (1 - 170/(-4)) + d/(-2)?
False
Suppose -6*y + 2734 = w, 4*y - 410 = -390. Does 2 divide w?
True
Let r(j) = -17*j**2 - 11*j - 12. Let c(l) = l**2 - l. Let k(o) = 3*c(o) + r(o). Let v be k(-5). Is 27 a factor of v/(-2) + (0 - (2 - 3))?
False
Let r be (-22 - -21)/(1/(-4)). Suppose j - 2*i - 954 = 0, -j - j = r*i - 1916. Does 17 divide j?
False
Let n(k) = 295*k**2 + 419*k + 12. Is n(-5) a multiple of 98?
True
Let i(b) = -315*b + 754. Does 22 divide i(-8)?
False
Let z be 1*2*(7 + 22/(-4)). Suppose 2*o + 3*l = z*o - 21, -l = 2*o - 7. Is (75/o)/(5/10) a multiple of 2?
False
Let m be (1*(-3)/(-9))/(8/192). Let a(r) = 7*r - 4. Let l be a(m). Let d = l - 17. Is 25 a factor of d?
False
Let w(v) = -v**3 + 3*v**2 + 68*v + 20. Let r be w(10). Let f(u) = -60*u + 1190. Does 27 divide f(r)?
False
Let q = 64 + -60. Let k be 4*(-2)/q - (-102)/3. Let p = k + 10. Does 7 divide p?
True
Let s(m) = -m**2 - 5*m + 18. Let k be s(-7). Suppose 22 = -k*w + 6. Does 8 divide (6/(-8))/((-1542)/384 - w)?
True
Does 8 divide (-21168)/(-378)*(-3)/(3/(-2))?
True
Let n(p) = 147*p**2 + 28*p - 39. Is 8 a factor of n(5)?
True
Let d be 2 + (-573)/5 - (-18)/(-45). Let s = d - -215. Let m = s - 18. Is 12 a factor of m?
True
Suppose -2*h + 4*d + 6666 = 0, -3*d - 9 = -27. Is 11 a factor of h?
False
Is 10 a factor of 4 + 7026 + -20 + 20?
True
Let y = 13 + -6. Let w(n) = 12 + 3*n - 2 + 2*n + 2*n - 2*n. Does 3 divide w(y)?
True
Let d(k) = 70*k + 70. Let m be (-1)/((-51)/12 - -4) + 2. Is 49 a factor of d(m)?
True
Suppose 0 = -y - 3*h - 26, 5*h + 77 = -4*y + 2*h. Let t(n) = -25*n - 47. Is t(y) a multiple of 18?
True
Let f(l) = -1173*l - 7340. Is 3 a factor of f(-7)?
False
Let b(k) = -91*k + 525. Is b(-45) a multiple of 55?
True
Suppose -147*m + 4112649 = -5273007. Does 247 divide m?
False
Let r be 12/90 + 4 + 128/(-60). Suppose 9*d - 8019 = -r*d. Is d a multiple of 34?
False
Suppose 0 = -828*t + 822*t + 179676. Is 7 a factor of t?
True
Let m(j) = j**3 - 2*j**3 - 3*j + 5*j - 3*j. Let i be m(-1). Is 8 a factor of 1*-3 - (-3)/i*14?
False
Does 54 divide 3/((2/(-282))/(110/(-30)))?
False
Suppose -2*p + 20 = 3*p + 5*j, 3*j - 8 = -p. Suppose 0 = 2*s - 4*z - 29 - 11, 4*z = -p*s + 56. Is s a multiple of 2?
True
Is 2/20 + (79149/10 - (-3 - -15)) a multiple of 30?
False
Let n(r) = 68*r**2 + 152*r + 1256. Does 4 divide n(-8)?
True
Suppose -19*k + 22*k = 0, 5*f - 4*k - 14020 = 0. Suppose 436 = 30*c - f. Does 48 divide c?
False
Suppose -405 - 15 = 7*q. Let h = 19 + q. Let i = h - -72. Is 22 a factor of i?
False
Suppose -34*d - 4*d - 341 = -7*d. Let f = 9 - 5. Is d/((-10)/(-40) + (-5)/f) a multiple of 11?
True
Suppose 23*o + 6901 = 27*o + 1185. Is 18 a factor of o?
False
Let p be ((-168)/48)/(7/(-6)). Suppose -2*y - 26*m = -21*m - 1750, 0 = p*y - m - 2659. Does 59 divide y?
True
Let k = 745 - 390. Let a = 509 - k. Does 14 divide a?
True
Let r be -2 - (-48)/21 - (-178)/14. Let z = r + -9. Suppose 5*w - 3*s = 653, 0 = -z*w - 0*s - 2*s + 540. Does 23 divide w?
False
Let m(h) be the third derivative of 0*h + 1/12*h**4 + 1/60*h**5 + 22*h**2 + 16/3*h**3 + 0. Is m(0) a multiple of 8?
True
Suppose 3*z - 5*p - 11572 = 0, 0*z - 3872 = -z - 2*p. Suppose 153*d - 146*d = z. Is 6 a factor of d?
True
Suppose 5*o + 40*o - 8280 = 0. Suppose o - 19 = k. Is 6 a factor of k?
False
Let t = 25824 - 18422. Is 16 a factor of t?
False
Let z be -12*20*(-4)/(-16). Is 12 a factor of (-18585)/z + ((-22)/8 - -3)?
False
Let f(z) = z**3 - 2*z**2 + 5*z - 4. Let g be 123/(-39) + 3 - (-270)/65. Suppose -5*s + 2*j = -j - 6, 0 = -g*s - 2*j + 18. Does 4 divide f(s)?
True
Suppose 0*k - 5*k = -5*h + 3035, k = -4*h + 2453. Suppose 0*w - w + h = 0. Suppose -3*r - 3*r + w = 0. Does 14 divide r?
False
Let l be -4*((-10)/4 + 3). Let k be (l/3)/((-1)/(-3)). Is k/(4/(-6))*130/15 a multiple of 9?
False
Suppose -52*g + 1138952 = -163492. Is g a multiple of 162?
False
Let b = -298 - -308. Suppose -b*r - 7480 = -20*r. Is 22 a factor of r?
True
Let y(x) = 646*x + 5750. Does 32 divide y(0)?
False
Suppose 0*z + 15 = -3*z, 0 = -5*s - z + 45. Suppose -43 = s*k + 7. Is 4 a factor of (-162)/k + (-8)/20?
True
Let q be -5 + (10239 - 5)/7. Suppose 3*x + 147 = -4*f + q, 5*f + x = 1643. Does 21 divide f?
False
Let g = 12 - 7. Suppose 0 = g*n + 3*i - 7 + 2, -i = -5*n + 5. Let d(q) = 9*q**3 + q**2 - q. Does 2 divide d(n)?
False
Let l = -41 + 44. Let z(b) = b**3 - 2*b**2 - 6*b + 6. Let v be z(l). Is 27 a factor of (810/(-20))/(v/6)?
True
Is 64 a factor of 12604 + (-1)/(-1) - (5 + -8)?
True
Suppose 0 = 4*w - 22 - 138. Suppose 3*t = -m + w, 3*m - 15 = 3*t + 153. Suppose m*v + 160 = 53*v. Does 40 divide v?
True
Is (-465)/(-9) + ((-160)/24)/10 even?
False
Suppose 8*n = 5*n + 2*y + 108, n + 2*y = 36. Let g be ((320/(-12))/4)/(2/n). Let l = -50 - g. Does 35 divide l?
True
Suppose 12063 = 5*o + 9*p - 6*p, -3*p = -4*o + 9672. Does 16 divide o?
False
Let u = -60 + 44. Let x be u/(-8)*(-2 + 1). Is 19 a factor of (-1704)/(-16) - 1/x?
False
Suppose 0 = 3*o + 3*z - 416 + 125, -5*z + 203 = 2*o. Suppose 3*g + 154 = u - o, 4*g + 336 = -4*u. Is (-1 + -2)*(-3 - g/(-3)) a multiple of 21?
False
Let i(m) = -4*m - 6. Let t be i(-2). Let y(w) = -4*w + 6*w**3 + 4 + 3*w - 10*w**2 + 2*w**2 + 6*w**2. Is y(t) a multiple of 6?
True
Let p(f) = 2925*f - 3 - 2934*f + f**3 + 14*f**2 - 2. Is p(-6) a multiple of 12?
False
Let b(p) = 144*p**3 - p**2 - p + 2. Let a = 167 + -166. Is b(a) a multiple of 19?
False
Suppose -3*n + 33*f = 28*f - 1920, 0 = -2*n - 4*f + 1324. Is 3 a factor of n?
False
Suppose 2*x + 13*r + 16 = 9*r, -2*x - 12 = 5*r. Let t(c) = 2*c**2 + 20*c - 38. Is t(x) a multiple of 9?
False
Suppose