)?
False
Let b(w) = -w**2 + 3*w + 41. Is 3 a factor of b(0)?
False
Suppose v = -5*a + 179, -a - a = -v - 73. Is 12 a factor of a?
True
Suppose 4*g = -3*d + 12, -7 - 5 = 4*d - 4*g. Suppose -4*x + 154 = 2*i, 0 = -d*x + x - i - 34. Does 15 divide x?
False
Suppose 2*y - 43 + 7 = 0. Suppose -y = -2*h + 10. Is 7 a factor of h?
True
Let a = 85 + -27. Let v be (0 + -1)*(-86)/1. Let o = v - a. Does 18 divide o?
False
Suppose -6*v = 2*o - 4*v - 400, 3*v = 0. Is o a multiple of 28?
False
Let n = 16 - 10. Suppose 0*r + n = 2*r. Suppose 0*f - r*f = -42. Is f a multiple of 14?
True
Suppose 9*f - 6*f - 189 = 0. Does 3 divide f?
True
Let n = 0 + -5. Let h = 2 + n. Let k = 2 - h. Is k a multiple of 2?
False
Does 10 divide -4*(-2)/24*114?
False
Let y(g) = -g**2 + 4*g + 1. Let j be y(3). Is 2 - -2 - j/(-2) a multiple of 5?
False
Let g(u) = 7*u**2 + 6 - 3*u - 2 - 2. Is 7 a factor of g(-2)?
False
Suppose -3*q + 18 = -30. Is 4 a factor of q?
True
Let h be 398/3 - (-11)/33. Is 3/6 - h/(-2) a multiple of 22?
False
Let a = -7 + 22. Is a a multiple of 3?
True
Let n = -54 + 93. Is n a multiple of 13?
True
Let w(d) = -13*d - 11*d + 1 - 1. Does 33 divide w(-3)?
False
Let c = -30 - -48. Is 10 a factor of c?
False
Suppose 9*k - 60 = 7*k. Is k a multiple of 24?
False
Let k = 2 - 0. Let v(s) = 0*s**2 + 5*s - 7*s**k + 3*s**3 - 2*s**3 + 5. Does 20 divide v(7)?
True
Let q(h) be the third derivative of -h**2 - 2/3*h**3 + 1/60*h**5 + 0*h + 0 - 1/4*h**4. Is 12 a factor of q(8)?
True
Suppose -y + 1 = -4. Suppose 0 = 2*t - y*t. Suppose 5*o = -2*j + 14, t = 4*j + 5*o - 25 - 23. Is j a multiple of 7?
False
Suppose -7*j - 8*j + 5370 = 0. Is j a multiple of 42?
False
Suppose 0 = 8*m - 106 - 350. Is 19 a factor of m?
True
Suppose -2*f - 3*f + 4*l = -1486, -5*f + l = -1489. Is f a multiple of 11?
False
Suppose 3*i + 435 = 3*q, 2*q - 3*i + 741 = 7*q. Does 23 divide q?
False
Let h(n) = -35*n - 1. Let j be h(1). Let w be 0 + 2 + 116/(-2). Let z = j - w. Is z a multiple of 20?
True
Let f(n) = n + 11. Let h be f(8). Suppose 4*g - 1 = -5*y + h, -5*g + y = -54. Suppose x - 3*c - 14 = g, 0 = x + 2*c + 1. Is x a multiple of 9?
True
Let f = -6 - -51. Suppose 5*b - f + 10 = 0. Does 6 divide (-1)/(-1)*(-1 + b)?
True
Let n = 15 - -84. Suppose 0 = 3*a - n + 9. Is 15 a factor of a?
True
Let l(m) = m**2 - 14*m - 15. Does 8 divide l(19)?
True
Let r = -376 + 696. Does 25 divide r?
False
Let b(o) = 2*o + 1. Let z be b(2). Suppose 2*c - z - 15 = -3*f, 4 = -2*c. Does 5 divide f?
False
Suppose -2*z + z - 7 = 0. Let v = z + 8. Suppose 0 = s - v - 5. Is s a multiple of 3?
True
Let h be (12/(-2))/(0 + -2). Does 11 divide -1*h*256/(-48)?
False
Suppose 3*u = -5*i + 369, 6*i - 2*i - 306 = 3*u. Is i a multiple of 5?
True
Does 9 divide 1/((-4)/12) - -50?
False
Let t = -15 - -33. Let s = t - 1. Is 13 a factor of s?
False
Suppose -5*u = -2*o + 108, 2*o - 4*u = -2*u + 96. Does 22 divide o?
True
Let p(b) = 3*b**2. Let f be p(1). Let c(j) = j**3 + 10*j**2 + j + 13. Let n be c(-10). Suppose 0 = i - f*q - 60, -i - 2*q + 36 = n*q. Does 17 divide i?
True
Let b(r) = 9*r - 4. Let t = -13 + 18. Is b(t) a multiple of 19?
False
Let f be 14/10 + (-4)/10. Is (6/15)/f*35 a multiple of 7?
True
Let f be -4 - (-1288)/(6/3). Is ((-6)/4)/((-15)/f) a multiple of 16?
True
Suppose 688 = 6*q - 230. Is q a multiple of 20?
False
Let z(t) = t**3 - 3*t + 3. Let y be z(2). Does 16 divide 1/5 - (-159)/y?
True
Let b(q) be the second derivative of -q**5/20 - q**4/12 - 5*q**2/2 - 2*q. Let n be b(0). Is 22/n*(-3 - 2) a multiple of 11?
True
Let k = -50 + 102. Does 23 divide k?
False
Let z = 0 - -1. Let h be z + 25 - (-2 - -1). Suppose -29 = -3*w - 2*b + 7*b, 0 = -3*w + 3*b + h. Does 8 divide w?
True
Let y = 153 + -25. Suppose 0 = s - 3*k - 23, -3*s - 2*s = -2*k - y. Does 11 divide s?
False
Let i(g) = -5*g + 3. Let j be i(5). Let n = j - -33. Let y = -8 + n. Does 3 divide y?
True
Let h(m) = 3*m - 2. Let v(l) = -l**2 - l + 1. Let b(x) = -h(x) - v(x). Is b(3) a multiple of 4?
True
Is 151/4 - 29/(-116) a multiple of 3?
False
Let z = -13 - -73. Does 15 divide z?
True
Let q(s) = s**3 + 7*s**2 - 2*s - 5. Is q(-5) a multiple of 11?
True
Let b(y) = y - 4. Let z be b(6). Suppose z*k - 140 = -0*k - 4*x, 0 = 4*k + 5*x - 283. Is k a multiple of 18?
True
Suppose -5*p - 2*u + 36 = 0, 4*p + 2*u - 31 = -1. Does 6 divide p?
True
Let y = -8 - -10. Suppose 2*o - 44 = y. Is o a multiple of 6?
False
Does 15 divide 2/(8/529) + 55/(-220)?
False
Let z be -3 - 3/((-3)/3). Is (-2)/(-2) - (z + -6) a multiple of 7?
True
Let i be 0 - (0 + 2 + 42). Let g be i/(-7) + 4/(-14). Does 8 divide 3/(g*(-3)/(-96))?
True
Let g(j) = j**3 + j. Let y be g(1). Let r(h) = h**3 + 4 - h**3 + 7*h**y - 2*h**3 - 6*h + h**3. Does 15 divide r(4)?
False
Suppose 5 = l - p - 4, -5*p = 3*l - 51. Is l even?
True
Suppose 2*f + 4*a = -0*a + 594, -f - 4*a + 293 = 0. Suppose 5*l = 4*z - f, z + 4*l = 3*z - 158. Does 14 divide z?
False
Suppose n = 6*n - 40. Is 2 a factor of n?
True
Is 5 a factor of (-6)/(-14) - (-4840)/140?
True
Let k be 0 + 2/4*-10. Let a = 10 + k. Is a a multiple of 5?
True
Suppose 3*y = -4*l + 31, -3*l - 4 = -4*y + 4. Is 13 a factor of 4/(-8) - (-158)/l?
True
Let x be (-30)/(-24)*(4 + 0). Suppose 19 = 3*o - x. Is 8 a factor of o?
True
Suppose -2*k - 2 = -6. Suppose s + k = -1. Is ((-7)/s)/(2/18) a multiple of 11?
False
Suppose -2 - 1 = -o. Does 13 divide 2 + -6 + o - -28?
False
Suppose -2*p - 106 = -0*p. Let b = -32 - p. Is b a multiple of 7?
True
Let a(h) be the third derivative of -h**4/24 + h**3/3 + 2*h**2. Is 2 a factor of a(-2)?
True
Suppose 2*l - 14 = -92. Let j = l - -80. Does 15 divide j?
False
Let c(m) = -m**2 - 6*m - 6. Let p be c(-4). Suppose -4*l = -5*g - 442, 561 = 5*l - p*g - 0*g. Let q = l + -76. Is q a multiple of 16?
False
Let o(x) = x**3 - 7*x**2 - 9*x + 11. Let b(m) = -8*m + 2. Let t be b(-2). Suppose t = 2*c + 2. Is o(c) even?
False
Let d(b) = 10*b**2 - 4*b + 17. Is d(-5) a multiple of 11?
False
Let r = -101 + 252. Is 31 a factor of r?
False
Let c = 610 - 220. Does 14 divide c?
False
Let m(t) = -5*t - 4. Let z(i) = i + 1. Let r(d) = m(d) + 2*z(d). Let b be r(-2). Suppose -b*w = 4*u - 136, -3*w - 4 = 2. Does 12 divide u?
True
Suppose -3*s + 5*s - 8 = 0. Does 2 divide s?
True
Let g(n) be the second derivative of n**4/4 + n**3/3 - n**2/2 + 4*n. Let w be -2 + -2 + (1 - 1). Is 14 a factor of g(w)?
False
Let v(c) = 0 + 2*c - c**2 - 1 + 3*c. Let f be v(4). Suppose -f*q + 26 = -19. Is q a multiple of 6?
False
Suppose 5*q - 16 = 9. Suppose -2*a + 13 = q. Is 4 a factor of a?
True
Let t = -4 - -1. Does 5 divide (-18)/((0 + 3)/t)?
False
Let a be 2 + 0 - (-1 - -1). Suppose -a*g - g = -3. Does 13 divide 4/(-2)*g + 33?
False
Let l(b) = b**2 - 13*b + 2. Is 8 a factor of l(-2)?
True
Suppose 7*t - 11*t = -84. Is 7 a factor of t?
True
Let g be -1 - ((-1 - -2) + -2). Suppose g*z = -z - 68. Is 6 a factor of (z/(-8))/((-2)/(-4))?
False
Let k = 2 - 0. Let z be (-644)/(-16) - (-1)/(-4). Suppose s - 3*o = 3*s - z, 0 = k*s - 2*o - 20. Does 14 divide s?
True
Suppose l = -4*o + 21, 0*o + 2 = -2*o + 2*l. Suppose 0 = o*u - 4*w + 92, 2*u + w + 45 = 4*w. Is 3 a factor of 12/u - 22/(-4)?
False
Let p = -102 + 146. Let o = p - -23. Does 22 divide o?
False
Let k = 7 - 5. Suppose -88 = -3*n + k. Does 10 divide n?
True
Let w = -97 + 196. Does 33 divide w?
True
Let l(b) = -b**3 - 4*b**2 + 4*b - 2. Let s be l(-4). Let x = s - -34. Is 4 a factor of x?
True
Suppose 0 = 3*q - 109 + 16. Suppose -j - 54 = -5*y, -y - 2*y + 2*j + q = 0. Does 10 divide y?
False
Let g(p) = p**2 + 2*p - 10. Is 5 a factor of g(4)?
False
Let n(u) = u**3 + 7*u**2 + 3*u - 5. Let v = -15 + 11. Let m be n(v). Does 14 divide m + -2 + 3/3?
False
Let g(h) = 19*h + 4. Does 21 divide g(2)?
True
Let f be (1 - -1)/(1/11). Suppose 6*d = 3*d + 4*z - f, -z = 4*d + 23. Is ((-9)/6 - 2)*d a multiple of 9?
False
Suppose s - 75 = -2*l, 36 = 5*s + 4*l - 363. Does 19 divide s?
False
Let p be 4/(-6)*(-9)/2. Let l(f) = 0*f + f + 2 - p. Is l(7) a multiple of 3?
True
Let p = 9 + -5. Is p even?
True
Let p(v) = 2*v + 1. Let g be p(1). Suppose g*o - 43 = 14. Is 12 a factor of o?
False
Suppose -3*d = y - 123, 3*d = 2*y - 6 + 120. Is 8 a factor of d?
True
Let h = -11 - -16. Is 17 a factor of (3 - h)/((-8)/172)?
False
Suppose -2*y + 151 = 5*m, -3*m - 4 = y - 82. Is y a mu