es 24 divide p?
False
Let d(g) = -9*g - 46. Does 16 divide d(-7)?
False
Suppose 78 = 2*f - 52. Is 5 a factor of f?
True
Let w be -2*1*(-5)/2. Suppose 3*o - 3*f = -3, -2*o - 4*f = 3*o + 32. Does 12 divide o + w + (-43)/(-1)?
False
Let r(f) = 11*f + 1. Let p be 11/9 + 12/(-54). Is 3 a factor of r(p)?
True
Suppose 3*k = -2*k - 35. Let d(a) be the first derivative of -a**3/3 - 4*a**2 + 9*a - 2. Does 8 divide d(k)?
True
Suppose 10 = 2*m - 26. Is m a multiple of 6?
True
Let o be ((-2)/1)/(-2) - -2. Suppose -o*l + 6 = y, -4 = -2*l - 2*y + 3*y. Is -2 - -34 - (l + 1) a multiple of 13?
False
Let k = 71 + -43. Is k a multiple of 28?
True
Suppose -5*i - 45 = -10*i. Is i a multiple of 4?
False
Let r = 12 + -7. Let i = r - 3. Suppose w + 15 = 6*w - 5*p, -3*w + i*p + 8 = 0. Is 2 a factor of w?
True
Let q = 47 - 11. Is 6 a factor of q?
True
Let q be (-1 + -2)/(-3) - -2. Let x be 12/8*(-1 + q). Suppose 3*v + 30 = x*n - 0*v, 0 = -2*n + 3*v + 20. Is n a multiple of 4?
False
Let t(u) = 2*u**3 + 3*u**2 - 2. Let v be t(-2). Is ((-75)/(-1))/((-6)/v) a multiple of 15?
True
Suppose 0 = -10*m + 418 + 312. Is 5 a factor of m?
False
Let i = 18 + -25. Let x = i - -3. Does 8 divide 159/15 - x/10?
False
Let o(m) = 11*m + 2. Let t be o(-7). Let k = t - -155. Let a = 120 - k. Is a a multiple of 20?
True
Let c(u) = -3 + 1 - 12*u + 2 + 1. Is 13 a factor of c(-1)?
True
Let m = 18 + -2. Is 7 a factor of m?
False
Suppose 4*n + 19 = -5. Let f = 5 + n. Is 3 a factor of -3*(2 + -1)*f?
True
Let a = 23 + -16. Is 7 a factor of a?
True
Is (-34)/(-3) - 14/(-21) a multiple of 3?
True
Suppose -4*w - 3*y = -5, 0*y = y + 1. Suppose w*j - 41 + 5 = 0. Does 13 divide j?
False
Let v be 1 - 5 - (20 + -4). Is 344/10 - v/(-50) a multiple of 6?
False
Let n = 1 + 3. Is (-42)/n*24/(-18) a multiple of 14?
True
Let y(n) = n**3 + 9*n**2 + 8. Is 2 a factor of y(-9)?
True
Let a = -6 - -6. Suppose -58 = -3*v - 0*w - 2*w, -2*v + 5*w + 7 = a. Is 8 a factor of v?
True
Suppose 0*j - 4 = -2*j. Suppose k + j*k - 117 = 0. Is k a multiple of 13?
True
Let s(w) = -2*w**2 + 10*w + 8. Let j(h) = -h**2. Let u(n) = 3*j(n) - s(n). Suppose -5*x = 10 + 20. Does 8 divide u(x)?
True
Let y be (-10)/2*32/(-5). Suppose 2*r + 0*r = -y. Is (r/(-20))/(1/15) a multiple of 12?
True
Suppose -2*o - 5*m + 26 = 0, -5*m + 3*m + 23 = 5*o. Suppose -5*p = 4*z + 811, z = 2*p + o*p - 209. Is 7 a factor of 4/10 + z/(-15)?
True
Let n(i) = i**2 - 11*i - 11. Is n(15) a multiple of 34?
False
Suppose 0 = -6*h + 303 + 237. Does 11 divide h?
False
Let g(x) = -2*x. Let b be g(1). Let o be -2*((-4 - b) + 0). Suppose o*j + 16 + 48 = 4*i, 0 = 4*i + 3*j - 71. Is 6 a factor of i?
False
Let i be 4/6 + (-58)/(-3). Suppose 0*m + 195 = 5*m. Let d = m - i. Is 15 a factor of d?
False
Suppose 0 = 5*b - 76 - 119. Is b a multiple of 19?
False
Suppose -3*q - 6 = -5*q. Suppose q*c - 2 - 49 = -4*v, 4*c - 48 = -4*v. Is v a multiple of 4?
False
Suppose a - 60 = -3*a - 4*h, -5*h = 2*a - 45. Is a a multiple of 6?
False
Suppose 0 = 5*f - 5, 0 = 4*b + b - 4*f - 1. Is 13 + 5 + 0 + b a multiple of 4?
False
Let o = 25 + 20. Suppose 2*s = 74 - 10. Let b = o - s. Does 5 divide b?
False
Does 35 divide ((-9)/(-4))/(6/352)?
False
Let n = 108 + -59. Let p = n + -15. Is 17 a factor of p?
True
Let f(d) = 37*d**2 + d + 1. Is f(1) a multiple of 3?
True
Let i(m) be the second derivative of m**4/12 + 5*m**3/6 + m**2 - 5*m. Is 15 a factor of i(4)?
False
Let f(i) = 5*i**2 - 2*i - 3. Let b(z) = 14*z**2 - 6*z - 8. Let l(v) = -6*b(v) + 17*f(v). Let x be l(3). Is 19 a factor of ((-57)/(-9))/(2/x)?
True
Let l = 0 + 0. Suppose 2*j + 0*j - 10 = l. Let x(r) = r + 5. Is x(j) a multiple of 3?
False
Suppose 0 = 3*h - r + 15, h + r + 0*r + 1 = 0. Let g = -4 - h. Let p = g - -2. Is 2 a factor of p?
True
Let i = -100 + 129. Is i a multiple of 29?
True
Is 23/((-6)/14 - 374/(-595)) a multiple of 23?
True
Is 17 a factor of (-25 - -21) + 21/1?
True
Let g = 3 - 2. Let u = -4 + g. Let o(f) = -3*f - 1. Does 8 divide o(u)?
True
Let n be -42*((-14)/4 - -3). Suppose 3 + 3 = 3*b. Suppose -2*w - n = -s, -s + 5*w + 23 = b*w. Does 17 divide s?
True
Let x be (1/2)/((-3)/(-330)). Let s = -2 - 26. Let h = x + s. Is 11 a factor of h?
False
Suppose -4*d - w - 23 = 0, -2*w - 4 = 5*d - 4*d. Let y be ((-3)/d)/(1/10). Suppose -y*l + 12 + 23 = 5*c, -37 = -4*l + 5*c. Is 8 a factor of l?
True
Let f = -6 + 12. Let q = -1 + f. Let j = q - 3. Is j a multiple of 2?
True
Suppose -3*o = -5*z - 548, 0 = -2*o + 2*z - 7*z + 407. Suppose o = -5*t + 26. Is (-1 + 6/9)*t a multiple of 4?
False
Suppose 4*u + 5*f = 40 + 1, f = -u + 9. Let q be u/(-6) - (-18)/27. Is 1*(q + 16)*1 a multiple of 10?
False
Let d be -53 + 2/(-4)*2. Let w = d + 83. Does 17 divide w?
False
Suppose 0 = -4*w, 50 = 2*c - 7*c - 5*w. Is -1 + (-5)/(c/18) a multiple of 4?
True
Let f(m) = 93*m**3 - m. Let z be f(-1). Let d be z/10 - (-2)/10. Does 11 divide (12/10)/(d/(-120))?
False
Let o(s) = s - 2. Let z be o(7). Suppose -2*b + 7*b - 155 = -z*i, -5*i - 37 = -b. Let q = b + -17. Is q a multiple of 6?
False
Let n = 3 - 5. Does 2 divide (-4)/n*(-1 - -2)?
True
Suppose 3*t - 23 = 16. Let w be -2*(0 + (-2)/(-4)). Is 7 a factor of (t/w - -2)*-1?
False
Let o be (-7)/((-28)/(-8))*-2. Suppose o*n - 450 + 26 = -2*x, -5*x = -10. Is 33 a factor of n?
False
Let w = -201 + 350. Is w a multiple of 35?
False
Let u = 128 + -56. Is 18 a factor of u?
True
Suppose -2*o - 7*l = -2*l - 132, 150 = 2*o - 4*l. Does 23 divide o?
False
Suppose 2*n + c + 43 = 0, c + 31 = 4*n + 120. Suppose 39 = -3*i - 0*i. Let b = i - n. Is b a multiple of 6?
False
Let o = 1 - 1. Suppose o*b + 12 = 3*b. Is 4 a factor of b/(-8)*(-7 - 1)?
True
Suppose 0 = -2*y + 17 + 29. Does 12 divide y?
False
Let p be 2/(-1) - -2 - 13. Let r = p + 29. Is r a multiple of 8?
True
Let c(d) = d**3 + 6*d**2 + 5. Let a be c(-6). Let t(b) = b**2 - 4*b - 3. Let s be t(a). Suppose 52 = 2*i - 5*l, -4*l - 14 = s. Is i a multiple of 16?
True
Let y be (-1)/(-2) - 9/2. Let c be y/(1/4*-1). Suppose -3*n = -h + 5*h - 88, -n + c = 4*h. Is n a multiple of 18?
True
Does 2 divide -10*((-6)/(-2) + 56/(-14))?
True
Let p = -100 + 256. Does 12 divide p?
True
Is 39 a factor of (666/(-8))/(-4 + (-145)/(-40))?
False
Suppose -6*x + 2*x = q + 37, 3*x + 2*q + 29 = 0. Let o(d) = d**2 + 5*d + 3. Does 13 divide o(x)?
True
Let g(l) = -l**3 - 7*l**2 + 5*l - 8. Let p be -36*((-9)/6)/3. Suppose -5*m + 2*x - 14 - p = 0, m + 24 = -4*x. Is g(m) a multiple of 8?
True
Suppose -5*u = -321 - 179. Let g = u - 56. Is 22 a factor of g?
True
Does 11 divide (33*-2)/1*-1?
True
Does 6 divide ((-63)/(-42))/(3/56)?
False
Let h(j) = 3*j + 3 - 4*j + j**2 + 2*j + 0*j. Let d be h(0). Let q(c) = 3*c**2 + 2*c - 2. Is q(d) a multiple of 16?
False
Is 6 a factor of ((-12)/(-3))/4 + (110 - 4)?
False
Let q = 33 - -17. Is 25 a factor of q?
True
Let n(k) = k**3 - 3*k**2 - 3*k - 1. Let o be n(4). Let m be (-6)/(-9)*-1*o. Is m*(-2 + 1/(-2)) a multiple of 2?
False
Let v = -29 + 122. Does 19 divide v?
False
Let a = -16 + 11. Let s(b) = -3*b - 13. Let y(d) = -2*d - 12. Let k(h) = 5*s(h) - 6*y(h). Does 8 divide k(a)?
False
Let c = 120 - 55. Does 13 divide c?
True
Suppose 9 = -0*w - w. Let h(s) = -6*s**3 - 3*s**2 + s + 2. Let v be h(-2). Does 6 divide (-8)/v + (-155)/w?
False
Let n(a) = a**3 + 6*a**2 - 4*a - 1. Let i be (-2)/(-5) - (-32)/20. Suppose -u - 4*y + i = 0, 0 = 2*y - y - 2. Does 8 divide n(u)?
False
Let m = 51 + -26. Is m a multiple of 5?
True
Suppose -4*l + 109 + 3 = 0. Does 8 divide l?
False
Suppose 20 = 2*r - s, 3*r = -2*s - 3*s + 4. Let a(i) = i**2 - r + 8*i - 4 + 4. Is 21 a factor of a(-11)?
False
Suppose 5*q + 30 = 10. Let l(z) = -z**2 - 7*z - 6. Is l(q) a multiple of 2?
True
Let v = 20 - 1. Is v a multiple of 19?
True
Suppose z - 2*c - 244 = c, -5*z - c + 1220 = 0. Is z a multiple of 26?
False
Suppose 0 = 5*m + p - 9, -4*p + 0*p = 5*m - 21. Suppose c + m - 7 = 0. Let z = -1 + c. Is z a multiple of 2?
False
Let u = -21 + 74. Suppose -5*t + 3*i = 4*i + 156, -2*t = 3*i + 65. Let o = t + u. Does 11 divide o?
True
Let u(c) be the first derivative of -9*c**2/2 - 2*c - 3. Does 11 divide u(-3)?
False
Let q be (6 - 1)*2/2. Suppose -30 = -3*b - 3*g, 5*b = 5*g - 2*g + 34. Suppose 0 = -v + 3*f + b, -q*f - 6 = v - f. Is 2 a factor of v?
True
Let r(q) = 11*q. Let d be r(2). Let h = d + -9. Is h a multip