es 12 divide p?
True
Suppose 0 = -0*i + 4*i - 5*h - 93, 5*h + 25 = 0. Is i a multiple of 14?
False
Let d = 0 - -3. Suppose -4*k - c = c - 14, -2*k - d*c = -17. Is 4 a factor of 8*k + 3/(-1)?
False
Let o(n) = 2*n + 1. Suppose 5*v - 7 - 8 = 0. Let r be o(v). Suppose r*f - 2*f - 120 = 0. Is f a multiple of 8?
True
Let b(i) = -i**3 + 10*i**2 - 7*i - 12. Let w be b(9). Let y(c) = c**3 + c**2 - 15*c + 13. Does 43 divide y(w)?
False
Let p(x) = 7*x**3 + x**2 - 11*x + 3. Let i(m) = m**3 + m**2 - m + 1. Let s(g) = -6*i(g) + p(g). Let l be s(6). Suppose -l*u + 70 = 1. Does 12 divide u?
False
Let n(y) be the first derivative of -y**4/12 + y**3/6 + 14*y**2 - y + 5. Let i(t) be the first derivative of n(t). Is i(0) a multiple of 11?
False
Let n(p) = -p + 342. Is 57 a factor of n(57)?
True
Let z = 107 - 104. Suppose x - 19 = -z*j - j, -3*x = -5*j + 45. Does 5 divide j?
False
Let z(b) = -b**3 - 3*b**2 - 3*b - 6. Let n(d) = 11 + d + 5*d**2 + 8*d**3 - 6*d**3 + 4*d. Let v(o) = -4*n(o) - 7*z(o). Does 11 divide v(-4)?
False
Suppose -3*o = -8*o - 25. Let v(a) = -5*a + 2. Let u(s) = 5*s + 2. Let y(x) = 2*u(x) + 3*v(x). Is y(o) a multiple of 11?
False
Let j = -499 - -1394. Does 52 divide j?
False
Let k = -12 - -16. Suppose 10*r = k*r + 372. Does 30 divide r?
False
Let z(d) = -14*d**3 - 7*d**2 + 3*d + 13. Does 3 divide z(-3)?
False
Let a(s) be the third derivative of -7*s**4/12 - s**3/2 + 5*s**2. Is a(-2) a multiple of 24?
False
Suppose -90*q = -98*q - 16. Suppose 8 = -3*g + g + 2*p, 3 = p. Does 17 divide 63 + q + 1*g?
False
Let g(r) = 3*r**3 - r + 2. Let a(h) = h**3 - 9*h**2 + h - 7. Suppose d - 10 = -1. Let n be a(d). Is g(n) a multiple of 7?
False
Let u(w) = w**3 - 5*w**2 - 7*w + 8. Let l be u(6). Suppose -2*c - l*s = -172, 5*s = 4*c + c - 450. Is 19 a factor of c?
False
Let p(v) = 268*v - 255. Is p(5) a multiple of 31?
True
Let h(d) = d**2 - 13*d - 23. Let x = 12 + 3. Is 7 a factor of h(x)?
True
Let m(y) = -y**3 - 9*y**2 + 23*y + 13. Let w be m(-11). Suppose 0 = -2*s - 2*u + 10, -2*s + 3*s - 10 = -2*u. Suppose w*h = 18 - s. Is h a multiple of 4?
False
Suppose 2400 = 5*y - 0*y. Is 32 a factor of y?
True
Does 11 divide 1 - (20/5 - 481)?
False
Suppose -5*h + 844 = 3*w, 254*h = -5*w + 253*h + 1436. Is 46 a factor of w?
False
Let h(p) = p**3 - 36*p**2 - 218*p - 68. Does 17 divide h(42)?
True
Let s(m) = m**3 + 2*m**2 - 2. Let h be s(-2). Is 8 a factor of 31 + 5 + h - 2?
True
Suppose 2316 = 21*w - 246. Does 48 divide w?
False
Suppose 41*l - 3744 = 35*l. Is 48 a factor of l?
True
Let x(c) = -8*c - 2. Let z be x(-9). Suppose 3*m = 5*k - 369, -k + 2*m = -8 - z. Is k a multiple of 24?
True
Let f = -29 + 56. Let d be (99/f)/((-2)/(-66)). Let i = d + -40. Is 18 a factor of i?
False
Let t(r) = -6*r**3 - 14*r**2 - 46*r - 49. Is t(-8) a multiple of 17?
False
Suppose 0 = -11*j + 2 + 20. Suppose 0*x = -5*x, -j*y = 4*x - 370. Is y a multiple of 32?
False
Let w(t) = 2*t**2 + 22*t - 12. Does 16 divide w(6)?
True
Let d be 8/(40/3) - (-607)/5. Suppose -18*f + d = -76. Is 8 a factor of f?
False
Let n(r) = -r**2 + 11*r - 12. Let a(c) = 3*c**2 - 22*c + 24. Let j = 29 + -34. Let t(z) = j*n(z) - 2*a(z). Does 8 divide t(-7)?
True
Let j = -47 - -57. Does 10 divide (j/(-6))/((-6)/(9*12))?
True
Let d be (-1 - -1)/(2 - 0). Suppose 3*f - c - 308 = -d*c, -f = -2*c - 101. Is f a multiple of 23?
False
Suppose 3*v + 2*b = -v + 12, 2*v - 2*b - 12 = 0. Let l be (4*(-57)/6)/1. Let f = v - l. Is 16 a factor of f?
False
Let v be (-1)/(-5*1/(-235)). Let f = 187 - v. Is 18 a factor of f?
True
Suppose 29 + 11 = f + 5*z, -5*f + 90 = 3*z. Does 15 divide (5/f)/1*237?
False
Let t(m) = -321*m**3 + 3*m**2 - m - 3. Is 14 a factor of t(-1)?
True
Let c(m) be the third derivative of -m**5/60 - m**4/24 + 6*m**3 - 25*m**2. Let k be (-2)/(-4)*(1 + -1). Is 21 a factor of c(k)?
False
Let r(x) = -51*x**2 + 1. Let c be r(1). Let g = c - -110. Is 13 a factor of g?
False
Let v = 71 - 101. Let l be (-110)/v - (-4)/(-6). Suppose -u = -4*s + 148, l*s - 104 = -0*s - u. Is s a multiple of 12?
True
Let i = 88 - -42. Let f = 226 - i. Is f a multiple of 8?
True
Let k be (8/20)/((-2)/(-80)). Suppose -135 = -5*d - 5*f, 0*d + 5*d - 5*f = 155. Let n = d - k. Does 13 divide n?
True
Let v(q) = -14*q + 68. Is v(-17) a multiple of 51?
True
Suppose 0 = -3*i + 2*g + 6, -2*i - 4*g - g + 23 = 0. Let a be 6*(2 - (-15)/(-9)). Suppose -5*d + 147 = -a*n, -d + 21 = -i*n + 6. Is d a multiple of 11?
False
Let j(b) = b**3 - b**2 + b + 5. Suppose 46 = 8*k + 14. Let v be j(k). Suppose s - v = 1. Is 11 a factor of s?
False
Let a(y) = 90*y**2 + 24*y + 60. Does 18 divide a(-4)?
True
Let i(r) = -50*r. Let t be i(-9). Suppose y - t = -5*y. Is 17 a factor of y?
False
Let w be (-179)/(5/(-5)) - 1. Suppose 3*y + 342 = 2*z - 0*y, z - 5*y - w = 0. Suppose 2*j = 2*t + z, 11*t = 3*j + 6*t - 260. Is 14 a factor of j?
False
Let o(a) = a**3 + a + 35. Let m be o(0). Does 27 divide ((-214)/(-5))/(14/m)?
False
Let s(l) = 27 - l + 8 - 4 - 1. Let u(v) = 2*v - 61. Let f(h) = 5*s(h) + 2*u(h). Does 9 divide f(0)?
False
Suppose 4*o - 4*x = -2*x + 14, 3*o - 5 = -4*x. Suppose 2*k = -k - o*y + 348, 3*k - 348 = -2*y. Suppose 0*z - k = -5*i - 2*z, -66 = -3*i - 3*z. Does 8 divide i?
True
Suppose -s = -b - 24, -4*b - 7 - 1 = 0. Suppose 102 = s*x - 19*x. Is 15 a factor of x/(0 + 3/6)?
False
Let n(o) = 6*o**2 - 2*o - 1. Let u be n(-2). Let c = 123 - u. Is c a multiple of 9?
False
Is 11 a factor of 6/(-27)*-1977 + 44/66?
True
Let b(p) = 22*p + 47. Let y(i) = 33*i + 71. Let f(u) = -8*b(u) + 5*y(u). Does 26 divide f(-9)?
True
Let o be (-2 + (-12)/(-9))*-57. Let m = -26 + o. Does 4 divide m?
True
Let v(n) = 199 - 202 + 26*n + 12*n**2 - 9*n. Does 6 divide v(-3)?
True
Suppose 433 + 1407 = 4*b. Does 23 divide b?
True
Suppose 0 = -4*p - 0*p + 4. Does 5 divide 11/p + 2/(-2)?
True
Let a(z) = 4*z**3 - 1. Let l be a(1). Suppose -c + l = 1. Is 5 a factor of (3/c)/(3/20)?
True
Let k(d) be the second derivative of d**3/6 + 42*d**2 - 11*d. Is k(-28) a multiple of 8?
True
Let o be (-16)/(-32) + 2/(-4). Suppose o*j = 2*j - 380. Suppose 0 = 4*n + n - j. Does 15 divide n?
False
Is 6222/21 - (-10)/(-35) a multiple of 11?
False
Let x(r) = -r**3 - 8*r**2 - 2*r - 10. Suppose 12*b + 50 = 10*b. Let a = b - -17. Is x(a) a multiple of 2?
True
Let z = 26 + -26. Suppose 0 = 5*w + 15, 4*r - 4*w - 292 = z. Is 10 a factor of r?
True
Let r be (8/(-10))/(8/20). Is 12 a factor of (-155)/r + 4/8?
False
Let t(q) be the third derivative of q**6/120 - q**5/30 + q**4/12 + 4*q**3/3 - 7*q**2. Let y(h) be the first derivative of t(h). Is 5 a factor of y(2)?
False
Suppose -3*o = 3*f - 15, -3*o + o - f = -8. Let j be ((-224)/21)/(4/(-30)). Suppose -j = -5*y + 2*b + 32, -60 = -3*y + o*b. Does 12 divide y?
True
Let f = 33 - 29. Suppose -2*g + 3*g + 3*s - 13 = 0, -f*g + 4*s = -36. Is g a multiple of 4?
False
Let j be ((-13)/(-2) + 2)*(-8 + 20). Suppose 107*p = j*p + 745. Does 22 divide p?
False
Let i = -3956 + 6003. Does 23 divide i?
True
Let j = 19 - 14. Let q = j + 24. Is 8 a factor of q?
False
Suppose 0 = 30*c - 18*c - 3852. Does 4 divide c?
False
Let d be (3 - 9/2)*-278. Let h = -242 + d. Is 35 a factor of h?
True
Does 9 divide 14/(-2) + 0 + 3 + 450?
False
Suppose 4*j - 2538 = -2*c, 0 = -51*c + 47*c - 12. Is j a multiple of 12?
True
Let u = -868 - -1928. Is 20 a factor of u?
True
Suppose -j = 9*j - 7000. Is 20 a factor of j?
True
Suppose -588 = -5*i + 1167. Is 26 a factor of i?
False
Suppose c + 2*m - 1219 - 496 = 0, 4*c = -3*m + 6860. Is 20 a factor of c?
False
Let c be (-88)/2 - (-2 - 5/(-1)). Let v = 100 - c. Does 29 divide v?
False
Let r be (-8)/(-2) - 12/6. Suppose r*s - 43 = 21. Is 8 a factor of s?
True
Suppose 0 = 5*j + 2*c - 15, -c = -4*j - 6*c + 12. Suppose p - 420 = -j*p. Is (p/20)/(9/24) a multiple of 7?
True
Let m be 1/(15/(-9) - -2). Let q(f) = f**3 - 5*f**2 + 5*f - 2. Let c be q(m). Does 13 divide (3/4)/(c/(-380))?
False
Suppose -4*x + 1336 + 336 = 0. Does 20 divide x?
False
Let i = -63 + 59. Is i/3*6/(-4) - -42 a multiple of 44?
True
Let m be 4492/22 + (-3)/((-132)/(-8)). Suppose -2*k + m = -0*g + 5*g, k = 2*g - 78. Does 8 divide g?
True
Let x be (-50)/20*52/(-10). Suppose -x*k + 142 = -12*k. Is k a multiple of 31?
False
Let k = -119 + 102. Let y be (-1 + -4)/(1/3). Let c = y - k. Is c even?
True
Let s = 46 + 144.