 u(-16) a multiple of 46?
True
Let u(d) = 7*d**3 + d**2 + 6*d + 2. Let h(k) = 6*k**3 + k**2 + 5*k + 2. Let x(f) = -5*h(f) + 4*u(f). Is x(-2) a multiple of 12?
True
Let n = 37 + 28. Does 13 divide n?
True
Suppose 40 = 4*w - 3*l, 0 = -2*w - l + 9 + 11. Let q = -36 - -68. Suppose -q = -j - w. Is j a multiple of 11?
True
Let f be (-12)/(-16) + 108/(-16). Let u(g) = g**3 + 6*g**2 - 3*g + 2. Is 10 a factor of u(f)?
True
Suppose -23 = -9*s + 4*s - 3*w, -5*w = -s + 27. Is s a multiple of 3?
False
Let n = 6 + -4. Suppose n*i = i + 31. Does 13 divide i?
False
Let d(f) = -f**2 + 6*f - 4. Let m(k) = 3*k**2 - 12*k + 9. Let z(y) = 5*y. Let s be z(-1). Let l(v) = s*d(v) - 2*m(v). Is 5 a factor of l(-4)?
True
Let n(r) be the second derivative of -r**7/840 + 7*r**6/360 + r**4/4 + r**3/3 + r. Let p(v) be the second derivative of n(v). Is p(7) a multiple of 5?
False
Suppose 0*x = 2*x + 4*g - 68, 3*x - g = 109. Suppose -3*q - q = -x. Is 8 a factor of q?
False
Let o be 0 + (13 - -3) - 3. Let r = o + 6. Does 7 divide r?
False
Let w(i) = -17*i - 10. Let h(y) = -18*y - 11. Let j(o) = -2*h(o) + 3*w(o). Let f be j(-8). Suppose -z + f = 3*z. Is z a multiple of 14?
True
Let u(r) = r**3 - 3*r**2 + r. Let g be u(1). Let p be 136/10*(6 + g). Suppose -s = s - p. Is 17 a factor of s?
True
Is 9 a factor of (-2)/(-3) - (-7403)/33?
True
Suppose r + 5*f = 14, 0 = -3*r + 2*f - 1 + 9. Suppose 4*h = o + 62, -4*h = r*o - 28 - 24. Is 15 a factor of h?
True
Let p be 2 + (-1 + 1 - 5). Let u = p - -6. Suppose -u*z + 0*h = h - 10, 4*z - 5*h = 45. Is z even?
False
Let z(q) = -q**3 + 9*q**2 + 6*q - 8. Let n be z(9). Suppose -50 - n = -3*u. Is 16 a factor of u?
True
Suppose u + 2*w = 8 - 1, 4*u + 5*w - 37 = 0. Is 13 a factor of u?
True
Suppose 2*a + 172 = -2*a + 2*b, -a - 43 = -2*b. Does 8 divide 2 + (-2)/2*a?
False
Let t(f) = -f**2 - 4*f - 3. Let j be t(-6). Suppose -11 = -5*o + 4*o. Let r = o - j. Does 13 divide r?
True
Suppose 0*t + 8 = -2*t. Let j = t + 7. Suppose 3*f + 4*r = f - 10, 0 = 4*f + j*r. Does 3 divide f?
True
Suppose l + l = 98. Let c be 4/(-14) - (-9030)/l. Suppose -4*t + c = -0*t. Is 15 a factor of t?
False
Let l be (12 + 3 + -2)/(-1). Is 14 + l - 178/(-2) a multiple of 30?
True
Suppose 7 = 2*q - 9. Is q a multiple of 4?
True
Let s be 4/(3 - 4 - -2). Suppose s*i + x - 132 - 925 = 0, -2*i + 531 = 3*x. Does 16 divide (4/6)/(4/i)?
False
Let d(k) = 3*k**2 + k - 1. Suppose -3*w + 2 = -4*u, 0 = -2*u + 2. Does 13 divide d(w)?
True
Let r be ((-3)/(-6))/1*4. Suppose r*q + q - 12 = 0. Let s(p) = -p**2 + 5*p - 2. Is 2 a factor of s(q)?
True
Let h(t) = -t**3 - 23*t**2 + 23*t + 40. Does 8 divide h(-24)?
True
Let x be (4*-1)/(-2) - 2. Suppose -g + 4*d = -31, -4*g - 3*d = -x*g - 29. Is 3 a factor of g?
False
Is 9 a factor of 63/28*4*3?
True
Suppose r + 2 = -3*z - 17, 5*r + 40 = -4*z. Let n = 0 - z. Let q(p) = p**3 - 4*p**2 + 4*p + 5. Does 18 divide q(n)?
False
Suppose 4*p = -6 + 26. Suppose 44 = 4*j - 4*h, 5*j + p*h - h - 28 = 0. Is j a multiple of 4?
True
Suppose 0 = 12*c + 459 - 4359. Does 41 divide c?
False
Suppose 0 = 4*t, -5*i - 2*t = -0*i - 55. Does 11 divide i?
True
Suppose -x + 4 = 0, 2 = s - 2*x - x. Let l be ((-12)/s)/((-5)/105). Is (-13)/(2*(-3)/l) a multiple of 15?
False
Let n = -36 + 64. Does 14 divide n?
True
Suppose -3*o - 4 = 2. Does 16 divide (-231)/(-5) + o/10?
False
Let v(c) = -c**3 + 15*c**2 + c - 8. Let s be v(15). Suppose -3*y = -4*m - 202, -s*y - 3*m + 286 = -3*y. Does 15 divide y?
False
Let s = -7 + 11. Is 3 a factor of s/(-10) - (-88)/20?
False
Suppose 0 = -2*f + 22 + 48. Does 12 divide f?
False
Let g(f) = -2*f**2 + f + 2. Let s be g(-2). Is (-102)/s + 2/8 a multiple of 5?
False
Suppose 0*y - y = -1. Is 14 a factor of 15 + -2 + 2/y?
False
Let h = -3 - -33. Is h a multiple of 30?
True
Let j = -40 - -49. Is 2 a factor of j?
False
Let r(h) = -h**3 - 15*h**2 + 17*h + 16. Let p be r(-16). Suppose p = 2*m - 0*m - 30. Is m a multiple of 5?
True
Does 4 divide (-1)/(-2) - (-1 - 90/4)?
True
Let f(w) be the second derivative of 4/3*w**3 - 4*w + 1/2*w**2 + 0. Does 9 divide f(1)?
True
Does 13 divide 3/(-9)*-6 + 52?
False
Let z be (-1)/((-3 - -5)/(-10)). Suppose -67 = -z*b - 3*q, -4*b + 6*q - 3*q = -59. Is 7 a factor of b?
True
Let n = 19 + -7. Suppose 3*p + p + n = 0, -2*d + 2*p = -12. Suppose 3*i = 0, -2*h + 7*h + d*i = 85. Does 17 divide h?
True
Let g = -24 - -48. Is 12 a factor of g?
True
Let v = 54 - 28. Is 8 a factor of v?
False
Suppose -3*s + 3 = -12. Let c(b) = -b**2 + 3*b + 4. Let q be c(3). Suppose 2*a = -s*v + 99, -q*v + 0*a + 72 = -2*a. Does 8 divide v?
False
Let h = 2 - 0. Let v = -4 + h. Does 7 divide (v/4)/(1/(-26))?
False
Let h(g) = -6*g - 6. Let x be h(-5). Suppose x = c - 2*y + 5, -64 = -3*c - y. Is c a multiple of 6?
False
Let r be 69 + -1 + 4 + -2. Suppose u + r = 3*u. Is 13 a factor of u?
False
Let c(r) = 5*r - 8. Let v be c(10). Suppose -7*z + v = -4*z. Is 7 a factor of z?
True
Suppose -2*h = -h. Suppose 2*f - 30 = -h*f. Suppose -2*c = 3*c - f. Is 3 a factor of c?
True
Let x be (-1)/(-1)*(1 + 7). Let q be (-374)/(-8) - (-2)/x. Let m = q + -33. Is 8 a factor of m?
False
Let p(r) = 12*r**3 + 2*r**2 - 2*r**2. Let n = -2 + 3. Is 11 a factor of p(n)?
False
Let g(j) = 2*j**2 - 2*j + 5. Is g(2) a multiple of 3?
True
Let f be -3 + 12/2 + 6. Does 12 divide 1*-2*(-21 + f)?
True
Suppose 0*c + 12 = 2*c. Does 9 divide 8/(-12) - (-166)/c?
True
Suppose 5*z + 5*w = 14 + 21, 2*z - 4*w - 20 = 0. Let n be (z/10)/((-2)/85). Let s = -14 - n. Is 11 a factor of s?
False
Let v(d) = -15*d - 50. Is v(-10) a multiple of 20?
True
Let q(m) = m**3 + 5*m**2 - 7*m - 3. Let v be q(-6). Suppose -x + 25 = -2*t - 19, 45 = x - v*t. Does 18 divide x?
False
Let u(z) be the first derivative of z**4/6 + z**3 + 5*z**2/2 + 2*z + 2. Let p(j) be the first derivative of u(j). Is 7 a factor of p(-4)?
False
Suppose -m - 2*m + 171 = 0. Does 20 divide m?
False
Suppose 4*y + 71 + 25 = 0. Let c = 73 + y. Does 13 divide c?
False
Let y = -2 - -6. Let f be y/8 - 1/2. Suppose f = 2*z + 11 - 29. Does 7 divide z?
False
Suppose -2*t = -5 - 3. Suppose 2*u - t = 2. Does 26 divide (86/6)/(1/u)?
False
Suppose 0 = c + 5*a + 27, -a = -3*c - 6 + 5. Let f(r) = r**3 + 4*r**2 + 4*r + 3. Let t be f(c). Is 28 + (t + -1 - 5) a multiple of 17?
False
Let q(b) = 88*b**2. Let r(i) = -2332*i**2. Let x(d) = -132*q(d) - 5*r(d). Is 11 a factor of x(-1)?
True
Suppose -5*n + 25 = 5. Suppose n*a + 2*f = -32 + 98, f = -3*a + 47. Suppose 3*g + 2*l = 52, -2*l - 2*l + a = g. Does 9 divide g?
True
Let o(a) = a**3 + 6*a**2 + a + 5. Let u = 5 + -11. Let r be o(u). Let l(p) = -21*p. Does 8 divide l(r)?
False
Let y = -17 + 45. Is 7 a factor of y?
True
Let x be -4 + ((-1)/1)/(-1). Is 17*(-6)/(-3) + x a multiple of 10?
False
Let b(f) be the second derivative of -3*f**5/20 - f**4/6 - f**2 + 2*f. Is 7 a factor of b(-2)?
True
Suppose -q = -0*q - 22. Does 11 divide 2/((-16)/(-4))*q?
True
Suppose -5*y = -0*g - g - 14, 0 = 3*y - 3*g - 6. Suppose -y*c - 6*z + z = -20, -8 = c - 2*z. Suppose -4*q + 15 + 9 = c. Does 5 divide q?
False
Let b(h) = -h**3 - h**2 - 7*h - 6. Is b(-4) a multiple of 7?
True
Let k = 9 + 21. Is k a multiple of 10?
True
Suppose -18*j + 16*j = -120. Does 20 divide j?
True
Let f = -1 - -2. Let j = f - -1. Suppose -33 = -n - j*n. Does 7 divide n?
False
Let c(f) = 17*f**2 + 2*f + 6. Is 19 a factor of c(-3)?
False
Let y(i) = i**3 + 5*i**2 + 2*i + 2. Let v be y(-3). Let q be 38/14 + 4/v. Suppose q*k + 3 + 3 = -2*a, 16 = -4*k. Is a a multiple of 3?
True
Let t(u) = -u**3 - u**2 - u - 1. Is 3 a factor of t(-3)?
False
Suppose -5*o = 3*x + 14, 4*o - 4*x - 12 = -4. Let a be o - -3 - 2 - 1. Let m = 5 + a. Does 4 divide m?
True
Let b = 54 - -11. Does 13 divide b?
True
Let v = -15 - -17. Suppose -v*h = 2*h - 68. Is 17 a factor of h?
True
Let z = -58 + 87. Does 3 divide z?
False
Suppose -2*x + 87 = 3*k, 35 = k - 4*x - 8. Is k a multiple of 19?
False
Let d(g) = -g**3 - 7*g**2 + 8*g + 11. Does 31 divide d(-9)?
False
Let k(g) = -g**3 + 11*g**2 + 15*g - 4. Does 18 divide k(12)?
False
Suppose 3*v + m - 105 = 0, -6*v + 2*m = -3*v - 105. Is v a multiple of 9?
False
Let s(t) = -t**2 + 14*t + 8. Let u be s(10). Suppose -3*o = o - u. Is o a multiple of 12?
True
Does 9 divide (23*(-1 + 3))/2?
False
Let q be ((-75)/45)/(1/(-168)). Is 16 a factor of 18/(-15)*q/