5*m + 2 = 0, -22 = 4*h - 5*m. Does 7 divide h + (20 + 3)*6?
False
Let v = -760 + 958. Is v a multiple of 6?
True
Let b = 6664 - 292. Does 12 divide b?
True
Let r(z) = 13*z - 9. Let k(d) = -3*d + 2. Let o(t) = 9*k(t) + 2*r(t). Let m be o(-8). Let v(w) = w**3 - 8*w**2 + 9*w + 4. Does 18 divide v(m)?
False
Let a be ((-3)/(-5))/(11/(-55)) + 90. Suppose 0 = -a*c + 101*c - 5040. Does 36 divide c?
True
Let c(k) = 2566*k**2 + 10*k + 16. Let s be c(-2). Suppose 0 = 23*j + 13*j - s. Is 5 a factor of j?
True
Is 315/(-420) + ((-101670)/(-8))/5 a multiple of 21?
True
Let f(j) = j**2 - 27*j - 119. Suppose -7*s = -247 - 19. Is f(s) a multiple of 9?
False
Suppose -18*q + 99242 - 22292 = 0. Is q a multiple of 45?
True
Let u be (-1)/(-1) + 0 + -11. Suppose 4*r - 92 = -28*h + 24*h, h - 5 = 5*r. Let k = u + h. Does 5 divide k?
True
Suppose 61*j - 989370 = 92*j - 61*j. Is 6 a factor of j?
False
Let t = -2914 - -5001. Does 9 divide t?
False
Suppose -3*i + f = 2*i - 135, 4*f = 0. Let t = 311 - i. Is t a multiple of 71?
True
Let y be -13*(12/(-32) - (-2266)/(-16)). Suppose 5*v + y - 354 = 3*w, -2*w - v = -986. Does 26 divide w?
True
Is 53949/2 + (-3)/33 + 1190/748 a multiple of 16?
True
Let l(j) = 39*j**2 + 106*j + 1499. Does 8 divide l(-17)?
True
Suppose 3*m - 25 = -244. Let y = m - -163. Is y a multiple of 6?
True
Let m(j) = -529*j**2 + 2*j + 6. Let s be m(-2). Is 171/228 + (-2)/(16/s) a multiple of 53?
True
Let x be 74/4 + (-30)/(-20). Suppose -x*f = -10*f - 440. Does 3 divide f?
False
Let x(v) = 60*v - 265. Let j be x(19). Suppose 4*c - j = -5*q, 5*c + 378 = 2*q + c. Is q a multiple of 2?
False
Let n(k) = k**3 - 4*k**2 - 3*k + 2. Let f = -11 - -16. Let l be n(f). Let m(i) = i**3 - 13*i**2 + 17*i - 15. Is 15 a factor of m(l)?
True
Suppose 120 = 2*u - 4*b, -55*b + 10 = -50*b. Suppose 0 = -s + u - 40. Is s even?
True
Suppose 0 = 2*f - 43*f + 48893 + 306495. Is 44 a factor of f?
True
Suppose 5*o = 4*d + 131, -8*d - 83 = -6*d + o. Let k(z) = 4*z**2 - 4. Let y be k(4). Let f = d + y. Is f a multiple of 11?
False
Suppose 2*s - 2 = 42. Let i = s + 8. Suppose -y + i = 6. Does 12 divide y?
True
Let j(r) = -r**2 - 6*r. Let k be j(-5). Suppose 4*n + 12 = 0, -k*p + p + n = -195. Is p a multiple of 16?
True
Suppose -3*w + 61 + 179 = 0. Suppose w*a + 606 = 86*a. Is a a multiple of 6?
False
Let p(y) = -y + 25. Let m be p(6). Let g = -14 + m. Let c = g - -14. Is c a multiple of 3?
False
Let y(i) be the first derivative of i**3/3 - 15*i**2/2 + 38*i - 77. Is y(17) a multiple of 18?
True
Let m be 40 + -38 - (0 + (1 - 0)). Does 48 divide 500 - 3 - (5 + (m - 2))?
False
Suppose 66*v = 15928 + 14762. Let d = v + 31. Does 36 divide d?
False
Is (128 - 83) + (-2)/2 + 5 a multiple of 49?
True
Suppose 714*j - 718*j = 0, 3*q = 3*j + 16758. Does 14 divide q?
True
Let r(v) = 69357*v - 42. Let n be r(-1). Does 28 divide n/(-165) - ((-26)/(-10) - 2)?
True
Let b be 1 - (3 - (0 - 1)). Let y be ((-5520)/9)/(-8)*b. Is 38 a factor of ((9 - 5) + y)/(-1)?
False
Suppose 0 = -8*z + 25 - 9. Is 3/z + 2/4 - -38 a multiple of 8?
True
Is (-8 - (-9 + -6))*1897 a multiple of 92?
False
Let u be (135/(-18) - -8) + 9/2. Suppose 0*n + 1170 = 5*n - u*a, n - 5*a = 218. Is 14 a factor of n?
True
Suppose -1133 + 341 = -12*i. Suppose 0*b - 33 = -b - 3*l, -2*b = 4*l - i. Suppose -3*n = -d + b, -2*d - 88 = -4*d - 5*n. Is d a multiple of 39?
True
Suppose -160*n + 486795 = -91*n. Is 17 a factor of n?
True
Suppose -5*c + 2*u + 75271 = 0, 8*c - 4*c - u - 60218 = 0. Is c a multiple of 157?
False
Suppose -110*j + 672945 = -8*j + 3*j. Is 18 a factor of j?
False
Suppose -22*g + 18*g + 86160 = -4*o, 107724 = 5*g + 3*o. Does 12 divide g?
False
Let r be (-17*2 - 1) + 0 + 0. Let w be (-231)/6*60/r. Suppose 2*b - w + 50 = 0. Does 8 divide b?
True
Is (6 - 18) + -6 + 5700 a multiple of 21?
False
Let x be 13 - ((-60)/(-14) + 28/(-98)). Let l(s) = -5*s**3 - 4*s**2 + 3*s + 1. Let o be l(-4). Suppose 4*q = x*q - o. Is q a multiple of 12?
False
Let l = 2109 + -1894. Does 17 divide l?
False
Suppose -5*j - 5*p - 2187 + 14187 = 0, 4809 = 2*j + 5*p. Does 43 divide j?
False
Let h = -86 - -115. Suppose 4*c + h + 0 = v, 5*c = 25. Is 7 a factor of v?
True
Suppose -148*o + 202*o - 83214 = 0. Is o a multiple of 2?
False
Suppose c - b = -341, 2*c - b = 3*b - 672. Let g = c - -767. Is g a multiple of 15?
False
Suppose -3*i - 6882 = -3*b, 2*b - 4695 = -4*i - 125. Is 29 a factor of b?
True
Is 22 a factor of (((-1136)/(-5))/4)/((-20)/(-1950))?
False
Let a(t) = -t**3 + 3*t**2 + 8*t + 79. Suppose -y = 4*y + 2*q + 55, -30 = 5*y - 3*q. Is 47 a factor of a(y)?
False
Suppose -4*d = 5*p + 2018, 0 = -d - 3*d + 3*p - 2002. Let x = d - -519. Does 9 divide x?
False
Let u(m) = 11*m**2 - 9*m - 1. Suppose -5*l - 2*k + 20 = 6, -4*l + 6 = -k. Is 4 a factor of u(l)?
False
Suppose -4*w + 17 + 17 = 3*u, 3*u = -w + 49. Suppose -2*s = 2*i - u, 2*i + 7*s - 33 = 2*s. Suppose 0*f - 400 = -i*f. Does 20 divide f?
True
Let d be 1/1 - ((-10)/2 - -2). Let w = -14 - d. Let t(f) = -3*f - 6. Is t(w) a multiple of 16?
True
Does 44 divide (534/4)/(4/10*15)*492?
False
Let p(w) = 17*w + 1. Let m = 216 + -214. Is p(m) a multiple of 35?
True
Let v = -107 - -117. Suppose -v*n - 1 = -21. Suppose n*l - 185 + 47 = 0. Is l a multiple of 3?
True
Let h(y) = 233*y + 37. Let i(w) = -232*w - 36. Let z(m) = -3*h(m) - 4*i(m). Is 13 a factor of z(4)?
True
Let b be 0/(-2) + 8 + -4 + 3. Suppose 0 = b*x - 53 - 878. Is x a multiple of 15?
False
Let m be (-2*(-4)/8 + -2)*1079. Let q = m - -1620. Does 33 divide q?
False
Does 15 divide 7/(42/50528)*3/2?
False
Let w be (-2)/3 - -2*(-12452)/(-24). Let n = -605 + w. Is 9 a factor of n?
True
Let s be 4/(-10) + (-833)/(-245). Suppose 0*f - 2*f + 375 = -s*m, 0 = -4*f - 3*m + 795. Is 6 a factor of f?
False
Let d(l) be the second derivative of l**5/60 - 7*l**4/24 - 5*l**3/6 - 7*l**2/2 + 22*l. Let x(k) be the first derivative of d(k). Is 20 a factor of x(-6)?
False
Suppose 4*r - 668 = -5*m, -9*m = -3*r - 6*m + 501. Suppose i - 606 - r = -2*c, 5*c = -2*i + 1931. Does 7 divide c?
True
Let h(x) = x + 22. Let w be h(0). Let v(p) = p**2 - 22*p + 11. Let t be v(w). Suppose t*m - 972 = 348. Is m a multiple of 10?
True
Let b(y) = 12*y**3 - 9*y**2 + 35*y + 45. Is b(8) a multiple of 83?
True
Let c(m) = -263*m - 333. Let h be c(-4). Suppose -h = -21*o + 1297. Is 8 a factor of o?
True
Let k be 28/(-70) - -3*(-58)/(-10). Suppose -k*i - 2*i + 5795 = 0. Does 61 divide i?
True
Let s be ((-3)/((-6)/5))/(3/(-18)). Let v be (-1145)/s + 4/(-3). Let h = 235 - v. Is 32 a factor of h?
True
Let w = 51008 - 37159. Is w a multiple of 70?
False
Let r(s) = -11*s - 45. Let l be r(-4). Does 23 divide 51150/198 + (2/(-3))/l?
False
Let o(g) = -182*g + 116. Does 19 divide o(-19)?
False
Let s = 77 + -37. Let g = -31 + s. Suppose -g*h = -1298 - 151. Does 41 divide h?
False
Suppose 36400 + 12842 = 6*k. Is 61 a factor of k?
False
Suppose 3*v - 203 - 82 = -5*a, 5*v - a - 475 = 0. Suppose 0*k = k + p - v, 461 = 5*k - 2*p. Is k a multiple of 9?
False
Let j = -14271 + 29247. Is 117 a factor of j?
True
Suppose 2*a = 4*h + 22, 6*h - 16 = 2*h. Let k = 24 - a. Suppose 10 = -k*o, o = 4*w + 2*o - 158. Is 10 a factor of w?
True
Suppose -4*j + 918 = 2*t, 11*t - 7*t - 1833 = -5*j. Suppose 0 = 7*r - t - 677. Is 9 a factor of r?
True
Let b(n) = -2*n**3 - 9*n**2 + 4*n + 5. Let s be b(-5). Suppose 290 = s*w - 120. Suppose -y + 63 + w = 0. Is 13 a factor of y?
True
Let p(d) = 2*d - 40. Let c(w) = 6*w - 120. Let t(n) = -5*c(n) + 14*p(n). Let f be t(18). Suppose 183 = f*j + u, -j + 4*u = 6*u - 51. Is j a multiple of 9?
True
Suppose 44*p - 48*p = -220. Let t(i) = -i**3 - 7*i**2 - i - 9. Let a be t(-6). Let o = a + p. Does 6 divide o?
False
Let s(u) = -17*u + 180. Let h be s(14). Is 29 a factor of h/6*(41 - 86)?
True
Suppose 5*t - 1200 = 2*t. Let y = 12 - -270. Let q = t - y. Is q a multiple of 10?
False
Let g(o) = 21*o + 1337. Does 29 divide g(-25)?
True
Let r be ((-1)/(-5) - 6/5)/1. Let s be (24/60)/(-2*r/2070). Let l = s - 220. Does 32 divide l?
False
Suppose v + g = -3*v - 442, -5*g = 2*v + 212. Let z = 259 - v. Does 62 divide z?
False
Let i = 300 - 287. Suppose -15*m = -i*m - 214. Is m a multiple of 5?
False
Suppose -l - 5*s + 965 = -3527, -3*l - s + 13518 = 0. Is l a multiple of 8?
False
Let f be (-627)/(-12) - 3/(-4). 