o be w(-2). Suppose r + 3*r - 102 = 3*v, 5*r + o*v = 110. Does 18 divide r?
False
Let y = -82 + 87. Suppose -59 = -2*q + y*w, -3*q - w + 151 = 4*w. Is q a multiple of 6?
True
Suppose 0 = -2*g + 2, -2*q + g + 1415 = q. Suppose 3*h = 12, 2*h - q + 89 = -5*w. Suppose -y = 5*a - 2*a - 209, -3*y + w = a. Is 14 a factor of a?
False
Let a = 1578 - 1095. Is 10 a factor of a?
False
Let i(o) = 2*o**2 + 15*o - 1. Let h(q) = -q**2 - 8*q + 1. Let k(g) = 13*h(g) + 6*i(g). Let w be k(-19). Does 8 divide 332/11 - (-16)/w?
False
Is -1 + 6 + 119/17 a multiple of 5?
False
Let d be 0/4 - -55 - 4. Suppose d = 2*m - 33. Is 6 a factor of m?
True
Suppose 3890 = 4*f + 594. Is 24 a factor of f?
False
Suppose -j - 3*m = -6*j + 3967, 4*j = -m + 3160. Is 32 a factor of j?
False
Let d(f) = 4*f + 263. Does 3 divide d(-35)?
True
Suppose 3*q + 33 = -5*a, -4*q + 0*q + 26 = -5*a. Is 5 a factor of 4/a + 221/39?
True
Let f(v) = -v**3 + 5*v**2 - v - 9. Let z be f(4). Is 92/6 + (-1)/z a multiple of 11?
False
Suppose 5*k + 800 = -r, -3*k - 115 = 2*r + 372. Let o = -53 - k. Is 30 a factor of o?
False
Let j(x) = 69*x + 65. Does 66 divide j(15)?
False
Let g be -3 - 30/(-3 - 2). Let x(l) = g*l + 4*l**2 - l**3 - 4*l - 5*l**2 + 8. Is 2 a factor of x(0)?
True
Let d(u) = -2*u**3 - 3*u**2 - 2*u - 5. Does 53 divide d(-4)?
False
Let b = -31 - -10. Let d = 37 + b. Is d a multiple of 16?
True
Suppose 0 = -j + a + 50, 5*j - 276 = 3*a - 16. Suppose 4*r + 10*s = 5*s + 52, 2*r - 4*s = 0. Let g = j + r. Is g a multiple of 21?
True
Suppose 0 = -2*g + 38 + 76. Suppose 3*h = 306 + g. Does 44 divide h?
False
Suppose o = 4*v + 4, -3 = 3*o + 4*v + 1. Suppose -5*n = -882 - 2233. Suppose o = 6*w + 113 - n. Is w a multiple of 15?
False
Let v be 3/(-4) + 23/4. Suppose l = -3*w - 4*l + 49, 5*w - 75 = -v*l. Suppose -w*c = -12*c - 44. Does 22 divide c?
True
Let i = -73 + 78. Suppose 238 = 2*w - 3*s, -2*w - i*s = -0*s - 238. Is w a multiple of 17?
True
Let p = -23 - -75. Is ((-221)/p)/(-2 + 7/4) a multiple of 11?
False
Let s(j) = 310*j**3 + 2*j**2 + 2*j - 1. Let h be s(-1). Let b = -208 - h. Does 17 divide b?
False
Let b be ((-2)/(-1) + -4)*-24. Suppose 0*h = 3*h + b. Let l = h - -26. Is l a multiple of 10?
True
Let p(v) = v**3 + 7*v**2 + 2*v - 4. Let u = 10 - 15. Is p(u) a multiple of 17?
False
Let o(h) = h**2 + 2*h + 3. Let w be o(0). Suppose r - 3*r + 4 = -2*z, r - 2 = -w*z. Suppose -4*p + r*i = -6, 4*i - 10 = -3*p + 22. Does 4 divide p?
True
Let m be -2*2 + (7 - 0). Suppose m*u - 624 = -5*u. Is u a multiple of 26?
True
Let b(o) = 15*o**2 + 3*o - 2. Let g be b(6). Suppose -116 = -2*t + g. Suppose 5*k - t + 21 = 0. Does 21 divide k?
True
Let v(c) = -17*c + 1109. Is v(-38) a multiple of 9?
True
Let h(j) = -3*j**3 - 21*j**2 - 9*j - 38. Is 23 a factor of h(-9)?
True
Let p be (-2)/(4 + -2)*-13. Suppose -2*y = -a + 35, a + p = 3*y + 46. Is a a multiple of 13?
True
Suppose -11*p - 24 = -7*p. Let r(n) = -2*n + 6. Is 10 a factor of r(p)?
False
Let t(f) = 31*f + 21. Let d be t(-11). Let i = 593 + d. Suppose -7*l - i = -10*l. Is 22 a factor of l?
False
Suppose 2*k - 4*k - 28 = 0. Does 4 divide 4/k + (-204)/(-28)?
False
Let f(t) = 4*t**2 - 4*t - 2. Let j be f(2). Is (j/4)/((-565)/(-550) + -1) a multiple of 10?
False
Let d(p) = p**3 - 17*p**2 + 15*p + 19. Let m be d(16). Suppose -2*o + m*f = -144, f - 83 = -3*o + 122. Is 1/(2 + (-137)/o) a multiple of 23?
True
Let g = -50 - -44. Is 45 a factor of g/(-3) - (-1 + -177)?
True
Let q = 189 + -110. Suppose 23 = 3*w - q. Is w a multiple of 17?
True
Let r be 1 - 258/((-6)/(-2)). Suppose 0 = -h - 3*s - 171 + 38, s = h + 145. Let d = r - h. Does 19 divide d?
True
Let b(y) = -y + 34. Suppose 4*m - 160 = -6*m. Is b(m) even?
True
Let f(u) = -u**3 - 29*u**2 + 45*u + 91. Does 46 divide f(-31)?
False
Let x = 10 - 8. Suppose g = -u - x*u + 8, 2*g = -3*u + 10. Suppose -g*p - z = -54, -5*p - 2*z = -0*z - 135. Is 9 a factor of p?
True
Suppose 0 = 3*z + 2*z - 55. Suppose 5*m + 4 + z = 0. Is (2 + -1)*m + 10 a multiple of 7?
True
Suppose 8*p = -3*m + 6*p + 13, p = -m + 5. Is ((-69)/(-2))/m*(6 - -4) a multiple of 12?
False
Let x(w) = -31 - 3*w**2 - 18*w + 4*w**2 + 11. Does 34 divide x(22)?
True
Let l(d) be the first derivative of 91*d**3/3 + d**2/2 + 8. Does 26 divide l(-1)?
False
Let z = 21 + -37. Let l = z + 18. Is 2 a factor of l?
True
Suppose 2*i + 200 = 7*i + 5*c, -c = 2*i - 76. Is i a multiple of 2?
True
Suppose -29 + 4 = -5*s. Suppose 0 = 3*h - 2*p - 67, s*h - 5*p = -2*p + 111. Suppose -4*z + 117 - h = 0. Is z a multiple of 16?
False
Let h(s) = s**3 - 24*s**2 - 22*s - 18. Let w be h(25). Suppose 9*i - 12 = 5*i. Suppose -n + w = -i. Is n a multiple of 10?
True
Let d(i) = 5*i + 3. Let m be d(4). Suppose 6 = -5*x - 0*c + c, -6 = 2*x - 4*c. Let u = m - x. Does 8 divide u?
True
Let b(o) be the second derivative of -o**3/2 - 14*o**2 + 10*o. Let r be (-47)/4 + (-4)/16. Is 8 a factor of b(r)?
True
Let n = -22 - -14. Let f(p) = -11*p - 25. Is f(n) a multiple of 7?
True
Is 5 a factor of ((-19)/(-2))/(1/12)?
False
Suppose 0 = p - 3*g - 204, -19 = 3*g - 4. Is 9 a factor of p?
True
Let w(q) = 3*q + 2*q + 3 - 3*q + q**2 - q. Let o be w(0). Suppose 0 = -o*k + k + 114. Is k a multiple of 13?
False
Let a = 320 + -315. Suppose z = -4*z + 20. Suppose -a*f = -4*w - 153, 3*w + 3 = z*w. Is 8 a factor of f?
False
Let m = -10 - -12. Suppose 0 = m*s - 3*u - 87, 4*u + 130 = -2*s + 5*s. Let f = s - 12. Is 12 a factor of f?
False
Suppose 0 = 3*a - 2*q - 2672, -17*a + 13*a = -4*q - 3568. Does 24 divide a?
True
Let h(c) = -202*c - 263. Does 5 divide h(-2)?
False
Does 93 divide 36/(-81) + 1 + (-10034)/(-18)?
True
Suppose -9*a + 2774 = -1186. Is a a multiple of 55?
True
Let z(p) = -p + 766. Is 35 a factor of z(-8)?
False
Let q be (2 + (-6)/4)*-12. Let a = 137 - 119. Let b = a + q. Does 6 divide b?
True
Suppose -4*u + 3450 = -y - y, u - 3*y - 875 = 0. Does 20 divide u?
True
Suppose -4*w - 1 = -9. Suppose -181 = -2*h + 5*h - 5*d, -3*h = -w*d + 184. Does 15 divide (h/(-7))/((-12)/(-84))?
False
Let x be 9/(-2)*16/(-12)*10. Let c = x - 42. Is c a multiple of 17?
False
Suppose -b - 41 = 4*p, 0*p - 105 = 3*b + 3*p. Let l = b - -109. Is l a multiple of 19?
True
Let g(y) = -56*y - 2. Let t be g(-4). Suppose 361 = 5*o + 3*l - l, 0 = 3*o + 3*l - t. Suppose -o = -f + 8. Does 20 divide f?
False
Let z = -556 + 936. Is z a multiple of 20?
True
Let u be (-84)/42*(-4 + 2) + -13. Let n(r) be the second derivative of r**5/20 + 5*r**4/6 - r**3/2 - 5*r**2 + r. Is 27 a factor of n(u)?
False
Let p(o) be the second derivative of -7*o**5/60 - o**4/24 + o**3/3 + 3*o. Let z(n) be the second derivative of p(n). Does 4 divide z(-1)?
False
Let z(d) be the third derivative of -d**4/3 + 2*d**3/3 + 6*d**2 - 2. Let n(l) = l**2 + 7*l + 5. Let c be n(-4). Is 15 a factor of z(c)?
True
Let d = 1106 + -540. Suppose -2*z + 3*a = -399, 3*z + 4*a - 2*a = d. Is z a multiple of 16?
True
Let g(t) = 2*t**3 + 3*t**2 - 2*t + 8. Let b(f) = 3*f**3 + 6*f**2 - 4*f + 15. Let h(r) = -3*b(r) + 5*g(r). Is h(4) a multiple of 4?
False
Let z = 1 + -13. Let f(q) = -4*q + 7. Is f(z) a multiple of 11?
True
Suppose 0 = v - 3*v + 98. Suppose 5*l + 102 = 2*d, 6*l - 4*l = d - v. Does 10 divide d?
False
Let u(x) = 2*x**3 + x**2 - 4*x - 2. Let p(l) = -7*l**3 - 3*l**2 + 12*l + 6. Let j(b) = -3*p(b) - 8*u(b). Does 10 divide j(3)?
True
Suppose -4*o + 28 = -3*c, 0 = 2*c - c. Suppose 0 = o*m - 193 - 52. Is m a multiple of 35?
True
Suppose 53 = -d + 58. Suppose -1040 = -15*p + d*p. Is 14 a factor of p?
False
Let q = 0 + 5. Suppose 0 = -q*s + 10*s - 325. Is s a multiple of 8?
False
Suppose -317 = 3*s + 274. Let o = s - -311. Is 21 a factor of o?
False
Does 37 divide ((-1260)/8)/((-10)/40)?
False
Let z = -1571 + 3859. Does 11 divide z?
True
Suppose 2*j + 4 = -3*f, 0*j - f + 12 = 4*j. Suppose u - 20 = 3*c, j*u + c = 3*u + 24. Is 3 a factor of u?
False
Does 46 divide 6/(9 - 7) + 1055?
True
Let u be 44*(81/12)/(-9). Let t = 49 + u. Is t a multiple of 5?
False
Let f(w) = 0 + 8*w + w**2 - 9 + 4 - 6. Let n be f(-9). Let i(c) = -c**3 + 2*c + 1. Is i(n) a multiple of 5?
True
Does 11 divide 86456/101 + 2 + -1 + 1?
True
Suppose -4*l + 5*n + 7 = -3*l, 0 = 2*n - 6. Suppose -3*v + 71 = 5*i - 6*v, -2*i + l = 2*v. Does 4 divide i?
False
Let y = 594 + 553. Does 12 divide y?
False
Suppose 4*r - j = 411, -2*r