= k**2 + 2*k. Let q be i(1). Let d(r) = 10 + 15 - 29*r + q - 48. Is 15 a factor of d(-6)?
False
Let a(r) = -r**3 + 0*r - 2*r + 2*r + 2 + 23*r**2. Let x be a(23). Suppose x = -4*m + 14, 33 = 5*h + m. Is h a multiple of 3?
True
Suppose 0 = 5*c - 2*h - 283, h - 3*h = -2. Let m = c - 54. Suppose z + 5*f - 103 = -0*z, -m*z - f = -267. Does 8 divide z?
True
Let d(v) = 10*v + 7. Let a(b) = 12*b + 4. Let r(g) = -6*a(g) + 7*d(g). Suppose 2*o + 2*o + 68 = 0. Is 6 a factor of r(o)?
False
Suppose -2*u - 3*u = 5. Let r(q) = -3*q**2 - 6*q - 101. Let z(h) = h**2 + h + 1. Let l(x) = u*r(x) - 4*z(x). Is l(0) a multiple of 28?
False
Let a = 89 - 35. Let u = a - -74. Is u a multiple of 16?
True
Suppose 7994 = -4*j + 3*j + 22857. Does 57 divide j?
False
Let z be (-140)/(-6)*72/(21/(-7)). Let t = z + 903. Does 59 divide t?
False
Suppose 295 = b - 5*l, -20*b + 5*l + 1240 = -16*b. Does 21 divide b?
True
Suppose 2*s = x - 58, 0 = -4*x + 114*s - 109*s + 214. Does 12 divide x?
False
Suppose -2*o = -o - 360. Suppose -2 = -w + 3*k - 4, -5*k + 15 = 0. Suppose -w*y = 2*y - o. Is 20 a factor of y?
True
Let b = 17058 - 9801. Is b a multiple of 123?
True
Let z be 51 - 47 - 1/(2/4). Suppose -z*b + 0 = 102. Let c = b + 119. Is 17 a factor of c?
True
Let t(h) = -h**3 + 3*h**2 + 25*h - 19. Let u be t(9). Let i = -137 - u. Does 13 divide i?
True
Let f be (-3)/(-8) + -7 + 9349/8. Suppose 9*i = 16*i - f. Is 83 a factor of i?
True
Let h be -2 + (-178)/(-8) - 39/156. Suppose -132 = -h*v + 9*v. Is v a multiple of 12?
True
Let f = -105205 + 151013. Does 61 divide f?
False
Let r(w) be the third derivative of w**5/60 - w**4/3 + 2*w**3 + 8*w**2. Let q be r(7). Suppose 0 = 2*g - 3*c - 131, 5*c - 427 + 112 = -q*g. Does 32 divide g?
True
Let d = -50 - -60. Let h = d + 15. Is h a multiple of 4?
False
Let k be (-8)/40 + -166*(-112)/10. Suppose 0 = -8*p + k + 229. Suppose -3*g + 3*m + p = 0, 0*m + 373 = 4*g + m. Does 19 divide g?
False
Let q = 40 - 66. Let l = q - -29. Suppose s - l*m = 118, -4*m + 354 = 3*s - 0*s. Is s a multiple of 24?
False
Suppose 591 = 3*z + 3*s, 3*s + 2 = 4*s. Suppose -17*m = 23*m - 1720. Let i = z - m. Is i a multiple of 45?
False
Let g = -43385 - -76241. Is g a multiple of 15?
False
Let j = 38285 - 24258. Does 67 divide j?
False
Suppose 6*w - 114 = 2712. Let z = -20 + w. Does 19 divide z?
False
Let d = 10 + -6. Suppose -y = d*y - 855. Let s = -35 + y. Is 34 a factor of s?
True
Suppose 208 = -0*r + r. Let v be (-4 + 9)*(-1 + r/10). Suppose 0 = 5*t - v - 136. Does 8 divide t?
False
Suppose -16*p + 11*p + 3*g = -175395, -140329 = -4*p + 5*g. Is 31 a factor of p?
False
Suppose -5*c + 5*b = 5, -3*c - 3*b + 2 = -25. Suppose -c = -4*t + 16. Is 20 a factor of (-87)/(-4) + t - 1/(-4)?
False
Let i be ((-18)/27)/((-4)/(-258)). Let k = 31 + i. Does 9 divide (((-16)/k)/2)/((-1)/(-81))?
True
Let q(m) = -m**3 - 21*m**2 + 61*m + 48. Does 10 divide q(-25)?
False
Let p(o) = -4*o**3 - 17*o**2 - 17*o + 49. Is 11 a factor of p(-10)?
True
Let a = -21 + 24. Suppose 0 = -a*k - 12. Let i(l) = -35*l - 43. Does 14 divide i(k)?
False
Let a be 30/9 - 8/6. Suppose 0 = a*q + 2*q - 4*y - 16, 3*q - 32 = -2*y. Suppose -112 = q*u - 10*u. Is 14 a factor of u?
True
Is 105 a factor of ((-315)/(-30))/((-3)/4200*-4)?
True
Let u(i) = i**3 + 36*i**2 - 4*i - 104. Does 40 divide u(-36)?
True
Suppose -5*y + 3*y - 4*a + 34 = 0, 0 = -3*y + a + 72. Suppose -676 = -3*o - y*o. Is 13 a factor of o?
True
Suppose m + 8 = -24. Suppose -s + 3*k - 44 = 0, 2*k + 64 = 3*s - 4*s. Let q = m - s. Does 5 divide q?
False
Let x be 0 + 4 + (4 - 14/7). Let v be (2*(-6)/10)/(4/(-2290)). Suppose x*r + 153 = v. Does 21 divide r?
False
Let v be (1 - 5)/(-16)*-4. Does 30 divide ((-3096)/8)/(1/v)?
False
Let r(c) = -16*c**3 - 5*c**2 + 3*c - 3. Let g be r(3). Let l = 207 + g. Is (-16)/120*-5*l/(-2) a multiple of 30?
False
Let o(w) = -w**3 + 4*w**2 - w - 3. Let t be o(3). Let n be (-3 + 9/t - 3) + 1. Is 5*n/(-35) + 2138/14 a multiple of 10?
False
Suppose 5*m = -0*m - 10, -2 = 5*p + m. Let t be 3 + (p*4/16)/(-1). Suppose -x = 3, 4*j + x = t*x + 126. Is 17 a factor of j?
False
Let s(r) = 5*r**2 - 14*r + 14. Let i be s(-9). Suppose 7*n - 2*n = i. Does 29 divide n?
False
Suppose -5*m + 860 = -5*a, -m + 472 + 36 = -3*a. Is 17 a factor of a/5*(222/(-12) - -1)?
False
Let s = -33483 - -66897. Does 22 divide s?
False
Let v(z) be the second derivative of -2*z**3 - 119*z**2/2 - 2*z + 44. Is 5 a factor of v(-13)?
False
Let r be 3/((-12)/25) + (-17)/(-68). Is (58/r)/(-8*(-13)/(-11232)) a multiple of 12?
True
Let m(v) = -174*v + 2183. Is m(-18) a multiple of 20?
False
Let q = 14108 + -4020. Is q a multiple of 57?
False
Suppose 2*q = -5*t + 147 + 620, 5*q = -5*t + 1910. Suppose -4*v + z + q = 0, 4*v - 562 = 3*z - 171. Does 32 divide v?
False
Let c(d) be the second derivative of d**4/12 - 17*d**3/6 + 14*d**2 - 74*d. Does 14 divide c(19)?
False
Let a be (397/(-2) + -1)/((-11)/616). Suppose 0 = -19*l - 0*l + a. Is 26 a factor of l?
False
Suppose -3*q = -l - 4, -q - q - l - 4 = 0. Suppose y = -y - v + 107, q = y - v - 49. Suppose -24 + 4 = 5*z, -4*z = -3*o + y. Does 3 divide o?
True
Suppose -30 + 42 = 4*c. Let v be (4 - -3 - c)*1/1. Is 3 a factor of ((76 - -6) + -4)/(v/2)?
True
Let h = 382 - 8. Let b be (-58)/(-4)*102/51. Suppose b*g - 31*g + h = 0. Does 17 divide g?
True
Let n(w) = -w**2 + 42*w - 1. Let k(t) = 5*t + 98. Let f be k(-16). Is 46 a factor of n(f)?
False
Let m(t) = -21*t + 47. Let o(a) = -10*a + 23. Let p(j) = -4*m(j) + 7*o(j). Suppose -3*d = 4*z - 35, -25 + 35 = d + z. Is 43 a factor of p(d)?
True
Suppose 4*p - 4228 = -3*p. Let m = -539 + p. Does 5 divide m?
True
Let g(j) = 2*j**3 - 10*j**2 - 92*j - 30. Does 5 divide g(16)?
True
Is (0 + 54/(-8))*((-1046)/3 + -14) a multiple of 12?
True
Let s = -45 - -47. Let y be (-2*1335/20)/(s/4). Is (-4)/16 + y/(-12) a multiple of 2?
True
Let n(x) = -x - 5. Let z be n(2). Let w be 26*(z/(-2))/(-7). Is (-1878)/(-14) - w/(-91) a multiple of 36?
False
Let g(z) = -26*z - 70. Let m be g(-20). Is 12 a factor of ((-30)/8 - -4) + m/24?
False
Suppose -47*k = -48*k + 4. Let j(l) = 7*l**2 - 8*l + 19. Is j(k) even?
False
Suppose -13*p - 20*w + 25*w + 64105 = 0, -w + 4927 = p. Is 4 a factor of p?
False
Suppose 3*d = -15*d - d + 38988. Does 18 divide d?
True
Let y be (-4)/4*1 + (-138)/(-2). Let w = y + -50. Does 30 divide (-541)/(-6) - (-4 + 7)/w?
True
Let v(x) = 246*x - 2021. Does 26 divide v(33)?
False
Let v(t) = t**3 + 6*t**2 + 5*t + 3. Suppose -2*h + 6*h = -2*q - 58, 0 = 3*h - q + 31. Let w be (2 + 4)*8/h. Is v(w) a multiple of 5?
True
Suppose -2306 = -2*t - 3*a, -4*a - 1131 = -7*t + 6*t. Is t a multiple of 31?
True
Suppose 4*l + 0*l - g = 828, -5*g + 1060 = 5*l. Does 2 divide 18044/l - (-2)/8?
False
Let y(o) = 3107*o - 47. Does 30 divide y(1)?
True
Suppose -116 = -5*r - 101. Suppose -2*f + 841 = r*x, 15 = 3*x - 0. Let z = 645 - f. Is z a multiple of 29?
True
Suppose -92 = -3*i + d - 2*d, 64 = 2*i + 2*d. Is 7 a factor of (874/10 - 2) + i/50?
False
Let w = 41679 + -20919. Is w a multiple of 8?
True
Let u = 235 - 165. Is -16*2/(-5)*u/8 a multiple of 7?
True
Let i be (-1 + (-8)/(-3))/(17/51). Suppose -2*a = a - f - 791, -4*f + 4 = 0. Suppose -a = -i*b + 4*o, -5*o + 27 = b - 20. Is b a multiple of 4?
True
Suppose 8*c = c. Suppose c = -5*t + 13*t - 6600. Does 9 divide t?
False
Let n(c) = -65*c + 2. Let m = -116 - -112. Does 10 divide n(m)?
False
Let l(h) = 5*h - 57. Let b be l(10). Does 43 divide ((-84)/b - -1035) + 3/1?
False
Suppose 88*b - 34894 = 87*b + 2*z, 0 = -2*b - 3*z + 69760. Is b a multiple of 29?
False
Suppose 969 = 3*x + 3*h, -5*h = -6 - 9. Let g = x + -162. Let i = g + -30. Is i a multiple of 35?
False
Let y = -3906 + 4084. Is y a multiple of 26?
False
Let q be (54/(-21))/((-45)/105). Suppose -q*p + 3568 + 1382 = 0. Is p a multiple of 55?
True
Is (97/(-3) + -1)/(1/(-45)) a multiple of 6?
True
Suppose 5*b - w - 368 = 0, 7*b - 353 = 2*b - 4*w. Suppose -z - 24 = b. Is z*(3/1 + -4) a multiple of 14?
False
Let p = -72 - -26. Let a = p - -101. Let h = -45 + a. Is 10 a factor of h?
True
Let h(j) be the third derivative of -j**5/60 + 7*j**3/6 + 14*j**2. Let l be h(-4). Is 7 a factor of 22 + (-3 - l/(-4 - -7))?
False
Is 7931 - (354/32 - (-58)/(-928)) a multiple of 30?
True
Let o(y) be the third derivative of y**6/30 + 