multiple of 11?
True
Let l(g) = 2*g**2 + 3*g - 2. Let b be 3/2*(-72)/27. Does 9 divide l(b)?
True
Suppose -4*t = -f - 4*f + 558, 2*f = 4*t + 216. Does 16 divide f?
False
Let b(m) = -m**3 + 7*m**2 - 3*m - 3. Let q be b(6). Let d = q + 14. Is 18 a factor of d?
False
Suppose 3*w - 12 = -3*y + 12, -15 = 3*y. Let m = w - 8. Does 2 divide m?
False
Suppose u - 5*u = -36. Does 2 divide u?
False
Suppose 0 = -c - 1, 0*c = 5*t - 2*c - 992. Does 18 divide t?
True
Let k(d) = -4*d**2 + 5*d**2 - 6*d + 9*d. Does 6 divide k(3)?
True
Is 22 a factor of 4*(-1)/1 - (13 - 243)?
False
Suppose 3*r + 0*c = -5*c + 50, -c + 4 = 0. Let p(y) = y + 6. Let x(s) = 4*s + 25. Let d(j) = 9*p(j) - 2*x(j). Is 7 a factor of d(r)?
True
Suppose c + g = 4*g - 14, 2*c + 23 = 5*g. Is 2 + (2 - -46 - c) a multiple of 13?
False
Suppose 5 + 1 = 2*j. Suppose -3*a = 43 - 157. Is 6/j + a - 1 a multiple of 13?
True
Suppose -3*h - 2*h = 0. Suppose h = k - 2*k + 5. Suppose -k = -n - 1. Is n a multiple of 4?
True
Suppose 0 = -3*n + 156 - 6. Let i = n - 18. Does 16 divide i?
True
Let y(a) = -a**2 + 7*a + 3. Let t be y(7). Suppose b - t*h = -2*h + 30, -4*b + h = -123. Let x = 45 - b. Is 12 a factor of x?
False
Let k(c) = 8*c + 2. Let s = 20 + -18. Does 9 divide k(s)?
True
Let q(o) = -4*o**3 + 2*o**2 + 2*o + 2. Is q(-2) a multiple of 13?
False
Let z(f) = f**3 - 7*f**2 + 8*f - 5. Is z(6) a multiple of 3?
False
Let o = -13 + 15. Suppose o*p = 2, 5*c = c - 5*p + 101. Does 12 divide c?
True
Let b(a) be the first derivative of a**4/2 - a**3/3 + a + 4. Does 2 divide b(1)?
True
Let p(k) = k**2 + k + 1. Let y be p(2). Let u(z) = -z**2 + 7*z + 7. Does 7 divide u(y)?
True
Let v = 13 + 14. Does 5 divide v?
False
Let s(z) = z**2 + 3*z + 3. Let j be s(-2). Let i be (40 - (-2 + j))/1. Suppose 4*l + 1 - i = 0. Is 7 a factor of l?
False
Suppose -2*a = 1 - 5. Suppose 4*t = 4*i - 44, 7*t - a*t = -5*i + 105. Does 8 divide i?
True
Suppose 5*a - 28 = y - 3, 0 = y + 5. Suppose 2*n = a + 6. Suppose n*i = i + 52. Is i a multiple of 5?
False
Let a = 24 - -102. Is a a multiple of 18?
True
Let u = 25 - 22. Is 5 a factor of u + -2 - (-7)/1?
False
Suppose 9*p - 258 - 84 = 0. Is 13 a factor of p?
False
Let i(q) = -12*q - 11. Let h(u) = u + 1. Let z(o) = -3*h(o) - i(o). Let c be z(8). Suppose -3*r + c = b - 0*b, 2*r = -b + 54. Is 8 a factor of r?
False
Let r(u) = u - 1. Let l be r(2). Let v be l/(-2)*(-1 - -1). Does 20 divide (v - 3)/1 - -43?
True
Suppose x - 45 = 52. Is 21 a factor of x?
False
Suppose 0*p + 705 = 5*p. Does 18 divide p?
False
Let x(z) = z**3 + 11*z**2 - 16*z - 7. Suppose 5*o + 48 = o. Does 14 divide x(o)?
False
Let h be ((-12)/10)/((-2)/10). Let z(v) = v**2 + 9*v - 7. Let t be z(-10). Does 3 divide 5 + -2*t/h?
False
Suppose 16 = 3*d - 3*k - 65, 0 = 4*k. Does 9 divide d?
True
Let b(t) = 5*t + t**2 - t**3 - 5*t + 2. Let z be b(0). Suppose -13 - 3 = -z*p. Is 8 a factor of p?
True
Let q = 47 - 21. Let d = q - 6. Is 10 a factor of d?
True
Suppose s - 9 = 5*v, -2*s + 0*v = -5*v - 13. Let q be s/(-6) + 8/12. Suppose q = 4*g - 2*x - 114, 5*x = 4*g - 61 - 44. Does 15 divide g?
True
Suppose 6*c - 3 = 33. Suppose 20 = c*k - 52. Is 3 a factor of k?
True
Suppose 9*q - 5*q = 124. Is q a multiple of 31?
True
Let w = -5 + 7. Let n(c) = c - 2. Let m be n(w). Suppose m*o - 5*b = -4*o + 91, -o + b = -23. Does 12 divide o?
True
Let l(o) = o**2 + o + 20. Let p = 1 - -3. Let m = p + -4. Is l(m) a multiple of 9?
False
Suppose 3*k - 132 = 102. Is k a multiple of 26?
True
Let d(p) be the first derivative of p**2/2 + 16*p - 1. Suppose 2*h + 12 = 4*f, 7*f - 9 = -h + 4*f. Is d(h) a multiple of 16?
True
Suppose 4*l - 6*l - 4*w = 52, -4*l - 49 = -3*w. Let i(p) = -p**2 - 17*p + 14. Does 6 divide i(l)?
True
Suppose 5*s + 0 - 15 = 0. Suppose -2*b + 4 = -0*b, -4*p + 4*b + 40 = 0. Suppose -s*h + 12 + p = 0. Is 4 a factor of h?
True
Is 37 a factor of 517/7 + (-4 - 29/(-7))?
True
Let n(r) = r**3 - r**2 - r + 12. Let k be (-3 + -3)*5/(-2). Suppose -w + 2*t - 2 = 8, -3*t = -k. Is n(w) a multiple of 6?
True
Suppose -3*b + 7*z = 3*z - 49, -4*b = z - 97. Suppose -b = 5*s + 7. Let f = 7 - s. Is 13 a factor of f?
True
Let f(a) = -1 + 2 - 8 + 2 + 10*a. Is 13 a factor of f(5)?
False
Let o(v) = 38*v - 4. Does 18 divide o(2)?
True
Let b = -25 - -74. Is 10 a factor of b?
False
Suppose -3*h + 5*h = 0. Suppose 3*v - v - 10 = h. Suppose -3*o + m + 63 = 6, -5*m = v*o - 95. Is o a multiple of 12?
False
Suppose 3*z + 204 = 4*z + 4*t, -4*t = 5*z - 1020. Is z a multiple of 27?
False
Suppose -y - 378 = -7*y. Does 21 divide y?
True
Suppose -2*q - 2 = -5*k + 2*q, 10 = 3*k + 2*q. Suppose 252 = 5*m - k*m. Is (0 - 1)/((-4)/m) a multiple of 12?
False
Let f(r) = r - 7. Let s be (7/(-2))/(1/(-2)). Let y be f(s). Does 8 divide 0 + (14 - (y - -1))?
False
Let p = 23 + -24. Let v(y) be the third derivative of y**5/6 + y**4/12 + y**3/6 + y**2. Is 9 a factor of v(p)?
True
Let h(z) be the third derivative of z**5/30 - z**4/4 - 2*z**3/3 - 3*z**2. Is 16 a factor of h(5)?
True
Let r(k) = -k**3 + 6*k**2 - 1. Let l be r(6). Let j = l + 0. Does 13 divide 78/3 + 1 + j?
True
Let c(t) = -t**3 - t + 3. Let p(g) = -g + 7. Let n be p(7). Let r be c(n). Suppose -3 = d - 2*d + r*j, -12 = -2*d + 4*j. Is 6 a factor of d?
True
Let c be (12/16)/(6/16). Suppose -c*o = 3*o - 135. Suppose o = 3*p - w + 4*w, -5*p + 47 = 4*w. Is 9 a factor of p?
False
Let z(b) = -b - 1. Let v be z(-6). Let f be v*(6/3 - -23). Suppose 0 = -7*l + 2*l + f. Does 17 divide l?
False
Let h(p) = p**3 + 8*p**2 + 5*p - 4. Let g(j) be the first derivative of -j**3/3 - 7*j**2/2 - 7*j - 2. Let s be g(-7). Is 10 a factor of h(s)?
True
Let n = -10 - -2. Let i = 13 + n. Let t(y) = y**2 - 2*y + 3. Is t(i) a multiple of 7?
False
Let y(p) = -2*p**3 + 18*p**2 - 11*p - 7. Let q(h) = -3*h**3 + 27*h**2 - 17*h - 11. Let l(k) = -5*q(k) + 7*y(k). Let b be l(7). Does 9 divide b/(-8)*1*2?
True
Let v = -41 - -87. Suppose u + 0*o - 18 = -2*o, 3*u = -4*o + v. Is u a multiple of 10?
True
Suppose 0 = 4*p - 6 - 78. Let t be 20/6*p/14. Suppose v + 4*k = 4*v - 41, -5*v - t*k = -80. Does 9 divide v?
False
Suppose 19 = -2*u + 57. Is u even?
False
Suppose 5 = 2*t + 4*s - 23, 0 = -5*t + 2*s + 22. Let u(n) = -n**2 + 7*n - 2. Let r be u(t). Suppose w + r*x = 19, -4*w + 56 = -2*w - x. Is 9 a factor of w?
True
Let o(d) = d**3 + 23*d**2 - 51*d + 2. Is o(-25) a multiple of 3?
True
Let z(k) = -k - 18. Let w be z(-12). Does 14 divide (-138)/(-7) - w/21?
False
Let l(i) = i**2 - 1. Let k be l(-1). Let f = 0 - k. Suppose -b = -f*b - 43. Is b a multiple of 15?
False
Let b = 1 + 3. Let h = b + -1. Does 5 divide 1/(-3) + 49/h?
False
Let y = 25 + -6. Is y even?
False
Let w(a) = 17*a + 68. Is w(12) a multiple of 17?
True
Suppose 9*v - 6*v - 120 = 0. Does 9 divide v?
False
Let f(b) = 3*b + 7. Let q be (6/12)/((-2)/(-20)). Is f(q) a multiple of 9?
False
Let n(f) = 27*f - 36. Is 9 a factor of n(7)?
True
Let v be 50/18 + (-10)/(-45). Let h(p) = 3*p**3 - 3*p**2 + 3*p - 3. Is h(v) a multiple of 25?
False
Let c be -2*1 - (2 - 0). Let m(z) be the third derivative of z**5/30 + z**4/12 - z**3/6 - z**2. Is m(c) a multiple of 13?
False
Suppose 2*v - 8 = 0, -3*n = -0*n - 2*v + 62. Suppose 15 = 5*l - 35. Let b = l - n. Is 14 a factor of b?
True
Suppose -2 + 0 = -v. Suppose v*s - 29 = 5. Is 6 a factor of s?
False
Let i(b) = b**3 + 6*b**2 + 4*b. Let f be i(-5). Suppose f*x - x = 16. Suppose -5*t - 20 + 4 = -a, 5*t = -x*a + 164. Does 13 divide a?
False
Let h(m) = -m**3 - 7*m**2 - m - 8. Let c be h(-7). Let w be 18/(-8)*(3 - -1). Does 10 divide w/c + 1 - -3?
False
Let x(r) = 65*r - 25. Is x(3) a multiple of 34?
True
Let d(l) be the second derivative of 4*l**4/3 + l**2/2 + l. Does 17 divide d(-1)?
True
Suppose z = -2*z. Let v(o) = 9 - 1 - o**2 + 0*o + o. Is v(z) a multiple of 4?
True
Let p(a) = -a**2 - 13*a - 10. Let h(l) = l**2 + 7*l - 1. Let i be h(-6). Does 16 divide p(i)?
True
Let f(m) = -m**2 + m - 5. Let i be f(0). Let l = 0 - i. Is l even?
False
Let z be (-3 - (-4 - -2)) + 6. Suppose j - 5*q - 15 = 3*j, 0 = z*j - q - 3. Is -2*(3/(-2) - j) even?
False
Let k(l) = -7*l**3 - 15*l**2 + 3*l - 1. Let t(g) = -g**3 - g**2 + g - 1. Let w(c) = k(c) - 6*t(c). Let u be w(-9). Suppose -u = -2*p + 2. Is 6 a factor of p?
False
Let z(h) = 5*h**3 + 7*h**2 - 2*h + 7. Let c(d) = -6*d**3 - 7*d**2 + 2*d - 7