0*n - 4. Is 22 a factor of q(l)?
False
Is 6*(5/(-20))/(6/12) + 12720 a multiple of 15?
False
Let g(b) = b**3 - 7*b**2 + 12*b + 8. Let h be g(4). Is 3 a factor of -104*h/(-56) - (-2)/14?
True
Let c be (52 + -4)/(-2) - -6. Let q = c - -108. Does 18 divide q?
True
Let x = 2056 - -35906. Is 333 a factor of x?
True
Let l(a) be the second derivative of -4*a - 8*a**2 + 13/2*a**3 + 0. Is 9 a factor of l(3)?
False
Let i be -9*(798/(-9))/7. Does 19 divide (-8149)/(-11) - i/(-627)?
True
Let u(f) = 9 - 17*f - 11*f + 29*f. Let y be u(-7). Is 35 a factor of -1 + (-2 - (-566)/y)?
True
Is (-1929)/((-3)/(-1))*(-91 - -80) a multiple of 37?
False
Suppose -v - 3204 = 204*w - 205*w, v = -w + 3196. Does 50 divide w?
True
Let m = -657 + 1127. Is m a multiple of 2?
True
Let w = -15 + 52. Let o = w + -31. Let m(v) = -v**3 + 8*v**2 - 9*v + 10. Does 4 divide m(o)?
True
Suppose k - 2880 = 6*j - 9*j, -3*j = -8*k + 22959. Is k a multiple of 99?
True
Suppose 6*s - 7 = 101. Let t = 6 + s. Does 9 divide 880/t - ((-2)/6 + 1)?
True
Let j = -40 - -73. Let h be 44*(-6)/48*-20 - -3. Let f = h - j. Is 26 a factor of f?
False
Let a(y) = -y**3 - 10*y**2 - 10*y - 6. Let t be a(-9). Let n be ((1/1)/t)/((-5)/(-75)). Suppose 0 = -n*j - 71 + 236. Is 14 a factor of j?
False
Suppose s - 3*h + 10 = -6*h, 0 = -4*s + h - 14. Let y be s/18 + (-2394)/162. Does 24 divide 85 + (-6)/y + (-3)/(-5)?
False
Let z(i) = -i**2 - i + 4. Let l be z(-2). Let b be l*((1 - 4) + 1). Is b/(-12) + (-400)/(-6) a multiple of 6?
False
Suppose -91 = i - 5*a, a + 3 + 0 = 0. Let l = 288 + i. Does 14 divide l?
True
Let s(w) = -w**2 + 16*w + 36. Let n be s(-17). Let u = 1019 + n. Is 8 a factor of u?
False
Let y = -11184 - -12204. Does 17 divide y?
True
Let w(m) = 18*m**3 - 15*m**2 + 25*m + 99. Is w(4) a multiple of 11?
True
Suppose -4*b = -l - 65217, -54*l + 32586 = 2*b - 50*l. Does 17 divide b?
True
Let g(u) = 338*u - 3162. Is 8 a factor of g(16)?
False
Suppose -2*n - 3*n = -3*q + 35, 0 = 4*q - 5*n - 40. Suppose -2*l + 352 = 2*t, -4*t = q*l - 102 - 777. Is l a multiple of 31?
False
Let s(n) = n**3 - 3*n**2 - 12*n + 18. Let u be s(6). Suppose -4*h - 48 = -4*l, -h = -5*h + 2*l - u. Does 40 divide (0 + -60)/(h/(-6) - 4)?
True
Let b = 1201 - 941. Does 4 divide b?
True
Let t(k) = 5*k**2 + 6*k - 45. Let l be t(-21). Suppose -612 - l = -9*o. Does 20 divide o?
False
Let b(v) = -v - 8. Let y be b(-8). Let z be (76/10)/((-92)/20 - -5). Suppose -s - c + 12 = 0, y = 3*s - 2*c - z - 27. Does 5 divide s?
False
Let w be 3 + (2/7)/((-19)/(-266)). Is 49 a factor of (1 - (-74)/(-4))*(-21 + w)?
True
Let j = 25 - 20. Suppose 0*k - 5*k - i + 402 = 0, 4*k - 330 = -j*i. Let p = k + -32. Is p a multiple of 4?
True
Let n(w) = 2*w**2 - 145*w + 1997. Is n(61) a multiple of 193?
False
Let c = 30818 + 10366. Is c a multiple of 33?
True
Suppose -5*z + 308 = 258. Suppose 5*m - 1490 = -5*g, -g + z = 13. Is 24 a factor of m?
False
Let y be (-17)/(-2) + -3 + 3/(-6). Let m be y*1/(-3)*-3. Suppose 4*x = m + 11, -5*u - 2*x + 508 = 0. Does 20 divide u?
True
Let d(z) = -36*z**3 + 16*z**2 + 3*z + 12. Is d(-5) a multiple of 6?
False
Let i(y) be the third derivative of y**5/60 - y**4/24 + y**3/6 + 2*y**2. Suppose v + 8 = 3. Is 11 a factor of i(v)?
False
Let q(d) = d**3 + 5*d**2 - 7*d - 32. Let s be q(-5). Let c = 35 + -17. Let p = s + c. Is p a multiple of 7?
True
Suppose -6*b - 9*b = -60. Suppose -b*x - x = -2340. Is 13 a factor of x?
True
Suppose 222*c + 8049 = 3*g + 227*c, -2*c = -6. Is 8 a factor of g?
False
Let w(p) = 2*p + 1. Let y(j) = -15*j - 33. Let c(q) = 5*w(q) + y(q). Let a be c(-7). Suppose -5*k + d = -119, 5 = a*d - 2*d. Is 12 a factor of k?
True
Let t be (-6 - -5)/(1 + 258/(-261)). Let c = t - -89. Does 9 divide (c - -1)/(15/315)?
True
Let v = -2479 + 3653. Does 7 divide v?
False
Suppose -c = 2*m - 179, 0 = 2*m - 0*m - 4*c - 184. Let s = m + 117. Let l = -119 + s. Does 11 divide l?
True
Let h(g) = g - 1. Let z be h(-4). Let p(l) = -l - 4. Let r be p(z). Is -5*r*((-76)/5 + -2) a multiple of 28?
False
Let g(w) = w**3 - 92*w**2 - 241*w + 276. Is g(97) a multiple of 164?
True
Let x be (-3062)/(-4) - 15/(-30). Suppose -9*c - 2328 = -3*r - 10*c, -x = -r + 3*c. Does 84 divide r?
False
Let d be (-1)/5 - 44/(-20). Let v be (-2073)/(-4) - (-6)/(-24). Is 19 a factor of (3 - 4)/(d - v/258)?
False
Let y = -10915 + 21280. Is 5 a factor of y?
True
Let r(l) = -l**3 + 6*l**2 - 2*l + 5. Let s be r(4). Let d(k) = -7*k + s + 18*k - 10*k. Does 3 divide d(-8)?
True
Let h = -13 - -8. Let u be (-5)/(-10)*(-1 - h) - 6. Is 4100/28 - u/7 a multiple of 15?
False
Suppose 5*g - 29990 = -8*h, -5*g = -6*g + 6. Is 5 a factor of h?
True
Suppose 0 = -6*a + 13 + 5. Let z be (-2 + 6)/(-2) + -5 - a. Does 48 divide z/(-5)*(-26)/(-1)?
False
Is 91 a factor of (-1218)/6699 - (1 + 98146/(-22))?
False
Let l(n) = -n - 6. Let t be l(-11). Suppose 0 = 2*d - 4*v - 2, 4*d - t*v + 0 - 1 = 0. Is 15 a factor of ((2 - d) + 65)/(0 + 1)?
False
Let v(d) = 10*d**2 + 103*d - 1087. Is v(79) a multiple of 46?
True
Let z(i) = -4522*i - 6746. Does 10 divide z(-8)?
True
Suppose -4 = -3*t - t. Let u(s) = 2*s**2 + 1. Let m be u(t). Suppose l - 183 = -4*k, -79 = -m*k + 5*l + 41. Is 15 a factor of k?
True
Let n be 14 - (2 + 7) - 34*-7. Suppose 5*p + n = 14*p. Is p a multiple of 3?
True
Let c = 175 - 155. Suppose 4*f = -2*z + 72, 5*z + c = 3*f - 8. Is f a multiple of 16?
True
Let k(i) = -i - 2. Let q be k(-5). Suppose 4 + 1 = -2*s + q*d, 5*s - 5*d = 0. Suppose -3*t = -s*u - 6*t + 500, 0 = 2*t. Does 20 divide u?
True
Suppose 235*l + 9070 = 518754 + 141736. Is l a multiple of 36?
True
Suppose 5*z - 5604 = -3*t, 129*z + 5652 = 3*t + 126*z. Does 74 divide t?
False
Let z(q) = 246*q**3 + 5*q**2 + 3*q - 9. Does 70 divide z(2)?
False
Suppose 372*v - 27249 - 1101 = 363*v. Is 9 a factor of v?
True
Suppose 0 = -4*q + q + 3*w, -2*w = -q. Suppose q = 3*n + 15*n - 3888. Is 5 a factor of n?
False
Suppose -32*o + 25*o + 2058 = 0. Suppose 1056 = 3*s - o. Does 25 divide s?
True
Let y(k) = 2*k - 30. Let b be -11 - (-3 + 1)*-1. Let z be y(b). Let d = z - -108. Is 7 a factor of d?
False
Suppose 449*o - 453*o - 19385 = -3*i, -2*i + 5*o + 12921 = 0. Is i a multiple of 171?
False
Let r be 2/(-7) - 0 - (-1688)/28. Let d = r + -58. Suppose 4*v - 176 = -0*w - 2*w, -d*w = -3*v - 190. Is 23 a factor of w?
True
Let k = -10903 + 17959. Suppose -17*f + k = 4*f. Is 6 a factor of f?
True
Let d(g) = 2*g**3 - 12*g**2. Let k be d(6). Suppose -5*b = 4*y - 792, -4*b + 3*y - 4*y + 627 = k. Let c = b - 45. Does 22 divide c?
False
Let a = -41370 - -63878. Is a a multiple of 68?
True
Let p be 1896/9*(5 - 8 - -6). Suppose -7*t = -p - 649. Does 61 divide t?
True
Let a = 2964 - -4. Suppose 13*m + a - 9624 = 0. Does 16 divide m?
True
Let q be (-6 + 84/12)*(0 - -181). Let z be 14 + -2 + (-9)/(-3). Suppose 5*c = -2*m + q, 5*c - 2*c = z. Is m a multiple of 6?
True
Does 153 divide (-84)/(-35)*(-28)/(-8)*255?
True
Let l be 18/2 - (-3069)/11. Suppose 30*g = 22*g + l. Is 14 a factor of g?
False
Let j be (3 + 0)*(-4)/(-4) - 4. Is 20 a factor of (-39 + j)/(-5) - -694?
False
Let a = -47 + 80. Let y be (3/2 - a/6) + 7. Suppose y*o = -2*o + 490. Does 40 divide o?
False
Let s = -2206 + 26516. Is 55 a factor of s?
True
Let c(u) = u + 24*u + 2*u**2 - u**2 - 19. Suppose 6*k = k - 130. Is 3 a factor of c(k)?
False
Let g = 337 - 334. Suppose -3*n = -s + 610, -3*s + 1090 = -5*n - 752. Suppose g*d - 152 = s. Is d a multiple of 32?
False
Suppose -22 = -8*h + 2. Suppose h*l + s - 18 = -0, -s = -3. Let o(b) = b**2 - 2*b + 5. Does 4 divide o(l)?
True
Suppose -2*a = 4*n - 1416, n - 4*a - 228 - 117 = 0. Let c be ((-86)/6 - 0)*(-28 - -22). Let t = n - c. Is t a multiple of 40?
False
Let m = 10 + -6. Suppose -3*r - 108 = r - m*q, 4*r = 5*q - 113. Let j = r + 94. Is j a multiple of 9?
True
Suppose 642 = -0*a + a. Suppose 2*q - 7*q - 2*v + 3238 = 0, q - v = a. Does 62 divide q?
False
Suppose 6*z - 4*z - 155 = 5*t, -3*z - 4*t + 221 = 0. Suppose 63 = -z*p + 82*p. Does 5 divide p?
False
Let c(z) = -4*z**3 - 5*z**2 - 2*z + 7. Suppose 132 = -2*o - 5*t, 5*o + 124 = 3*o - 3*t. Let x = o + 53. Does 21 divide c(x)?
False
Suppose -4*b - 427*p + 422*p = -1424, 0 = 2*b - 3*p - 690. Does 3 divide b?
True
Let l(a) = 48*a**2 - a + 1. Let j be l(1). Suppose j - 264 = -6*w. Is w a multiple of 2?
True