21 = -2*f + 5. Is d a multiple of 6?
True
Let w = -9 - -15. Let p be (-3)/w*0/(-2). Suppose p*o = 2*o - h - 43, 2 = -2*h. Is 7 a factor of o?
True
Suppose 0 = -4*f + 5*f. Let d be (-3 - -4)/(1/5). Suppose -5*y + d = f, s + y = 2*y + 20. Is 16 a factor of s?
False
Suppose -z + 2 = 4*r - 12, 5*r = -4*z + 89. Does 4 divide z?
False
Let c(o) = -o**2 - o + 11. Let n(v) = -v**2 - 2*v - 1. Let z be n(-1). Is c(z) a multiple of 11?
True
Let o = 107 - 73. Let c = o - 7. Suppose c = 2*g + g. Is 8 a factor of g?
False
Is ((-39)/(-12) + -2)*60 a multiple of 18?
False
Let m(i) = i**3 + 15*i**2 + 4*i + 28. Is 16 a factor of m(-14)?
False
Let v(g) = -g**2 - 12*g + 8. Does 10 divide v(-10)?
False
Let i(s) = -10*s - 8. Let h(f) = 19*f + 16. Let t(w) = -4*h(w) - 7*i(w). Let z(p) = -3*p - 4. Let x(y) = -3*t(y) + 7*z(y). Is x(-3) a multiple of 3?
False
Suppose 1 = v - 8. Let g = -6 + v. Is 3 a factor of g?
True
Let h(s) = s**3 - 5*s**2 - 9*s - 7. Suppose 8 = 2*q, -3*n - 3*q - 22 = -112. Suppose 4*y - 2 = n. Is h(y) a multiple of 14?
True
Let k be (-4)/(-22) + 100/55. Suppose -2 - 16 = -3*q + k*h, 0 = -4*h. Is 3 a factor of q?
True
Let f = 2 + 25. Suppose -i + 0 = -f. Does 13 divide i?
False
Let g(a) be the third derivative of -1/3*a**3 + a**2 - 1/60*a**5 + 0 + 0*a + 1/3*a**4. Is 5 a factor of g(7)?
True
Suppose 3*y - 5*z - 17 = 0, -5*y + 5*z - 15 = -10*y. Let r(a) = a**3 - 2*a**2 - 3*a + 3. Is 13 a factor of r(y)?
False
Suppose -3*l + 13 = -5. Let a = l - 1. Does 5 divide a?
True
Let v(q) = 2 - 2*q - 4 - 2. Is v(-6) a multiple of 6?
False
Let p = 138 + -80. Is 9 a factor of p?
False
Suppose 0*d = -4*d. Let g(h) = h + 5. Let n be g(0). Suppose n*v + d = 40. Is v a multiple of 8?
True
Let v(z) = z - 5. Let x be v(7). Is x/(-1)*(5 + -7) a multiple of 4?
True
Let f(g) = 18*g**2 - 4*g - 5. Is 13 a factor of f(-3)?
True
Let k(v) = -v**2 + 3*v + 4. Let l be k(3). Is 19 a factor of 1 + l/4 + 66?
False
Is 6 a factor of 5/10 + 27/2?
False
Let n = 78 + -49. Does 11 divide n?
False
Let r = -12 + 6. Let z = r - -11. Suppose -99 = -2*j - z*u, -2*u + 177 = 4*j + u. Is j a multiple of 13?
False
Let l(q) = 2*q + 4. Let m be l(-4). Let g be (-8)/((m/(-26))/(-1)). Suppose 3*i = -3*j + g - 4, -3*i + 40 = j. Is i a multiple of 6?
True
Suppose -3*p - 5*a + 291 = 42, -2*p = 3*a - 165. Does 13 divide p?
True
Let r(t) = -t**3 + 6*t**2 + t + 2. Is 4 a factor of r(6)?
True
Let d(f) = f**3 - 4*f**2 - f + 7. Let b be d(4). Does 11 divide b/5 + 107/5?
True
Suppose 0 = -v - 0*v - 14. Let w = 50 - v. Does 12 divide w?
False
Let b(f) = -5*f - 3. Let l be b(-3). Is 3 a factor of (l/(-3))/((-4)/6)?
True
Let v(w) = -w**3 + 5*w**2 - 3*w. Let n be v(4). Suppose h - 8 - n = 0. Does 12 divide h?
True
Let k(j) = 6*j + 27. Let n(w) = -3*w - 13. Let g(a) = 6*k(a) + 13*n(a). Does 3 divide g(-6)?
False
Suppose -18 = -5*t + 2*y, 0*y - 2*y = 8. Suppose t*k + 0*k = -22. Let w = k - -19. Does 8 divide w?
True
Let q(o) = o**2 - 10*o - 10. Let f(j) = 1. Let v(i) = -6*f(i) - q(i). Is 13 a factor of v(9)?
True
Let k(b) be the second derivative of -5*b**4/3 - b**3/6 + 4*b. Let p be k(-1). Let u = -9 - p. Is u a multiple of 3?
False
Let a = 3 - 23. Is (1 - 2)/(1/a) a multiple of 9?
False
Let i be 1 + 1 - (-9)/3. Suppose 0 = i*q + 16 - 51. Is q a multiple of 3?
False
Let p = 3 + -1. Suppose 2*s - 8 = 3*a, 0 = -4*s - p + 18. Suppose a = -5*j + 2*u - 49 + 180, 0 = -4*j - 2*u + 112. Is j a multiple of 10?
False
Let d(o) = -4*o**3 + 4*o**2 + 3*o - 5. Let c(m) = -m**3 - m**2 - m - 1. Let l(s) = 5*c(s) - d(s). Is 36 a factor of l(-9)?
True
Suppose i = 5*i + 180. Is (-2)/(-3)*i/(-10) a multiple of 3?
True
Let t(n) = -n**3 + 6*n**2 - 2*n + 7. Suppose q = -0*q + 5. Is t(q) a multiple of 11?
True
Suppose 0 = 4*p - s - 286, -p + s + 74 = 4. Suppose 81 = 5*j + 3*w - w, 4*j = 2*w + p. Let r = j + -2. Is 14 a factor of r?
False
Let u(z) be the first derivative of 2*z**3/3 + 9*z**2/2 + 8*z + 2. Let a be u(-7). Suppose -3*m - 10 = -a. Is 8 a factor of m?
False
Is 4 a factor of ((-20)/3)/(10/(-30))?
True
Let w(q) = -3*q**2 + 5*q + 2. Let s(t) = -t**2 + t. Let y(r) = 2*s(r) - w(r). Let k be y(4). Suppose 4*f - 72 = -4*o, -4*o = -o - k*f - 34. Is 7 a factor of o?
True
Suppose -w + 27 = -5*b, -w + 2*b = 5*b - 35. Does 12 divide w?
False
Suppose j - 5*j - 3*s + 153 = 0, -3*j = -2*s - 119. Is j a multiple of 3?
True
Suppose f = 3*x + x + 31, 2*f - 13 = x. Let i(o) be the second derivative of o**4/12 + o**3/2 - o**2/2 - o. Is 10 a factor of i(x)?
False
Let y = 16 + -1. Suppose 0*w + q = 4*w - y, -5 = -5*q. Suppose -w*c = -5*p - 16, 2 = 2*c - 3*p - 6. Does 3 divide c?
False
Suppose 4*i - 27 = -a, 0*i + 5*a = -i - 17. Let z = i - 4. Suppose 0 - 20 = -4*y, z*l - 107 = y. Does 14 divide l?
True
Let r be (-3)/(-6) + 9/2. Suppose o = r*b - 127 + 47, o + 5 = 0. Does 4 divide b?
False
Is 50 + (3 + -3 - 2) a multiple of 8?
True
Suppose 0 = -3*n - 2*z + 5, 3*n - 2*n - 4*z - 25 = 0. Suppose -t - 53 = n*p, 165 = -5*t - 2*p - 3*p. Let f = -20 - t. Is 3 a factor of f?
False
Suppose -7*b + 6*b = -90. Is b a multiple of 30?
True
Suppose -z = -5*z - 72. Let i = z + 9. Is 8 a factor of (-164)/i + (-12)/54?
False
Does 24 divide (-1)/(9/(-21) - (-464)/1148)?
False
Suppose -2*y + 1 = -3. Let a = y + 1. Suppose 2*h = -a*h + 35. Is h even?
False
Suppose -5*r = -500 + 190. Does 21 divide r?
False
Is 23 a factor of (-6)/(-21) + (-5)/(-7) - -22?
True
Let b = -16 + 16. Suppose 0 = 4*w, 4*a - w = 5*a - 64. Suppose b*r - 4*r + a = 0. Does 16 divide r?
True
Let q be (-7 + 6)/((-2)/10). Suppose o = q*o - 20. Suppose -d = -0*d - 5, 4*h + 13 = o*d. Is 3 a factor of h?
True
Suppose 0 = -5*x - 5, -5*b + x - 2*x = 1. Let p be -6*(0 + b + 1). Let r(f) = f**2 + 4*f - 7. Does 3 divide r(p)?
False
Suppose -2 = -x + 4. Let z(f) = 2*f - 9. Let u be z(x). Suppose 0 = -u*c - h + 135, 6*c - 3*c - 3*h = 147. Is 20 a factor of c?
False
Let z(s) = -9*s - 9. Suppose 0 = -4*h - 4*o - 8, 4*o = -4*h + o - 11. Does 11 divide z(h)?
False
Let y(n) be the third derivative of n**4/12 + n**3/6 + n**2. Is y(2) a multiple of 2?
False
Let n(u) = -u - 3. Let f(r) = r + 3. Let b(s) = 5*f(s) + 4*n(s). Let m be b(-3). Suppose m = 3*a - 3, -4*z + 76 = -3*a - a. Does 9 divide z?
False
Let t(d) = -2 + 2 + 2 + 0 - d. Suppose -5*y + 3*v = 52, -3*v + 28 = -y + 2*v. Does 10 divide t(y)?
True
Suppose -4*u = -3*u + 97. Let i = -49 - u. Does 16 divide i?
True
Let f be (3 - 0) + -2 + -36. Does 14 divide f*2*(-2)/5?
True
Let h = -3 + 5. Is 22 a factor of 1/(3 - h) - -21?
True
Suppose 3*t - 5*t + 32 = -4*w, -24 = -t - 2*w. Suppose -t = d - 5*d. Is d a multiple of 5?
True
Suppose -2*n = 5*m + 34, 7*m - 3*n + 41 = 3*m. Let f = m + 22. Is 14 a factor of f?
True
Let r(w) = 2*w**2 - 9*w - 19. Is 13 a factor of r(-7)?
False
Suppose -4*o = -8, 5*o - 3 - 23 = -2*u. Let f(m) = -m**2 + 10*m - 7. Let n be f(u). Suppose 5*i - 6 = n. Is 2 a factor of i?
False
Suppose d = 4*d - 432. Let i = d + -66. Is i/10 - 3/(-15) a multiple of 5?
False
Let g(w) = w**2 - 8*w + 7. Let f be g(5). Let i be (-45)/(-18)*f/(-10). Suppose -10 = i*v, n + 0*v + v = 14. Does 6 divide n?
False
Suppose 92 = 3*a - 52. Let g = a - 21. Is g a multiple of 9?
True
Suppose 29 = -5*a + 99. Is a a multiple of 5?
False
Does 3 divide 1 - (-12)/(-20) - (-216)/10?
False
Let i(k) = -k**3 + 3*k + 15. Is i(-6) a multiple of 71?
True
Let p be (-619)/(-3) - (-6)/(-18). Suppose -4*q + 2*x = -p, q + q - 133 = -5*x. Does 11 divide q?
False
Let p(f) be the first derivative of f**4/4 + 7*f**3/3 + 3*f**2/2 + 3*f + 4. Does 19 divide p(-5)?
True
Let a = -14 - -8. Let j(g) = -g + 11. Is 5 a factor of j(a)?
False
Is 14 a factor of 7 + 147 + -1 + 1 + 2?
False
Let l(y) = y - 2. Is l(11) a multiple of 2?
False
Suppose 5*g - 327 = 213. Is 6 a factor of g?
True
Let f(b) be the first derivative of b**2/2 + 3*b - 7. Is f(6) even?
False
Suppose 0*h = h - m - 1, h - 13 = 5*m. Is 2/(h*(-2)/32) a multiple of 16?
True
Suppose -5*w = 5*y - 50, -40 = -2*w - 0*w + 3*y. Is 14 a factor of w?
True
Let a(b) = 10*b - 4. Let x be 30/9 + 3/(-9). Is a(x) a multiple of 9?
False
Let n = -2 + 2. Suppose n = -4*r + 2*r - 56. Is r/(-10) - (-1)/5 even?
False
Let t(v) = 5*v**2 + 3*v + 1. Let f be t(-2). Suppose 2*h - 3 + f = 0. Let k = 20 + h. Is k a multiple of 5?
False
Let c = 27 + -47. Is 13 a factor of 