?
False
Suppose 3*n - 209 = -8*n. Suppose n = 2*m + h, 5*m - 4*h + 5*h - 49 = 0. Let r(l) = 22*l - 21. Does 33 divide r(m)?
False
Let b be ((-6880)/4 + 2)/(-2). Suppose 4*f - 540 - 886 = -5*q, -3*q + f = -b. Is 22 a factor of q?
True
Let v = 3296 - 1393. Suppose 4*b + m - v = 0, 0 = -4*b - 0*m - 3*m + 1901. Is 11 a factor of b?
False
Let c(d) = -73*d + 5189. Is c(39) a multiple of 3?
False
Let c = -8697 + 8700. Let m(x) be the second derivative of 3*x**5/20 + x**4/12 - 5*x**2 + x. Is m(c) a multiple of 4?
True
Suppose -8*w + 893 + 835 = 0. Does 64 divide 10/12 + 290124/w?
True
Let h(n) = 226*n**3 - 3*n + 8. Let p be h(2). Suppose 28*y + p = 11666. Is y a multiple of 22?
True
Let w(m) = -6*m**3 - 3*m**2 + 24*m + 153. Does 12 divide w(-7)?
True
Let t = 5069 - 5048. Let l(i) be the second derivative of i**3/6 - 13*i**2/2 + i. Is 2 a factor of l(t)?
True
Suppose -4*y - 5*d + 180 = 0, 4*y - 219 = 2*d - 67. Let h = y + -24. Suppose 0 = -2*w + 36 - h. Does 8 divide w?
False
Let o(s) = s**2 - 9*s - 1. Let c = -34 - -47. Does 17 divide o(c)?
True
Let z be 72/(-396) + (-24)/(-11). Suppose 3*v - 8*v = -5*k - 20, v - 4*k - 4 = 0. Suppose 4*y - 5*y + l = -131, -v*y = -z*l - 534. Is 36 a factor of y?
False
Suppose -253 = -17*u + 16*u - 2*y, 5*u - 1277 = 2*y. Let a = u + -171. Is a a multiple of 6?
True
Suppose 5*w - 19 = 3*o, -o + 4*w = 5*w - 7. Let n be (-3 - o)/((-4)/8). Suppose 0 = 5*p + n, 105 = m - 4*p + 27. Is 30 a factor of m?
False
Let q(n) = -8*n + 12. Let j be q(-4). Let f = 47 - j. Suppose 0 = b + 5*l - 8, 32 = b + f*b + l. Is 3 a factor of b?
False
Let a = 3095 - -2922. Is 29 a factor of a?
False
Let o be (-28)/(-63) + (-41)/(-9). Suppose 3*l - o = 7. Suppose l*t = 3*t + 58. Does 29 divide t?
True
Does 13 divide -2 + 1 + 42/(-28)*(-42644)/6?
True
Suppose 3*g + c = -2*c + 21, -5*g + 2*c = 0. Suppose g*k + 96 = 6*k. Does 3 divide k?
True
Let n(j) = j**3 - 9*j**2 + 18*j - 114. Let k be n(10). Suppose 31984 = k*b - 150*b. Does 18 divide b?
False
Let z(o) = 15 + 2*o + 15*o + 6*o - 3*o. Let g be z(-2). Let d = g - -211. Does 31 divide d?
True
Is 25 a factor of 14/(-189)*(-357418 + -5) + (-58)/(-261)?
False
Let s be (-1 + (-115)/10)*(-24)/10. Suppose 0 = 5*y - s + 10. Suppose y*v - 259 = -3*n + 6*v, n - 5*v = 69. Does 34 divide n?
False
Suppose -4*z - 2 + 14 = 4*n, -4*z + 21 = -5*n. Let k(d) = 16*d + 2. Let y(l) = 17*l + 2. Let w(g) = 4*k(g) - 5*y(g). Is 6 a factor of w(n)?
False
Suppose -58*z + 45*z = 65. Does 7 divide -4 + (264/(-20))/(z/150)?
True
Let l(m) be the first derivative of -2*m**2 - 10*m + 14. Let j be l(-4). Suppose j*t = 105 + 81. Is 6 a factor of t?
False
Let l = -174 + 167. Let w(t) = -t**2 - 9*t - 3. Does 11 divide w(l)?
True
Suppose -18*c - 25*c + 66*c - 321310 = 0. Does 127 divide c?
True
Let u = -1492 - -2252. Is u a multiple of 8?
True
Suppose -3*s + 81 = -0*s. Let j = s - 113. Let l = 180 + j. Does 14 divide l?
False
Let c be ((-99)/(-21) - (-12)/42) + -2. Suppose 4*n = -0*n - g + 495, -2*n + c*g = -265. Is 7 a factor of n?
False
Let z = 4957 + -527. Let k = z + -2941. Does 57 divide k?
False
Suppose z - 3*m + 2 = -7*m, 2*z - 4*m = 32. Suppose 13*q = z*q - 33. Is 4 a factor of (-8)/(30/(-70) + q/7)?
True
Let t be 1/6 - 714/(-36). Let i(a) = -23*a - 5 + t*a - 5. Is 5 a factor of i(-8)?
False
Let h be (18/(-8))/(3/(-8)*(-2)/(-3)). Let t(p) = 123*p - 3. Let q be t(6). Suppose h*i - q = 2*i. Is i a multiple of 35?
True
Let p(i) = -3*i**3 - 9*i**2 - 15*i - 1. Let q(o) = 4*o**3 + 8*o**2 + 14*o + 2. Let b(w) = 5*p(w) + 4*q(w). Let r be b(16). Let c = r + -278. Does 9 divide c?
True
Suppose -r = -5*r + 2*q + 32, 4*r - 38 = 5*q. Suppose -r*u + 3*u + 1920 = 0. Is 60 a factor of u?
True
Let v(d) = 165*d**2 + 171*d + 1064. Does 14 divide v(-7)?
True
Suppose 37756 = 5*a - r, -4*a + 77*r + 30192 = 73*r. Does 59 divide a?
True
Suppose -1674 = 3*v - 2817. Does 38 divide v?
False
Does 6 divide 4696 + ((-6)/36*3)/(5/(-30))?
False
Suppose 279*d - 281*d = -9126. Is 117 a factor of d?
True
Let o = 30 + -30. Suppose -4*y + 3*a - 21 = o, y - 3*a = -0*a - 12. Let f(q) = 25*q**2 - 2*q + 5. Is 59 a factor of f(y)?
True
Let f(o) = -2*o - 24. Let z be f(-16). Suppose 0*u - z = -4*u. Suppose -3*d + 5*r = -456 + 108, 2*r = u*d - 232. Does 22 divide d?
False
Let r = 81 + -101. Let c(i) = i**2 + 21*i + 25. Let x be c(r). Suppose -3*m - x*a + 319 = 0, -m - a + 397 = 3*m. Does 4 divide m?
False
Let v(q) = q**3 - q**2 + 2*q - 111. Suppose -15 = -5*y, 4*g - 2*y + 9 = y. Let l be v(g). Let j = 173 + l. Does 31 divide j?
True
Suppose z = l - 177, 3*l = 3*z - z + 536. Let v = 250 + l. Is v a multiple of 48?
True
Let a = 127 + -76. Suppose 0 = 53*o - a*o + 4. Is (1 - (-6)/o) + 179 a multiple of 47?
False
Let q(r) = 4*r**3 + 9*r**2 - 60*r + 331. Is 27 a factor of q(14)?
True
Suppose -3*k + 3*c + 1049 + 1369 = 0, 0 = -5*k + 4*c + 4031. Let n = k - 105. Is n a multiple of 13?
True
Is 11 a factor of (2391 + -61)*9/15?
False
Let o = 5820 - 4121. Let z = o - 991. Is 46 a factor of z?
False
Suppose -2*m = 5*j - 17, -8 = -4*m - 4. Suppose -2*v + j*v - 48 = 0. Does 12 divide v?
True
Does 7 divide 1197 - (2 + -5) - (-2 + 10)?
False
Suppose r + 2*x = -2*r - 402, 5*x = 0. Suppose 5*p + 2*d = -1205, 3*p = 7*p - 5*d + 964. Let o = r - p. Is 21 a factor of o?
False
Suppose -7*j + 398 = -351. Let q = j + 13. Is q a multiple of 30?
True
Suppose -2*y = 1 - 5. Let m be 1/(-2) - -4 - y/(-4). Suppose -3*g = 5*f - m*g - 175, -3*f - 4*g = -105. Is 14 a factor of f?
False
Suppose 6 = -0*x - 4*x - 2*v, 0 = -2*x + 2*v + 6. Suppose -4*t - 4*g = -888, -t + x*g = 5*g - 206. Suppose 3*r - t = 98. Is r a multiple of 18?
True
Let m be ((-12)/(-18))/((-4)/6*1). Let s be (2 + -3 + (m - -7))*1. Suppose 0 = -x - s*r + 68 - 15, 0 = -x - 3*r + 43. Is 14 a factor of x?
True
Let x = 5981 - 5677. Is x a multiple of 16?
True
Let u = 72 + -67. Does 26 divide 19/(-95) - (-851)/u?
False
Let z(g) = 194*g**3 - 3*g**2 + 8*g + 2. Does 88 divide z(2)?
False
Suppose 263*c + 21 = 270*c. Suppose c*v = 488 + 1435. Is v a multiple of 19?
False
Let l = 9 - -72. Suppose l = 5*w - 189. Does 18 divide w?
True
Suppose 4*a + 3*g = -2022 + 6847, 5*g = -a + 1185. Does 10 divide a?
True
Suppose 0 = 42*h - 43*h + 5. Suppose h*x + 2*n = 1085, -3*n - 423 = -2*x - 6*n. Does 19 divide x?
False
Suppose 9357 - 866 = 7*w. Let x = w - 396. Is 12 a factor of x?
False
Let i(t) = 7*t**2 + 98*t + 1392. Does 71 divide i(64)?
False
Let d(z) = -10*z**3 + 46*z**2 + 46*z. Does 9 divide d(-6)?
False
Let b(s) = -5*s + 59. Let d be -19 + 10/((-10)/5). Let q be 1/((-48)/(-36)*2/d). Does 52 divide b(q)?
True
Let z(s) = 6*s**2 + 292*s + 7070. Is z(-22) a multiple of 59?
False
Let u(k) = -1020*k + 505*k + 39 + 507*k. Is 12 a factor of u(-17)?
False
Let a be -14*2/(-8) - 1/(-2). Suppose -4*j + w = -a*w + 291, 0 = -2*j + 5*w - 153. Let i = j - -105. Is 7 a factor of i?
False
Suppose 63528 = 13*w - 240997. Does 41 divide w?
False
Suppose 0 = 4*z + 3*l - 69, -l = 8*z - 12*z + 89. Let h(x) = 7 - z*x + 12*x - 14*x. Is h(-8) a multiple of 41?
False
Let i be (-2 + 5)/(4/4). Suppose w - i = 2. Suppose -3*o - 5*z = -0*z - 105, -w*o + 144 = -2*z. Is o a multiple of 15?
True
Let u = 888 - -3137. Is u a multiple of 25?
True
Let b = 7726 + -3597. Does 94 divide b?
False
Let c(n) = n**2 + 5*n - 5. Suppose -4*t + 84 = 24. Suppose 21 = 4*g + l + 88, -t = g + 2*l. Is c(g) a multiple of 34?
False
Let v be 188 - 0 - (12 + -12 + 6). Suppose v*u - 5379 = 171*u. Does 4 divide u?
False
Is 20390*((-3056)/(-160) + -19) a multiple of 10?
False
Let f = 26 + -86. Let y be 1464/10 - 36/f. Suppose -y - 249 = -3*o. Is 18 a factor of o?
False
Suppose 3*f + 74 = -2*a, 0 = 4*a - 7*f + 4*f + 130. Let u be a/(-16) - 6/48. Is (100/(-15))/(u/(-33)) a multiple of 11?
True
Let o(k) = 2*k**2 + 21*k + 57. Let n be (-517)/47 - (1 - 2)*5. Is 2 a factor of o(n)?
False
Let y = -721 + 724. Suppose 14*n - y*i = 15*n - 1234, 4*n - 4966 = 3*i. Is 40 a factor of n?
True
Let z(a) = 9*a**2 - 30*a - 30. Let d be z(-1). Suppose 0 = 4*g - d*q + 8*q - 1216, 304 = g - 3*q. Does 4 divide g?
True
Let c = 40 - 38. Let s(l) = 227*l**c - 225*l**2 - 2 + 11*l + 6. Is 11 a factor of s(-8)?
True
Let n(k) = -k**2 - k + 1. Let h be n(-1). Let l = 78 - 77. Is l + h - (1 + -59) a multiple of 10?
True
Suppose 2*z + u + 4 =