 = -13*g**3 - 9*g**2 - 9*g - 43. Let m(d) = -9*b(d) + 2*l(d). Does 4 divide m(0)?
False
Let d = -37 + 62. Let r be (-1)/1*-1 - d. Is 12 a factor of (-1)/(-2 - 46/r)?
True
Let k(n) = 3*n**2 - 3*n - 4. Let p be k(-3). Suppose -p = -3*d + 34. Does 6 divide d?
False
Let j(w) = w**3 - 11*w**2 - 2*w - 6. Let i(r) = r**2 - 4*r + 12. Let d be i(4). Does 38 divide j(d)?
True
Suppose 0 = 5*n + 10, -4*n = -5*s - 4 + 2. Is 2 a factor of -1*(s + 1 + -5)?
True
Let r be (7 - -36)/(1 + 0). Let n = -7 + r. Is n a multiple of 10?
False
Let h(f) = 65*f + 1. Is h(2) a multiple of 16?
False
Let b be (-1 - 12/(-20))*-20. Suppose b = 4*c - 3*c. Is c a multiple of 2?
True
Suppose 5 + 13 = 3*w. Suppose -18 = -2*v + w. Is v a multiple of 6?
True
Is 32 a factor of 32 - (-4 + 4)/3?
True
Let x(z) = 3*z**2 + 3*z. Is 12 a factor of x(-5)?
True
Let r(z) = z**2 - 10*z + 11. Let h be r(8). Suppose -5*s - 39 = -159. Let w = s + h. Is w a multiple of 19?
True
Suppose 62 = 3*p - 1. Does 7 divide p?
True
Suppose 2*l - 27 = -5*f + 34, 0 = 2*f - 4*l - 34. Is 4 a factor of f?
False
Suppose 2*z - 232 = 5*d + 55, 3*z = -2*d + 459. Is 21 a factor of z?
False
Let y = -76 + 124. Is 12 a factor of y?
True
Let y(h) = -h**3 - 2*h**2 + 2*h + 1. Let q be y(-2). Let r be 1 + 3/(q + 6). Suppose -5*s = -2*i - 75, -s + 3*s - 36 = r*i. Is 13 a factor of s?
True
Let y = 119 + -100. Is 3 a factor of y?
False
Let m(p) be the second derivative of -2*p - 1/12*p**4 + 0 + 14*p**2 + 1/6*p**3. Is m(0) a multiple of 16?
False
Suppose 5*r = 5*w + 485 - 35, -r + 84 = 2*w. Suppose 0 = 5*g - 12 - r. Suppose -h - 6 = -g. Does 7 divide h?
True
Let c(s) = -s - 1. Let y be c(6). Let n = y - -12. Let p(r) = -r**3 + 6*r**2 + 3. Does 14 divide p(n)?
True
Suppose -m = -2*m + 78. Is 13 a factor of m?
True
Suppose -4*y + 3*y - 4*d = -120, -5*d - 480 = -4*y. Does 40 divide y?
True
Does 8 divide 200/30*18/4?
False
Suppose -5*y + 20 = 5. Suppose 1 + 8 = y*b. Is b a multiple of 3?
True
Let b(g) = 2*g**2 + 4*g + 7. Let u be b(5). Suppose -4*a + 2*a = -5*t + u, -40 = -3*t - 5*a. Does 4 divide t?
False
Let s be (-1 - -1) + (-96)/(-2). Let o = 68 - s. Is 6 a factor of o?
False
Let r(v) = -v**3 - v**2 + v + 3. Let f be r(0). Does 16 divide (f/6)/((-4)/(-472))?
False
Let h(r) = r**2 + 9*r - 9. Let b be h(-8). Let z = b + 65. Let q = 93 - z. Is 15 a factor of q?
True
Let a(j) = j + 1. Let k be a(-2). Let v = k + 6. Suppose 8*i = 5*i - v*p + 118, 5*p + 170 = 5*i. Is 18 a factor of i?
True
Let q(v) = -v - 2. Let n be q(-4). Suppose 5*p - 29 = -a, 0*p + 2 = -2*a + n*p. Suppose 252 = a*f + 24. Is f a multiple of 16?
False
Let v = 113 + 191. Does 19 divide v?
True
Let i be (-5)/(2 + 15/(-9)). Let d = i - -23. Suppose -11 = -r + 5*g, -2*r + 0*g = 4*g - d. Does 6 divide r?
True
Let v(h) = 8*h**2 + h - 4. Let b be v(4). Let c = b - 81. Does 30 divide c?
False
Suppose 0*d = d - 5*j - 15, 30 = -2*d - 5*j. Let b = 10 + d. Suppose -z - 8 = b*n, 0*z + 4*n = z - 10. Is z a multiple of 2?
True
Let j = 1 - -1. Suppose -v - 2*z - j = -11, -6 = -3*v + z. Is -14*(45/21 - v) a multiple of 6?
True
Suppose 0 = 3*d - d - 6. Is 3/9 - (-17)/d a multiple of 6?
True
Let x(l) = 18*l**3 - l**2 - 4*l + 3. Let r be x(2). Suppose -w + 24 = y, -5*y - w + r = w. Is 17 a factor of y?
False
Suppose -3*b = 14*b - 153. Is 2 a factor of b?
False
Let z be 3 - (-39)/(6/2). Let l = z + 15. Is l a multiple of 25?
False
Let o = 59 + -40. Suppose -3*t = 4*i + 2*t, -3*i - 3*t = 3. Let m = o + i. Does 14 divide m?
True
Suppose 4*c = -4*q + 68, q - 14 = -0*q - 2*c. Suppose 0 = 3*t - 3*u - 60, 2*u - q - 48 = -4*t. Suppose t = -0*a + a. Does 18 divide a?
True
Suppose -t + 2 = -3*t. Let n(m) = m**2 + 5*m + 3. Let p be n(-4). Does 9 divide t/(1/18*p)?
True
Let y be (-9)/15 - (-9)/15. Suppose -2*n + 0*n - 18 = -5*b, -b + 2*n = -10. Suppose b*d - 68 = -y*d. Is 12 a factor of d?
False
Let i(n) = n - 4. Let y be i(8). Suppose 250 = y*t + t. Is t a multiple of 17?
False
Let r(c) = 2*c**2 - 8*c. Is r(9) a multiple of 10?
True
Suppose 4*v + 252 = 5*q, q - 4*v + v - 46 = 0. Does 13 divide q?
True
Suppose h + 2*h = -4*r + 73, r = 4*h - 110. Is h a multiple of 9?
True
Let g(m) = m**3 - 6*m**2. Let a be g(6). Let z be (a/2)/2 - -3. Suppose z*f - 13 - 2 = 0. Is f even?
False
Suppose -55 - 261 = -4*d. Is d a multiple of 9?
False
Suppose 0 = -5*m - 5*d - 45, -m - 2*d - 27 = -7*d. Let w(v) = -4*v**3 - 11*v**2 + 7*v. Let p(j) = -j**3 - j. Let q(b) = -3*p(b) + w(b). Is 12 a factor of q(m)?
True
Suppose 21 + 19 = 5*w. Let d(k) = k**2 - 6*k + 12. Does 17 divide d(w)?
False
Suppose 4*u + 14 = -2*b + 2, -2*u = -5*b + 18. Suppose 8*s - 7*s = b. Does 2 divide s?
True
Let n = 3 + -5. Let q(c) = -2*c - 13*c - 2 + 2*c. Does 9 divide q(n)?
False
Let n(r) = r**2 + 2*r + 2. Let c be n(-2). Let i = c + -2. Suppose i = b + 3*m - 7, -b - 4*m + 1 = m. Is 8 a factor of b?
True
Let u(g) = -19*g - 5. Let m(x) = -2*x**2 - x + 1. Let w be m(1). Does 5 divide u(w)?
False
Let p be (-114)/(-27) - (-6)/(-27). Suppose 0 = 4*f + p*q - 28, f - 28 = -5*q - 1. Suppose -2*m - 5*r + 10*r = -21, 0 = -5*m - f*r + 96. Is m a multiple of 9?
True
Suppose 0 = y - 5 - 2. Let a = -33 - -47. Suppose a + y = 3*d. Is d a multiple of 3?
False
Suppose x + 2*z - 12 = -2, 3*x - 38 = -2*z. Suppose 2*h = -n + x, h = -5*n + 5*h. Suppose 4*i + i = -5*y + 85, -5*y + n*i + 67 = 0. Does 5 divide y?
True
Let u(g) = g + 54. Does 27 divide u(0)?
True
Suppose -k + 26 + 6 = 0. Is k a multiple of 17?
False
Let h = 1 - -31. Is 5 a factor of h?
False
Let u(s) = s**3 + 6*s**2 + 5*s + 1. Let m be u(-4). Suppose v + 0*v - m = 0. Does 6 divide v?
False
Suppose 42 + 38 = 4*p. Is 5 a factor of p?
True
Let h(u) = -u**3 + 7*u**2 - 6*u - 3. Let j = 8 - 3. Does 17 divide h(j)?
True
Suppose -5 = z - 5*h - 27, -5*z - 5*h = 10. Let t = 38 + -36. Suppose 80 = 4*c + 4*k, t = z*k - 2. Is 16 a factor of c?
False
Let w(p) = 2*p**2 + 4*p - 4. Let i = 14 + -8. Suppose 5*x - i = 9. Is w(x) a multiple of 13?
True
Let d(c) = -c**3 + 7*c**2 + 2*c - 10. Let q(n) = n**3 - 1. Let g be q(2). Let a be d(g). Suppose -4*f - 2*t - 3*t + 119 = 0, f - 14 = a*t. Is 11 a factor of f?
False
Suppose -4*f + 27 = -f. Does 9 divide f?
True
Suppose -478 - 2 = -16*f. Does 2 divide f?
True
Let n(a) = 11*a - 8. Is 23 a factor of n(7)?
True
Let t(z) = -4*z - 7. Let b(c) = 13*c**2 - 2*c - 1. Let y be b(-1). Let o = y + -20. Is 17 a factor of t(o)?
True
Let a(t) = -2*t - 3. Let q(d) = -2*d - 4. Let y(c) = 5*a(c) - 6*q(c). Let m be y(-6). Let n(p) = -p**3 + 2*p**2 + 4*p. Does 11 divide n(m)?
True
Suppose -f = 2*f. Let b = f + 8. Does 6 divide b?
False
Suppose -4*n = -2*t + t - 1, -t - 2*n = 1. Let k(q) = -4*q - 1. Let y be k(t). Let s(z) = 12*z - 2. Is 17 a factor of s(y)?
True
Let k(x) = x**3 + 4*x**2 - 6*x + 7. Let n be k(-6). Let a = -91 - -39. Let v = n - a. Is v a multiple of 9?
False
Suppose 0*m - 3 = m. Let f be 3/2*(-4)/m. Suppose f*y + 10 = 4*y. Does 2 divide y?
False
Suppose 9*t = -4*w + 5*t + 184, 5*w + t - 214 = 0. Is 3 a factor of w?
True
Does 13 divide (-2863)/(-21) - (-10)/15?
False
Let t(g) be the second derivative of g**4/12 - 7*g**3/6 + 7*g**2/2 - 3*g. Does 11 divide t(8)?
False
Is ((1584/(-45))/2)/(1/(-10)) a multiple of 22?
True
Let k(p) = p**3 + 2*p**2 - 2*p. Let t be k(-2). Suppose d - 5*g + 13 + 0 = 0, -4*d + 14 = 2*g. Suppose -i = -d*i + t. Is i a multiple of 3?
False
Let r = 55 - 19. Is r a multiple of 12?
True
Does 26 divide (-299)/(-9) - (-4)/(-18)?
False
Let t(l) = 2*l**2 - 6*l + 28. Is 9 a factor of t(8)?
True
Let c(r) = 2*r**2 - 2*r. Let j be c(2). Suppose 3 = -j*t + 11. Suppose t*w - 60 = -0*w. Is w a multiple of 10?
True
Suppose -3*o - 5*s + 68 = 0, -4*s = -1 - 3. Is o/(-14)*12*-1 a multiple of 9?
True
Let v(r) = 3*r**2 - 3*r - 2. Suppose 3*d = -4*s - 18, -2*s + 0*d = -3*d + 18. Let w(j) = -j - 9. Let x be w(s). Does 9 divide v(x)?
False
Suppose -5*a = -5*v, 5*v - 6*a = -2*a. Suppose 0*j + 3*j = 189. Suppose 3*l - 63 - j = v. Is l a multiple of 17?
False
Let z(s) = -48*s**3 + s**2 + 2*s + 1. Does 14 divide z(-1)?
False
Let k(t) = 14*t + 14. Let n(z) = -5*z - 5. Let c(o) = -6*k(o) - 17*n(o). Suppose -3*l + 39 = -3*b, 4*l - 5*b - 9 - 45 = 0. Is 6 a factor of c(l)?
True
Is (-3)/7 + 1 + 1030/35 a multiple of 4?
False
Let x(z) = z**2 + 3. Let y(q) = q**2 + 6*q - 3. Let a be y(-