(z) = -1 - 2 + 11*z + 2*z + 11*z**2 - z**3 - 7. Let s be l(12). Suppose s*g + 15 = 3*g. Is g a multiple of 12?
False
Let d be ((-160)/(-16))/((-1)/(-92)). Suppose -3*s - 131 = -d. Does 26 divide s?
False
Suppose c + 76 = 3*t, 6*t = t + 5*c + 120. Is 9 a factor of t?
False
Let t(c) = c**2 + 19*c - 17. Let a be t(-20). Does 5 divide 2*(-2)/(-4) + a + 3?
False
Suppose 0 = -2*w + 3 + 1. Let m be ((-4)/(-5))/(w/15). Suppose m*k = 4*k + 10. Is k a multiple of 4?
False
Let q = -1 - -3. Is (q/10)/(3/465) a multiple of 9?
False
Let j(t) be the second derivative of t**5/15 + t**4/24 - 4*t**3/3 + 7*t**2/2 + 4*t. Let b(w) be the first derivative of j(w). Does 13 divide b(-4)?
True
Let g = -423 + 565. Is g a multiple of 4?
False
Suppose -4*t + 4*q + 6170 = q, -t = -q - 1542. Is 14 a factor of t?
False
Let s be 1/(2/(-2))*0. Suppose -g + s - 25 = 0. Let a = -5 - g. Is a a multiple of 10?
True
Let y(t) = -29*t - 29. Does 13 divide y(-14)?
True
Let g(y) = y**2 - 8*y + 7. Let d be g(7). Suppose 2*h - 52 - 10 = d. Suppose -h = -0*f - f. Is f a multiple of 8?
False
Let i(l) = 4*l**2 - 12*l + 13. Is i(8) a multiple of 11?
False
Let y(o) be the third derivative of -o**4 - 7*o**3/3 + 6*o**2. Is y(-5) a multiple of 19?
False
Let p be (45/(-6))/((-3)/18). Let h = p - 25. Is 81 - 0*(-5)/h a multiple of 27?
True
Let q = 34 - 30. Suppose 3*r - 5*b - 755 = -0*b, -263 = -r - q*b. Is 17 a factor of r?
True
Let k(n) = 10*n**2 - 9*n - 43. Does 2 divide k(8)?
False
Is 11 a factor of (23 - 22)/((-3 + 2)/(-293))?
False
Suppose -2*k - 2 = 0, 5*q + 3*k - 1458 = -446. Is 7 a factor of q?
True
Let u = -438 + 571. Is 7 a factor of u?
True
Let y be (-46)/3 + (-10)/15. Let v = y + 34. Is v a multiple of 18?
True
Let h = 30 + -36. Let u be (-16)/4*237/h. Let z = -14 + u. Is z a multiple of 36?
True
Suppose 2*c - g = 868, -20*c + 2167 = -15*c - 4*g. Is 35 a factor of c?
False
Let w(z) = -z**3 - 10*z**2 + 2*z - 14. Let p be w(-11). Let n = -2 + 1. Let g = p + n. Does 28 divide g?
True
Let o(l) = 3*l**3 + 20*l**2 - 23*l - 16. Let r(v) = 7*v**3 + 40*v**2 - 47*v - 33. Let p(d) = -5*o(d) + 2*r(d). Is 7 a factor of p(-21)?
True
Let r = -16 + 445. Does 12 divide r?
False
Suppose 3*i = -0*i - 6. Let r(j) = -21*j. Let p be r(i). Suppose 4*s - 236 = 5*z, s + 2*z - p = -z. Does 23 divide s?
False
Let i(n) be the first derivative of 2*n**3/3 + 3*n**2/2 - 2*n + 17. Let t be (-7 + (-4)/(-2))*-1. Is i(t) a multiple of 21?
True
Suppose 6*m = 11*m - 945. Let l = 86 + m. Let v = l + -172. Does 26 divide v?
False
Suppose -10*c = -3115 - 3365. Is 12 a factor of c?
True
Let q(a) = -a - 5. Suppose -16 = 4*w + 5*t + 27, 5*t - 6 = 3*w. Let l be q(w). Suppose -h - 12 = -l*h. Does 12 divide h?
True
Let d(h) = 355*h + 32. Is d(4) a multiple of 15?
False
Does 3 divide 32 - ((14 - 6) + 1)?
False
Suppose 5*c = h + 4339, c + h - 870 = -h. Is 31 a factor of c?
True
Let n be 4 + 3 + -316 + -1. Let d = -190 - n. Is d a multiple of 24?
True
Let n = 89 - 64. Suppose -3*a = -8*a + n. Does 25 divide 861/15 - (-3)/a?
False
Let i(k) be the first derivative of -217*k**2/2 - k + 5. Let g be i(-1). Suppose -y + 5*y - g = 0. Is 25 a factor of y?
False
Suppose -275 - 950 = -7*m. Is 7 a factor of m?
True
Let p be (-8)/(-6)*12/(-8). Let y(g) = -3*g**3 + 2*g**2 - g + 1. Let z be y(p). Let h = z - -12. Is h a multiple of 32?
False
Let r(c) = c**3 - 32*c**2 + 117*c + 10. Is 110 a factor of r(29)?
True
Let m be 21*(-3 - (-10)/3). Suppose 3*w = m*w + 360. Does 3 divide w/27*(-9)/5?
True
Let y = 275 - 621. Let m = -107 - y. Does 20 divide m?
False
Let g be (2 - (-99)/(-3)) + -4. Does 5 divide (1 - -39)*(-28)/g?
False
Let q(n) = 7*n**3 - 2*n**2 - 50*n + 20. Is q(6) a multiple of 8?
True
Let b be (-1 + -8)*(0 + 1). Let k(d) = -2 - 2*d + 0*d - 14 + 6. Is k(b) a multiple of 8?
True
Suppose 0 = f + 5 - 26. Suppose -5*j - 2*j + f = 0. Suppose -j*y = y - 108. Is y a multiple of 9?
True
Let y = 49 - 17. Suppose y*o - 60 = 30*o. Is 6 a factor of o?
True
Let c = -9 + 13. Suppose -2*a + 22 = 2*f, 0*a + c*f + 40 = 2*a. Is a a multiple of 12?
False
Does 13 divide ((-9)/(-3)*-1 - -2)*-1237?
False
Let b be 0 - 3/1 - -3. Suppose 2*h - 3*h + 34 = b. Is h a multiple of 13?
False
Let m(d) = 4 - 5 - d - 3 - 1. Let q be m(-10). Suppose 0 = -q*h - 39 + 159. Does 6 divide h?
True
Let x = 59 + -57. Suppose -3*l - 3*o + x*o = -54, 5*o = -2*l + 36. Is l a multiple of 2?
True
Let z be 12/6 + 0 + -61. Let x = 288 + -199. Let a = z + x. Is a a multiple of 5?
True
Let w(y) = 17*y**2 - 174*y + 30. Is 3 a factor of w(13)?
False
Let p = 1 + -1. Let r = 205 + -201. Suppose p = j + 4*a - 23, r*j + 3*a - 136 = -2*a. Is 13 a factor of j?
True
Let c(q) = -q**2 + 13*q - 13. Suppose -19 = -3*d + x, d + 3*x - 22 = 1. Let s(f) = f**2 - 7*f + 2. Let g be s(d). Is c(g) a multiple of 5?
False
Let v(f) = 3*f**2 + 3*f. Let r(p) = -p**2 - 3*p + 4. Let z be r(-3). Suppose -z*y = -3*q + 22 - 7, 4*y - q + 13 = 0. Is v(y) a multiple of 6?
True
Let l = -233 + 240. Let n(w) = -w**3 + 7*w + 4. Let t(f) = -2*f**3 - f**2 + 15*f + 7. Let s(k) = -13*n(k) + 6*t(k). Does 8 divide s(l)?
True
Let h(d) = -4*d - 21. Let z(x) = -x**2 + 8*x - 9. Let a be z(6). Suppose -3 = -0*y - y - a*g, 3*g - 12 = 0. Is h(y) a multiple of 3?
True
Let m(d) = d**2 - 7*d - 18. Is m(15) a multiple of 3?
True
Let d be (-3 - (22 - 3))*(-8)/16. Suppose 0 = -4*f + d*f - 280. Does 4 divide f?
True
Let b = -4 - -3. Let w be 5/15*(11 - b). Suppose -2*h = -22 + w. Does 3 divide h?
True
Let u = 3172 + -3061. Is u a multiple of 2?
False
Let q(k) = 156*k**2 - 5*k - 12. Is 12 a factor of q(-3)?
False
Let f(d) = -199*d - 5. Let h be f(9). Suppose -3*c - 26 = -a, -a + 4*c = a - 44. Is h/(-28) - 2/a a multiple of 12?
False
Let l(w) be the second derivative of w**5/20 + 11*w**4/12 - 2*w**3/3 - 8*w**2 - w. Suppose 0*a + 3*a + 2*k = -27, 2*a - 2*k + 28 = 0. Is l(a) a multiple of 5?
False
Suppose 0 = -64*w + 67*w - 438. Is w a multiple of 21?
False
Is 10 a factor of (16/(-18))/4 - (-114569)/117?
False
Let l = -56 - -713. Does 50 divide l?
False
Suppose -2*r + 2 = 3*o - 4*o, 10 = -5*o - 5*r. Let l(i) be the second derivative of -7*i**3/6 - i**2 - 3*i. Is l(o) a multiple of 12?
True
Suppose 0 = 9*u - 14*u + 20. Let h be u/(-3) + 28/3. Let d = -1 + h. Is d a multiple of 5?
False
Let a(c) = -37*c + 16. Let k(s) = -s. Let z(q) = a(q) - 4*k(q). Is z(-5) a multiple of 19?
False
Suppose -3*a - 5*y - 160 = -a, 5*a = -2*y - 421. Let s = a + 145. Does 30 divide s?
True
Let j = 356 + 144. Is 20 a factor of j?
True
Suppose -9*g + 315 = 6*g. Suppose 3*k - 118 = 5*w + g, 0 = 3*w - 3. Is 12 a factor of k?
True
Let s(p) = -p**3 + 10*p**2 - 14*p + 1. Let c(x) = x + 29. Let k be c(-21). Does 3 divide s(k)?
False
Suppose 3*x = 3*u + 39, 0 = -3*x - 3*u + 28 + 23. Let c = -11 + x. Suppose -2*b + 202 = c*q, 3*b - 100 = -2*q + b. Does 17 divide q?
True
Let o(h) = 3*h**2 + 13. Let x be o(8). Let p = x + -137. Is 9 a factor of p?
False
Let q = 60 - 19. Let j = 59 - q. Does 9 divide j?
True
Let r(s) = 7*s**2 + 5*s - 3. Let f be r(1). Suppose 6*t = f*t - 135. Is 15 a factor of t?
True
Let b(k) = -k**2 + 5*k + 6. Let x be b(6). Let u be 1*(x + 1 + 2). Does 19 divide (39 - 1)*3/u?
True
Let c = 7 - 7. Suppose -u - u = c. Suppose -6*t + 9*t - 153 = u. Is 25 a factor of t?
False
Let x = -34 + 34. Let t(u) = 1. Let d(a) = a - 16. Let j(z) = -d(z) + 6*t(z). Does 22 divide j(x)?
True
Let c = 1346 - -978. Is 14 a factor of c?
True
Suppose -l + 2*v = -1940, 8*l - 7*v = 10*l - 3836. Is 14 a factor of l?
True
Let q = 8 - -325. Is 13 a factor of q?
False
Let q be (0 + 0/5)*1. Let s = 3 - q. Is 2 a factor of s?
False
Suppose -5*t - 14*l + 6715 = -9*l, 3*t - 4027 = -l. Is 18 a factor of t?
False
Let q(h) = -21*h - 13. Does 70 divide q(-7)?
False
Let k = -16 + 125. Is 33 a factor of k?
False
Suppose -283 = -5*n + 222. Is n even?
False
Let j be -29 + (-1)/((-3)/9). Suppose 0 = -3*c - 0*c - 5*l - 152, 247 = -5*c - 2*l. Let u = j - c. Is u a multiple of 5?
False
Let d(n) = 28 + 7*n + 35*n**2 - 17 - 2*n. Is d(-2) a multiple of 21?
False
Suppose -1573 = n - 12*n. Suppose 0*q = -2*z - q + 277, z = q + n. Does 28 divide z?
True
Let d be (-679)/(-35) - (-4)/(-10). Suppose z = 2*z + d. Is (-4)/(-4) + (-2 - z) a multiple of 5?
False
Let c(f) = -f**3 - 7*f**2 - 9*f - 10. Let p be (-6)/(-12)