2*s + 63 + 65 = 0, -3*s = z*n - 228. Is 23 a factor of n?
False
Let b(p) be the second derivative of p**6/120 - 7*p**5/120 + 5*p**4/24 + 5*p**3/6 - 5*p. Let x(d) be the second derivative of b(d). Does 8 divide x(4)?
False
Let p(i) = -i**3 + 8*i**2 + i + 8. Let g = -12 + 20. Let z be p(g). Suppose m - 8 - z = 0. Does 8 divide m?
True
Suppose 0 = 3*u - 5 - 1. Let a be u/(-4)*(4 - 4). Suppose 0 = -a*h - h + 55. Is 12 a factor of h?
False
Let f be (-895)/(-25) - (-3)/15. Suppose 5*g - 16 = -f. Is 27 a factor of (-328)/(-6) - g/(-6)?
True
Let f be (859/(-2))/(1/(-2)). Suppose -235 = 6*h - f. Is 29 a factor of h?
False
Suppose -h - 60 = -6*h. Let c = 1 - h. Let n(i) = i**2 + 9*i - 1. Is n(c) a multiple of 14?
False
Let v be 40/(-3) + (5 - 55/15). Let q(a) = -13*a - 24. Does 11 divide q(v)?
True
Let w(r) = -r**2 - 8*r - 10. Let s be w(-6). Is 430/5 + s + 4 a multiple of 31?
False
Let o(n) = -n**2 + 9*n + 5. Let y be o(8). Suppose -y - 51 = -4*k. Is 3 a factor of k?
False
Suppose -3*t - 5*r + 159 + 43 = 0, -t = -4*r - 56. Let v = t - 21. Suppose 0 = -3*j - 5*g + v, -2*g = -2*j + 3*g - 13. Is j a multiple of 6?
True
Let w(h) = 39*h - 26. Does 8 divide w(6)?
True
Let l = -854 - -1974. Is l a multiple of 56?
True
Let x be (-1)/((1/2)/(6/4)). Let t(r) = -4*r**3 + 3*r**2 - 3*r - 14. Does 26 divide t(x)?
True
Let n(m) = 14*m. Let b(u) = -u**3 - 3*u**2 + 5*u - 2. Let z be b(-4). Let d(o) = 27*o. Let k(f) = z*d(f) + 10*n(f). Is k(-1) a multiple of 7?
False
Suppose -344 = 5*x - 1244. Suppose f = -4*f + x. Is f a multiple of 9?
True
Does 18 divide (-2)/1 + (148 - 38)?
True
Suppose -s - 4 = 0, -4*a - 2*s - 12 + 44 = 0. Suppose a*w - 5*w = 230. Does 12 divide w?
False
Let b = 138 + 126. Is 19 a factor of b?
False
Is 53 a factor of (-246260)/(-231) + (-6)/99?
False
Suppose -65*m - 79 = -66*m. Is m a multiple of 25?
False
Let t(f) = 3*f**3 - f**2 + 3*f + 1. Let u be t(5). Suppose 2*y = 2*m - 85 - 97, 0 = -4*m + 2*y + u. Is m a multiple of 15?
False
Let i(p) = -p**3 - 4*p**2 + 6*p + 6. Let s be i(-4). Let t be ((-6)/(-4))/(s/(-24)). Is 21 a factor of 1 - t - (-66 - -2)?
True
Let i(m) = m**3 - 9*m**2 + 8*m - 2. Let h be i(8). Let w = h - -7. Suppose 0*f - 2*r - 1 = -f, f + w = 5*r. Is 5 a factor of f?
True
Suppose q = -0*q - 5, q = 4*r - 89. Suppose 2*m - 39 = r. Is 5 a factor of m?
True
Let b be (-6 - -11)*2/2. Suppose l - b = -0*l. Is 4 a factor of l?
False
Let h(t) = t**2 - 12*t + 1. Let z be h(13). Let c = z - 32. Is 20 a factor of (c/15)/(2/(-85))?
False
Let c = -21 - -72. Let y = 165 - c. Is y a multiple of 30?
False
Is -3 + 2 - ((-531)/9 - 6) a multiple of 4?
True
Is (-837)/(-18) + -1 + 2/4 a multiple of 18?
False
Let t(r) = 2*r**3 - 11*r**2 - 17*r + 28. Is t(11) a multiple of 31?
False
Let b(d) = d**3 + 13*d**2 - 15*d - 11. Let t be b(-14). Let g be 4 - (0/(-1))/t. Suppose -12 = -g*z + 24. Is 9 a factor of z?
True
Let p(i) = 18*i - 9. Let q(g) = -6*g + 3. Let c(x) = 4*p(x) + 14*q(x). Let s be c(-2). Is 2 a factor of (8/(-3))/(s/(-45))?
True
Let s(x) = -x**2 + 9*x - 4. Let n be s(9). Let a = 3 - n. Suppose 11 = 3*o - a. Is o a multiple of 2?
True
Suppose -1119 = -g + 3*c, 2*g - 6*g + 5*c + 4455 = 0. Does 10 divide g?
True
Let m(w) = w**3 + 4*w**2 - 4*w - 1. Let b be m(-5). Let r(v) = 2*v - 19. Let c(s) = -s + 19. Let l(h) = -4*c(h) - 5*r(h). Does 9 divide l(b)?
False
Suppose q + 17 = -3*u + 46, -44 = -4*u + 4*q. Suppose -472 = -u*w + 6*w. Is w a multiple of 26?
False
Suppose -49*q + 44*q + 440 = 0. Suppose -3*z - z + q = 0. Suppose w = -y + 34, -w + 20 = -y - z. Is w a multiple of 11?
False
Suppose -35 - 61 = -8*r. Is r a multiple of 7?
False
Suppose -i + 183 - 46 = 0. Does 17 divide i?
False
Suppose -2*s = -s - 21. Suppose -s = -15*w + 12*w. Suppose w = 2*k - 3. Is k a multiple of 4?
False
Let s be 0 - 7/((-28)/(-24)). Let g = 6 - s. Is g a multiple of 2?
True
Does 5 divide (4/(-6))/(12/(-342))?
False
Let f(n) = -1 - 2*n - 3*n - n - 9*n. Suppose 3*q + 18 = -3*q. Does 10 divide f(q)?
False
Suppose t = w - 2*t - 45, -4*t - 48 = -w. Let a = 166 - 118. Suppose -a = -3*n + w. Is n a multiple of 14?
True
Suppose 26*p = 32*p - 1866. Is 3 a factor of p?
False
Let m(h) = -3*h**2 + 5*h + 8. Let r(v) = -4*v**2 + 4*v + 9. Let b(y) = -3*m(y) + 2*r(y). Let g be b(8). Suppose -g*s = -8 - 30. Is 3 a factor of s?
False
Let z(t) = 1131*t + 10. Let x be z(2). Is 63 a factor of (80/45)/(-8) + x/18?
True
Suppose -5*k = -n + 12, -2*k - 14 = 2*n - 7*n. Suppose n*w = 113 + 215. Suppose 7*p - 9*p + w = 0. Does 33 divide p?
False
Let p = -399 - -750. Is p a multiple of 13?
True
Suppose 0 = -3*u + 6. Suppose 0 = 5*l - 5*g + 25 + 90, 0 = u*l + g + 40. Let h = 56 + l. Does 9 divide h?
False
Let c = 455 + -411. Is c even?
True
Suppose p + 2*p = 0. Suppose -4*c - 3*t + 34 - 10 = p, 0 = -4*c + 3*t. Suppose c*l = 53 + 19. Is 12 a factor of l?
True
Let f(o) = 11*o - 13. Let i(x) = 33*x - 38. Let t(d) = -8*f(d) + 3*i(d). Is 18 a factor of t(4)?
False
Let y be 0*(0 - (-4 + 5)). Suppose y = -2*n - 2*n + 316. Does 20 divide n?
False
Let n = -561 - -749. Is n a multiple of 10?
False
Let v(z) = -z**3 + z**2 + z - 6. Let g be v(0). Let s = 51 - g. Suppose -5*c + 2*o + s + 44 = 0, 5*o - 115 = -5*c. Is c a multiple of 13?
False
Let b be 816/(-15) + 4/10. Let z = b + 83. Let o = -19 + z. Is o a multiple of 2?
True
Let r(o) = o**3 - 3*o**2 - 4*o + 2. Let l be r(4). Does 24 divide 2 - 0/l - -55?
False
Let r(t) = 10*t + 5. Does 3 divide r(2)?
False
Let j(m) = 2*m**2 - 42*m + 6. Is j(24) a multiple of 30?
True
Let i be (5 - 2)/3 - -2. Suppose i*f - 2 - 10 = 0. Suppose f*r = r + 36. Is r a multiple of 9?
False
Let q = 926 - 190. Does 23 divide q?
True
Let k(l) = -6*l**3 + l**2 + 5*l + 5. Let n(d) = 5*d**3 - 5*d - 4. Let g(c) = -4*k(c) - 5*n(c). Let f be g(-5). Suppose f = 4*v - 2*v - 80. Is 23 a factor of v?
False
Let l be 2*(-7)/(14/(-4)). Suppose 0 = l*i - 6*i + 234. Is i a multiple of 29?
False
Let a = -51 + 55. Suppose 20 = -a*i, -4*r + 3*r + 2*i = -218. Does 19 divide r?
False
Let r be 119/49 - (-4)/7. Suppose -2*y + 70 = 4*a + 30, -5*a + 50 = r*y. Is a a multiple of 5?
True
Let n(v) be the first derivative of v**2/2 + 7*v - 2. Let y be n(-10). Is (4 - y) + (-3 - -3) a multiple of 4?
False
Suppose 32 = h - 229. Does 5 divide h?
False
Let u(m) = -9*m**2 - 18*m - 9. Let j(q) = -13*q**2 - 27*q - 14. Let p(n) = -5*j(n) + 7*u(n). Let h be p(-6). Let i = -6 + h. Is i a multiple of 7?
False
Is 2/(-2) - (-1470 + 109) a multiple of 10?
True
Suppose -8*v + 7*v + 4 = 0. Suppose 0 = v*a + 7 - 23. Is 2 a factor of a?
True
Let y = 10 - 5. Suppose -108 = -2*q + v, -5*v - 139 = -3*q + 30. Suppose 5*d - 3*x = 74, 5*d + y*x - q = x. Is d a multiple of 13?
True
Let j = -424 + 1504. Is 27 a factor of j?
True
Suppose 709 = 3*u + 5*t, 44 - 257 = -u + 3*t. Is 4 a factor of u?
True
Let n = -14 - 1. Let r(v) = v**3 + 16*v**2 + 13*v - 3. Is r(n) a multiple of 7?
False
Let y = -73 - -75. Is 8/3*18/y a multiple of 4?
True
Let i = -36 - -39. Is 37/i*3 - 2 a multiple of 35?
True
Let a be (-217)/7 - (-1 + 2). Let r = 14 + a. Is 18 a factor of r*(0 + -3 + 2)?
True
Let d = -6 - -12. Let x be (-1 - 17)*16/d. Let f = x + 135. Is 29 a factor of f?
True
Let q(r) = 19*r**2 + 24*r - 108. Is q(8) a multiple of 16?
False
Let f(p) = -23*p - 54. Let y(v) = -24*v - 52. Let q(x) = 4*f(x) - 3*y(x). Is 10 a factor of q(-8)?
True
Let x = -14 + 11. Let y = x - -47. Suppose -c + y = -3. Does 14 divide c?
False
Suppose r = -4*r + 10. Suppose 2*k = a + 13 - r, -3*k + 2*a = -19. Suppose -k*l - 440 - 203 = -5*m, 0 = 2*m + 4*l - 252. Is 33 a factor of m?
False
Let u(h) = -3*h**3 - h**2 - 16*h - 7. Does 9 divide u(-5)?
True
Suppose -u + 465 = -4*r, -212 = 2*r - 5*u + 7. Let g = 430 + -16. Is (-18)/r + g/13 a multiple of 12?
False
Let m = -47 + 25. Let o = -14 - m. Suppose o = 2*q - 0. Does 4 divide q?
True
Let c(m) = -m**2 + 14*m + 6. Let t be c(16). Let a = 18 + t. Does 13 divide 39 + 4 - a/(-2)?
True
Let l be (1/(-3))/(3/63). Let b = l + 3. Is 2 a factor of 6/b*48/(-36)?
True
Let r be 18/((-21)/6 - -2). Suppose 5*c - 51 = 6*c. Let f = r - c. Does 13 divide f?
True
Suppose -141*k + 134*k = -3759. Is 41 a factor of k?
False
Suppose 55*d - 131238 = -14*d. Does 9 divide d?
False
Suppose -1 - 2 = -2*u - s, -u + 3*s + 5 = 0. Let g be 962/14 - u/(-7). Suppo