s 10 a factor of n?
False
Let f be 4/(-20) - (-106)/5. Let c = -14 + 22. Suppose c*i + 117 = 3*p + 5*i, p + 5*i - f = 0. Does 12 divide p?
True
Let w(r) = 10*r - r**2 + 4 + 3*r**2 + 4. Suppose 5*j = -12 - 18. Is w(j) a multiple of 7?
False
Let r(f) = f**2 + 2*f - 4. Let j be r(-4). Let v(m) = -14 - m + 0*m**2 + m**2 + 12 + 0*m. Is v(j) a multiple of 9?
False
Does 11 divide 4/14 - (-304)/14?
True
Let z(h) = 3*h - 1. Let u be z(-10). Let q = u + 43. Does 6 divide q?
True
Let h be 22/4 - 12/24. Let c(y) = 3*y - 12. Let b(z) = 1. Let v(f) = 6*b(f) + c(f). Is 6 a factor of v(h)?
False
Let m(x) = 20*x - 16. Is m(4) a multiple of 17?
False
Is 15 a factor of (-775)/(-20) + (-2)/(-8)?
False
Does 5 divide 2064/36 + 1/(-3)?
False
Let s = 5 + 16. Let v = -35 - -72. Let q = v - s. Does 7 divide q?
False
Let m(f) = f**2 + 14*f + 8. Let d be m(-13). Let u = d + 18. Does 12 divide u?
False
Let h(v) = -v + 120. Let f be h(0). Suppose -f = -0*q - 5*q. Is q a multiple of 12?
True
Suppose -5*p + 7 = 5*z - 43, 3*z - 30 = 4*p. Is 8 a factor of z?
False
Suppose 80 = 4*w - 32. Does 5 divide w?
False
Let k = -62 + 111. Is 9 a factor of k?
False
Suppose -50 = t + 11. Let z = 105 + t. Does 22 divide z?
True
Let o = 152 + -71. Does 17 divide o?
False
Let a(o) = o**2 - 8*o + 5. Let d = 0 - 30. Let f be 10*(-3)/d*8. Is a(f) a multiple of 5?
True
Let n(x) = -x**2 + 1. Let d be n(-1). Let p = 5 - d. Is p a multiple of 5?
True
Let u be ((-8)/(-10))/(2/40). Let v = 2 + 1. Let z = v + u. Does 19 divide z?
True
Let b(o) = o**2 + 7*o + 3. Let k be b(-7). Suppose -k + 23 = 4*n. Suppose 0 = -n*y - 4 + 44. Does 8 divide y?
True
Let o be (-3)/((-3)/(-6) + -2). Let g be 4/(-3)*(-3)/o. Suppose -y = 2*u - 4*u + g, -y = 3*u - 23. Does 3 divide y?
False
Suppose -9*h + 5*h = 0. Suppose -7*j + 10*j - 39 = h. Is j a multiple of 4?
False
Suppose 0 = -3*b - 0*b + 15, u + 10 = 4*b. Is u a multiple of 7?
False
Suppose 1 = 2*a - 161. Is a a multiple of 15?
False
Let b be ((-7)/(-3))/(4/(-12)). Let g = b - -15. Is 3 a factor of g?
False
Suppose v - 36 = 2*y + 40, -v + 61 = -5*y. Is v a multiple of 18?
False
Let q = 22 - -6. Is q a multiple of 5?
False
Let a = -17 + 29. Is 4 a factor of a?
True
Let h(v) be the third derivative of -7*v**5/60 + v**3/6 + v**2. Let t be h(-1). Is 3/9 + (-112)/t a multiple of 8?
False
Suppose 6*d - 3*d - 42 = 0. Suppose 9 = -u + 3. Let n = d - u. Is 12 a factor of n?
False
Let b(d) = d**2 + 6*d + 3. Is 3 a factor of b(-6)?
True
Let z(b) = 13*b**3 + 4*b**2 - 5*b. Let s(d) = 7*d**3 + 2*d**2 - 3*d. Let r(c) = 11*s(c) - 6*z(c). Is r(-2) a multiple of 3?
True
Let y be ((-6)/2 - -8)/1. Let j(n) = 5*n - 1. Is 6 a factor of j(y)?
True
Suppose 0*x + 138 = 2*x. Suppose 6*v - 2*v - x = 3*j, 3*v - 5*j = 49. Does 9 divide v?
True
Let h(t) = t**2 + t. Let p(z) = -2*z**2 - 2*z - 1. Let r(v) = 9*h(v) + 4*p(v). Does 13 divide r(-6)?
True
Let v(l) = l**2 - 8*l - 5. Let y be v(-5). Suppose -u = u - y. Does 10 divide u?
True
Let p(q) = 2*q + 1. Let z be p(-1). Let h be 1 + (2/z - 2). Does 6 divide 0 + (-1 + -17)/h?
True
Suppose 0 + 8 = 4*j. Suppose p + j*c = -3, 4 = 4*p + 2*c - 2. Does 2 divide p?
False
Suppose -i + 0*i - 80 = -4*j, 0 = 2*i. Is 11 a factor of j?
False
Let j be (4/(-8))/((-1)/8). Suppose 6*w - j*w = 5*p + 25, p = -3*w - 5. Let z = 16 - w. Is z a multiple of 16?
True
Let r = -6 + 8. Suppose -r = -2*m - 7*i + 2*i, 0 = -m + 3*i + 1. Does 20 divide 41 - (-1 + 2)*m?
True
Does 19 divide (38/(-4)*2 - 0)*-4?
True
Suppose 4*v - 136 = 8. Is v a multiple of 6?
True
Let b(w) be the third derivative of w**6/120 - w**5/60 - w**4/24 + w**3/6 + w**2. Let p be b(1). Suppose 5*j + 15 = -10, -h + j + 34 = p. Is 15 a factor of h?
False
Let y = 3 - 5. Let m(f) = f**3 + 2*f**2 - f + 1. Let h be m(y). Suppose 76 = h*o - o. Does 15 divide o?
False
Let k(b) = b - 3. Let m be k(-2). Is 3 a factor of ((-4)/m)/((-7)/(-35))?
False
Let h(p) = p**2 - 3*p - 2. Is h(4) even?
True
Suppose i - v - v = 150, 5*i - 750 = 5*v. Does 9 divide i?
False
Let j = -106 + 143. Is j a multiple of 6?
False
Let m(x) = -2*x**3 - 5*x**2 - 6*x - 6. Let o = -7 + 3. Let h be m(o). Suppose h = -0*i + 2*i. Does 11 divide i?
True
Is 23 a factor of ((-2)/4 + 2)*26?
False
Suppose -g + 748 = 10*g. Is 17 a factor of g?
True
Let y be 4/(-8)*(0 - -2). Is 16 - (y - -2)/(-1) a multiple of 17?
True
Let n = -11 - -15. Suppose -2*v + 4 = -n. Suppose b + 2*w = -4, -w - 40 = -5*b + v*w. Is b even?
True
Let r = -5 + 47. Does 21 divide r?
True
Let m = -7 - -10. Let q be ((-4)/6)/(-1)*m. Suppose -104 = q*p - 6*p. Is 13 a factor of p?
True
Is 5 a factor of ((-3)/9)/((-1)/30)?
True
Let z = 8 + 55. Is 14 a factor of z?
False
Suppose -o = o - 232. Is 41 a factor of o?
False
Suppose -4*o + 4 = -2*o. Suppose -o*a - 74 = -212. Suppose a = u + 2*u. Is 14 a factor of u?
False
Let i = 237 + -152. Does 17 divide i?
True
Let t(u) be the second derivative of u**4/12 - 5*u**2/2 - u. Does 11 divide t(-4)?
True
Let h(j) = -10*j**2 - 3*j**2 - 27*j + 5*j**3 - 12 - 6. Let g(x) = 2*x**3 - 4*x**2 - 9*x - 6. Let m(d) = -8*g(d) + 3*h(d). Is m(-6) a multiple of 8?
False
Let l = -637 - -896. Does 37 divide l?
True
Let f = -4 - -2. Let u(y) = y**2 - 3*y - 6. Let q be u(5). Let g = f + q. Is g even?
True
Let n be (-4)/(-14) - (-12)/7. Let b(c) = 31*c**2 + 2*c. Let r be b(n). Suppose -y - r = -5*y. Is y a multiple of 16?
True
Suppose 0 = 3*c - 2*c + 59. Let b be c/3 + 10/15. Let n = b - -32. Does 13 divide n?
True
Let j = 6 - -17. Is j a multiple of 5?
False
Let l(b) = b**2 - 6*b + 4. Does 19 divide l(-6)?
True
Suppose 1 = d + 3. Does 5 divide (-17 + 2 + d)/(-1)?
False
Let j(u) = 3*u**2 - 25*u + 2. Is j(10) a multiple of 23?
False
Suppose 4*l - 2*v - 128 = 2*v, -5*l - 4*v = -205. Is l a multiple of 11?
False
Let q = 20 - -22. Is 21 a factor of q?
True
Suppose 0 = -5*u + 15, 4*n - 4*u + 0 + 12 = 0. Does 16 divide n - (-1)/((-3)/(-48))?
True
Suppose 6*a - 23 = 5*a. Is a a multiple of 5?
False
Suppose 0 = -6*r + 95 + 139. Is 8 a factor of r?
False
Let v(b) be the third derivative of 2*b**2 + 0 + 0*b - 7/6*b**3 - 1/60*b**5 - 1/3*b**4. Is v(-6) a multiple of 3?
False
Let h = -45 + 109. Is 8 a factor of h?
True
Suppose 0 = 3*x - 9 - 30. Suppose o - p - 7 = 2*o, -5*o + 1 = -4*p. Is 6 a factor of (o - 0/(-2)) + x?
False
Let b = 11 + -56. Let s = 21 - b. Is s a multiple of 22?
True
Suppose -5*f = -3*f. Suppose 2*p + p + q - 6 = f, 0 = p + 4*q - 13. Is 3 a factor of 0 + (3/1)/p?
True
Let i(q) = q**2 - 7*q + 20. Is i(10) a multiple of 5?
True
Let k = -10 + 16. Suppose 10 = 4*m - 4*p + 30, -20 = -4*p. Let r = k + m. Is 4 a factor of r?
False
Let b(o) = o**3 - 3*o**2 - 4*o + 2. Let i be b(4). Let m(w) = -w**3 + 2*w**2 + w + 1. Let q be m(i). Suppose -39 - 51 = -q*n. Is 15 a factor of n?
True
Let j = 121 - 61. Is 12 a factor of j?
True
Let g be (-1)/((-2)/3)*18. Suppose 2 = -5*u + g. Suppose -2*p + 6*h - h + 24 = 0, -u*p + 2*h = -81. Is 10 a factor of p?
False
Suppose -836 = z - 5*z. Suppose 5*q = z + 66. Is 24 a factor of q?
False
Let h = 345 - 186. Is 10 a factor of h?
False
Suppose -540 = -6*o - 0*o. Does 11 divide o?
False
Let x(s) = 15*s**3 + 2*s**2 - 2*s - 5. Let j(u) = 14*u**3 + 2*u**2 - 2*u - 4. Let y(g) = 6*j(g) - 5*x(g). Is y(1) a multiple of 10?
True
Let k(g) = -11*g - 19. Does 6 divide k(-8)?
False
Let r = 43 + -28. Is r a multiple of 5?
True
Let p be ((-3)/(-2))/(-3)*186. Let f = p - -158. Is 25 a factor of f?
False
Let m be (2/4)/(7/(-476)). Let d = -18 - m. Is 8 a factor of d?
True
Let n = 19 - 5. Let a = n + 1. Is 15 a factor of a?
True
Let b(a) = -561*a. Let c(t) = -20*t. Let x(u) = -3*b(u) + 85*c(u). Is 14 a factor of x(-3)?
False
Let d be (45/5)/(3/(-50)). Let w be d/(-35) - (-4)/(-14). Suppose 9*s = w*s + 140. Is 15 a factor of s?
False
Let c(q) = 5*q**2 + 2*q - 12. Is c(-4) a multiple of 6?
True
Let g(w) = -w + 20. Suppose -h = -2*h. Is g(h) a multiple of 20?
True
Suppose -4*v + 10 = 5*j, -5*v + 4*j - 8 = -7*v. Suppose -h + 5*c + 26 = 4*c, v = 3*h + c - 70. Is h a multiple of 5?
False
Suppose 3*s - 481 = 401. Is s a multiple of 42?
True
Suppose 2*p = -3*t + 27, -3*p + 4*t - 2 = -0*p. Suppose 6 = 4*r - p. Suppose -7 + r = -f. Does 2 divide f?
True
Let v = -2 - -7. Let w = 340 - 229. Suppose 2*k = 5*m + v*k - w, -m = -2*k - 30. Is 15 a factor of m?
False
Let u = 1