9/3 - (-14)/(-2))?
False
Let u(x) = -x**3 - 11*x**2 - 3*x + 8. Is u(-11) a multiple of 16?
False
Let s = 19 - 16. Suppose -25 + 4 = -5*c + 2*h, -3*h = s*c - 21. Does 3 divide c?
False
Suppose 20 = -4*a - 188. Let v = a - -81. Is v a multiple of 13?
False
Suppose -3*w = -f + 24, -3*f + 0*w + 72 = 4*w. Is f a multiple of 4?
True
Let k(a) = 2*a**2 - 10*a + 14. Is k(5) a multiple of 3?
False
Let p = -11 + -13. Let o = p - -109. Suppose 5*m = -5*s + o, m - 6*m + 117 = -3*s. Is m a multiple of 7?
True
Let l(y) = -34*y**3. Is 10 a factor of l(-1)?
False
Suppose -2*i + 32 = -2*u, -i + 2*i = -4*u + 1. Does 4 divide i?
False
Suppose -180 = 6*y - 8*y. Is 30 a factor of y?
True
Let f(y) be the second derivative of -y**3 - 6*y**2 + 7*y. Is f(-6) a multiple of 12?
True
Let t = -1 - -4. Suppose s - 38 = t*s. Is 2*(0 + -1)*s a multiple of 19?
True
Let n = 6 - 5. Let x(h) = n - 2 + 19*h**2 + 0. Is x(-1) a multiple of 14?
False
Let d(h) = 4*h**3 - 13*h**2 - 4*h + 1. Let q = -8 - -13. Let x(t) = 3*t**3 - 12*t**2 - 4*t + 1. Let f(n) = q*x(n) - 4*d(n). Does 12 divide f(-8)?
False
Let h(a) = 2 - a**3 + a**3 - a**3 + 2 + 4*a**2. Is 4 a factor of h(4)?
True
Let x be (16/14)/(10/35). Let g = -6 + 17. Suppose 70 = x*j + j - 5*s, -4*j = 5*s - g. Is j a multiple of 5?
False
Suppose 0 = 4*z - 5*y - 3, 3*z - 3*y = 5*z - 7. Let u = z + 9. Is 11 a factor of u?
True
Suppose -4*b = -5*r - 516, -5*r - 376 = -3*b - 4*r. Is 31 a factor of b?
True
Let d = 3 - -5. Suppose d*w - 3*w - 20 = -x, 0 = -x - w + 16. Is x a multiple of 5?
True
Let o be 2/10 - (-78)/10. Let v = o + 4. Is 6 a factor of v?
True
Let m = -26 - -61. Does 6 divide m?
False
Let s be -7 - (-3 + -2 - -2). Is 15 a factor of s + 34 + (-2)/2?
False
Let u(l) = -2*l + 33. Is u(0) a multiple of 5?
False
Let r be 0 + ((-6)/1)/(-3). Let u(p) = 4 + 29*p**3 - 3 + 0 - r*p. Is 10 a factor of u(1)?
False
Let k be 2 - (-1 - 0) - -1. Suppose 0 = q - 4*q + 3*o + 36, 2*q - 12 = -k*o. Is q a multiple of 3?
False
Let b(j) = -j**2 + 9*j - 7. Let x(q) = 1. Let h(w) = -b(w) + 2*x(w). Let c(p) = p**3 + 6*p**2 + 3*p - 1. Let o be c(-5). Does 9 divide h(o)?
True
Let y be ((-4)/8)/((-2)/12). Suppose -5*q = -2*u - 62, u - y*q - 2*q + 41 = 0. Let i = u - -29. Is 4 a factor of i?
True
Suppose -322 = 4*z - 5*c, 0 = -5*z - 0*c - c - 417. Let x = 119 + z. Does 18 divide x?
True
Let a = 52 + -48. Let w be 4*-1*-1*1. Suppose -21 = -u - q + a*q, -w*q = -5*u + 160. Is 12 a factor of u?
True
Let p(y) = -y**3 - 2*y**2 + y - 3. Let x be p(-3). Suppose x*f = -f + 68. Does 17 divide f?
True
Suppose -224 = -4*r - 0. Is 16 a factor of r?
False
Suppose 67*k - 252 = 61*k. Is k a multiple of 6?
True
Is (-550)/(-8) + (-18)/(-72) a multiple of 18?
False
Let u(f) = f**2 + f - 4. Let w be u(4). Let t = w - 1. Is 7 a factor of t?
False
Let a(z) = 31*z**2 - 11*z. Let c(s) = -10*s**2 + 4*s. Let f(r) = 4*a(r) + 11*c(r). Let p be (-1)/((0 - 1)*1). Does 7 divide f(p)?
True
Suppose l + 12 = 4. Let g = l - -23. Is 5 a factor of g?
True
Suppose -5*i + 100 - 450 = 0. Let m = 126 + i. Is 28 a factor of m?
True
Let u(o) = 4*o - 3. Let q be u(5). Let d = q - 7. Is d a multiple of 10?
True
Does 4 divide (0 + -1)/(2/(-44))?
False
Let b(f) = -2 + 1 + 5*f**2 - 4*f**2 - 3*f. Let u be b(4). Suppose 0 = 2*y - 5*r - 58, 5*y - 4*r - 56 = u*y. Is y a multiple of 12?
True
Let a(i) = 6*i - 3*i**3 - 5*i**2 - 3*i**3 + 7*i**3 - 4. Let w be a(4). Suppose w*o + 70 = 254. Is o a multiple of 19?
False
Let p(i) = -3*i**2 + i + 48. Is p(0) a multiple of 10?
False
Let r(a) = -a**2 - 16*a - 13. Does 5 divide r(-13)?
False
Suppose o - 2 = -4*h, 2*h - 48 = -3*o - 12. Let y = -10 + o. Suppose y*p - 10 - 22 = 0. Is 5 a factor of p?
False
Let h(j) = 12*j**2 + 3*j + 4. Let g be h(3). Suppose -5*l + 4*r + g = 0, 2*l + r = 4*r + 54. Suppose 3*w - l - 21 = 0. Is 11 a factor of w?
False
Let f be 1/(-2) - (-30)/(-20). Does 6 divide f*(-1 + 10/(-4))?
False
Suppose 0 = -5*o - 0*o. Suppose 5*p + 4*d - 126 = o, -5*d + 21 = -p + 2*p. Does 17 divide p?
False
Suppose -2*l + 4*s = 124, 0*s - 20 = -4*s. Let c = -31 - l. Is 21 a factor of c?
True
Suppose 4*i + w = 22, 0*w = -5*i + w + 32. Let z = 2 + 1. Suppose i = -z*t, -5*f + 49 = -0*t - 2*t. Is f a multiple of 9?
True
Let r = -24 - -53. Does 7 divide r?
False
Suppose 322 = 3*x + w - 2, w = x - 104. Let k = -63 + x. Suppose 3*i + 3*d - 47 = 8*d, -4*d + k = i. Does 13 divide i?
False
Let y = 105 + -61. Is 24 a factor of y?
False
Suppose -8*q + 113 = -895. Is q a multiple of 10?
False
Let g(q) = -q**2 + 11*q + 16. Suppose s - 55 = -4*s. Is 16 a factor of g(s)?
True
Suppose 0 = -0*j + 2*j - 8. Let c = j - 1. Is 3 a factor of c?
True
Let r(c) = 2*c**2 - 6*c + 11. Is 4 a factor of r(4)?
False
Let f = 30 - -33. Does 21 divide f?
True
Suppose -1660 = -y - 4*y. Does 9 divide y?
False
Suppose -v - 8 = -69. Is 16 a factor of v?
False
Let q = 67 - 49. Let u(c) = -c**3 - c**2 + c - 4. Let o be u(-3). Let n = q - o. Is 7 a factor of n?
True
Let q = 11 + 33. Is 22 a factor of q?
True
Let p(q) = 3*q**2 - 2*q**2 + q**2 - 3*q + 3. Let y be p(2). Is ((-18)/y)/(18/(-45)) a multiple of 4?
False
Suppose -4*x + 3*x + 48 = 0. Let l = 67 - x. Is l a multiple of 16?
False
Let o be (1/3)/((-4)/(-1236)). Let d = -52 + o. Is 17 a factor of d?
True
Let n(p) = -2*p**2 - 39*p - 8. Is n(-19) a multiple of 6?
False
Let i = 19 - 12. Does 10 divide 96/i + (-2)/(-7)?
False
Suppose 0 = 3*n + 1 - 7. Suppose 0*t = -n*t + 56. Is t a multiple of 14?
True
Let j = -128 - -213. Suppose -j = -4*k - 25. Is k a multiple of 6?
False
Suppose -9*d = -14*d + 75. Is 15 a factor of d?
True
Let f be 84/10 + (-8)/20. Let n(y) = 4*y + 2. Does 17 divide n(f)?
True
Let o = 189 + -126. Is 21 a factor of o?
True
Suppose -2*i - 7 = -17. Does 2 divide i?
False
Let m be ((-1)/2)/(1/8). Is (3 - -6)/((-1)/m) a multiple of 12?
True
Let b(g) = -g**3 + 4*g**2 + 4*g - 6. Let h(r) = -r**2 - 9*r - 10. Let u be 1*8/(-2) - 3. Let x be h(u). Is b(x) a multiple of 10?
True
Let d(w) = -w - 11. Let u(m) = -m**3 + 10*m**2 - 10*m - 1. Let o be u(9). Let i be d(o). Does 9 divide -23*(i - 1 - -1)?
False
Suppose 2*y + 50 = 7*y. Suppose 0 = -k + 38 + y. Is k a multiple of 12?
True
Let h(j) be the first derivative of -j**5/120 + j**4/24 - j**3/3 - 2. Let n(b) be the third derivative of h(b). Is n(-4) a multiple of 5?
True
Let q(d) = -17*d + 1. Let h be q(-1). Suppose 5*i + 3 = h. Suppose 0 = 4*v - 3*v - 2*s - 54, -i*v = -3*s - 159. Does 18 divide v?
False
Suppose 0 = -4*v + 6*v - 24. Is v a multiple of 2?
True
Let w be (-3)/(-2)*(4 - -2). Is 16 a factor of (30/w)/(4/54)?
False
Let a(q) = q**2 + 3*q - 5. Let h(t) = t**3 + 12*t**2 + t + 8. Let y be h(-12). Let d be a(y). Let w = d + 11. Is w a multiple of 6?
False
Let n(q) = q**3 - 5*q**2 + 5*q + 3. Suppose -l + 5*s + 39 = 0, -s = -0*s + 4. Let p be l/4 - (-21)/(-28). Is 7 a factor of n(p)?
True
Suppose -18*n = 6 - 1662. Is 23 a factor of n?
True
Let x(v) = -5*v**2 - 4*v - 3. Let a(h) = -5*h**2 - 5*h - 4. Let y(u) = 3*a(u) - 4*x(u). Is y(2) a multiple of 7?
False
Let v = -29 + 41. Suppose 8 = 5*p - v. Suppose m = p*m - 33. Is 10 a factor of m?
False
Let o be 9/6 - (-1)/2. Does 4 divide 141/15 - o/5?
False
Let s = -9 + 74. Is s a multiple of 16?
False
Let y(k) = 26*k**3 + 2*k - 1. Is 8 a factor of y(1)?
False
Let h(a) = 12. Let d(b) = -2*b - 4*b + 1 + 4*b + 3*b. Let z(x) = -3*d(x) + h(x). Is 11 a factor of z(-9)?
False
Suppose 6 = -6*v + 60. Does 3 divide v?
True
Let a be -4 - -3 - (-1)/(-1). Is 33 + a - (3 + -2) a multiple of 12?
False
Let x(t) = -2*t**3 + 2*t**2 + t - 2. Let o be 2 + 0 - (3 + 1). Is 12 a factor of x(o)?
False
Let h(m) = 23*m + 1. Let o(c) = -c**2 + 2*c. Let a be o(1). Is h(a) a multiple of 15?
False
Let j(i) = -25*i. Is 15 a factor of j(-3)?
True
Let l be (0 + (-2)/6)*-15. Let a(m) = 7*m + 7. Does 18 divide a(l)?
False
Let s be (1 - -1)*(1 + -2). Let i(c) = -c**2 - c. Let h be i(s). Is (0 + -1)*-5 - h a multiple of 3?
False
Let k(t) = -t**3 + 6*t**2 - 2*t - 10. Does 3 divide k(5)?
False
Let p(v) be the first derivative of v**4/4 + 2*v**3 - 7*v + 2. Is 7 a factor of p(-5)?
False
Suppose -i - 4*i = -100. Suppose -w + i = v - 29, w = -2*v + 48. Is w a multiple of 12?
False
Let g = 3 - -5. Let r(m) = m**2 - 7*m - 5. Let b be r(g). Is (b - 1)/(1/17) a multiple of 14?
False
Let f be (-1