*y = 2. Does 15 divide 4*7 + 5 + o?
True
Let w = 126 + -76. Does 50 divide w?
True
Let x(u) = 5*u**2 + u + 2. Let i be x(2). Let m = i + -7. Is 5 a factor of m?
False
Let s be 1/4 - 14/(-8). Suppose -45 = s*p - 3*p. Is 15 a factor of p?
True
Let q = -205 + 344. Is q a multiple of 6?
False
Suppose -186 = -5*f + 64. Is 5 a factor of f?
True
Suppose 150 - 556 = -5*d - 3*o, -5*o = -4*d + 310. Let c = d - 44. Is c a multiple of 18?
True
Let c(a) = -4*a**2 + 2*a + 2. Let p(n) = -13*n**2 + 7*n + 7. Let i(j) = -7*c(j) + 2*p(j). Is i(3) a multiple of 9?
True
Suppose 0 = -5*k + 20 + 5. Is 5 a factor of (37 - k)/((-6)/(-3))?
False
Let u(s) = 111*s**3 - s**2 + 2*s - 1. Is 23 a factor of u(1)?
False
Suppose 0 = -3*s - c + 38, s = -c + 13 + 1. Is s a multiple of 4?
True
Suppose -206 = -6*c + 4*c. Does 25 divide c?
False
Suppose i + 3*h = -1, 3*i + 27 = -2*h + 3. Is (-214)/i - 4/10 a multiple of 7?
True
Let k = -12 - -5. Let s(y) = -2*y. Is 14 a factor of s(k)?
True
Let r(h) = h**3 - 13*h**2 + 5*h - 25. Is 10 a factor of r(13)?
True
Let p = 0 - -2. Suppose -18 = -3*v + 3*u, 3*v = u - p*u + 6. Suppose v*h + 15 = b, 125 = 3*b + b + h. Does 11 divide b?
False
Suppose 3*x = 6 - 0. Suppose -5*u + 23 = -x. Is 5 a factor of u?
True
Let h(p) = -p**3 - p - 2 - 4*p**2 + 1 - p**3. Is h(-3) a multiple of 17?
False
Let n = 1 + 1. Let x be 5*((-6)/(-2) - n). Let w(z) = -z**3 + 7*z**2 - 6*z - 1. Is 6 a factor of w(x)?
False
Let k(q) = -q**3 + 13*q**2 - 13*q - 11. Let t(a) = -a**3 + 12*a**2 - 12*a - 10. Let n(x) = 6*k(x) - 7*t(x). Is n(5) a multiple of 6?
False
Let v(i) be the third derivative of i**7/840 - i**6/120 - i**5/15 - 3*i**2. Let j(x) be the third derivative of v(x). Is j(7) a multiple of 12?
True
Suppose -2*i - 3*a = -68, -25 = -i - 5*a + 16. Is i a multiple of 14?
False
Let k(s) be the first derivative of 2*s**3/3 - 3*s**2/2 + 3*s - 1. Does 12 divide k(4)?
False
Suppose 5*d + 2 = 12. Suppose -i = d*i - 84. Is i a multiple of 7?
True
Let w(j) = -j**2 - 6*j - 4. Let m be w(-5). Is m - (1 + -1 + -60) a multiple of 16?
False
Suppose 3*h = i - h - 20, -2*h = 5*i + 10. Let f = i - 0. Let a(v) = v**3 + v**2 - v + 11. Is 5 a factor of a(f)?
False
Does 5 divide (-1 - -4)/((-6)/(-20))?
True
Suppose 2*g + 2 = -2*g + 2*f, 4*g + 3*f = 13. Let i be 2/g - (-1 - 1). Suppose -3*l = -i*l + 24. Is 12 a factor of l?
True
Let k(o) = o + 40. Does 5 divide k(-11)?
False
Suppose 0 = -6*l + 2*l - 80. Let s = l + 30. Is 10 a factor of s?
True
Let s be (-6)/4 - 158/(-4). Suppose -5*d + 36 = y - 4*d, 0 = -y + d + s. Is y a multiple of 25?
False
Let k be 12/8 - (-106)/4. Let v = k - 15. Is v a multiple of 3?
False
Let l(y) = 3*y**3 - 2*y**2 - 9*y + 7. Is 6 a factor of l(3)?
False
Suppose -d + 0*v + v - 1 = 0, 0 = 5*d + 2*v + 26. Let q = d - 2. Let s = 9 + q. Is 3 a factor of s?
True
Let a be 3/(6/4) + -8. Is (-188)/(-12) + (-2)/a a multiple of 16?
True
Suppose -v + 8 = 3*v. Suppose 2*c + v*c = -4*n + 4, 4*n + 3*c - 5 = 0. Suppose 5*w + 5*r - 160 = 0, -n*w = 3*w - 4*r - 133. Is w a multiple of 14?
False
Let s = -101 - -203. Is 34 a factor of s?
True
Let y(d) = 2*d - 2. Let n be y(2). Suppose 2*p = -n*a, p - 2*p + 2 = 0. Is 7 a factor of (-3)/(-6) + (-45)/a?
False
Let k = -1 - -11. Does 4 divide k?
False
Suppose -24 + 81 = 3*u. Does 5 divide u?
False
Let s = -54 - -113. Does 15 divide s?
False
Let y(m) = m**3 + 3*m + 2. Is 9 a factor of y(2)?
False
Suppose 62 - 1054 = -8*y. Is 25 a factor of y?
False
Let z(t) = t**3 + 9*t**2 - t - 20. Is 15 a factor of z(-7)?
False
Let n = 5 - 3. Suppose 5*p - 84 = n*p. Does 14 divide p?
True
Let c(x) = -x - 2. Let s be c(-4). Let i be (-48)/18 - s/(-3). Does 3 divide (-1 + -6)*-1 + i?
False
Suppose 5*d = -4*q - 40, 15 = 2*q - q - 5*d. Is (-42)/(q - -2) + 2 a multiple of 6?
False
Let x(v) = -v + 4. Let m be x(7). Let r = m + 3. Suppose -k + 2*k - 13 = r. Is k a multiple of 13?
True
Let m(f) = -2*f**3 + 3*f**2 - 3*f. Let i be m(2). Let u(p) = -p**3 - 5*p**2 - 5*p - 4. Let k be u(-5). Let o = i + k. Does 5 divide o?
False
Let t be 2/(1/(9/2)). Let j(s) = -4*s + 3. Let v(x) = -4*x + 3. Let l(n) = -7*j(n) + 6*v(n). Is l(t) a multiple of 11?
True
Let q = -10 + 5. Let y = 3 + q. Let s(f) = -2*f**3 + f - 2. Is s(y) a multiple of 6?
True
Let x(f) = -f + 4. Let l be x(3). Does 8 divide 5*(4 + 3/l)?
False
Suppose 4*m + a - 57 = -0*a, -5*m = 4*a - 85. Let n = m + 5. Does 15 divide n?
False
Let i = 22 + 58. Is ((-2)/4 + 1)*i a multiple of 20?
True
Suppose -2 + 10 = 4*n. Suppose n*k + 194 - 66 = 5*x, 0 = 5*k + 20. Suppose -8 - x = -4*r. Is 3 a factor of r?
False
Let x(n) = -11*n - 111. Is 67 a factor of x(-28)?
False
Suppose -5*h = h - 114. Let z(c) = 4*c + 3. Let s be z(-2). Does 14 divide -5*(h/s - -1)?
True
Let a(v) = v**3 + 4*v**2 - v - 2. Let t = 4 - 11. Let c = t + 4. Does 10 divide a(c)?
True
Suppose -p + 0 = 4. Let n(k) = k**3 + 5*k**2 + 4*k + 5. Let a be n(p). Suppose 0 = a*c - 73 - 17. Is c a multiple of 12?
False
Suppose 7*l + 3*s + 9 = 2*l, 2*s = 4*l - 6. Does 7 divide (-3)/(-6)*(68 - l)?
False
Let h = 442 + -253. Does 29 divide h?
False
Suppose -w = 4 + 1. Let z(t) = -8*t + 7. Is 19 a factor of z(w)?
False
Let d be 1 + 576/4 + -2. Suppose 6*g + d = 431. Is 8 a factor of g?
True
Let k be 6/(-5)*30/(-18). Let i be (-282)/(-5) - 2/5. Suppose -k*o = -6*o + i. Is o a multiple of 10?
False
Suppose -10*b = -3*u - 5*b + 161, 4*b + 204 = 4*u. Is u a multiple of 2?
False
Let o(g) = -g**3 + 6*g**2 - 8*g + 4. Is o(3) a multiple of 2?
False
Suppose 5*d = -w - 0*d - 7, 4*d = -2*w + 10. Is 13 a factor of w?
True
Let g = 15 + -10. Suppose g*t - 424 = 81. Is t a multiple of 27?
False
Let s = 3 + 3. Suppose -p - 2*p + s = -3*x, 3*x = 5*p - 18. Is 5 a factor of p?
False
Let t be ((-5)/3 + 1)*-12. Let n = 13 - t. Does 3 divide n?
False
Let q = 56 - 165. Does 32 divide 0 - (0 + -3) - q?
False
Let s be (-11)/(2*2/(-4)). Suppose 0 = -2*m + 113 - s. Is 17 a factor of m?
True
Let k = 2 - -27. Is k even?
False
Let a = 9 - 6. Suppose 0 = -3*d + 3*k + 63, a*k + 19 = -5*d + 116. Is d a multiple of 7?
False
Suppose 96 = 7*u - 5*u. Is u a multiple of 10?
False
Suppose -18*y - 1164 = -24*y. Is y a multiple of 14?
False
Suppose 0 = -7*d + 4*d - 1800. Does 14 divide 2/(-9) - d/27?
False
Let o(k) = 11*k**2 + k - 1. Let n(w) = -w - 3. Let z be n(-4). Does 11 divide o(z)?
True
Suppose -8*m + 251 = 59. Is m a multiple of 12?
True
Let u = 1 + 12. Is 13 a factor of u?
True
Suppose 6*i + 225 = 9*i. Is i a multiple of 26?
False
Let n be (-10)/6*-3*3. Let b = -8 + n. Let x(z) = -z**3 + 8*z**2 - 6*z. Is x(b) a multiple of 4?
False
Let n(v) = -v**2 - 7*v - 2. Let k be n(-6). Suppose -h = -d - 27, 0 = -h - 4*d + k + 3. Does 11 divide h?
False
Suppose 4*t - 45 - 63 = 0. Is 18 a factor of t?
False
Suppose 2*g = -u + 87, -4*u = -4*g - 107 - 181. Does 7 divide u?
True
Let n = 17 + -13. Suppose -5*l + 23 = n*r - 13, l = 4*r - 60. Is 7 a factor of r?
True
Suppose -2*k + 6 = -4, -2*k - 274 = -4*a. Let x = -25 + a. Suppose v + x = 3*v. Is v a multiple of 23?
True
Does 9 divide (37 - -7) + (1 - 0)?
True
Let y be 2 + 0/(2 - -1). Suppose -2*g = y*g - 4*b - 20, -4*b - 17 = -3*g. Suppose -g - 39 = -3*i. Is i a multiple of 10?
False
Let l = 24 - 24. Suppose 2*z - 1 = 3. Suppose l*c = -z*c + 30. Is c a multiple of 10?
False
Suppose 4*q - 17 - 11 = 0. Suppose 3*l - q = t + 6, 2*t + 3*l + 53 = 0. Let u = t - -42. Does 10 divide u?
True
Let f(n) = 0 - 6 - 2*n + 1. Suppose 0 = 3*j + 13 - 1. Is f(j) a multiple of 3?
True
Let y = 3 - 8. Is 25/(-2)*6/y a multiple of 5?
True
Suppose -4*l - 3*r + 7 = -6*r, -2*l + 3*r - 1 = 0. Suppose 3*y = l*y - 3. Does 3 divide y?
True
Suppose 5*h - 8 = r, 0 = -4*r + 7*h - 2*h + 28. Is 4 a factor of r?
True
Suppose s - 5*g - 20 = 0, 1 = -3*s + 2*s - 2*g. Suppose -s*x - 22 = -3*m, -5*m + 111 - 25 = 4*x. Does 7 divide m?
True
Suppose -3*a + 2*a + 4 = 0. Suppose a*y - 230 = -2*j, -2*y - 3*j + 165 = y. Is y a multiple of 16?
False
Let q be (14/(-1))/(14/(-7)). Let g = -10 + q. Is 49/2 + g/6 a multiple of 12?
True
Is (-3 - -6)/(3/74) - 2 a multiple of 12?
True
Let l(c) = -3*c**2 + 4*c - 2. Let i be l(2). Let d(b) = b + 10. Let m be d(i). Is 10 a factor of -1 + 12 - (-3 + m)?
True
Suppose -p + 0*t + 26 = -2*t, 5*p = 5*t + 140. Does 10 divide p?
True
Is 2 a factor of -1*(-4)/(-4 + 5)?
True
Let o