of 23?
False
Let r(z) = -2*z - 3 - 3 + 0*z + 7. Is 2 a factor of r(-5)?
False
Let z(p) = 4*p**2 + 4*p + 1. Let i(y) = 11*y**2 + 11*y + 4. Let m(n) = 3*i(n) - 8*z(n). Suppose -2*l - 5*s = -26, -3*l + s = l - 8. Is 8 a factor of m(l)?
True
Is 10 a factor of 13 + 3 + (-3 - 0)?
False
Suppose -2*l + 0*l + 22 = -5*o, 5*o + 2*l + 18 = 0. Let n = o - -2. Does 5 divide (-4 - n) + (-1 - -9)?
False
Let d = -3 - -1. Let l be ((-1)/d)/((-6)/(-1224)). Suppose 2*v - 6*v + n + l = 0, 126 = 5*v - 2*n. Does 11 divide v?
False
Let b(u) = -u**2 - 15*u - 20. Is b(-10) a multiple of 3?
True
Let g = -6 - -12. Suppose g*v - 2*v = 0. Suppose v = 5*k - 5*n - 305, k - 49 = -3*n + 4. Is 20 a factor of k?
False
Suppose 83 - 335 = -4*y. Is 10 a factor of y?
False
Suppose -5*u - 3*j = 2*j - 35, u + 2*j = 8. Suppose s - u = -1. Is 2 a factor of s?
False
Let n = 7 + -5. Suppose h = -4*x - 2, -n*h - x = -5 - 5. Is h a multiple of 6?
True
Does 20 divide 7/((-56)/(-1756)) + (-1)/(-2)?
True
Let z be 0 - 1*-6 - 0. Does 8 divide (32/z)/((-3)/(-9))?
True
Suppose 40 = 3*w + r, 3*r + 24 = 2*w + w. Is w a multiple of 9?
False
Let c(j) = j + 4. Let k be c(-11). Let x = k - -13. Is 3 a factor of x?
True
Suppose 555 = 4*l - 5*o, 6*o = l + o - 150. Is l a multiple of 33?
False
Let i = -6 - -20. Is 3 a factor of i?
False
Does 8 divide (-2 + 4)*64/4?
True
Let v = -7 + 12. Suppose 0 = 5*t - 5*s - 135, -v*s + 4 = t + 1. Is t a multiple of 23?
True
Let c be (-4 + -6)*(-6)/(-4). Does 4 divide (c/4)/((-1)/4)?
False
Let i = 95 - 35. Does 15 divide i?
True
Let p = -54 + 120. Suppose -t - t = -p. Is t a multiple of 10?
False
Let c(h) be the third derivative of h**4/24 - 2*h**3/3 + 2*h**2. Let f be c(7). Let j = f + -1. Is j even?
True
Suppose 0 = -4*m - 9 + 49. Let h(v) = 2 - m*v - 1 - 7. Does 22 divide h(-5)?
True
Suppose 0 = -4*z + 3*g + 29, z + 0*g - 5 = 3*g. Is z a multiple of 3?
False
Let k(g) = g**2 - 10*g - 4. Let w be k(8). Is 20 a factor of ((-44)/8 - -3)*w?
False
Suppose 2*h - 4*b = 110, -130 = -4*h + h - b. Is h a multiple of 28?
False
Suppose -5*b + 10 = 0, -z + 8 = 4*b - 3. Is (1/2)/(z/84) a multiple of 3?
False
Let z = 21 - -2. Is z a multiple of 13?
False
Let x = -4 + 2. Let h be (1 - x/(-1)) + 1. Suppose -2*t + 5*t + 5*r - 54 = h, -5*t + 124 = -3*r. Is t a multiple of 11?
False
Let n(b) = b**2 - 5*b - 1. Is 21 a factor of n(11)?
False
Let a be -3 + (-3 + -2)*-1. Suppose a*k - 232 = -2*k. Is 20 a factor of k?
False
Suppose 4*c + 0*c = 3*u + 6, 2*u - 4*c + 8 = 0. Let d(i) = 4*i**2 + 1. Is 6 a factor of d(u)?
False
Let c be (0 + 4)*-1*1. Let p = c - -9. Is 4 a factor of p?
False
Suppose 2*l = -w + 8, -3*l - l + 16 = 5*w. Is l even?
True
Let s = -4 - -14. Is s a multiple of 2?
True
Does 14 divide 4 + -2 - (-72 + -3)?
False
Suppose 15 = a - 4*a. Is 11 a factor of 55*1*(-2)/a?
True
Is 27 a factor of 1 + 10/5 + 132?
True
Let d(r) be the first derivative of -r**3/3 - 4*r**2 - 5*r - 5. Is d(-4) a multiple of 4?
False
Suppose -2*y - 5 + 21 = -4*a, -y = 3*a - 18. Is 4 a factor of y?
True
Is 17 + -3 + -2 + 2 a multiple of 7?
True
Let j(l) = -2*l - 4*l + 2 + 3*l. Let a(o) = -o + 1. Let m(c) = 4*a(c) - 2*j(c). Is 15 a factor of m(10)?
False
Let u = -64 - -142. Is 39 a factor of u?
True
Let p = 4 + 82. Is p a multiple of 60?
False
Let q(m) = 9*m + 2. Let z(g) = g**3 - 5*g**2 + g. Let u be z(5). Let k = u + -2. Does 10 divide q(k)?
False
Let y(j) = -2*j**3 + 3*j**2 - 4. Is y(-2) a multiple of 10?
False
Let n(z) = -3*z**3 + z**2 + 4*z - 3. Let s be n(2). Let o be ((-10)/s)/((-2)/(-6)). Suppose -w + o*g = -9 - 19, 3*w = 5*g + 84. Is w a multiple of 14?
True
Let d = -308 - -554. Suppose -4*z + h = -90 - 153, 2*h = 4*z - d. Is 30 a factor of z?
True
Let y = 7 - 6. Suppose 7 = -v + 2*j, -v - 5 = -j - y. Is 13 a factor of 14 + (v - -3) - 3?
True
Let c = -24 - -35. Is 10 a factor of c?
False
Suppose 17 = 4*u - 39. Is 3 a factor of u?
False
Suppose h - 510 = -2*h. Let x = h - 110. Is x a multiple of 20?
True
Suppose -6*z + 95 = -691. Does 22 divide z?
False
Let z(c) be the third derivative of c**4/12 - 2*c**3/3 - 2*c**2. Let v be z(3). Is (3/v)/(6/32) a multiple of 8?
True
Suppose -a - 66 = -2*w, 3*w = -4*a + 71 + 28. Is w a multiple of 11?
True
Let g(r) = -r + 6. Let o be (-2)/(-7) - (-80)/14. Let v be g(o). Let j(x) = -x + 16. Does 7 divide j(v)?
False
Let o = 138 + -38. Is 20 a factor of o?
True
Let l(d) = 5*d**3 + 0 + d - 23*d**3 + d**2 - 1. Let g be l(1). Does 5 divide 4/(-3 + g/(-5))?
True
Suppose -6*g = 15 - 57. Let s(o) = o. Let f be s(3). Suppose 52 = g*q - f*q. Is q a multiple of 7?
False
Suppose -a + 4 - 1 = 0. Suppose a = 2*q - j - 1, 3*j - 12 = 0. Suppose y - q*n = 38, -4*n + 60 = 2*y - 8*n. Is y a multiple of 11?
True
Suppose 3*o + 102 = 2*t + o, -3*o - 6 = 0. Does 17 divide t?
False
Let o be 4*1*3/(-6). Suppose 5*s = -2*w + 170, -3*s - 17 - 79 = -w. Does 12 divide o/5*w/(-2)?
False
Suppose -179 = -s - 3*o, 0 = 3*o - 8*o + 10. Is 41 a factor of s?
False
Suppose l + 49 = 2*q + 4*l, 4*l = -3*q + 71. Suppose -2*y + q = 3*i - 7*y, -y - 37 = -3*i. Is i a multiple of 14?
True
Suppose -11*o + 471 = -8*o. Does 12 divide o?
False
Let p(o) be the second derivative of o**5/20 - 11*o**4/12 + o**3/2 - o**2/2 - 3*o. Does 16 divide p(11)?
True
Let s(w) = w**2 - 12*w - 1. Let x(f) = -f**2 + 13*f. Let o(m) = 5*s(m) + 4*x(m). Let j be o(9). Let a = -1 + j. Does 2 divide a?
False
Let j(i) = 21*i + 5. Let z(n) = -11*n - 2. Let m(d) = 3*j(d) + 5*z(d). Let w be m(5). Suppose 0 + w = 3*s. Does 15 divide s?
True
Let p(j) = 16*j**2. Is p(1) a multiple of 8?
True
Let b = -33 - -33. Suppose 4*n = d - 13, -2*d - n = -5*n - 18. Suppose d*h + 5 = b, -20 = -2*s + 5*h - 3*h. Is 9 a factor of s?
True
Let f = -157 + 283. Is f a multiple of 18?
True
Let v(s) = 2*s - 2. Let g be v(3). Suppose 5*l = g*x + 33, 4*l + l + 2*x = 21. Is l a multiple of 5?
True
Suppose -3*a - 8 = -k + 15, -k - 1 = 5*a. Does 7 divide k?
True
Let h be (-6)/(-3)*1/(-2). Is 12 a factor of (-15)/h + 3*-1?
True
Suppose 0*t - t = 0. Let a = 3 - 1. Suppose 3*y - a - 7 = t. Is y a multiple of 3?
True
Suppose 7*l - 31 = 6*l. Is 31 a factor of l?
True
Let u(x) be the third derivative of -x**8/20160 + x**7/360 - 13*x**6/720 - x**5/30 + 3*x**2. Let n(t) be the third derivative of u(t). Does 8 divide n(11)?
False
Let r = 90 + -53. Is 17 a factor of r?
False
Let h be (3/1 + -2)*-348. Does 24 divide h/(-5) - (-4)/10?
False
Let s(k) = -2*k - 8. Suppose 4*j - 43 = 4*d + 1, -2*d - 2*j - 6 = 0. Let g be s(d). Let v = g - 3. Is v a multiple of 3?
True
Suppose d - 139 = -2*z, -z + d = -2*z + 70. Is 10 a factor of z?
False
Let k(a) = a**3 - 5*a**2 - 6*a + 11. Does 3 divide k(6)?
False
Let g(u) be the second derivative of -u**4/12 + u**3/6 + 5*u**2 - 5*u. Is g(0) a multiple of 6?
False
Let f = 5 - -22. Suppose 0 = -2*c + f + 7. Does 19 divide 0 + c*(5 + -2)?
False
Let t be (7/7)/(2/(-4)). Is 1/((6/(-147))/t) a multiple of 13?
False
Does 8 divide (64 - -1)*(-1)/(-1)?
False
Let m(u) = u**3 - 12*u**2 + 13*u - 9. Is 13 a factor of m(11)?
True
Let a be -1 - -3 - -7 - -3. Suppose -2*u = -a - 24. Is u a multiple of 18?
True
Suppose 0 = -2*s + 4*p - p + 80, -4*s + 5*p + 164 = 0. Is s a multiple of 23?
True
Let m be 40 + (3 - 0) + -6. Let k = m + -20. Is k a multiple of 11?
False
Suppose i + 2*i - 3 = 0. Let p(y) = 14*y - 2. Does 12 divide p(i)?
True
Suppose q - 3 = 6. Does 8 divide q?
False
Suppose 0 = -4*o + 8. Suppose 0 = -o*v + 7 + 13. Does 6 divide (-2)/(-5) - (-106)/v?
False
Let j = 200 - 92. Is j a multiple of 9?
True
Let q = 17 + -17. Suppose -4*c - 34 = -3*n, -n - 4*c - c + 24 = q. Is 7 a factor of n?
True
Let g(l) = -6 + l + 4*l + 3*l**2 + 0*l**2. Let f(p) = -p**3 + 3. Let n be f(2). Is g(n) a multiple of 15?
False
Suppose 0 = 7*h - 3*h. Suppose 3*f + f - 132 = h. Is f a multiple of 11?
True
Let y = 90 + -15. Suppose -5*s + y = -0*s. Is 9 a factor of s?
False
Let n(t) = t**3 - t**2 - t + 23. Is 14 a factor of n(0)?
False
Suppose 5*h = -2*t + 380, -5*t - 950 = -10*t + h. Is t a multiple of 19?
True
Let a = 104 + -56. Does 24 divide a?
True
Let p(g) = 10*g**2 + 3*g + 3. Is p(-2) a multiple of 11?
False
Let w be 0 + -1 - (-19 - -18). Does 5 divide -11*4/(-4) + w?
False
Suppose -z + 8*z = 238. Is z a multiple of 34?
True
Let a be (-7)/5 - 4/(-10). Let n(p) = 4*p + 1. Let m(