74) + -4)?
False
Let j(q) = q**2 + 4*q. Let m be j(17). Suppose m = 3*w + 4*w. Let g = w + -22. Does 17 divide g?
False
Suppose 2*k = -2 + 42. Let m = k - 16. Suppose m*j + 5*a = 421, -3*j - a + 203 = -j. Is 32 a factor of j?
False
Let p(g) = g**3 - 4*g**2 - 7*g - 2. Let x(n) = n**2 - 4*n - 6. Suppose 3*d - 8 = 4*c + 10, d + 3*c - 6 = 0. Let b be x(d). Is p(b) a multiple of 7?
True
Let y(c) = 621*c**2 - 2*c - 3. Let s be y(-1). Let o = s + -183. Does 3 divide o?
False
Let l = 40 + -13. Suppose 0 = 6*t - l - 51. Suppose -3*c - 4 = -t. Is c even?
False
Suppose 3 = -6*w + 3. Suppose -3*d + 0*d + 2*g - 163 = w, 0 = -2*d + 3*g - 107. Let f = 9 - d. Is f a multiple of 7?
False
Suppose 0 = -69*i + 64*i + 17010. Suppose 55*u + i = 62*u. Is u a multiple of 81?
True
Let o(p) = -62*p + 9954. Does 16 divide o(127)?
True
Suppose -6*h + 7*h - 223 = -3*b, 4*b - 438 = -2*h. Suppose 2*g + 7 = -3, -4*n + h = g. Is 9 a factor of n?
True
Is 26*(3 + (-4)/(-24)*438) a multiple of 13?
True
Let o(z) = -840*z - 154. Is o(-4) a multiple of 14?
True
Let p be 84/16*-2*2/(-3). Suppose p = 5*i + 207. Is 40 a factor of (56/10)/((-4)/i)?
False
Let k(s) = 6*s**2 + 11*s - 2. Let t(l) = -5*l**2 - 10*l + 3. Let d(o) = 4*k(o) + 5*t(o). Let z be d(-7). Suppose z = 4*f + 8*f - 1812. Is f a multiple of 9?
False
Suppose 3*r - 3181 = -z, 0 = 2*r - 3*z - 1562 - 544. Suppose 6*m - 507 - r = 0. Is m a multiple of 95?
False
Suppose 11*n - 10*n + p = -153, 5*p - 15 = 0. Let b = n - -981. Does 75 divide b?
True
Let c be (36/5)/(6/180). Let u = c + 32. Suppose -5*r = 3*a + 48 - u, 3*a = 5*r + 190. Does 16 divide a?
False
Suppose 0 = -4*c - 3*p - 5, 8 = -4*c - 0*c - 4*p. Suppose 0 = 4*f - 3*o - 6, c + 3 = -f - 2*o. Is 6 a factor of 24/32 - 42/(-8) - f?
True
Suppose 2*w = -o - 25 + 207, -173 = -o - 5*w. Suppose 2*m = -2*m + j + o, -12 = 3*j. Suppose -m*n + 63 = -43*n. Is n a multiple of 21?
True
Let q(d) = -27*d**3 + 3*d + 2. Let v be q(-1). Let k = v - 27. Does 2 divide (-8)/6*((-39)/6 + k)?
True
Does 33 divide 6/((-14)/42 + (-1046)/(-3102))?
True
Let w = -24 - -53. Let i = 19 - w. Is 15 a factor of (4 - 105/i)*4?
False
Let w = -6532 - -11272. Is w a multiple of 72?
False
Let a(w) be the third derivative of -7*w**6/120 - w**5/10 - w**4/4 - 8*w**3/3 - 11*w**2 - 6*w. Is a(-4) a multiple of 8?
True
Suppose -4*i + 8 = -v, 8*i - v - 9 = 3*i. Let y(n) = 192*n + 11. Is 6 a factor of y(i)?
False
Suppose -2*h = 4*o - 40742, -o = -4*o + 4*h + 30595. Is o a multiple of 239?
False
Suppose 5*p - 6*p - 1399 = -5*k, -2*k = -p - 1402. Let o be (-2)/(-7) + p/63. Let m = o - -51. Is m a multiple of 29?
True
Let h(l) = 2*l**3 + 67*l**2 + 82*l + 21. Is h(-30) a multiple of 39?
True
Suppose -2*s - 3 = -5*o, 0 = -3*s - 2*s - 20. Is (-136 + -3 + o)/(6/(-15)) a multiple of 23?
False
Let t = -26274 - -48514. Does 160 divide t?
True
Let t(u) = -u**3 - 13*u**2 - 10*u + 49. Let s be t(-12). Is (s/10)/(4/168) a multiple of 15?
True
Let t(c) be the third derivative of -c**5/30 - 3*c**4/8 - c**3/3 + 22*c**2. Let l be t(-4). Suppose s - 41 = 2*a + 3*a, 50 = l*s - 2*a. Is 18 a factor of s?
False
Suppose 4*v = -2*z + 41938, 3*v + 4*z - 31025 - 446 = 0. Is 21 a factor of v?
False
Suppose 0 = 21*d - d - 47800. Is 7 a factor of d?
False
Suppose 14 = 30*d - 37*d. Is (-300)/((-6)/(-8)*d) a multiple of 25?
True
Let b(d) = -2*d**2 - 14*d - 9. Let l be b(-6). Let q(n) = 15*n**2 - 1 + 14*n - 4*n**2 + 10 + n**l. Is 27 a factor of q(-6)?
False
Suppose -3*k + 5*a + 33150 = 0, -5*a = -110*k + 105*k + 55260. Is 335 a factor of k?
True
Let n(j) = -12*j - 114. Let t be n(-11). Is (((-860)/3)/5)/((-6)/t) a multiple of 18?
False
Suppose 9*z + 9 = -63. Is 10 a factor of ((3 - 5) + 22)/(z/(-52))?
True
Let l = 1873 - -199. Suppose -l - 3076 = -22*z. Is 9 a factor of z?
True
Is 214 a factor of (-41924)/564*(-2 + 1280/(-2))?
True
Let k(o) = -60*o + 2. Suppose 2*p - 7 + 9 = 0. Let j be k(p). Suppose -18 - j = -8*u. Does 10 divide u?
True
Suppose -5*d - 198 - 32 = 0. Let y = d - -121. Suppose 3*o - 363 = -y. Is o a multiple of 16?
True
Let c(i) = -i**3 + 6*i**2 + 3*i - 6. Let r be c(6). Suppose -12 - r = -6*h. Is 7*(8 - h)/2 a multiple of 3?
False
Suppose -5*p + 36780 = 4*z, 4*z + 3147 - 39959 = 3*p. Is z a multiple of 40?
True
Suppose -2*i = -4*a - 31428, -45*i + 42*i + 4*a = -47148. Does 15 divide i?
True
Suppose 3*y + j = -2*y + 10, -4 = -2*y + 5*j. Suppose 5*a - 7*l + y*l - 1275 = 0, 3*a - 4*l = 766. Is 4 a factor of a?
False
Let h(x) = -138 + x - 8*x - 6*x - 5*x. Is 22 a factor of h(-16)?
False
Let p be 2/(4 - (-111)/(-28)). Suppose -p = 6*t - 188. Is t a multiple of 5?
False
Let x = -14 - -10. Let r be 7/x + (-1)/4 - -233. Suppose 4*y - 21 = r. Is y a multiple of 7?
True
Let u(v) = 20*v**2 - 2*v + 21. Let n be (-217)/(-31) + 2*(-6)/4. Does 37 divide u(n)?
True
Suppose 5*h + 5*k - 20 = 0, -2*h + 3*k = -3*h - 4. Suppose h*v - 14 = 18. Is 48 a factor of (5 + v)/3 + 285?
True
Let z(o) = 4*o**2 + 19*o + 31. Let f be z(-16). Suppose f - 331 = 2*j. Is j a multiple of 8?
False
Let u be -23 + -9 + (-1 - 1). Let k = u - -38. Suppose 155 - 30 = x + k*g, -4*g = -4*x + 480. Does 5 divide x?
False
Suppose r + 2*i + 1 - 2 = 0, 0 = -i + 1. Let n be -9*r/(-2)*2. Is (56/(-6))/(6/n) a multiple of 9?
False
Suppose -24*t - 14127 = -25*t - 4*h, 5*h = 3*t - 42381. Does 9 divide t?
False
Let r be ((-10)/8)/5 + 72/32. Suppose -4*x - 46 = 5*f, -2*f - 6 - 12 = r*x. Let j(o) = -o**2 - 23*o + 14. Is 29 a factor of j(f)?
False
Suppose 4*t + h + 21 = 42, 0 = -2*t + 2*h - 2. Is 11 a factor of (-1)/(t/(-1984)) + (-8 - -9)?
False
Suppose -28*k + 65149 - 19145 = 0. Is 65 a factor of k?
False
Let m(n) be the second derivative of -n**5/20 - n**4/12 + 5*n**3/6 + n**2/2 + 13*n. Let h be m(-3). Let y(f) = -f**3 + 5*f**2 + 3*f. Is y(h) a multiple of 14?
True
Let d(i) = -2*i**2 - 86*i - 293. Is 4 a factor of d(-37)?
False
Does 30 divide 5464 + (-30)/3 - 24?
True
Let g(l) = -4*l**2 + 33*l - 5. Let k be g(8). Suppose 0 = k*d + 54 - 42. Let m(b) = -5*b - 7. Is 3 a factor of m(d)?
False
Let v(w) = 8*w**3 - 7*w**2 - 3*w + 12. Let s be v(6). Let n = s - 1033. Is n a multiple of 19?
True
Let f(q) = -2*q**3 + 14*q**2 - 13*q - 8. Let v be f(5). Let l(s) = s**2 - 22*s - 46. Is l(v) a multiple of 2?
False
Let g(b) = 1175*b + 2174. Is 8 a factor of g(14)?
True
Let c = -6828 + 15305. Is 10 a factor of c?
False
Let g be 36/(-72)*6*1. Is (-951)/(-3) + 6 + g a multiple of 40?
True
Let w = 202 - 204. Does 21 divide (62 + 0/w)*138/92?
False
Is 54 a factor of (-1638)/(-234) - 4448/(-1)?
False
Suppose 0*w + 5*w = 15. Suppose 0 = -11*j - w + 47. Suppose -2*v + 0*r - j*r + 160 = 0, -3*v + 220 = 2*r. Does 5 divide v?
True
Let y(i) = 4*i**2 + 3*i - 7. Let k be y(3). Let w be 58 + (-7)/((-7)/2). Suppose 0 = -36*r + k*r - w. Does 8 divide r?
False
Let h be (-4)/18 - 7/9. Suppose -2*t - 2*t - 6 = -t. Is 101*2*(t/h - 1) a multiple of 20?
False
Let w be ((-1)/(-1))/((-4)/(-388)). Let m = -90 + w. Is 3 a factor of -1 + (3 - 1) + m?
False
Let t(s) = -s**3 + 12*s**2 - s + 14. Let l be t(12). Let n(o) = 25*o**2 + l*o - 6 + o + 7. Is n(-2) a multiple of 19?
True
Let o = -34 - -37. Suppose 0*l = o*l - 36. Is 28 a factor of (6/l*-14)/(2/(-10))?
False
Let t be 30/195 - ((-2124)/39)/(-3). Is t/99 - (-8456)/44*1 a multiple of 7?
False
Let a = -10 - -3. Let d(t) = 13 + 5 - 3 + 11*t - 3*t + t**2. Is 2 a factor of d(a)?
True
Suppose -66960 = -3*c - 3*s, 0 = 3*c + 683*s - 681*s - 66955. Does 13 divide c?
False
Let m = 6064 + 1184. Does 16 divide m?
True
Suppose 184 = -2*p + 188. Suppose p*f = 5*b + 4*f - 2206, -5*f = -5*b + 2185. Does 10 divide b?
True
Suppose 0 = -36*w + 103918 + 106646. Is w a multiple of 19?
False
Suppose 92481 = 21*v + 24441. Does 16 divide v?
False
Let y(z) = 30*z**3 - 9*z**2 - 110*z + 722. Is 232 a factor of y(8)?
False
Let o be (6 + (-3072)/(-36))/(6/9). Let f(p) = -2*p**3 + 4*p**2 - 4*p - 2. Let k be f(4). Let y = k + o. Is 3 a factor of y?
False
Let m(h) be the second derivative of 49*h**5/20 - 2*h**3/3 + 6*h**2 + 12*h. Let j be m(6). Is j/66 + (-2)/11 a multiple of 11?
False
Suppose 10*n - 162 + 12 = 0. Is 71 a factor of (-35)/(-2)*(-1)/(n/(-486))?
False
Suppose -128 = -5*o - 4*j + j, 2*o - j = 60. Let x(h) = -2*h**2 + 71*h - 30. Is 26 a factor of x(o)?
True
Let a be (45/(-3))/(-1 + 15/24). Suppo