 Let i(p) = 4*p**2 + 4*p + 4. Does 18 divide i(o)?
False
Suppose -6*r + 72 = -2*r. Suppose 3*d + 0 = r. Is d a multiple of 4?
False
Let c(r) be the first derivative of -r**4/4 + 3*r**3 + 11*r**2/2 + 6*r + 3. Let n be c(10). Suppose 2*q + 5*g + n - 116 = 0, 3*q - 3*g = 108. Does 16 divide q?
False
Does 4 divide 462/49 - 4/(-7)?
False
Let j = 169 + 9. Let u = j + -117. Suppose 0 = 3*f - 6*f + 15, 0 = 3*p - f - u. Is p a multiple of 11?
True
Let m(i) = -i**3 + 11*i**2 + 6*i - 4. Let n be m(11). Suppose n = 4*d - 174. Is d a multiple of 25?
False
Let r be (7 + -1)*(-23)/2. Let o = -37 - r. Does 15 divide o?
False
Let f(r) = -4*r - 3. Let w(s) = -s**3 + 4*s**2 - 3*s - 2. Let t be w(3). Let c(z) = -z**2 + 1. Let q be c(t). Does 9 divide f(q)?
True
Let w(o) = 3*o**2. Let z be w(-2). Does 5 divide (10/6)/(2/z)?
True
Let f be 4/(-10) + (-8)/5. Does 5 divide (f + 0 - -2) + 10?
True
Let m be (-12)/(1 + -5) + 11. Suppose -d + 2*a = -25 - m, 4*d = 3*a + 136. Does 9 divide d?
False
Let z = 30 - 10. Is 10 a factor of z?
True
Is 8/5*(-340)/(-8) a multiple of 17?
True
Let l = 26 - 0. Is l a multiple of 12?
False
Suppose 8*u - 16 = 4*u. Suppose u*z - 4 - 80 = 0. Is z a multiple of 6?
False
Suppose -5*z + 28 = 2*o - 157, 425 = 4*o - z. Does 7 divide o?
True
Suppose -63 = -0*m - 3*m. Does 21 divide m?
True
Let r be 1/(-3) + 7/3. Suppose 0 = r*c + 2*c - 68. Suppose 3*m + h - 29 - c = 0, -2*h = -5*m + 73. Is 5 a factor of m?
True
Let o(m) = 3*m**2 + 11*m + 51. Does 12 divide o(-5)?
False
Suppose 320 = 2*f + 3*f. Is f a multiple of 22?
False
Let o(t) = -t**3 - 5*t**2 - 2*t. Let w be o(-4). Let a(i) = i**3 + 9*i**2 + 8*i + 3. Let m be a(w). Is 11 a factor of (-19 - m)*2/(-4)?
True
Let z(g) = 4*g + 11. Let j be z(10). Let u = j + -10. Is u a multiple of 15?
False
Let q = -63 - -90. Suppose -5*h - 2*c = -2, -4*h + 1 = 4*c - 3*c. Suppose 0*j - 3*j + q = h. Does 9 divide j?
True
Suppose -4*a = -4*u - u - 10, 5*u + 5*a - 35 = 0. Is 6*(-1)/u - -12 a multiple of 3?
True
Let q = 30 + 16. Is 23 a factor of q?
True
Let n(m) = 3*m**2 - 2*m + 2. Let c be n(-4). Is 19 a factor of 1/(c/19 - 3)?
True
Suppose -4*t - f - 19 = 0, -3*f - 2*f - 7 = -2*t. Let h(a) = -2*a - 3. Let n be h(t). Suppose 4*z = -4*p + 19 + 17, n*p - 25 = 0. Is 2 a factor of z?
True
Is 12 + 1 - (-2)/(-2) a multiple of 6?
True
Let n(z) be the third derivative of 19*z**4/24 + z**3 + 2*z**2. Let y be n(6). Suppose 0*o - y = -5*o. Is o a multiple of 14?
False
Let q(d) = -d**3 + 6*d**2 + 8*d + 1. Let l = 18 - -12. Suppose -3*f + l = 2*j + f, 3*f = 4*j - 16. Is q(j) a multiple of 8?
True
Let g = -14 + 110. Does 16 divide g?
True
Let a(v) = v**3 - 10*v**2 + 5*v - 1. Does 39 divide a(11)?
False
Let k(n) = -n**3 - 7*n**2 - 8*n - 9. Let f be k(-6). Suppose -23 = -2*z - f. Suppose -24 + z = -r. Is 6 a factor of r?
False
Let j = -9 - 0. Let n be ((-10)/6)/5*j. Suppose -35 - 37 = -n*o. Is o a multiple of 10?
False
Let j(w) = w**3 - w**2 + 2. Let r be j(0). Let b(h) = 0 + r*h + 1 - 3. Is b(7) a multiple of 10?
False
Let y be (-3)/(-12) + 518/8. Suppose -l - y = -5*d - 6*l, -l = -d + 13. Does 13 divide d?
True
Let m = -55 - -15. Let n = 119 + m. Suppose 2*h + 5*g = n, -121 = -3*h - 0*h - 5*g. Is h a multiple of 16?
False
Is 334/12 + -3*1/(-18) a multiple of 10?
False
Suppose 5*f - 186 + 6 = 0. Is 6 a factor of f?
True
Let w(q) = 3*q**2 - 8*q - 2. Let y be w(6). Let h = 81 - y. Suppose 3*g - h = 5*t, 0*g + t = 5*g - 31. Is 6 a factor of g?
True
Suppose 4*o + 22 = 4*y - y, 0 = -4*o - 16. Suppose y*z = 5*q + 112, 5*z = 2*q - 4*q + 222. Does 11 divide z?
False
Suppose 0 = 4*q + q - 25. Suppose q*g + 8 - 73 = 0. Does 7 divide g?
False
Let n be (-8)/44 - 642/(-22). Let t = -20 + n. Is 11 a factor of t + (-2 - (-4 + 0))?
True
Let r = 15 + -10. Is 87/r + (-6)/(-10) a multiple of 9?
True
Suppose -5*b - 32 = -5*x - 2*b, 0 = x + b. Suppose x*g = 12 + 140. Does 13 divide g?
False
Suppose 5*h + 3*l = 11, 5*h - 5 = -4*l + 3. Let x = h - -4. Is x a multiple of 3?
False
Let p be -1 + 0 + (-1 - 0). Let q be ((-10)/(-4) + p)*110. Let n = -32 + q. Is 23 a factor of n?
True
Suppose -2*s = -7*s. Let j = s - -5. Does 3 divide j?
False
Let v = 0 + 16. Suppose 2*y - 3*c + 4*c = -3, -4*y - v = 4*c. Suppose 2*b + y = 7. Is 3 a factor of b?
True
Let u(r) = -3*r - 11. Is 4 a factor of u(-9)?
True
Let y be (1 - 2) + 38 + -6. Suppose 9*b - 4*b - y = -4*g, -9 = -3*b. Suppose 5*t = -5*r + 45, -g*r - t = -0*r - 36. Does 9 divide r?
True
Let y be (-6)/(-4)*4/6. Let t = y + 3. Suppose -3*c - 4 = -t*c. Is 4 a factor of c?
True
Suppose -2*x - 2 = -4*x + 5*v, -x - 4*v + 14 = 0. Suppose 2*f - 5*f = 0. Suppose f*t = t - x. Does 2 divide t?
True
Suppose 5*d + 11 = 4*m, -4*d - 9 = -3*m - 0. Let k be (-8)/d*6/4. Suppose -156 = -0*w - k*w. Is w a multiple of 15?
False
Suppose x + 2*n = -4, -x - 2*x - 4*n = 6. Is 9 a factor of 6 - x/4*-6?
True
Suppose 2*f + 4*u = 134, 0 = -4*f - 2*u + 5*u + 246. Is 10 a factor of f?
False
Let g(s) = -3 + 4*s**2 + 15*s**2 + 2. Let b be g(3). Suppose 4*d + d - b = 0. Is d a multiple of 16?
False
Let x(b) = b**3 - 2*b**2 - 3*b - 3. Is 16 a factor of x(4)?
False
Let i be 2 - (-1)/(2/(-4)). Suppose i*k - k + 20 = 0. Does 10 divide k?
True
Let q(j) = j**3 + 9*j**2 - 12*j - 5. Let u(y) = -2*y + 2. Let d be u(6). Is 4 a factor of q(d)?
False
Let f(x) = -2*x**2 - 4*x - 4. Let p be (0 - -2)*5/(-2). Let r be f(p). Let o = 58 + r. Does 19 divide o?
False
Let w(r) = -17*r - 8. Is 7 a factor of w(-4)?
False
Suppose 5*s + 7*x + 25 = 2*x, s + 8 = -4*x. Let t be 4*1*(-46)/s. Suppose -2*n = 4*y - 42, -5*y = -y - 2*n - t. Does 6 divide y?
False
Suppose g + 2*g - 201 = 0. Is g a multiple of 7?
False
Let h be (-4)/(-6) - (-119)/(-21). Let s be (-2)/(4/(-2)) - h. Let y = -4 + s. Does 2 divide y?
True
Let n(h) = h**3 - 7*h**2 + 9*h + 3. Suppose 5*f - 26 = 9. Is n(f) a multiple of 26?
False
Let r be 6/(-8) + (-1569)/(-12). Suppose -2*i + 66 = 3*a, 5*a - 5*i + 20 = r. Is a a multiple of 11?
True
Let a = 47 + -11. Suppose f = 2*f - 3*z - 26, 5*z = f - a. Is f a multiple of 5?
False
Suppose 9*k = 6*k + 720. Does 40 divide k?
True
Let t be 2 + -2 + (-32)/(-4). Suppose 0 = 6*j - t*j + 68. Does 7 divide j?
False
Suppose 3*c = 5*c. Suppose x - 5*w - 23 = c, 13 = 5*x - 2*w - 56. Suppose -3*z - 4*u + 53 = 0, u - x = 2*z - 41. Does 15 divide z?
True
Let m(z) = 5*z - 2. Is 18 a factor of m(4)?
True
Suppose -2*k + 3*d = -386, -6*k + k = d - 948. Is k a multiple of 38?
True
Let l(t) = 9*t**2 + 7*t + 9. Is 12 a factor of l(-4)?
False
Let h(a) be the second derivative of a**6/360 + a**5/120 - a**4/4 - a**3/3 - 2*a. Let m(f) be the second derivative of h(f). Is 10 a factor of m(5)?
False
Suppose 7 = 4*l - 1. Let y be -3*l/(-6) - 45. Let m = y + 74. Is 15 a factor of m?
True
Let i = 71 + -11. Is 15 a factor of i?
True
Suppose 0 = 3*n - 0*n + 9, 0 = -3*w + n + 27. Suppose -3*f = -t + 8 + 1, -2*f = -w. Does 10 divide t?
False
Let w(f) = f**2 - f + 1. Let m be w(2). Suppose 4*q - 5*o = m*q + 21, -3*o = -9. Does 17 divide q?
False
Suppose -4*u + 9 = -4*h + 105, -5*h - 5*u = -170. Is 13 a factor of h + (-3 - -5)/2?
False
Let p(m) = -m - 2. Let c be p(-4). Suppose -c*q + q - 399 = -4*o, -2*o + q + 197 = 0. Suppose 120 = 5*k + 5*j, 4*k + 0*j - o = j. Does 15 divide k?
False
Suppose -q = -0*y - 2*y, -5*y + 10 = 0. Suppose -2 = -p, q*w + w = -2*p - 121. Let k = -8 - w. Does 6 divide k?
False
Suppose 0 = -3*k - 2*z + 33, 0 = 5*k + z - 24 - 24. Does 9 divide k?
True
Suppose 0 = 3*z - 92 - 55. Is z a multiple of 23?
False
Let g(v) be the first derivative of v**2 + 10*v - 7. Does 13 divide g(8)?
True
Let z(s) = s**2 - 2*s - 8. Let i be z(6). Let l = i - -30. Is 17 a factor of l?
False
Let x be (9/(-2))/(3/(-4)). Suppose -2*k + x*k - 4 = 0. Does 5 divide (-2)/2*-11*k?
False
Suppose 14 + 38 = -4*q. Let d = q + 22. Does 4 divide d?
False
Let g(i) = 3*i**2 + 2*i. Does 7 divide g(-3)?
True
Let z = 154 + -76. Suppose -4*y + 4*j + 122 = -z, 2*y = -2*j + 84. Is y a multiple of 23?
True
Let h be (35 + -2)/(0 - -1). Is 14 a factor of 0/2 - (-1 - h)?
False
Suppose 0 = -3*b - 3*g + 258, 198 = 5*b - 2*g - 225. Is 9 a factor of b?
False
Let g = -13 - -23. Is 4 a factor of g?
False
Let s(t) = -t**3 + 5*t**2 - 4*t - 4. Let j be s(4). Let v be (-3)/(-6)*(-20)/(-5). Is (j/6)/(v/(-30)) a multiple of 8?
F