True
Let n(f) = -10*f - 5*f**2 + 18*f + f**3 - 3*f - 2. Let v be n(4). Is v/(-10) + (-151)/(-5) a multiple of 15?
True
Let o be (5/20*-4)/((-2)/(-4)). Is 17 a factor of (3/o)/(-4 + 1729/434)?
False
Let p be (-924)/(-147) + 4/(-14). Let v be 16/7 + p/(-21). Suppose -v*c - 2 = -106. Is c a multiple of 13?
True
Let y be (-10)/18*-3*21. Let f be (21/y)/(2/10). Suppose f*o - 2*z - 119 - 98 = 0, 64 = o + z. Does 23 divide o?
True
Let w(l) = 349*l**2 - 4*l - 4. Is w(-1) a multiple of 49?
False
Let k(f) = 14*f**3 - f**2 - 3*f - 6. Let q be k(3). Suppose 6*g - 8*g = -q. Is g a multiple of 16?
False
Suppose 0*a - 9*a = -108. Is a a multiple of 6?
True
Let b = 2448 + -468. Is b a multiple of 12?
True
Let t = 295 + -299. Let y(n) = 16*n + 11. Let h(d) = 15*d + 12. Let o(r) = 4*h(r) - 5*y(r). Is 16 a factor of o(t)?
False
Suppose 18 = 5*h - 2, -2*h - 2668 = -4*f. Does 23 divide f?
False
Let v(l) = -l + 10. Suppose -9 + 23 = 2*p. Let c be v(p). Suppose -o + c = -0*o. Is o even?
False
Let u(f) = 2*f**2 - 2*f - 5. Let t be u(4). Let d = t - 19. Suppose -2*c + 20 = -d*a + a, 3*a = -4*c + 36. Is 12 a factor of c?
True
Suppose -7*t = 370 - 1406. Suppose l = -4*x - l + 538, x + 5*l = t. Does 27 divide x?
False
Let l(a) = a**2 - 8*a + 8. Let s(d) = -d - 11. Let p be s(-9). Let n be (0 + 2)/(p/(-8)). Is l(n) a multiple of 8?
True
Suppose 12 = s - 4*v, v = 2*s - 9 - 1. Suppose z - 12 = 2*a - 4*a, 0 = 3*a + 5*z - s. Let u(o) = -o**3 + 8*o**2 + 3*o - 9. Is 5 a factor of u(a)?
True
Let p(r) = r + 17. Let n be p(-13). Suppose 1 = n*a - 167. Suppose 167 - a = 5*k. Is 6 a factor of k?
False
Suppose -x - n + 41 = 0, -1 = -3*n + 2. Is x a multiple of 5?
True
Suppose -b - 2*x = 3*b - 24, -4*x - 7 = -3*b. Suppose b*g = -0*g + 175. Is g a multiple of 4?
False
Let q(y) = -y - 11. Let f be q(12). Let x = f + 179. Is x a multiple of 26?
True
Let u = -985 + 2105. Is 8 a factor of u?
True
Let q(n) = 22*n + 5. Let u be q(-1). Let d = u + 26. Is 9 a factor of d?
True
Let v(d) be the second derivative of 0 - 1/3*d**3 + 3*d + 0*d**4 - 1/2*d**2 - 7/20*d**5. Is 5 a factor of v(-1)?
False
Let i(c) = c**3 + 6*c**2 + 5*c + 2. Let o be i(-5). Suppose 0 = -o*l + 55 + 33. Is l a multiple of 11?
True
Suppose -8*p + 4 = -10*p, -5*s + p = -462. Does 23 divide s?
True
Suppose -5*z - 20 = -2*o, -o - z - 4 = 3*o. Suppose 5*v - t - 4*t - 1065 = o, t - 1047 = -5*v. Does 29 divide v?
False
Let w(o) = 104*o**2. Does 8 divide w(-1)?
True
Suppose -r + 2*g + 12 = -5*r, 0 = -5*r - g - 12. Is (-2)/(-5)*(r - 108)*-3 a multiple of 44?
True
Let q = -63 - -42. Let j be (1 - 10) + (4 - 2). Is 41 a factor of 2/j + (-1728)/q?
True
Let p(c) = -c**3 - c**2 + c + 3. Suppose 3*x = 4*x. Let f be p(x). Suppose 0*u - f*u - 2*o + 39 = 0, 0 = -5*u + 2*o + 49. Is u a multiple of 11?
True
Is (-143980)/(-250) - (-2)/25 a multiple of 36?
True
Suppose 0 = m - 4*o, -15 = m - 4*m - 3*o. Suppose m*h + 3*n = 22 + 251, 4*h - 3*n - 303 = 0. Is 12 a factor of h?
True
Let l be (28 + -1)*2/6. Let p(a) = 2*a**2 + 1 - 12*a + 4*a - a**2. Does 5 divide p(l)?
True
Let c = 174 + -64. Let v = -83 + c. Is 3 a factor of v?
True
Suppose 5*w + 14*k = 10*k + 3214, -3208 = -5*w + 2*k. Is w a multiple of 31?
False
Is (2116 - 15/3) + 7 a multiple of 31?
False
Suppose -524 - 3268 = -8*z. Does 6 divide z?
True
Suppose 18*q - 65 = -29. Suppose -2*c + 2 = -3*n - 12, -n = 4*c - 14. Suppose -2*f = -w + 24 - 115, -c*w + 76 = q*f. Is f a multiple of 11?
True
Let a = 3041 - 2243. Is a a multiple of 6?
True
Let s be (0 - 1/2)*-26. Suppose -5*v - f = -40, -4*v + 2*f + s = -f. Is 2 a factor of v?
False
Let k = -59 - -143. Suppose -3*l = -42 - k. Suppose -7*x = -6*x - l. Is x a multiple of 11?
False
Let y(v) = -3*v - 30. Is 9 a factor of y(-15)?
False
Let o(t) = t**3 - 5*t**2 + 3*t - 2. Let l be o(2). Let f(p) be the second derivative of -2*p**3/3 + 7*p**2/2 + p - 32. Is 10 a factor of f(l)?
False
Let y be 4/(-7)*(-21)/6. Suppose -y*q - 28 = -3*p + 69, 2*p + 3*q - 69 = 0. Let n = p + -18. Does 5 divide n?
True
Does 31 divide 6*(651/(-21))/(3/(-4))?
True
Suppose 5*f - 746 = 2*g, f = 2*g + 100 + 46. Is 5 a factor of f?
True
Let d(n) = -n**3 + 6*n + 25. Is d(-9) a multiple of 50?
True
Does 20 divide (-13)/((-156)/21222)*(-2)/(-3)?
False
Let z(r) = -r**3 - 8*r**2 + r + 14. Let a be z(-8). Does 17 divide 187/7 - a/(-21)?
False
Let u(l) = l**3 + 7*l**2 - 10*l + 6 - 2*l + 19*l. Let a be u(-6). Is (a - -3) + 28 + -1 a multiple of 15?
True
Suppose -4*o = 11*l - 6*l - 1594, -4*o = -3*l - 1578. Is 36 a factor of o?
True
Let g = 979 - 772. Is 23 a factor of g?
True
Is 7 a factor of 33/((-1122)/(-5164)) + 2/17?
False
Let x(n) = -n**3 - 36*n**2 - 77*n - 85. Is 17 a factor of x(-34)?
True
Suppose -5*t - 121 - 45 = -v, -2*t + 2 = 0. Is v a multiple of 63?
False
Let v(j) = 346*j - 636. Is 94 a factor of v(7)?
True
Let u(h) = h**2 + 20*h - 5. Let c be u(-11). Let a = 214 + c. Does 10 divide a?
True
Is 5 a factor of (16/(-18))/(-2) - (-67440)/135?
True
Does 65 divide (-55373)/(-25) - 42/(-525)?
False
Suppose 3*s = 7*s - z - 993, s = -2*z + 246. Is 4 a factor of s?
True
Let t(x) = -1 - 324*x**2 + 335*x**2 - 7*x + 1 - 1. Suppose -s - 4*s = -m - 12, -3*m + 21 = 4*s. Does 11 divide t(s)?
True
Suppose -2*g - 1684 = -5*i - 3*g, 4*g = -2*i + 670. Is i a multiple of 43?
False
Let b = 211 + -186. Is b a multiple of 2?
False
Let o(u) = u**3 - 5*u**2 + 5*u + 3. Let w be o(5). Let h = -5 + w. Is h a multiple of 7?
False
Let b(z) = 82*z - 8. Let n(x) = 82*x - 7. Let w(d) = -6*b(d) + 7*n(d). Let i be -5 - 27/(-12)*32/12. Does 32 divide w(i)?
False
Let y = -4 - 0. Let k(g) = 3*g**2 - 6*g - 1. Is 11 a factor of k(y)?
False
Suppose 25 = -2*y + d, 5*y + 28 + 57 = -5*d. Let q = y + 53. Let c = q - 23. Is 9 a factor of c?
False
Let h(d) be the third derivative of d**4/12 - 2*d**3 - 3*d**2. Let v(r) = r**3 - 2*r**2 - r + 2. Let q be v(3). Is 2 a factor of h(q)?
True
Let a(c) = -6*c**2 + 4*c - 4. Let m be a(2). Is (m/(-12) + -1)*(-54)/(-4) even?
False
Suppose 2*b + 16 = 3*b. Let o be (-80)/(-2)*(15 - b). Let x = -23 - o. Is 8 a factor of x?
False
Let t = -2203 + 3739. Is 24 a factor of t?
True
Let x be 2/((-7)/((-70)/(-4))). Let a = 40 - x. Does 15 divide a?
True
Let g(f) = -10*f - 73. Let m = 69 - 87. Is g(m) a multiple of 14?
False
Is 17 a factor of 816/(28/8 + -2)?
True
Let a = 28 - 79. Let u be a - (-4 + (-8)/(-4)). Does 10 divide (-2 + (-2)/(-2))*u?
False
Suppose 5*j = -0*j + 4560. Let u be (9/6)/(9/j). Suppose 6*k - 4*k - u = 0. Is k a multiple of 27?
False
Let y = 54 + -65. Is (y*(-6)/(-15))/(2/(-10)) even?
True
Let w be (960/28)/((-1)/(-42)). Suppose 3*j - w = -12*j. Is j a multiple of 37?
False
Suppose 3*t + 186 = 6*t. Suppose 6*f - t = 7*f. Let y = f - -116. Is y a multiple of 27?
True
Suppose -17*p - 367 = -2509. Is p a multiple of 11?
False
Let x(q) be the third derivative of q**5/60 + q**4/3 - 16*q**3/3 - 4*q**2. Is x(6) a multiple of 8?
False
Let o = -25 - 12. Let d = o - -55. Does 6 divide d?
True
Let w be (1220/(-6))/((-8)/12). Suppose 0 = -4*u - 57 + w. Suppose -2*a - u + 2 = -2*v, -a = 0. Does 15 divide v?
True
Suppose -2400 = -19*h + 9*h. Is h a multiple of 14?
False
Suppose 5*q = 3*c + 17831, -13*c + 14268 = 4*q - 17*c. Is 38 a factor of q?
False
Let v(o) = -13*o**3 + 5*o**2 + 8*o + 12. Is 16 a factor of v(-3)?
True
Let v be ((-16)/(-7) - -2) + 10/(-35). Suppose 3*x = -v + 16, 2*l - 56 = 4*x. Does 6 divide l?
True
Let v(k) = k**3 + 9*k**2 - 12*k - 6. Suppose c + 1 = -8. Let q be v(c). Does 5 divide q/6 + 4/(-2)?
True
Let u(b) = b**3 + 3*b**2 - 17*b + 2. Does 6 divide u(7)?
False
Suppose -4*t + j = 3*j - 714, -5*t = -2*j - 906. Suppose -a + 98 = a + p, 2*p = 4*a - t. Is a a multiple of 7?
False
Let m(d) = d**3 + 2*d**2 + 9. Let q be m(-4). Let y be (-5 - q)*1/2. Let i(j) = -j**3 + 8*j**2 + 13*j - 2. Is 7 a factor of i(y)?
False
Let u be 20/(-35)*(-7)/2. Suppose l - u*l - 1 = 0. Is (90/(-1 + l))/(-1) a multiple of 41?
False
Let a = -550 + 778. Is a a multiple of 6?
True
Suppose 4*n + 2*i = -8 - 8, 4*n + 22 = i. Let k be 3/((n/(-2))/(-5)). Is 31 a factor of (-56 + k)/((-2)/3)?
True
Let g(c) = -c**2 + 7*c - 4. Is 6 a factor of g(3)?
False
Let n(f) = f**2 - 2*f + 4. Let d be n(2). Suppose -d*o + 32 = -16. Is o a multiple of 4?
True
Is (-4)/((-24)/90) - (-3 + 0) a multiple of 6?
True
Le