n - 972/v?
True
Let m = 156 + -96. Suppose -203 + m = -3*d - 2*q, 2*q = -4. Is d a multiple of 8?
False
Suppose 4*a - 2148 - 5228 = -l, -a = -5*l + 36901. Suppose 0 = -15*c + 56*c - l. Is 20 a factor of c?
True
Let v(t) = -6*t - 16. Let q(d) = -d - 3. Let s(y) = 22*q(y) - 4*v(y). Let n be s(-4). Does 11 divide 156/9*(-15)/n?
False
Let w be (882/3)/(-7) + 7. Does 56 divide -5*21/w - -333?
True
Let u(j) = 420*j**2 + 48*j - 348. Is 84 a factor of u(9)?
True
Let x = 162 - 100. Let n = -34 + x. Is n a multiple of 2?
True
Let s be 1/(-3) - (-699)/(-9). Let x = s + 168. Is 6 a factor of x?
True
Let k(x) = 12*x**2 - 257*x + 6411. Is 159 a factor of k(24)?
True
Let i = 32 + -28. Suppose 0*n - 6 = -3*n, i*n + 2 = -5*k. Is 3 a factor of (-1 + (-12)/(-8))/(k/(-268))?
False
Let s = -37 - -40. Suppose -172 + 847 = s*d - 5*a, 5*d + a = 1153. Does 31 divide d?
False
Let g = -5865 - -9893. Is g a multiple of 9?
False
Is 616/176*(-69092)/(-14) a multiple of 13?
False
Suppose -2*u + 2088 = -2*t, 4*u = -0*t - 4*t + 4200. Suppose 154 = -u*m + 1048*m. Does 11 divide m?
True
Let v = -12815 + 22879. Is v a multiple of 132?
False
Suppose 93*d = -78*d + 1702476. Does 38 divide d?
True
Is 12 a factor of 3 + (-29492)/(-10) + (-6)/(-150)*-5?
True
Let f(l) = -2*l**2 - 4*l + 53. Let g be f(-6). Suppose w + 2*w - 266 = -2*u, -4*w = -16. Suppose 334 = 4*j - 3*v, -3*j + u = -g*v - 129. Does 5 divide j?
False
Let a(s) = s**3 + 88 + 31*s + 34 - 28 - 34*s**2 + 34. Is a(33) a multiple of 31?
True
Suppose 10*w + 3742 = 22462. Is w a multiple of 6?
True
Let q(g) be the third derivative of -g**4/12 + 20*g**3/3 - 32*g**2. Let w be q(18). Let a(o) = o**3 + 6*o**2 - 10*o - 4. Is a(w) a multiple of 18?
False
Let m(v) = 9*v**2 + 8*v + 9. Let d(w) = -13*w**2 - 13*w - 14. Let l(h) = 5*d(h) + 8*m(h). Let a = -16 + 18. Is 28 a factor of l(a)?
True
Suppose -142624 = -3060*x + 3028*x. Is x a multiple of 11?
False
Let t = -52 + 51. Let s(r) = 674*r**2 - 19*r - 20. Does 13 divide s(t)?
False
Suppose 5*a - 114 = 116. Let q(g) = 0*g + 5*g + a - 31 - 4*g. Is q(6) a multiple of 21?
True
Let p be (-368)/(-80) + 2 + (-24)/15. Let c(f) be the third derivative of -f**6/120 + f**5/10 - f**4/12 + f**3/2 + f**2. Is c(p) a multiple of 18?
True
Let g(v) = -12 + 0*v**2 - 2*v - 2*v + 11*v**2 - v**3. Let w be g(10). Is 14 a factor of -2 - (0 + 3 - w)?
False
Let b(a) = 2*a**3 - 11*a**2 + 19*a + 14. Let d be 24/(-16)*48/(-9). Is b(d) a multiple of 50?
False
Let z(m) = 4*m + 20. Let l be z(-3). Suppose 28 = -l*d + 12*d. Is d a multiple of 3?
False
Suppose -152*y + 12 = -149*y, 0 = -2*c + y + 3882. Is c even?
False
Let r = 4694 - 4244. Does 75 divide r?
True
Let n(s) = -83*s - 209. Does 5 divide n(-38)?
True
Suppose 7*i = -0*i + 14. Let z(x) = -x - 255 + 253 - x - x**i - 146*x**3. Is z(-1) a multiple of 12?
False
Is -3 + 22446/3 + -3 a multiple of 7?
True
Let x = -7623 + 12419. Is 109 a factor of x?
True
Let l = 48 + -43. Suppose -l*r - 22 = -3*u, -u - 4*r + 11 - 32 = 0. Does 18 divide u - (6/(-15) + 543/(-5))?
True
Let d be (2/(-5))/(4/(-20)). Let w(s) = -33*s + 9 - s**2 + 9*s + d*s**2 - 1. Is 7 a factor of w(26)?
False
Suppose 5*n + n = 24. Suppose -r + 81 = n*u, 3*r = 5*u - 0*u - 97. Suppose 23*w = u*w + 255. Is 17 a factor of w?
True
Suppose -2*f + 2460 = 5*b, 21*b + 1961 = 25*b + 3*f. Is b even?
True
Let u(o) = -31*o + 2 - 11*o + 16*o. Let p(m) = -25*m + 3. Let i(v) = -3*p(v) + 4*u(v). Is i(-5) a multiple of 36?
True
Let z(d) = -58 + 25*d - 38 - 22 - 11 - d**2. Does 6 divide z(11)?
False
Let n(g) = g**2 - 5*g - 111. Let x be n(14). Suppose 9*d - 546 = -x. Is d a multiple of 6?
False
Suppose 4*a - 55 = -279. Let h = a + 102. Suppose 0 = -2*c - l - 4*l + h, -3*c - 2*l = -58. Is c a multiple of 9?
True
Let g = -13 + 34. Suppose -6*u = -651 + g. Is 21 a factor of (-1)/(2/(-54))*u/45?
True
Let f(h) = -2*h**3 + 306 - 3*h**2 - 3*h**3 + 2*h**3 + 4*h**3 + 418 - 2*h. Is f(0) a multiple of 21?
False
Let g be (-9 - (-185)/20)/((-1)/(-1604)). Suppose y - g - 28 = 0. Is y a multiple of 49?
False
Is 47 a factor of (-4)/42 - ((-58077344)/(-168))/(-26)?
False
Let s(c) = 2*c**2 + 22*c - 19. Let m(x) = -6*x**3 - 2*x**2 + 5*x + 12. Let b be m(-3). Let f = b + -153. Is s(f) a multiple of 5?
True
Let o = -445 - -465. Let b(l) be the second derivative of -l**5/20 + 19*l**4/12 + 13*l**3/3 - 11*l**2 - l. Does 14 divide b(o)?
True
Let z(w) be the first derivative of w**3 + w**2/2 + 7*w - 34. Is 21 a factor of z(5)?
False
Suppose -39*z + 75490 = 12232. Suppose 4*b - 3*q = z, 0 = -2*b - 6*q + 7*q + 812. Is b a multiple of 44?
False
Suppose -15*k = 7*k - 176242. Is 13 a factor of k?
False
Let f(p) = 73*p - 1128. Is 84 a factor of f(57)?
False
Let c(k) = k**3 - 29*k**2 + 32*k + 180. Is c(35) a multiple of 24?
False
Let d be ((-16)/12)/2*-6. Suppose -n - 4*k = -64, 0 = -5*n + d*n + 4*k + 48. Suppose l - 97 = n. Is l a multiple of 14?
False
Let r = 6894 + -5518. Does 8 divide r?
True
Suppose -6*m + m = -3*m. Suppose -4*w - 8 + 40 = m. Is 3 - (w + -5)*-32 a multiple of 7?
False
Suppose u - 425 = -4*u - 3*p, -5*p = 3*u - 255. Let k(s) = -2*s - 123 + 95 + u. Is k(27) a multiple of 2?
False
Suppose 8*w + 0*w - 32 = 0. Let f be (96/(-40))/(w/(-150)). Let l = -36 + f. Is 18 a factor of l?
True
Let y be 141 - (-1 + 1 - -1). Let t = y + -226. Let l = 100 + t. Is l a multiple of 2?
True
Suppose 4*y = 5*y + 4*n + 188, 5*y - 5*n + 815 = 0. Let f = y - -292. Is 31 a factor of f?
True
Let i = 15320 - 8897. Is i a multiple of 16?
False
Let k = -93 - -97. Suppose -2*m + 5*m - 386 = f, k*f - 632 = -5*m. Is m a multiple of 16?
True
Let s be (-4)/16 + (-7)/4. Let j(a) be the third derivative of 7*a**5/12 + a**4/6 + 2*a**3/3 - 4*a**2 - 21. Is j(s) a multiple of 34?
True
Suppose 26 - 128 = q. Let n be (-956)/30 + 6*10/(-450). Let x = n - q. Is x a multiple of 14?
True
Suppose 195 = 11*c - 10*c. Suppose -3*i = -120 - c. Is 36 a factor of 42*-15*(-18)/i?
True
Let m(y) = -54*y**2 + 9*y + 16. Let z(w) = -53*w**2 + 9*w + 16. Let p(s) = -5*m(s) + 4*z(s). Is p(-2) a multiple of 26?
True
Let f be (5 - 115/20)*-136. Suppose -f*m = -89*m - 5980. Is m a multiple of 21?
False
Suppose 117*s = 2971913 - 284072. Is s a multiple of 87?
False
Let y be (-1)/(3 + -4)*-1 + 2. Let o = 520 + 154. Does 34 divide (-15)/(-25) - o/(-10)*y?
True
Let s = 1695 - 6. Does 18 divide s/(-9)*-3 - 80/16?
True
Let g(x) be the third derivative of 12*x**2 + 5/6*x**3 + 5/8*x**4 + 0*x - 1/120*x**6 + 0 - 19/60*x**5. Does 7 divide g(-20)?
True
Let f(v) = 7*v**2 + 22*v + 288. Let x(p) = 4*p**2 + 11*p + 144. Let r(n) = 3*f(n) - 5*x(n). Is 24 a factor of r(-8)?
True
Is 35 a factor of -56*(5130/(-80) - -6)?
True
Is 45 a factor of (-5 - (-91)/14)/(30/36700)?
False
Let l(i) = 182*i - 616. Is 41 a factor of l(17)?
False
Let v(h) = -h**2 + 19*h - 109. Let m be v(16). Is (1/3*1)/(m/(-8052)) a multiple of 2?
True
Is 0/(-6) - (24/5)/((-24)/18720) a multiple of 52?
True
Let w(b) = b**3 - 4*b**2 - 9*b + 3. Let q = -64 - -71. Does 4 divide w(q)?
False
Let f = 780 + 68. Let k = f + -362. Does 27 divide k?
True
Does 13 divide 5 - -1 - (-12 + (-13 - -124475)/(-13))?
False
Let f be (1 - (-20)/(-15))*225. Let n = 246 + f. Is 9 a factor of n?
True
Let v be (3 + 25)*2/7. Suppose -23*b + v*b + 2400 = 0. Is 10 a factor of b?
True
Let a(w) = 423*w + 275. Is 56 a factor of a(15)?
False
Let k(a) = -a**3 - 11*a**2 - 7*a + 33. Let o be k(-10). Suppose s - 265 = -t - 3*s, 5*s - 774 = -o*t. Does 23 divide t?
True
Suppose -u - 10 + 27 = 5*y, 4*u - 5*y - 68 = 0. Suppose 0 = -2*b + 173 - u. Is 13 a factor of b?
True
Let x = 27038 + -18164. Is 58 a factor of x?
True
Let r = -37 - -42. Let s(o) = 2*o**2 + 2. Let p be s(r). Let z = 56 - p. Does 4 divide z?
True
Suppose 8*o - o + 21 = 0. Let r be 11/(-33)*2*o. Let s = r + 30. Does 9 divide s?
False
Suppose 0 = 8*q - 6*q - 1380. Suppose 885 = -15*g - q. Let r = 112 + g. Is r even?
False
Let h(n) = 10*n**2 - 2*n + 87. Let v(c) = 9*c**2 - 2*c + 87. Let u(d) = -2*h(d) + 3*v(d). Does 19 divide u(14)?
False
Let y = -3279 - -3797. Does 74 divide y?
True
Let r(v) be the second derivative of v**4/12 + 11*v**3/6 - 16*v**2 - 17*v. Let w be r(-15). Suppose 2*j - 108 = -3*t, -4*t - 190 = -3*j - w. Does 6 divide j?
True
Let g be 5 + -6 + -2 - -8. Is ((-4)/5)/(g/(41650/(-28))) a multiple of 17?
True