 o = -5 + 220. Let b be 2/(-9) - o/45. Is r(b) a multiple of 11?
True
Let n = 26 + -26. Suppose u - d - 12 = n, -2*d + 52 = 5*u - 43. Is u a multiple of 17?
True
Suppose -19*i + y - 1303 = -22*i, 2*y = 5*i - 2168. Is 14 a factor of i?
True
Let w be 2/(-1)*(-3)/2. Let q(t) = -t**3 + 4*t**2 + 2*t - 1. Does 3 divide q(w)?
False
Suppose 4*n - 22 = 54. Suppose 0 = 2*v + 2*l - 46, -2*v + 2*l - n = -49. Does 3 divide v?
False
Let i = 338 - 224. Suppose 5*r + 3*v = 285, 2*r - v = -4*v + i. Is 19 a factor of r?
True
Suppose 0 = -16*s + 9*s + 21. Suppose -220 = -4*r + 5*b - b, -109 = -2*r + s*b. Is 28 a factor of r?
True
Let w(c) = 4*c**3 + 4*c + 4*c**2 + 5 - 2*c**3 - 3*c**3. Let l be w(5). Suppose -4*q - q + 4*f + 152 = l, -5*f = -4*q + 127. Is q a multiple of 14?
True
Let c(s) = 6*s**2 + 11*s - 81. Is c(9) a multiple of 21?
True
Let z be 5/35 - (-2)/(-14)*-69. Suppose -z = 8*r - 322. Does 9 divide r?
False
Suppose r - 2*r = -4, 0 = -3*d - 4*r + 19. Is 13 a factor of (-2 - -5)*(d - -9)?
False
Let j(o) = -o**3 + 11*o**2 - 3*o - 7. Suppose -3*x = -32 + 14. Is j(x) a multiple of 34?
False
Let m be (468/(-24))/(6/8). Let h(r) = r**3 + 25*r**2 - 30*r + 39. Is 21 a factor of h(m)?
False
Suppose -4*c - 3 = -5*g, -2*c + 0*g + g = 3. Let h be (-11)/c*(-4)/(-2). Suppose -h*t = -10*t - 26. Is t a multiple of 24?
False
Let g = 66 + 16. Suppose h - 4*d = 62, -h - 6*d + 5*d + g = 0. Does 26 divide h?
True
Let y(g) = -g - 4. Let n be y(-6). Suppose n*a + 26 = -w, -w + 6*w = -5*a - 150. Let u = -17 - w. Does 17 divide u?
True
Let m = 145 + -124. Does 2 divide m?
False
Suppose 6*i - 3*i + 3*a - 51 = 0, -2*i + 4*a + 40 = 0. Suppose -14*y - 252 = -i*y. Is 7 a factor of y?
True
Let u(g) = -30*g + 404. Does 16 divide u(0)?
False
Let p(j) = -2*j + 4. Let c be p(4). Let f be c*(-195)/18*3. Suppose 4*h + 5*o - f = h, 3*h - o = 118. Does 10 divide h?
True
Let u be 24/(-8)*(-8)/6. Suppose -u + 1 = -l. Is 22/2 + l/1 a multiple of 13?
False
Suppose -34*c - 564 = -38*c. Suppose -4*t + t + 5*k + 92 = 0, 4*t = 3*k + c. Is 25 a factor of t?
False
Let y(c) = -2*c**3 + 23*c**2 - 10*c + 20. Does 22 divide y(10)?
True
Let h = 26 - 23. Let g(b) = 3*b**3 + 9*b**2 + 5*b - 2*b**h + 0*b**3 + 2 + 4. Is 22 a factor of g(-4)?
True
Suppose 4*r = 7 + 1. Suppose u - 3 + r = 0. Let t(k) = 12*k**2 + 1. Is 4 a factor of t(u)?
False
Suppose -5*f = 2*b - 14, -f = -b - 0*f. Suppose -4*r + 1 = -27. Suppose r*w = b*w + 240. Is 11 a factor of w?
False
Suppose -2*u - r + 60 = -2*r, 3*u = 5*r + 104. Let j be u/3 + 6/9. Let w(q) = q**3 - 9*q**2 + 2*q - 13. Does 19 divide w(j)?
False
Let v(x) = x**2 - x - 1380. Let t be v(0). Let q be t/70 + 2/(-7). Is 6 a factor of q/(-8)*(-174)/(-15)?
False
Suppose -2*n + 2*j - 8 = 0, 0 = -n - 3*n + j - 4. Does 20 divide (n - 5/3)/((-1)/120)?
True
Let k(j) = -j**3 + 6*j**2 + 4. Let g be k(6). Suppose -g*f - 2*i = -952 + 252, -i = 4*f - 702. Does 22 divide f?
True
Let g = -18 + 13. Let w be 11/55 - (-11)/g. Is 11 a factor of (-2)/4*73*w?
False
Suppose 264 = 5*b - 36. Suppose -139 = -2*t - 4*d - 13, 5*d = 0. Is 18 a factor of t*(b/21 - 2)?
True
Let f(u) = -30*u - 99. Does 45 divide f(-24)?
False
Suppose 0 = v - 514 - 251. Suppose -v = 4*z - 221. Let q = -94 - z. Does 14 divide q?
True
Let j be (-6)/(-4) + (-520)/(-16). Suppose -3*y - 7 = -4*x - j, -5*y + 31 = -2*x. Does 4 divide x*1/(12/(-44))?
False
Let q(h) = 6*h - 23. Suppose -t - 3*o = -0*t - 17, -2*t - 5*o = -32. Is q(t) a multiple of 8?
False
Let y(d) = d - 6. Let o be y(5). Let t be 1*(-24 + -2 + 1). Is 3 a factor of (15/t)/(o/10)?
True
Suppose j - 5*z - 188 = -0*j, j - 195 = -2*z. Suppose d + 4*p = 52, 4*d - j = -0*d - p. Is 8 a factor of d?
True
Suppose 44*c - 41*c = 615. Let q = c - 141. Is 16 a factor of q?
True
Suppose -3*o + 1053 = -969. Does 35 divide o?
False
Let w(p) = 2*p - 13. Let v be w(6). Let n(a) = -7*a - 1. Is n(v) a multiple of 5?
False
Suppose -2*b + 7035 = z, 2*z - 25989 = -5*b - 8404. Is 95 a factor of b?
True
Let t be 1 + (40 - 2) + -2. Let c = t - 26. Is c a multiple of 4?
False
Suppose 25 = 4*y - t - 36, 1 = y - 5*t. Let d be (-4)/10 + 114/(-15). Let u = d + y. Is u a multiple of 8?
True
Let n(k) be the third derivative of k**5/30 + k**4/4 + 7*k**3/2 + 3*k**2. Does 24 divide n(-6)?
False
Does 48 divide ((-48)/18)/1*-51?
False
Suppose -7 = 5*l + 8. Let h(f) = 8*f**2 - 5*f + 2. Does 20 divide h(l)?
False
Let b = 153 - 126. Does 27 divide b?
True
Does 81 divide 39*(24 - (6 - 9))?
True
Let r(y) be the third derivative of -y**5/60 + y**4/2 - y**3/3 - 4*y**2. Let d be r(6). Suppose d = 2*a + 2. Is a a multiple of 8?
True
Let q = 359 + -124. Suppose 0 = -4*d + 2*t + 184 + 26, -3*t + q = 4*d. Is d a multiple of 6?
False
Suppose 0 = 67*f - 16661 + 246. Is f a multiple of 35?
True
Let n(a) = 63*a**3 + 8*a**2 - 6*a - 1. Does 2 divide n(1)?
True
Suppose 844 = 3*b + 4*w, -w - 571 = -2*b - 2*w. Does 18 divide b?
True
Let v = -12 + 133. Suppose v = 6*s - 35. Is s even?
True
Is 11 a factor of 8/(-12)*5772/(-8)?
False
Suppose 0 = 2*g + 2, 2*s = -g + 143. Suppose 2*p + 14 = s. Does 3 divide p?
False
Suppose 0 = -2*n + 6*n - 8. Suppose 2*l + d = -n*d + 9, 0 = 3*l + 5*d - 16. Is 7 a factor of (2 - -4)/(l/(-14))?
True
Suppose 0*w - 24 = -3*w + 4*z, 4*z = w. Suppose -147 - 33 = -36*r. Let b = w - r. Is b even?
False
Suppose -y - 4*i - 28 = -79, 89 = 3*y - 4*i. Suppose 0 = -6*o + 271 + y. Is o a multiple of 6?
False
Let y(m) = -2*m**3 - 3*m**2 + 14*m + 3*m**3 - 9*m + 6*m**2. Let s be y(-4). Is 1/(1 + 34/s) a multiple of 6?
True
Let c = -1716 - -2421. Is 15 a factor of c?
True
Let n(o) = 8 - 5 - 7*o + 1. Does 13 divide n(-3)?
False
Suppose 7*v + 619 = 10*v + 4*n, -4*v + 3*n = -817. Does 41 divide v?
True
Let m = -17 - -27. Suppose -m*w + 344 = -216. Is w a multiple of 14?
True
Suppose 0*o = -4*p + 4*o + 748, -o + 3 = 0. Suppose -p = -t + 114. Is 27 a factor of t?
False
Let s = 30 - 28. Suppose -s*f - 2*d + 91 - 19 = 0, -4*d + 112 = 3*f. Is 32 a factor of f?
True
Let o be 1 - -23 - (4 - 0). Let t = -18 + o. Suppose 2*b + 59 = 3*q, -5*q = b - t*b - 103. Is 7 a factor of q?
True
Suppose -10*a + 15 = -7*a. Let t = 85 + a. Is 16 a factor of t?
False
Let i(f) = -4*f**3 - f**2 + 2*f + 2. Let q be i(-1). Suppose -g + 108 = n, 0 = -q*g - n + 4*n + 354. Does 16 divide g?
False
Suppose c - 2023 = 3*z, 3243 = 5*c - z - 6928. Does 11 divide c?
True
Let y be 6/21*(2 + 5). Suppose 3*d + 2*d = -4*z + 313, -z + y = 0. Does 9 divide d?
False
Let a = 10 - 9. Let y = -24 + a. Let z = y + 83. Is z a multiple of 16?
False
Suppose 2*g + 24*g - 14066 = 0. Is 4 a factor of g?
False
Let w = -76 - -412. Does 7 divide w?
True
Let q(n) = 2*n. Let d be q(2). Let u = 302 + -113. Is 12 a factor of u/d - 18/(-24)?
True
Suppose -26*n - 124 = -4*u - 25*n, 0 = 3*u - 3*n - 93. Is u a multiple of 26?
False
Let q(w) = w + 101. Does 5 divide q(-14)?
False
Let x = -530 + 746. Is x a multiple of 54?
True
Let h(z) = -z**2 - 8*z - 7. Let d be h(-6). Suppose d - 1 = u. Suppose 1 = x - 4*s, 0 = -5*x - u*s + 3*s + 89. Does 17 divide x?
True
Suppose 6*q = -5*h + 2*q - 59, -q = -4. Let u = -19 + 17. Is (h + 2)*u - 4 a multiple of 22?
True
Suppose 4*n = 5*m - 1033, -6*n + 2*n = -3*m + 615. Is 13 a factor of m?
False
Let g be 10/45 + 25/9. Let c = 13 - g. Is 5 a factor of c?
True
Let x(y) = -74*y - 17. Let o(j) = 4*j - 18. Let z be o(4). Does 32 divide x(z)?
False
Let x(j) = 4*j. Let r be x(1). Let m = 16 + -15. Does 15 divide 20*(10/r - m)?
True
Let s(f) be the first derivative of f**3/3 - 3*f**2 - 14*f + 3. Is 13 a factor of s(10)?
True
Suppose 19 = 4*a + 7. Suppose r + x = 76, -a*r + 378 = 2*r + 4*x. Does 7 divide r?
False
Suppose 0 = -10*w + 23 + 17. Suppose w*b = -4*o + 2*o + 88, b - 88 = -2*o. Is 10 a factor of o?
False
Let z = -25 + 25. Suppose -5*o + 214 = 3*h - 836, z = 3*o + 4*h - 630. Is 21 a factor of o?
True
Suppose 5*c = 2*a + 394 + 326, -144 = -c + 5*a. Is c a multiple of 14?
False
Let p(t) = 2*t - 8. Let b be p(4). Suppose b = 3*u - 277 - 95. Suppose -15*x - u = -19*x. Does 14 divide x?
False
Suppose 0 = 21*c - 20*c + 4*g, -4*g - 12 = -2*c. Let f be (0 + -1)/(1/(-4)). Suppose k + 6 = 2*h + 18, 60 = c*k - f*h. Is k a multiple of 14?
False
Let x = 127 + -89. Let m = 3 - -14. Suppose d = x - m. Is d a multiple of 7?
True
Let s = -690 + 1186. Is 16 a fact