 4*c**2 + 5*c + 2. Let l be w(4). Let k be l/4 - 2/4. Let p = 37 - k. Does 6 divide p?
False
Let h(f) = -f**3 + 9*f**2 - 4*f - 7. Let j(v) = 2*v**2 - 7*v + 4. Let t be j(4). Does 25 divide h(t)?
True
Let f(g) = g**2 + 12*g - 19. Is 13 a factor of f(-15)?
True
Let w = 15 - -41. Suppose -192 = -2*k - w. Let s = -39 + k. Is s a multiple of 15?
False
Suppose -k - 12 = -4*k. Suppose k*r - 141 = -4*q - 53, -q - 83 = -4*r. Let d = -15 + r. Is 6 a factor of d?
True
Does 26 divide 2/6 + 251/3?
False
Suppose 0 = y - 0*y - 4. Suppose -y*x - 14 = -2*d, -x - 4 = 2*d + 4*x. Is 51*(10/3 - d) a multiple of 6?
False
Let n be ((-1)/(-2))/((-1)/82). Let r = n + 89. Is r a multiple of 14?
False
Let a be (1 - 1) + 2 - 0. Suppose a*c = 3 - 5. Is (4/c + 1)*-2 a multiple of 4?
False
Let u(m) = m**2 - 6*m - 1. Let j be u(5). Is 4 a factor of ((-8)/(-5))/(j/(-45))?
True
Is 21 a factor of 5028/48 - 1/(-4)?
True
Let x be 4/(-6)*180/(-24). Is 5 a factor of (-1)/(((-20)/56)/x)?
False
Let h = 25 - 15. Suppose -3*p - 5*v + 12 = 0, 3*v + 0*v = p + h. Is (9/5 + p)*5 a multiple of 4?
True
Let f = 1 - -58. Suppose 4*w + 5*p = -w - 75, 5*w = 3*p - f. Let g = -9 - w. Does 2 divide g?
True
Let m be 94/(-10) + 2/5. Does 10 divide (m/(-27))/((-2)/(-300))?
True
Let f be 1*-8 - (-4 + 4). Let p = -2 - f. Suppose n + 2*j = 39, 3*n - j = -p*j + 120. Is 18 a factor of n?
False
Let c(h) = -h**3 + 7*h**2 - h + 7. Let u be c(7). Suppose j - 6 = -u*j. Does 3 divide j?
True
Let n = 368 - 255. Suppose -3 = -3*h, 0*g + 4*g - n = 3*h. Is g a multiple of 13?
False
Let d(u) = 2*u**2 + u. Let g be d(-1). Let x be 2 - -106 - (g + 2). Suppose -2*r = r - x. Does 9 divide r?
False
Let a(z) = 15*z. Let f be a(-1). Suppose 0 = 7*g - 2*g - 140. Let o = g + f. Is 5 a factor of o?
False
Let y(x) be the first derivative of 4*x - 2 - 1/4*x**4 - x**2 + 7/3*x**3. Does 12 divide y(6)?
False
Let p(r) = -r + 3. Does 3 divide p(0)?
True
Let f = 76 - -4. Is 27 a factor of f?
False
Let s = 5 - 5. Suppose s = 2*u - 42. Does 9 divide u?
False
Let c(d) = 5*d + 6. Let l be c(5). Suppose -5*w + l = -29. Is w a multiple of 6?
True
Let p(b) = 18*b**2. Let d be p(1). Suppose -s = -0*s + h, 3*h = 3*s - d. Suppose -s*a + 6*a - 27 = 0. Is a a multiple of 6?
False
Let x = 83 - 38. Does 9 divide x?
True
Suppose 5*f + 0 - 15 = 5*n, 3*n - 21 = -3*f. Suppose 3*h - n = 115. Is 13 a factor of h?
True
Suppose -5*m + 637 = -588. Suppose 0 = -8*c + 3*c + m. Is 15 a factor of c?
False
Let t(f) = -14*f + 3. Suppose 3*q - 35 = 3*y + 2*y, -2*y = -q + 13. Let l(z) = -15*z + 4. Let g(j) = y*t(j) + 3*l(j). Does 11 divide g(2)?
True
Let l(t) = t**3 + 6*t**2 + 4*t - 4. Let v be l(-5). Let u be v*-1*1/1. Is (1 + -2)*49/u a multiple of 13?
False
Let q = -3 + 15. Suppose -232 = -4*f - q. Does 14 divide f?
False
Let s(m) = 2*m - 6. Let w(f) = f**3 - 9*f**2 + 10*f - 12. Let g be w(8). Let v be s(g). Suppose -h + 108 = v*h. Is 13 a factor of h?
False
Suppose m + 161 = z - m, 0 = -5*z - 5*m + 790. Is 53 a factor of z?
True
Let f(g) = -g**3 - 8*g**2 - g - 5. Let n be f(-8). Let v = -2 + n. Is (v + -13)*21/(-6) a multiple of 12?
False
Let d = -4 + 52. Does 6 divide d?
True
Suppose -8 = -4*o - 12. Let h = 84 + o. Is 29 a factor of h?
False
Suppose 2*t = 4*n - 8, -5*t + 4*t = -n + 1. Suppose 0*v = t*v - 10. Is v even?
False
Suppose -3*k + 145 = -11. Let j = -18 + k. Is 17 a factor of j?
True
Let s(q) = q**2 + 6*q - 39. Is s(-11) a multiple of 2?
True
Let h = 199 + -103. Suppose -4*x + h = -2*x. Does 9 divide x?
False
Let t(l) = l + 3. Let z be t(-3). Suppose z*n - 34 = -2*n. Is n a multiple of 5?
False
Suppose -42 = z - 0*z. Let n = z + 75. Does 11 divide n?
True
Let k be 2/(-3) + 94/6. Suppose 3*q + y - k = 0, -5*q - y + 26 = y. Is q even?
True
Suppose 0 = -3*v - 4*s - 5, 0 = -0*s + 4*s + 20. Suppose v*y - 3*l = 132, -5*y + 5*l + 124 = 4*l. Suppose 2*a = -3*h + y, 4*h - 7 = -23. Is 9 a factor of a?
True
Let m(t) = 2*t**2 - 31*t + 71. Does 26 divide m(21)?
False
Let w(z) = -1. Let u(q) = -6*q + 8. Let o(f) = u(f) + 6*w(f). Suppose -28 = s - 5*p, -2*s + 3*p - 18 = -s. Is o(s) a multiple of 20?
True
Suppose 2153 = 7*m - 108. Is 58 a factor of m?
False
Let w(o) = -o + 22. Is w(-9) a multiple of 6?
False
Let h(r) = 2*r**2 + r + 1. Let c be h(5). Suppose t + t = c. Is 14 a factor of t?
True
Let c = -23 + 26. Suppose -b + 2*j + 14 = 0, c*j = -3*b + 6 + 9. Is 8 a factor of b?
True
Let m(n) = n**3 + 4*n**2 - 5*n + 2. Let b be m(-5). Suppose 5*p - 2*v - 18 = b*v, 5*v + 2 = -4*p. Suppose 0 = 2*a + p - 14. Is a a multiple of 3?
True
Suppose -3 = 2*b - 3*b. Suppose -n - 10 + 22 = -5*k, -3*k = n + 4. Suppose 5*j - b*a - 60 = 0, -a = -5*j + 52 - n. Is 7 a factor of j?
False
Let n(b) = 3 - 15 - 2*b - 5*b. Is 18 a factor of n(-9)?
False
Let v = 1 + 4. Suppose -4*x = -v*n - 54, 0 = -6*n + n - x - 74. Let f = -1 - n. Is 13 a factor of f?
True
Let t(l) = l - 2. Let u be t(11). Suppose 3*c - 45 = -x - c, -u = -3*c. Is 11 a factor of x?
True
Let w(u) = -u**2 - 9*u + 12. Let k be w(-10). Let x be -3 + -1 + k - 2. Does 12 divide (-74)/(-3) + x/6?
True
Suppose 12 = 3*a, -b + 28 = 3*a - 14. Does 15 divide b?
True
Suppose -20*f + 317 = 17. Is 13 a factor of f?
False
Let w(h) = h - 7. Is 2 a factor of w(9)?
True
Let s(z) = -z**3 - 8*z**2 - 4*z - 6. Let g(t) = -5*t**3 - 41*t**2 - 20*t - 30. Let l(r) = 2*g(r) - 11*s(r). Is 15 a factor of l(-4)?
False
Let p = 2 + -10. Is 17 a factor of (17/(-2))/(p/16)?
True
Let o be -1*(1 + -3) - -2. Suppose -56 + 8 = -4*p - 4*n, n - 48 = -o*p. Is 8 a factor of 87/12 - p/(-16)?
True
Let o = 90 + -48. Does 14 divide o?
True
Let m(p) = -24*p**3 - p**2 - p + 1. Let l be m(1). Let k = l + 77. Is 13 a factor of k?
True
Suppose -t + 4*d = -13, t + 2*d + 14 = -3*d. Let y = 3 - t. Is y even?
True
Let x = -34 + 20. Let y = x + 21. Is y a multiple of 7?
True
Suppose 2*k + 88 = 6*k. Let x = 8 + -6. Is k/(1 + x + -2) a multiple of 8?
False
Suppose 1 = -i - 2. Let s = -20 + i. Let z = 49 + s. Does 17 divide z?
False
Let a(m) be the first derivative of -4*m + 1/4*m**4 - 2*m**3 + 1 + 7/2*m**2. Is 4 a factor of a(5)?
False
Suppose 3*b = 2*b + 217. Is b a multiple of 31?
True
Let p(y) = -y**3 - 5*y**2 + 5*y + 1. Let j be p(-5). Let q be 2/5 + j/(-15). Suppose -2*w - q*w = -96. Is 16 a factor of w?
False
Let k be -3 - (-3 - 0)*2. Suppose 5*o - 2*g - g - 453 = 0, k*o - 2*g = 272. Is 24 a factor of o?
False
Let j(s) = -s + 1. Let l(c) = -c**3 - 6*c**2 + 9*c + 10. Suppose 2*u + 0*u = -14. Let p be l(u). Does 3 divide j(p)?
False
Let j(i) = -54*i + 21. Is j(-2) a multiple of 24?
False
Let w(s) = -18*s - 27. Does 9 divide w(-5)?
True
Let o(k) = -k**3 - 17*k**2 - 37*k + 16. Is 16 a factor of o(-16)?
True
Suppose 2*b + 448 = 2*f, 4*f - 3*b - 869 = -8*b. Suppose s - 3*p = 87, -5*p + f = 4*s - 59. Is 17 a factor of s?
False
Suppose 5*d - 794 + 314 = 0. Is 12 a factor of d?
True
Let a = -7 + 11. Let o = a + 8. Is o a multiple of 6?
True
Suppose -3*w - 2*w = 5. Let q be (4/(-12))/(w/9). Let s(o) = 2*o**3 - o**2 - 3*o - 2. Is 20 a factor of s(q)?
False
Let g = 14 - 4. Is 3 a factor of 16/6*15/g?
False
Suppose w - 56 - 60 = 0. Does 29 divide w?
True
Let h = 81 + -53. Is h a multiple of 5?
False
Let a = -4 + 0. Let c be (-243)/a - 4/(-16). Suppose d - c = -6*o + 2*o, -4*o + 36 = -4*d. Does 14 divide o?
True
Let m(i) = i**3 + 10*i**2 - 15*i + 16. Is m(-11) a multiple of 10?
True
Let o(n) = -n + 3. Let y be o(2). Let s be (y + 0)*8/2. Suppose -x + s*x - 45 = 0. Is x a multiple of 9?
False
Let h(k) = 28*k**3 + k**2. Let r be h(-1). Does 23 divide (r/18)/(3/(-92))?
True
Let l(f) = 0*f + 5 + 3*f**3 + 7*f**2 - 4*f**3 + 0*f. Let r be l(7). Let a(t) = 4*t**2 - 7*t + 1. Is 25 a factor of a(r)?
False
Let t(d) = 18*d + 6. Let s be t(6). Suppose -4*k + s = 14. Is 7 a factor of k?
False
Let w = 7 + -5. Suppose -18 = -4*p + w. Is p a multiple of 2?
False
Suppose 3*m + 5*q = m + 5, -3*q + 3 = 5*m. Suppose 50 = 3*v + 4*a, 0*a - 2*a - 8 = m. Is 19 a factor of v?
False
Let w(d) = -10*d + 10. Let o be w(-10). Suppose 0*v + 5*v - o = 0. Suppose 2*b = 4*b - v. Is 11 a factor of b?
True
Suppose i + 40 = 94. Is i a multiple of 15?
False
Let g(d) = d**3 + 8*d**2 - d - 1. Suppose 5*p = -0*p + 40. Let a = -16 + p. Is 7 a factor of g(a)?
True
Let r(l) be the first derivative of 17*l**3/3 - l**2/2 - l + 4. I