d + 1. Let o be p(f). Does 12 divide 6*o/(-45)*30?
True
Let f = 3 + -4. Let v be (f + 0 + -5)*-1. Suppose 0 = -2*b - v + 82. Does 16 divide b?
False
Let t(h) = -12*h - h**2 + 4 + 4*h + 9. Does 4 divide t(-8)?
False
Suppose 4*o + o - 1 = -3*v, -3*v + 3*o + 9 = 0. Suppose -v*j - 2*k + 10 = 0, -4*j + k + 9 = -3*j. Does 3 divide j?
False
Suppose -5*l = i - 96, 38 = 2*l + i + 2. Suppose 5*p = 5 + l. Does 2 divide p?
False
Is (-38)/(-171) + (-1078)/(-9) a multiple of 15?
True
Does 11 divide ((-11)/(-1))/((-1)/(-5))?
True
Does 28 divide -4 + -1 + (-165)/(-5)?
True
Let n(q) = -q**3 + q**2 + 15. Does 15 divide n(0)?
True
Let i(o) = o + 13. Let d be i(-8). Suppose -145 = -d*w - 5*u, w + 3*u - 35 = 4*u. Is 12 a factor of w?
False
Let b = 9 + -3. Let d be (30/(-25))/(b/(-20)). Is 10 a factor of d*2/((-16)/(-54))?
False
Let r(c) = c**2 - c - 4. Let g be r(3). Suppose -4*y + 34 = b, g*b = 4*y - b - 26. Is 3 a factor of y/3*(2 - -1)?
False
Suppose 3*v + 2*i - 45 = 0, -15 = -4*i - i. Suppose c - 2*c = -v. Is 6 a factor of c?
False
Let i = -2 - -7. Suppose 128 + 297 = i*o. Let y = o - 58. Is 9 a factor of y?
True
Suppose -5*c - 1 = -11. Let h be 4 - (c/(-2) - 0). Let f(d) = d**3 - 5*d**2 + d - 2. Is f(h) a multiple of 2?
False
Suppose -2*l - 2*k = 4, k = -3*k - 16. Does 2 divide l?
True
Let a = -44 + 64. Does 6 divide a?
False
Let f be (1 - 1)/1 - -15. Is (-164)/(-5) + 3/f a multiple of 20?
False
Suppose 0*m + 28 = 4*m. Is m a multiple of 7?
True
Suppose 3*z = w + 15, 3*w + 5 = 2*z + 2. Let b(f) be the third derivative of f**4/8 + f**2. Does 9 divide b(z)?
True
Let j be 3 + 2 + (1 - 3). Suppose -2*v = -5*f + 152, -v = -j*f - 6*v + 85. Is 11 a factor of f?
False
Let r = -9 - -12. Does 27 divide 59*r*(-2)/(-6)?
False
Let t(s) = 3*s**2 - 2*s - 1. Let u be t(-1). Suppose -u*z + 95 = -113. Does 15 divide z?
False
Let q = -3 + 3. Suppose h + 0*h - 30 = q. Is h a multiple of 15?
True
Let i(f) = -3*f - 6. Let u be i(-4). Let c = -1 + u. Suppose -5*b = 5, -4*b = -c*p + b + 130. Does 13 divide p?
False
Let t(w) = 11*w**2 + 7*w + 17. Does 15 divide t(-4)?
True
Let f = 8 + -10. Let s be (f/(-6))/((-2)/(-18)). Suppose -6*m = -2*m, -2*t = s*m - 68. Does 17 divide t?
True
Suppose 4*h - 177 = -5*i, -2*h + 6*h - 2*i = 142. Does 11 divide h?
False
Let h be (1 + -2 - -1) + -6. Let d be 2/3 + 118/h. Let x = d + 44. Is x a multiple of 10?
False
Let o(s) = 6*s**3 - 2*s + 1. Let d be o(1). Suppose -d*q + 5 + 5 = 0. Is (-3 - -9)/(1/q) a multiple of 5?
False
Let k(r) = r**3 + 9*r**2 - 3*r - 9. Suppose x + 1 = -8. Is k(x) a multiple of 6?
True
Is 15 a factor of 1*(-2)/3 - 311/(-3)?
False
Let x(q) = 18*q**3 + q**2. Suppose 0 = 2*j - y - y - 2, 2*j - 2 = -2*y. Let d be x(j). Let i = d - 5. Is 7 a factor of i?
True
Let c be 4/14 + 10/(-35). Suppose 0 = -0*b - 5*b + 10. Suppose u = 2*p - 25 - c, b*u + 60 = 5*p. Is p a multiple of 4?
False
Let u = 15 + 30. Let t = 10 - 3. Suppose 2*l - u = t. Is 13 a factor of l?
True
Suppose 0 = -5*p + 4*p. Let z(x) = -7*x - 4. Let o be z(-4). Suppose -4*r + r + o = p. Is 3 a factor of r?
False
Let b(s) = -152*s**3 - 2*s**2 - 4*s - 2. Is 19 a factor of b(-1)?
True
Let g = 177 + -75. Is 17 a factor of g?
True
Let z(k) = -15*k**2. Let p be z(1). Is 0/(-2) - 705/p a multiple of 12?
False
Let o = -8 - -3. Let x be 1*o + (-4 - -4). Let u = x + 18. Is u a multiple of 5?
False
Suppose -123 - 377 = -5*o. Is 25 a factor of o?
True
Let h(y) = -13*y**3 + y**2 + 2*y + 1. Let f be h(-1). Let b = -8 + f. Is 5 a factor of b?
True
Let j(n) = -n**3 - 6*n**2 - 3*n + 2. Suppose 5 + 1 = -l. Is 10 a factor of j(l)?
True
Let o(m) = 7*m - 4*m**2 + 0*m**2 - m + 0*m**2 - m**3 + 9. Does 15 divide o(-6)?
True
Let p = -93 + 137. Does 11 divide p?
True
Let d(j) = 8*j - 26. Does 9 divide d(9)?
False
Let n(o) = 2*o**3 + 1. Let c be n(1). Does 12 divide (-5)/(((-4)/c)/4)?
False
Suppose 2*c = -2*y + 15 - 7, 5*c = -y + 12. Suppose 3*i - 20 + c = 0. Is 5 a factor of i?
False
Suppose 0*a = -5*y + 4*a + 454, 0 = -4*y + 3*a + 363. Is y a multiple of 15?
True
Let d(n) = 11*n**2 - 5 - 19*n - 12*n**2 + 0 - 2. Is 14 a factor of d(-15)?
False
Let n = 1 + 1. Let t(r) = -4*r - r**3 - 2*r**2 - 5*r**n + 0 - 1. Is t(-7) a multiple of 7?
False
Let z(v) = -11*v**3 - 3*v**2 - v + 9. Is z(-3) a multiple of 28?
False
Suppose -4*o + u = -18, 0 = o + 3*o - 2*u - 20. Suppose o*v = 12, -6 = -w - 4*v + 15. Let p(n) = n**2 - 7*n + 9. Is p(w) a multiple of 16?
False
Suppose -4*w = 4*s - 216, s = -4*w - 0*w + 204. Does 18 divide w?
False
Let r = -6 - -14. Suppose k - r = 10. Let y = k + -5. Is 4 a factor of y?
False
Let k = 29 + -7. Is k a multiple of 11?
True
Let x(n) = 5*n**2 - 9*n + 20. Does 39 divide x(7)?
False
Let w(r) = -r**3 + 3*r**2 + 2*r + 2. Is 3 a factor of w(3)?
False
Suppose -4*c + 1 + 20 = 5*h, 4*c = -3*h + 19. Is -50*(h + (-3 - -1)) a multiple of 13?
False
Let r be 145/((-2)/(8/2)). Let x be (27/(-12))/((-3)/12). Is r/(-6) - 3/x a multiple of 20?
False
Suppose -t = -s + 8, t + 2*t = -4*s - 3. Let u = -2 + s. Is 10 a factor of u + -1*(1 - 11)?
False
Let o be 34/6*(-3)/(-1). Let f = 28 - o. Is 6 a factor of f?
False
Suppose -p = -5*g - 220, -3*g + 704 = 3*p - 7*g. Is 40 a factor of p?
True
Let n be -102*(16/(-6))/(-4). Let b = n + 96. Suppose -3*y = -5*g + b, 0 = -5*g - 2*y + 18 + 30. Is g a multiple of 8?
True
Is 6 a factor of (8 + 0)/2 + 2?
True
Does 15 divide 148/2 + (-8)/2?
False
Let r = 2 + -3. Is r/2 + 58/4 a multiple of 13?
False
Let a = -106 + 67. Does 3 divide (-6)/a - 204/(-26)?
False
Let x(w) = -w**2 + w - 1. Let n(u) = -2*u**3 - 6*u**2 + 3*u. Let l(q) = n(q) - 3*x(q). Does 15 divide l(-3)?
True
Let w(c) = c**2 - 3*c. Let l be w(7). Let n = 84 - l. Is n a multiple of 23?
False
Suppose -123 = -4*f + 5. Is 32 a factor of f?
True
Let v(q) = 2*q**2 - 6*q + 5. Does 7 divide v(5)?
False
Suppose -2*q - 1 = 1. Let b be 112/12 - q/(-3). Does 6 divide (15 - 3)/(6/b)?
True
Let u(z) = 2*z + 4. Let y(o) = o + 2. Let h(a) = -3*u(a) + 5*y(a). Is 3 a factor of h(-8)?
True
Is 27 a factor of (-1 - -292) + -9 + (3 - -7)?
False
Let i(s) = s + 14. Suppose -p - 12 = -5*p. Suppose -28 = -p*q + 7*q. Is 7 a factor of i(q)?
True
Let t = 412 - 227. Suppose -4*l = -9*l + t. Is 15 a factor of l?
False
Suppose 10*q = 520 + 240. Does 27 divide q?
False
Suppose -4*p = -2*h - 0*h - 8, 3*p + 5*h - 19 = 0. Suppose j = p*j. Suppose -b + 4*b - 45 = j. Does 6 divide b?
False
Let u(a) be the second derivative of a**3/6 + a**2 + 2*a. Let t be u(0). Suppose t*s - 46 = w, 5*s = 5*w - 35 + 155. Does 11 divide s?
True
Is 10 a factor of -3 - (-12)/(-8)*-22?
True
Let g = -7 + 10. Suppose -3*u = -2*r - 173 - 103, 2*r = u - 88. Suppose 0 = -g*x + 20 + u. Does 20 divide x?
False
Let c(t) = -2*t + 6. Let a be c(9). Is (25/20)/((-1)/a) a multiple of 10?
False
Let n = 2 + 42. Is 22 a factor of n?
True
Let p(s) = -5*s**3 + 1. Let r be p(-1). Let n(i) = i**3 - 7*i**2 - 3*i. Let v be n(r). Let z = -37 - v. Is 17 a factor of z?
True
Let u(w) = 3*w**2 - 5*w + 6. Let g be u(5). Suppose 2*v - 38 - 30 = 0. Let i = g - v. Is 11 a factor of i?
True
Let z(v) = -28*v - 1. Let x(i) = 2*i - 2. Let w be x(2). Let m be z(w). Is 13 a factor of m/(-2) - (-1)/2?
False
Let f be (0 + 44/2)/1. Suppose -2*q - 3*q - 65 = 0. Let c = f + q. Is 9 a factor of c?
True
Is 28/(-42) + (-218)/(-3) a multiple of 24?
True
Let w(j) = 22*j. Let v be w(-1). Let y = 41 + v. Is y a multiple of 7?
False
Let s(i) = i**3 + 4*i**2 - 9*i - 5. Let y be s(-6). Let c = y + 58. Is c a multiple of 18?
False
Let m = -10 + 7. Let t = -11 + m. Is (-360)/t - (-12)/42 a multiple of 7?
False
Let k(c) = -c**2 + 5*c + 7. Let n be k(6). Let s(j) = j**3 - 5*j**2 + 5*j - 4. Let t be s(4). Does 3 divide 7/(2 - (n - t))?
False
Let l(r) be the second derivative of -5*r**3/2 - 8*r. Is l(-6) a multiple of 18?
True
Is ((560/(-6))/(-5))/((-2)/(-6)) a multiple of 14?
True
Let y = -31 + 158. Is y a multiple of 8?
False
Suppose 0 = 3*x - 300 + 48. Does 13 divide x?
False
Let z = -5 - -17. Is 6 a factor of z?
True
Suppose 2*y = -3*f + 137 + 67, 2*f + y - 137 = 0. Let g = -25 + f. Does 12 divide g?
False
Let s(i) = i**2 + 5*i - 6. Let u be s(-5). Is 4/u - (-136)/6 a multiple of 17?
False
Is 20 a factor of 1/4 - 1912/(-32)?
True
Let u = 17 + -17. Suppose -5*g + 2*g + 96 = u. Does 16 divide g?
True
Let b = 9 + 