Let c(n) = 12*n - 12*n - 4 + 16*n**2 + 5. Is 13 a factor of c(i)?
True
Let r = -17 + 29. Suppose 0 = -4*j + r, -j + 4*j + 951 = 5*y. Suppose -q - 4*q + 237 = -2*i, -i - y = -4*q. Does 20 divide q?
False
Let u(z) = 3*z**3 + z**2 - z - 1. Let y be u(1). Suppose 10*h - 5*h - 185 = y*f, 0 = h - 2*f - 29. Is 32 a factor of h?
False
Suppose 3*u - 3*i = 1299, i - 686 = -2*u + 177. Is 36 a factor of u?
True
Let w(t) = 31*t**3 + 3*t**2 - 2. Let m be w(-1). Does 7 divide (2 + 103)*(-10)/m?
True
Suppose 13*f - 15*f = 158. Let z = 112 + f. Is 10 a factor of z?
False
Let w be (-28)/(-9) + -5*6/270. Suppose 4*o + 16 = 0, 4*z - 39 = w*o + 981. Is z a multiple of 18?
True
Suppose 15 = -12*a + 7*a, -1653 = -4*s - a. Is s a multiple of 16?
False
Let g = -29 + 33. Suppose g*r - 152 = -3*x + 100, -2*r - 5*x = -140. Does 12 divide r?
True
Let i = -34 - -352. Does 47 divide i?
False
Suppose -11 + 2 = -3*x. Suppose 0*m = 3*m - x*v - 36, -2*m = 3*v - 44. Is m a multiple of 4?
True
Suppose 5*d - 1725 = 5*y, -2*d + 1725 = 3*d - 2*y. Is d a multiple of 23?
True
Is 26 a factor of (-2)/18*6*-858?
True
Suppose -441*j = -438*j - 999. Is 31 a factor of j?
False
Let b be (-6)/(-24) + 2097/12. Let s = b - 63. Does 29 divide s?
False
Suppose 4*m - 2*h - 260 = 0, 47 = 5*m - 5*h - 278. Does 12 divide m?
False
Let l(c) = 19*c - 16. Let i(w) be the second derivative of w**2/2 + 11*w. Let n(g) = 6*i(g) + l(g). Does 15 divide n(3)?
False
Suppose 3*g - 4 = -c, 2*c = -0*g - 5*g + 8. Suppose -15*j + 11*j + 900 = g. Is 24 a factor of j?
False
Let b(u) = 2*u + 18. Let s be b(-6). Suppose 0 = 2*m - 5*m + s. Suppose 0*w - 12 = 3*w, -m*w = a - 67. Is a a multiple of 21?
False
Let j = 899 - -492. Is j a multiple of 13?
True
Let y = 23 + 625. Is 72 a factor of y?
True
Let r(g) be the first derivative of -g**5/60 - 7*g**4/12 + 4*g**3 - 9. Let i(x) be the third derivative of r(x). Is i(-19) a multiple of 4?
True
Is -2 + 2076/16 + (-4)/(-16) a multiple of 8?
True
Suppose 2 = m + o, 2*m - 4*o - 10 = -0*o. Suppose -5*i - 800 = -4*z, 3*z + m*i - 694 + 121 = 0. Is 20 a factor of z?
False
Suppose -5*i = -x + 12 - 71, -4 = x. Let k = i + -3. Suppose 3*a = 76 + k. Is a a multiple of 28?
True
Let y = -540 + 322. Let j be 952/(-9) - (-10)/(-45). Let u = j - y. Is u a multiple of 28?
True
Let p(o) be the first derivative of -o**2 + o - 5. Let j be p(-3). Suppose 2*t - 31 = -j. Is t a multiple of 4?
True
Suppose 11*f = 14*f - 90. Suppose 0 = -3*y + y + 2*w + f, -3*y + 40 = -2*w. Suppose 11 = 2*l - 3*z, -2*l - 2*z - 4 = -y. Does 2 divide l?
True
Let o(r) = r**2 - 5*r + 16. Let b be (-4)/1*(-28)/8. Does 22 divide o(b)?
False
Let z(i) = -18*i**3 - 3*i**2 - 13*i + 1. Does 5 divide z(-3)?
False
Suppose 4*y - 2 = -5*v + 487, -y = -v - 129. Does 9 divide y?
True
Let r(k) = k**3 + 6*k**2 - k - 7. Let a be r(-6). Suppose -95 = 3*t - 23. Is 13 a factor of (40 + a)*(-16)/t?
True
Let s = -24 + 26. Suppose 3*u = -t + 135, 3*t - u - 441 = s*u. Is 16 a factor of t?
True
Let i(n) be the first derivative of -n**4/4 + n**2/2 + 92*n + 7. Is 12 a factor of i(0)?
False
Suppose -531*w = -532*w - 626. Suppose 0 = -3*h - 0*h + 39. Is (-14)/91 - w/h a multiple of 16?
True
Suppose -2944 = 7*j - 8642. Does 13 divide j?
False
Let a = -76 - -17. Suppose -4*n - 64 = -208. Let w = n - a. Is 25 a factor of w?
False
Let g(l) = -6*l - 5*l + 12 + 3*l - 6. Is g(-9) a multiple of 24?
False
Suppose -6*a = 2*a - 952. Does 41 divide a?
False
Let t = -647 - -1310. Is 39 a factor of t?
True
Let w(i) be the first derivative of 2 + 3*i**2 + 5*i**3 - 2*i**2 - 3 + 0*i**3 + i. Does 7 divide w(-1)?
True
Let v(f) = 2*f**3 - 6*f**2 - 2*f + 17. Does 13 divide v(6)?
True
Let x(f) = -f - 1. Let b(m) = 8*m + 6. Let i(l) = -b(l) - 5*x(l). Let w be i(-5). Suppose -n = -0*n - w. Is 9 a factor of n?
False
Let y = -1323 + 5955. Is 22 a factor of y?
False
Let m be (-3)/(-9) + (-53)/(-3). Suppose 0 = m*b - 7*b - 55. Is 3 a factor of b?
False
Let f be (1 - 5/5)/1. Suppose f = -a - 2*j + 34, -a + 0*a - 3*j = -33. Does 6 divide a?
True
Suppose -2*s + 2*d + 111 = 3*s, -d = -5*s + 113. Suppose -s = -22*u + 21*u. Does 5 divide u?
False
Let x(v) = 98*v**3 - v**2 - 1. Suppose -79*j + 2 = -77*j. Does 32 divide x(j)?
True
Suppose -5*k + 3*k = -3*o - 705, 0 = -3*k + 3*o + 1059. Does 12 divide k?
False
Let q(s) = -s**2 - 2*s. Let w be ((-6)/9)/((-2)/(-6)). Let z be q(w). Suppose -2*t - 3*t + 120 = z. Is t a multiple of 9?
False
Suppose -i - 3*h - 4 = 0, -2*h - 4 = -2*i + 4. Suppose -29 - 41 = -i*z. Does 7 divide z?
True
Suppose 0 = 17*x + 22*x - 2301. Is 5 a factor of x?
False
Suppose 22*q = 26*q + 5*v - 861, -4*v + 229 = q. Does 21 divide q?
False
Let s = -5 - -5. Suppose -a + 5*a - 376 = s. Suppose 3*u - a - 55 = -2*i, 3*u = -3*i + 153. Is 32 a factor of u?
False
Suppose 0*s = -4*s - 16, 4 = 2*d - 2*s. Let v be d - (-18 - 9/3). Let a = v + -10. Does 9 divide a?
True
Let o(w) = 7*w + 19. Suppose 5*y - y = 32. Is 25 a factor of o(y)?
True
Let n(t) = 2*t**2 + 2*t - 1. Suppose -2*r - 8 = 3*q, -12 = 5*q - 3*r - 5. Let c be n(q). Suppose -5*f + c*f + 28 = 0. Does 12 divide f?
False
Suppose -23*b + 26*b - 1920 = 0. Is b a multiple of 40?
True
Let a be 99/2*(-16)/(-12). Let o be 1902/a + 4/22. Let i = 58 - o. Is i a multiple of 29?
True
Let l(h) = -14*h**3 + 2*h**2 - h - 4. Let b be l(-2). Suppose -5*x + b = -242. Suppose 2*w - x = -0*w. Is w a multiple of 9?
True
Suppose 0 = -8*s + 22390 + 5130. Is s a multiple of 40?
True
Let r = -5 - -2. Let m be (22/(-4))/(r/6). Let x(v) = -v**2 + 16*v + 2. Does 15 divide x(m)?
False
Suppose 0 = 60*a - 64*a + 8568. Is a a multiple of 6?
True
Let c = 54 - -7. Let v = c + -57. Does 2 divide v?
True
Let d(r) = 2*r**2 + 18*r + 2. Let b(j) = -13*j + 1. Suppose 2*u + 5 - 7 = 0. Let m be b(u). Is 18 a factor of d(m)?
False
Let z = -24 + 50. Suppose -4*d + 2*d = -z. Is 3 a factor of d?
False
Suppose -9 = 5*z - 14. Is z/((4/(-168))/(-1)) a multiple of 7?
True
Let s(a) = a**3 - 3*a**2 - a + 3. Let w be s(3). Suppose w*b = -5*b + 405. Let c = b - 45. Does 18 divide c?
True
Let b(h) = 5*h**2 + 18*h + 4. Let t(s) = -14*s**2 - 55*s - 11. Let o(l) = -17*b(l) - 6*t(l). Is 14 a factor of o(8)?
True
Suppose 29*b = 31*b - 18*b. Let f = 172 + 75. Suppose -d + 487 = 4*a, b = 2*a - 4*d + d - f. Is 31 a factor of a?
False
Suppose 0 = -w + 13 - 1. Let r(u) be the first derivative of u**4/4 - 4*u**3 + 3*u**2 - 8*u - 2. Is 21 a factor of r(w)?
False
Suppose 4*w - 1262 = -182. Let r = w + -155. Is r a multiple of 33?
False
Let m = -3224 + 5136. Is m a multiple of 12?
False
Let q = 301 + -292. Does 5 divide q?
False
Let i = 1 - 1. Suppose 0 = -i*b + b. Suppose b = -o - 0*o + 18. Is o a multiple of 18?
True
Suppose 0 = 6*v - 366 - 72. Let p(h) = -h**2 + 9*h - 6. Let a be p(8). Suppose -3*g + 107 = a*g + 4*y, -3*g = -2*y - v. Is g a multiple of 17?
False
Is (248 - 0/(-4)) + 2 a multiple of 6?
False
Suppose -5*c - 2*w - 655 = 0, -4*c - 2*w = -c + 389. Let r = 231 + c. Does 14 divide r?
True
Let u(t) = t**3 + 3*t**2 - 20*t - 8. Let d be u(-6). Suppose 0 = -9*c + d*c + 170. Does 4 divide c?
False
Is (-33)/((-198)/(-120))*2*-4 a multiple of 40?
True
Suppose -9 = -27*t + 30*t. Is 14 a factor of (-285)/(-10) - t/6?
False
Suppose 17*p = 22*p + 125. Let l = -21 - p. Is 2 a factor of l?
True
Let s = -1035 + 1607. Is s a multiple of 44?
True
Let y(o) = -106*o + 124. Is 8 a factor of y(-10)?
True
Let l be (-5)/(3/24*-2). Let q = -29 + l. Let s(d) = -d**3 - 8*d**2 + 7*d - 4. Is s(q) a multiple of 5?
False
Let p(t) = t**3 - 8*t**2 + 2*t - 8. Let w be p(8). Let m be (-4)/w*2*21. Let z = 38 + m. Is z a multiple of 12?
False
Let r = -82 + 159. Let v = r - 54. Is v a multiple of 3?
False
Let l = 7 + -2. Suppose 0 = 2*z - 1 - l. Suppose z + 3 = n. Is 3 a factor of n?
True
Suppose -j - 28 = 3*j. Let o = j + 14. Suppose 10 = -2*z - 5*f, -5*f = z + 8 + o. Is z a multiple of 5?
True
Let n(g) = -g - 9. Let h be n(13). Let j = h - -40. Does 18 divide j?
True
Suppose 98*f - 129*f = -7161. Is f a multiple of 8?
False
Let s(y) = -4*y + 65. Is s(-10) a multiple of 24?
False
Let d be ((-16)/(-24))/(2/291). Suppose -74 - d = -3*i. Let o = -41 + i. Is 4 a factor of o?
True
Let d(q) = q**2 - 10*q - 10. Let g(k) = -2*k + 13. Let s be g(8). Is d(s) a multiple of 5?
False
Let n(y) = y**3 + 4*y - 93. Does 1