13*s - 3. Let u be q(-7). Suppose u*h - h - 252 = 0. Does 3 divide h?
True
Let q = -6924 - -43385. Is 149 a factor of q?
False
Let a(m) = m**2 - 30*m - 104. Let u(t) = -5*t - 5. Let v be u(1). Is 4 a factor of a(v)?
True
Suppose -o + 3 = 0, 2*m + o = -2938 - 553. Let y = m + 2499. Does 16 divide y?
True
Suppose -4*q + 3*l + 6755 = 0, 2*l - 4654 = -4*q + 2116. Is 12 a factor of q?
False
Let p = 258 - -479. Let u = p + 287. Is u a multiple of 43?
False
Does 8 divide 14/91 - (-591720)/260?
False
Let v be (-2)/3*1008/(-96). Does 54 divide v + 367 - (-8)/2?
True
Let z = -55 - -29. Let b be -4 - (z + (-4 - -4)). Suppose -18*p - 528 = -b*p. Is 12 a factor of p?
True
Let j = -2331 - -5747. Is j a multiple of 4?
True
Suppose -4*a + 5588 = 5*y - 1494, 0 = 3*y + 18. Is a a multiple of 16?
False
Suppose -28*v + 97466 = -33357 - 9849. Is 36 a factor of v?
False
Is 7 a factor of (15/12 + (-2)/8)/((-12)/(-1824))?
False
Let i = -22609 + 26524. Does 3 divide i?
True
Let a(w) = 34*w**3 - 2*w**2 - 5*w + 7. Let j be a(3). Is 5 a factor of -3 - (j/(-14) - 2/7)?
False
Let x(b) = b**3 + 14*b**2 + 21*b - 9. Let m be x(-5). Let p be (-4 + 3 - -5)*-22. Let i = m + p. Is 2 a factor of i?
False
Suppose 4*y - 5*j = 325, 0*j + 4*j - 236 = -3*y. Let v be (1/5)/((-186)/(-30) - 6). Suppose -q + v = -y. Is q a multiple of 18?
False
Let c = -374 - -623. Is c a multiple of 3?
True
Let a = 13491 + -5688. Does 22 divide a?
False
Let g be (-2)/(-3 + 4) - 4. Let f be -3 + 0 + (-315)/g*2. Does 26 divide (-6)/(-12) + f/4?
True
Let a(g) = 199*g**2 - 201*g + 1814. Does 26 divide a(10)?
False
Let g = -2671 + 8019. Does 14 divide g?
True
Let z = -4963 - -7528. Is z a multiple of 57?
True
Suppose 17*h - 20*h + 5171 = -2*r, -3*h - r = -5177. Suppose 9*p = -6*p + h. Is 13 a factor of p?
False
Let t = 8715 + -7797. Is t a multiple of 4?
False
Suppose -m + 50 = -146. Let q = m + 20. Is 18 a factor of q?
True
Let z(l) = l**3 + 30*l**2 - 6*l - 42. Suppose 0 = 3*u - h - 7, -u + 4*h + 28 - 11 = 0. Let i be 2 + -30 + u + -15 + 12. Is 14 a factor of z(i)?
False
Suppose -5*x = -15, -5*q - 3*x + 13114 = 2310. Does 6 divide q?
False
Let w = 6082 - 2368. Is 5 a factor of w?
False
Let p(z) = z**3 + 10*z**2 + 3. Let h be p(-10). Suppose 0*m - 1083 = -2*m - h*g, 0 = 5*m + 3*g - 2694. Is m a multiple of 74?
False
Is 64 a factor of (-3771)/(-2095)*(-112390)/(-6)?
False
Let n(k) = -1622*k - 69. Is n(-7) a multiple of 61?
True
Let o = 617 + -623. Is 13/(-39) + (-6842)/o a multiple of 38?
True
Is -7 - (-4135 - 4 - (0 - (5 + -8))) a multiple of 30?
False
Is (-748 + 78)/(18/(-14) - (-4 + 3)) a multiple of 67?
True
Let k(t) be the second derivative of 15*t + 1/3*t**3 + 0 + 3/2*t**2 + 5/4*t**4. Is 4 a factor of k(-1)?
True
Let c be (15/6)/((-118)/(-60) + -2). Let l = 531 + c. Is 20 a factor of l?
False
Does 269 divide 34165 + ((-6)/(-9)*63/42 - 3)?
True
Suppose 2*d - 3*d + 19 = 5*c, -4*d - 5*c = -151. Suppose 0 = 7*l + 4*l - d. Suppose 5*q - 124 = l*q. Is q a multiple of 21?
False
Suppose -4*m = 3*b - 1937, -3*m - 5*b + 33 = -1406. Is m a multiple of 4?
True
Let h(r) be the second derivative of -r**5/20 + r**4/2 - r**3/2 + 2*r**2 + 359*r - 1. Let p = 4 - 1. Is h(p) a multiple of 10?
False
Let m(w) be the second derivative of w**2 + 0 + 73/6*w**3 + 6*w. Is 6 a factor of m(1)?
False
Let c(r) = 2*r**2 + 2*r. Let j be c(3). Suppose 4*k - 11 = 4*s + 5, 4*k - j = -4*s. Suppose 357 = 4*t - 5*o + 2*o, -4*o = -k*t + 445. Is t a multiple of 11?
False
Suppose -5*m + 11*m = m + 2400. Does 12 divide m?
True
Suppose -1274*f = -1267*f - 567. Let i(n) = 2*n**2 - 6*n + 3. Let p be i(4). Let a = f - p. Does 6 divide a?
False
Suppose -m - m - 262 = 0. Let h = -95 - m. Is h a multiple of 18?
True
Suppose -4*t - 4*s + 668 = 0, 2*t = -3*t + 5*s + 875. Is 15 a factor of (-4)/(2 + 12/(-3)) + t?
False
Let c(l) = 32*l**3 + 7*l**2 - 13*l - 16. Is c(4) a multiple of 2?
True
Let n(j) = -j**3 - 24*j**2 - j + 43. Let z be n(-18). Let i = -1035 - z. Is i a multiple of 53?
True
Let n = 4169 + 31165. Does 18 divide n?
True
Let q(h) be the third derivative of h**5/5 + 7*h**4/12 - 11*h**3/6 + 5*h**2 - 3*h. Is q(6) a multiple of 45?
False
Let c = -128 - -139. Let u(t) = 57*t + 33. Let x be u(c). Suppose 5*y - x = 1260. Does 48 divide y?
True
Let r(t) = -2*t**3 - 4*t**2 - 3*t - 3. Let c(y) = -y**3 + 11*y**2 + 12*y + 9. Let j be c(12). Suppose j*a = i + 4*a + 3, -2*a + 3 = -i. Is 8 a factor of r(i)?
True
Let j(y) = y**3 - 4*y**2 + 4*y + 5. Let i be j(4). Let v = -146 + 287. Suppose f = -i + v. Is 12 a factor of f?
True
Does 45 divide ((-58)/319)/((-1)/(-11)) - -97*71?
True
Suppose -16369 = -3*i - 2*h + 14373, 30741 = 3*i + 3*h. Is i a multiple of 28?
True
Let k be (626/(-3))/(4 + (-10)/3). Let s = k + 1967. Is s a multiple of 12?
False
Let z = 138 - -953. Is z a multiple of 3?
False
Does 18 divide -2*((-36)/(-10))/((-6)/(12 + 9798))?
True
Suppose 94*n - 7983 - 11043 = -6618. Is n a multiple of 4?
True
Let a(n) = n**2 - 3*n - 20. Let r be a(9). Let t(m) = 4*m**3 - 2 - 5*m**3 + r*m + 4*m**2 + 9*m**2. Is t(15) a multiple of 29?
True
Let t be 9*(-4)/(-6) - 4. Suppose -3*y + 937 = 2*b, b + 5*y = t*y + 476. Is 18 a factor of b?
False
Suppose 2*i + 5*c - 5233 = 0, -59*c + 10436 = 4*i - 55*c. Is i a multiple of 28?
True
Let r(j) = -47*j - 66. Let d be r(-28). Suppose -4*o - 2*g = -d, -5*o = -g - 995 - 550. Does 31 divide o?
True
Let d(f) = 2*f + 4. Let y be d(-2). Suppose -2*a - 2*a + 3*k + 36 = y, -k + 26 = 5*a. Suppose a*v = v - 25, -4*v - 310 = -2*s. Is 31 a factor of s?
False
Let r(c) = 528*c + 2. Let v be r(0). Let u = 119 + -82. Suppose -2*g + u = w, v = -2*g + 6. Is 4 a factor of w?
False
Let n(k) = k**2 - 2*k + 866. Let g be -3*4*4/24 - -2. Let q be n(g). Suppose -7*l + 331 = -q. Is l a multiple of 7?
False
Let c = 2276 - 2004. Is c a multiple of 17?
True
Let u = 357 + -355. Does 4 divide 46 - (1 - u - 5)?
True
Let s be 32/48*(-18)/(-1). Suppose 0 = -s*k + 9*k + 708. Let a = 376 - k. Is a a multiple of 20?
True
Suppose -6*l + 74*l - 1094 - 283622 = 0. Is l a multiple of 7?
False
Suppose 9*l + 145*l + 100*l = 6101588. Does 15 divide l?
False
Let f(a) = -42*a + 3. Let w(u) = u**3 - 5*u**2 + 3*u - 2. Let c be -1*6/(-9)*6. Let m be w(c). Is 51 a factor of f(m)?
True
Is 13 a factor of (-4)/10*(-10)/12 - 32845/(-15)?
False
Let i(v) = v**3 + 3*v**2 + v + 3. Let k be 2/(-7) - (-12)/(-7). Let x be i(k). Suppose -5*s + 200 = -x*c, -2*s - 5*c + 74 = -c. Does 13 divide s?
True
Let f(s) = -14*s**3 - 20*s**2 - 73*s - 19. Is 2 a factor of f(-3)?
True
Suppose -33*q + 30*q = -249. Let s = q - 64. Let j = s + 21. Does 5 divide j?
True
Suppose 888 = 3*d + m - 1344, -2229 = -3*d - 2*m. Let z = d - 685. Is 2 a factor of z?
True
Suppose 11*r - 10*r - 10885 = -3*i, -43474 = -4*r - i. Does 16 divide r?
False
Let w = 18328 + -10939. Does 31 divide w?
False
Let u = 19174 - 2018. Is u a multiple of 31?
False
Let d(v) = -1022*v**2 + 16*v + 7. Let j(c) = 1023*c**2 - 14*c - 6. Let g(y) = 5*d(y) + 6*j(y). Is 11 a factor of g(1)?
True
Suppose 6109 = 3*j - 695. Is 18 a factor of j?
True
Let r = -39 + 38. Let t = r + -2. Does 15 divide 1*-3 + ((-540)/(-6) - t)?
True
Suppose 2680 = 4*r - 5*f, -5*r - 2*f - 1734 = -5117. Is 21*(-64)/14*r/(-60) a multiple of 8?
True
Suppose 10*k - 480 = 4*k. Suppose 0 = -4*y - 0*y + k. Is 860/y*(2 + -1) a multiple of 12?
False
Let d(o) = 6*o. Let m be d(-1). Let w(y) = -y**3 - 6*y**2 - 7*y - 2. Let v be w(m). Suppose 4*r = 536 + v. Is 48 a factor of r?
True
Let c = 1873 + -193. Is c a multiple of 3?
True
Suppose y - 16 = -14. Let k be y/(-3) - (-1250)/3. Suppose k = -21*o + 25*o. Is o a multiple of 24?
False
Suppose 4*r - 3*k = -6*k - 12, -5*r + 2*k + 8 = 0. Suppose r = i - 9*i + 552. Is -3 - i/(-21) - (-416)/14 a multiple of 9?
False
Let i = 3616 - 3127. Is i a multiple of 60?
False
Suppose 0 = 5*k + 2*z - 3430, 4*k + 8*z - 5*z - 2751 = 0. Suppose 7*s - k = s. Is 6 a factor of s?
True
Suppose a = 227*a + 43*a - 7708195. Is 11 a factor of a?
True
Suppose -5*c + d = 216, -3*c = 2*d + 2*d + 148. Let f = -41 - c. Suppose -2*u + 10 = 0, -f*u = -2*m - 4*u + 177. Is m a multiple of 26?
False
Let b = 31553 - 21762. Is 30 a factor of b?
False
Let f = 1904 + -1252. Suppose f = 6*l - 314. Is 15 a factor of l?
False
Let j(o) = 2028*o - 97. Is j(2) a multiple of 3