 5*q(j). Let o(t) be the first derivative of a(t). Does 2 divide o(8)?
False
Let h(l) = 5*l + 3. Let p be h(5). Let k be 17 - (-1 - (-1 + 2)). Let f = p - k. Is f a multiple of 9?
True
Suppose 0 = x + 2, 0 = -4*p + x - 3*x + 4. Suppose p*y = 23 + 9. Does 8 divide y?
True
Suppose -4*a + 13 = 1, -5*t - 4*a + 172 = 0. Is 16 a factor of t?
True
Suppose 1148 = 7*w - 756. Is 16 a factor of w?
True
Does 12 divide (81/12)/((-3)/(-48))?
True
Let o be (1/(-2))/(2/8). Let u be 46/14 - o/(-7). Suppose 2*s + 11 = u*s. Does 3 divide s?
False
Suppose h = 6*h + 2*n - 31, 0 = 3*h + 4*n - 13. Let a be (-18)/(-12) - (-46)/4. Let b = a - h. Is 2 a factor of b?
True
Let x be ((-48)/28)/(2/(-7)). Suppose -4*g - x = -g, -k - 4*g - 4 = 0. Let t = 8 - k. Is t even?
True
Let d(p) = p + 1. Suppose 0 = 2*l + 3 - 13. Is 3 a factor of d(l)?
True
Suppose -5*j - 20 = 3*o - 99, -j - o + 15 = 0. Suppose 3*d + 4 = -4*q + 1, -j = -4*q + d. Let t = 19 - q. Does 6 divide t?
False
Let a = 229 - 74. Is a a multiple of 31?
True
Let c be (-6)/(-3*(-2)/4). Let a(d) = d + 5. Let k be a(c). Is (3/(-1))/k*-6 a multiple of 9?
True
Let d = 64 - 39. Is 5 a factor of d?
True
Suppose -2*g + o - 17 = -53, -3*o + 112 = 5*g. Suppose -g = -0*y - y. Is 9 a factor of y?
False
Suppose 2*k + 0*w - 2*w - 162 = 0, 4*w = 4. Is k a multiple of 32?
False
Let l(f) = -34*f**3 + f + 1. Is l(-1) a multiple of 7?
False
Let b(c) = 2*c**2 + c - 1. Let v be b(1). Let q be (270/(-63))/((-1)/7). Suppose -f = v*f - q. Is f a multiple of 10?
True
Suppose 2*l - 9 = 3*l. Let s be (0 + 3 - 4)*2. Is 5*l/6*s a multiple of 11?
False
Let t = -29 - -36. Does 3 divide t?
False
Is 334/7 - (-12)/42 a multiple of 18?
False
Let z = -5 - -9. Suppose -z*c - 6*l = -2*l - 48, -2*c - 4*l = -14. Is c a multiple of 17?
True
Let g(l) = 2*l - 4. Let c be g(7). Suppose s - 6*s = -c. Is 15 a factor of 56/s + 2*1?
True
Let x(t) = -t**3 + 4*t**2 - 4*t + 3. Let s be x(2). Suppose -5*b + 360 = 5*c, 350 = 5*b - 2*c - s*c. Does 25 divide b?
False
Suppose 5*l - a = 20, -1 = -2*l + 4*a - 11. Suppose -2*i + 60 = l*n - 3*i, 3*i = 4*n - 37. Is 4 a factor of n?
False
Let p = -10 - -14. Suppose -33 + 3 = -t. Let d = p + t. Does 17 divide d?
True
Let d(s) = 4*s**2 + 3*s + 3. Is 25 a factor of d(-4)?
False
Suppose 420 = 9*l + l. Is 6 a factor of l?
True
Suppose 0 = -2*q - 0*q. Suppose -c + q*c + 7 = 0. Does 6 divide c?
False
Let o be 39*(-3 - 40/(-12)). Does 12 divide (-4 + o)*8/6?
True
Let v(l) = -l**3 - 2*l - 11. Does 24 divide v(-5)?
False
Suppose 0 = -o + 2 + 3. Suppose -63 = o*q - 303. Does 24 divide q?
True
Let y be (8/(-6))/(2/9). Is (28/y)/((-7)/21) a multiple of 6?
False
Suppose 32 + 52 = 4*w. Let v(q) = -q**3 - 5*q**2 + 2. Let u be v(-5). Let o = u + w. Does 6 divide o?
False
Let f(n) = 2*n**3 - 4*n**2 - 3. Is f(3) a multiple of 7?
False
Suppose 0 = -2*a - 2*u + 18, -5*a = -u - 23 + 8. Suppose -3*h + 49 = -4*y, 5*h - 8 = a*y + 71. Does 4 divide h?
False
Suppose -4*a + 204 = -a. Is 17 a factor of a?
True
Let u(c) = -c**3 + 8*c**2 - 5*c + 5. Let i(f) = -f + 17. Let n be i(10). Is 7 a factor of u(n)?
False
Let u(p) = -2*p**2 - 13*p - 3. Is u(-5) a multiple of 6?
True
Suppose 4*i = -20, -2*i - i = 5*q. Suppose -4 = -l + q. Is 7 a factor of l?
True
Let r(p) = -5*p**2 - 37*p - 3. Is r(-6) a multiple of 3?
True
Let r = -82 + 144. Is 30 a factor of r?
False
Let k = 54 + 2. Does 8 divide k?
True
Is (-68 - -14)/(4/(-14)) a multiple of 36?
False
Suppose 13*m - 433 + 147 = 0. Is m a multiple of 8?
False
Suppose 3*j = -2*j + 15. Is j a multiple of 2?
False
Let r be 176/5 - 2/10. Suppose -4*m + 107 = r. Is m a multiple of 18?
True
Suppose 3*m = 3, -2*j + 42 + 9 = m. Does 5 divide j?
True
Suppose 0 = -4*a + 19 - 7. Let j(f) = 11*f + 4 - 1 + 0. Does 18 divide j(a)?
True
Does 18 divide (-2)/(284/288 + -3 + 2)?
True
Let x(p) = -2*p**2 + p - 6*p**3 - 4*p + 0*p**3 + 2*p**3. Is 10 a factor of x(-2)?
True
Suppose 13*u = 10*u + 201. Is 15 a factor of u?
False
Let o(x) = x**3 + 6*x**2 - 2*x - 5. Suppose 0 = -q + 5*d - 16 + 6, 0 = -2*q + 3*d - 13. Does 15 divide o(q)?
True
Let j be -74*1*(-8)/4. Let r = -83 + j. Does 23 divide r?
False
Is 3 a factor of (-260)/(-28) - 10/35?
True
Let i be (-1)/2*(-4)/2. Let x be (2/4 - i)*10. Is 2/x - (-144)/10 a multiple of 5?
False
Does 14 divide (123/9)/(2/6)?
False
Suppose -y + 7 = a, 4*a + 14 = 6*a - 4*y. Is 2 a factor of a?
False
Suppose 7*t = 2*t + 325. Is t a multiple of 8?
False
Let w(a) = a + 8. Let z be w(-8). Let p = 0 + z. Suppose 0 = -o - 4, 2*d - o - 30 = -p*o. Does 6 divide d?
False
Let u(k) = 2*k + k**3 - 4*k**2 - 7 + k**2 - 2*k**2. Let q be u(5). Does 12 divide 14 + -4 + q - -1?
False
Let p be (-1)/(-3) + 32/(-6). Let j(u) = 1. Let n(x) = -x - 2. Let q(v) = p*j(v) - 2*n(v). Is 6 a factor of q(4)?
False
Let c(s) = 2*s**3 - 2*s**2 - 2*s + 1. Let r be c(2). Suppose 2*o = 5*b - r, 3*b + 5*o = b + 31. Suppose 2 = 5*z - 5*a - b, 2*a = z + 1. Is z a multiple of 2?
False
Suppose 24 = 7*s - 3*s. Let o(q) = 21*q - 10. Does 30 divide o(s)?
False
Let o(h) = -21*h**3 - 13*h**2 - h - 1. Let z(a) = -5*a**3 - 3*a**2. Let x(r) = -2*o(r) + 9*z(r). Let j be (-12)/7 - (-4)/(-14). Does 9 divide x(j)?
True
Let l(p) = -2*p + 17. Is l(-17) a multiple of 7?
False
Suppose 0 = 2*c - 1 - 7. Does 13 divide 31/(-2)*(c - 6)?
False
Is (0 - (3 + -17)) + 4 a multiple of 14?
False
Suppose 10*m = 5*m + 10. Let o(s) = 2*s**2 + s - 1. Let l be o(1). Suppose 0 = -l*g - m, -g + 0 = 2*w - 25. Does 9 divide w?
False
Let s(a) = a + 5. Does 5 divide s(5)?
True
Let n(y) = -y**2 - 5*y - 5. Let u be n(-4). Let q(r) = 44*r**2. Let c(g) = -22*g**2. Let k(o) = -13*c(o) - 6*q(o). Is 14 a factor of k(u)?
False
Suppose -2*r = w - 31, 0*w + 4*w - 79 = -5*r. Let p be (-110)/3*(-18)/r. Suppose 2*a = 6*a - p. Is 6 a factor of a?
False
Suppose -4 = -p + 28. Suppose p = i + i. Does 14 divide i?
False
Suppose -5*x - 41 = 3*m, -3*x - 5 = 2*x. Let r = -1 - m. Let l = r - 5. Is l a multiple of 3?
True
Suppose 0 = 4*i - 2*f - 15 - 23, 0 = -i - 2*f + 7. Suppose -3*h - i = -45. Is h a multiple of 12?
True
Let b = 16 - -37. Suppose -2*o - 3*a + b = 0, -a + 27 = o - 0*o. Is 8 a factor of o?
False
Let o(b) be the third derivative of -b**5/60 + 5*b**4/12 - b**3 + b**2. Let n be o(9). Suppose -88 = -s - n*s. Is 11 a factor of s?
True
Suppose -4*i = -7 - 5. Suppose -21 = 2*p - i. Let u = p - -13. Is 2 a factor of u?
True
Suppose -55 = -y + 2*y. Let j = -36 - y. Is j a multiple of 13?
False
Let x(z) = 2*z**3 + 3*z**2 + 6. Is x(3) a multiple of 29?
True
Is (2 - 19)/((-1)/2) a multiple of 13?
False
Let b(h) = h**2 - 11*h + 15. Let k be b(10). Suppose 92 = 5*o - 3*a - 22, k*a = -3*o + 82. Is 13 a factor of o?
False
Let y(h) = -3*h - 11. Let x be y(-5). Suppose -2*f - 24 = -4*f - r, x*r = -3*f + 46. Is f a multiple of 10?
True
Suppose 14*t = 4*t + 3290. Does 40 divide t?
False
Let r(b) = b + 55. Let o be r(0). Is 6 a factor of (-1 - o)/(-2) + -2?
False
Suppose 7*v - 3*v + 20 = 0. Is 18 a factor of ((-54)/v)/((-1)/(-5))?
True
Suppose 343 = 7*t - 77. Is 12 a factor of t?
True
Suppose 3*t = -t + 124. Is t a multiple of 6?
False
Let b = 9 - 6. Suppose -b*o + 2*v = -74, o = -o + v + 50. Is 12 a factor of o?
False
Suppose 15 - 7 = -2*q. Let d(n) = -n - 4. Let y be d(q). Suppose -26 = -2*o - y. Is o a multiple of 13?
True
Suppose 0 = -2*o + o + 160. Suppose o = -m + 6*m. Does 11 divide m?
False
Suppose 0 = 3*g - 6 - 0. Does 16 divide 1*(40 - (-6)/g)?
False
Suppose -140 = -2*k - 2*t, -3*k + 4*t = -0*k - 196. Is 18 a factor of k?
False
Let g be -6*(20/(-3))/4. Is (-72)/g*40/(-6) a multiple of 24?
True
Let b be 0 + (-9)/1 + 3. Let n(w) = -4*w - 7 + 0 - 1. Is 8 a factor of n(b)?
True
Let u = 7 + -4. Suppose -3*m = 4*d - 3*d - 7, 0 = 5*d - 4*m + u. Does 12 divide 4/((d/5)/1)?
False
Does 6 divide (-225)/(-21) + 2/7?
False
Suppose 78 = -u + 3*u - 4*j, 5*j = -15. Let n = u - -3. Is 18 a factor of n?
True
Let p be (4 + 2)*(1 - 0). Suppose 0 = i + 23 + 31. Is 5 a factor of 0 + 1 - i/p?
True
Let v = -18 + 27. Let g be 12/5 + 2/(-5). Suppose o = v - g. Does 4 divide o?
False
Let k be 4/(-6)*(-6)/4. Is (-6)/2 - (k + -12) a multiple of 7?
False
Suppose 10 = -2*t + 46. Is 22 a factor of (-8)/36 + 400/t?
True
Does 11 divide 0 + 4/(-4)*-30?
False
Let b = 5 + -10. Let c(j) = j**3 + 5*j**2 - 6*j - 2. Is 5 a factor of