. Let r(j) = -2*d(j) - 5*n(j). Is r(l) a multiple of 14?
False
Suppose -7*f + 10*f = 144. Does 18 divide f?
False
Let t(h) = -5*h**2 + h - 2. Let k(l) = -4*l**2 + 2*l - 3. Let y be (-1 - (0 - -2)) + 0. Let u(z) = y*k(z) + 2*t(z). Is 12 a factor of u(4)?
False
Let a(b) = -b**2 + 5*b + 4. Let s be a(6). Let o be (s/(-3))/((-2)/(-9)). Suppose 0*c = 2*c - 2*n - 40, -4*c - o*n + 52 = 0. Is c a multiple of 8?
True
Let q = -6 - -7. Suppose -q + 0 = -u, -3*o + 2*u + 175 = 0. Does 25 divide o?
False
Let d be -3*3/((-18)/10). Let n(z) = 15*z - 28. Let h(v) = -10*v + 19. Let t(l) = d*n(l) + 7*h(l). Is t(6) a multiple of 10?
False
Suppose 4*y - 6 = -2*o, -o - 1 = -0. Suppose y*u = -3*u. Is 15 a factor of u + (45 - (1 - 1))?
True
Let z be (3 + -1)/(9/(-234)). Let k = 79 + z. Is k a multiple of 9?
True
Suppose 4*p = 2*p + 3*h + 84, -5*p + 228 = -3*h. Does 12 divide p?
True
Let z(w) = 17*w - 1. Suppose -61 + 26 = -5*l. Suppose -l*c + 4 = -3*c. Does 10 divide z(c)?
False
Let b(k) = 11*k**2 + 2. Let n(f) = 6*f**2 + 1. Let r(u) = -6*b(u) + 13*n(u). Is r(-2) a multiple of 17?
False
Let k = 30 - 10. Let r(p) = -p**3 - 6. Let m be r(0). Let g = m + k. Is 7 a factor of g?
True
Let p(j) = 13*j + 1. Let t be 5 + 0 + -2 + 1. Suppose -5*n = -n - t. Does 7 divide p(n)?
True
Suppose -118 = -2*v + 16. Is v a multiple of 28?
False
Suppose -4*n = 3*q, 17 = 3*q - q - 3*n. Let v be ((-4)/(-8)*-4)/(-2). Let g = v + q. Is g a multiple of 5?
True
Let y = -3 - 4. Let c(g) = -9 - 6 - 5*g - 2 + 10. Is 15 a factor of c(y)?
False
Let a(v) be the third derivative of -v**4/6 + v**3/3 - 6*v**2. Does 3 divide a(-2)?
False
Suppose 11 = k + 30. Let p = -17 + 46. Let j = p + k. Is j a multiple of 5?
True
Let n(a) = -2 + 4*a**2 + 6*a - 4*a**2 - a**3 + 4*a**2. Let t = -6 - -11. Is 3 a factor of n(t)?
True
Suppose -2*w - 2*w + h + 85 = 0, h - 35 = -2*w. Does 17 divide w?
False
Let b(n) = -2*n + 5. Does 7 divide b(-9)?
False
Let z(p) = -p**2 + 4*p + 3. Let i be z(4). Suppose -7 = -i*g + 14. Let w = 1 + g. Is w a multiple of 4?
True
Let c(i) be the second derivative of i**5/30 + i**4/24 + i**3/2 + 2*i. Let f(b) be the second derivative of c(b). Is f(3) a multiple of 10?
False
Let z(p) = p**2 + 3*p + 1. Let h(o) = o**3 - 5*o**2 + 4*o + 4. Let i be h(4). Let f be z(i). Suppose -l + f + 3 = 0. Is 13 a factor of l?
False
Suppose 2*g + 3*v + 2 = 13, 0 = -2*g - v + 9. Suppose g*c = 12 + 12. Does 5 divide c - 2*(-2)/4?
False
Let i be 44/4*(0 - -1). Let t = 5 + -10. Let a = t + i. Is a a multiple of 3?
True
Suppose 3*b - b = 5*z - 86, -5*b = 2*z - 46. Let h = 13 - z. Does 16 divide (-6)/(h/(-7) + -1)?
False
Suppose 0 = -2*t - 2*t - 5*l + 9, -12 = 4*l. Let n = t + -4. Suppose -4 = -n*w + z, 5*w - z - 28 = -3*z. Is 2 a factor of w?
True
Let o = 4 - -1. Suppose -o*d = -d - 8. Let a(k) = 3*k**2 - 2*k. Is a(d) a multiple of 8?
True
Is 2/7 + (-1848)/(-49) a multiple of 2?
True
Let z = -4 - -8. Suppose c - z*n - 45 = 0, -3*c - n = -4*c + 39. Does 15 divide c?
False
Suppose 2*b - 5*b = -r + 9, 0 = 3*r - 4*b - 12. Suppose 0*u + u - 39 = r. Does 13 divide u?
True
Let t = -31 - -41. Is 6 a factor of t?
False
Let y be (-7 + -13)*(-186)/10. Suppose -5*b + y = -4*z, 0*b - 2*z + 138 = 2*b. Is 22 a factor of b?
False
Suppose -3*c + c - 10 = 0. Let o(i) = -5*i + 5. Does 15 divide o(c)?
True
Suppose -2*d + 10 = -d. Is d a multiple of 5?
True
Suppose -3 = 5*m - 13. Suppose a + 99 = m*a. Let q = a + -65. Is q a multiple of 17?
True
Suppose -40 = -9*x + 4*x. Suppose 2 - x = -3*p. Suppose -22 = d - p*d. Is d a multiple of 11?
True
Let u(v) = 4*v**2 - 10*v - 2. Let h be u(7). Suppose -4*f = 3*j - h, 3*f + 8 = 4*f - 5*j. Is 23 a factor of f?
False
Suppose -u + 9 = -10. Suppose u + 17 = 2*p. Is p a multiple of 8?
False
Let p(q) be the third derivative of q**6/40 + q**5/30 - q**4/12 + q**3/6 - 3*q**2. Let f be p(1). Is 3 a factor of (f + -1)/((-6)/(-20))?
False
Suppose 0 = 2*p + 2*p - 1120. Let z = p + -176. Does 6 divide (-5)/15 + z/6?
False
Suppose 2*c - 6*c - 2*b = -14, c - 20 = 5*b. Suppose c*d - 8 = d. Is 2 a factor of d?
True
Suppose -u - 78 = -3*u. Does 23 divide u?
False
Let t(g) = g + 84. Let i be t(0). Let b = i + -59. Does 13 divide b?
False
Let o(n) = n**2 - 2*n + 3. Let f(a) = -2*a - 10. Let c be f(-9). Suppose -3*m - m = -c. Is 2 a factor of o(m)?
False
Let x = 37 + 147. Does 46 divide x?
True
Suppose 54 - 21 = 3*r. Let d = r + 8. Suppose 0 = -2*m + 13 + d. Is m a multiple of 16?
True
Suppose 3 = 3*v + 3*t - 0, 5*t + 5 = -3*v. Let d = -8 - -10. Suppose -3 = f - v*a + 1, 0 = d*f - 3*a - 6. Is f a multiple of 3?
True
Let c(w) = 111*w**3 - w**2 + 1. Let y be c(1). Suppose -4*l + 25 = -y. Does 17 divide l?
True
Let c be 3/3*(-2 + 6). Let l be 0 + 7 + c/(-2). Suppose 28 = 4*q - l*f, -2*f + 6*f + 20 = 3*q. Does 12 divide q?
True
Let b(v) = -2*v**3 - v**2 - 1. Let u(y) = -1. Let w(s) = b(s) + u(s). Is w(-3) a multiple of 16?
False
Let u = 14 + -12. Suppose -2*f = -3*k - 95, 141 = f + u*f - 5*k. Is f a multiple of 20?
False
Let f(v) = v**3 + 8*v**2 - 12*v - 13. Suppose -5*l - 10 - 35 = 0. Is 10 a factor of f(l)?
False
Suppose -2*l - 5*f = -55, 45 = 4*l - 2*f - f. Does 15 divide l?
True
Let t(q) = q**3 - 8*q**2 - 10*q + 21. Is t(9) a multiple of 12?
True
Let c = -43 + 67. Is c a multiple of 12?
True
Suppose 5*d - 8 = -4*p, 2*p - 4 + 0 = -4*d. Suppose -p*l + 11 = -l. Suppose 0*r - r = -b - l, 4*r + 2*b = 44. Does 7 divide r?
False
Let u(l) be the third derivative of 0 + 4*l**2 + 0*l + 1/6*l**3 - 1/6*l**4. Is u(-10) a multiple of 16?
False
Let g be (-588)/(-10) - 2/(-10). Let x(s) = -s**2 - 3. Let y be x(5). Let l = y + g. Is 11 a factor of l?
False
Let h(d) = d**3 + 6*d**2 - 2*d - 4. Suppose 5*p - 25 - 12 = 2*g, 0 = -4*g - 2*p - 14. Is 5 a factor of h(g)?
False
Let c = -5 - -2. Let k = -3 - c. Suppose k = 4*i - 97 - 79. Is 15 a factor of i?
False
Suppose 4*k + 4 = 5*k. Let n = 6 - k. Suppose 5*x + 11 = -u + 3, -n*u - x = -11. Does 7 divide u?
True
Suppose -2*w + 444 = 2*w. Is 12 a factor of w?
False
Suppose 2*i + 0 - 4 = 0. Is (8/20)/(i/140) a multiple of 28?
True
Let f be 16/(-12)*279/(-6). Let r = f + -38. Let k = r + -14. Does 10 divide k?
True
Let r be 1*(9 + -1) + -1. Let f = r - 8. Let d(v) = -17*v + 1. Does 6 divide d(f)?
True
Let z(l) = 66*l**2 - 3*l - 1. Does 4 divide z(-1)?
True
Let k(j) = -2*j**3 + j**2 - 3*j - 1. Let h be k(-2). Let d = h + -18. Let y(x) = -x**2 + 11*x - 4. Is 12 a factor of y(d)?
True
Let q(g) = -20*g**3 - g**2 - 2*g - 1. Let r be q(-1). Suppose b = 5 + r. Is b a multiple of 25?
True
Let n be ((-18)/8)/((-1)/(-4)). Suppose 4*k + 3*u = -u, 0 = 4*k + 3*u - 1. Does 2 divide 15*-3*k/n?
False
Let w = -76 + 116. Is w a multiple of 20?
True
Let a = -8 + 8. Suppose 3*n + 21 = 2*k, a*k = -3*k - 3*n - 6. Suppose 0 = -2*p - k*p + 45. Is p a multiple of 9?
True
Let d be -23 + 0 + 0/1. Let o = -12 - d. Does 6 divide o?
False
Let a(v) = -v**2 - 5*v + 5. Let t be a(-5). Suppose 27 = t*l - 2*l. Is l a multiple of 5?
False
Suppose -3*c = -8*c - 75. Is 3*c/(-18)*6 a multiple of 9?
False
Suppose -24 = -2*r - r. Suppose -j = j - r. Suppose -3*s - 3*w = -33, -53 = -5*s - j*w + 4. Is s a multiple of 9?
False
Let d = -61 - -274. Suppose 4*q + 81 - d = 0. Does 3 divide -1 - 1*q/(-3)?
False
Let k be ((-8)/(-6))/((-1)/(-3)). Suppose -5*a + 5*b = -20 - 40, -k*a - 5*b + 66 = 0. Is 22 a factor of -22*(-7)/(a/4)?
True
Suppose -3*b = 2*r - 7*r + 208, -2*r = -b - 69. Let a = 4 - b. Is 19 a factor of a?
False
Let q = 59 - -31. Let i = -44 + q. Suppose -z = z - i. Is 14 a factor of z?
False
Let j = -3 - 0. Let u(b) = 2*b + 2*b + b**3 - b**3 - b**3 + 2 + b**2. Is 13 a factor of u(j)?
True
Let t(l) be the third derivative of -l**5/60 + l**4/4 - l**3/3 - l**2. Let x be t(6). Is 2 a factor of (-3)/x*(-20)/(-6)?
False
Let v(m) = 67*m**2 - 2*m. Is 13 a factor of v(1)?
True
Is 9 a factor of (-27)/(9/30*8/(-12))?
True
Suppose 4*z - 8*z + 288 = 0. Suppose 0 = -2*t + 6*t - z. Does 9 divide t?
True
Let p = -3 + 1. Let f = 9 - 6. Is f/(9/48) - p a multiple of 18?
True
Is 6688/56 - 4/(-7) a multiple of 10?
True
Let p be 9/(-5 + 2) - -1. Let z be 18 - (-1)/(p/(-6)). Let c = -15 + z. Is 3 a factor of c?
True
Suppose -8*k + 54 = -7*k. Is k a multiple of 27?
True
Let z be 0 + -1 - 1 - -4. Suppose 5*v = -2*i + 45 + 91, 8 = z*v. Does 12 divid