)*4/3. Does 14 divide ((-56)/12)/(b/12)?
True
Suppose -2 - 6 = -4*c. Let j be (-1950)/(-35) + c/7. Let o = -33 + j. Is 9 a factor of o?
False
Let t be (2*35/10)/1. Let p(m) = m**3 - 4*m**2 - 12*m + 15. Let q be p(t). Suppose 4*o - 3*o - q = 0. Is 13 a factor of o?
True
Let g(y) = 10*y. Let t be ((-16)/(-10))/((-4)/270). Let z be ((-4)/6)/(12/t). Is 18 a factor of g(z)?
False
Let h(x) = -4*x**2 + 8*x**2 - 6 + 20*x**2. Let b = 14 + -16. Is h(b) a multiple of 15?
True
Let m(w) = -4*w - 4 - 7 + 1 + 5*w. Let j be m(14). Suppose -j*q + 217 = c, -2*c = q + 2*q - 164. Is q a multiple of 10?
False
Let y(a) = -3*a - 4. Let c be y(-4). Suppose -2*o = c, -t + 116 = t - 5*o. Is 24 a factor of t?
True
Suppose 0 = -2*l + 10. Suppose -1200 = l*y - 20*y. Does 40 divide y?
True
Suppose 194 = y + y. Let k(h) = 2*h**2 - 17*h - 4. Let v be k(9). Suppose v*d = -w - 2*w + 229, -2*d - 3*w = -y. Is d a multiple of 22?
True
Suppose -3 = -3*a, -f - 4*f - 27 = -2*a. Let i(h) = -3*h - 12. Let s be i(f). Suppose s*b - 4*b = -38. Does 5 divide b?
False
Let l = -56 - -58. Suppose 798 = 5*r + l*r. Is 24 a factor of r?
False
Let t(k) = -k**2 - 1. Let p(s) = -24*s**2 - 4*s + 9. Let g(y) = -p(y) - 5*t(y). Is 30 a factor of g(2)?
True
Suppose 0 = -5*b + 4*m + 1122, 4*b + m - 910 = -2*m. Let d = 348 - b. Does 22 divide d?
False
Let z(n) be the first derivative of -n**4/4 + n**3 + 3*n**2 - 2*n - 11. Let f be z(4). Suppose f*k - 70 = k. Is k a multiple of 14?
True
Let p be 2/(-7) + (-1502)/(-14). Let k = -88 + p. Does 19 divide k?
True
Suppose 3*q - 4*q = -2055. Let t be (-1)/(-5) + q/(-25). Does 6 divide 18/30 + t/(-5)?
False
Let q be (-4)/(-12) + 168/9. Suppose 3*w = 4*z - 88, w = -z - 4 + q. Is z a multiple of 19?
True
Let o(w) = 65*w - 30*w + w**2 + 46 - 34*w + 44. Is o(0) a multiple of 17?
False
Let p = -1549 - -2773. Does 51 divide p?
True
Let g be (-1476)/(-21) - 10/35. Suppose -7*c - g = -448. Does 13 divide c?
False
Let c(v) = v**3 + 3*v**2 - v - 1. Let l be c(-3). Suppose 0 = 2*k - l*p - 3 - 1, 5*k - 26 = p. Is 4 a factor of k?
False
Is (-3)/15 - (-2 - (-276)/(-5)) a multiple of 2?
False
Suppose 6*s = 4*s + 644. Suppose -p = -3*a + 4*p + s, 2*a = p + 203. Is a a multiple of 16?
False
Let u(g) = 28*g**2 - 10*g + 30. Is 6 a factor of u(4)?
True
Let o(w) = w**3 - 8*w**2 + 8*w - 5. Let g be o(7). Suppose z - 216 = -g*z. Suppose 4*y - y = z. Is y a multiple of 8?
True
Let m(s) = 3*s**2 + 25*s + 10. Does 7 divide m(-11)?
True
Let d(v) = -32*v - 115. Is d(-17) a multiple of 13?
True
Let k = 1569 - -1371. Is 35 a factor of k?
True
Suppose 2*i - 18 = -3*w + w, 5*w - 43 = -3*i. Suppose -12*a + 368 = -w*a. Is 23 a factor of a?
True
Suppose 2*i + 2 = 8. Let s = -184 + 190. Is (3 + 34/s)*i a multiple of 6?
False
Suppose -u - r = -466, 3*u - 4*r - 1404 = -r. Is 27 a factor of u?
False
Suppose 2*p + 5*x = 250, 4*p + 19*x = 17*x + 516. Does 13 divide p?
True
Let k(r) = 4*r**2 - 61*r - 121. Let d(b) = b**2 - 20*b - 40. Let n(j) = -7*d(j) + 2*k(j). Is n(-16) a multiple of 5?
False
Let l(s) = 3*s**2 + 2*s - 1. Let v be l(-2). Let m = 128 - 59. Suppose -v*p = -4*p - m. Is p a multiple of 14?
False
Let h(u) = -3*u**3 + u - 2*u**2 - 10*u**3 + 19*u**3. Let m be h(1). Suppose -25 = -j - 5*k, 0 = -m*j + 2*j - 5*k + 65. Is 20 a factor of j?
True
Suppose 39*x - 46*x = 0. Let b(q) = 3*q**2 - q + 1. Let s be b(1). Suppose -s*f + 21 + 138 = x. Is f a multiple of 18?
False
Let n = 677 + -83. Is n a multiple of 7?
False
Let i be 19 - (-7)/((-28)/(-8)). Let h be i*(200/(-12))/5. Let c = -36 - h. Does 17 divide c?
True
Let p(d) = d**3 + 15*d**2 + 14*d + 11. Suppose 6 + 2 = 2*o. Let l(q) = -q**2 + 2*q - 6. Let j be l(o). Is 5 a factor of p(j)?
False
Suppose g - 5 + 2 = 0. Suppose -2*n + n - 5*x - 20 = 0, -n - g*x = 10. Suppose -7*y - 5*j = -2*y - 100, -n*j = -20. Is 4 a factor of y?
True
Let y(d) = -52*d - 36. Does 42 divide y(-12)?
True
Is 25 a factor of (-353)/((-16)/16*1/1)?
False
Let y(t) = 9*t - 28. Is 6 a factor of y(13)?
False
Suppose 19*y - 23984 = 8354. Is y a multiple of 46?
True
Suppose -y = 3*i - 192, 5*y + 296 - 1280 = -3*i. Is 66 a factor of y?
True
Let o(j) = -j**3 + 10*j**2 - 8*j - 7. Let w be o(9). Suppose -w*u = -36 - 140. Is 18 a factor of u?
False
Let y = -829 + 1165. Suppose -8*b + y = -2*b. Does 7 divide b?
True
Let t(q) = -17*q**2 + 71*q - 71. Let k(c) = 6*c**2 - 24*c + 24. Let x(w) = -11*k(w) - 4*t(w). Is x(11) a multiple of 7?
True
Let u(w) be the third derivative of 0*w + 5*w**2 + 1/3*w**3 - 1/6*w**4 + 1/15*w**5 + 0. Is 10 a factor of u(2)?
True
Suppose 2*k + 0*k = 5*c + 125, 0 = 3*c + 15. Is 30/k + 57/5 a multiple of 2?
True
Suppose k = -0*k - 4, 3*s + k + 4 = 0. Suppose -4*a + 12 = -2*d - s*a, a = 2*d. Suppose -d*n + 7 = -11. Does 4 divide n?
False
Let t(h) = -35*h + 56. Does 21 divide t(-16)?
False
Let m(f) = f**3 + 11*f**2 - 33*f - 2. Let s be m(-14). Let u = s + 170. Is 7 a factor of u?
True
Let m be (16/24)/(4/150). Suppose -5*j + 10*j = m. Suppose 0*d + 32 = 4*d - 2*g, 3*d = -j*g + 11. Is d even?
False
Suppose 0 = 4*n - 25*m + 28*m - 1313, 0 = 4*n + 5*m - 1319. Is n a multiple of 10?
False
Let d(g) = -299*g**3 - 3*g**2 + 8*g + 12. Is d(-2) a multiple of 24?
True
Is (-1)/(-4)*20 - -343 a multiple of 18?
False
Let p = 26 - 59. Let r = -30 - p. Is 2 a factor of r?
False
Let b = 558 + -264. Is 14 a factor of b?
True
Is (-2574)/(-27) - -3 - 1/3 a multiple of 7?
True
Let y be ((-4)/7)/((-2)/7). Let g be (-10)/(5*y/105). Let i = g - -156. Does 17 divide i?
True
Let s(i) = -1 + 0*i + 0*i - i**2 + i + 4*i**3 + 8*i**3. Let x be s(2). Suppose 0*a - x = -4*y + a, 4*y = -2*a + 78. Does 22 divide y?
True
Suppose -609 = p - 2139. Does 11 divide p?
False
Suppose 46 = 4*y - 18. Suppose -1 = 5*a - y. Suppose -a*k + 104 = k. Is 4 a factor of k?
False
Let n be (-6)/(-4)*1*22. Let x = -59 + n. Does 6 divide 1 - x - (2 - 2)?
False
Suppose 3*l - 5 = 3*w + 34, 2*l + 22 = -w. Let r be 16/6*(-12)/w. Is ((-36)/(-30))/(r/50) a multiple of 5?
True
Suppose -25*b = -1988 - 1762. Is 5 a factor of b?
True
Let k(p) = 2*p**2 + 13*p + 8. Is k(-8) a multiple of 16?
True
Suppose 13*v = 7*v + 1980. Is 10 a factor of v?
True
Suppose 30*z + 11504 - 46064 = 0. Does 96 divide z?
True
Let f(w) = -3 + 4 - 5 - 7*w**2 + 18*w**2. Is f(-3) a multiple of 19?
True
Is 19 a factor of (-45 - -43)/(2/(-973))?
False
Suppose 26 = 5*f - 54. Suppose v - 31 - f = 0. Does 12 divide v?
False
Let f(m) = 309*m**2 + 8*m + 7. Is f(-1) a multiple of 14?
True
Is (-4864)/(-14) - (-144)/252 a multiple of 15?
False
Suppose -51 = -3*a - 54. Is 10 a factor of 23 + (2 + 1)*a?
True
Let k be (-2 - (-4 + 0)) + 0. Suppose 0*t = -k*t - 4. Let a(y) = y**3 + 4*y**2 - y - 2. Is a(t) a multiple of 4?
True
Suppose -4*g = 5*n - 116, -5*g + 4 + 15 = n. Let r be 6/15*40 + (1 - 3). Let v = n - r. Is 5 a factor of v?
True
Does 5 divide 244/(-1 - -3) - 6?
False
Let g be ((-17)/(-2))/(2/12). Suppose 3*w + 5*y - 54 = 0, -2*y + g = 3*w + 2*y. Is 11 a factor of (31*1)/(14 - w)?
False
Suppose a + 1 = 21. Suppose -6*s = -2*s - a. Suppose 0 = u - s*u + 180. Is u a multiple of 26?
False
Let c = -10 + 17. Let p = c - -24. Does 7 divide p?
False
Suppose -3*k + 2199 = -0*r + 2*r, 0 = -4*r + 2*k + 4390. Suppose -4*d + 2*v + r = 0, -v + 221 + 886 = 4*d. Is d a multiple of 46?
True
Suppose 0 = 2*f - 112 - 3556. Is f a multiple of 76?
False
Let v be (-3)/1 + (17 + -3)/(-2). Let u = v + 135. Is 44 a factor of u?
False
Suppose i = 4*i - 9. Suppose 0 = i*p - 7 + 1. Does 4 divide (2/p)/2*8?
True
Let l(g) = 16*g - 17. Let w be l(6). Suppose w = -m + 120. Is m a multiple of 6?
False
Let d = -6 + 7. Let j(m) = 5*m - d - m**2 + 5*m - 9 + m. Does 9 divide j(7)?
True
Let s be 1*26/(-4)*-2. Let d = -8 + s. Suppose 0*p + 15 = 4*n - d*p, 4*p = 4. Is n even?
False
Suppose 0 = 2*j - 5*h - 3260, 6548 = 4*j + 8*h - 11*h. Is j a multiple of 10?
True
Let u = 17 + 100. Is 13 a factor of u?
True
Let a = 52 + -48. Let i(k) be the second derivative of k**5/20 - k**4/12 - 2*k**3/3 + 2*k. Is i(a) a multiple of 16?
True
Let r = 95 + -116. Does 5 divide (-7)/(r/(-12))*60/(-16)?
True
Let q(y) = 6*y**2 + 1. Let s be 3 + 2 + 3 - 1. Let o = 10 - s. Is 19 a factor of q(o)?
False
Suppose 788 = 43*c - 41*c. Does 12 divide c?
False
Let b(g) = g**2 - 7*g - 243. Does 86 divide b(41)?
False
Let k(b) = b**3 + 6