41. Does 33 divide f?
True
Suppose 4*w - 21 + 9 = 0. Let o(s) = -s**3 + 3*s**2 - 2*s + 6. Let z be o(w). Suppose z = -9*j + 5*j + 488. Does 23 divide j?
False
Let q be -8 - (-329)/21 - (-2)/6. Is 19 a factor of ((40/15)/q)/(7/399)?
True
Let t(k) = 303*k + 93. Does 134 divide t(5)?
True
Let w(b) = -3*b**3 - 8*b**2 + 27*b + 54. Does 3 divide w(-9)?
True
Let s(g) = 137*g**2 + 24*g + 79. Let f be s(-5). Is 21 a factor of f/7 - (-12)/(-28)?
True
Let q(w) = 17*w + 1884. Is q(16) a multiple of 14?
True
Suppose -13 = -3*i - 5*u, 22*i = 26*i + 5*u - 19. Let h(o) = o**3 - 7*o**2 + 5*o + 21. Is 3 a factor of h(i)?
True
Let f be 4 + 11/(-2) - (-19)/2. Suppose -3*y = -y - f. Suppose -8*j + 684 = -y*j. Is 19 a factor of j?
True
Let o = -6988 - -7106. Is 47 a factor of o?
False
Let v(s) = -s**3 + 13*s**2 + 14*s - 3. Let q be v(14). Does 5 divide (q/(-2) + 2)/((-21)/(-168))?
False
Suppose -713 = -5*u + 5482. Is u a multiple of 23?
False
Let t(b) = b**2 - 7*b + 14. Let l be t(3). Suppose 5*i + 258 = u, -5*u + l*i + 1290 = 115. Does 13 divide u?
False
Is (-226)/(-118*(-2)/34 - (20 - 13)) a multiple of 34?
True
Let p be 48/60 - 42/(-10). Suppose p*s + 2 = 32. Suppose 165 = 4*g - 3*z + s*z, -27 = -g + 4*z. Is g a multiple of 13?
True
Suppose -j + 2*j - v = 4354, 0 = 4*j + 4*v - 17368. Is j a multiple of 25?
False
Suppose 3*p + 0*v = 3*v + 1917, -p - 4*v = -614. Let a = p - 433. Is a a multiple of 20?
False
Let a(l) = -l**2 - 14*l + 4. Let r(y) = -3*y**2 - 43*y + 13. Let j(m) = 7*a(m) - 2*r(m). Let x be j(-12). Is 4875/60 + x/(-8) a multiple of 27?
True
Suppose -z - 2*l + 174 = -30, 2*l = -4*z + 822. Suppose -10*h + 194 = -z. Is 7 a factor of h?
False
Let q = 17256 + -16395. Is q a multiple of 16?
False
Suppose 0 = -4*n + 36 + 24. Suppose 5*a = 8*a - n. Suppose a*j = 3*p - 61, -4*j - 108 = -5*p - 28. Is p a multiple of 12?
True
Suppose -19 + 13 = -t. Is 7 a factor of (-15512)/84*t/(-4)?
False
Let b = 313 + -332. Let d(z) = z**2 + 15*z - 37. Is 39 a factor of d(b)?
True
Let h be (-5 - (1 + -6)) + (68 - 2). Let r = -36 + h. Suppose r*w = 33*w - 207. Is w a multiple of 23?
True
Suppose -19*n + 62375 = -16*n - 2*o, 0 = -2*n + 5*o + 41576. Is n a multiple of 12?
False
Let x(t) = -106*t + 37. Let g(n) = -53*n + 18. Let q(o) = 7*g(o) - 3*x(o). Let l be q(-4). Suppose p + p - l = 5*y, -2*p + 257 = 5*y. Is 11 a factor of p?
True
Let z(t) = 29*t**3 + 10*t**2 - 12*t - 6. Let c(u) = -u**3 - u**2. Let q(w) = 5*c(w) + z(w). Does 32 divide q(3)?
False
Let p = 53 + 149. Let z = 291 - p. Is 23 a factor of z?
False
Suppose 5*g - 17*g - 24 = 0. Let o(a) = 25*a**2 + 17. Let z(y) = -12*y**2 - 8. Let c(q) = -3*o(q) - 7*z(q). Is 4 a factor of c(g)?
False
Let n(o) = -17*o + 64. Let h be (9/(0 + 3))/(6/(-20)). Let u be n(h). Suppose -x + 0*z + 108 = -z, -4*z = 2*x - u. Does 7 divide x?
False
Suppose 4*x - 37993 = -3*h + 81413, 0 = -5*x + 15. Is h a multiple of 30?
False
Suppose -2*t - 18 = -5*n, 519 = -3*n + 4*t + 541. Let k(i) = 3*i**2 + 6*i. Let f be k(6). Is 16 a factor of (6/9)/(n/f)?
True
Suppose 0 = -56*j - 58*j + 684000. Does 12 divide j?
True
Suppose -a + 5*a = 5*j - 25, -3*j + 2*a + 15 = 0. Suppose -521 = -j*z + 149. Suppose z = g - 2*d, 5*g - 130 = 4*g - 2*d. Does 22 divide g?
True
Let l(z) = -15*z + 14 - 16*z + 29*z. Let r be l(2). Suppose -5*h + r*h - 314 = -3*x, -5*x = 10. Does 6 divide h?
False
Let k be 2/(-17) - ((-752)/34 - 5). Suppose -x - 121 = -k. Let i = x + 172. Does 13 divide i?
True
Suppose -3*b + 19 = -2*l, -b - 9*l + 4*l = -12. Suppose -b*n + 220 = 59. Let x = n - -109. Is 44 a factor of x?
True
Let q(n) = -2*n**2 + 27*n - 85. Let v be q(4). Is 66 a factor of ((-5280)/(-36))/((-2)/v)?
True
Suppose m - 19 = -17. Suppose m*t - 3362 = p, -6*p + 2*p - 4*t - 13496 = 0. Is 13 a factor of 8/52 + p/(-65)?
True
Let n(y) be the third derivative of -y**5/60 - 5*y**4/12 + 2*y**3 - 4*y**2 - 20. Suppose j + 4*i + 2 = 0, -17 = 2*j - 3*i + 9. Does 5 divide n(j)?
False
Suppose -43 = -4*p + 2*h + 41, -12 = 3*h. Suppose -33 = p*d - 5277. Is d a multiple of 12?
True
Suppose 27050 = 18*r - 17*r + 2*j, -3*r + j = -81101. Is r a multiple of 14?
False
Suppose 31 - 41 = -2*i. Let k(u) = 4*u + 13 + i + 12*u - 4*u. Is 26 a factor of k(5)?
True
Let l = -23793 + 44621. Does 50 divide l?
False
Suppose s = 13*s - 180. Is 3/s - ((-516)/10)/2 a multiple of 2?
True
Suppose 8 - 28 = 5*l. Is 6 a factor of (l - (3 - 5))/((-4)/130)?
False
Let p = -148 - -80. Let y be 63/(-18)*p/7. Suppose 6*u - 4*u = y. Is 4 a factor of u?
False
Suppose -2*p + 2 = 4*a, -3*p + a + 0*a = -10. Suppose 2*h - 4*q - 660 = 0, -2*h + 302 = p*q - 351. Suppose -2*v + h = 2*v. Is v a multiple of 22?
False
Let l = 7282 - 652. Is 16 a factor of l?
False
Let d(i) be the second derivative of i**4/12 - i**3/6 - i**2 - 2*i. Let g be (-9)/(-6) - -3*117/54. Is 6 a factor of d(g)?
True
Suppose -3490645 = -491*d + 1406098. Is d a multiple of 7?
False
Let b(z) = 4*z**2 - 169*z + 130. Does 12 divide b(50)?
True
Let a = -83 - -86. Suppose -195 = -5*k + a*r, 0 = 5*k - 9*k - 5*r + 119. Suppose k*w = 35*w + 34. Is w a multiple of 15?
False
Let z(y) = -197*y - 198. Does 12 divide z(-6)?
True
Suppose -11876 = 13*p - 68335. Does 51 divide p?
False
Suppose -3*l + 5 + 10 = 0, 3*n - 5 = 2*l. Suppose 3*i + 0 - 15 = -3*q, -n*i + 10 = 0. Is 120 - q - (0 - 3) a multiple of 40?
True
Suppose 0 = t - 4*k - 309, 3*t + 2*k = 4*k + 937. Suppose -3*i = -86 - t. Is i a multiple of 34?
False
Let c(z) = z**3 - 30*z**2 + 37*z + 28. Is c(30) a multiple of 143?
False
Let a(d) = 2*d**3 + 96*d**2 - 233*d - 360. Does 40 divide a(-43)?
False
Suppose -2*a - 3*t = 3, 2*a + 2*t + 2 = -3*a. Suppose 0 = o - a*o - q - 1320, -5301 = -4*o - 3*q. Is o a multiple of 49?
True
Let g = -11989 - -17401. Is g a multiple of 12?
True
Is (2 - -3016)*1 - (12 + -4 + -6) a multiple of 13?
True
Let h(d) = 9*d**2 - 86*d - 31. Does 3 divide h(16)?
True
Let c = 1280 + -629. Does 70 divide c?
False
Let u(d) = 5*d**2 - 5*d - 42. Let a be u(8). Suppose k - 306 = a. Is k a multiple of 17?
True
Let y = 128 - 123. Suppose d - 132 = -4*q, -3*q + y - 14 = 0. Does 18 divide d?
True
Suppose -2*h + 2 = q + 5, -20 = 5*h. Suppose -4*w + 4*f = -88, -5*w + q*f = 2*f - 110. Is w a multiple of 5?
False
Let d(p) = 30*p - 12. Let g(o) = 2*o**3 - 9*o**2 - 3*o - 6. Let h be g(5). Is 12 a factor of d(h)?
True
Let j(x) = 174*x**2 + 28*x + 70. Is j(-17) a multiple of 18?
False
Suppose t + 5 = j - 13, 0 = 4*j + 16. Is 10 a factor of -5 - t*30/4?
True
Suppose 4 = 2*w + h, -20 = -2*w + 6*h - 3*h. Suppose -3*m = -5*c + 5, -2*m + w*c = m + 7. Does 7 divide m/((-50)/(-4)) + 606/15?
False
Is 2/(-6)*(-48 - -51) - -757 a multiple of 54?
True
Let n(k) = 2*k**2 - 17*k - 5. Let p be n(9). Suppose p*s - 16 = -0. Suppose s*b = -5*c + 188, -b + 38 = -0*c - c. Does 14 divide b?
True
Let v(z) = 107*z + 134. Let f be v(9). Suppose -f - 1295 = -46*s. Is s a multiple of 3?
False
Let v(k) = 195*k**2 + 40*k + 4. Is 46 a factor of v(-3)?
False
Does 4 divide (-20)/(-30) + (8975 - 5/(-30)*2)?
True
Let n(i) = i**3 - 12*i**2 + 32*i - 17. Let w be ((-9)/(-5))/(3 - 171/60). Is n(w) a multiple of 24?
False
Suppose -170 = 3*g - 452. Let r = g - 46. Is 16 a factor of r?
True
Suppose -54*b = 17999 - 68489. Is b a multiple of 55?
True
Suppose -q = -4 + 3, -2*l - 4 = -4*q. Suppose 727 = t - 7*p + 12*p, -5*p + 25 = l. Is t a multiple of 9?
True
Let m(x) = 2*x + 50. Let z(o) = -6*o**3 + 4*o**2. Let t(u) = -5*u**3 + 3*u**2 + u. Let k(w) = -7*t(w) + 6*z(w). Let g be k(3). Is 3 a factor of m(g)?
False
Let q be (-10)/4 + 2/4. Suppose -4*t - 1061 = 2*x - 363, -3*t = 5*x + 527. Does 9 divide t/5*((-5)/q)/(-1)?
False
Let z = -36 - -86. Suppose -z*n = -49*n - 129. Let o = n - 15. Is o a multiple of 19?
True
Does 12 divide 75*((-618)/(-15) - -26)?
True
Let y = -3281 + 6489. Is y a multiple of 10?
False
Suppose 7*w - 85 = 34. Suppose w*a + 3936 = 49*a. Is a a multiple of 7?
False
Let h(u) = 2*u + 6. Let q be h(-3). Suppose s + d + 18 = -2*d, -s + 3*d = q. Is 26 a factor of ((-91)/(-4))/((9/(-8))/s)?
True
Let c(k) = -130*k + 194. Let p be c(7). Let h = p - -984. Is h a multiple of 18?
False
Suppose 4*h - 6*h - 558 = -3*j, 5*h - 30 = 0. Does 2 divide j?
True
Suppose -6 = -4*t + 2. Suppose -3*l = -532 + 520. Suppose -4*n + l*f = -1040, 6*n - t*f - 1312 = n. Does 