 Let h = 238 + f. Does 16 divide h?
False
Suppose -4*x = -7*r + 2*r - 4, -x - 3*r - 16 = 0. Is 2 a factor of ((1064/(-49))/x)/((-1)/(-7))?
True
Let o(d) = -5*d**2 - 41*d - 6. Let t(w) = 2*w**2 + 40*w + 7. Let b(u) = -2*o(u) - 3*t(u). Does 27 divide b(14)?
True
Let v = 55 - 21. Suppose v*y = 1273 + 2739. Is 6 a factor of y?
False
Suppose 4016 = -7*y + 11*y. Suppose -12*u + 6304 = -y. Does 21 divide u?
True
Suppose 3*a + 8*a = 264. Suppose -a = -n - 4*p, -4*n - p = -3*p - 6. Suppose c + 972 = 4*l, -248 = -n*l + 3*l - c. Is l a multiple of 43?
False
Suppose g + 4*q - 13 = 0, -5*g - q + 30 = -130. Does 19 divide 19*(g + 5 + (-14 - -5))?
True
Let u(f) = f**3 + 28*f**2 + 28*f - 1. Is 16 a factor of u(-20)?
False
Suppose 12*r - 29122 = -46. Is 3 a factor of r?
False
Let u be 10/(-3)*270/(-225). Is u - (-4764)/(-1 - -7) a multiple of 21?
True
Suppose 153*i - 93241 = 239381. Is 28 a factor of i?
False
Suppose -5*m + 3*t - 75 = 0, -4*m - 60 = -0*m - 2*t. Does 32 divide (-5)/m*(420 + 3/(-1))?
False
Let q(g) = 273*g + 2379. Does 13 divide q(43)?
True
Let x(z) be the third derivative of 79*z**6/120 + z**5/60 + z**4/24 - z**3/6 - 15*z**2. Let q be x(1). Suppose -s + q = s. Is 10 a factor of s?
True
Let g(o) = -1847*o - 719. Is 7 a factor of g(-2)?
True
Suppose -2*x - 5*z = -x - 18, -3*z = -3*x. Suppose -h + 4*h = -x*v + 1224, v = 0. Suppose -4*t - h = -7*t. Does 34 divide t?
True
Let h = 3727 + -796. Is 11 a factor of h?
False
Suppose 4*b = -3*o - 4, 4*o + 0*o = 5*b + 5. Is 21 a factor of (-3717)/(b + -6) + 7?
False
Let d be (-6)/(-14)*(-14)/(-2). Is (-5)/10*(-3)/(d/140) a multiple of 14?
True
Let x(u) = -u**2 - 23*u + 5. Let s be x(-23). Suppose -80 = -s*f + 20. Is f/6*(-24)/(-5) - 1 even?
False
Let b(l) = 88*l + 2920. Does 80 divide b(35)?
True
Let l(g) be the second derivative of -g**4/6 + 14*g**3/3 - 10*g**2 + 168*g. Does 5 divide l(5)?
True
Suppose -9*n + 49021 + 23987 = 0. Is n a multiple of 6?
True
Suppose -21*d - 5*s = -17*d - 26341, -3*d - s + 19753 = 0. Is d a multiple of 165?
False
Suppose 4*w + 3*o - 46 = 5*o, -49 = -4*w + o. Let y be (-4 - w/(-4))/((-2)/48). Is 21 a factor of (-2 + 1106/(-21))*y/(-4)?
False
Let j(i) = 342*i**2 - 4*i - 11. Let c be j(-2). Suppose c = 5*x + 3*l, -4*x - 41 + 1155 = -2*l. Is 23 a factor of x?
True
Let a(m) = -m**2 - 166*m + 460. Does 10 divide a(-73)?
False
Let h(f) = 3*f**2 - 9*f - 4. Let x be h(5). Let q(k) = x*k**2 + 12 - 6*k - 2*k - 24*k**2. Does 44 divide q(10)?
True
Let b be (2 + -1)/(-1)*329520/(-240). Suppose 2*f - 2*w = 1376, 0*f = 2*f - w - b. Is 24 a factor of f?
False
Let f(a) = -5*a - 12. Let t be f(-3). Suppose 0 = -l + 1, t*l = -4*q - l + 1368. Is 34 a factor of q?
False
Let n be (30/(-25))/((-6)/(-20)). Is 26 a factor of 3/(-6) + (-650)/n + 4?
False
Let u(m) = -6*m + 106. Let b be u(9). Let z(w) = w**2 - 47*w - 63. Is z(b) a multiple of 10?
False
Suppose 3*o = -4*v + 37074, -71*o - 3*v + 12353 = -70*o. Does 13 divide o?
False
Let b = -33 + 59. Let g be 18/117 - (-1 + (-3402)/b). Does 3 divide g/16*8/3 - 1?
True
Let a(r) = 8*r + 111. Let l be a(-14). Let u(d) = -361*d - 1. Does 24 divide u(l)?
True
Let h = 50 - -54. Suppose -3*o + 5*q + 70 = 0, 0 = -3*o - 2*o + 2*q + h. Suppose -4*x + m + o = -m, -15 = -3*x - 2*m. Does 4 divide x?
False
Let l(s) = 14*s - 23. Let i be l(18). Suppose 0 = 3*p + 3*m - i - 836, m = -5*p + 1755. Does 14 divide p?
True
Let r = 1970 + -518. Does 22 divide r?
True
Let s(f) = -7*f + 76. Let i(u) = 8*u - 76. Let p = 10 - 4. Let h(z) = p*s(z) + 5*i(z). Is h(14) a multiple of 8?
True
Let i = -12868 - -21012. Is 49 a factor of i?
False
Let s(q) = -74*q - 1. Let g be s(-1). Let a(b) = 28*b + 25*b - g*b - 4. Is 17 a factor of a(-5)?
False
Let r(m) = 4*m**3 - 7*m**2 + 39*m + 8. Let b be r(8). Suppose 0 = 42*h - 46*h + b. Does 15 divide h?
True
Let h be ((-129)/12)/(11/44). Suppose -4*x + 3 = -3*y + 92, -2*y = x + 36. Let l = x - h. Does 3 divide l?
False
Let v = -139 + 147. Let y(r) = 115*r - 52. Does 30 divide y(v)?
False
Let q = -927 + 939. Let r(p) = 3*p**3 - 27*p**2 + 28*p - 34. Is 17 a factor of r(q)?
True
Suppose -6*o + 144 = -78. Let j = o + 4. Let c = 77 - j. Does 4 divide c?
True
Let t = 227 + -272. Let s = t + 372. Is s a multiple of 71?
False
Let x(w) = w**2 + 8*w + 7. Let t be x(-11). Suppose 2*l + 13 = 3*l + 5*z, -3*z = 2*l - 19. Suppose -t = -3*f + l. Is 4 a factor of f?
True
Suppose 0*q + 661 = q + 5*y, 5*q = 5*y + 3215. Let u = q - -3. Does 38 divide u?
False
Let g(w) = -w**3 - w**2 - 6*w + 550. Let j be g(0). Suppose 6*h - j = 4*h. Does 23 divide h?
False
Let l(k) = 19*k**3 - 10*k**2 - k + 59. Does 14 divide l(10)?
False
Is 28/(-238) - ((-116148)/34 + (-17 - -12)) a multiple of 17?
False
Let p(f) = -6471*f**2 - 5*f. Let t be p(-1). Does 14 divide 39/(-9) - -5 - t/3?
True
Let b be (-2)/12 - 5/6. Let v be (-3 - (b - 0))/2*8. Let k(o) = -6*o - 4. Does 11 divide k(v)?
True
Suppose -9*l + 11*l = 20. Let c be 2 + l - (2 + -2). Is (3/c - 9/4) + 162 a multiple of 32?
True
Let w = -121 + 124. Suppose 4*z + w*a = 255, -a - 138 = -2*z - 13. Does 63 divide z?
True
Suppose -3507 = 2*m - 3*m. Suppose 4*w - 25*w + m = 0. Is w a multiple of 8?
False
Suppose 2*y + 6*y - 8 = 0. Let q be (114/22 - (-6)/(-33))*y. Suppose q*g - 10*g + 780 = 0. Does 13 divide g?
True
Suppose -2*b = 2, 752 = -4*h + 2*b + 4022. Is h a multiple of 9?
False
Suppose -o = -j - 153, 3*o + j + 0*j - 479 = 0. Let l = -154 + o. Is l a multiple of 3?
False
Let g(m) = -m**3 + 20*m**2 + 50*m + 42. Let p be g(22). Suppose 4*r + 3*o = 3*r + 66, o = -3*r + p. Does 2 divide r?
False
Let z be (-1)/(-3)*4*3/2. Let l(t) = 7*t - 9. Let m be l(z). Let s(k) = 12*k + 3. Is s(m) a multiple of 21?
True
Let q(n) = n**2 + n - 4. Let f be q(0). Is 3/(f/1440*-4) a multiple of 45?
True
Suppose -4*w - 12356 = -4*i, 94*w = -4*i + 93*w + 12331. Is 4 a factor of i?
True
Suppose 0 = -99*o + 96*o + 3534. Let c = -1002 + o. Is c a multiple of 14?
False
Let c = 1115 + 6127. Is 51 a factor of c?
True
Let f = -4966 + 5180. Let j(y) = -3*y**3 - y**2 - y - 1. Let z be j(-1). Suppose 0 = -q - z*w + 4*w + f, 652 = 3*q - 4*w. Is 32 a factor of q?
True
Let n(z) = -33*z + 90. Let b be n(0). Let j = b - -150. Is 24 a factor of j?
True
Let i be 25/2*(-16)/(-20)*-3. Let k = 80 + i. Suppose -u - 35 = 2*v - 4*v, -4*u - k = -3*v. Is 16 a factor of v?
False
Suppose -435*z + 48*z - 170*z + 39538645 = 0. Is z a multiple of 16?
False
Let z = -264 - -394. Suppose -2*s + 0*s - 4*k = -132, -2*s - 5*k + z = 0. Is s a multiple of 14?
True
Let n(d) = -2*d**3 + 92*d**2 - 50*d + 143. Is 139 a factor of n(37)?
True
Let m be (-332 - 30)/(2 + -1). Let y = 515 + m. Is y a multiple of 17?
True
Suppose 356 = -682*d + 684*d. Is 178 a factor of d?
True
Is ((-477)/(-212))/(2/2728) a multiple of 16?
False
Let k(m) = 27*m + 373. Is 3 a factor of k(45)?
False
Let v(u) be the third derivative of 17*u**5/60 + u**4/3 - 17*u**3/6 + 6*u**2. Does 21 divide v(3)?
False
Let j = 3105 - 556. Is 33 a factor of j?
False
Is 6 a factor of (-213850)/(-8) + 650/(-520)?
True
Let g(i) = -i - 3. Let u be g(-6). Suppose 5*q + 4*a - 65 = 0, -2*q - u = -3*a - 6. Is q even?
False
Let s = 23729 + -17789. Is 108 a factor of s?
True
Let a = -27 - -45. Let j be a/(-4)*(-36)/(-27). Let r(g) = -11*g - 8. Does 9 divide r(j)?
False
Suppose 73*m - 69*m + 96 = 0. Let q = -32 - m. Is q/(-36) - 2516/(-18) a multiple of 28?
True
Let h(l) = -l**3 + 3*l**2 + 11*l + 2. Let j be h(5). Suppose j*n = 4*n + 345. Does 23 divide n?
True
Suppose 0 = 3*f + 86 - 5462. Does 16 divide f?
True
Suppose 16*b = -3*b + 2280. Suppose 0 = 4*w - 7*w + 87. Let i = b - w. Does 15 divide i?
False
Suppose -8*u + 15 = -3*u, -2*q + 4*u - 4 = 0. Does 33 divide (-12)/(((-32)/332)/q)?
False
Let v(j) = -4*j**3 - 86*j**2 + 44*j - 180. Is 12 a factor of v(-24)?
True
Suppose s + 65132 = 5*s + 2*p, 0 = 19*s + p - 309445. Is s a multiple of 71?
False
Let y(q) = -q**3 + 9*q**2 + 7*q + 19. Let o be y(10). Let z(w) = w**2 - 5 + 19 + 11*w + 20. Is 14 a factor of z(o)?
False
Suppose -7*d = -6*d + 7. Let a be (-216)/(-324) + 434/6. Let p = d + a. Does 22 divide p?
True
Suppose -3*g - 2536 = -5*r, 4*g + 510 = r + 2*g. Let v = r - 244. Is v a multiple of 5?
False
Suppose -10108 - 3483 = -d + 5*y, 27272 = 2*d + 5*y. Is d a multiple of 120?
False
Suppose -2*