 a multiple of 11?
False
Let s(v) = 2*v**2 - 3*v + 1. Let z be s(2). Suppose -6*f + 103 = z*l - f, -3*l = 2*f - 106. Suppose -4*n = -6*n + l. Does 9 divide n?
True
Suppose f + 2 = -f. Does 8 divide f + (37 - 4/1)?
True
Suppose -2*f + 5*f = 5*v - 193, -4*v + f + 153 = 0. Suppose 4*x + v = 6*x. Does 11 divide x?
False
Let p = 8 - 10. Is 27 a factor of 0/p + (-141)/(-3)?
False
Let i be (-18)/(1 + -2) + -1. Let f = i - 11. Suppose -s - 4*p - 55 = -f*s, -3*s = -5*p - 20. Does 7 divide s?
False
Let q be (-20)/(-15)*(-1 - -4). Suppose q*h - 19 = 5. Is 5 a factor of h?
False
Suppose 0 = o - 2*o + 3. Suppose f = -4*t + 12, o*f - 2*t + 0 = -6. Suppose 0 = 2*w - f - 16. Does 7 divide w?
False
Let i(h) = 4*h. Let p be i(-1). Let k(q) = 2*q**3 - 2*q**2 + 0*q**3 - 2*q**3 - q**3. Does 16 divide k(p)?
True
Let l = 224 + -111. Let a = -74 + l. Does 17 divide a?
False
Let g be (-1)/4 - 518/(-56). Let f(q) = 2*q - 2. Let t be f(2). Suppose -n - g = -t*n. Is n a multiple of 8?
False
Let o be 0 + 4/2 + -23. Let j = -14 - o. Does 4 divide j?
False
Suppose -3*k = -0*k + 18. Let x(j) = -14*j - 9. Let h be x(k). Let z = h - 44. Is z a multiple of 11?
False
Suppose 0 = -4*o - z + 28, 2*o - 16 = -z - 0*z. Let w = 12 - o. Does 3 divide w?
True
Let r(n) = 7*n**2 - n. Let z be r(-1). Let v be 142/z + (-5)/(-20). Does 15 divide ((-60)/(-9))/(4/v)?
True
Is 6 a factor of 5/((-100)/(-72))*5?
True
Let u = -5 - 13. Let s = u + 25. Suppose -q + 30 = 2*f, f - s*q - 6 = -3*q. Does 8 divide f?
False
Let r(u) = u**3 - 5*u**2 + u - 5. Let c(x) = x**3 - 8*x**2 + 5*x + 10. Let z be c(7). Let f = z + 10. Is 12 a factor of r(f)?
False
Suppose -4*d + 8 = 0, 3*d = -3*a - 7 + 40. Let k be 3/a - (-88)/6. Is 6 a factor of (-1)/(-5) - (-177)/k?
True
Let b(p) = -p**2 + 11*p - 11. Is b(8) a multiple of 4?
False
Let l = -24 + 16. Let h = 13 + l. Is h a multiple of 2?
False
Let y(c) = -4*c - 3. Let i be y(-2). Suppose -2 = f + g, 3*f - f - 31 = i*g. Suppose -30 = 2*d - f*d. Does 15 divide d?
True
Suppose 0 = 2*w + o - 35, -2*w + 2*o = -5*w + 54. Is 11 a factor of w?
False
Let o be (-1)/(3/(-12)*2). Suppose -o*b + 11 = -z, -b + 7 = -0*b - 2*z. Is 5 a factor of b*-1*4/(-4)?
True
Let g(r) be the third derivative of -r**6/120 - r**5/10 - 5*r**4/24 + r**3/2 + 2*r**2. Let o = -12 - -6. Does 12 divide g(o)?
False
Let d(k) = 48*k**2 - 2*k - 3. Is 11 a factor of d(-1)?
False
Suppose -10*b + 7*b = -18. Let f(d) = -d**3 + 7*d**2 - 4*d + 7. Does 15 divide f(b)?
False
Let f be 0*3/(-6) - -1. Suppose h - 11 = f. Is 6 a factor of h?
True
Let p(v) = -v**3 - 5*v**2 + 3*v - 1. Let c be p(-6). Let l = -34 - -35. Let d = l + c. Is 16 a factor of d?
False
Is ((-24)/(-7))/(8/28) a multiple of 12?
True
Let v = -82 + 202. Does 24 divide v?
True
Let a = 8 + 0. Let y = -17 - a. Is (y/4)/((-2)/8) a multiple of 8?
False
Let m(k) = -4*k - 5*k**2 - 1 + k + 4*k + 77*k**2. Let n be m(1). Suppose -3*l + 51 = -n. Is 12 a factor of l?
False
Suppose 4*h - 7 = -5*b, 6 = 5*b + h - 7. Suppose b*y = -5*k + 142, -k = -3*y + 2*y + 58. Let p = -31 + y. Does 8 divide p?
False
Let o be (-21)/4 - (-2)/8. Let m(x) = x**2 + 7*x + 5. Let g be m(o). Let f = 0 - g. Is f a multiple of 3?
False
Suppose -5*g = 2*i - 228, -6*i + i + 179 = 4*g. Is g a multiple of 7?
False
Suppose t - 3*i - 3 = 0, 0*t - 5*i = -3*t + 13. Suppose -o - t*v = -v - 45, -2*o - 3*v + 83 = 0. Is 15 a factor of o?
False
Let g = -7 + 3. Suppose 108 = 4*j + 28. Let n = j - g. Is n a multiple of 12?
True
Suppose 4*i = 17 + 83. Let q = i - -17. Let j = -21 + q. Does 10 divide j?
False
Suppose 45 = -4*f + 5*w, 5*w + 2 = f + 17. Let s = -7 - f. Suppose s*y + 5*n = -0*y + 20, n = y - 12. Does 9 divide y?
False
Suppose -k + 0*k + 1 = 0. Let i be k*-15*8/(-3). Suppose 0 = 4*a + a - i. Does 4 divide a?
True
Let p(o) = 2*o**2 + 10*o + 4. Is 16 a factor of p(-7)?
True
Suppose 5*y + 36 + 34 = 0. Let t = -45 + 13. Let c = y - t. Is c a multiple of 9?
True
Let a(m) = -77*m + 9. Is 24 a factor of a(-3)?
True
Let y(p) = 4*p - 1. Let w be y(-3). Let q = 36 + w. Is 10 a factor of q?
False
Suppose 21*s + 6 = 24*s. Suppose 0 = -s*u + 35 + 9. Is 11 a factor of u?
True
Suppose 30 - 5 = 5*w. Let n be 4/10 - (-8)/w. Suppose 0*q + 36 = n*d - q, -q = -5*d + 84. Is 8 a factor of d?
True
Suppose -3*g + 107 + 112 = 0. Suppose -v = -4, -q = 3*q - 4*v - 156. Let x = g - q. Does 8 divide x?
False
Is -4 - (-3 + -37 + 3) a multiple of 21?
False
Let r be 13/2 + 3/(-6). Suppose m - r - 32 = 0. Does 19 divide m?
True
Let j be 0 - (0/1 + -2). Let z be (-1)/j - 812/(-8). Suppose -2*g + 3*y = -z + 8, 0 = 4*g - y - 181. Is 16 a factor of g?
False
Let j(u) = 3*u + 1 - u**2 - 4*u + 2*u. Let d(c) = -3*c**2 - 2*c + 5. Let b(m) = d(m) - 5*j(m). Does 13 divide b(5)?
False
Suppose 4*o + 25 = -2*s + 7*s, 5*o + 5 = s. Suppose -i - s = -12. Let p(h) = h**3 - 8*h**2 + 8*h - 2. Is p(i) even?
False
Let w be (-10)/(-2) + (-2)/1. Suppose w*m - m = -136. Let d = m + 113. Does 17 divide d?
False
Suppose 9 = 5*s - 6. Suppose 5*r + l - 68 - 44 = 0, r + s*l = 28. Is r a multiple of 11?
True
Let o(j) = j**3 - j**2 + 1. Let d(w) = w**3 + 2*w**2. Let s(l) = d(l) - 2*o(l). Let q be s(4). Is (4/(-6))/(q/69) a multiple of 17?
False
Let n = 25 - 39. Let g(p) = -p - 2. Is g(n) a multiple of 6?
True
Let b(y) = 1 + y - 2 + 3 - 1. Let g be b(1). Suppose 2*z + 4 = 3*z, 2*f - 3*z - g = 0. Is 7 a factor of f?
True
Let b(t) be the second derivative of -20*t**3/3 - 2*t**2 - 3*t. Let m be b(-3). Suppose -j + 5*j - m = 0. Is 13 a factor of j?
False
Suppose -5*m + 55 = -5. Is m a multiple of 3?
True
Suppose 0*a = -2*a + 14. Let i(c) = 5*c**2 + 2*c + 1. Let m be i(-1). Is 3/12 + a/m a multiple of 2?
True
Suppose 2*x - 2*t + 0 - 12 = 0, -4*t + 8 = 4*x. Suppose -3*a - 6 = b - 32, -x*b - 5*a = -118. Is b a multiple of 16?
True
Let q(r) = -13*r + 1. Let s(g) = -2*g + 1. Let c be s(1). Is q(c) a multiple of 10?
False
Let o be 0/(-3 - (2 + -3)). Suppose -2*x = -o - 32. Suppose -3*a + 5*a = x. Does 8 divide a?
True
Let g(n) = -n**2 - 16*n - 12. Is g(-10) a multiple of 8?
True
Let i be ((-8)/10)/(4/(-90)). Suppose 0 = -3*k + 3*y + 54, 4*k - i = 2*y + 48. Is 5 a factor of k?
True
Is -4 + (-13)/((-52)/48) a multiple of 2?
True
Let t = 38 - 56. Let x = 48 + t. Is 10 a factor of x?
True
Let p(m) = -3*m + 2*m + m**2 + m**3 + 1 + 0*m**3. Let c(w) = 5*w**3 + 5*w**2 - 7*w + 8. Let f(b) = -c(b) + 6*p(b). Is 16 a factor of f(3)?
False
Suppose -n + 5*w = -40, -3 - 9 = 4*w. Let m = n + -16. Suppose -y + m = -0. Does 9 divide y?
True
Let f be 2/3 + 8/(-3). Let u(i) = 4*i**2 + i - 2. Is 4 a factor of u(f)?
True
Let d(k) = k**3 + 5*k**2 + 2*k - 4. Let n be d(-3). Is 15 a factor of (-12)/n - 71/(-2)?
False
Let p(l) be the second derivative of l**5/20 + 5*l**4/12 + l**3/3 - 3*l**2/2 + l. Let n be p(-4). Suppose 5*j + n - 75 = 0. Does 11 divide j?
False
Let i(f) = f**3 - 4*f**2 + 3*f + 3. Let r be i(3). Let w(b) = b**3 + 2*b**2 + 2*b. Is w(r) a multiple of 17?
True
Let a be ((-4)/(-5))/((-2)/(-5)). Suppose -57 = -5*c + a*c. Is c a multiple of 7?
False
Let i(y) = y - 5. Let j be i(9). Suppose n + j*n = 275. Is n a multiple of 23?
False
Let w(f) be the first derivative of f**4/4 - 5*f**3/3 + 3*f**2 - 7. Suppose -d = -3*o + o + 6, 4*d = -3*o + 20. Does 3 divide w(o)?
False
Let v = -5 + 8. Suppose 0 = 4*s + v - 7. Is 4 a factor of 7 + 0 + s + -1?
False
Let s = 5 - -16. Is 7 a factor of s?
True
Is -2*(-1 + 0) - -14 a multiple of 16?
True
Let j(a) = -18*a**3 + 2*a**2 + a + 3. Is 17 a factor of j(-2)?
True
Let w be (3/3)/((-2)/28). Let y = w - -25. Is y a multiple of 5?
False
Let k(s) = s**2 + 4*s + 4. Let a be k(-4). Suppose a*p - p - 15 = 0. Suppose p*i - 56 = 24. Does 9 divide i?
False
Is 9/(-6)*(1114/(-6) + 5) a multiple of 10?
False
Let l = 10 + -3. Does 2 divide l?
False
Let y be (-1*4)/1 - 1. Let o = y + 39. Is 17 a factor of o?
True
Let c(n) be the third derivative of 5*n**4/12 + n**3/6 + n**2. Let a be c(3). Suppose 0 = 4*l - a - 1. Does 4 divide l?
True
Let n = 4 + -6. Let t = n + 27. Is 13 a factor of 2/(-5) - (-335)/t?
True
Let r = 124 + -72. Is r a multiple of 4?
True
Let t(y) = 2*y + 22. Let z be t(-9). Suppose 108 + 144 = z*d. Is 13 a factor of d?
False
Let f(k) = 3*k**2 - 4*k + 26. Does 10 divide f(6)?
True
Let i be -2*((-6)/4 + 0). Suppose 0 = 3*b + 2*t - 470, 0 = -b + 5