e of b**4/12 - 2*b. Is p(4) a multiple of 16?
True
Suppose -2*p - 6 - 6 = 0. Let a(f) = 3*f**3 - 6*f**2 + 9*f + 5. Let z(h) = -h**3 - h + 1. Let b(r) = -a(r) - 4*z(r). Is b(p) a multiple of 18?
False
Suppose 5*y - 5*u + 2 = y, -5*y = 4*u - 18. Suppose -18 = 5*w + 32. Is (-5)/w*22*y a multiple of 11?
True
Let q = -17 + 59. Does 14 divide q?
True
Suppose -150 = h - 6*h. Is h a multiple of 6?
True
Suppose 2*b + 32 = -3*t, 5*b - 3 - 67 = 5*t. Does 13 divide ((-26)/(-4))/((-6)/t)?
True
Does 8 divide (12/18)/(3/216)?
True
Let v(j) = 2*j**2 - 3*j + 1. Let t(y) = 5*y**2 - 9*y + 4. Let m(h) = 3*t(h) - 8*v(h). Let q be m(-4). Let f(k) = k**2 + 34. Is 12 a factor of f(q)?
False
Let g = -9 - -19. Does 7 divide g?
False
Suppose 0 = n + 2*n + 12. Let c be (11/(-4))/(1/n). Suppose -o = 4*u - 21, -5*u - 2*o + 41 = c. Is u a multiple of 3?
False
Suppose -2*z - 14 = 4*k, 2*z - 3*k + 19 = -8*k. Let j(d) = 1 + z*d**3 - d**3 - 5*d**2 - 2*d - 4*d**3. Is 16 a factor of j(-3)?
True
Let k = 5 - 42. Let u = -20 - k. Is 17 a factor of u?
True
Let m(c) = -c**3 - 2*c**2 - 2. Let x(a) = a**2. Let k(w) = -m(w) - 3*x(w). Let h be k(0). Let d(l) = 11*l**2 + 1. Does 19 divide d(h)?
False
Is 11 a factor of (0 - 114)/((-15)/10)?
False
Suppose 2*s + 2*f - 16 = 0, -5*f - 10 + 44 = 3*s. Let a = 2 - s. Does 10 divide ((-1)/a)/((-3)/(-60))?
True
Suppose -2 + 12 = -2*p, -4*p = 2*f + 14. Suppose -t = -f*t + 44. Is t a multiple of 15?
False
Let r = 188 + -35. Does 16 divide r?
False
Is 12 a factor of 2 + 4 + -4 - -75?
False
Let g = -29 - -51. Is 12 a factor of g?
False
Suppose -5*q = -2 - 8. Let x(u) = -5 - 8 - 2*u - q + 2. Is x(-9) a multiple of 2?
False
Let t = -134 + 328. Is 34 a factor of t?
False
Is 15 a factor of (-3)/((-12)/350) + 14/28?
False
Suppose 4*o + 3*u - 64 = 0, 2*u + 32 = 5*o - 3*o. Let k = o - 10. Does 2 divide k?
True
Suppose -4*p = -7*p - 78. Suppose r - 57 = -10. Let z = p + r. Is 10 a factor of z?
False
Let l = -127 - -214. Is l a multiple of 14?
False
Let f(j) = j**3 - 3*j**2 - 2. Let p be f(3). Does 19 divide (2 - -42 - -4) + p?
False
Suppose -1 = 5*f - 6, -5*f - 67 = -3*i. Does 8 divide i?
True
Suppose 2*y + 0*y = 380. Suppose 5*j - y = -0*j. Is 11 a factor of j?
False
Suppose 129 = 4*c - 47. Is c a multiple of 9?
False
Let q(a) = -a**3 - 5*a**2 + 5*a - 3. Is 15 a factor of q(-7)?
True
Let q(o) = -2*o + 9*o + 5 + 5*o. Is q(4) a multiple of 18?
False
Let g(j) = -j + 3. Let w be g(3). Suppose w = 2*h - 4*t - 3 - 5, -2*t + 12 = 3*h. Does 12 divide h/14 + 246/21?
True
Let o(n) be the third derivative of n**5/30 + n**4/6 + 2*n**3/3 + 3*n**2. Is 5 a factor of o(-3)?
True
Suppose 5*c = 2*c + 99. Suppose 0 = i - 0*y + 5*y + 17, -3*y = -3*i - c. Let p = -8 - i. Is p a multiple of 2?
True
Let p = 30 + 44. Is 31 a factor of p?
False
Let k = 7 + 33. Does 24 divide k?
False
Let w be 2*2/(-4)*-3. Suppose -25 = 5*u, 4*u = -w*b + u + 159. Suppose 4*n = 2*c + b, 3*n = n + 4*c + 20. Is 8 a factor of n?
True
Let s(p) be the third derivative of 0*p + 0 + 1/60*p**5 - 1/3*p**3 - 2*p**2 + 1/24*p**4. Does 2 divide s(2)?
True
Let t(s) = 20*s**2 + 3*s + 11. Let c(m) = 7*m**2 + m + 4. Let j(n) = 17*c(n) - 6*t(n). Let g be j(6). Let f = -16 - g. Does 12 divide f?
True
Suppose -5*b + 865 = -5*j, 2*b + 5*j - 88 - 244 = 0. Does 48 divide b?
False
Does 15 divide (-5 + 37)/(9/3 + -2)?
False
Let v(q) = q**2 - 2*q - 7. Let i be v(5). Is 61/4 - 2/i a multiple of 5?
True
Suppose 2*o + a = 2*a - 7, -5*o = 2*a - 5. Let h(r) = 3*r**3 + r**2 - r - 1. Let v be h(o). Is v*(9/(-6) + -1) a multiple of 4?
False
Let p(i) = 3*i. Let v be p(-6). Let t = v + 26. Is t a multiple of 8?
True
Suppose -f = 4*f - 25. Suppose z - 40 = -2*z + 5*d, -f*d + 20 = 3*z. Does 10 divide z?
True
Let m = -10 - -13. Suppose k = m*k - 52. Does 13 divide k?
True
Let v(h) = h**2 - 4. Let c be v(-5). Suppose 3*x - 57 = c. Does 4 divide x?
False
Suppose 3 = c + 7. Is 54/c*(-1 - 1) a multiple of 18?
False
Suppose -2*u + 179 = 5*r, 5*u + 0*u = 3*r + 463. Is u a multiple of 33?
False
Suppose -3*s + 2*r - 31 + 142 = 0, 0 = 3*s + r - 102. Is s a multiple of 5?
True
Let p be (6/(-5))/(2/10). Let n(r) = -3*r - 9. Is 9 a factor of n(p)?
True
Let a be 2/(-6) + (-8)/(-6). Let f be (a + -2)*7/(-1). Suppose -5*o = 25, 7*o + f = -2*c + 4*o. Does 2 divide c?
True
Suppose 0*y + 72 = 4*y. Does 13 divide y?
False
Let b = -6 + 10. Is (-1 - b/(-3))*6 even?
True
Let n(q) = -6*q - 20. Does 18 divide n(-9)?
False
Let s = 102 - 37. Let k = -33 + s. Is 13 a factor of k?
False
Let v(k) = 6*k. Is 16 a factor of v(8)?
True
Let r(a) = a**2 + 50. Let m be r(0). Suppose 34 = 3*b + 2*d, 5*b + 0*d + 5*d = m. Let j = b + -6. Is 4 a factor of j?
True
Suppose -b - 3 = -0*b. Does 6 divide (-10)/((-1)/((-6)/b))?
False
Let r = -28 + 59. Does 4 divide r?
False
Let x = -10 + 15. Suppose -5*f + 2*f = 5*j - 132, -x*j = f - 134. Is 27 a factor of j?
True
Let a be (-13)/(-3) - 16/(-24). Suppose -a*b + 17 + 113 = 0. Does 15 divide b?
False
Suppose -2*l + 46 - 10 = 0. Does 5 divide l?
False
Let z be (-18)/(-4)*2/1. Let f be 2/((-12)/z - -2). Suppose -4 + 43 = f*t. Does 13 divide t?
True
Suppose 1 = -2*h + 11. Let w(j) = j + 2. Let n be w(-3). Is (h + -2)/n - -29 a multiple of 13?
True
Suppose 41 = -2*d + 5*l, -d + 4*l - 1 = 27. Let j = 2 + d. Let q(y) = -4*y - 9. Is q(j) a multiple of 11?
False
Let p be (2/4)/((-1)/(-78)). Suppose -7*s = -4*s - p. Does 13 divide s?
True
Let q be (14/3)/(4/42). Is 14 a factor of 14/q + 766/14?
False
Suppose 2*s = -3*l + 94, -l + 5*s - 3*s = -34. Is l a multiple of 16?
True
Let v(r) = r**3 - 11*r**2 - 2*r + 15. Let h be v(11). Let j be (4 + -1)/(7/h). Does 14 divide -3*(-5 + -1 + j)?
False
Is 0/(-1) + 2 + (138 - 5) a multiple of 27?
True
Let v = 25 + 64. Does 22 divide v?
False
Suppose 5*o + 1788 = 17*o. Is 10 a factor of o?
False
Suppose 3*g = 4*g + 2, -3*b + 4*g = -26. Does 3 divide (-4 + -1)/((-5)/b)?
True
Let m(f) = 5*f + 1. Is m(4) a multiple of 7?
True
Suppose 0 = 2*o - 3*o + 69. Is o a multiple of 18?
False
Let m be 5 + (-1)/(-1) - -1. Suppose -4*h + 1 + m = 0. Does 9 divide (2/6)/(h/198)?
False
Let p(k) = k**2 - k + 4. Is 9 a factor of p(4)?
False
Suppose -g = 3*g - 4*a - 100, -2*g - a + 53 = 0. Is g a multiple of 13?
True
Suppose -p + 3*h = 6 - 76, 0 = -3*p - 4*h + 210. Suppose 3*u + 5*b = 160, -5*b = 4*u - 3*u - p. Is u a multiple of 17?
False
Let s(a) = 7*a - 2. Does 13 divide s(17)?
True
Suppose 0 = 7*f - 2*f - 85. Does 12 divide f?
False
Let o be 16/(-3) + (-10)/15. Let g be o/(-10) + (-188)/(-20). Suppose h = 2*z - 3*h, -5*h + g = 0. Is z even?
True
Let g(a) = 7*a**2 + 11*a + 4. Is 7 a factor of g(-3)?
False
Let x be (-3320)/45 - (-4)/(-18). Let y = 56 - x. Suppose -2*i = 3*i - y. Is i a multiple of 13?
True
Suppose -i - 3*i + a = -124, 0 = 5*i - 5*a - 140. Suppose -5*c + 4*c + 2 = 0. Suppose c*g + b + 4 = 5*b, i = 5*g + 4*b. Is g even?
True
Suppose -4*q + 4 = 4*r, 5 = r - 5*q + 2*q. Is -5 + 3 - -15 - r a multiple of 11?
True
Let l be 6/(-2) - (-6)/1. Suppose 0 = -h + 4*w - 7, 3*w = -h + l + 4. Is 4 a factor of h/(-2) + 57/6?
False
Does 17 divide (-185)/(1 - 5 - -3)?
False
Let b be (-86)/(-10) - 4/(-10). Let w = b + -3. Is 6 a factor of 14 + -1*w/2?
False
Let i(k) = k**3 + 2*k**2. Let s be i(-2). Let f be 1 - (s/(-3) - -21). Is (-1)/(-4) - 255/f a multiple of 4?
False
Let y(s) = -s**3 + 11*s**2 - 8*s + 8. Let z be y(6). Suppose u = -4*u + z. Is u a multiple of 14?
True
Let i = -2 + 7. Suppose -80 = u - i*u. Let g = 32 - u. Is g a multiple of 6?
True
Let p(u) = u**3 - 5*u**2 - 5. Is p(6) a multiple of 11?
False
Is 16 a factor of 4 + (-1)/(4/8) + 430?
True
Let w = 10 - 6. Suppose -2*i = -w*i + 58. Is i a multiple of 8?
False
Is (8/6)/(4/138) a multiple of 26?
False
Suppose -4*g - 45 = -5*g. Does 9 divide g?
True
Let l(y) = 28*y - 4. Is l(2) a multiple of 18?
False
Suppose 5*m + 69 = 9. Let k = -8 - m. Is 4 a factor of k?
True
Let a(u) = u**2 + 23*u + 29. Is 3 a factor of a(-22)?
False
Let p(x) = 4*x. Let b be (-17)/(-5) - (-8)/(-20). Let j be p(b). Suppose -l = -2*l + j. Is l a multiple of 12?
True
Let y(q) = q**3 + 5*q**2 - 8*q - 7. Suppose -12 + 36 = -4*h. Is 2 a factor of y(h)?
False
Let w(n) = -2*n**3 - 7*n**2 - 5*n - 1. Is 9 a factor of w(-4)?
False
Let j = -2 - -2. Suppose j = -w - 4 + 37. Is w a multiple of 14?
False
Suppose