t p be i(-7). Let b = p - 6. Suppose -65 = -t - 5*v, -3*t + 149 = -b*v + 26. Is 15 a factor of t?
True
Suppose 0 = -9*d + 123 - 51. Let x be (1 + 1)*(-3 + -31). Is 4 - x/(d/4) a multiple of 14?
False
Let s(q) = q**3 - 8*q**2 + 6*q - 4. Let u be s(6). Let a be u + (-4)/(4/(-3)). Let o = -21 - a. Does 16 divide o?
True
Does 39 divide (-2383)/(-9) + 80/36 + -2?
False
Suppose -5*j + 364 = -2*k + 6*k, 4*j = -5*k + 293. Does 3 divide j?
True
Let x(c) = -c**2 + 9*c + 13. Let y be x(10). Suppose 4*b - 5*g = 95, 0 = -y*b + 2*b + 5*g + 35. Is 20 a factor of b?
True
Let g = -77 - -217. Is g a multiple of 28?
True
Suppose -2*u + 319 = 5*c - 413, 5*c + 366 = u. Let a = u + -250. Suppose -3*i = 6, 0*i = 5*y + 2*i - a. Is 8 a factor of y?
True
Let l(q) = q**2 - 8*q + 5. Let v be l(8). Suppose 0 = -5*x + 2*y + v, 2*x + 5*y = 2*y + 21. Suppose 12 = x*w - 2*w. Is w a multiple of 6?
True
Let d(g) = 4*g - 8. Let r be -3*2/(12/(-10)). Is 4 a factor of d(r)?
True
Let a(n) be the first derivative of -n**3/3 + 4*n**2 - 3*n + 4. Let x be a(7). Suppose 29 + 27 = x*v. Does 7 divide v?
True
Let v(b) be the third derivative of -b**4/12 - b**3/6 + 2*b**2. Let u be v(-2). Is 9 a factor of 1 + (2 - -20 - u)?
False
Let p(i) = -2*i**2 + i - 10. Let k(o) = 2*o**2 + 9. Let m(g) = -4*k(g) - 5*p(g). Is m(6) a multiple of 12?
False
Suppose -64*g - 5216 = -72*g. Is g a multiple of 86?
False
Let p(o) = o**3 - 6*o**2 - 6*o - 11. Let y be p(7). Is 8 a factor of (3/1 - 249)*2/y?
False
Let p be -2 - ((-150)/42 - 6/14). Suppose m = 3*d + 368, -4*m = -p*m + d - 701. Does 12 divide m?
False
Suppose 13753 - 2091 = 7*h. Does 17 divide h?
True
Suppose 0 = -4*t - v + 16072, 20 = -10*v + 5*v. Does 12 divide t?
False
Let g(r) be the third derivative of r**5/30 - r**4/6 + 6*r**2. Let d be g(3). Suppose x = d*x - 160. Is x a multiple of 8?
True
Suppose -70 = -5*m + 2*v - v, -m + 28 = -3*v. Let t = -8 + m. Suppose 3*d = -2*n + 49, t*n + 0*n + 2*d - 128 = 0. Does 7 divide n?
False
Let d(n) = 2*n**2 - 2*n - 3. Let l(k) = -3*k**2 + 2*k + 2. Let w(z) = -4*d(z) - 3*l(z). Suppose 2*x - 12 = 2*b, b + 12 = x - 3*b. Is 6 a factor of w(x)?
True
Suppose -6*f = -4*f. Does 22 divide 4 - (f - -5) - -111?
True
Let r = -79 + 152. Let p = r + -41. Does 22 divide p?
False
Suppose 4 = 2*u, 4*f - 19 = -3*u + 23. Suppose 0 = -d - 2, -5*j - 13*d + f*d + 352 = 0. Does 31 divide j?
False
Suppose 2*k + t - 91 = 0, -9*k + 11*k = -4*t + 100. Is 22 a factor of k?
True
Let p(n) = 37*n**2 + 7*n + 4. Is p(-3) a multiple of 46?
False
Let d(s) = -s**2 + 10*s - 12. Let z(o) = -3*o + 48. Let t be z(14). Is 12 a factor of d(t)?
True
Let j be (-2 - -1) + (2 - -2). Let b be -1*(-3)/j + 20. Let h = b - -15. Is h a multiple of 14?
False
Suppose 24596 = 5*l - 4*b, 0 = -5*b + 43 - 38. Is l a multiple of 23?
False
Suppose 0*d = 4*h + 4*d - 656, 5*d = 2*h - 300. Let a = h + -86. Is 16 a factor of a?
False
Let m(y) = -y**2 + 18*y + 21. Let f be m(19). Suppose 2*w + f*w + 5*v - 68 = 0, w - 5*v - 42 = 0. Is 11 a factor of w?
True
Let g = 79 + 32. Does 37 divide g?
True
Suppose -2*q = 2*q - 2*z - 3404, -2*q + 4*z + 1702 = 0. Is 27 a factor of q?
False
Let s(d) = d + 9. Let c be s(-4). Suppose 0 = -c*h + 328 + 47. Suppose 5*b + 4*n - 348 = 0, h = 2*b + 4*n - 57. Does 24 divide b?
True
Let z(f) = -19*f**2 - 7*f + 9. Let u(l) = -6*l**2 - 3*l + 3. Let w(y) = 8*u(y) - 3*z(y). Is 12 a factor of w(-5)?
False
Let c be (-6444)/(-63) + (-4)/14. Suppose -7*s + c = -5*s. Does 12 divide s?
False
Let g(x) = 2*x**3 - 2*x**2 - 3*x + 1. Let c be g(3). Let s = -1 + c. Does 8 divide s?
False
Suppose -4908 = -5*c - o + 189, 1029 = c + 5*o. Is 91 a factor of c?
False
Let o be 35/(-7)*(-4)/10. Suppose -2*w - 18 = -5*g, -8 = -o*g + 5*w - 5. Does 13 divide (-1*(67 + g))/(-1)?
False
Let r be 4*3/12*5. Suppose 2*p + z - r = 0, -p + 0*z = -z - 7. Suppose j + 84 = p*j. Is 17 a factor of j?
False
Suppose 5*n - 3*c = 123, 7*c + 5 = 2*c. Suppose 3*o + 2*r - n = 0, 4*r + 21 = 3*o + 7*r. Is o a multiple of 10?
True
Suppose 4*l = 3*r + l - 1242, 5*l = -2*r + 800. Let w = -288 + r. Suppose 0 = 5*h + 4*f - 154, f = 3*h - 4*f - w. Is h a multiple of 17?
True
Let b = -238 - -364. Does 23 divide (b/56)/(1/92)?
True
Let z be 10 - 8 - 12/(-2). Suppose -4*k = -2*t + 8, k + t - 3*t + z = 0. Is 6 a factor of 14 - (0 - 4) - k?
True
Let x be (-14)/(-4) - 6/(-4). Suppose -x*s = -223 - 202. Is 17 a factor of s?
True
Let o = 19 + -16. Suppose o*j = -0*j + 39. Does 12 divide j?
False
Suppose -3*j + j + 2*h = -10, 9 = j + 3*h. Let c = 7 + j. Does 9 divide c?
False
Suppose 0 = 3*i + 2*g - 4, i + 0*g + 3 = -5*g. Is (-1585)/(-10)*i - 4/2 a multiple of 19?
False
Let f = -1895 + 2835. Is f a multiple of 10?
True
Suppose -25*i - 20484 + 76184 = 0. Does 74 divide i?
False
Suppose 4*w = 71 - 83. Let m(y) = 6*y**2 + 3*y - 1. Is 11 a factor of m(w)?
True
Let t(w) = w**2 + 9*w + 11. Let l be t(-8). Suppose 3*g - 106 = 4*i, -5*i = -l*g - g + 132. Let b = -7 - i. Is 5 a factor of b?
False
Suppose 2*f = 2*l - 2*f + 1512, 0 = -5*f + 5. Let g be l/(-4) + 4/8. Suppose g = 3*j + 3*h + 42, j - 61 = 5*h. Is 13 a factor of j?
False
Let v(s) = 7*s - 1. Let u = 13 - 9. Let h be v(u). Is 18 a factor of (-8)/20*-5*h?
True
Let j(y) = -y + 12. Suppose 16 = 2*v - 8. Suppose 22 + 27 = -5*i - 4*h, -i = 3*h + v. Does 7 divide j(i)?
True
Suppose -2*k + 2*r + 4 = 0, r = -5*k + 4*r + 12. Let d be (-10)/15 + (-208)/k. Let g = -28 - d. Is 21 a factor of g?
True
Let c(p) = 5*p - 9. Let r be c(4). Suppose 3*n - 47 - r = 4*l, 4*n = 2*l + 94. Does 13 divide n?
True
Suppose 0 = -d, 1691 = 4*j - 2*d - 7381. Is 12 a factor of j?
True
Let p(s) = 7*s**2 - 9*s + 14. Let h be p(7). Suppose 0 = 5*w - 4*u - 508, h = 3*w + 3*u - 0*u. Is w a multiple of 10?
True
Suppose -2*g - 3*g = 5*l - 25, 4*l = -2*g + 20. Suppose 2*n - 4*f = -5*f + 215, -n = -l*f - 124. Does 30 divide n?
False
Suppose -11*z + 28356 = 6*z. Is z a multiple of 12?
True
Suppose -2*v + 504 = 2*v + 4*l, 0 = v - 4*l - 121. Suppose -5*x - 5*a = -v, -2*x + 3*a = x - 63. Is x a multiple of 5?
False
Let z be 1415/(-20) + (15/12)/(-5). Let r = z - -124. Is r a multiple of 16?
False
Suppose -d + 3 = 14. Let c(i) = -i**3 - 11*i**2 - 9*i - 26. Does 10 divide c(d)?
False
Let c be 4*9/12 + -485. Let o = 735 + c. Is o a multiple of 23?
True
Let q be 2/(-9) + 342/81. Suppose 3 = 4*a - 5, 3*j - 124 = q*a. Let g = -14 + j. Is 10 a factor of g?
True
Let d(v) = -v**2 - 9*v - 23. Let g be d(-6). Let u(b) = -27*b + 13. Does 37 divide u(g)?
True
Let t(o) = 5*o**2 + 3*o. Let y be t(-1). Is ((-69)/(2 - 5) - 1)/y a multiple of 9?
False
Let o(q) = -55*q**3 + q + 1. Let i be o(-1). Does 13 divide -1 - (-103)/5 - (-22)/i?
False
Is 12 a factor of 13/(-26) - 1*(-3819)/6?
True
Suppose -14*z + 7*z + 2688 = 0. Does 24 divide z?
True
Is 399 - ((-20)/20)/(1/1) a multiple of 34?
False
Suppose 2*f + 2118 = 3*p, -f + 1911 = 4*p - 913. Does 7 divide p?
False
Let r = -1 - -14. Suppose -4*y - 5 = -w - r, 3*y = 12. Does 4 divide w?
True
Let b(h) = 2*h + 7. Let d(m) = m + 3. Let t(s) = 6*b(s) - 15*d(s). Let q be t(-2). Suppose 6*a - q*a - 90 = 0. Does 15 divide a?
True
Let m = -7 - -14. Let c(b) = 9*b + 21. Is 7 a factor of c(m)?
True
Let h(k) = k**2 - 3 - 3 + 2*k + k. Let q be h(3). Let z = 20 - q. Does 4 divide z?
True
Suppose 32*m = -481 + 2081. Is m a multiple of 20?
False
Is 962*(-1 + (-20)/(-8) - 1) a multiple of 11?
False
Let p = -19 + 3. Let v = 18 + p. Suppose -2*c - 102 = -v*m, -3*c = 5*m - 40 - 183. Does 19 divide m?
False
Let s(z) = 2*z**2 - 5*z + 4. Let u be s(4). Suppose -w - u + 6 = 0. Let k(r) = -r**2 - 10*r + 6. Is k(w) even?
True
Let i(z) = -z**3 + 9*z**2 - 9*z + 6. Suppose 4*k + 3*r - 34 = 0, 2*r - 18 = -2*k - 0*r. Does 3 divide i(k)?
False
Let n(d) = 6*d**3 - 11*d**2 - 6*d - 12. Let g(b) = -b**3 + b**2 + 1. Let v(i) = -5*g(i) - n(i). Let c be v(7). Suppose c = -4*t + t + 84. Is t a multiple of 7?
True
Let i(p) = 4*p**3 + 10*p**2 - 167*p - 7. Is i(8) a multiple of 84?
False
Let p = -186 - -199. Is p a multiple of 2?
False
Suppose -4*n = -8*n - 2*u + 2252, 2*u = 4*n - 2268. Suppose 6*q = q + n. Is 15 a factor of q?
False
Let q(f) = 4*f**2 - 8*f + 87. Is q(-16) a multiple of 14?
False
Suppose -17 = -4*m + 3. Suppose 0 = -2*a + m*a - 222. Let z = a - 38. Is 12 a factor of z?
True
Let q = 1174 - 810. I