q + 2 = 0. Suppose 0 = -42*b + 55*b + 39. Is 7 a factor of b + (-22 + 3)*q?
True
Let y = -13854 + 18935. Is 18 a factor of y?
False
Let h(b) be the first derivative of -310*b**2 - 18*b + 191. Is h(-1) a multiple of 6?
False
Let p be (-285)/(-6) - (-2)/4. Suppose -4*k + 2*k + q + 72 = 0, 5*q = -3*k + 108. Let y = p - k. Is 4 a factor of y?
True
Suppose -3788 = -4*h + 6*a, 5*h + 16*a - 4773 = 14*a. Is 16 a factor of h?
False
Let s(w) be the first derivative of -w**5/60 + 11*w**4/24 - 3*w**3/2 - 10*w**2 - 15. Let g(x) be the second derivative of s(x). Is 12 a factor of g(6)?
False
Suppose 4*m = -2*l + 143740, -4*m - 5*l + 86873 + 56891 = 0. Is m a multiple of 65?
False
Suppose 0 = -8*s + 5*s. Let u be s/(7 + -2) - (-1 - 0). Is (7/((-70)/16))/(u/(-10)) a multiple of 4?
True
Let q(g) = -g**2 + 4*g. Let c = -19 - -23. Let i be q(c). Suppose i = 6*h - 232 - 62. Is h a multiple of 13?
False
Suppose -2*n = 3*s - 340 - 1113, 2 = 2*s. Suppose -4*t - 4*o = -2*o - 970, 3*t = o + n. Does 11 divide t?
True
Suppose -1199 + 4223 = 9*m. Is m a multiple of 3?
True
Let x(k) = k. Let r(n) = -11*n + 35. Let b(d) = 2*r(d) - 10*x(d). Is b(-13) a multiple of 6?
True
Suppose -10268 = 5*z + 12*z. Is (1 - (z + 8)) + -5 a multiple of 8?
True
Let q = 849 - 782. Let o = q + 414. Is 13 a factor of o?
True
Let j be (-12)/36 - 8/(-6). Let m be -8 + (-2 - (-6)/(-3)). Is 7 a factor of 3 + -3 - (j + m)?
False
Suppose 42857 + 52903 = -65*a + 122*a. Is a a multiple of 16?
True
Let o be (14/42)/((-1)/(-12)). Does 3 divide 6 + o + 2 + 46?
False
Suppose 0 = b + 9*c - 6*c - 159, -5*b + 700 = -4*c. Let h(m) = 4*m**2 - 4. Let w be h(-6). Suppose -b*x + 149*x = w. Does 15 divide x?
False
Suppose -3*l - 3999 = -4*t, 0 = -l - l - 10. Let b = -124 + t. Is b a multiple of 91?
False
Let l be 264/(-15) + 1 + 6/10. Let t = 21 + l. Let r(z) = 2*z + 6. Does 4 divide r(t)?
True
Does 14 divide (0 + 2180 + (18 - 16))*(-3)/(-6)?
False
Is (-1 - -1735) + 362/181 a multiple of 28?
True
Suppose 155*k - 158*k + 5*f = -139837, 4*k + 5*f = 186461. Is k a multiple of 91?
False
Suppose -2*j - 7 = -3*a + 12, 0 = 3*j + 3*a - 9. Is (j + 24/9)/((-4)/(-342)) a multiple of 19?
True
Suppose 97*t + 274515 = 19*c + 100*t, 4 = 4*t. Does 16 divide c?
True
Let l = 91 + -82. Let r be (l + -11)*(-30 + 1 + 0). Let n = 133 - r. Is n a multiple of 15?
True
Let x(t) = -t**3 - 52*t**2 + 95*t - 240. Does 21 divide x(-54)?
True
Suppose -104920 = -24*h + 60968. Does 216 divide h?
True
Let q = 2628 - 1277. Let o = q - 791. Is 41 a factor of o?
False
Let y = -41 + 48. Suppose -m + 2*m = -3*q + 15, -y = -q - m. Suppose 0 = -i - q*i + 825. Is 15 a factor of i?
True
Let u(k) = k**3 - 15*k**2 - 11. Let z = -18 - -35. Is 16 a factor of u(z)?
False
Let u = -1089 + 2837. Is u a multiple of 13?
False
Let r be 216/(-10)*30/4. Let b = r + 167. Is b a multiple of 3?
False
Let b be (-1272)/(-27) + (-1)/9. Suppose -504 = -56*a + b*a. Is 7 a factor of a?
True
Suppose -4*n + 5*v + 14621 = 0, 0*v - 18301 = -5*n - 2*v. Is n a multiple of 71?
False
Let o be (3 + 27 + 0)*(-10)/25. Is 9 a factor of 16*(243/18)/((-9)/o)?
True
Let v(l) = l**2 + 2*l - 12. Let t be v(7). Suppose -26*h + 27*h = t. Does 4 divide h?
False
Is 16 a factor of 4920/180*(3 + 117)?
True
Let r be (-1)/(24/(-36) + 2/6). Suppose 141 = 3*s - 3*o, 0 = 2*s + r*o - 114 + 10. Does 3 divide s?
False
Let f = 119 + -194. Is 25 a factor of 1/(2 + 147/f)?
True
Let l(a) be the first derivative of a**5/30 + a**4/3 - a**3 + 2*a**2 + 7. Let u(h) be the second derivative of l(h). Is 11 a factor of u(5)?
False
Let t = -15333 + 24437. Does 4 divide t?
True
Let v(r) = -234 + 0*r - 140 + 24*r + 83. Is 11 a factor of v(20)?
False
Let w = 37 - 33. Suppose t = -w*j - 3, 5*t = -6*j + 2*j - 95. Let o = 41 + t. Is o a multiple of 5?
False
Suppose 1994 = 4*b + 2*j, -4*j + 3*j = -5*b + 2482. Let x be ((-8)/(-6))/((-3)/(-693)). Let l = b - x. Is 13 a factor of l?
False
Let p = -45 + 47. Let k(f) = 4 + 6*f**2 + 5*f**p + f - 2*f**2. Is k(-3) a multiple of 26?
False
Let g = 84 + 610. Suppose -3*t = n - 22 + 17, 4*t + 2*n = 10. Suppose -p + 4 = -t*p, -5*z - p = -g. Is 41 a factor of z?
False
Suppose 0 = 52*n - 29*n - 5520. Is 6 a factor of n?
True
Suppose 0 = 25*r - 28*r + 6. Let z be 1*2*((-9)/r + 4). Is 6 a factor of ((-40)/72*6)/(z/21)?
False
Suppose 0 = 32*j - 6*j - 52. Suppose -v + 54 = l, -2*l - 142 = -j*v - 30. Does 5 divide v?
True
Let t(p) = -25*p**2 + 9*p - 37. Let i be t(3). Does 19 divide 36/54 + -2 + i/(-3)?
False
Let f be -5*((-1)/(-4) - 5/4). Suppose -6*v = -f*v - 48. Is v a multiple of 12?
True
Let r(s) = -44*s**3 + 2*s**2 - 37*s - 117. Is r(-3) a multiple of 15?
True
Suppose -3*o - 3*c + 83 + 73 = 0, 266 = 5*o + 2*c. Suppose 23*k = 26*k - o. Let f = k - -73. Is f a multiple of 13?
True
Let z = 109 + -232. Let l = z - -379. Does 16 divide l?
True
Let f be (3 - (-6)/(-2))/3. Suppose f = m + 2*m - 9. Is 7 a factor of m + 7 + 6*1/2?
False
Let h = 6547 - 1427. Is h a multiple of 16?
True
Let u(a) = -12*a - 79. Let b be u(-7). Suppose -5*s - 441 = 3*o - 5*o, b*s = -o + 213. Does 17 divide o?
False
Let u = -870 - -392. Let d = -368 - u. Is d a multiple of 10?
True
Let b = -922 - -916. Let u(h) = -3*h**3 + 9*h**2 + 2*h - 36. Is u(b) a multiple of 12?
True
Let o = -534 + 547. Is ((-8)/(-10))/(((-65)/(-3000))/o) a multiple of 15?
True
Suppose 5*b + 4*o + o = 30, 0 = 5*b - 4*o + 6. Suppose 4*l + 2*m + 403 = -3*m, 0 = -l - b*m - 103. Let w = l + 99. Does 2 divide w?
True
Let p be 24/132 + 150/22. Let s(a) = -a**3 + 6*a**2 + 11*a - 17. Let l be s(p). Suppose 840 = l*t - t. Does 14 divide t?
True
Let x = 260 + -273. Does 39 divide (-38)/247 + (-4825)/x?
False
Let x(j) = 5*j**3 - 5*j**2 - 3*j - 2. Let p = -120 + 124. Is 26 a factor of x(p)?
False
Let i(r) = -45*r - 827. Is i(-19) a multiple of 3?
False
Suppose 8*j - q - 35533 = 0, 5*q = -j - 254 + 4711. Does 177 divide j?
False
Suppose 71*y - 90*y + 21896 + 266714 = 0. Is 56 a factor of y?
False
Let l(o) = 39*o - 12*o + 106 - 9*o - 16*o + 3*o**2. Is l(0) a multiple of 53?
True
Let r(w) = 14*w + 262. Let f(g) = -13*g - 260. Let m(u) = -3*f(u) - 2*r(u). Does 16 divide m(43)?
False
Let i be (2 - -1)/(-5*18/210). Is 44 a factor of (947 + 1 + i)*(1 + 0)?
False
Let j = -46 + 92. Let k(q) = q**2 - 8*q + 6. Let x be k(9). Let y = j - x. Is y a multiple of 7?
False
Let u be 10*71 - (8 - (-10)/(-2)). Suppose 3*y = -3*a + 2109, -1370 = -3*y + 5*a + u. Is 18 a factor of y?
False
Suppose -g - m = m + 108, -328 = 3*g + 2*m. Is g/(-40)*((-36)/(-3))/1 a multiple of 3?
True
Suppose 4961959 = 212*u - 4026021 - 3108104. Is 77 a factor of u?
True
Let j = 135 - 14. Let r = j - 33. Is 9 a factor of r?
False
Is 149 a factor of 12 + 1385 + -1*(2 - -1)?
False
Let v = 233 - 247. Is 54 a factor of (-1995)/v*180/25?
True
Let k = -3166 - -5052. Is 12 a factor of k?
False
Let j = 45238 - 22491. Does 23 divide j?
True
Let k = 4664 - 574. Is k a multiple of 90?
False
Let w = -3147 + 3153. Does 2 divide w?
True
Suppose 0 = 11*s - 6*s. Suppose 34*a - 36*a + 12 = s. Is a/5*200/12 a multiple of 8?
False
Let r be (4/1)/((-13)/(-286)). Let t = r + -89. Is -3 + 1 - (758 - t)/(-3) a multiple of 39?
False
Let b(q) = -386*q - 2*q**2 + 214*q - 8 + 236*q. Is 14 a factor of b(30)?
True
Let i(k) = k**2 + 4*k + 5. Let s be i(-4). Let w(u) = 49*u**2 - 3*u - 2 + s + 4 - 5. Is 7 a factor of w(1)?
False
Let m = 16364 - 9097. Does 68 divide m?
False
Suppose 1018212 = -65*d + 154*d + 94*d. Does 10 divide d?
False
Let t be (-3 - -15)/(3/28). Let k(p) = -2*p**2 + p - 9. Let o be k(0). Let c = t + o. Is 19 a factor of c?
False
Let k(w) be the second derivative of w**5/20 - w**4 + 3*w**3/2 + 3*w**2 - 18*w. Let l be k(10). Let g = l - -247. Is g a multiple of 19?
False
Let n(u) = u**2 - 3*u - 62. Let p be n(-9). Let k(z) = -z**2 + 47*z + 341. Does 3 divide k(p)?
True
Suppose -3817 = -3*q - 4*f, 7*f + 172 = q - 1092. Is 31 a factor of q?
True
Let h = 366 + -229. Let s = 163 - h. Is 26 a factor of s?
True
Let k = -2538 + 4044. Is k a multiple of 6?
True
Let m = -34469 - -34693. Is 7 a factor of m?
True
Let g = -489 + 1301. Suppose -28*h - g = -56*h. Is h a multiple of 3?
False
Does 14 divide (27/(-4) - -7) + (-36958)/(-8)?
True
Does 298 divide 74/(-222) + (8930/(-9))/(2/(-75))?
False
Let k = 31 + -33. Let j be 81/(5/2 