 Is 14 a factor of s?
False
Let p(i) = -3*i + 130. Is p(32) a multiple of 3?
False
Suppose -36*g = -32*g - 1792. Does 16 divide g?
True
Let q(n) = 55*n + 10. Let k be q(-6). Let d = -213 - k. Does 9 divide d?
False
Suppose -m + y + 5 = 0, 3*y = -m - m + 10. Suppose 16 = l + 4*k, l - m = 2*k + 11. Let n(t) = 6*t + 17. Is 34 a factor of n(l)?
False
Let j(v) = v**3 - 9*v**2 - 10*v + 4. Let b be j(10). Suppose 2*z - 694 = -4*i - 0*i, 0 = 2*i - b*z - 362. Suppose -2*r = -7*r + i. Is r a multiple of 8?
False
Suppose 4*v - 16 = 0, -2*v - 3*v + 185 = 5*x. Let w be -2*1 + (x - -4). Let z = -5 + w. Is z a multiple of 8?
False
Suppose 5*h + 1 - 17 = 4*i, h - 3*i = 1. Let q = 17 - h. Suppose -55 = 8*d - q*d. Is d a multiple of 9?
False
Suppose -4*d = 3*z - 24, 2*z = -3*d - 2*z + 25. Let i be (2/4)/((-1)/(-8)). Suppose 3*o = i*u + 412, -3*o + u = d*u - 406. Is o a multiple of 34?
True
Let r(y) be the second derivative of 4*y**3/3 - 3*y**2/2 - 2*y. Let z be r(2). Suppose -1 + z = c. Is 4 a factor of c?
True
Let l = 4 + 0. Suppose -l*u = -17 - 27. Let m = u + 40. Is 21 a factor of m?
False
Suppose 0 = -3*q + 8*q + 5, q = -2*p + 7. Suppose n - 2*n = 0, 920 = p*h + 3*n. Does 46 divide h?
True
Let t = -163 + 360. Let x = -80 + t. Is 39 a factor of x?
True
Is (9/6 + 0)/(21/89180) a multiple of 26?
True
Suppose d - 35*d + 96492 = 0. Is d a multiple of 11?
True
Let b = -606 + 1469. Is b a multiple of 38?
False
Let f be -2 - (0 - (-2 + 45)). Suppose 16*c - 112 - 208 = 0. Let b = f - c. Does 4 divide b?
False
Let y(m) = -m**3 - 8*m**2 - 8. Let w be y(-8). Let g be (0 + w)*(-1)/2. Suppose 4*p - 4*t = -3*t + 163, g*t = -2*p + 68. Is 11 a factor of p?
False
Suppose 14 + 42 = -8*z. Let r(f) = -7*f. Let s(i) = 57*i. Let u(h) = 33*r(h) + 4*s(h). Is u(z) a multiple of 12?
False
Is 13272/54 + 4/18 a multiple of 41?
True
Suppose -20*l + 732 = -668. Is l a multiple of 8?
False
Let k(q) = 14*q - 11. Let j be k(6). Suppose 13*b = -j + 281. Is 7 a factor of b?
False
Let m(a) = 24*a**3 + 5*a**2 - a - 4. Is 21 a factor of m(2)?
False
Is 10 a factor of (-9706)/(-322) + (-2)/14?
True
Suppose -g + 2*k + 3*k + 1012 = 0, 0 = -g - 3*k + 1012. Does 44 divide g?
True
Let l(r) = 3*r**2 - 14*r. Let u be l(5). Let p(i) = 5*i**2 - 3*i - 7. Let s be p(-6). Suppose -6*w + 2*w = -12, -u*k + s = -3*w. Is 13 a factor of k?
False
Does 33 divide (50/(-75))/(2/(-2004))?
False
Suppose 2*k = -3*m + 3*k, 0 = -4*m + 2*k. Suppose -2*r = 2*w - 28, 2*r + 3*r - 5*w - 50 = m. Is 3 a factor of r?
True
Suppose 35*a = 13398 + 7882. Does 16 divide a?
True
Let f be 2*(-1)/(-2) - -91. Let c be f - (3 - 3)/3. Is 18 a factor of 2/(-5) - c/(-5)?
True
Suppose -6453 = -3*j + 1269. Is 39 a factor of j?
True
Let z(s) = 216*s + 8. Is z(1) a multiple of 40?
False
Let y(m) = 2 + 0*m + 4*m - 1 + 14. Let b be y(6). Suppose -15 = 5*s, u + s = -4*s + b. Is u a multiple of 9?
True
Let j be -1*(-6 + 3/1). Suppose -3*w - j*x = -2*w + 9, 2*x + 6 = 4*w. Suppose w = -2*d + 228 - 42. Is d a multiple of 31?
True
Let m be 4/(-7 - -3)*1. Does 22 divide ((-198)/45)/(m/15)?
True
Let r(w) = 3*w**2 - 6*w + 6. Suppose -5*b + 5*g = -2*b - 32, -24 = -4*b + 2*g. Let v be r(b). Suppose -6*i + v = -3*i. Is 4 a factor of i?
False
Let p(t) = 7*t + 3. Suppose -3*z - 6 = -m, -3*m - 4*z = m - 56. Let b be 4/m + 51/9. Is p(b) a multiple of 25?
False
Let h(j) = -2*j**3 + 5*j**2 + 3*j - 1. Let a be h(4). Let w = 78 + a. Let t = 73 - w. Does 16 divide t?
True
Suppose -13*p = 1318 - 7610. Is p a multiple of 44?
True
Let h(x) = -2*x - 8. Let l be h(-5). Suppose 0 = -5*j + l*j + 6, 4*o - j = 178. Is o a multiple of 15?
True
Suppose -32 = -w - 3*o, -3*w - 5*o = -4*w + 72. Suppose 51*u - w*u - 260 = 0. Is 13 a factor of u?
True
Let t(i) = 2*i**3 + 8*i**2 - 9*i + 7. Let p be t(-5). Suppose 0 = 5*g - 348 - 207. Suppose -q + u + g = 0, p*u = -2*u + 4. Is q a multiple of 14?
True
Let z = -203 - -244. Is 8 a factor of z?
False
Suppose 5*c - 600 = c. Suppose 21*j - 19*j - c = 0. Is j a multiple of 15?
True
Suppose 95*d = 87*d + 664. Is d a multiple of 21?
False
Suppose 10*z - 9*z + 84 = 2*a, -4*z = -8. Is 2 a factor of a?
False
Let i(n) = 5*n**3 + 0 + 3*n**2 + n - 2*n - 2. Let x(l) = -9*l**3 - 6*l**2 + l + 4. Let r(s) = 5*i(s) + 3*x(s). Is r(-2) a multiple of 5?
True
Does 9 divide 118795/69 - 16/(-12)?
False
Suppose 21*s - 22*s + 3 = 0. Suppose 4*n = -0 - 8, -s*n = 2*p - 38. Is p a multiple of 5?
False
Suppose 14 + 22 = -3*t. Let j = t + 111. Let v = -50 + j. Is 8 a factor of v?
False
Suppose 8892 = 444*u - 431*u. Is 36 a factor of u?
True
Suppose -7*f + 8459 - 1795 = 0. Is f a multiple of 56?
True
Let x be (55*1)/((-8)/(-32)). Suppose 5*y = 5*d + x, 3*d - 7*d + 175 = 5*y. Does 18 divide y?
False
Let k = -4 - -46. Suppose -3*u - 25 = 2*u, 2*r = -2*u - k. Let z = -14 - r. Is 2 a factor of z?
True
Let v(a) = a**3 + 3*a**2 + 2*a + 2. Let p be (-1)/(-2*(-2)/(-12)). Let y be v(p). Suppose 4*z - 16 = 0, 2*z - y = -5*b + 116. Does 17 divide b?
True
Let l = 1863 + -1176. Suppose l = 3*i - h, -699 = -2*i - i + 5*h. Is 38 a factor of i?
True
Let c(u) = -u**3 + 5*u**2 - 5*u + 4. Let p be c(4). Let d be (p + 3)/(3/36). Is 17 a factor of 428/18 + 8/d?
False
Let l be 12/(-8)*(-4)/3. Suppose f - 11 = -2*c, -f - l*f = -c - 12. Suppose c*g - 306 = -4*q, 510 = 5*g + q + q. Is g a multiple of 28?
False
Is 22 + (2 - (-4 + 11)) even?
False
Suppose -5*v = -5, a = 3*a - v - 13. Let s(q) = -q + 11. Let k be s(a). Suppose -k*u = -5*u + 85. Is u a multiple of 17?
True
Suppose -5*y + 352 = 4*n - 13, -3*n = 0. Suppose 9 + y = 2*t. Let f = t + 4. Does 15 divide f?
True
Let t(r) = 8*r - 24. Let a be t(8). Suppose a = -10*g + 160. Is 12 a factor of g?
True
Let u be 0 - -2 - 8 - -4 - -5. Is (5 - -14)*(-2 + 3)*u a multiple of 19?
True
Let s(m) = -m**3 - 6*m**2 - m - 7. Let a be s(-6). Let j = a + 38. Is j a multiple of 20?
False
Suppose 2*t + 4 = 8. Is (-186)/(-4) + 2*t/(-8) a multiple of 33?
False
Let u = 26 + -13. Suppose -5*b - 4*f - u = -f, 5*b - 5*f = -5. Is 1/(b/(-12)) - 0 a multiple of 3?
True
Let p be 1/2*-4 - 3. Let z = -4 - p. Let q = z + 33. Is 17 a factor of q?
True
Let v be (-14)/(-21) - (-242)/6. Let k = -25 + v. Let f = k - 8. Does 8 divide f?
True
Let c(h) = h**3 + 13*h**2 - 48*h - 9. Is 7 a factor of c(-13)?
False
Suppose 0*p = -2*p. Suppose p*a - 325 = -5*a. Is 21 a factor of a?
False
Is 4 a factor of 4/6*(-174)/(-4)?
False
Let s = 17 + -18. Is 2 a factor of (s - -4)/(6/16)?
True
Suppose 0 = -1134*b + 1135*b - 372. Is b a multiple of 31?
True
Let x = -7 - -50. Let u = x + -36. Is u a multiple of 4?
False
Let j = -538 - -800. Let k = j - 125. Does 10 divide k?
False
Let b be 9/(-2)*(-1)/(9/6). Does 2 divide b*((-1 - 2) + 11) - -1?
False
Let k be 6250/18 - 20/90. Suppose 5*o = 2*b - 119, 0 = 7*b - 2*b + 4*o - k. Is b a multiple of 4?
False
Suppose 4*x - 3*m + 2*m - 2020 = 0, 5*x = -5*m + 2500. Is 14 a factor of x?
True
Let k(o) = -2*o**2 + 2*o + 1. Let f be k(-2). Let b = f - -10. Is 3 a factor of (-58)/(-2) - (b + 4)?
False
Let m(b) = 5*b**2 - 8*b + 4. Let c be m(5). Suppose -4*r + 191 + c = 0. Suppose -3*l - 6 = 0, 3*l - l = 3*t - r. Is 11 a factor of t?
True
Suppose 15*w - 2170 = 2*v, -8*w + 571 = -4*w + v. Is 144 a factor of w?
True
Let l = 405 + -215. Does 5 divide l?
True
Suppose 8*n + 0 - 16 = 0. Is 62/(n/1) + -3 a multiple of 7?
True
Suppose q - 318 = 2*l, -20*q = -23*q + 3*l + 939. Is q a multiple of 22?
True
Let v(i) = 2*i**2 + 21*i + 36. Does 21 divide v(-20)?
False
Let l = 523 + -340. Is l a multiple of 66?
False
Suppose 3*i + 4 = 13. Suppose 2*n - 6*n - 36 = -4*c, 2*n = i*c - 22. Is (c*4)/((-4)/(-4)) a multiple of 8?
True
Let v = 273 - -123. Does 12 divide v?
True
Let u be 8/2 - (4 - 24). Let o = u + -14. Suppose -5*x - 260 = -o*x. Does 26 divide x?
True
Let j(r) = -3*r**3 + 8*r**2 + 64*r + 513. Is j(-9) a multiple of 21?
True
Let n be 86/(-8) + 1/(-4). Let h(s) = -s - 6*s - 4*s + s**3 + 10*s**2 + 2. Is h(n) even?
True
Let l(k) = -14*k**2 - 26*k + 128. Let m(n) = -5*n**2 - 9*n + 43. Let b(j) = -4*l(j) + 11*m(j). Is 29 a factor of b(-13)?
False
Let u(h) = 4*h**3 + 29*h**2 - 2*h - 15. Is 4 a factor of u(-7)?
True
Suppose 4*f = 7*f. Suppose 0 = 2*p - f*p - 8. Suppose -p*m = -30 - 6. Is m a multiple of 4?
False
Is 2 a factor of -1 + 4 + (-6)/(42/(-455))?
True
Suppose 7*i