divide z?
False
Suppose -4*p = -2*c - 8*p + 108, -2*c + 2*p = -96. Is 3 a factor of c?
False
Let p(w) = w**2 + 5*w - 26. Let d be p(-10). Suppose d*a = 23*a + 2. Is 2 a factor of a?
True
Let h be -4 - 9/((-9)/4). Let q be 108 + (4 - h) + -2. Suppose c - 98 = 2*p, -3*p + 2*p + q = c. Does 46 divide c?
False
Suppose -30*j + 19165 = 8*j - 88489. Does 11 divide j?
False
Let w = -2500 - -10813. Is 10 a factor of w?
False
Suppose -r + 1147 = 4*d + 51, -3390 = -3*r + 5*d. Does 7 divide r?
True
Suppose -8378 = 10*f + 7672. Is (f/6)/(2/(-4)) a multiple of 13?
False
Suppose 0 = 5*f - 1 - 24, -u + 5*f + 413 = 0. Let y = -222 + u. Is 12 a factor of y?
True
Suppose -2*q + 3*l = -2, 5*l + 10 = 3*q + 2*q. Let w be (2162/3 - 6) + 24/(-36). Suppose -w = -q*j - 2*j. Does 16 divide j?
False
Let c(r) = -r**2 + 5*r + 5. Let u(q) = 2*q - 20. Let s be u(10). Let m be c(s). Does 6 divide (2 - (m - 2))/((-1)/31)?
False
Let l be (-200)/16*(2 - (-36)/(-10)). Suppose -5 + l = 3*m. Suppose 7*a + y = m*a + 453, -2*y = -a + 214. Is 32 a factor of a?
True
Suppose -6103 + 420 = -4*s + 3*g, -4*s - 4*g = -5676. Let x = s + -451. Is x a multiple of 65?
False
Let q be 1 - (12/8)/((-3)/4). Suppose q*c - 119 = -4*k, 3*k - 40 = -2*c + 38. Is c a multiple of 5?
True
Let o = 16605 + -12367. Does 39 divide o?
False
Suppose -20 = -11*k + 7*k. Suppose 79 = -k*d + 269. Suppose 4*l = y - 68, -2*l + d = y - 6. Is 4 a factor of y?
True
Does 12 divide 6/(-2) + 26968/42 + (-158)/1659?
False
Let v = 16622 - 9880. Is v a multiple of 55?
False
Let m(n) = 5*n**2 + 2*n - 12. Let o be m(6). Suppose -13 = -2*l - j + 2*j, -2*j + 14 = l. Suppose l*h - o = 3*h. Is h a multiple of 18?
True
Let n = -65 + 91. Suppose -3*z + 32 = n. Suppose 0 = 3*h + 3*l + 2*l - 335, 0 = -z*h - 3*l + 225. Is 30 a factor of h?
True
Let i(x) = 4*x - 16. Let p be i(6). Let s(l) = -5*l**2 + 14*l + 30. Let h(f) = f**2 - f - 1. Let z(q) = 4*h(q) + s(q). Is z(p) a multiple of 39?
False
Let t(i) = 2*i**2 - 26*i - 11. Is 64 a factor of t(-12)?
False
Let s = 23440 - 22920. Is 13 a factor of s?
True
Let i(l) = 5*l**2 + 854*l - 4. Is i(-172) a multiple of 3?
False
Does 14 divide ((-4984)/3)/(478/(-5019))?
True
Suppose -56 + 110 = d. Suppose 0 = -9*i + d*i - 540. Is i even?
True
Let q = -84250 - -142978. Does 24 divide q?
True
Let y = -10 - -10. Suppose y - 10 = z. Is 12 a factor of 3 + (-5)/z + 82/4?
True
Let g(o) = o**3 + 8*o**2 + 7*o + 3. Let t be g(-7). Suppose 14 = t*b - 1. Suppose 0 = 5*h + b*k - 519 - 61, 20 = 5*k. Is 24 a factor of h?
False
Let d(r) = 2*r**3 + 5 - 8*r**3 + 6*r**3 + r**3 + 9*r**2 + 14*r. Let i be d(-7). Suppose 12 = -3*j + i*v + 52, 0 = -2*j - 5*v + 60. Is 10 a factor of j?
True
Let w = 3895 - 1634. Suppose x - 1141 = -z - 2*x, -x - w = -2*z. Does 33 divide z?
False
Let z = 44118 + -16758. Is 90 a factor of z?
True
Let x = 41695 + -27218. Is x a multiple of 14?
False
Let u(t) = -9*t**2 - t + 45. Let c(m) = 16*m**2 + 2*m - 91. Let o(a) = -4*c(a) - 7*u(a). Is o(0) a multiple of 15?
False
Does 195 divide 0 - (-2)/23 - (0 - (-9324273)/(-483))?
True
Let c = -47 - -100. Suppose c*i + 5096 = 67*i. Does 14 divide i?
True
Let s be ((-3)/((-3)/25))/((-5)/5). Let w be (-7)/28 + s/(-4). Suppose -k + w*k = 60. Is k a multiple of 4?
True
Let x(z) = z**3 + 12*z**2 + 9*z + 32. Let a be x(-11). Suppose -2*p = 4*l - a, l - 5*p + 7*p - 6 = 0. Is 2 a factor of l?
True
Let c(n) = 77*n**3 + 5*n**2 + n - 21. Let h be c(4). Suppose 0 = 37*f - 6*f - h. Is f a multiple of 7?
True
Is 36 a factor of (-344382)/(-24)*1*5*192/240?
False
Does 71 divide (-40)/(-23 - -43) + (-35790)/(-3)?
True
Let v = -3947 - -5825. Is v a multiple of 7?
False
Let c(q) = 321*q - 2. Let n(w) = -w**3 - 13*w**2 - 23*w - 9. Let g be n(-11). Does 40 divide c(g)?
True
Let h(j) = j**3 - 68*j**2 + 95*j + 1098. Is h(70) a multiple of 92?
False
Let k = 370 + -372. Let c(v) = -33*v + 16. Is 8 a factor of c(k)?
False
Let l(a) be the third derivative of 3*a**5/10 + 5*a**4/24 - 10*a**3/3 - 76*a**2. Is 8 a factor of l(5)?
False
Let r(g) = -g**3 + 17*g**2 + 20*g + 7. Let v be r(18). Let h = v + -118. Does 24 divide (64/(-40))/(1/h)?
True
Let j be 2*(-2)/22 - (-724800)/2112. Suppose 393 = -4*s + 5*s - 5*q, s + 5*q - j = 0. Is 8 a factor of s?
True
Is 50 a factor of (6/(-4))/((-104)/344656)?
False
Let i(t) = 16*t**2 - 3*t - 2. Suppose 0 = -0*o - 3*o + 24. Suppose 0 = 2*b - o*b - 12. Is 17 a factor of i(b)?
True
Let h(a) = -a**3 + 7*a**2 + 3*a + 7. Let n be 4/22 + -4*258/(-132). Let j be 23/4 + 2/n. Is h(j) a multiple of 8?
False
Let m(d) = d**3 + 17*d**2 - 18*d + 3. Let w be m(-18). Suppose -w*h + 3*b + b = 28, 2*h + b = -4. Is 6 a factor of (4/(4/5) - h)*3?
False
Suppose 2*x + 2*r = 1325 - 177, 2*r = x - 586. Let b = x - 302. Is 14/49 - b/(-14) a multiple of 5?
True
Suppose j - 28 = -2*z, -z - 4*j - 15 = -43. Let n(w) = -w**3 + 13*w**2 - 18. Does 11 divide n(z)?
False
Let k = 127 + -83. Suppose -k = -z + 8. Suppose 0 = -6*g + z + 542. Is 16 a factor of g?
False
Let g(o) be the second derivative of -125*o**3/6 - 25*o**2/2 + 3*o - 3. Is g(-2) a multiple of 25?
True
Let n be ((-355)/10)/((6/(-16))/3). Suppose -2*z + 200 = -z. Let f = n - z. Is f a multiple of 12?
True
Let n(t) = 39*t**2 + 120*t + 20. Does 9 divide n(6)?
False
Let j(d) = 11*d - 20. Suppose 4*w - 3*w = 2. Suppose 16 - 6 = w*r. Is 12 a factor of j(r)?
False
Suppose 5*u = b - 300, 0 = -2*u - 8 + 10. Suppose 65 = -5*r + b. Is 38 a factor of r?
False
Let v = -1 - -2. Let r be (v*-3)/(45/(-30)). Suppose r*b - 66 = -6. Is b a multiple of 6?
True
Suppose -2*c - 3*d + 21448 = d, 2*d + 10704 = c. Suppose 55*p - 17501 = c. Is p a multiple of 6?
False
Let l = 198 - -15. Let j = -19 + l. Does 23 divide j?
False
Suppose 5*w - 3*v - 3559 = 0, -v + 81 = 79. Does 31 divide w?
True
Let h be 2/(10/5) - (-37 - -1). Let s = h + -32. Suppose 4*i + 4*c - 124 = 0, -s*i + 157 = c + 2*c. Does 5 divide i?
False
Suppose -27*r + 5346 = 2*n - 28*r, -3*r - 18 = 0. Is 22 a factor of n?
False
Let f(k) = -1245*k - 23. Suppose 0 = -t - 4*t - 3*u - 50, 30 = -3*t + 3*u. Let j be f(t). Does 13 divide j/136 - (-6)/(-16)?
True
Is 4/(-6) - 825/30*23464/(-30) a multiple of 19?
True
Let d = -23 + 60. Let j = -35 + d. Suppose 0 = 2*a + 5 + 3, a + 186 = j*c. Does 15 divide c?
False
Does 31 divide 258501/12 - -2 - 1/((-28)/35)?
True
Let f = -69 + 77. Suppose f*b - 32880 = 13*b - 4*l, 13145 = -2*b + 3*l. Is -4 - (1/2)/(14/b) a multiple of 21?
True
Let j(c) = c**3 + 8*c**2 - 8*c + 8. Let w be j(-9). Suppose -2*m + 12 = 2*m. Does 4 divide w - -26 - (-9)/m?
True
Suppose 0 = -4*u - 3*z + 119330, 38*u - 41*u + 89500 = z. Is u a multiple of 4?
False
Let p(h) = 4*h - 17. Suppose 3*d - 4*n - 5 = 0, 27 = d + n + 4*n. Let w be p(d). Suppose -22 - w = -y. Does 19 divide y?
False
Let s(x) = -61663*x**2 - 6*x - 3*x + 40 + 61665*x**2. Is 16 a factor of s(8)?
True
Let v(r) = 1750*r**3 - r**2 + 4*r - 4. Suppose -5*o = -2*w - 15, 10*o - 7*o - 28 = 5*w. Does 16 divide v(o)?
False
Suppose -6*f - 28 + 22 = 0. Is (17/(102/(-720)))/f a multiple of 40?
True
Let p(t) = -4*t - 3 + 12*t - 6*t + 12*t. Let k be p(2). Suppose 105 = 4*q + k. Is q a multiple of 6?
False
Let b(q) = -5*q - 230 - 226 + 452 + 42*q**2. Does 2 divide b(-1)?
False
Suppose 31 = -g + 4*x - 289, -1314 = 4*g + x. Let o = 197 - g. Is 36 a factor of o?
False
Let n = 494 - 478. Suppose -n*o + 36936 = 22*o. Is o a multiple of 27?
True
Let v(l) = l**3 - 16*l**2 + 3*l - 6. Let j be v(16). Let i = j - 90. Is (i/32)/(((-4)/(-2))/(-292)) a multiple of 21?
False
Does 13 divide (-32 - (-732)/24)*(-18248)/6?
False
Let h = 12714 + -12707. Suppose -f + 1 - 10 = 0. Is 6 a factor of h/(105/(-80))*f?
True
Let n(q) = -160*q - 241. Let y(r) = -2*r**2 + 44*r - 5. Let g be y(22). Is 6 a factor of n(g)?
False
Let j(r) = 9*r - 11. Let m be j(3). Suppose 2*p - 107 = -o - m, 0 = p - 3*o - 28. Let g = 47 + p. Is g a multiple of 18?
True
Suppose -u + 2*u - 496 = 0. Let c = -312 + u. Does 23 divide c?
True
Let l be 2*7/(84/30). Suppose -530 = -o - 5*z, o - l*z - 536 = -7*z. Does 18 divide o?
True
Suppose 0 = 2*q + 211 + 253. Let y = -163 - q. Is 45/2*184/y a multiple of 6?
True
Does 33 divide (-9768)/(-16) + (-8)/(-16)?
False
Let d(w) = -28*w + 2. Let l(q) = 11*q**2 - 4*q + 3. Let a be l(-3). Let k = -122 + a. Is d(k) a multiple of 14?
False
S