*h - 2*w + 66 = 0, d*h - w = 31 + 26. Is h a multiple of 12?
False
Let y(o) = o**2 - 1. Is y(-5) a multiple of 6?
True
Suppose s + 3*s + 3*g = 76, -4*s = -3*g - 100. Let c = 0 + s. Is c a multiple of 19?
False
Let h(l) = -41*l + 3. Let x(a) = 14*a - 1. Suppose -3*f = -5*d - 46 + 15, 5*f = -d + 33. Let z(i) = f*x(i) + 2*h(i). Does 13 divide z(1)?
False
Let b = 9 + 0. Is 8 a factor of b?
False
Let z(v) = -v**3 - 16*v**2 - 31*v + 10. Is 10 a factor of z(-14)?
False
Let n(g) be the second derivative of g**5/20 + 2*g**4/3 + 2*g**3/3 + 3*g. Does 19 divide n(-5)?
False
Let k = 9 + -5. Is ((-39)/12)/((-1)/k) a multiple of 6?
False
Suppose 27 = -2*h - h. Let u = 14 - 17. Let y = u - h. Is y a multiple of 3?
True
Suppose 0*u - 2*u = -74. Is u a multiple of 10?
False
Let u(j) = -j**2 + 7*j + 1. Let b(l) = 1. Let o(a) = 5*b(a) + u(a). Let v be o(8). Does 4 divide -3 - (84/3)/v?
False
Let r(m) = m**3 - 7*m**2 - 3*m - 1. Let q be r(8). Let y(x) = -x**2 - 8*x - 8. Let g be y(-6). Suppose q - 11 = g*n. Does 7 divide n?
True
Suppose -4*u + 2*r = -66 - 38, 4*r + 52 = 2*u. Suppose 100 = 2*c + u. Does 15 divide c?
False
Suppose 3*o + 60 = 7*o. Is 5 a factor of o?
True
Suppose 0 = t - 90 - 1. Does 13 divide t?
True
Is 9 a factor of 152/(-16)*(-4)/2?
False
Suppose 5*u - 13 - 27 = 0. Is 2 a factor of u?
True
Suppose -5*x = -0*x + 5*c - 1190, 2 = -2*c. Is x a multiple of 20?
False
Is 10 a factor of 399/4 - 2/(-8)?
True
Let n = 212 + -120. Is n a multiple of 23?
True
Let m(r) be the second derivative of r**4/12 - r**3/2 + 5*r**2/2 - r. Is 15 a factor of m(5)?
True
Let a = 4 - 5. Is 4 a factor of a*13*(-2 + 1)?
False
Suppose 5*l = -5 + 30. Suppose 5*z = -4*c + 51 - 11, 41 = l*c + 4*z. Is c a multiple of 4?
False
Let m = 20 + -11. Is 5 a factor of m?
False
Suppose 5*i + 5*p + 4 = -31, -15 = 3*p. Let a be i/14 - (-226)/14. Suppose j - 5*j - 2 = -2*c, 0 = 5*c + j - a. Does 3 divide c?
True
Let j = -4 - -7. Suppose -j*z + 15 = -111. Suppose 0 = -2*q + 4*l + 14, -2*q - 4*l = -l - z. Does 6 divide q?
False
Suppose 4*s - 3*a = 381, 0*s + a + 94 = s. Is 32 a factor of s?
False
Let u be (11 - 8) + (0 - 0). Is 351/36*8/u a multiple of 26?
True
Suppose -9*g + 2*o + 29 = -4*g, -4*g + 5*o + 13 = 0. Suppose -3*s = -g*s + 12. Suppose s*f = -b + 2*f, f - 16 = -5*b. Is 2 a factor of b?
True
Let u(v) be the first derivative of -1/4*v**4 - 5*v**2 + 8/3*v**3 - 3 + 6*v. Is u(6) a multiple of 6?
True
Suppose -35 = -2*z + 25. Is z/9*9/2 a multiple of 15?
True
Let j = 180 - -44. Is j/6 - 3/9 a multiple of 12?
False
Let y be (-4)/(-14) + (-6)/21. Let r = y + 2. Suppose r*l = -l + 75. Is l a multiple of 18?
False
Let n = 127 - 299. Let b be n/6*3/(-2). Let j = b + -25. Is j a multiple of 9?
True
Suppose -8*o - 124 = -9*o. Is o a multiple of 31?
True
Is 4 a factor of -62*(-3)/(4 - -2)?
False
Let z(d) = -d**2 + d + 1. Let c be z(0). Suppose 0 = -a + 1 + c. Does 4 divide 4*a - (0 - 1)?
False
Let t = -9 - -3. Let j(i) = -i**2 - 7*i - 1. Is 2 a factor of j(t)?
False
Let c = -1 + 1. Let q = 2 + c. Suppose -b = q*f + 3*b - 60, f - b = 33. Is f a multiple of 13?
False
Suppose 5*w - w - 12 = 0. Suppose 0*r = -w*r - 21. Let j(g) = -g - 1. Does 6 divide j(r)?
True
Let w(x) = -91*x**3 - x**2 - x - 1. Does 18 divide w(-1)?
True
Let x = -8 - 10. Let v(n) = -n**2 - n + 1. Let b be v(0). Let o = b - x. Does 5 divide o?
False
Let p(a) = 6*a**2 - 9*a. Does 5 divide p(-1)?
True
Let b = -9 + 2. Let m = 12 + b. Suppose -2*j - v - 17 = -4*j, -35 = -m*j + 5*v. Does 6 divide j?
False
Suppose 5*o - 161 = 374. Does 10 divide o?
False
Suppose 2*u - 5 = 3*u. Let g(b) = -3*b + 2. Let s be g(u). Suppose -2*q = -s + 3. Is 4 a factor of q?
False
Suppose 1 = w + 3*l - 12, l = 5*w - 81. Is 5 a factor of w?
False
Let q be (2 - 0)*(-13)/2. Let v = 26 + q. Does 8 divide v?
False
Let b(d) = d**3 + 4*d**2 - d - 4. Let x be b(-4). Suppose 2*r + 3*o = 1, r - o - 3*o + 16 = x. Is 18 a factor of 160/9 + r/(-18)?
True
Does 24 divide -32*3*(3 + (-7)/2)?
True
Let a be 15 + ((-6)/(-3))/2. Suppose -4*k - 9 - 5 = -y, -2*y = -2*k - a. Let f = 8 - y. Is 2 a factor of f?
True
Suppose -27 = -s - 6. Is 7 a factor of s?
True
Let a be (-6)/(-27) + (-1520)/36. Let m = a + 74. Is 8 a factor of m?
True
Let r(t) = 14*t + 6. Let k be (1/(-4))/(2/(-40)). Is r(k) a multiple of 29?
False
Let r(u) be the first derivative of u**4/4 - 7*u**3/3 + 5*u**2 - 6*u - 1. Is 8 a factor of r(6)?
False
Is -1 - (1 - (-498)/9)*-3 a multiple of 28?
True
Suppose 4*c - 8 = -4*w + 3*c, -5*w - 2*c + 7 = 0. Let j(h) = h**2 - 2*h - 1. Let x be j(w). Suppose -4*r + p + 28 = -19, x*r = 3*p + 11. Does 13 divide r?
True
Let c(y) = -4*y - 23*y**2 + 25*y**2 + 5 + 5*y. Is 10 a factor of c(-3)?
True
Let s(h) = -h + 12. Let j be s(5). Suppose -d + 2 = 0, 2*d = -j*m + 3*m + 76. Does 18 divide m?
True
Let m be 32/(-18) - (-2)/(-9). Is 7/(18/8 + m) a multiple of 14?
True
Let v(b) = -b**2 + 9*b - 1 - 2*b - 3 - 1. Does 2 divide v(4)?
False
Does 11 divide 6*(1 + 15/6)?
False
Let b(o) = 4*o**2 - 2*o - 1. Let i be b(3). Let t = i - 22. Is 7 a factor of t?
True
Suppose -2*r = 3*r - 10. Suppose r = q - 2. Suppose 5*t - 3*z = 28, 3*t - 36 = -2*z - q. Does 8 divide t?
True
Suppose 0 = 5*n + 4*j + 175, -2*n - j = -n + 34. Is 15 a factor of (n/12 + 3)*-236?
False
Suppose b + b - 4 = -3*d, -4*b = d - 18. Suppose -5*m + m + 29 = b*t, -m - t = -8. Is m a multiple of 9?
False
Let y(a) = -a - 11. Let m be y(-8). Is 22 a factor of m/9 + 199/3?
True
Let i be 4 + -7 - (-2 - 8). Suppose -228 = 3*h - i*h. Is h a multiple of 21?
False
Suppose 4*s = s + 30. Suppose -s = -3*r - 2*r. Suppose 8 = r*y - y. Is y a multiple of 8?
True
Suppose 0 = -2*k - 0*u - 2*u, -2*u = 10. Suppose k*b + 96 - 276 = 0. Does 12 divide b?
True
Let s(q) = 3*q**2 + 2*q - 1. Is s(3) a multiple of 18?
False
Let t be (0 - (-12)/15)*5. Suppose -2*y = -4*a - 0*a + 2, 2 = -5*a + t*y. Suppose a*k = 11 + 3. Is 4 a factor of k?
False
Suppose 9*f = 4*f. Let l be (f - -3)*(-6)/(-9). Does 2 divide 3/(-2)*(0 - l)?
False
Is 2 a factor of 4 - (14/1)/(-1)?
True
Let m(y) = 7*y**3 - 6*y**2 + 7*y. Let j(z) = -6*z**3 + 7*z**2 - 8*z + 1. Let t(r) = -6*j(r) - 5*m(r). Is 11 a factor of t(11)?
False
Let t be 4*(2/(-8) - 2). Let v(z) = -z**3 - 9*z**2 - 7*z. Does 13 divide v(t)?
False
Suppose 2*k - 25 = 5*n, -3*k + k = 3*n - 17. Suppose 3*z + k = 8*z. Does 9 divide (-3)/(3/(-54)*z)?
True
Suppose 2*l - 1 = 3. Let r be (-2 - (-2)/(-4))*l. Let v(x) = x**3 + 4*x**2 - 8*x - 3. Does 4 divide v(r)?
True
Let w(c) = -16 - 2*c - c + 4*c + c**2 + 6*c. Does 11 divide w(-11)?
False
Let f be ((-6)/12)/(2/(-48)). Suppose 4*c - f = 3*c. Is 10 a factor of c?
False
Let m(t) = -t**3 - 5*t**2 - 4*t - 1. Does 22 divide m(-6)?
False
Suppose 2*u - 50 = -0*u. Is u a multiple of 6?
False
Suppose 5*f = -c - c - 17, -3*c = 3*f + 3. Suppose 4*y - y - 166 = c*j, -4*y = -5*j - 220. Does 19 divide y?
False
Is -15*(4 + (-80)/12) a multiple of 20?
True
Let h(l) = l**2 - l - 2. Let q be h(4). Let d(p) = -4*p**2. Let f be d(-1). Let u = f + q. Is 4 a factor of u?
False
Let o(s) = s**2 - 3*s. Let n be o(3). Let f = 81 + -17. Suppose n = 5*w - f - 96. Is 19 a factor of w?
False
Let u(q) = q**3 - 3*q**2 - 6*q - 5. Is 15 a factor of u(5)?
True
Let b = 3 - -2. Let c(p) be the first derivative of 7*p**2/2 + 2*p + 8. Is c(b) a multiple of 15?
False
Let x = 11 - 7. Suppose 4 + 4 = x*q. Does 10 divide 234/14 + q/7?
False
Let j be 2/5 - (-26)/10. Let q be ((-36)/15)/(1/(-5)). Suppose j = -s + q. Is s a multiple of 9?
True
Suppose 3 - 7 = -4*m. Let h(j) = -1 + 44*j + 16*j**2 - 44*j. Is 8 a factor of h(m)?
False
Suppose 5*k + 2*c - 122 = 0, -5*k - 3*c + 134 = 11. Is 6 a factor of k?
True
Suppose 4*b - b - 8 = -2*g, -5 = -3*b + g. Let h(k) = k**2 - 5*k - 5. Let i be h(6). Is i + 2 - (-11 + b) a multiple of 12?
True
Let v be (-2)/(-4)*(26 + 0). Let f = 20 - v. Is 7 a factor of f?
True
Let g(h) be the first derivative of 2*h**2 - 3*h + 1. Let a be g(2). Suppose 4*s - a*r - 73 = 0, 15 = s + r - 10. Is s a multiple of 9?
False
Suppose 0 = h - k + 4*k - 109, 5*h - 506 = -2*k. Is h a multiple of 20?
True
Let s(g) = 12*g**2 + 1. Let c be s(1). Suppose -t - c = 3*f - 5, 5*f - 3*t - 10 = 0. Does 4 divide f/(-4) + (-141)/(-12)?
True
Suppose 3*i - 153 = 2*v, -v = 3*v - 5*i + 307. Let b be 1/4 - (-535)/4. Let m = v + b.