False
Let f(h) = h**3 + 5*h**2 - 4*h - 2. Let a be 3/12 - (-21)/(-4). Does 5 divide f(a)?
False
Is 1092/35 + 1/(-5) a multiple of 29?
False
Suppose h - 110 = 2*w - 24, w = h - 90. Does 10 divide h?
False
Suppose -30*h - 181 = -31*h. Let u be -1 - -6*(2 + -1). Suppose u*o - h = -36. Is o a multiple of 11?
False
Suppose 0 = o - 9 - 2. Does 8 divide o?
False
Let k be 3 + -1*(-1 - 0). Suppose -s = s - h - 39, 0 = -4*h - k. Does 9 divide s?
False
Does 50 divide (-2)/4*2*(-226)/1?
False
Suppose 0 = -2*g + g + 2. Suppose -4*a + 73 = g*b + b, -3*a + b = -45. Is 8 a factor of a?
True
Does 6 divide 496/13 - (-68)/(-442)?
False
Let p(u) = 150*u**2 + u. Let i be p(1). Suppose i = 3*m - 5*z - 0*z, -z - 207 = -4*m. Suppose n = -3*c + m, 3*n = c - 2*n - 28. Is 9 a factor of c?
True
Let g be 71/((3 - 1)/2). Suppose 0*k - 129 = 3*k. Let a = g + k. Is a a multiple of 14?
True
Let y(p) = 4*p + 2. Let t be y(-2). Let f(w) = w**3 + 6*w**2 + w + 8. Is 2 a factor of f(t)?
True
Let t(n) = -n**2 - 8*n - 5. Let q(o) = o**3 - 3*o**2 - 7*o. Let x be q(5). Suppose -x = -r + 4*r. Is t(r) a multiple of 3?
False
Let q(g) = -22*g - 1. Is 10 a factor of q(-1)?
False
Let k(b) = 2*b**2 - 4. Let f be k(4). Suppose -f = -3*n + 161. Does 21 divide n?
True
Suppose -2*m - 9*a + 13*a + 188 = 0, -5*m + a = -488. Is 29 a factor of m?
False
Suppose -2*s + 9 + 165 = 0. Is 39 a factor of s?
False
Suppose 4*q + 14 - 86 = -3*l, -3*q + 4*l + 54 = 0. Suppose -3*i + 6 = 0, v + 4*i + 24 = 2*v. Suppose -3*t = m - q, 5*m - 4*t - v = 134. Does 15 divide m?
True
Suppose -2*u - 1 = c - 49, -4*c + 72 = 3*u. Is u a multiple of 12?
True
Let j be (-123)/9*(-1 + -2). Let m = 60 - j. Is 6 a factor of m?
False
Let c = -44 + 73. Does 22 divide c?
False
Let i(m) = m**2 - 9*m + 1. Let u(z) = z**2 - 9*z + 2. Let y(n) = -6*i(n) + 7*u(n). Let a be y(8). Suppose -5*p = -a*p - 40. Does 4 divide p?
True
Let u = 1 - -4. Let l(q) = -q - 7. Let g be l(-7). Suppose g = -u*n + 7*n - 18. Is 7 a factor of n?
False
Suppose -444 = -4*y + 4. Suppose y = i + i. Is 24 a factor of i?
False
Let t = 466 - 206. Suppose -5*y + 35 = -t. Is y a multiple of 12?
False
Suppose 8*k - 16*k + 32 = 0. Is k even?
True
Let b(a) = 4*a + 2. Let g = 15 - 10. Does 6 divide b(g)?
False
Does 34 divide (4/(-10))/(1/(-170))?
True
Suppose 2*b - 24 + 4 = 0. Let z(m) = m**3 - 11*m**2 + 14*m - 4. Is z(b) a multiple of 12?
True
Let v(q) = -q**3 + q**2 + 4. Let n be v(0). Suppose -7*x = -n*x - 90. Is x a multiple of 12?
False
Is (-2)/5 + 87/5 a multiple of 11?
False
Let w(x) be the first derivative of x**4/4 + 4*x**3/3 - x**2/2 + 2*x + 3. Does 7 divide w(-3)?
True
Suppose 0 = 3*v - 4*i + 5*i + 101, 0 = -4*v + 2*i - 138. Let d = -18 - v. Suppose 0 = -4*k + 5 - 1, d = 3*u - 5*k. Is u a multiple of 2?
False
Suppose -128 = -5*m + m. Is 16 a factor of m?
True
Let q(r) = -r**2 + 6*r - 1. Let o be q(6). Is (o/1)/((-1)/4) even?
True
Suppose -5*o = -4*t + 10 - 3, 4*t - 15 = -3*o. Suppose 2*b + 39 = t*b. Suppose 4*x - 26 = 3*w + b, x - 16 = w. Is x a multiple of 15?
False
Suppose -y + 6*y = 4*v + 173, 5*v = -10. Suppose -5*u + 32 = -u. Suppose -j = -u - y. Does 14 divide j?
False
Let p = 0 - -5. Suppose -p*y + 231 = 41. Let i = y - 11. Does 9 divide i?
True
Suppose 993 = m + 2*m + 5*r, 3*m + r = 981. Does 5 divide 2/(-12) + m/12?
False
Suppose 0*u = -5*u + 2*c + 78, -4*u - c + 65 = 0. Does 16 divide u?
True
Let s = -104 + 168. Is s a multiple of 16?
True
Suppose -5*q - 51 = -4*q. Is -2 - (3 + q + -1) a multiple of 13?
False
Let c = -11 + 171. Is 8 a factor of c?
True
Let o(q) = q**2 - 5*q. Let d be o(6). Let a(m) = 5*m + 4. Is a(d) a multiple of 19?
False
Suppose 0 = 4*i - v - 257, -2*v + 2 = 4. Suppose -8*w = -7*w - i. Does 17 divide w?
False
Let w(z) = 2*z**2 + 12*z - 8. Let b(x) = 3*x**2 + 12*x - 9. Let f(g) = -3*b(g) + 4*w(g). Is 4 a factor of f(10)?
False
Let n(s) = -2*s - 14. Let u be n(-10). Suppose 0 = 3*z - z. Suppose -d = -u - z. Does 3 divide d?
True
Let d = -7 + 9. Suppose d*w = w. Suppose w = -2*r - 0*r + 8. Does 2 divide r?
True
Suppose -23 + 7 = -4*g. Suppose 4*r = -2*q + q + 11, -g*q - 1 = r. Suppose l - 6*l - r*s + 173 = 0, -2*s - 168 = -5*l. Does 17 divide l?
True
Let f = 91 + -26. Is 13 a factor of f?
True
Suppose 16 = 2*t + 2*t. Let y = t + -8. Let l = 6 - y. Is 5 a factor of l?
True
Suppose -3*s - 4*n + 24 = 0, 5 + 1 = 2*n. Suppose 5*m + 2*h + 3*h - 230 = 0, s*m - 208 = 4*h. Does 14 divide m?
False
Let s = -19 - -25. Is 5 a factor of s?
False
Suppose 5*s = -2 - 8. Let c(r) = -3*r - 2. Let x be c(s). Let p = 1 + x. Is 5 a factor of p?
True
Suppose -5*r + 0*r = 0. Let o = 5 + r. Let m(k) = -k**3 + 6*k**2 + 1. Does 13 divide m(o)?
True
Let k = 1 + 1. Suppose -q + 4 = 0, -3*r + 5*r - 2*q + k = 0. Is r even?
False
Suppose -3*g + 34 = -11. Suppose -15 = 3*z, v = 3*z - g - 21. Let l = -35 - v. Is 16 a factor of l?
True
Suppose 0 = 5*f - 92 - 18. Is f a multiple of 6?
False
Let k = -34 + 49. Is 5 a factor of k?
True
Let n = 0 - 1. Let m(p) = -p**2 + p - 1. Let u(c) = 10*c**2 + 4*c - 2. Let x(q) = -3*m(q) + u(q). Does 5 divide x(n)?
False
Let s(r) = -3*r**2 - 4. Let a(n) be the third derivative of n**5/15 + 5*n**3/6 - 3*n**2. Let m(q) = 4*a(q) + 5*s(q). Is m(-4) a multiple of 16?
True
Let t(m) = 5*m. Suppose 2*z - 5*z + 30 = 0. Let p = z + -6. Does 10 divide t(p)?
True
Let v(p) = -p**2 + 15. Let z be v(0). Suppose -5*l - 10 = 25. Let o = z + l. Is 6 a factor of o?
False
Let s = 33 - -45. Is 19 a factor of s?
False
Let d = 80 - -20. Is d a multiple of 20?
True
Let n(f) = -3*f - 12. Suppose -7*u + 12*u = -50. Is n(u) a multiple of 7?
False
Let t(s) = -s + 1. Let m be t(-1). Let f be (m - 4)*4/(-2). Is 22 a factor of (-582)/(-12) - 2/f?
False
Let o(m) = m**3 + 5*m**2 + 2*m + 7. Let a be o(-5). Is (-2)/6 - 16/a a multiple of 2?
False
Let v(f) = -f + 6. Let l be v(0). Is 4 a factor of 12/(4*l/32)?
True
Suppose 4*q + 10 = 3*q. Let n be 6/(-15) + (-714)/q. Suppose -n = -5*p + 49. Does 12 divide p?
True
Let a be 2/(-9) - (-50)/(-18). Let q = 7 + a. Is 3 a factor of q?
False
Let q be (-1 - -4) + 3 + 0. Is 12 a factor of (-32)/q*(-18)/4?
True
Suppose 3*s - 4*d - 210 = -d, 140 = 2*s - 5*d. Is 10 a factor of s?
True
Let r(h) = -7*h + 36. Is 17 a factor of r(-8)?
False
Let x(u) be the second derivative of 11*u**7/2520 + u**5/120 - u**4/6 + 2*u. Let j(a) be the third derivative of x(a). Is 12 a factor of j(-1)?
True
Suppose 4*y - 12 = y. Suppose 61 = y*o + 1. Is o a multiple of 9?
False
Let c(q) be the third derivative of -1/2*q**3 + 0 + 1/12*q**4 + q**2 - 1/10*q**5 + 1/120*q**6 + 0*q. Is c(6) a multiple of 7?
False
Let s be -10 + 1 - (0 - -1). Let l = s - -10. Suppose -2*w = -4*a + 78, 4*w = -l*a + 2*a - 42. Is a a multiple of 11?
False
Let w(q) be the second derivative of 2*q**3/3 + 3*q**2 - 3*q. Suppose 32 = 4*h + 4*s, 5*s = 4*h - 2 - 12. Is 13 a factor of w(h)?
False
Let z be 1 + 9/(1 - 4). Does 13 divide (-78)/4*4/z?
True
Let w(k) = 3*k**2 + 9*k - 1. Let n(j) = 3*j**2 + 10*j. Let g(o) = -3*n(o) + 4*w(o). Suppose -2*z - 4*s = -z + 6, 4*z - 3*s + 24 = 0. Does 21 divide g(z)?
False
Let p be (-8)/44 - (-864)/33. Let w = 52 - p. Is w a multiple of 13?
True
Suppose 2*m = 145 + 11. Is m a multiple of 16?
False
Let p(q) = q**3 + 4*q**2 - q - 4. Is p(-3) a multiple of 4?
True
Suppose 0 = t - 3*t + 4. Suppose -t = -k - 0. Suppose -k*r + 123 = r. Does 14 divide r?
False
Let v(i) = -i**2 + 2*i + 5. Let j be v(0). Suppose 2*w - 18 = -3*l, -j*l - 2*w - 10 = -40. Is l a multiple of 5?
False
Suppose 341 - 143 = h. Does 14 divide h?
False
Suppose 1 = o + 3, -3*b = -3*o - 381. Is b a multiple of 6?
False
Suppose -11 = -5*q - 4*g, -5*g = -3*q - q + 17. Let k = q + -6. Is -2*k/(18/111) a multiple of 16?
False
Is -4 - -7 - -61*1 a multiple of 16?
True
Suppose -3 = 4*p + 5. Let f be (-33)/(-27) + p/9. Let o(y) = 10*y. Is o(f) a multiple of 5?
True
Let y(r) be the second derivative of r**4/6 - r**3/6 - 2*r**2 - r. Is y(4) a multiple of 15?
False
Suppose 0 = 2*h + 4*d - 22, -h - 2*h = -4*d + 7. Suppose -9 = -h*k + 18. Is k a multiple of 9?
True
Suppose 0 = -7*w - 84 + 861. Does 37 divide w?
True
Suppose 5*m - m = -2*n - 4, m = 2*n + 4. Let k(g) = -22*g**2 + g**3 + 26 + 22*g**2 - g - 3. Is 14 a factor of k(m)?
False
Let o(u) = 3*u**3 + 9*u**2 + 4*u + 13. Let h(f) = -4*f**3 - 10*f**2 