Let s(b) = -b**2 - 10*b - 5. Let n be s(-4). Let o = n + -7. Does 11 divide o?
False
Suppose -2034 = -4*s + 3*t, 5*t - 1348 = -4*s + 702. Is 51 a factor of s?
True
Suppose -5*p - 71 = 29. Let n be (28/(-10))/(2/p). Let c = 54 - n. Is c a multiple of 13?
True
Let m be 15/10*4/3. Suppose 3*o - m*o - 5 = 0. Is 2 a factor of o?
False
Suppose -5 - 3 = -4*q. Suppose 89 = q*u + f, 3*u + 2*f - 21 = 111. Suppose y + 0*y - u = 0. Is y a multiple of 23?
True
Let g(h) = 2*h**2 + 15*h - 14. Is 4 a factor of g(-9)?
False
Let n(z) = -21*z - 7. Let d(c) = -10*c - 3. Let j(g) = 10*d(g) - 4*n(g). Is j(-1) a multiple of 13?
False
Let w = 0 - 5. Is 12 a factor of 25*1 - (w + 3)?
False
Suppose 3*o - 5*o + 12 = 0. Does 3 divide o?
True
Let v(x) = 25*x + 12. Let a be v(-8). Let t = a + 277. Is (-4)/(-14) + t/7 a multiple of 13?
True
Suppose -2*c = -2*a - 90, -c - c = 2*a - 70. Is c a multiple of 26?
False
Suppose 0 = -4*x - 2 + 150. Let i = x - 8. Let f = i + 19. Is 24 a factor of f?
True
Let q(z) be the second derivative of z**3 - 9*z**2/2 + 3*z. Is q(6) a multiple of 13?
False
Let l(d) = d**3 - 6*d**2 - d + 2. Is 15 a factor of l(7)?
False
Suppose -42*l + 344 = -40*l. Is l a multiple of 43?
True
Let j be ((-2)/3)/((-7)/273). Suppose -64 = 5*u + 3*a, 2*u - 5*a = 3*u + j. Let x = u - -33. Is 22 a factor of x?
True
Suppose -2*m + 125 = 3*m. Suppose -x = 4*x + m. Does 2 divide 1 - (x + 2 + -1)?
False
Let j(a) = 2*a**2 - 2*a - 15. Does 15 divide j(-5)?
True
Suppose -5*v + 86 = f, -4*v + 2*v + f = -33. Suppose -3 = -4*u + v. Suppose -4*n + 115 = -u*b, 4*b = 5*n - 205 + 59. Is 8 a factor of n?
False
Let l(k) = -k**3 + 5*k**2 - k - 7. Let h be l(5). Is 5 a factor of (4/h)/(3/(-54))?
False
Let s(h) = h**3 - 5*h**2 - 5*h - 6. Let n be s(6). Suppose n = -p - 1. Is 5 a factor of 12/(2 - p) - -2?
False
Let w(c) = 2*c - 5. Let o be w(5). Let x = o - 2. Does 2 divide x?
False
Suppose 2*k - 4*s = -3*k + 356, -3*k = 3*s - 219. Is 12 a factor of k?
True
Let b be (-1 + -203)*2/4. Suppose -30 = -2*q + 5*q. Does 10 divide b/q - (-3)/(-15)?
True
Suppose -36 = 7*z - 3*z. Is 13 a factor of 2 + z/6*-16?
True
Let t = 9 + -25. Let q = -6 - t. Does 10 divide q?
True
Let h(x) = -4 + 10*x + 8*x - 8*x + x**2. Is 13 a factor of h(-12)?
False
Suppose 2*o + 4*o - 186 = 0. Is 10 a factor of o?
False
Let o(j) = -211*j - 1. Let m be o(-1). Let h = -141 + m. Is h a multiple of 23?
True
Suppose 4 = -2*k, c - 4*k - 4 = 21. Let h be 1/((-3)/42*-2). Suppose -a + h = -c. Does 9 divide a?
False
Let b = 119 + -85. Let m = b - 63. Is 2/(-4) - m/2 a multiple of 14?
True
Suppose -3*k - 16 = k, -2*k - 312 = -4*q. Is 19 a factor of q?
True
Let p(d) = 2*d + 1. Let x = 1 - 0. Let b be 2*6*x/3. Is 9 a factor of p(b)?
True
Let u(b) = -2*b - 4 + 1 + 3 + 2. Is 14 a factor of u(-6)?
True
Let m(c) = c**3 + c**2 - c + 5. Let g be m(0). Suppose g*d - 18 - 57 = 0. Is d a multiple of 5?
True
Suppose 2*l - 9 = -3. Suppose l = i - 7. Is 7 a factor of i?
False
Suppose -3*u = -7*u + 2*i + 46, -3*u + 32 = -4*i. Let s = u + 29. Is 12 a factor of s?
False
Let n = -30 + 68. Let r = n + -18. Does 7 divide r?
False
Let b(a) = 2*a**3 - 12*a**2 + 11*a + 12. Let s(j) = -j**3 + j**2 - j. Let c(g) = -b(g) - s(g). Let v be c(9). Suppose -v = -2*h - 2*h. Does 7 divide h?
False
Let g(v) be the third derivative of -17*v**4/24 - v**3/3 + v**2. Let a be g(-2). Suppose -2*k + a = -0*k. Is 7 a factor of k?
False
Let f be 10/(-2*(-3)/3). Let l(r) = r**3 - 2*r**2 - 4*r + 3. Let x be l(4). Suppose f*z - x = 46. Is z a multiple of 13?
True
Is 37 a factor of (9/((-54)/(-8)))/((-1)/(-45))?
False
Suppose 0*t = t - 5. Suppose 3*r - 7 - 1 = t*a, -a = -r. Let n = r - -31. Does 12 divide n?
False
Let m = -25 - -4. Let q be (30/(-7))/(3/m). Suppose q = -3*w + 117. Is 10 a factor of w?
False
Let l be -5*3/(-6)*2. Let n(w) = 1. Let h(o) = -2*o**2 + 6*o + 10. Let b(x) = -h(x) + 4*n(x). Is 14 a factor of b(l)?
True
Let j(l) = -l**3 + 12*l**2 + 9*l - 16. Is j(12) a multiple of 14?
False
Suppose 0 = -3*b - b + 40. Suppose -2*n = -5*o - b, 5*n = -2*o + o - 2. Let p(d) = 14*d**2 + 3*d. Is p(o) a multiple of 19?
False
Suppose 0 = -5*t + 2*t + 81. Does 27 divide t?
True
Let c(i) = i**2 + 5*i - 4. Let b be c(-5). Let q be (b/(-6))/(2/24). Does 4 divide 3 + 0 - (3 - q)?
True
Let x = 41 - 28. Suppose -3*r + 17 = -x. Is 7 a factor of r?
False
Suppose 0 = -3*l - 2*b - 40, -4*l + 2*b - 5 - 25 = 0. Is 5 a factor of (l/6)/((-3)/18)?
True
Let l(m) = -13*m. Let q(t) = -t - 3. Let i be q(-2). Is l(i) a multiple of 9?
False
Let z = 7 + -5. Suppose -k - 5*r = 0, -z*k - 15 = -4*k + 5*r. Let n(s) = 4*s + 2. Is n(k) a multiple of 11?
True
Let z be -47 - (18/3)/(-3). Let s = -21 - z. Is 8 a factor of s?
True
Let p(q) = 4*q**3 + 4*q**2 - 5*q + 4. Does 36 divide p(3)?
False
Suppose -3*n - 2*g - 12 = -5*g, 5*g = 3*n + 18. Is 2 a factor of (3 - 0) + (1 - n)?
False
Let v(d) = -d**3 + 5*d**2 - 3*d + 1. Let b be v(4). Let t be -2 + 2 + -2 + -1. Is (-2 - t)*5*b a multiple of 13?
False
Let d(p) = -p**3 + 6*p**2 - 6*p + 5. Let c be d(5). Suppose h + 3*h - 52 = c. Does 13 divide h?
True
Suppose -4*n = n - 45. Does 9 divide n?
True
Let r = -6 + 4. Let x be -4*r/(4/3). Is 13 a factor of (17/2)/(3/x)?
False
Let t = 39 - 21. Let j be (-2)/(-7) - t/14. Let l(h) = 35*h**2 - 2*h - 1. Is l(j) a multiple of 18?
True
Let a(m) = -m**3 + 7*m**2 + 8*m + 4. Let x be a(8). Let i(u) = x - 4*u - 6 - 3*u. Does 12 divide i(-2)?
True
Let y = -2 - 0. Is 13 a factor of y/((-5)/(130/4))?
True
Suppose -3*x + 17 + 358 = 0. Suppose 5*y - x = -0*y. Is y a multiple of 10?
False
Let g = 59 + -34. Does 25 divide g?
True
Let p(y) = -64*y - 8. Is p(-2) a multiple of 10?
True
Let i(r) = 26*r**2 + r. Let l be i(1). Suppose m + 2*m - 17 = -2*c, 5*m - l = -2*c. Let p(q) = 3*q**3 + q**2 + q - 1. Is 3 a factor of p(c)?
False
Let t(d) = 3*d + 43. Is t(-6) a multiple of 17?
False
Suppose 0 = 2*a - 6*a - x + 6, 2*a = -4*x - 4. Suppose -15 = -a*c - 3. Let z(o) = 3*o - 8. Does 10 divide z(c)?
True
Let z(v) be the first derivative of 70*v**3/3 - v**2/2 - 2. Is z(-1) a multiple of 23?
False
Suppose -501 = -5*z + 4*d, 3*d = -z + 49 + 55. Is 50 a factor of z?
False
Let k be 12/16*(0 - -4). Suppose -8 = p - k. Let c = p - -20. Does 7 divide c?
False
Let c(i) = -13*i + 2*i**2 - 6 + 5*i + i**2. Let n be c(7). Let s = -46 + n. Is s a multiple of 10?
False
Let y(m) = m**3 + 9*m**2 - 11*m - 14. Is 6 a factor of y(-9)?
False
Suppose 30*q - 32*q = -70. Is q a multiple of 7?
True
Let t(m) = -14*m - 40. Is 15 a factor of t(-5)?
True
Suppose 10 = 5*s - 15. Suppose u - s*u + 29 = -x, -3*u = -x - 23. Does 2 divide u?
True
Let b be (-1)/(-2) - (-18)/4. Let a(z) = z**2 + b*z + 1 + 2*z**2 - 2. Is a(-4) a multiple of 10?
False
Let s be 3/6 - 6/(-4). Suppose -2 = -s*j + 20. Is j a multiple of 11?
True
Let p(n) = 4*n. Let t be p(-8). Let u = t - -152. Suppose -5*w = -10*w + u. Does 12 divide w?
True
Let v = 25 + -3. Suppose l - 2*l - 4*x = 12, 4*l - v = -2*x. Does 4 divide l?
True
Let a(h) = -h. Let y be a(-4). Suppose -82 = -4*x + 2*c, -y*x + 10 = c - 57. Is x a multiple of 6?
True
Suppose 4*n + 5*r + 460 + 25 = 0, n - 3*r + 134 = 0. Let t = 197 + n. Does 23 divide t?
False
Let y(m) = -2*m**3 + 21*m**2 - 23*m + 5. Let a(h) = h**3 - 10*h**2 + 11*h - 3. Let f(n) = -5*a(n) - 2*y(n). Does 8 divide f(6)?
False
Let s(z) = -4*z + 25. Does 17 divide s(-18)?
False
Let n(s) = s + 3*s**2 - 5*s**2 + 5*s**2. Let c be n(1). Does 2 divide 3/(14/c + -2)?
True
Suppose 5*j + 0*j + 2*c = 29, 4*j = -5*c + 30. Suppose q + 4 = -g - g, 5*q = -3*g + 1. Suppose -j*o = -q*o - 12. Does 4 divide o?
True
Suppose 111 = 2*r + 3*f, 5*r + 3*f - 2*f = 245. Does 15 divide r?
False
Suppose -17 = p - 2*o + o, 0 = p - 3*o + 27. Let h be 37/5 + 2/(-5). Let d = h - p. Is d a multiple of 7?
False
Let z(v) = -11*v**3 - 3*v**2. Let b be z(-2). Let p = -46 + b. Is 12 a factor of p?
False
Let w(h) = h**2 + h + 100. Does 20 divide w(0)?
True
Suppose -6 = -5*x + x + 2*u, 4*x - 4*u = 0. Is 21 a factor of (x/(-3))/(2/(-42))?
True
Let q(v) = v**3 + 6*v**2 - 9*v - 2. Let p be q(-7). Let a(k) = 1 + k + p*k**2 - 3*k**2 + 7*k**2. Does 8 divide a(-1)?
True
Suppose 88 = 3*h + 5*u, 3*h + 2*u - 89 = -2*u. Is 6 a factor of h?
False
Let o(a) = 82*a - 44. Is o(4) a multiple of 71?
True
Suppose 0*r - 48 = -4*r. Let 