uppose 5*h + 61 + 169 = q*i, -2*i = -5*h - 104. Is i a multiple of 14?
True
Suppose 2*w = 6*w + 8. Is (-83)/w - 3/(-2) a multiple of 17?
False
Let p = 17 + -11. Let d = 8 - p. Let j(r) = r**3. Is 4 a factor of j(d)?
True
Let u(j) = -j**3 - 7*j**2 + 4*j + 8. Let p = 1 - 8. Let a be u(p). Let x = -10 - a. Does 5 divide x?
True
Let r(d) = -d**3 - 6*d**2 - 2*d + 2. Let j be r(-4). Does 3 divide (4/(-8) + 0)*j?
False
Does 12 divide (-108)/42*196/(-6)?
True
Let v(n) = 6*n - 4. Let j be v(3). Let a = j + -5. Is 4 a factor of a?
False
Let a(h) = h - 6. Let l be a(8). Suppose -l*z = -5 - 1. Does 2 divide z?
False
Does 7 divide ((1 + -73)/2)/(15/(-20))?
False
Suppose 5*x - 490 = 85. Is x a multiple of 29?
False
Let q(m) = -m**3 - 7*m**2 - 3*m - 8. Let j be q(-7). Suppose j = -s + 42. Is 9 a factor of s?
False
Suppose 2*t + 4*o - 179 = -t, 3*o = 15. Suppose -2*a = -a + 13. Let b = t + a. Does 14 divide b?
False
Let k(u) = 10 - u**3 + 9*u + 6*u**2 - 2*u + u**2. Let i be k(8). Is 3 a factor of (-4)/((-8)/5)*i?
False
Let b = 6 + -7. Let a(n) = -16*n**3 + n. Is 8 a factor of a(b)?
False
Suppose -169 - 191 = -5*g. Is 18 a factor of g?
True
Suppose 0 = 7*z - z - 252. Does 6 divide z?
True
Let y be (-1)/(1 - 6/5). Suppose m - 12 = 5*m. Does 5 divide (m/y - -1)*25?
True
Let w = -64 + 30. Let y = 47 + w. Is 13 a factor of y?
True
Let s(j) be the third derivative of j**5/30 - j**4/24 + j**3/3 - 3*j**2. Is 4 a factor of s(-2)?
True
Let t = 2 - -23. Suppose -t = -4*m - m. Is 2 a factor of m?
False
Suppose 0 = -3*g + 21 + 3. Suppose 4*i + g = 3*i. Is 14 a factor of -2*(i + (-3 - -1))?
False
Let b(v) = v**3 + 4*v**2 - 4*v - 6. Let m be b(-5). Let c = m + 19. Suppose c*a = 3*a + 50. Is 5 a factor of a?
True
Suppose -90 = -2*m - 7*m. Is m a multiple of 3?
False
Let m = -4 + 15. Suppose -2*a + 50 = 2*f, 7*f = 2*f + 3*a + 93. Let x = m + f. Is x a multiple of 16?
True
Let y(l) = l**2 - 6*l + 1. Let n = -12 - -20. Does 7 divide y(n)?
False
Suppose -3*p + 1 = 13. Let r(k) = k + 3. Let z be r(p). Is 20 a factor of (1 + z - 46)/(-2)?
False
Let q = 1 - 3. Let z = q + 5. Let l(g) = -g**2 + 6*g + 1. Does 9 divide l(z)?
False
Suppose z = -t + 2*z + 4, 4*t + 3*z = 16. Suppose -3*v - 9 = -t*v. Is 3 a factor of v?
True
Let l(w) = 3*w. Let y be l(-1). Let h(t) = -4*t + 4. Is h(y) a multiple of 8?
True
Let d = 46 + -73. Let x = -11 - d. Does 6 divide x?
False
Let t(a) be the first derivative of a**4/4 - 8*a**3/3 + 2*a**2 - 8*a - 2. Let o be t(8). Suppose -2*g + o = -f, 3*g - 4*g - 3*f + 19 = 0. Does 13 divide g?
True
Let b(x) = 55*x - 1. Does 18 divide b(1)?
True
Suppose 212 - 1120 = -3*t + 5*k, 0 = -5*t + 4*k + 1522. Is 51 a factor of t?
True
Let l be 2058/70 - (0 - (-4)/10). Let x = -1 - -3. Suppose -5*c + 74 = v + l, -46 = -x*v + c. Does 15 divide v?
False
Let z be (-5 + 2)*(-65)/15. Suppose z*i = 12*i + 8. Is i a multiple of 2?
True
Let p be 0*2/4 + 0. Let a be 3/(-12)*-2*p. Suppose 21 = 2*o - g, 2*g - 2 + 8 = a. Is o a multiple of 4?
False
Let f be (-3)/2*-2 - 1. Suppose -3*p = f*p - 345. Is p a multiple of 18?
False
Suppose 4*l + 170 = 9*l. Is 17 a factor of l?
True
Let g be (1 - 1) + (-24)/(-8). Let u(t) = -t**3 + 4*t**2 - t. Does 3 divide u(g)?
True
Suppose 0 = -8*h + 4*h - 4, -5*h = 4*f - 119. Is 6 a factor of f?
False
Let z = 39 + 170. Does 31 divide z?
False
Suppose 22 = b - 5*q, -3*b - 2*q - 24 = q. Let w be b*39/(-3)*3. Suppose -3*i = 5*h - w, -54 = 5*h + 5*i - 169. Is h a multiple of 14?
False
Let u = -8 - -137. Is 36 a factor of u?
False
Suppose -14*l + 2*l + 444 = 0. Is 4 a factor of l?
False
Let i = 80 - 41. Suppose -66 - i = -5*d. Does 7 divide d?
True
Suppose u = -35 + 1. Let w = -19 - u. Suppose -3*h = -4*h + w. Does 5 divide h?
True
Let c = -187 + 79. Is c/45*80/(-6) a multiple of 8?
True
Let g(c) = c**3 - 9*c**2. Let m be g(9). Suppose -4*i + 73 + 11 = m. Is 16 a factor of i?
False
Let g = 143 + -44. Does 9 divide g?
True
Let t(f) = f**3 + 6*f**2 + f - 2. Does 6 divide t(-5)?
True
Suppose 5*x = 10, -3*v - v - 4*x = -12. Suppose l = 1 + v. Suppose 7*w = l*w + 125. Is w a multiple of 15?
False
Suppose 3*h - 4*h + 330 = 0. Is (-2)/(-7) - h/(-21) a multiple of 16?
True
Is (-5 - -9 - -137) + -3 a multiple of 19?
False
Let o(y) = y**2 + 8*y + 8. Let i be o(-8). Suppose -i = c - 34. Is 9 a factor of c?
False
Let w be (2/(-10))/(1/(-5)). Does 2 divide 8/((w*-4)/(-2))?
True
Let k be 1/(-5) - (-11)/5. Is 14 a factor of k/(2 - 63/33)?
False
Let v(i) = -i**2 - i. Let z(g) = g**2 - 3*g + 2. Let r(t) = -2*v(t) - z(t). Does 11 divide r(-8)?
True
Is 6/(-4)*(-120)/18 a multiple of 5?
True
Let r(j) be the first derivative of 2*j**3/3 - j + 2. Is r(-2) a multiple of 3?
False
Is -4*((-54)/8 - -4) a multiple of 8?
False
Let l = -2 - 0. Let x = l + 3. Is 9 a factor of 15*x*(-10)/(-6)?
False
Let m be 1/(4/8) + -2. Suppose -3*n - 3*r + 33 = r, m = -2*n + 2*r + 22. Is 4 a factor of n?
False
Let f(q) = 2*q + 4 - 2*q - q**2 - 6*q + 2*q. Is f(-4) even?
True
Suppose -w - 2*o = -18, -4*o = 4*w + 19 - 95. Does 2 divide w?
True
Let c(b) be the third derivative of -b**6/60 - b**5/12 + b**4/24 - b**3/3 + 3*b**2. Is c(-4) a multiple of 14?
True
Suppose 14*u - 33 = 13*u. Is u a multiple of 11?
True
Let r be (-2)/8 - (-50)/8. Let j = -3 - r. Is 3 a factor of 20/6 + 3/j?
True
Does 18 divide (-6 + 5)*(-240 - 0)?
False
Let m(o) = -29*o + 13. Is m(-7) a multiple of 27?
True
Let z(p) = -p**3 - p + 13. Let m(k) = 8*k**3 - k**2 + 1. Let d be m(1). Suppose -2*q - 6*s = -s - 20, 2*s - d = 3*q. Is z(q) a multiple of 5?
False
Suppose -5*n - 25 = -5*a, n = -a - 4*n + 5. Suppose 10*l = 5*l - a. Is (-117)/(-6) + l/2 a multiple of 8?
False
Suppose -3*i + 9 = 0, -2*i - 2*i = -f - 9. Suppose r + 88 = f*r. Is r a multiple of 22?
True
Suppose 3 + 0 = 3*t. Let z(d) = 31*d**3 - d**2 - d + 1. Let q be z(t). Suppose q = 8*h - 3*h. Is 6 a factor of h?
True
Suppose 7*p - 8 = 3*p. Suppose k + p = -4*u + 14, -5*k + 26 = 3*u. Is u a multiple of 2?
True
Let d(y) = -y**3 - y - 8. Is 12 a factor of d(-4)?
True
Suppose -k + 51 = 2*k. Is k a multiple of 5?
False
Let c = 3 - 6. Let k = c - -3. Suppose k = -4*l - 3*r + 47, -3*r = 4*l - 2*r - 45. Is 9 a factor of l?
False
Suppose -4*s + 5*s - 3*y = 13, s - 19 = 5*y. Suppose s*q = -v - 18, 0 = 3*q + 9 + 6. Suppose 0*g = -3*g + 6, -v*p = -3*g - 32. Is p a multiple of 18?
False
Let c be 1 - (-1 - (3 + 5)). Is 7 a factor of 852/30 - 4/c?
True
Does 9 divide (-14*1 + 2)*42/(-28)?
True
Let u(a) = 6*a - 1. Is 11 a factor of u(2)?
True
Let c(l) = 11*l - 13. Does 5 divide c(5)?
False
Suppose 0*u = -4*u - 8. Suppose 0 = -4*h + 5 - 13, 0 = -5*k - 5*h - 35. Let g = u - k. Is g a multiple of 2?
False
Let f = 33 + -6. Is 9 a factor of f?
True
Suppose 2*k + k - 90 = 0. Is 15 a factor of k?
True
Suppose 0*i - i = -22. Suppose -4*j + 26 = -i. Does 12 divide j?
True
Suppose -5*i + 1500 = 300. Is i a multiple of 41?
False
Suppose -2*s = 5*z - 7*s + 80, -3*s - 37 = 2*z. Let j = z - -25. Let c = j + 1. Is 9 a factor of c?
True
Suppose -h - 3*l + 23 = -0*h, -h = l - 29. Let a = 50 - h. Is 13 a factor of a?
False
Let o(q) = -2*q**3 + 6*q**2 + 3*q + 4. Let u be o(-4). Suppose 0 = h + 2*h - u. Let g = -35 + h. Is g a multiple of 15?
False
Let v(p) = 30*p - 11. Is v(6) a multiple of 13?
True
Let l(s) = -s**3 + 11*s**2 + 18*s - 22. Is 16 a factor of l(12)?
False
Let s(b) = -b**3 + 3*b**2 - 3*b + 2. Let i(t) = t - 1. Let m be i(3). Let j be s(m). Suppose -4*r + 2*p + 24 = -3*r, j = 5*r - p - 147. Is r a multiple of 13?
False
Let u be 32/3 - 2/3. Let v be u/(-15) - (-20)/3. Does 11 divide (v/6)/((-2)/(-22))?
True
Is 62 + 0 - (-20 - -17) a multiple of 29?
False
Let w(u) be the first derivative of -3*u**2 - 4. Is 24 a factor of w(-4)?
True
Let x(k) = -k**2 + 6*k. Let i be x(-3). Does 10 divide (-3 - i - -3)*1?
False
Let j(l) = l**2 - 8*l + 9. Suppose 0*x = 4*x - 24. Let t be j(x). Is (2/(-3) + -1)*t a multiple of 4?
False
Let k = -1 + 4. Suppose 0 = -3*y + 3*u - k, 2*u + 8 = -5*y + 6*u. Let p = 8 - y. Is 4 a factor of p?
True
Let a = -31 - -69. Does 20 divide a?
False
Let x(r) = -30*r + 2. Let o be x(-2). Let l(q) = -q**2 + 12*q - 4. Let h be l(8). Let z = o - h. Does 17 divide z?
True
Let l(n) = -24*n + 6. Let x be l(6). Let d be x/(-9) - 4/(-6). Suppose -d = -3*k + 56. Is k a multiple of 11?
False
Suppose -4*