divide k?
True
Let c = -303 + 317. Does 9 divide c?
False
Let y(p) = p**3 + 6*p**2 + p + 6. Let n = -7 - -10. Suppose 2*o - 2*f = 0, -5*o = -n*o - f + 5. Is 13 a factor of y(o)?
True
Let j(c) be the third derivative of 7*c**4/24 - 5*c**3/2 - 12*c**2. Let i be j(5). Let d = i + 5. Does 10 divide d?
False
Suppose 0 = 2*t + 3*c - 116, -204 = -3*t - 9*c + 12*c. Is 53 a factor of t?
False
Let o(y) = 3*y**2 - 10*y + 4. Let x be -5*5/((-20)/8). Let a be o(x). Suppose -q + a = 3*q. Is 17 a factor of q?
True
Let x = 8 + -6. Let g be 5 + (-2)/x - 3. Is 12/4 + (g - -30) a multiple of 17?
True
Let y = -17 + 21. Suppose -y = 2*x - 8. Suppose 4*f - 256 = -c, 4*f - x*c - 118 = 126. Does 19 divide f?
False
Let d(j) = -j**2 - 10*j + 21. Let s be d(-12). Let w = s + 25. Is 22 a factor of w?
True
Let s = -1444 + 1465. Does 2 divide s?
False
Let c(h) = h**2 - 11*h + 3. Suppose -3*o - 2*d = -43, -o + d + 28 = 2*o. Let y be c(o). Is 14 a factor of (-22)/(2/(-1)) + y?
True
Let y(l) = 38*l**2 + 17*l + 108. Is y(-5) a multiple of 42?
False
Does 44 divide (18/27)/(11/4884)?
False
Let x(f) = f**2 + 5*f + 4. Let q be x(-4). Let k = -23 - -27. Suppose -5*o = -q*o + 3*y - 138, 0 = k*o - 2*y - 128. Is 15 a factor of o?
True
Suppose -1305 - 7305 = -41*s. Does 5 divide s?
True
Let h(a) = a + 61*a**3 + 7*a**3 + 6*a**3. Suppose 206*x = 209*x - 3. Is 16 a factor of h(x)?
False
Let n(f) = -12*f**2 - f**3 + 0*f**3 + 14 - 6*f + 21*f. Let h be n(-13). Is 13 a factor of (-8)/h - 570/(-9)?
False
Let w(q) = -q - 14. Let t be w(-12). Let k(u) = -6*u**3 - u. Does 15 divide k(t)?
False
Let q(v) be the second derivative of -5*v**3/2 - 4*v**2 + 6*v. Is 15 a factor of q(-4)?
False
Suppose 18*a = -7295 + 30461. Is 19 a factor of a?
False
Suppose -4*y + 6 = 46. Let a be 2/10 - 28/y. Suppose 2*j + v - a*v = 22, -4*j = 5*v + 1. Is j a multiple of 6?
True
Let g(i) = 6*i - 1. Let y be g(2). Suppose 6*l - l + 3*o - y = 0, -o = 3. Is l even?
True
Suppose -z = 3*y - 301, -5*y - z + 491 = -2*z. Suppose -6*a + 207 = -y. Is a a multiple of 13?
False
Let c(d) = d**3 - 8*d**2 + 11*d + 13. Does 31 divide c(7)?
False
Suppose -4*f = -3*d - 463, -4*f + 594 = -d + 141. Suppose 0 = -2*i - 4*m + f, -m - 63 - 179 = -4*i. Does 10 divide i?
True
Let s be -2*1/(-6) - (-1511)/3. Let l = -319 + s. Is l a multiple of 31?
False
Let p = 118 + -115. Suppose 4*b - 143 = -5*f, 0*f + p*f = 4*b + 73. Is 2 a factor of f?
False
Let c = 55 + -53. Let t be (2/1)/2*1. Suppose 0 = -c*s + 129 + t. Does 20 divide s?
False
Suppose -6*r + 11*r = 1440. Is r a multiple of 12?
True
Let j = -39 + 17. Let f = j + 40. Is 5 a factor of f?
False
Is 5/(40/13626) - 7/28 a multiple of 13?
True
Suppose 219 = 3*b + p, 6*p - 284 = -4*b + 2*p. Does 8 divide b?
False
Let m = -33 + 114. Does 26 divide m?
False
Suppose 3*l + 11 = -1, 4*l + 4 = -2*k. Is (6/(-8))/(k/(-24)) + 16 a multiple of 19?
True
Suppose -7*g = -2629 - 1277. Does 50 divide g?
False
Let y(u) be the first derivative of u**3/3 - u**2 + 2*u - 1. Let b = 410 - 406. Is 2 a factor of y(b)?
True
Suppose -4*y = -4*n - 3*y + 783, 4*n = -y + 785. Does 3 divide n?
False
Suppose 0 = 13*r - 26*r - 1053. Let f = -32 - r. Does 4 divide f?
False
Suppose 0 = 38*d - 34*d + 3*l - 752, d = -2*l + 188. Does 9 divide d?
False
Suppose 1496 + 128 = 7*s. Does 8 divide s?
True
Let z = -932 - -1181. Does 14 divide z?
False
Let p(z) = 5*z**2 - 27*z + 6. Let r(l) = -9*l**2 + 53*l - 13. Let d(i) = -11*p(i) - 6*r(i). Is d(-17) a multiple of 24?
False
Let m be ((-2)/6)/(3*(-6)/108). Suppose 178 = h + 4*q - 30, m*h = -5*q + 413. Is 12 a factor of h?
True
Let t(p) = -p**3 - 4*p**2 - 13*p + 12. Is 31 a factor of t(-8)?
True
Let r = -80 + 139. Suppose -57 = -y + d + 2*d, 0 = -y + 4*d + r. Is 27 a factor of y?
False
Let v(u) = 3*u**3 + u**2 - 9. Let c(p) = -p**3 + p. Let h(d) = 4*c(d) + v(d). Does 31 divide h(-4)?
False
Suppose -10*y = -8*y. Suppose -305 = -5*s - 4*o, y*o + o + 5 = 0. Let x = 111 - s. Is x a multiple of 15?
False
Let f = 342 + 2. Let h = -136 + f. Is 12 a factor of h?
False
Let w(v) = 4*v + 459. Does 9 divide w(-42)?
False
Let u be 0 - (1 + (1 - 299)). Let m = 79 - 77. Suppose 4*g + 3*f - u = 0, -3*g - 3*f + 372 = m*g. Is 15 a factor of g?
True
Let p = -37 - -51. Let o = p + -3. Is o a multiple of 2?
False
Suppose 0 = 4*t + 16, 4*t = -4*r - 207 + 11. Suppose 3*m + 49 = -0*m - 4*z, 4*m + 57 = 3*z. Does 6 divide r*((-24)/m - 2)?
True
Suppose -21*c + 24*c = 5*x - 3988, 2*c = 4*x - 3192. Is 8 a factor of x?
True
Let q(i) = -2*i - 13. Let r be q(16). Let g = r - -88. Does 8 divide g?
False
Let i(o) = -o**2 + 23*o. Let x be i(19). Suppose -5*l - 257 + 677 = -5*g, x = l - 3*g. Is l a multiple of 22?
True
Let h(b) = b**3 - 13*b**2 + 11*b + 12. Let x be h(12). Suppose -a - 2*a + 12 = x. Suppose -a*j - j = -195. Is 11 a factor of j?
False
Suppose -3 + 11 = -2*y. Let r be 2*44/(2 + 0). Let d = r - y. Is d a multiple of 11?
False
Let k be 28*(-4 + (-65)/(-20)). Is 5 a factor of 38 - ((-18)/7 - (-9)/k)?
False
Suppose -4*l - 177 = -65. Let y = l - -67. Is 13 a factor of y?
True
Let g(s) = 2*s**2 - 21*s - 128. Does 31 divide g(-14)?
True
Suppose 2*c - 47 = 3*c. Let s = -37 - c. Is 10 a factor of s?
True
Let b(t) be the first derivative of 7*t**2/2 - 7*t + 10. Is 2 a factor of b(3)?
True
Suppose 1 = -h, h + 0*h + 651 = 5*r. Is 10 a factor of r?
True
Suppose 356 = n - 108. Is 29 a factor of n?
True
Suppose 0 = -0*y + 4*y. Let t = y - -4. Suppose -5*m + 5*p = -205, -4*m - t*p + 232 = m. Does 11 divide m?
True
Let v(n) = -n**3 + 7*n**2 - n + 9. Let r be v(7). Suppose l = -r*l + 9. Is 28 + l + 3/3 a multiple of 8?
True
Let g(x) = 31*x**2 + x**3 - 3 + x - 24*x**2 + 5*x. Let a be g(-6). Let c(m) = -2*m**3 - 5*m**2 - 3*m + 1. Is 13 a factor of c(a)?
False
Let v(j) = j**2 - 5*j + 109. Is v(-14) a multiple of 75?
True
Let b = 8 - 6. Suppose -4*v = -12, -b*u + 85 = 3*u - 5*v. Let j = u - -3. Is 13 a factor of j?
False
Suppose -m + 2*g + 0 + 3 = 0, -21 = 3*m + 4*g. Is 212*(3 - -5*m/6) a multiple of 39?
False
Does 3 divide ((-6)/24)/((-6)/3384)?
True
Let n = 19 + -28. Does 13 divide (n/12)/((-3)/444)?
False
Suppose 284*z - 288*z + 2120 = 0. Is z a multiple of 53?
True
Let u be -9*(1 + (-4)/3). Suppose 0 = -4*b - 2*y + 4, 4*b + y + u - 9 = 0. Suppose -3*c + 122 = 4*i - 2*i, -b*c - 3*i = -88. Is 19 a factor of c?
True
Let d(o) = -o**2 + o + 2. Let v be d(4). Let z = v + -9. Let f = z + 66. Is f a multiple of 11?
False
Let z(t) = t**2 + 42*t + 269. Let f be z(-34). Let s(m) = -2*m - 15. Let k(w) = -w + 1. Let y(d) = 3*k(d) + s(d). Is 2 a factor of y(f)?
False
Let b(k) = k**3 + 20*k**2 + 68*k - 17. Is 4 a factor of b(-7)?
True
Suppose 18 = -y + 5*p, 0 = -3*y + 4*p - 3*p + 2. Suppose -3*z + y = 8, -2*s = z - 134. Let o = s + -29. Is 18 a factor of o?
False
Let r = -922 + 2000. Is r a multiple of 98?
True
Let v(j) = -5*j**3 - j**2 + 3*j + 2. Let m be 7 - 1 - (1 - 5). Suppose 5*u + m + 0 = 0. Does 8 divide v(u)?
True
Let d(f) be the third derivative of f**5/30 + 13*f**4/24 - 5*f**3/6 + 20*f**2. Is d(-8) a multiple of 4?
False
Let l(t) = -2*t**2 - 149*t + 205. Is 33 a factor of l(-68)?
True
Let l = 2663 + -3803. Is 3/(-7) + l/(-14) a multiple of 29?
False
Let c(t) = -t**3 - 7*t**2 - 10*t + 5. Let r be c(-5). Let u(z) = 22*z - 3. Let k(s) = 11*s - 1. Let h(q) = -5*k(q) + 3*u(q). Does 17 divide h(r)?
True
Let c = 75 - 3. Is 2 a factor of c?
True
Let i = 98 - -21. Does 17 divide i?
True
Let k(h) = h - 8*h - 26 - 5 - 7. Is 3 a factor of k(-7)?
False
Suppose 0 = 20*p - 735 - 3865. Is 5 a factor of p?
True
Suppose t + 0*t = 3*j - 332, 3*j - 328 = 5*t. Is (-5)/(-15*1)*j a multiple of 9?
False
Suppose -1 = 2*d + 3*m, 0 = -3*d + 5*m + 2 - 13. Let s(n) = 5*n**2 + n - 2. Let t be s(d). Is (t/6)/(16/168) a multiple of 5?
False
Let b(r) be the first derivative of 14*r**3/3 + 2*r**2 + 3*r + 5. Let k be b(-2). Suppose k + 29 = h. Does 15 divide h?
False
Suppose -9 = 11*i - 14*i. Suppose -q - 10 = q, -4*x + i*q = -179. Is x a multiple of 12?
False
Suppose 0*k - 4 = 4*k, -2*b + 367 = -3*k. Is b/4 + (-22)/(-44) a multiple of 8?
False
Let w = -388 + 796. Does 5 divide w?
False
Is 25 a factor of 9*(-8)/60*-5 - -369?
True
Let v = 702 + -438. Does 6 divide v?
True
Let f = 303 + -285. Is f a multiple of 6?
True
Let a = 1094 + -902. Does 12 divide a?
True
Let