3 divide z(2)?
False
Let h(k) = 3*k - 12. Let x be h(5). Suppose 0*w - 4*y - 50 = -x*w, -w = -2*y - 16. Let g = w + 5. Is 10 a factor of g?
False
Let m(f) = 4*f**3 - 10*f**2 - 12*f - 16. Is 24 a factor of m(8)?
True
Let k(w) = w**2 - 2*w - 5. Is k(21) a multiple of 22?
False
Let f(d) = -d**3 - 6*d**2 - 6*d + 15. Is f(-6) a multiple of 17?
True
Let p = 12 + -15. Is -1 + (42 - 6/p) a multiple of 7?
False
Suppose 1107*l - 1101*l - 720 = 0. Does 10 divide l?
True
Let d = 157 + 102. Does 37 divide d?
True
Let r(b) = 4*b + 1. Let j be (0 - 1)/(-1) + 0. Let l be r(j). Suppose -12 = -p + 4*i, l*i = 3*p - 18 - 4. Does 2 divide p?
True
Suppose -19*v + 93 + 40 = 0. Suppose 0 = -4*b + 8 + 32. Is 5 a factor of (b/v)/(1/7)?
True
Is 3627/65*(-10)/(-3) a multiple of 14?
False
Let n(i) = -8*i**3 + 2*i**2 + 5*i - 2. Is 6 a factor of n(-2)?
True
Let i(y) = -195*y - 184. Is i(-7) a multiple of 8?
False
Let q(c) = -c. Let b(z) be the third derivative of -5*z**4/6 - z**2. Let w(y) = -2*b(y) + 30*q(y). Is 10 a factor of w(1)?
True
Let o = 35 - 30. Let w(q) = -q**3 - 10*q**2 - 10*q - 24. Let v(k) = k**2 + k - 1. Let i(j) = o*v(j) - w(j). Is i(-14) a multiple of 3?
False
Let t be ((-8)/6 - 2/(-6))*0. Let h be (-3)/9 - (-146)/6. Suppose 2*j - 274 + h = t. Does 33 divide j?
False
Let r(p) = 4*p**2 + 2. Let g be r(4). Let q = g - 34. Is q a multiple of 26?
False
Does 52 divide (-3432)/(-10)*(-8 + 7 + 6)?
True
Let g be 5/((-60)/16)*-12. Let n = -3 + g. Is n a multiple of 7?
False
Let y be ((15/(-2))/(-15))/(1/14). Does 28 divide (3 - y) + 315 + -3?
True
Let m(s) = s**2 + s - 1. Let n(h) = -7*h**2 + h + 2. Let k(t) = 6*m(t) + n(t). Is k(6) a multiple of 2?
True
Is (-12)/(-1) + 5/((-20)/16) a multiple of 5?
False
Let n(d) = -d + 13. Suppose 18 = 3*v - 3. Let q be n(v). Suppose -4*j = -q*j + 12. Does 3 divide j?
True
Let u(o) = -o**3 + 9*o**2 + 7*o + 4. Let d be u(7). Suppose -2*w - 4*y = -86, -d = -4*w - 5*y + 4*y. Is 14 a factor of w?
False
Is 33 a factor of 2156/3 + 25/(525/(-14))?
False
Let r(j) = j**3 + 7*j**2 - 5*j - 9. Let u be r(-7). Is (u/4 + -1)*4 a multiple of 6?
False
Let w(q) = -3*q + 12. Let z be w(-9). Let v = z - -4. Is 7 a factor of v?
False
Is 18 a factor of 1 - -398 - (4 + 1 - 2)?
True
Let g(w) = 244*w + 12. Does 16 divide g(4)?
False
Let w = 135 - 120. Suppose -6*k = w - 177. Is 9 a factor of k?
True
Suppose -4*u + 0*u = 0. Let j be 12 - (u + (4 - 1)). Let y(m) = 2*m**2 - 12*m + 11. Is y(j) a multiple of 18?
False
Does 34 divide 1641/(11 - 8) - 3?
True
Let t(b) be the third derivative of b**5/15 + b**3/2 + 13*b**2. Is t(-3) a multiple of 13?
True
Is (0 - -1601) + (0 - -4) a multiple of 81?
False
Let w be (5/4)/(3/(-12)). Suppose 63 + 69 = 11*z. Let m = z + w. Does 7 divide m?
True
Suppose 40*o + 3259 = 2*m + 41*o, -m + 3*o + 1647 = 0. Is 4 a factor of m?
True
Suppose 6*f = -0*f + 144. Is f a multiple of 6?
True
Is 6/(-20) + ((-29815)/(-50) - 1) a multiple of 7?
True
Suppose 34 = -3*o + 10. Suppose 4*c = 4, -2*x - 5 = -4*x - c. Does 4 divide (o/2)/(x/(-5))?
False
Let c be 314 + 4 + 8/(-4). Suppose 5*q - c = 34. Is q a multiple of 10?
True
Let m(z) = -72*z**3 + 2*z**2 + 71*z**3 - 2*z - 4*z**2 + z**2 - 11. Is 18 a factor of m(-5)?
False
Let l(k) be the first derivative of -k**3/3 - 7*k**2/2 + 10*k + 1. Let n be l(-8). Suppose b - n*b + 57 = 0. Does 12 divide b?
False
Suppose 3*r = 4 - 1. Let m be (9*1/3)/(9/6). Is 4 a factor of m - -1*(3 - r)?
True
Let z = -789 - -1458. Is z a multiple of 19?
False
Suppose 5*j - 2*j - 6 = 0. Suppose 15 = 2*d + d. Suppose d*v - 112 = -2*i, -2*v - j*i + 36 = i. Is 5 a factor of v?
False
Let p = -41 + 141. Let g = 149 - p. Is 4 a factor of g?
False
Suppose 594 = 6*l - 4*l. Let f = 90 + -90. Suppose f = 5*o - t - 0*t - l, -6 = 3*t. Is 19 a factor of o?
False
Suppose 2*p = -4*y + 130, 0 = 5*y + 2*p - 28 - 132. Suppose 12 = 3*a, 0 = -3*s + s + 2*a - 8. Suppose l - 10 - y = s. Is 8 a factor of l?
True
Let o = 1201 + -809. Is 8 a factor of o?
True
Suppose 0 = -2*p - 4*p + 18. Suppose p*x - 8*x = -30. Let r(k) = 2*k**2. Is 24 a factor of r(x)?
True
Suppose 8*v = -4*v + 1584. Is v a multiple of 11?
True
Let a be -5*(3 + 0) + 0. Let t = a + 9. Let o = 27 - t. Does 11 divide o?
True
Suppose 3*x = -5*p + 218, -x + 2*p + 68 = -p. Is x a multiple of 7?
False
Let s = -8 + 13. Suppose -2*y + 3*f = -8, 6*y - s*f - 15 = y. Is y + (-16)/4 + 45 a multiple of 20?
False
Suppose 2*s + 235 = 2993. Is s a multiple of 25?
False
Let l(h) = 2*h**2 - 3*h + 1. Let v(d) = d**3 - 12*d**2 + d - 11. Let a be v(12). Let j be l(a). Suppose 55 - 12 = 5*m - 2*y, j = 2*y + 8. Does 2 divide m?
False
Does 62 divide 36/15*(-6)/12*-505?
False
Let h(c) = -37*c + 10. Let p be h(-5). Suppose 13*v = 8*v - p. Let o = v + 64. Is 5 a factor of o?
True
Suppose -15 = -2*q - q. Suppose k - 3 = -5, 0 = -s + k + 9. Suppose s*p - 63 = 3*p + q*v, -p = v - 27. Is p a multiple of 11?
True
Let s = 948 + -850. Is s a multiple of 79?
False
Let b be 7/(-14) - 31/2. Does 10 divide 184/18 + b/72?
True
Let v = 57 + -26. Suppose -2*f = -5*x - 35, 3*f - 3*x = 8 + v. Is 3 a factor of f?
False
Suppose -g = 4*w + 3, 4*w - 2*g - 2*g - 12 = 0. Let j(b) = -4*b**2 + 22 + b**2 + 2*b**2. Is 14 a factor of j(w)?
False
Let x = -276 + 1047. Does 15 divide x?
False
Let f = -30 + 33. Let m(l) = 6*l**2 - 5*l - 3. Is m(f) a multiple of 12?
True
Suppose 3*p + 95 = 101. Suppose 5*u + 2*s - 720 = 0, -3*u + 432 = -s - p*s. Does 12 divide u?
True
Suppose 3*w + y = -3*y + 1618, 1598 = 3*w - y. Does 37 divide w?
False
Let x(u) = -u**2 + 9*u - 9. Let k be x(9). Let c = k + -9. Let z = c + 40. Is 11 a factor of z?
True
Let v(h) = -5*h + 8. Let b be v(1). Is 5 a factor of b/4 + (6 - (-183)/12)?
False
Let g(q) = 159*q - 65. Is g(2) a multiple of 11?
True
Let a(o) = 7*o**2 + o + 8. Is 23 a factor of a(5)?
False
Suppose -4*f + 1295 = o + 62, -4*f + 3*o = -1245. Suppose 4*g - f + 53 = 0. Does 32 divide g?
True
Let b(z) = -17*z**2 - 9*z - 5 + 1 - 4. Let o(m) = 34*m**2 + 17*m + 15. Let r(g) = 11*b(g) + 6*o(g). Is r(-2) a multiple of 16?
True
Let l(h) = -h**3 + 9*h**2 - 13*h + 1. Let u be l(7). Is (-17)/(-5) + u/(-20) a multiple of 2?
False
Suppose -2572 = -5*i - 2*u, -2*i - 18*u + 1024 = -16*u. Is 4 a factor of i?
True
Let r = -25 - -17. Suppose -2*l - x = 3, -l - l = 3*x - 7. Is 4 a factor of 2*(12 + (r - l))?
True
Let u(b) = -25*b - 11. Does 4 divide u(-3)?
True
Suppose 15036 = 25*j - 3689. Is 30 a factor of j?
False
Let c(r) = r**3 - 8*r**2 - 7*r + 2. Let b = 53 + -24. Let f = b + -20. Is c(f) a multiple of 6?
False
Suppose 3*g + 2*a = -2*a + 47, 5*g + 3*a = 93. Suppose -5*f = -3*o - 11 - g, 3*f = -2*o + 23. Does 4 divide f?
False
Let q(j) = -8*j**3 - j**2 + j. Let h be ((-2)/2)/((-6)/(-18)). Let s be 1/(4/(h + -5)). Is q(s) a multiple of 12?
False
Let a be -1 - (3 - (0 + 2)) - 1. Let v = 27 - a. Is v a multiple of 30?
True
Suppose 0 = a + 3*a. Suppose a = 2*j + 17 + 89. Let g = j - -74. Does 7 divide g?
True
Let y be 6*9/(-8)*-4. Let b = -55 + y. Let h = 64 + b. Does 9 divide h?
True
Let h be (-1 + 2)*13/(-1). Let v = 13 + h. Suppose v = -5*t + 65 + 20. Is 17 a factor of t?
True
Is 49 a factor of ((-15)/(480/5096))/((-1)/4)?
True
Does 8 divide 33621/28 - 6/(-24)?
False
Suppose 3*o - 14256 = -15*o. Is o a multiple of 8?
True
Let v = -24 - -30. Suppose -i = -v*i + 925. Is 15 a factor of i?
False
Suppose -57*a + 1160 = -49*a. Is 5 a factor of a?
True
Let r(b) = b**3 - 3*b**2 - 1. Let m be r(4). Suppose -6*z = -3 + m. Let u(o) = -5*o**3 - 2*o**2 - 2*o - 1. Does 10 divide u(z)?
False
Suppose -l + 2 = -2, -4*l = 4*a - 808. Is a a multiple of 22?
True
Let s(q) = 27*q - 3. Is 11 a factor of s(5)?
True
Let d(h) = 4*h + 174*h**3 - 173*h**3 - 5*h + 6*h**2. Does 6 divide d(-6)?
True
Is 42 a factor of (1/2)/(7063/7056 - 1)?
True
Suppose 0 = s - 4*s - 3*y + 36, 0 = 2*y. Let n = s - 17. Is 16 a factor of n*(0 - (-128)/(-20))?
True
Suppose 4*h - 57 = 175. Suppose -2*n = -7*n + a + h, -64 = -5*n - 2*a. Does 6 divide n?
True
Let y(v) = -v**3 - 6*v**2 + 5. Let o(f) = f**2 + 4*f + 5. Let j be o(-4). Suppose 3*k - 2 = j*k, 0 = -4*l + 3*k - 21. Does 3 divide y(l)?
False
Does 24 divide (672/35)/(-2 - 2128/(-1060))?
True
Let c be (-6)/(-2) + (-1026)/(-18). Let y = c + -27. Does 11 divide y?
True
Let w be -1 + 1 - (12 - 8). Is 26 - (-2 - 2