 = -27. Let n = x - -31. Suppose r = w - 2*r - 43, n*w - 137 = 5*r. Is 7 a factor of w?
True
Let j(i) = i**3 + 20*i**2 + 37*i + 17. Let f be j(-18). Is 23 a factor of (524/4 - f) + -1 + -3?
False
Let d be -23 - (1 + 4 + -1). Does 3 divide 9/d + 46/3?
True
Let h(j) = 2*j**3 + 15*j**2 - 6*j + 18. Let t be h(-8). Suppose -265 = -t*x + 147. Is 15 a factor of x?
False
Let f(h) = -h**3 + 7*h**2 + 7*h + 9. Let g be f(8). Let x be (-1 - (2 - 3))/g. Suppose 10 = 5*l, 5*j + x*j = -l + 102. Does 10 divide j?
True
Let t = 1 + 15. Let b be 4/(t/12) + -3. Is 7 a factor of -1 + b/(-1) - -18?
False
Let z = 9 + -6. Suppose 8 + 1 = -4*v + 5*x, z*x - 19 = -v. Suppose 2*g - v*c = 5*g - 169, 59 = g + 2*c. Is 33 a factor of g?
False
Let j(i) = 11*i**2 + 2*i. Suppose r - 14 = -3*f, f + 2*r = -r + 2. Suppose 4 = g, -3*p - 9 - 17 = -f*g. Does 28 divide j(p)?
False
Let u(d) = d**3 + 14*d**2 - 11*d - 6. Is u(-13) a multiple of 11?
False
Let x = 31 + -23. Let p(v) = -106*v - 4. Let i be p(6). Is x/28 - i/14 a multiple of 12?
False
Let l be (3/9)/(2/474). Suppose -101 - l = -4*h. Is 14 a factor of h?
False
Let r = -2004 - -2228. Is r a multiple of 28?
True
Suppose -11*l + 15 = -6*l, 2*g - 5*l = 5409. Is 22 a factor of g?
False
Let v be (6/4 - 0)*10/(-3). Does 45 divide 2/10 - 224/v?
True
Let t(l) = l**2 - l - 3*l**2 - l**2 + 4*l**2 - 2. Does 6 divide t(5)?
True
Let s be (108/48)/((-6)/16). Let b(a) = -8*a + 2. Does 50 divide b(s)?
True
Suppose -4*z + 56 = r, -2*z + 209 = 3*r + 31. Does 4 divide r?
True
Let s(g) = -2*g - g + 235*g**2 + 58 - 234*g**2. Is s(9) a multiple of 7?
True
Let d = 800 - 1642. Is d/(-7) - (-8)/(-28) a multiple of 30?
True
Let p be ((-7)/((-70)/8))/((-2)/(-5)). Suppose 2*m + 2*u + 290 = 5*m, p*m + 5*u - 225 = 0. Is m a multiple of 8?
False
Suppose 4*g + 95 - 22 = b, -365 = -5*b + g. Let z be 1*(2/2 + 3). Suppose -z*c + 95 = -b. Is 13 a factor of c?
False
Let j = -559 - -931. Is j a multiple of 6?
True
Suppose 36*d - 17*d - 14896 = 0. Does 8 divide d?
True
Suppose 2*a = -26 + 22. Does 2 divide ((-22)/(-4))/(5/2 + a)?
False
Suppose 0 = h - 2*h + 2*z + 102, -h + 67 = 5*z. Is h a multiple of 23?
True
Suppose 7*a - 1063 = -195. Does 62 divide a?
True
Suppose 97*g - 105*g = -1096. Does 22 divide g?
False
Suppose 0 = -w - 3*w + 24. Let f(c) = -c**3 + 9*c**2 - 6*c + 1. Is 13 a factor of f(w)?
False
Let u = 383 + -252. Is u a multiple of 15?
False
Let q(h) = -7*h**3 - 14*h**2 - 4. Is 3 a factor of q(-6)?
False
Let l = 1615 + -1034. Does 83 divide l?
True
Let m(h) = -65*h + 85. Is 20 a factor of m(-3)?
True
Let k(v) = 2*v**2 - 41*v + 10. Let l be k(22). Let q = 98 - l. Is 11 a factor of q?
True
Suppose 3*q = 5*q + 5*c - 614, 4*q + c = 1210. Is q a multiple of 67?
False
Suppose -3*i + 950 = -2*k, 3*k + 100 = i - 205. Is 40 a factor of i?
True
Let i be 4/(-7) + 843/(-7). Let o = 186 + i. Suppose -3*n = j - o, -2*j - 2*j + 60 = 2*n. Is n a multiple of 6?
False
Let d be (15/5)/(6/14). Does 21 divide (1 + 27 + 1)*d/7?
False
Let j(h) = 17*h**3 + 4*h**2 - 3*h + 1. Let y be j(2). Suppose 5*m - y = -2*f - 0*m, -4*f + 288 = 4*m. Does 30 divide f?
False
Let w(t) = -47*t**2 + 4*t**3 - 1 - 5*t + 23*t**2 + 26*t**2. Is 7 a factor of w(3)?
False
Let a be 9/(-42)*-12*14. Suppose -a = -2*z + 88. Does 19 divide z?
False
Suppose 0 = -4*r - 2*r - 30. Let q(f) = -5*f - 5. Is 8 a factor of q(r)?
False
Suppose -1689 = -21*x + 18*x + 3*q, x - 3*q = 569. Is 16 a factor of x?
True
Let p(z) = z**2 - 6*z + 9. Let h be p(5). Suppose h*u - 117 = 291. Is u a multiple of 17?
True
Let k(z) = -115*z**3 - z**2 + 4*z + 4. Does 6 divide k(-1)?
True
Suppose -8*t + 480 = -4*t. Suppose -7*y + 146 + t = 0. Is y a multiple of 3?
False
Suppose 3*z + 150 = 2*a, 0*z = 3*a - 4*z - 225. Is a a multiple of 15?
True
Does 9 divide 59*(19 + (-6 - 1))?
False
Suppose -3*q + 871 = 691. Does 6 divide q?
True
Let h(g) = -g**3 + 8*g**2 + 3. Let w be h(8). Suppose 21 = 2*u + 17. Suppose y + w = u*y. Does 3 divide y?
True
Let g(j) = -j**3 - 4*j**2 + 2*j - 3. Suppose -5*d - 34 = -2*q - 5, 0 = -5*q + 10. Is g(d) a multiple of 4?
True
Let d(s) = s**3 + 11*s**2 - 15*s - 6. Let i be d(-12). Let g = i + -20. Is 15/(-2)*(-64)/g a multiple of 24?
True
Let z = -160 + 155. Is 1*120*z*(-2)/15 a multiple of 15?
False
Let x(b) = -11*b**3 - b**2 - 4*b - 3. Let t be x(-1). Is -2 + -5 + t + 152 a multiple of 13?
True
Suppose -101 = 4*t - 381. Suppose -t = -3*a + 2. Is 6 a factor of a?
True
Let t = 6 - 2. Suppose 99 = c - p, c + 84 = 2*c + t*p. Suppose 0 = 4*i - c + 16. Does 10 divide i?
True
Suppose 4*p + o = 375, -2*p + 287 = p - 5*o. Suppose 21 = 5*f - p. Is f + (-1)/(0 - -1) a multiple of 11?
True
Let j = 368 - 224. Suppose -25 = 7*k - j. Is 8 a factor of k?
False
Suppose -3*k = -0*k - 5*z + 454, 5*k + 2*z = -767. Let p = -63 - k. Is 30 a factor of p?
True
Suppose -3*y + 9 = -0*y, 2*t - 33 = 5*y. Suppose 15*a = 17*a - t. Let n = a + -1. Is n a multiple of 4?
False
Let f(p) be the second derivative of 41*p**3/6 - 3*p**2/2 + 12*p. Is 24 a factor of f(3)?
True
Suppose -5*h = -3*h. Suppose h = n - 7 - 0. Does 2 divide n?
False
Let f be -3*10/(-15) - -4. Is 7 a factor of 4/f - 480/(-36)?
True
Suppose 2*s - 2*r + 10 = 0, -3*r - 3 + 18 = 3*s. Let n(l) = -l + 1. Let a be n(s). Let i = a + 35. Does 18 divide i?
True
Suppose 11070 = 19*r - 5688. Is r a multiple of 3?
True
Is (18/(-7))/(24/(-1568)) a multiple of 56?
True
Let s(h) = 2*h**2 - 3*h - 13. Does 14 divide s(-8)?
False
Suppose -4*x = b - 419 - 4764, -b + 2*x + 5201 = 0. Does 16 divide b?
False
Let c(j) = 18*j - 11. Is c(6) a multiple of 15?
False
Let l = 23 - 56. Suppose 412*g - 418*g = -282. Let h = l + g. Does 2 divide h?
True
Let a(d) be the third derivative of d**5/20 + 3*d**4/8 + 6*d**3 + 25*d**2. Is a(-6) a multiple of 18?
True
Let m(c) = 3*c + 3. Let x be m(-2). Is 16 a factor of (x + 11)*((-12)/(-3) - 2)?
True
Suppose -825*j + 830*j - 250 = 0. Is 50 a factor of j?
True
Suppose -6006 = -3*j - 2190. Is 10 a factor of j?
False
Suppose 0 = 35*p + 17*p - 32188. Is 40 a factor of p?
False
Let t(k) be the first derivative of k**6/120 + k**5/120 + k**4/6 + k**3/3 - 3. Let x(b) be the third derivative of t(b). Does 10 divide x(-3)?
False
Suppose 8*k - 3*k + 2*d + 35 = 0, 0 = 5*k - 5*d. Is 9 a factor of (-517)/k + 4/(-10)*1?
False
Let a(j) = -j + 14. Suppose 6*d = 10*d - 40. Let t be a(d). Does 11 divide t/(4*2/76)?
False
Let j(i) = -i**2 + 17*i - 18. Let r be j(14). Suppose r = -q + 5*q. Let o(p) = p**2 - 5*p + 3. Is 9 a factor of o(q)?
True
Let o(a) = 4*a + 5. Let p be o(-3). Let u(i) = -i**3 - 7*i**2 - 7*i - 21. Is 14 a factor of u(p)?
True
Let r = -11 + -9. Let j(f) = 3*f + 54. Let a be j(-16). Does 35 divide (-2030)/r + a/4?
False
Let q = -167 + 164. Let l(j) = -26*j - 2. Is 19 a factor of l(q)?
True
Let v = -62 - -76. Is ((-36)/v)/((-15)/1120*4) a multiple of 12?
True
Suppose 0 = 2*v + 4 + 4. Let u(h) = -2*h**3 - 4*h**2 + 4*h - 4. Is u(v) a multiple of 4?
True
Let m(i) = 2*i - 15*i - 35*i. Suppose -4*v + 2 = 6. Is m(v) a multiple of 17?
False
Is 99/66*442/3 a multiple of 2?
False
Suppose -21*z - 880 = -29*z. Does 22 divide z?
True
Suppose 7*u - 1659 = -98. Does 30 divide u?
False
Let a(i) = i**2 + 17*i + 10. Suppose 0 = q + 2*w + 18, w = -q + 7 - 21. Let j be a(q). Let f = j + 87. Does 7 divide f?
False
Let v be 2/6*(10 + -7). Does 5 divide v/(-9)*-502 - 4/(-18)?
False
Suppose z = 2*z + 3*z. Suppose -5*j + 484 = -4*x, j - 3*j - 2*x + 208 = z. Is 32 a factor of j?
False
Let u(t) be the first derivative of -1/2*t**2 + 3 + 10*t. Is u(-8) a multiple of 18?
True
Suppose -3*h + 10 + 5 = 0. Suppose h*q - 53 + 153 = 2*j, j - 3*q = 50. Does 10 divide j?
True
Is 20 a factor of 7 - 56/8 - 416/(-1)?
False
Let x be (-1)/((-4)/(-12)) - (-2)/(-2). Is 13 a factor of -1 - (-41 - x - -3)?
False
Let y = -37 + 120. Suppose -m = 3*t - y, -5*t = 6*m - m - 135. Is t a multiple of 7?
True
Suppose 2313 = 3*f - 2*j - j, 5*j + 15 = 0. Suppose 6*r - f = -0*r. Is r a multiple of 17?
False
Let j = 32 - 44. Let v(w) = 2*w**2 + 15*w + 4. Is v(j) a multiple of 35?
False
Let x(m) = 15*m**2 - m. Let w be x(1). Suppose 6*f - 7*f = -w. Let g = f + -5. Is g a multiple of 9?
True
Let n be -1 - 0 - (-1 - -5). Let v be ((-4)/(-5))/((-2)/n). Suppose s = -v, 3*b - s - 38 = -b. Does 8 divide b?
False
Let j be (6/4)/((-