*z**2 - 23*z + 82. Let a(h) = -7*l(h) + 5*t(h). Is 44 a factor of a(3)?
True
Let b(j) = -171*j - 1632. Is 12 a factor of b(-26)?
False
Let b = -7412 - -11581. Suppose 24*c - 7735 = b. Does 44 divide c?
False
Let h be 1 - ((-514 - (0 + 2)) + -3). Suppose -2*c = -4*k + h, 5*c = 4*k + 6*c - 532. Does 33 divide k?
True
Suppose -c = 2 - 1, -5*q = -5*c + 170. Let m = q - -42. Let y(p) = 2*p**2 - 4*p + 3. Is 16 a factor of y(m)?
False
Suppose -38*i = -43*i - 6750. Is 10 a factor of (2/(-6))/((-6744)/i - 5)?
False
Let d be 0/(3 + -3 + 2). Suppose -4*z - 9 = -7*z. Suppose d = z*v - v - 64. Does 11 divide v?
False
Suppose -2*b - 46 = -2*n, 1 + 4 = n + 5*b. Let g be (-18)/5 - n/50. Is (-2052)/(-19) - g*1 a multiple of 16?
True
Let z(f) be the third derivative of -f**4/24 + 40*f**3/3 - 21*f**2 + f. Is z(6) a multiple of 5?
False
Let v = -316 + 428. Let j = v - -31. Is 4 a factor of j?
False
Let n(s) = s**2 - 9*s - 26. Let f be n(-11). Suppose -5*m + 990 = -b, m - f = -12*b + 13*b. Is 7 a factor of m?
False
Suppose -269 = 2*u - 3520 - 81. Is u a multiple of 15?
False
Suppose -147*d - 26528 = -180584. Is d a multiple of 3?
False
Let h = 4552 - 1748. Is 62 a factor of h?
False
Suppose 0 = 15*h + 1074 + 291. Let n = h - -249. Is 17 a factor of n?
False
Suppose 66*s - 21*s = -900. Suppose -2*z + 7*z - 175 = 0. Let w = z + s. Is 5 a factor of w?
True
Let l(w) = -5*w**3 + 10*w**2 - 29*w - 279. Does 153 divide l(-9)?
True
Suppose 0 = 2*i - a + 1009, -4*a - a + 518 = -i. Let d = i + 1080. Is d a multiple of 45?
False
Let v(c) = -14*c - 651. Does 27 divide v(-63)?
False
Suppose -18*v - 6*v - 17616 = 0. Let y = v - -1305. Does 8 divide y?
False
Let p be (-340)/(-51)*3/2. Suppose 7*k = p*k - 840. Is k a multiple of 20?
True
Suppose 261*m = 258*m + 1062. Suppose 4*w = m + 94. Is w a multiple of 21?
False
Let r(m) = m**2 + 12*m + 10. Suppose 0 = -15*j + 11*j - 44. Let q be r(j). Does 6 divide (-2)/q*((-255)/(-10) - 0)?
False
Let z be ((-2166)/7)/2 + (-2)/7. Is 15 a factor of (-1324)/(-5) - (z/25 - -6)?
False
Suppose 2*g + 8 = 0, -3*z - 3*g - 2*g = 8. Let h be 143/22*z*1. Let r = -24 + h. Does 2 divide r?
True
Let x(l) = -l**3 - 21*l**2 - 38*l + 56. Let f be x(-19). Let g = 0 - -4. Suppose -4*j - 104 = -g*d, -j = 2*d - 4*j - f. Is 11 a factor of d?
True
Let w(c) = 35*c**2 + 20*c + 171. Is w(-10) a multiple of 82?
False
Let p(f) = -2*f + 30. Let v(a) = -a**3 - 2*a**2 - a + 4. Let i be v(-2). Suppose 7*t = i*t. Does 10 divide p(t)?
True
Let j be 20/130 + 3092/13. Suppose -8*n = -n - j. Is 34 a factor of n?
True
Suppose 0 = -o + h - 4 + 16, 0 = -4*h - 16. Suppose 1850 = -o*j + 13*j. Suppose -6*m + m + j = 0. Is m a multiple of 9?
False
Suppose 0 = -6*z - 6*z. Suppose o = 4*i + 1241, z = i + o + 402 - 88. Let f = i - -519. Does 14 divide f?
False
Let x(c) = -46 - 43*c + 51*c - 73 + 58 + 89*c. Is x(14) a multiple of 41?
False
Let r(v) = 15*v + 24 - 21*v + 7*v. Let d be r(-17). Is d/21 - 482/(-3) a multiple of 29?
False
Let d(h) = 637*h - 6623. Is d(19) a multiple of 8?
True
Let c be 48/(-9) - (5 + (-80)/15). Is 104/(-40) - -3 - 1148/c a multiple of 46?
True
Let f(q) = -q**3 + 5*q**2 + 6*q + 2. Let i be f(6). Suppose 55 = y - i*y + 5*w, 2*w = -y - 62. Let c = y + 114. Does 15 divide c?
False
Suppose 4*m + 46*n - 26318 = 44*n, 1 = -n. Is 11 a factor of m?
False
Let c(o) be the first derivative of -5*o**4/4 - o**3 + 13*o**2/2 + 43*o + 50. Is c(-5) a multiple of 24?
True
Let p = 126 + -131. Is 56 a factor of p - -286 - (-3 + -1 + 5)?
True
Let f(z) = 4*z**2 - 75*z - 16. Let w be f(19). Suppose -4*o = -8*o + w*r + 523, -5*r + 547 = 4*o. Is o a multiple of 17?
False
Let n(r) = -2*r**3 - 74*r**2 + 5*r + 8. Is n(-45) a multiple of 19?
False
Suppose 8*c - 11*c = 5*q - 524, -c - 3*q + 180 = 0. Let g = 71 + c. Does 86 divide g?
False
Let m(w) = -w**3 + 7*w**2 + 12*w - 28. Let o be m(8). Suppose g + 345 = -o*y + 2097, 2*g + 447 = y. Let k = y - 199. Is k a multiple of 48?
True
Let d(s) = -4197*s + 53. Is 50 a factor of d(-1)?
True
Suppose 0 = -4*u - 2*z + 11404, 5*u - 2*z - 10356 = 3917. Is 36 a factor of u?
False
Suppose 3*l = 5832 - 597. Let y = l - 1173. Is 13 a factor of y?
True
Let o = 3 - -11. Suppose 6 = -q + o. Suppose 0 = -2*g + 2*f + 76, -g + 13*f - q*f + 22 = 0. Does 2 divide g?
True
Let n(q) = 81*q - 26. Let d be n(10). Let l = -1153 + d. Let o = -190 - l. Is o a multiple of 10?
False
Let f(s) be the second derivative of -s**5/10 - 3*s**4/4 + 2*s**3/3 - 21*s - 1. Is f(-6) a multiple of 10?
False
Let q(t) be the first derivative of -12*t**2 - 5*t + 8. Let b be q(5). Let c = b + 281. Does 39 divide c?
True
Let j be -1*(2/(-6) + 124/12). Let r be j*(-46*1)/1. Suppose 0 = 5*m + 25, -3*m - m - r = -4*b. Does 40 divide b?
False
Let c(s) = -2*s - 11. Let z be c(-7). Suppose o - 2*u = 2*u + 9, z*u + 28 = 5*o. Suppose -o*d - a + 213 = a, -3*a = 3. Is 9 a factor of d?
False
Let j(m) = m**3 + 11*m**2 - 8*m + 11. Let h be j(10). Suppose -2*l + 5*o = -1205, -3*o - 414 = -4*l + h. Is l a multiple of 41?
True
Let p be ((-18)/(-4))/((-1)/(-2)). Let a = p + -4. Suppose -294 = -a*c + 2*g, c + 0*g - 2*g = 54. Is 12 a factor of c?
True
Suppose 115 - 556 = 21*k. Is (-21)/(-2)*(-7 - 203/k) a multiple of 28?
True
Suppose 4731 = 32*m - 2885. Is 3 a factor of m?
False
Let o(f) = f**3 - 7*f**2 - 10*f + 23. Let v be o(8). Suppose 0 = v*w + 4*g - 10416, -5*g + 60 - 1548 = -w. Does 62 divide w?
True
Let y be 4/12 + (-70)/(-6) + 0. Let z be (-20)/(1 + (-15)/12). Let s = z + y. Is s a multiple of 23?
True
Let z(h) = 11*h - 14. Let u be z(2). Let y(n) = 9 + 14 + u - 95*n - 26. Does 21 divide y(-2)?
False
Let g(y) = 3*y**2 - 26*y + 10. Let o be g(12). Let a = -18 + o. Does 24 divide a?
False
Let f = -128 - -121. Let l(k) = 8*k - 3. Let a(v) = -v - 1. Let i(w) = 4*a(w) - l(w). Does 15 divide i(f)?
False
Let i be 39/(-52) - 158/(-8). Suppose -20*m = -i*m. Suppose m*n + 36 = 6*n. Is n a multiple of 4?
False
Let y(c) = -69*c**3 + 2*c**2 - 1. Let d be y(-1). Suppose -r - d = -361. Does 44 divide r?
False
Let y(m) = 2*m**2 - 9*m - 17. Suppose 10*f = -0*f + 80. Let p be y(f). Let h = p - -85. Does 31 divide h?
True
Let y(i) = 7*i - 30. Suppose -3*t - 3*n - 2*n = -7, 2*t + n - 14 = 0. Suppose -107 = -t*l - 8. Does 47 divide y(l)?
True
Let p(s) = -3*s**2 - 2*s + 8. Let l(j) = -4*j**2 - 3*j + 12. Let v(r) = -5*l(r) + 7*p(r). Let b be v(-10). Let w = b - -445. Does 57 divide w?
False
Let i(w) = 69*w**3 + w**2 + 3*w + 1. Let g be i(-1). Is 9 a factor of (-754)/(-7) - 5/(g/4)?
True
Let c = 154 + -152. Let h(v) = 27*v**3 + 5*v**2 - 7*v - 2. Is 20 a factor of h(c)?
True
Let k(z) = 10*z + 36. Let w be k(-14). Let c = -636 - w. Let s = -380 - c. Is s a multiple of 8?
True
Suppose 6*o = 2*y - 34878, -9439 - 25527 = -2*y - 5*o. Is y a multiple of 8?
False
Let k be (1696 - (3 + -2)) + (-4)/(-1). Suppose 9*m + 565 = k. Is m a multiple of 7?
True
Let v = 67 - 68. Is (861/6 - v)/(4/8) a multiple of 27?
False
Does 15 divide 3790 + -1 + (-8046)/894?
True
Let z(l) = -7*l**2 + 23 + 0*l**2 + 10*l - 10 + 8*l**2. Does 9 divide z(10)?
False
Let r(k) = -k**2 - 28*k + 39. Let p be r(-15). Let j = 559 - p. Is 25 a factor of j?
True
Suppose -14 - 7 = -7*j. Suppose 2*b - b - j*y = -7, -4*b = y - 24. Suppose 4*x - 2*x - b*a = 218, 5*a = -20. Does 11 divide x?
True
Suppose -2*k + 362 = 5*v, -9 - 65 = -v - 2*k. Does 37 divide ((-2886)/(-117))/(1/v)?
True
Let x be ((-16)/(-14))/((-8)/(-28)). Suppose q - x*q + 12 = 0. Suppose 0 = -n + q + 6. Does 10 divide n?
True
Let i(w) = 94 - 46 - 57 + 9*w + 0*w + 546*w**3. Does 39 divide i(1)?
True
Suppose 311*p - 245*p = 320628. Does 107 divide p?
False
Let t = -830 + 1580. Does 26 divide t?
False
Let q = 30 - 57. Let a = 25 + q. Is 3 a factor of (-1)/((-1)/(-30))*a/4?
True
Let u = 135 + -18. Suppose 2*s - u - 29 = 0. Let a = -41 + s. Is 8 a factor of a?
True
Let z(l) = -86*l**3 + 12*l**2 + 3*l - 4. Does 94 divide z(-3)?
False
Let k(a) = -12*a - 79. Let n be k(-8). Suppose -n*t + 67*t - 28900 = 0. Does 81 divide t?
False
Suppose 5*b - 132 - 68 = 0. Suppose b*k = 37*k + 1461. Is 51 a factor of k?
False
Is (13340/100)/23*4570 a multiple of 127?
False
Suppose -2*a = 4*g - 24, 5*g - 2*g - 28 = -4*a. Is (-2)/g - 1159/(-38) a multiple of 4?
False
Let h = 779 + 31342. Is 9 a factor of h?
True
Let s(v) be the fi