divide u?
False
Suppose -a + 2*m = -6, 2*a + m - 6 = 3*m. Let o(i) = 23*i + 220. Let d(y) = 8*y + 73. Let w(q) = -17*d(q) + 6*o(q). Is w(a) a multiple of 21?
False
Let w = 719 - 224. Is w a multiple of 41?
False
Let h(i) = -23*i - 85. Let y be h(-4). Let j = 4 + 7. Suppose 40 = -y*v + j*v. Is 2 a factor of v?
True
Let d(r) = 2*r + 8*r**2 - 2*r + 46*r**2. Let i be d(-1). Suppose 42 = 4*s - i. Does 15 divide s?
False
Let l = 676 - 400. Let c = l + -136. Is 45 a factor of c?
False
Suppose 0 = -2*q + 5*q - 15. Suppose -2*j - 2*s + 1944 = s, q*j + 3*s = 4860. Does 5 divide j/28 - 4/(-14)?
True
Let p(q) = q + 13. Let l be p(-12). Suppose -2*r = 4*x - 10, x - r = -0*x + l. Suppose a - x*y - 2 = 0, 3*a - 3*y - 6 = -2*y. Is 2 a factor of a?
True
Let z be (8 - 13)*(-216)/(-10). Let t = -28 - 139. Let k = z - t. Does 14 divide k?
False
Let u = -255 + 442. Let v = 118 - u. Let w = 15 - v. Is w a multiple of 16?
False
Suppose -4*t = t + 5*r - 1905, -t + 2*r = -396. Suppose 5*x = -3*u + 281, 4*u - 3*x - t = -4*x. Is u a multiple of 7?
False
Let a = -45 + 278. Let b = a - 124. Is 23 a factor of b?
False
Does 18 divide ((-204)/(-36))/((-1)/(-54))?
True
Let n(d) = 4*d + 18. Let c be n(-6). Is 14 a factor of ((-1904)/24)/(c/9)?
False
Suppose -4*f + 8*f - 30 = -5*d, 2*f - 10 = 0. Let o be (0 + (-172)/(-8))*d. Let x = 79 - o. Is x a multiple of 12?
True
Let d = -735 - -807. Is 9 a factor of d?
True
Let m = 16 - 11. Suppose 0 = -m*k + 2*h + 198, -4*k - k - 3*h + 178 = 0. Does 16 divide k?
False
Let v(z) = 50*z**3 + 6*z**2 - z + 4. Let r(x) = x**3 + x**2 + 1. Let f(c) = -5*r(c) + v(c). Let t(u) = u. Let j be t(1). Does 26 divide f(j)?
False
Let v = 10 - 4. Suppose 3*t - 3 = -0, 2*t - v = -2*y. Suppose -4*w + 4*r + 24 = -0*r, 0 = -y*r - 2. Is 5 a factor of w?
True
Suppose -2*z = 4*i - 5062, -7 = 3*z + 2. Is i a multiple of 74?
False
Suppose 5*h = 1444 - 344. Does 11 divide h?
True
Suppose 0 = -2*f + 5*k + 552, -2*f - 4*k + k + 552 = 0. Is 46 a factor of f?
True
Suppose 4*a - 36 = -5*c - 0*c, -c + 9 = -a. Suppose 9*h - c*h - 5 = 0. Suppose -6*i + 37 = -h*i. Does 19 divide i?
False
Suppose -15*w + 1632 = w. Is 34 a factor of w?
True
Suppose x - 12 + 0 = 0. Suppose -4*o + 14 = c, -x - 3 = -5*o. Suppose 2*w + 11 - 88 = s, -3*w + c*s = -118. Does 13 divide w?
False
Let l be (3*12)/1*2. Let k be l/15 + 1/5. Suppose -44 = -k*z + z. Is z a multiple of 5?
False
Suppose 5*c + 3*y - 8662 = 0, -6*c = -10*c - 3*y + 6932. Is 10 a factor of c?
True
Let s be 6/2 + 0*(-1)/(-5). Suppose -146 = -5*a - s*i, 2*i - 60 = -2*a - 0*i. Is a a multiple of 15?
False
Let a(z) = 17*z**2 + 6*z + 7. Let f(u) be the second derivative of u**3/6 - 3*u**2/2 - 9*u. Let t be f(1). Does 24 divide a(t)?
False
Let v(u) = -5*u. Let k be v(2). Let g = k - -5. Let d = -2 - g. Is 2 a factor of d?
False
Suppose -3*x = -2*w - 536, 4*x + 366 = 6*x + 3*w. Does 5 divide x?
True
Suppose 37*d - 40*d = -1800. Is 24 a factor of d?
True
Suppose -5*d = -0*r - 3*r - 410, 3*d + 3*r = 222. Is d a multiple of 3?
False
Suppose -6*k + 2*k - 24 = 0. Let n(m) = -m**3 - 6*m**2 + 3. Let b be n(k). Is (-60 - -3)/(2 - b) a multiple of 19?
True
Let a(g) = -2*g - 7. Let q be a(-5). Suppose u = -v + 9, 2*u - 5*u + 5*v + 43 = 0. Suppose q*f - 83 = -u. Does 24 divide f?
True
Let l = -730 - -1336. Is 3/(-2)*(-1 - l/18) a multiple of 13?
True
Let z be (-1)/(-2) - (-133)/14. Let c = 40 - z. Let x = c - 11. Does 14 divide x?
False
Is 11 a factor of (-180)/(-6) - (0 + -3)?
True
Let g(b) = 4*b**2 - b**2 + 2*b - 2*b**2 + 99 - b**3. Is g(0) a multiple of 33?
True
Let i(y) be the third derivative of -y**7/840 - y**6/60 - y**5/30 - 3*y**4/8 - y**3 + 4*y**2. Let u(v) be the first derivative of i(v). Does 14 divide u(-6)?
False
Does 6 divide -3 - 228/15*510/(-12)?
False
Let x = -24 + 21. Let k(a) = a**3 + 4*a**2 + a - 1. Let v be k(x). Suppose 0 = f + 5*r - v, 100 = 3*f + r - 3*r. Is f a multiple of 5?
True
Suppose 4*h + 4 + 80 = 0. Let d(r) = r**2 + 14*r - 3. Is d(h) a multiple of 48?
True
Let q(y) = -y**3 + 8*y**2 - 2*y + 21. Does 27 divide q(6)?
True
Let q(v) = -5*v**3 - 2*v**2 + 4. Let f(d) = -2*d. Let i be f(1). Let k be q(i). Let w = -6 + k. Is w a multiple of 15?
True
Suppose 3*h + 25 - 8 = -y, 16 = -4*h. Is 7 a factor of -2*y/(-5) + 37?
True
Is 9 a factor of (60/3 - -2)/(1/56)?
False
Let j(v) = 96*v + 66. Is 17 a factor of j(17)?
False
Let c = -217 + 299. Is 78 a factor of c?
False
Let c = 214 - -106. Is c a multiple of 9?
False
Let n = 8 + -4. Let t be ((-28)/7)/(3 + -1). Is 8 a factor of (-46)/n*t + 1?
True
Suppose 33*h = -12582 + 78648. Is h a multiple of 14?
True
Let j(m) = 2*m**3 + m**2 + m + 1. Let k be j(-1). Let q(u) = 7*u**2 + 11*u - 6. Let l be q(-6). Does 17 divide (l/70)/(k/(-7))?
False
Suppose -c = 2*k - 63, -3*c = -c + 5*k - 121. Let v = -41 + c. Does 13 divide v?
False
Let w(h) = -33*h - 15. Does 8 divide w(-7)?
True
Let w be (-2)/(-8) + 23/4. Suppose -3*h + 4*y - 12 = -2*h, -5*h = -y + 60. Does 22 divide 124/w - 16/h?
True
Suppose 0 = -3*p + 1 + 5. Suppose p*a - 4*a = 6. Let k(c) = -2*c**3 - 3*c**2 + 3*c - 4. Does 6 divide k(a)?
False
Let m = 31 + 104. Is m a multiple of 15?
True
Suppose 8*y + 2736 = 14*y. Is y a multiple of 16?
False
Does 31 divide (-106)/(-20)*82 + (-9)/15?
True
Let f(t) = -15*t**3 - 4*t**2 + 7*t + 13. Let v(h) = -7*h**3 - 2*h**2 + 3*h + 6. Let b(m) = -6*f(m) + 13*v(m). Let w = 3 + -6. Does 6 divide b(w)?
True
Suppose 2*n - 4 = 6, n + 927 = 4*w. Let k = 365 - w. Does 22 divide k?
True
Let t = 1 - 35. Let p be (t/(-4))/(5/10). Let b = p - -4. Does 21 divide b?
True
Let b(s) = s**3 - 9*s**2 - 10*s + 12. Suppose 3*p - 99 - 3 = 0. Let r = -24 + p. Is 4 a factor of b(r)?
True
Suppose -5*x + 2*y - 1226 = y, 0 = x - y + 246. Does 16 divide x/(-14) + (2/(-4))/1?
False
Let r(p) = 17*p**2 + 57*p - 430. Does 9 divide r(7)?
False
Suppose 6*k - 27 = -3*k. Suppose -60 = -k*s + 2*s. Does 15 divide s?
True
Suppose 7*r - 159 - 233 = 0. Is 27 a factor of 1892/7 + (-16)/r?
True
Suppose -c = -3*f + 10, -4*f - 5*c + 30 = -3*c. Suppose f*y - 104 = y. Does 8 divide y?
False
Let t(q) = -q - 4. Let p = 0 + -4. Let f be t(p). Suppose -x - x + 50 = f. Is 8 a factor of x?
False
Let t(x) = x + 6. Let p be t(-8). Let c be 90/(-27)*3/p. Suppose -3*h + c*r + 263 = 0, 4*r + 0*r = 8. Is h a multiple of 24?
False
Does 7 divide (-8 - -15 - 6) + (1 - -608)?
False
Suppose 394 = -4*z - 3*u + 2103, -2*z + 3*u + 859 = 0. Is z a multiple of 107?
True
Let y = -18 - -23. Suppose 4*b - 256 = -4*l - l, 0 = -3*l + y*b + 124. Is 12 a factor of l?
True
Let i(o) = 6*o - 7. Suppose -3*z - 36 + 6 = 0. Let a(v) = -v**2 - 12*v - 14. Let g be a(z). Does 26 divide i(g)?
False
Let q be (-1 + 2 - 0)*-1. Let p(u) be the third derivative of 7*u**5/15 - 4*u**2. Is p(q) a multiple of 17?
False
Let b = 23 + -21. Suppose 8*s - 84 = b*s. Is s a multiple of 9?
False
Suppose 84 + 4 = 4*y. Suppose 22 = w - y. Is w a multiple of 29?
False
Let f(a) = 2*a - 2. Let v be ((-20)/(-16))/(3/36). Suppose -5*r + v = 5. Is f(r) even?
True
Let p(t) = -2 + 14*t - 15*t + 8*t**2 + 2*t. Is p(1) even?
False
Let v(w) = 91*w - 123. Does 11 divide v(11)?
False
Does 69 divide (6210/(-12))/(3 - (-57)/(-18))?
True
Let l = 15 - 17. Let d(w) = -4*w - 1 - 2*w**3 + 3*w - 4*w**3. Is d(l) a multiple of 28?
False
Let x = -12 - -8. Let k(d) = -d**3 - 5*d**2 - 5*d - 3. Let l be k(x). Is (156/24)/(l/2) a multiple of 3?
False
Let i(b) = 3*b - 14. Let f be i(6). Suppose -15 = x - f*x. Is 5 a factor of x?
True
Let m = 2144 - 1696. Is 32 a factor of m?
True
Suppose -3*k = -5*f + 474, k - 59 = -5*f + 423. Is 24 a factor of f?
True
Let o be 81/6*(-8)/(-6). Suppose o = a - 30. Is 24 a factor of a?
True
Let i(r) = 2*r**2 + r. Let b be i(1). Suppose 255 = -b*d - t, -d - 348 = 3*d + 4*t. Is 22/((-7)/(d/8)) a multiple of 11?
True
Suppose -3*j - 2*v + 749 = 0, -5*j - 21*v = -18*v - 1247. Does 15 divide j?
False
Let n be 0 - ((-15)/3 - -2). Suppose 0*c = n*c. Suppose c = -4*j + a + 33, -2*j - 3*j + 45 = -2*a. Does 7 divide j?
True
Suppose -2*j - 493 = -31*j. Does 17 divide j?
True
Suppose -d = -4*d - 9. Is (5/d)/(11/(-198)) a multiple of 30?
True
Let p = 429 - -87. Is p a multiple of 12?
True
Let q(y) = y**3 + 3*y**2 + 4*y + 4. Let x = 15 + -18. Let z be q(x). Does 29 divide 205/7 - z/(-28)?
True
Suppose 0*j + 5*j