 q be x - (2 + -4 - -2). Suppose -2*i + 0*j = -j - 41, -2*j + q = i. Is 19 a factor of i?
False
Let d(j) = -j**2 - 8*j - 4. Let b be d(-7). Suppose -b*p + 2*t = -p, -4*t = 3*p + 35. Let y = 10 + p. Does 5 divide y?
True
Suppose 0 = -5*a + 1681 + 254. Does 58 divide a?
False
Let q be 6 - (-1 + 2) - -2. Is 3 a factor of (-4)/14 + 51/q?
False
Let y be 1/2 + 62/(-4). Let j be (-10)/(-3)*(-126)/y. Let x = j + -17. Is 4 a factor of x?
False
Suppose 2*q + n = -0*q + 110, 2*n = 3*q - 165. Is 10 a factor of q?
False
Let z(r) = 2*r + 14. Let h(y) = -4*y + 2. Let f be h(-2). Is 10 a factor of z(f)?
False
Suppose 0 = -5*g - 2*a + 50, 5*a - 6*a = 2*g - 20. Is g a multiple of 2?
True
Does 9 divide 42*(-12)/(-14)*1?
True
Let t be (-40)/(-12)*(-102)/5. Let s = t + 112. Is s a multiple of 11?
True
Suppose -5*r - 40 = -5*a, -2*a - 3*a - 4*r + 13 = 0. Suppose -5*c - 14 = 3*q - 269, -5*c + 215 = -a*q. Is c a multiple of 16?
True
Let k be (4/(-12))/(2/(-24)). Is 15 a factor of 1*86/(k + -2)?
False
Let m be 4 + 1/2*-2. Suppose -4*n + 17 = m*i, 4*i - 7 = n + 3. Is n a multiple of 2?
True
Let y(x) = -2*x + 28. Does 6 divide y(0)?
False
Let b = 2 - -1. Let s(p) = 2*p**3 - 2*p**2 - 3*p + 1. Does 14 divide s(b)?
True
Let t(l) = l**3 + 6*l**2 - 7*l + 3. Let z be t(-7). Let o = 2 + 2. Suppose -z*w = -9, -o*g = 6*w - w - 55. Does 10 divide g?
True
Let r = -13 - -24. Let m = r - 3. Is 8 a factor of m?
True
Let h(b) = b**3 + 6*b**2 - 8*b - 8. Let m be h(-7). Let k(w) = 3*w**2 + w. Let i be k(m). Suppose -2*f + 5*r + 40 = 0, i*f + 2*f - r - 80 = 0. Does 10 divide f?
True
Let a = -2 + 4. Let j = 2 - a. Suppose j*u - 56 = -2*u. Is 10 a factor of u?
False
Let w = 186 + -122. Is 22 a factor of w?
False
Suppose -94 - 86 = -6*l. Let q = l - 18. Does 4 divide q?
True
Suppose -2*v + 0*v = -252. Suppose -c - 3*j + 36 = 0, 0 = -4*c - 5*j + 2*j + v. Does 15 divide c?
True
Let s be 57/9*(-4 - -1). Let m = s - -28. Is 9 a factor of m?
True
Let w be 2/(-2 - -3)*2. Let x be 98*4/(-6)*-3. Suppose -2*l + 27 = -2*o - 83, -4*l + x = w*o. Is l a multiple of 20?
False
Let n(g) = -8*g + 36. Is n(-11) a multiple of 21?
False
Let b = -2 - -4. Let q(o) = o**3 - 8*o**2 - 7*o - 5. Let i(z) = -z**3 + z**2 - 1. Let s(a) = b*i(a) + q(a). Is s(-5) a multiple of 2?
False
Suppose s + s = 6. Suppose -s*r = -22 - 68. Is r a multiple of 10?
True
Suppose -49 = 2*k - 155. Let f be k + 1 - (-2)/(-2). Suppose 5*p = 3*n - f, -2*p = -n - 3*p + 7. Does 4 divide n?
False
Suppose 15*k + 432 = 24*k. Does 12 divide k?
True
Let c = 11 + -18. Let x = c - -21. Is x a multiple of 14?
True
Suppose 10*u - 22 = 5*u + 4*f, 3*u - 3 = -f. Let s be 2*u/8*2. Does 12 divide (s*9)/(21/70)?
False
Let v be (108/(-14))/(3/(-14)). Suppose -11 + v = 5*a. Does 5 divide a?
True
Suppose b + 2*d + 0*d + 47 = 0, -250 = 5*b - 5*d. Let c = -16 - b. Let h = -18 + c. Is h a multiple of 14?
False
Let s(j) = j**3 - 13*j**2 + 23*j + 25. Does 38 divide s(12)?
False
Let z(n) = -n**3 - 4*n**2 + 8*n + 5. Let r be z(-5). Let h = -6 - r. Suppose 55 + 37 = h*d. Is 8 a factor of d?
False
Let i(n) = -25*n**2 - 6*n + 7. Let d(a) = -12*a**2 - 3*a + 3. Let w(q) = -9*d(q) + 4*i(q). Is w(-2) a multiple of 9?
True
Let v(d) = -14*d - 8. Does 19 divide v(-5)?
False
Let r(d) be the second derivative of d**4/12 - d**3/3 - d**2/2 + d. Does 4 divide r(-3)?
False
Suppose k = 3*p + 3*k + 301, -5*p - k = 511. Let h = -63 - p. Does 13 divide h?
False
Suppose 0 = -4*x + 229 + 59. Is 18 a factor of x?
True
Does 13 divide 18*(3 + (-5)/15)?
False
Let q be (8/14)/(8/28). Suppose -d = q - 5. Is 3 a factor of d?
True
Let n be -3 + (0 - -3) + -13. Let q = 8 - n. Does 12 divide q?
False
Let c be 32/(-18) - 4/18. Let q be c/(-5) - (-18)/5. Suppose q*m = -y + 38, -y + 118 = 3*y - m. Is 15 a factor of y?
True
Is (40 - 8)/((-4)/(-6)) a multiple of 11?
False
Let p(b) = 3*b**2 + 7*b + 6. Is p(-4) a multiple of 12?
False
Is 10 a factor of (3 - 5) + (33 - 0)?
False
Let o = 1 - -19. Is o a multiple of 6?
False
Let g(v) be the second derivative of -v**5/20 - v**4/3 - v**3 - 2*v**2 - 2*v. Does 13 divide g(-4)?
False
Suppose 0*a = -a + 80. Is 20 a factor of a?
True
Let t = -31 - -35. Does 2 divide t?
True
Let i(o) = -3*o**2 - 27*o - 13. Let q be (-5)/2*30/25. Let k(g) = 2*g**2 + 14*g + 7. Let m(f) = q*i(f) - 5*k(f). Is 22 a factor of m(9)?
True
Let d be (-3)/(-2)*6/9. Suppose 4*h - 13 + d = 0. Is h a multiple of 3?
True
Let j be 5 + (-2 - -2 - -1). Let z = 48 - j. Is z a multiple of 12?
False
Is ((-4693)/13)/(1/(-1)) a multiple of 57?
False
Suppose 0 = 10*o - 3*o - 273. Is 5 a factor of o?
False
Suppose 3*y - 588 = -4*q, -y + 306 = 2*q + 14. Is 24 a factor of q?
True
Does 3 divide (0/(-3) - 14)/(12/(-18))?
True
Let m(x) = x**2 - 2*x + 78. Is 20 a factor of m(-14)?
False
Let x be 1*(2 + 0 - 0). Suppose 0 = x*p - 31 + 7. Is p a multiple of 6?
True
Let t(j) = j**2 + 5*j - 3. Let i be t(-4). Let u(l) be the third derivative of -l**6/120 - l**5/12 + 7*l**4/24 + l**3/6 - l**2. Is 18 a factor of u(i)?
False
Let l = 18 - 4. Let k = -10 - l. Let b = -17 - k. Is 7 a factor of b?
True
Let q be 1*(-2 + -45) - -1. Let r = -7 - q. Is r a multiple of 13?
True
Let r = 50 + -34. Suppose 5*y = -2*v + r, 0*y = -2*y + 4. Is (v/6)/(2/88) a multiple of 11?
True
Let u(c) = c**2 + c + 2. Let f be u(0). Let y be (4/(-8))/(1/f). Is 1/(0 - y)*33 a multiple of 15?
False
Let u(t) = t + 6. Let c be u(-6). Suppose -i = -3*s - 57, -4*i + 0*i + 2*s + 278 = c. Is 24 a factor of i?
True
Let g = -52 + 30. Let a = -15 - g. Is 7 a factor of a?
True
Let p = 4 - -2. Suppose p*h = 2*h + 36. Suppose -3*b + 49 = 5*t, -5*t + h = 2*b - 4*b. Is b a multiple of 4?
True
Suppose t = 6*t - 20. Suppose 0*k - 3*k + o = -10, 3*o = -t*k - 4. Suppose 5*n - 4*p - 47 = 0, -n + k*n + 2*p - 1 = 0. Is n a multiple of 7?
True
Suppose -2*r + 0*r = -16. Let a(n) = 0*n**3 + 6 + 7*n**2 - n**3 + 0*n**3 + 9*n. Does 7 divide a(r)?
True
Does 3 divide (-1 + 20)*(0 + 1)?
False
Suppose -m = m + 4. Let x be m/(-14) + 246/42. Let d(k) = 3*k + 2. Is d(x) a multiple of 9?
False
Suppose -15 = -u + 2*g + 20, 5*u = 3*g + 154. Suppose 4*i - f = 54, u = i + 4*f + 7. Is i a multiple of 4?
False
Let k(j) = -j**3 + 11*j**2 - j + 16. Let f be k(11). Let u(l) = -l + 3. Let p be u(f). Is (p/2)/((-3)/36) a multiple of 11?
False
Is (-2 + -7)*(-2 + 1) even?
False
Let q(w) = 2*w. Let j be q(-2). Let l(o) be the second derivative of -o**5/20 - o**4/4 + o**3/3 - 2*o**2 - 2*o. Is l(j) even?
True
Is (238/(-21))/((-2)/9) a multiple of 38?
False
Is 11 a factor of 1/2 - 744/(-16)?
False
Let g = -2 - -4. Suppose 34 = -0*q - g*q. Is (-6)/(-2) - q - 1 a multiple of 14?
False
Let c(w) = 14*w - w**3 + 5 + 10*w**2 + 3 + 0. Is 21 a factor of c(11)?
False
Is 120 + (2 - 0) - 0 a multiple of 13?
False
Let p(j) = -5*j - 2. Let s be p(-2). Let m be (s/(-5))/(5/(-25)). Let g = 28 - m. Is 9 a factor of g?
False
Suppose 3*n + 27 = -h, 2*n - 8 = -h + 6*n. Is (h/4)/((-3)/10) a multiple of 10?
True
Suppose n - l = 10, n + 1 - 11 = 4*l. Is 20 a factor of (16 - 1)/(6/n)?
False
Let c(q) = 2*q**2 + 2 + 10*q**3 - 4*q**3 + 5 - 7*q. Let r(k) = 3*k**3 + k**2 - 3*k + 3. Let n(l) = 4*c(l) - 9*r(l). Does 9 divide n(-2)?
False
Let u be (-50)/(-15)*12/10. Let y = u + -1. Suppose 2*p = -p - v + 115, y*v = 3. Does 19 divide p?
True
Is -4 + (-30)/(-8) - 402/(-8) a multiple of 14?
False
Let y(a) = a**2 - 3*a + 2. Does 6 divide y(5)?
True
Let p = -1 - -3. Suppose 4*t - l = 81, p*t + 28 = 4*t + 2*l. Does 9 divide t?
False
Is (-2*5)/((-5)/50) a multiple of 10?
True
Let b be 5 + (-3)/(-9)*0. Suppose b*h + 4*j = 45 + 7, -3*h + 3*j = -15. Does 8 divide h?
True
Let j(f) = f**3 + 11*f**2 - 9*f + 16. Let p be j(-11). Let q = -31 + p. Does 28 divide q?
True
Suppose 4*f + f + 10 = 0. Is 11 a factor of ((-3)/f)/(3/44)?
True
Suppose 0 = 3*p + 2 - 14. Suppose -15 - p = -r. Is r a multiple of 10?
False
Let t(p) = 38*p - 26. Does 19 divide t(4)?
False
Suppose 6 = -2*w + 14. Suppose -3*o + w = -4*o. Is (-122)/o + 1/2 a multiple of 12?
False
Let z be 12/18*(-18)/(-4). Does 9 divide (6/3)/(z/24)?
False
Suppose 3*l + 8 = 20. Let s = l - -1. Is s a multiple of 5?
True
Suppose 5*t + 5*f = 90, -2*f + 24 = t - 4*f. Does 5 divide t?
True
Let d(j) = 4*j. Let r be d(1). Let q(k) = -k + 6. Let y be q(r). Does 5 divide y*22/8*2?
False
Suppose 0 = -5*d