Suppose p = 2*l + 3*l. Is l a multiple of 19?
False
Does 17 divide 190/(-2 + 6 - 2)?
False
Let y(m) = -7*m**3 - 2*m**2 + 8*m + 4. Let o be y(-6). Let g be (-2)/(-10) - o/(-20). Suppose -4*w + 234 = g. Is 11 a factor of w?
False
Let p = 995 + -657. Does 21 divide p?
False
Let z(c) = -21*c - 90. Let u(d) = 3*d + 13. Let k(n) = 27*u(n) + 4*z(n). Let i be k(-6). Suppose 7*a - 4*a - i = 0. Does 3 divide a?
True
Let x be (-97)/(-2)*(2 + 0). Suppose 3*a = -4*v - 2 + x, 2*a + 90 = 5*v. Does 12 divide v?
False
Let l = 54 + -21. Does 7 divide l?
False
Let p = 439 + -311. Is 32 a factor of p?
True
Suppose w = 8 - 3. Suppose -x - 5*n = -0*x - 54, 0 = -3*x - w*n + 142. Is x a multiple of 11?
True
Let j = -44 + 79. Is 8 a factor of j?
False
Suppose 0 = -5*o - x + 28, 5*o - 10 = 2*o - 4*x. Suppose h = -4*h - 2*m + 29, 0 = -3*m + o. Suppose 2*k - 42 = -3*l, h*l - 5*k - 28 = 17. Does 7 divide l?
False
Let h(m) = -m**3 - 12*m**2 + 12*m - 10. Let z be h(-13). Suppose -6 = 3*i, 2*i + z*i + 22 = 2*o. Is o even?
True
Let f = 18 + 0. Does 3 divide f?
True
Let f be (-340)/(-30) + (-4)/(-6). Suppose 3*h + f - 60 = 0. Is h a multiple of 16?
True
Let d = 18 - -33. Does 17 divide d?
True
Suppose c - 124 = -c. Does 14 divide c?
False
Suppose -914 = -5*c - 2*i, -2*i - 178 = -0*c - c. Is c a multiple of 53?
False
Suppose -5*k - 2*u + 763 - 28 = 0, -5*u - 147 = -k. Does 39 divide k?
False
Let s = 85 + -25. Is 20 a factor of s?
True
Suppose 70 = u - 4*y, 0 = -4*y + 2*y + 4. Does 10 divide u?
False
Let t be (16/28)/(2/14). Suppose -4*h = -t*f - 34 - 34, 2*h - 3*f - 36 = 0. Does 3 divide h?
True
Let a(x) = -4*x - 2*x - 2*x**2 + 4 - 7 + x**2. Suppose 2*c - 8 = 0, 0 = -5*f + c - 37 + 13. Is 5 a factor of a(f)?
True
Suppose -3*l = l + 40. Let g = 18 + l. Suppose -2 = -t + g. Does 9 divide t?
False
Is (-6 - 19080/(-56)) + 2/7 a multiple of 35?
False
Let d = 26 + -9. Let s = 0 + d. Is s a multiple of 9?
False
Suppose -2*m - 1 + 9 = 0. Suppose -2*i + 115 = 4*b - b, 5*b - m*i = 177. Is 33 a factor of b?
False
Let a = 7 + -3. Suppose 2*m - u - 2*u + 10 = 0, a*m + 20 = -2*u. Let c(v) = -5*v - 7. Is 9 a factor of c(m)?
True
Suppose 4*m + 225 = 13*m. Is 25 a factor of m?
True
Let g(v) = v**3 - 5*v**2 - 3*v. Let r be (-4)/(-3 - (-28)/12). Does 6 divide g(r)?
True
Suppose -326 = -2*w + 4*s, -1 - 4 = s. Does 9 divide w?
True
Let q(p) = -p**3 + 4*p**2 + 6*p + 4. Let j be q(5). Let d(o) = 8*o - 1. Let r be d(3). Suppose -w + j = -r. Is w a multiple of 16?
True
Let o(f) be the first derivative of -f**4/4 - 2*f**3 + 3*f**2/2 + 1. Is 28 a factor of o(-7)?
True
Is 1784/72 - 4/(-18) a multiple of 12?
False
Let u(w) = w - 10. Is u(17) a multiple of 6?
False
Let f(m) = -4*m**3 - 4*m**2 - 5*m - 6. Is 18 a factor of f(-4)?
False
Suppose q - 17 = 3*x, -4*x - 2*q = -0*x + 16. Let i(y) = -8 - 7*y + 2 - 1. Is i(x) a multiple of 14?
True
Suppose -6*r = -875 - 97. Let j = -91 + r. Is j a multiple of 22?
False
Suppose -13 + 4 = -3*w. Suppose -4*n = -2*s - 2*n - 58, -w*s + 5*n - 93 = 0. Is 10 a factor of 2/4*-2 - s?
False
Let h(v) = 2*v - 6. Suppose -3*z - 2 = 4*s - 18, 4*z = 0. Let j be h(s). Suppose j*i + i = 72. Is 11 a factor of i?
False
Suppose 4*g + 31 = -5*u + 6*u, 5*g - 155 = -5*u. Let k = 51 - u. Does 7 divide k?
False
Suppose 0 = 8*d - 119 - 73. Is d a multiple of 12?
True
Let n(u) = 4*u - 2 - 5*u + 0. Does 5 divide n(-7)?
True
Let t = -33 - -89. Suppose 4*y - t = 32. Suppose -4*a = h + h - y, -3*a = 0. Is 11 a factor of h?
True
Suppose -4*n = -2 + 14. Suppose 4*z - 4*p - 4 = 0, -4*z - 1 = p - 6*p. Is 4 a factor of 9/z*(-16)/n?
True
Suppose -40 = -2*z + z. Let y = z - 28. Suppose -5*d = -y - 8. Is d a multiple of 3?
False
Let w(y) = y**2 + 5*y + 5. Let j be w(-5). Suppose -j*z + 32 = m + 4, m + 2*z - 13 = 0. Suppose -2*a + m*a - 4 = 0. Does 3 divide a?
False
Suppose -28 = -5*f - 5*u + 172, 2*f - 2*u - 100 = 0. Let b = f - 31. Does 13 divide b?
False
Let k(h) = -h**2 + 11*h - 12. Is k(5) a multiple of 14?
False
Suppose -5*r + 4*f = -287, 4*r = r + f + 168. Is r a multiple of 11?
True
Is (4/6)/(3/459 + 0) a multiple of 26?
False
Suppose 2*m - 3*s - 109 = 0, 5*s + 5 = 4*s. Is m a multiple of 14?
False
Suppose z + 0*z + 3*q = -3, 3*z - 3*q - 27 = 0. Let d(n) = -n**2 + 5*n + 14. Is d(z) a multiple of 2?
True
Is -1*(-1 - (-6)/(-2)) a multiple of 4?
True
Let j = -2 + 4. Suppose 13 = v - 4*a, 3*v - j*a - 9 = -5*a. Suppose 31 = -v*h + 76. Is 8 a factor of h?
False
Let u(s) be the third derivative of s**4/8 + s**3/6 - s**2. Does 10 divide u(3)?
True
Suppose 3*v = -v + 144. Does 18 divide v?
True
Is 25 a factor of -2 + 780/4 + -5 + 9?
False
Let t(z) = z - 8. Let u be t(7). Is 12/u*28/(-16) a multiple of 5?
False
Let y(p) = 2 + 4*p**2 + p**2 + 2*p**2 + 0*p**2 - 2*p. Is y(2) a multiple of 13?
True
Let s(n) = 4*n + 3. Let t be s(-2). Let c(r) be the third derivative of -r**6/120 - r**5/12 - r**4/8 - r**3 - 3*r**2. Does 9 divide c(t)?
True
Suppose -1760 = -5*s + 5*w + 215, -5*w + 1580 = 4*s. Suppose -2*q - 171 = 3*c, -7*q = -2*q + c + s. Let t = -49 - q. Is t a multiple of 15?
False
Let q = -45 + 23. Let c = -47 + 85. Let b = q + c. Is b a multiple of 8?
True
Suppose 2*g + 7*m - 48 = 3*m, 5*g - 94 = 3*m. Let z be (-64)/(-10) - 6/15. Suppose 0 = -5*n + z*n - g. Is n a multiple of 12?
False
Let v(c) = -10*c**3 + 5*c**2 - 15*c + 2. Let h(u) = 7*u**3 - 3*u**2 + 10*u - 1. Let r(k) = -7*h(k) - 5*v(k). Is 2 a factor of r(3)?
False
Let v be 2*3/(-6)*5. Let w = v + 11. Suppose -3*r - 54 = -4*b - 23, 0 = -2*r + w. Is 10 a factor of b?
True
Let j(p) = -2*p - 4*p**2 + 5*p**2 - p + 2. Let z be j(5). Let m = 22 - z. Does 10 divide m?
True
Let a = -271 + 381. Suppose a = -4*h + 5*l + 294, -5*h - l + 201 = 0. Is h a multiple of 10?
False
Let o(h) = 5*h**2 + 2*h - 38. Is o(-8) a multiple of 47?
False
Let a = 162 + -63. Suppose 0 = -0*u - 3*u + a. Is u a multiple of 11?
True
Is 15 a factor of 3/(-3) + -1 + 55?
False
Let c(p) be the first derivative of 5*p**2/2 - 3*p + 2. Does 25 divide c(7)?
False
Suppose 10*j - 7*j - 219 = 0. Let k = j - 10. Is 21 a factor of k?
True
Let j = 52 + -44. Is 8 a factor of j?
True
Suppose 2*h - 15 = 5. Is h a multiple of 10?
True
Suppose 0*o + 24 = -3*o. Let v = o - -16. Does 2 divide v?
True
Suppose 0 = -3*f - 3*a + 120, 6*f = 2*f + 4*a + 192. Is f a multiple of 22?
True
Let x(n) = n**2 + 2*n - 3. Let f be x(2). Let c = f - 2. Suppose -4*s - p = -2*s - 26, 61 = c*s - 4*p. Does 10 divide s?
False
Let h be 5/(((-4)/(-23))/4). Suppose 2 = -4*u + 2*s + 94, 5*u - h = -3*s. Suppose -v = -2*v + u. Is 23 a factor of v?
True
Suppose -3*f = v - 17, f - 3 = 3*v - 4. Suppose -4*n = 4*o - 76, -23 = n - v*n - 2*o. Is n a multiple of 15?
True
Let a(h) = 4*h - 2. Let k be a(2). Suppose -k*t = -t - 160. Does 17 divide t?
False
Let y(d) = d**3 - 3*d**2 + d - 2. Does 9 divide y(4)?
True
Is 17064/243 - (0 + 2/9) a multiple of 14?
True
Suppose 5*l = 6*l - 126. Is 8 a factor of l?
False
Let j(z) be the first derivative of z**5/60 + z**4/24 + 2*z**3/3 + 1. Let f(k) be the third derivative of j(k). Is f(5) a multiple of 5?
False
Let z(o) = -2*o**3 + o**2 - 2*o + 1. Let u be z(1). Let n = u - -6. Does 2 divide n?
True
Suppose 2*i + 5*l = 131, 5*l - 64 = -i - 11. Is i a multiple of 13?
True
Let q be (-1 - -28) + (1 - 1). Let j = q + -11. Is j a multiple of 5?
False
Let x = 47 - 31. Suppose -z = z - x. Let r = 15 - z. Does 3 divide r?
False
Does 4 divide -3*(-14)/(-6)*-2?
False
Let a = 1046 - 650. Is 36 a factor of a?
True
Suppose -2 = -2*o, -5 = 5*n - n - 5*o. Suppose 211 = 4*r + g, 2*g + 10 = -n*g. Suppose 4*p = r + 70. Is p a multiple of 14?
False
Let x = 8 - 10. Let m be x*(-3 - 7) + 3. Let v = 32 - m. Is v a multiple of 9?
True
Does 10 divide 1/(201/50 - 4)?
True
Let c = -19 - -9. Let l = 0 - c. Is 10 a factor of l?
True
Is 3 a factor of 1/(2/26 - 0)?
False
Suppose 3*f = -3 + 15. Let g be (-25 - -2)/(-2 - -1). Let u = f + g. Does 11 divide u?
False
Suppose 0 = -4*u - u. Suppose 0 = 3*x + 3*s - 24, u = 4*s - 2*s + 4. Is x a multiple of 10?
True
Let n = 160 - 83. Is 16 a factor of n?
False
Is 4 a factor of ((-36)/(-24))/(3/10)?
False
Suppose -4*i - 18 = -6. Let q be 1*3 - (3 + i). Suppose 0*d = -d - 2*c + 55, 4*d = q*c + 176. Is d a multiple of 16?
False
Let u = 221 + -133. Does 8 divide u?
True
Suppose -2*p = q + 45, 3*