h = -2*b + 148, 2*b = -4*h + 196. Is h a multiple of 11?
False
Let c = 33 - 30. Let o(k) = -k**3 + 5*k**2 + k + 3. Does 5 divide o(c)?
False
Suppose 0 = 6*y - 5*n - 427, 7*y - 292 = 3*y - 4*n. Is 12 a factor of y?
True
Suppose 2*s - 4 + 0 = 0. Suppose -k + s = -21. Is k a multiple of 23?
True
Let v(w) = 334*w - 334*w + 7*w**3 + w**2 + 2. Does 12 divide v(2)?
False
Let w(f) be the first derivative of -25*f**3 + 7*f**2/2 - 9*f + 1. Let l(g) = -38*g**2 + 4*g - 5. Let q(x) = 11*l(x) - 6*w(x). Is 10 a factor of q(1)?
False
Suppose z = 3*b - 27, 5*z + 2*b = 4*b - 174. Is 5 a factor of 10*((-10)/7)/(z/63)?
True
Suppose -4*r - 606 = -3390. Is r even?
True
Let w(p) = -14*p**2 - p + 2. Let u = -19 + 21. Let d be w(u). Is 6 a factor of d/(-9) + (-22)/99?
True
Let q(a) = 23*a**2 + a - 1. Let z be q(-2). Suppose -62*p + 24 = -56*p. Suppose -p*g + 83 = -z. Is 12 a factor of g?
False
Let m(f) = -2*f**3 + 5*f**2 - 11*f + 36. Is m(-7) a multiple of 18?
True
Let g = 16 + -4. Suppose g = -4*s - 4*f - f, -5*f - 3 = s. Is 3 a factor of (s*2/1)/(-2)?
True
Let f(o) = 19*o - 1. Let m be (-8)/(-60)*-6*-5. Suppose i = -m*y + 17, 4*i + y - 7 = i. Is 5 a factor of f(i)?
False
Suppose 3*w - 2*n - 407 = 0, -8*w + 9*w - 137 = 2*n. Does 5 divide w?
True
Let b(i) = 3*i. Let g be b(-2). Let u(o) = o**2 + 5*o - 1. Let t be u(g). Suppose 8*k = t*k + 39. Is k a multiple of 6?
False
Let x(p) = p**3 - 9*p**2 + 21*p - 3. Is 2 a factor of x(2)?
False
Suppose 6*a - a + 200 = 0. Let n be -1*(2 + a/4). Let b(h) = h**3 - 7*h**2 + h - 4. Does 8 divide b(n)?
False
Suppose 28*h + 50*h = 338832. Is 17 a factor of h?
False
Let d be 237 + 6/3 + -3. Suppose -2*z = 5*c - 288, -3*z = 4*c - 0*z - d. Suppose -n - n = -c. Does 14 divide n?
True
Let g(z) = -z**3 + 26*z**2 - 31*z + 8. Let l be g(25). Let x = l - -284. Does 37 divide x?
False
Let s be (-8)/(-6) - 30/(-18). Suppose -5*j + 4*j + 22 = -s*v, -3*j + 66 = v. Is 9 a factor of j?
False
Let x(a) = a**3 + 7*a**2 - a + 2. Suppose 5*y - 60 = 17*y. Does 19 divide x(y)?
True
Let h be 2*(2 - (0 - (-1 - 2))). Let v(l) = -l + 4. Does 2 divide v(h)?
True
Let p(t) = t**3 - 4*t**2 + t + 61. Is p(0) a multiple of 44?
False
Suppose 0 = 2*s - 5*q + 102, -s + 204 = -5*s + q. Suppose -4*w + 2*j = -3*j + 105, 5 = 5*j. Let z = w - s. Is 13 a factor of z?
True
Let c(l) = -80*l - 32. Is 18 a factor of c(-2)?
False
Let d = -16 - -22. Suppose -d*f - 13 = -379. Suppose 2*t - f - 19 = 0. Is t a multiple of 40?
True
Suppose 229*a - 242*a = -27118. Does 14 divide a?
True
Let m(k) = -k**3 + 18*k**2 - 7*k + 7. Let v be m(17). Let u = v + -120. Is (u/(-4))/((-45)/240) a multiple of 19?
True
Let h = 356 + -168. Is h a multiple of 17?
False
Let r(z) = -70*z**3 - z - 1. Let j be (-6)/21 + 5/(-7). Does 19 divide r(j)?
False
Suppose -v - 8 + 0 = 0. Let h(r) = r + 10. Let s be h(v). Is s - -2*21/6 a multiple of 5?
False
Suppose 53 = 4*a + 9. Let t(z) be the third derivative of -z**6/120 + z**5/6 + 13*z**4/24 + 7*z**3/3 + 11*z**2. Does 18 divide t(a)?
True
Suppose -14*y = -10*y - 20. Suppose 0 = -0*n + 4*n - y*w - 287, -3*n - 2*w = -198. Is 17 a factor of n?
True
Suppose 0 = 3*g - 5*a - 22, 4*g + 3*a = 5*a + 6. Let x be g + (-2 - -2) + 5. Suppose -x*t = 8, 2*r + 3*t - 4*t - 34 = 0. Is 8 a factor of r?
True
Let o = -2691 - -6107. Does 61 divide o?
True
Let y = 5139 + -3495. Is y a multiple of 16?
False
Let u(t) = 153*t + 240. Is u(13) a multiple of 18?
False
Let h = -44 - -108. Suppose -h = z - 222. Is 45 a factor of z?
False
Let u be 12*(7/(-4))/(-7). Suppose u*l - 710 = 4*s, 1 = s + 3. Is l a multiple of 13?
True
Does 18 divide ((30 - 13) + -11)/((-2)/(-648))?
True
Let r(c) = c**2 + c + 11. Suppose -3*g = -g + 16. Let b = 8 + g. Is r(b) a multiple of 4?
False
Let a(h) = h**3 + 41*h**2 + 103*h + 42. Is 11 a factor of a(-37)?
False
Suppose -3*j + 79 = 5*v + 11, 72 = 5*j - 2*v. Let i(g) = j - 10 - 8 + 10*g. Does 35 divide i(13)?
False
Let m(h) = 21*h**2 - h + 1. Let v(c) = -2*c - 6. Let n be v(-4). Is 5 a factor of m(n)?
False
Let b(o) = 15 - 34 + 15 + 4*o**2. Does 32 divide b(3)?
True
Suppose -3 = n - 9. Suppose 103 = n*g - 365. Does 8 divide g?
False
Let r(j) be the first derivative of 3*j**2/2 + 19*j + 10. Does 6 divide r(7)?
False
Let k = -55 - -330. Let w = k + -182. Suppose 2*j - x = w, -210 = -3*j - 2*j - 2*x. Is j a multiple of 22?
True
Suppose -2*m = 3*m, -2*m = y - 4. Suppose 4*o + i - 6*i = 518, -2*o + y*i = -256. Is o a multiple of 22?
True
Suppose 2*n = 6, 6*n - 5 = 5*k + n. Suppose -k*w = -5*w + 78. Let f = w + -14. Is 6 a factor of f?
True
Suppose 62*p - 12971 = 2653. Is 17 a factor of p?
False
Let b = 22 + -34. Let r = -25 - b. Let z = 33 + r. Is z a multiple of 5?
True
Let a be 3 + -5 + 12/2. Let n be 2 - a/((-16)/4). Suppose n*v = -5*u + 135, 2*u + u - 47 = 5*v. Is 24 a factor of u?
True
Let d be (-2)/(-4) + 305/10. Let t = 126 - d. Is t a multiple of 19?
True
Suppose -6*t - 58 - 92 = 0. Does 21 divide 50/(-3)*210/t?
False
Suppose 2*o - 251 = 11. Does 30 divide o?
False
Suppose -2*a + 7 = -3. Suppose -2*f + 241 = -3*w - 2*w, -5*w + a = 0. Is 41 a factor of f?
True
Let i(k) = -k**3 + 11*k**2 - 2*k + 25. Let b be i(11). Is 16 + (0/b)/2 a multiple of 4?
True
Is -10 + 9 - (-2812)/4 a multiple of 41?
False
Let c be 2556/(-8) + 3/(-6). Let u = c + 488. Is 12 a factor of u?
True
Let u be 12 + -3 + 15/(-5). Let q be -4 - (-3)/(-9)*u. Let i(w) = -3*w - 2. Is i(q) a multiple of 8?
True
Let k(p) = 4*p**2 - 4*p - 6. Let q be (-54)/12 - (-1)/(-2). Is 19 a factor of k(q)?
True
Suppose -15*r + 0*r + 495 = 0. Is r a multiple of 2?
False
Let o be 6*((-14)/6)/(-7). Suppose 0*r + 8 = o*r. Suppose v - r = -0*v. Is v a multiple of 2?
True
Let l = -57 - -84. Let g = 34 - l. Does 31 divide (10/(-3))/(g/(-210))?
False
Is 29 a factor of 260 + (-16)/24*6?
False
Let r(g) = -4*g - 4. Let u be r(-4). Let t be (-19)/(-228) - (-70)/24. Is u/t - 17/(-1) a multiple of 7?
True
Let z = -258 + 2055. Is 4 a factor of z?
False
Suppose 4 = -2*w, 4*o - 5*w - 235 = -o. Suppose 6*t - o + 147 = 0. Let h = t - -27. Does 10 divide h?
True
Let c be 125 + -8 - 3/(-1). Let f = c + -21. Is 11 a factor of f?
True
Suppose -5 + 2 = -k. Suppose k*d + 12 = 3*p, 4*d + 5 = 3*p - 8. Suppose m + 5*i - 38 = 2*i, -2*i = p*m - 86. Does 8 divide m?
False
Let v = 562 - 314. Does 68 divide v?
False
Let c be (2/6)/((-22)/(-198)). Suppose x - 186 = c*t, -4*x - 4*t + 949 = x. Does 27 divide x?
True
Does 20 divide 44595/30*(-1)/3*-2?
False
Let c(j) = 106*j**2 - 3*j + 2. Let u(z) = 424*z**2 - 13*z + 9. Let o(y) = 9*c(y) - 2*u(y). Suppose 3 = 2*s + 5. Is o(s) a multiple of 27?
False
Let k(p) = p + 7. Let h be k(-6). Let u be (h + (2 - 0))*1. Suppose 6 = -3*o, -g - 2 - u = 4*o. Is 3 a factor of g?
True
Let w(c) = 5*c - 11. Let j be w(5). Let h be (-1)/(2 - j/6). Is 15 a factor of h/(-6) - 183/(-6)?
True
Let u = 62 - 10. Suppose -u + 14 = -b. Let m = b - -10. Does 12 divide m?
True
Let t(m) = m**2 + m + 33. Let z(u) = -3*u. Let q(s) = -10*s + 1. Let y(x) = -2*q(x) + 7*z(x). Let j be y(-2). Does 33 divide t(j)?
True
Let p be 0 + -3 + -7 + -32. Let b = -34 - p. Is b a multiple of 8?
True
Let x(s) be the third derivative of 8*s**5/15 - s**4/8 - s**3/3 - 18*s**2. Is 11 a factor of x(-1)?
True
Suppose 0 = -2*w + w - 34. Let r = 67 + w. Suppose d + r = 6*d + a, -a + 15 = 2*d. Is d a multiple of 6?
True
Suppose s = 185 + 161. Suppose -5*q = -424 - s. Is 31 a factor of q?
False
Let o(a) = -3*a. Let z be o(-2). Let l(r) = -5*r**2 - 5*r + 5. Let w(d) = -4*d**2 - 4*d + 4. Let g(b) = 3*l(b) - 4*w(b). Is g(z) a multiple of 7?
False
Suppose 29 = 2*k + 2*f + 1, -41 = -3*k - 2*f. Let c = k + -13. Suppose c = 3*j - n - 66 - 59, -3*n + 55 = j. Is 11 a factor of j?
False
Let g(t) = 11*t + 2*t**2 - 2*t**2 + 3*t**2. Let d(z) = 9*z**3 + z**2 - z - 1. Let b be d(-1). Is 18 a factor of g(b)?
False
Let w = 29 + -23. Suppose 4*m + 4*i - 52 = 0, -2*i + 5 = m - w. Does 5 divide m?
True
Let u(r) = 3*r**2 + 7*r + 9. Let b be u(7). Suppose -5*m = -120 - b. Let k = m + -16. Is 31 a factor of k?
False
Let d be (2/(-8))/((-5)/60). Suppose 4*f = 3*o - 26, -2*f - 2*f - d*o = 38. Is 10 a factor of 254/7 + f/28?
False
Let t(a) = -6*a + 213. Is 39 a factor of t(-14)?
False
Suppose -f - 41 = 4*a, -a + f = -0*f + 4. Is 0 + 28 + (-6 - a) a multiple of 4?
False
Let i(j) =