2*p + 173 = 3*j. Does 21 divide j?
False
Suppose -2*q + 5*d - 23 = 0, q - 2 - 9 = -2*d. Let g be (-2)/4*q*-54. Suppose -4*z - 40 = -2*f, -3*f - z + g = 4*z. Does 7 divide f?
True
Is 5 a factor of 2/(-19) - (-4)/((-608)/(-33912))?
False
Let q(s) = s**2 + 15*s + 4. Let m be q(-13). Is 36 a factor of (-18)/4*(m - 8)?
False
Suppose 5*u - 2*a + 68 = 0, 4 = u + a + 12. Let m be (-28)/16 - 655/(-20). Let o = u + m. Is o a multiple of 10?
False
Let w = 549 - 315. Does 78 divide w?
True
Let f(r) = r - 3. Let n be f(-5). Let o = n - -11. Let t(y) = -y**3 + 4*y**2 - 2*y + 7. Is t(o) a multiple of 10?
True
Suppose w + 1 = 3*d - 10, 18 = -2*w + 2*d. Let s(i) = -i**3 - 8*i**2 - 3*i + 2. Is s(w) a multiple of 6?
False
Suppose 0 = 2*h + h. Suppose 36 = 19*g - 16*g. Suppose h = -4*d + g + 28. Does 9 divide d?
False
Suppose -3*h + 661 = 5*q, 3*q - 390 - 52 = -2*h. Does 23 divide h?
False
Suppose -3*z = -4*z + 2, 4*z = -r + 125. Is r a multiple of 26?
False
Suppose 0 - 3 = -r. Let p(z) = -21*z + 9. Let b(u) = 63*u - 26. Let h(s) = 6*b(s) + 17*p(s). Does 15 divide h(r)?
True
Suppose -o - 5*a = 11, -2*a - 4 = 5*o + 5. Let g(y) = 6*y**3 + 1. Let i be g(o). Let f(x) = -x**3 - 3*x**2 + 3*x - 2. Is 11 a factor of f(i)?
True
Let y(d) = -13*d - 6*d + 0*d + 9. Is 23 a factor of y(-9)?
False
Let r = 392 + -171. Does 13 divide r?
True
Let r(a) = -2*a**2 - 43*a - 35. Let k(z) = 3*z**2 + 65*z + 53. Let q(i) = -5*k(i) - 7*r(i). Does 19 divide q(-16)?
False
Let o = 29 - 29. Suppose o = -5*w + 171 + 19. Let g = w + 0. Is g a multiple of 5?
False
Let q(r) = 6*r**2 - 17*r + 6. Let k be q(3). Suppose 0 = k*v - 746 + 44. Does 7 divide v?
False
Suppose -t + 43 = -5*u, -4*t + 5*u - 4 = -251. Suppose -2*b + 0*b + 254 = 0. Let m = b - t. Is m a multiple of 7?
False
Suppose -4*c + 37 = -5*y, c - 3 = y + 5. Let t be 10*c/(12/(-10)). Let k = t - -47. Is 11 a factor of k?
True
Let m = 793 - 442. Is m a multiple of 26?
False
Suppose -4*z + s = -766, 4*z = 8*z + 4*s - 776. Is 32 a factor of z?
True
Suppose -1870 = -13*j + 2901. Is j a multiple of 23?
False
Let h(n) = n**2 + 7*n + 2. Let t be h(-7). Suppose t*q = -3*q - 45. Let v = q - -18. Is v a multiple of 4?
False
Let c = -190 + 284. Suppose z - 5*z = -8. Suppose z*j + 34 = c. Is j a multiple of 10?
True
Suppose -x - 10 = -4*l, 0 = x - l - 1 - 4. Suppose t = x*t - 216. Does 12 divide t?
True
Suppose 6*i - i = 0. Let l(f) = 3*f**3 - 2*f + 1. Let h be l(1). Suppose -2*m - 99 - 35 = -4*k, h*k + 3*m - 87 = i. Is k a multiple of 12?
True
Let d(r) = r**3 - 49*r**2 + 4*r - 113. Does 2 divide d(49)?
False
Let z(h) be the second derivative of 13*h**4/6 - 2*h**3/3 - 3*h**2/2 - 13*h. Does 18 divide z(-2)?
False
Suppose 2*u + 2*r + 78 = -2*r, 2*u + 5*r + 74 = 0. Let d = 133 + u. Does 11 divide d?
False
Suppose 4*j + 17*l = 20*l + 2673, -j + 657 = 3*l. Is j a multiple of 27?
False
Suppose 0 = -c - 3*h + 210, 5*h + 540 + 590 = 5*c. Let y = c - 132. Is 10 a factor of y?
True
Suppose 2*o = -3*l + 327, l + o - 109 = 5*o. Does 6 divide l?
False
Let n(l) = -2*l**2 + l - 20. Let q be n(13). Is 4 a factor of 4/18 - q/27?
False
Let p(g) = g**3 - 6*g**2 - 4*g - 9. Let l be p(7). Let c be 1/((-4)/(-20)) - 1. Suppose -c*y + l = -y. Is 3 a factor of y?
False
Let n(f) be the second derivative of -f**5/20 - f**4/4 + 5*f**3/6 + f**2/2 - 3*f. Let d be n(-4). Is 12 a factor of ((-25)/(-4))/(d/(-12))?
False
Suppose -4*s = -4*j + 17292, 10367 = 5*j + 4*s - 11266. Is 25 a factor of j?
True
Let y(z) = -3*z**2 + 3*z + 2. Let d be y(2). Is 58 - -2*(-4)/d a multiple of 20?
True
Suppose 3*y = 4*s + 48, -3*y + 99 = 5*s + 24. Suppose 3*g - y = -g. Suppose g*w - 4*p - 113 = -5*p, -79 = -4*w + 3*p. Is 11 a factor of w?
True
Suppose -49*s + 8105 = -44*s + 4*q, -4*q - 6520 = -4*s. Is 13 a factor of s?
True
Suppose 4*o = 24*o - 5720. Let s = o + -19. Does 44 divide s?
False
Suppose 2*b - 4*g = 144, 4*b - 5*g - 233 - 70 = 0. Is b a multiple of 7?
False
Let x = 682 - 576. Is 2 a factor of x?
True
Suppose j = -3*n - n + 59, -54 = -3*n - 4*j. Let u be (-6)/(-21) + 24/n. Suppose 2*x - 5*w = 66, -u*x - 3*w + 62 = -6*w. Is 21 a factor of x?
False
Let l = 1788 + -1238. Does 5 divide l?
True
Let w(m) = -18*m**2 - 191*m + 22. Let d be w(-10). Suppose -b + 4 = -1. Suppose -b*k - 32 + d = 0. Does 3 divide k?
False
Let j be 355 - (-4 - (-7 - -3)). Suppose -5*u - 80 = -j. Does 15 divide u?
False
Let z(j) = j**3 - j**2 - 12*j + 35. Is 13 a factor of z(6)?
True
Is 16 a factor of 2477/5 + (4/(-10) - -1)?
True
Let l(w) = -3*w + w + 8 + 3*w. Suppose -20 = -149*h + 145*h. Does 3 divide l(h)?
False
Let y(u) be the first derivative of -u**4/4 - 26*u**3/3 - 33*u**2/2 - 56*u - 34. Does 10 divide y(-25)?
False
Let w = 0 - 4. Let n = 8 + w. Is 0/n + 44/1 a multiple of 18?
False
Suppose 146 = 18*c - 17*c. Suppose -3*o + 0*i = -4*i - 154, 4*i - c = -3*o. Is 6 a factor of o?
False
Let i(a) = a**2 + 4*a. Let d be i(-6). Suppose 2*s + 5*z = 235, -d = s - z - 140. Suppose -6*k + s = -2*k - 3*v, 65 = 2*k - v. Is k a multiple of 31?
False
Suppose 4*v - 35 = 3*v. Suppose 2*b = -5*x + 313, 2*b - 249 = -4*x - b. Let d = x - v. Does 7 divide d?
True
Let i(v) = 125*v**2 - 25*v + 20. Is i(4) a multiple of 64?
True
Let q(b) = b**3 + 5*b**2 + b + 2. Let g be q(-5). Let o be g - (0 + -46 - 1). Suppose -3*u = 3*p - 141, o + 9 = p - u. Does 10 divide p?
True
Let o = 7183 - 4939. Does 132 divide o?
True
Let q(v) = v**3 + 19*v**2 + 41*v - 7. Is 6 a factor of q(-7)?
True
Suppose -2553 = -46*j + 43*j. Does 37 divide j?
True
Let k be ((-6)/(-9))/(8/540). Suppose 5*h = -2*m + k, 3*m - 4 - 46 = -5*h. Suppose 2*t = h*t - 375. Is t a multiple of 25?
True
Suppose 4*q + 5162 = 3*r, -14*r = -17*r + 3*q + 5163. Is r a multiple of 14?
True
Let k(m) = 8 + 4*m**2 + 6*m - 6*m + 9*m. Does 9 divide k(-5)?
True
Suppose -5*y - 5*z + 345 = 0, 2*y = -3*y - 3*z + 337. Suppose -5*s - 7 = -v + 3*v, -5*v = 2*s + 7. Does 11 divide v/(-2) + y/2?
True
Let f(m) be the third derivative of -m**6/30 - m**5/20 - m**4/6 - 7*m**3/6 - 13*m**2. Is 8 a factor of f(-3)?
False
Let t(o) = 4*o**2 + o - 2. Let w be t(1). Suppose 3*n - 19 + 4 = -w*m, -25 = n - 5*m. Suppose -5*f = -10 - n. Does 2 divide f?
True
Let d(c) = -c**3 - 2*c**2 - 4*c - 3. Let z be d(-2). Suppose 139 = z*j - 351. Is 28 a factor of j?
False
Is 7 a factor of (-18)/6*(-201)/3?
False
Suppose -2*j = -0 - 6. Let n(o) = 4*o + 0*o - 2 + j*o + 12*o. Is 11 a factor of n(3)?
True
Let z be (-18)/4*304/(-8). Let f = z + -93. Is 14 a factor of f?
False
Let k be (-2)/4 + (-3)/(-6). Let v be k/(3/(-1)*-1). Suppose -8*d + 3*d + 85 = v. Does 5 divide d?
False
Let p(r) = 2*r**2 + 17. Does 19 divide p(5)?
False
Let f = 196 - -1245. Is f a multiple of 11?
True
Let t(y) = -y**3 - 3*y**2 + 4*y + 4. Let l be t(-4). Suppose -w + 75 = -4*o + l*w, -w - 130 = 5*o. Let f = -17 - o. Is 4 a factor of f?
True
Let u be (82/(-6))/(1/3). Let c = -9 - u. Does 16 divide c?
True
Let j be -25 + 22 + (-4)/(4/(-121)). Let o be 2/3*(-6)/(-4). Suppose 0 = -u + n + j + o, -4*n - 110 = -u. Is u a multiple of 33?
False
Suppose -2*d + 1420 = n, 5*d - 2189 - 1343 = 2*n. Is 5 a factor of d?
False
Suppose -519*j = -520*j + 1278. Does 78 divide j?
False
Let l = 1901 - -28. Is 18 a factor of l?
False
Let u = 151 - 82. Suppose t = -3*s + u, 3*t - 2*t - 2*s - 84 = 0. Does 45 divide t?
False
Let c = -13 - -14. Let a = c + 3. Let u(q) = -q**3 + 5*q**2 - 2*q + 6. Does 4 divide u(a)?
False
Suppose -38*p - 5 = -37*p. Let h = p + 65. Does 6 divide h?
True
Let w = 302 + -269. Does 3 divide w?
True
Let f(o) = -o**2 + 11*o + 263. Is 24 a factor of f(0)?
False
Let h = -33 - -17. Let w = 0 - h. Is 4 a factor of w?
True
Suppose 100*w - 2432 = 24*w. Is w a multiple of 4?
True
Let n(b) = -11*b - 36. Let z be n(5). Is ((-42)/6 - z)/((-1)/(-3)) a multiple of 14?
True
Let y(v) = v**2 + 6*v - 10. Let b(t) = -2*t**2 - 11*t + 21. Let u(d) = -4*b(d) - 9*y(d). Let s be u(-11). Let o = 9 + s. Is 4 a factor of o?
True
Let b = -9 + 8. Let j be 5 + (b - 0)*0. Suppose 0 = 4*p - 4*l - 48, 19 = j*p - l - 61. Is 17 a factor of p?
True
Let l = -1683 - -2833. Is 23 a factor of l?
True
Suppose 35 = 5*v + 5. Suppose -v = 6*q - 8*q. Suppose q*d + d + 2*f = 376, 0 = -2*d - 2*f + 184. Is d a multiple of 32?
True
Let o(j) = j**3 + 12*j**2 + 12*j + 15. Suppose -4*i + 29 = 73. Let k be 