 -2*l**2 - 4*l - 6. Let b = -5 + 1. Let x be j(b). Let c = 50 + x. Is c a multiple of 14?
True
Suppose 0 = -x + 2*x - 12. Suppose -3*f - 51 = x. Is 39/(f/(-6) - 2) a multiple of 13?
True
Does 7 divide 523/5 - (8 + 185/(-25))?
False
Is 12 a factor of (3 - (-231)/(-15))/((-3)/15)?
False
Let f(k) = -2*k**3 - 8*k**2 - 2*k + 4. Let n be f(-5). Suppose -5*v + z + n = 16, -4*v + 42 = -2*z. Is v a multiple of 9?
True
Let t = 38 + -17. Is 21 a factor of t?
True
Let s(h) = -110*h + 65. Let c(j) = 5*j - 3. Let x(a) = 45*c(a) + 2*s(a). Is 12 a factor of x(7)?
False
Let t(o) = -2*o**2 - 23*o + 2. Does 10 divide t(-11)?
False
Let c be -2 - -5 - (-2 + -133). Suppose 0*o + 3*o = c. Does 22 divide o?
False
Let c(s) = -s**3 - s**2 + 5*s - 3. Is 16 a factor of c(-4)?
False
Let j(h) be the third derivative of -h**5/120 + h**4/4 - h**3/3 - h**2. Let s(b) be the first derivative of j(b). Does 6 divide s(0)?
True
Let n = -44 - -92. Is n a multiple of 4?
True
Suppose -r - 2*r = -9. Suppose -3*f = -3*q + 387, -r*q = 2*f + 377 - 109. Let s = -84 - f. Does 17 divide s?
False
Suppose 4*s - 20 = m, 0*s + s + 4*m = 5. Suppose 0 = 3*g + s*k - 34, -5*k = -10 - 15. Is -2 - 3*(-22)/g a multiple of 7?
False
Let j(d) = 3*d**2 - 7*d - 8. Let r = 5 - 9. Is j(r) a multiple of 17?
True
Suppose 0 = 3*a - 5*w - 20, a + w - 1 = 19. Is a a multiple of 11?
False
Is 4 a factor of 648/48 + (-2)/(-4)?
False
Let a(n) = 1 + 2*n + 1 - 1. Let d(b) = 5*b**2 - 1. Let q be d(1). Is a(q) a multiple of 5?
False
Let g = 0 + 3. Suppose 0 = w - 66 + 20. Suppose g*r - 10 = -m + w, -12 = -r + m. Does 17 divide r?
True
Let s = 9 - 11. Let r be s/5 + 44/10. Suppose -r = g + 4*l, 0*g - 3*l = -5*g + 49. Is 8 a factor of g?
True
Let u = -3 - 4. Let x(l) = l**2 + 2*l + 8. Is x(u) a multiple of 12?
False
Let f be 244/11 - 18/99. Suppose -2*l - f = -110. Is l a multiple of 12?
False
Suppose -2 = -3*c - 2*v, 8*c - 5*v - 20 = 3*c. Suppose -5*l + c*l + 78 = 0. Does 9 divide l?
False
Let w(v) = -v**3 - 6*v**2 + 7*v + 8. Let k be w(-7). Let s(h) = h**3 - 7*h**2 + 4*h + 8. Is 26 a factor of s(k)?
True
Let c = -3 + 15. Is c a multiple of 6?
True
Suppose -1 - 9 = -c. Let z be (c/4)/(2/4). Suppose -3*t + 24 = 6*l - 3*l, -5*t + z = -2*l. Is 5 a factor of l?
True
Let t(d) = d**2 + 2*d + 3. Let m be t(3). Is 9 a factor of 6/((-15)/m - -1)?
True
Suppose -5*i - 4*f - f = -55, f - 59 = -5*i. Does 4 divide i?
True
Suppose 0*n = -n + 4. Is (n/(-10))/(1/(-20)) a multiple of 7?
False
Let b = 7 + -1. Suppose 2*c = n - 22, -2*n = 3*c - 10 - b. Is 14 a factor of n?
True
Let d(g) = 100*g**3 - 2*g**2 - g + 1. Let a be d(-1). Let w = -43 - a. Is w a multiple of 19?
True
Let l = -2 + 71. Is 23 a factor of l?
True
Suppose 5 + 10 = 3*d. Let c(x) = -d*x - 4 - 4 - x. Does 14 divide c(-6)?
True
Is (0 + -6)*15/(-6) a multiple of 7?
False
Let l(a) = 15*a - 2. Is l(2) a multiple of 14?
True
Let a(z) = z**2 - 6*z + 6. Let u be a(-12). Does 16 divide u/5 - (-4)/(-10)?
False
Let x = 167 - 96. Does 14 divide x?
False
Suppose -78 = -3*l + 2*o, -4*l - 7*o + 2*o + 127 = 0. Suppose -5*n - l = -108. Is 10 a factor of (36/n)/(1/12)?
False
Let p(w) = 34*w**3 - w**2. Let c be p(1). Suppose 0*k + k - c = 0. Does 11 divide k?
True
Let h = 36 - 12. Suppose -6*d + h = -3*d. Suppose -2*x = -w + 36, 0 = 4*x + d - 0. Is w a multiple of 11?
False
Let v(u) = u**2 - 4*u - 2. Suppose 3*r - 16 = 2*r - 2*i, -i + 17 = 2*r. Does 5 divide v(r)?
True
Suppose m - 571 = -3*m + g, -3*g = 2*m - 303. Suppose -5*v - 34 = -m. Does 22 divide v?
True
Let s be (-22)/(-6) - (-14)/(-21). Suppose 3*w + 4*o - 2 = 0, -2*o + 3 = 4*w + s*o. Is w even?
True
Let n = 101 - -34. Is 45 a factor of n?
True
Let h be (-8 - -14)*(-26)/(-4). Suppose -3*r + 2*f + 186 = r, r + f = h. Is r a multiple of 11?
True
Let k(y) = -90*y**3 + y. Let r be k(1). Let u = 125 + r. Is u a multiple of 14?
False
Let x(f) = 15*f**3 + f**2 + 3*f - 1. Let w be x(2). Let v = w + -20. Suppose 3*j = 286 - v. Does 20 divide j?
False
Suppose 0 = 4*y - 5 - 87. Let f = -15 - -27. Let l = f + y. Is 12 a factor of l?
False
Let z be ((-10)/(-3))/5*3. Suppose -z*b + 68 = -28. Suppose 2*f = 3*u - 39, 3*u + u - 4*f = b. Does 15 divide u?
True
Let x be (-8)/(0 - (-3)/(-6)). Is 11 a factor of (-408)/x*(-4)/6?
False
Let i(q) = 12*q. Suppose -3*y + v = -10, -y - 2*v + 4 = 3. Is i(y) a multiple of 9?
True
Let d(n) = -3*n - 4. Let a be d(6). Let m be 39/(-9) - 2/(-6). Is (a/m)/((-1)/(-2)) a multiple of 6?
False
Suppose 2*q + 72 = i - q, -5*q = i - 56. Does 11 divide i?
True
Let z = 54 + -27. Suppose 0 = 2*b - 8 - 82. Let v = b - z. Is 10 a factor of v?
False
Let q(v) = v**2 + 4*v. Let b be q(-4). Let p(w) = -w**3 + w**2 - w + 34. Let r be p(b). Does 12 divide 2/(4*1/r)?
False
Suppose 5*d - 1738 = -198. Is d a multiple of 40?
False
Let j(y) = -y**3 + 3*y**2 + 4*y. Let w be j(3). Is 8 a factor of (8/3)/(4/w)?
True
Suppose 2*g = 6 + 206. Suppose 0*a - 4*a + 3*o = -g, 2*a + 4*o - 64 = 0. Does 7 divide a?
True
Let x(f) = -f + 19. Let n be x(9). Let w = n - -2. Let b = 29 - w. Is b a multiple of 17?
True
Let d(i) = 11*i**2 + 10*i - 21. Does 28 divide d(-7)?
True
Let m = -2 - -15. Let o = 59 - m. Does 23 divide o?
True
Let r(l) = -13*l**3 - l**2 + 4*l - 3. Let z be r(2). Let n = -53 - z. Is n a multiple of 10?
True
Let u(t) = 2*t + 30. Is u(11) a multiple of 8?
False
Let q(n) = n**3 + 6*n**2 - n + 2. Let l be q(-6). Suppose -k = k - l. Let v(u) = 6*u - 2. Is v(k) a multiple of 11?
True
Let v(a) = -a**2 - 3*a + 4. Let i be v(-3). Suppose i*g - 2*p - 296 = 0, -4*p - 12 - 205 = -3*g. Suppose 2*w - g = -19. Is w a multiple of 14?
True
Let y = -12 - -20. Let x(n) = -n**2 + 10*n - 6. Is 10 a factor of x(y)?
True
Let t(h) = 55*h + 1. Let o be t(-3). Is o/(-12) - 2/(-6) a multiple of 14?
True
Let a = 159 - 83. Is a a multiple of 19?
True
Let m = 16 + -11. Suppose m*c = c - 44. Let r = 26 + c. Does 15 divide r?
True
Let v(i) = 12*i - 3. Does 11 divide v(3)?
True
Let m = -5 + 7. Suppose -54 = -i - m*i. Is 18 a factor of i?
True
Suppose 2235 = -0*c + 5*c. Does 25 divide c?
False
Suppose -6*x + 2*x + 24 = 0. Suppose -x = -w + 5. Suppose w = c - 7. Is 14 a factor of c?
False
Suppose 4*h - 2 = 42. Does 2 divide h?
False
Suppose -j + 85 = -0*j. Suppose 3*b + j = 8*b. Does 11 divide b?
False
Let d(o) = -o**3 - 14*o**2 - 12*o - 11. Let h be d(-14). Suppose 83 = 4*x - h. Is x a multiple of 30?
True
Suppose 3*u - 10 = z, 2*z = 5*u + 2 - 17. Suppose -3*p + z*p - t = 35, -4*p + 85 = 3*t. Does 19 divide p?
True
Suppose 3*s + u - 104 = 0, 3*s - 5*s = -3*u - 84. Does 6 divide (s/(-7))/(13/(-91))?
True
Let d be 0*(5/(-2))/(-5). Is 12 a factor of 12 - (d/1 - 0)?
True
Suppose 0 = 5*x + 4*v + 1, -16 = -4*x - 0*v + v. Suppose r = -b + 13, -34 = -x*r - 2*b - 0*b. Is 8 a factor of r?
True
Let x(c) = -2*c**2 + 2*c. Let h(p) = -3*p**2 - 3*p**2 + 5*p + 3*p**2. Let j(r) = -3*h(r) + 5*x(r). Is j(-4) a multiple of 2?
True
Let y(v) = -v**3 - 7*v**2 - 3*v - 9. Let j(s) be the second derivative of -s**3/6 + s**2 + 2*s. Let u be j(9). Does 5 divide y(u)?
False
Let p = -9 - -13. Suppose 0 = -p*z - i - i + 242, 2*i = 4*z - 238. Is z a multiple of 15?
True
Is -4 - 1 - -146 - 5 a multiple of 45?
False
Let g(z) = z**3 + 6*z**2 + 2. Let y be g(-6). Suppose -3*q - 60 = -5*h, y*h + 3*q = h + 30. Let f = 39 - h. Is 12 a factor of f?
True
Let s(u) = u**3 - 2*u**2 + 2*u + 2. Let z be s(2). Suppose 0 = -4*n + z*n. Suppose n = 3*q - 26 + 8. Is q a multiple of 4?
False
Let k be 4/5*(-50)/(-20). Suppose -5*z + 3 = -12. Suppose z*c - 15 = 0, 3*t - k*c - 4 = 49. Is t a multiple of 7?
True
Let l = -16 + 26. Is l a multiple of 3?
False
Let c = -28 - -46. Suppose 4*s = 3*f - 98, 168 = 2*f + 2*f + 4*s. Let d = f - c. Does 7 divide d?
False
Suppose 0*c - 4*c + 240 = -f, 0 = -4*c - 5*f + 240. Suppose -66 - 26 = -4*t - 2*z, -3*z = -3*t + c. Is 13 a factor of t?
False
Let f be (16 + -3)/1 - 1. Is 12 a factor of 561/f - (-1)/4?
False
Let g = 23 - -57. Is 14 a factor of g?
False
Let t(p) be the third derivative of p**5/60 - p**4/6 - 5*p**3/6 - 2*p**2. Let s be t(5). Suppose 2*o + 3*c - 20 = c, 3*o - c - 22 = s. Is 3 a factor of o?
False
Let p = -3 + 7. Suppose 4*s - 3 = -3*w, -3*w + 5*s - 8 - 16 = 0. Is 2 a factor of p + 2*w/(-6)?
False
Let g(i) = -8*i - 11. Suppose 5 = -4*m - 15. Is g(m) a multiple of 18?
Fa