se -3*l - 108 = -9*l. Suppose b = 81 + l. Let z = 41 + b. Is 28 a factor of z?
True
Suppose -9280 = 42*m - 46*m. Is 29 a factor of m?
True
Let x(t) = 243*t**2 - 676*t - 3. Is x(-6) a multiple of 17?
True
Let m(s) = 197*s**3 - 2*s**2 - 112*s + 228. Does 9 divide m(2)?
False
Let v be (-4842)/4 - 30*14/168. Let b = v - -2261. Does 24 divide b?
False
Suppose 54*a = 52*a + 8. Suppose a*r - 40 = -4*r. Is (-902)/(-10) + (-1)/r a multiple of 15?
True
Let n = -125 + 125. Suppose -m - 12*z + 215 = -16*z, -5*z - 10 = n. Is m a multiple of 3?
True
Suppose 3199*h - 3196*h - 5842 = -586. Is h a multiple of 12?
True
Suppose 23*k = 17595 + 24196. Is 79 a factor of k?
True
Let a = -13402 + 26650. Is 4 a factor of a?
True
Suppose -4*a - 4 = 2*u, 0 = a - u - 13 + 11. Let b(p) = p**2 - 25*p + 9. Does 9 divide b(a)?
True
Let j(w) = w**2 + 33*w + 237. Let k be j(-23). Is 19 a factor of 722/((1 + k)/8)?
True
Does 7 divide 4022 - 11/((-143)/312)?
True
Let b(i) be the first derivative of 537*i**2/2 + i + 143. Is b(1) a multiple of 33?
False
Let h = -5773 + 6240. Is 6 a factor of h?
False
Let u = 200 + -135. Suppose 6*h - 1456 = 32*h. Let y = u + h. Is y a multiple of 9?
True
Is 22 a factor of 9 + (-11 - -13) - -9625?
True
Is (5 - 2)*20902/42 a multiple of 121?
False
Suppose t - 87205 = 29*d - 38*d, 9685 = d + t. Is d a multiple of 38?
True
Let m = -167 - -168. Let x(b) = -55*b**2 + 5*b + 2. Let h(c) = -28*c**2 + 3*c + 1. Let z(n) = 5*h(n) - 3*x(n). Is 6 a factor of z(m)?
True
Is ((-9)/((-27)/(-5280)))/(1 + (-45)/36) a multiple of 110?
True
Let x(l) = 2*l**2 + 20*l - 2. Let m be x(-11). Let f(i) = -10*i + m - 70*i**2 + 71*i**2 - i. Is f(12) a multiple of 5?
False
Let c be (-2 + 3/2)/((-8)/10656). Let g = c - 466. Is g a multiple of 8?
True
Let m(o) = o**3 + 17*o**2 - 20*o - 18. Suppose -i + q = 3*i + 9, 0 = 4*i + 3*q + 5. Let g(a) = -6*a**2 + 3*a + 12. Let w be g(i). Is m(w) a multiple of 5?
False
Let o(l) = 4*l**3 - 20*l**2 + 13*l - 12. Let f be o(8). Let w = f + -508. Does 19 divide w?
False
Let k = 302 - 284. Suppose -7*c = -k*c + 2607. Does 26 divide c?
False
Let y be -3 + (-1)/((-3)/9). Suppose -5*b = j - 108, -3*b = 2*j - y*b - 216. Is 18 a factor of (j/75)/(6/30)*10?
True
Let l(w) = w**3 - 18*w**2 + 3*w - 19. Let y be l(18). Does 22 divide 10/y - 2476*(-5)/35?
False
Suppose 0 = -358*y + 30271 + 3381. Is 2 a factor of y?
True
Let d = -39 - -94. Suppose d*c = 62*c - 1568. Does 32 divide c?
True
Let k be (-292972)/(-20) - 6/(-15). Is k/13 + 12/78 a multiple of 49?
True
Let o be 4411/22*2*-1. Let y = -228 - o. Does 23 divide y?
False
Suppose -42*g - 48*g + 25964 = -373636. Does 15 divide g?
True
Let j(w) be the second derivative of -13*w**3/2 - 63*w**2/2 + 15*w - 8. Is j(-3) a multiple of 6?
True
Suppose -1115 = 5*h + 4*m - 3053, -4*m + 1556 = 4*h. Does 24 divide h?
False
Suppose 0 = y + 3, y = 3*d + 4*y - 1221. Suppose 7*a - 409 - d = 0. Is 9 a factor of a?
True
Suppose -12*n - 48 = 156. Let u = 115 - n. Is u a multiple of 6?
True
Suppose -7*o - 4*z + 124 = -11*o, 3*o + 94 = 4*z. Does 14 divide 177/(6*(-5)/o)?
False
Let s(n) = -24*n - 26. Let m be s(-5). Suppose -24*l = -22*l - m. Does 5 divide l?
False
Let v = 142 - -26. Suppose f - 56 = -d - 2*d, 3*f = 3*d + v. Is 13 a factor of (-14)/f + (-418)/(-8)?
True
Is 127 a factor of ((-635)/(-3))/(465/8928)?
True
Suppose -4*c - 396 = 4*a + 784, 4*a = 3*c + 850. Is (3/(-10))/(29/c) even?
False
Is 195 + 1512 - (-4 + 1) a multiple of 38?
True
Let t be (-1532)/13 - (-34)/(-221). Suppose 5*i + 98 + 242 = 0. Let c = i - t. Does 36 divide c?
False
Let a(y) be the third derivative of y**5/3 + y**4/3 + y**3/6 + 39*y**2. Is a(3) a multiple of 41?
True
Let q(f) = 2*f**2 - 23*f + 13. Let n be q(11). Suppose -4*j + 2*p = -3836, n*j - 1922 = -25*p + 24*p. Is 14 a factor of j?
False
Let g be ((-4)/1)/4 + -3. Let k be (-12)/8 + 1 + 18/g. Is 14 a factor of (-601)/k - -2 - 14/70?
False
Suppose 2*z + 10*z - 2772 = 0. Let v = z + 840. Is v a multiple of 17?
True
Does 6 divide -273*(-9 + 444/84)?
True
Let a(b) = -3*b - 5*b - 2*b**2 + 4*b + 7 + 20*b**3 + 0*b. Does 28 divide a(2)?
False
Let a = -6473 + 6797. Does 54 divide a?
True
Let w = 35 - 26. Suppose -21*j = -w*j - 1356. Is 5 a factor of j?
False
Let p(r) = 14*r**3 - 27*r**2 + 74*r - 310. Does 91 divide p(5)?
False
Suppose 13*f - 17*f + 3*l = -28, -4*l = 0. Suppose 3*m - 682 = 2*b, -3*m = -4*b + f*b - 687. Is 8 a factor of m?
False
Is 9 + (-4)/(-16)*36884 a multiple of 13?
True
Suppose 10730 = -75*g - 28645. Suppose -3*z + 1 = -14. Is 9 a factor of (-1 + g/z)/(-2)?
False
Let u(y) = 9*y**2 + 59*y + 20. Let p be u(-6). Let k = -124 - -10. Does 12 divide 5/(p/k) - -1?
False
Let y(n) = -2*n**2 - 121*n - 138. Does 3 divide y(-54)?
True
Let i(b) be the second derivative of 2*b**3/3 + 4*b**2 - 3*b. Let g be i(-2). Suppose g = 12*u - 3*u - 216. Is 4 a factor of u?
True
Let s(h) = -h - 1. Let b be s(-5). Suppose -x + 13 = b*c, -4*c = 2*x + x - 23. Suppose -x*j + 142 = 2*m, -m = -j + 23 + 11. Is j a multiple of 14?
False
Let b(n) be the first derivative of n**4/4 - 4*n**3/3 + 5*n**2 - 2*n + 1. Let y(f) = 5*f**3 + 5*f**2 + f - 5. Let p be y(1). Does 26 divide b(p)?
True
Suppose 0 = 42*j - 29187 - 56502 - 50559. Does 177 divide j?
False
Let x(h) = -23*h - 1. Suppose 56 = 16*k - 40. Suppose -j = -p + 4*j - k, -2*j = -p - 3. Does 22 divide x(p)?
True
Is 20 a factor of ((-8880)/518)/(9/(-42))?
True
Suppose 81*d - 4*t - 2316 = 77*d, -1164 = -2*d - 4*t. Does 4 divide d?
True
Let r(h) = -7*h**3 - 12*h**2 - 19*h + 8. Let u be r(-6). Suppose -3*a - j - 937 = -36, 4*a = -2*j - u. Let y = 426 + a. Is 21 a factor of y?
True
Let q(h) be the third derivative of 20/3*h**3 + 0 + 1/12*h**4 + 0*h - 6*h**2. Is q(0) a multiple of 13?
False
Suppose 0 = -4*p - 2*p + 336. Let u = p - 5. Suppose 0 = -d + 21 + u. Is 21 a factor of d?
False
Let m be (3 - 2 - 8)/1*-1. Suppose -m*n + 1694 = -0*n. Does 22 divide n?
True
Is 33 a factor of (-66)/((-1526)/304 + (-3 - (-4 - 4)))?
False
Let f(z) = 9*z - 16. Let t be f(10). Suppose j = 83 - t. Is ((-120)/j)/4*(-480)/25 a multiple of 7?
False
Is 104 a factor of (-8)/1 - (-20892 - (-70 + 23))?
False
Does 125 divide (((-73092)/90)/(1/3))/(4/(-10))?
False
Let x = -2783 - -3656. Does 2 divide x?
False
Is (-427635)/(-165) - 33/(-121) a multiple of 24?
True
Let z(m) = 2*m**2 + 3*m. Let y be z(-3). Let j = 3115 + -3113. Suppose -y*l + 2058 = -j*l. Does 11 divide l?
False
Let h = -586 - -5464. Is 12 a factor of h?
False
Let c be 1/((-4)/(-14))*(-2028)/(-2). Suppose -4*k - 6*h = -3*h - 3561, -4*k = -h - c. Does 21 divide k?
False
Let u = -76 + 78. Suppose c - d = 391, 6*c - u*c - 1569 = 3*d. Does 33 divide c?
True
Suppose -30 = -3*q + 3. Let c(j) = 2*j**2 - 18*j + 20. Let f be c(q). Suppose -n - 2 = 0, 3*u + n - 222 = f. Does 20 divide u?
False
Suppose 0 = 4*p - 3*p + 387 - 3512. Is 25 a factor of p?
True
Suppose -1842 = -7*b + 4*b + 5*p, 5*b = -2*p + 3039. Is 87 a factor of b?
True
Suppose -19 = -y - 2*k, 3*y - 27 - 3 = 3*k. Let u be (-3 - y)*(-4)/(16/2). Suppose 2*h - u*s + 6*s = 66, 0 = -3*h + 5*s + 105. Does 6 divide h?
True
Let k(z) = -8*z**3 - 2*z - 1. Let r be k(-1). Suppose -3*l + 9 = -r. Suppose l*s = 4*s + 30. Does 3 divide s?
True
Let n be (8/20)/(19/(-5) + 4). Suppose 2573 = 4*t + 5*f, 4*t = n*t + 5*f + 1249. Does 31 divide t?
False
Let a be (-1)/4 + 1/((-16)/76). Let l be 3 + (-469 + -1)/a. Suppose 2*d - l = -37. Does 11 divide d?
False
Is 103 a factor of ((0 - 41401) + 2/(2/(-5)))/(-1)?
True
Suppose -2003 = -m - 5*v, 0*v - 4*v + 4018 = 2*m. Does 183 divide m?
True
Suppose -78*o + 12084 + 39739 = -24149. Does 19 divide o?
False
Suppose 537 = 4*t - x - 460, -4*x = 3*t - 762. Does 39 divide t?
False
Let t = -39 - -61. Is 12/(-2 - t/(-8))*16 a multiple of 29?
False
Let d(j) = j**3 + 2*j**2 - 10*j - 10. Let s(o) = -62*o**2 + 4*o - 2. Let b be s(1). Let w = 57 + b. Does 11 divide d(w)?
True
Let o be ((-8)/6)/(25/(-750)). Is 4 a factor of 6/18*6 + o?
False
Suppose 5*p = -4*h + 47874, 4*p - 21*h = -19*h + 38268. Is 29 a factor of p?
True
Let o be 12/(-21) - (-4516)/14. Let u = 122 + o. Suppose -2*f + u = 4*f. Does 6 divide f?
False
Let b(v) = 11 + 12 - 4*v - 49*v - 27 + 5 + 154*v**2. Is 5 a factor of b(1)?
False
Let d be 2 + -2 + (-7 + 5 - 0). Let j be (-102)/(-10) - (d + (-22)/(-10