t a be 2/(4*(-2)/(-44)). Let u(n) = n**3 + 10*n**2 - 24*n - 12. Let z be u(6). Suppose -z = -a*g + 4*g. Does 12 divide g?
True
Let j(x) = -255*x. Let o be j(-5). Let k = 2896 + -2405. Suppose 14*b = -k + o. Does 14 divide b?
True
Let x(a) = 3*a + 56. Let w be 198/(-45) + 5 - 404/(-10). Does 6 divide x(w)?
False
Let f(q) = -2*q**3 + 118*q**2 + 168*q + 71. Does 67 divide f(59)?
True
Suppose 5*d + 1018 = 1033. Suppose 20 - 15 = o, -1385 = -4*i + d*o. Is 14 a factor of i?
True
Suppose 4*r = -0 - 4, r = -4*n - 329. Let d = -78 - n. Does 6 divide (d/(-8))/((-1)/66)?
False
Suppose 2*x - 1970 = -3*l, 985 = x - 0*x - 2*l. Let w = 1396 - x. Is 22 a factor of w?
False
Let k = 756 - 748. Is 5 a factor of ((-90)/k)/((-7)/(-56)*-3)?
True
Is 25 a factor of ((-10)/(-70)*-6 - 1/7) + 4526?
True
Let c be -3*(-33)/(-9) + 1 + 1. Let s be (-176)/(-24) + (-6)/c. Suppose -612 = -s*u - 4*u. Is 17 a factor of u?
True
Suppose 2*m + 10 = 2*v, -2*v = -m + 6 - 14. Suppose g - 5*g + 30 = b, -g = v*b - 90. Suppose u = a + 46, -u = 6*a - 3*a - b. Is u a multiple of 7?
True
Suppose 14852 = 2*p + 5*g, 0 = -4*p - 13*g + 10*g + 29690. Does 11 divide p?
False
Let p = -36 + 40. Suppose 0 = -2*h - p*w + 48, 118 = 4*h - 3*w - 0*w. Is 11 a factor of 3*-1 + h/(6 - 4)?
True
Let p = -178 + 186. Is (-40)/p + 354 + (-4)/1 a multiple of 23?
True
Suppose 2*z - 14 = -2*j, 4*j + 2*z = -j + 29. Let n = -2 + j. Suppose n*o - 61 = -10. Does 17 divide o?
True
Let t = -198 - -206. Suppose 2*y + v - 137 = 0, y - 3*v - 73 = -t*v. Is y a multiple of 14?
False
Let x(y) = -65*y - 105. Let j(o) = -16*o - 26. Let a(k) = 25*j(k) - 6*x(k). Let d be 24/(9 - (-12 - -24)). Does 18 divide a(d)?
False
Let p(a) = a**3 - 14*a**2 + 2*a - 15. Let y be p(14). Suppose 0 = -b + 4*s + 46, -151 + y = -3*b - 5*s. Is 9 a factor of b?
False
Is 41 a factor of (-23)/(184/(-48192)) + (12 - 9)?
True
Let y(g) = 2 - 29 - 41 - 24*g + 4. Does 8 divide y(-9)?
True
Is 7 a factor of 20/2*588/10*(-410)/(-40)?
True
Suppose -5*y = -5*o - 385, 4*o + 9*y + 317 = 4*y. Let j = -70 - o. Suppose -10*p + j*p = -50. Is 19 a factor of p?
False
Let q = -233 + -20. Let h = q - -373. Is h a multiple of 23?
False
Let w = 255 - 140. Suppose 3*h - 2*h - w = 0. Suppose -z - 4*z = -h. Is 5 a factor of z?
False
Let g(v) = 65*v**2 - 37*v - 93. Let x(o) = -66*o**2 + 36*o + 92. Let k(h) = -2*g(h) - 3*x(h). Is k(-3) a multiple of 29?
False
Let l = -38 + 78. Suppose -15*n - 271 = 14. Let o = n + l. Does 21 divide o?
True
Let f(q) = 6*q + 33. Let m be f(-5). Is 5 a factor of -4 + (5 - -73 - m)?
False
Let s be (72/60)/((-2)/10). Let b be 3 + -2*(-1 - s/4). Suppose -l - 132 = -b*l. Is 17 a factor of l?
False
Suppose -q + 23 = -6. Is 16 a factor of (11 - q)*44/(-6)?
False
Let k = 715 - 668. Suppose 42*p = 5*n + k*p - 5150, -n + 1045 = -2*p. Is n a multiple of 45?
True
Suppose -3*r + 507 = g, -3*g - 789 = -5*r + 42. Is 14 a factor of r?
True
Let n = -15625 - -36593. Is 42 a factor of n?
False
Let g(c) = 121*c**2 + 43*c - 104. Is 39 a factor of g(7)?
False
Let n(w) = -18*w + 44. Let y be n(2). Suppose -y*p - 92 + 2084 = 0. Is 6 a factor of p?
False
Let n(s) = 97*s**2 - 30*s + 198. Does 124 divide n(7)?
False
Let i(p) = p**3 - 11*p**2 - 43*p + 18. Let q be i(14). Suppose 0*g = -q*g - 3*d + 1662, -g = -d - 412. Suppose -9*h + g + 675 = 0. Is 11 a factor of h?
True
Let a(u) = -u**3 + 9*u**2 - 9*u + 3. Let f be a(8). Let w(r) = -r**3 - 4*r**2 + 5*r + 5. Let t be w(f). Suppose q = -t, -3*v + 79 = -v + q. Is 14 a factor of v?
True
Let p(q) = -1040*q - 2013. Does 90 divide p(-21)?
False
Let t = -501 + 603. Let i = 94 + t. Is i a multiple of 4?
True
Suppose 4*q - 28 = 180*n - 182*n, -n - 10 = -4*q. Suppose -2*f - 3*f = 0. Does 45 divide (f/1 + 2)/(n/609)?
False
Is 33 a factor of ((-18)/4)/(5/(-6345)) + 6/(-4)?
True
Let g = -41522 - -68116. Does 11 divide g?
False
Let j(g) = -6*g + 2 - 48*g - 37*g + 4 - 5. Does 20 divide j(-10)?
False
Suppose -2*m - 5*n + 13283 = 0, -5*m + 4*n = -21805 - 11320. Is m a multiple of 25?
False
Let d(m) = m**3 - m + 36. Does 156 divide d(5)?
True
Let j be (-6)/(-4)*(0 - 2). Let a(t) be the first derivative of -t**3/3 - 7*t**2/2 - 4*t - 402. Does 5 divide a(j)?
False
Let x(a) be the third derivative of 11*a**6/120 + a**5/60 - a**4/6 - 4*a**3/3 - 11*a**2 + 5. Is x(3) a multiple of 4?
False
Let a = -993 - -2185. Does 8 divide a?
True
Suppose g + 4*i = 2190, -3467 = -2*g - i + 948. Is 26 a factor of g?
True
Suppose y - 3*y - 18 = -4*m, -6 = -3*m + 4*y. Is (-16 + 4)*(512/m)/(-4) a multiple of 16?
True
Let u be (4/18)/((-4)/(-17406)). Let n = u - 372. Does 7 divide n?
True
Suppose 142 - 206 = -16*v. Let c = -148 - -270. Suppose 9*l = c + v. Is l a multiple of 5?
False
Let r(v) = -2*v**3 + 18*v**2 - 10*v + 15. Let g be r(8). Does 13 divide (164/(-42) + g/(-147))*-270?
True
Suppose 2220 = 4*o - 51*w + 50*w, -2*o + 1110 = 5*w. Let f = -14 - -25. Suppose 4 = -t, -8*b - o = -f*b - 3*t. Does 21 divide b?
True
Does 31 divide (-508100)/(-110) - 5/(-5 + 60)?
True
Suppose 2 + 7 = 3*k, -5*k = -3*d - 6. Let c(t) = 502*t + 1990. Let z be c(-5). Does 13 divide (12/10)/(1554/z + d)?
True
Let p(g) = -g**3 - 23*g**2 - 61*g - 43. Let z be p(-19). Is 17 a factor of z/20*(-595)/14?
True
Let c(a) = 3*a**3 + 6*a**2 + 13*a - 12. Let k(v) = 2*v**3 + 23*v**2 + 10*v - 5. Let p be k(-11). Does 30 divide c(p)?
True
Let d be 38 + -43 + 2 + 1759. Let a = -420 + d. Is 41 a factor of a?
False
Let y(o) = 30*o - 3. Suppose 0*u = 8*u - 496. Let q = u + -61. Does 27 divide y(q)?
True
Suppose -5*u + 9*u + 5*w = -5, -2*w = 3*u - 5. Suppose 1316 + 1169 = u*d. Does 71 divide d?
True
Let b be 2/(-15) - ((-1114)/30 + -3). Suppose -b*s = -45*s + 2585. Is 47 a factor of s?
True
Suppose 32*n - 2 = 31*n. Suppose -3*x + x = n. Does 9 divide x*2 - (-52 + -15)?
False
Let c be 2/(-24)*-93*-12. Let m = c + 103. Suppose -4*q - 12 = -3*t, -2 = -11*t + m*t + 2*q. Is t even?
True
Suppose 3*k + 3*p - 40 = -k, -2*k + 20 = -5*p. Is 24 a factor of 15/k - 49/(-2)?
False
Let q(w) be the second derivative of -13*w**3/2 + 213*w**2/2 - 7*w + 2. Is 43 a factor of q(-21)?
True
Does 30 divide (-81)/(-15)*65750/25?
False
Let m = 3917 - -3749. Does 10 divide m?
False
Let q be -7 + (-3)/1 + 14. Suppose -31 = -5*d + 4*k + 1352, q*k - 1128 = -4*d. Does 31 divide d?
True
Suppose 0 = 2*r + 4*c - 196, 3*r + 0*c - 349 = 5*c. Suppose 3*i - 3*w + 15 = 1494, -2 = -w. Does 18 divide ((i/10)/9)/(3/r)?
True
Let z(f) = 5*f - 3. Let l(r) = -11*r + 6. Let t(i) = -4*l(i) - 9*z(i). Let d be t(0). Is 11 a factor of 175/d - (-4)/(-12)?
False
Let s be ((-196)/21)/(1/(-918)). Suppose -26*h = -s - 116. Is h a multiple of 22?
False
Suppose -3*v + j = -v, -5*v = j. Let z = -67 - 8. Is 30/z + (v - 102/(-5)) a multiple of 5?
True
Suppose 0 = 25*u + 195 + 80. Let q(m) = m**3 + 15*m**2 + 6*m + 19. Is 19 a factor of q(u)?
True
Suppose -13*d - 129974 = -3*g, -d + 173262 = -13*g + 17*g. Is 68 a factor of g?
True
Let r = 37 - 35. Suppose d = -r*d + 12. Let g(c) = 6*c + 13. Is 11 a factor of g(d)?
False
Suppose 0 = -250*u + 850978 + 802311 + 8246711. Is u a multiple of 72?
True
Let v be ((-2)/5)/(236/40 - 6). Suppose -v*a + 4668 = 4*b, 0 = -5*a + 10*a + 15. Is b a multiple of 31?
False
Let f be 3*1 + (3 - (1 + 1)). Let s(n) = 44*n - 6*n - 24*n - f. Is 10 a factor of s(16)?
True
Let s be 7/(84/8)*12. Suppose s = 3*i - i. Suppose 2*v + 2*a - 3*a = 49, 0 = 4*a + i. Is v a multiple of 3?
True
Let n = -911 - -1937. Let f = -74 + n. Is f a multiple of 14?
True
Suppose -801*z + 10740530 = -101*z - 5281070. Is z a multiple of 14?
False
Suppose -4*i + 14 + 1 = -1. Let t = -1 + 6. Suppose -t*h - i*g = -112, -5*h + 30 = -4*h - 3*g. Does 4 divide h?
True
Does 9 divide 3/4*(-220500)/(-189)?
False
Let m(f) be the first derivative of 21*f**2/2 - 97*f + 13. Is 4 a factor of m(5)?
True
Let b(a) be the second derivative of a**5/20 - a**4/3 + 13*a**2/2 + 22*a. Let u(y) = y**2 + 14*y + 19. Let q be u(-13). Is 17 a factor of b(q)?
True
Let g = 548 - -343. Suppose 21*n = 10*n + g. Is 29 a factor of n?
False
Suppose 9036 = 4*b - 3*z - 4066, -3*b - 2*z = -9852. Is 328 a factor of b?
True
Suppose 5*j - 3*g - 29 = 4, -j + 7 = -g. Let a be j/4 + 2603/(-38). Let c = -3 - a. Is 16 a factor of c?
True
Is (-36)/(9 + 16935/(-1880)) a multiple of 91?
False
Suppose -8118 = -13*x + 