 + 0)*-16?
True
Let f(k) = -16*k**2 + k - 3. Let s(i) = 16*i**2 - i + 4. Let g(z) = -3*f(z) - 2*s(z). Let c be (16/(-9) - -2) + (-63)/(-81). Does 16 divide g(c)?
True
Suppose -17*w - 3780 = -22*w. Does 14 divide w?
True
Let i(v) be the first derivative of -3*v**2 - 12*v - 1. Is i(-14) a multiple of 22?
False
Let k = -421 - -269. Let u = -18 - k. Is 14 a factor of u?
False
Let u = 16 + -15. Suppose 4*t - 33 = -u. Is 3 a factor of t?
False
Let r(v) = 22*v + 4. Let h be r(4). Let l = h + -45. Is l a multiple of 7?
False
Let g = 10 - 15. Let l(d) be the first derivative of -d**4/4 - 2*d**3 - 7*d**2/2 - 6*d - 100. Is 4 a factor of l(g)?
True
Let y = 33 - 27. Let u be (-3 - -7 - y)/(-1). Suppose -u*b = -v - 27 + 110, 0 = -v - 2*b + 79. Does 20 divide v?
False
Suppose 761 + 388 = 3*h - 2*w, -4*h = -4*w - 1528. Is 13 a factor of h?
False
Suppose -115 = 7*d + 277. Let s = d - -140. Is 15 a factor of s?
False
Is 3 a factor of 25/((-125)/(-12))*10?
True
Let b(z) = 3*z**2 - 22*z + 8. Suppose -2*o - i + 10 = -5, 3*i + 55 = 4*o. Is 24 a factor of b(o)?
False
Let d(b) = 49*b**2 - 6*b - 4. Does 22 divide d(-3)?
False
Let t be -1*1 + (-1)/1. Let x(h) = -4*h + 132 - 134 - 6*h. Is x(t) a multiple of 18?
True
Let o = 5 + -36. Let j = o - -60. Suppose 0 = 3*i + 4*b - j, 5*b - 15 - 10 = -3*i. Is 15 a factor of i?
True
Let u(w) be the second derivative of -w**7/2520 - w**6/80 - w**4/2 - w. Let n(j) be the third derivative of u(j). Does 10 divide n(-7)?
False
Let y(k) = k**3 - 4*k**2 + 6*k - 3. Let d be y(3). Let m be -3 + d + 3 + -4. Is 9 a factor of 18/5*(3 + m)?
True
Suppose -6*u + 2 = -5*u. Suppose u*c + 4*v + 1 = -3, v = -c. Does 9 divide 100/(2 + c) + 3?
False
Is 2 + -58*(-5)/10*3 a multiple of 5?
False
Let k(y) = 19*y**2 + 3*y + 16. Let h(c) = 13*c**2 + 2*c + 11. Let v(j) = -7*h(j) + 5*k(j). Is 17 a factor of v(6)?
True
Let m(c) = c**3 + 13*c**2 + 8*c + 10. Suppose -8*g + 3*g = w - 13, -2*g + w + 1 = 0. Suppose -g*p + 3 - 27 = 0. Does 12 divide m(p)?
False
Let c = -73 - -1. Let d = c - -43. Let o = d + 40. Does 11 divide o?
True
Suppose 4 = y - 5*g, -4 = -y + 4*g - 2. Let h(m) = -2*m**3 - 12*m**2 - 10*m - 15. Does 15 divide h(y)?
True
Let k = -27 + 29. Suppose -k*u - 2*v + 92 = 0, v + v - 10 = 0. Is u a multiple of 6?
False
Let i be ((-20)/25)/((-2)/5). Let j = 1 - i. Let x = 22 + j. Is x a multiple of 17?
False
Let a be 535*13/((-130)/12). Is 24 a factor of a/(-14) - (-1)/7?
False
Does 22 divide -5 - -70*7/(42/27)?
False
Suppose -14*c + 13*c = -54. Is c a multiple of 9?
True
Suppose -2*m + 7*m = -20. Let s be (-3 + 4)*(-1 - m). Let w = s - -9. Is w a multiple of 4?
True
Let d = 12 - 20. Let k(b) = -4*b - 15. Let w(y) = -3*y - 15. Let h(m) = 4*k(m) - 5*w(m). Is 11 a factor of h(d)?
False
Let z be -1 + (-5)/(20/(-4)). Suppose 0 = 3*r + 2*h - 55, z = 4*r + 4*h - 62 - 14. Is 10 a factor of r?
False
Is 13 a factor of (-8333)/(-5) + 216/40 + -5?
False
Suppose 3 = n, 2*k + 3*n - 5*n = 130. Suppose -3*i - 13 = -4, 0 = 4*y + 4*i + k. Let d = y + 33. Is d a multiple of 6?
False
Let c(m) be the first derivative of 31*m**4 + m**2/2 - m + 11. Let b be c(1). Let s = -84 + b. Is s a multiple of 8?
True
Let l(n) = -3*n - 12. Let a be ((-10)/8)/((-1)/4). Suppose a*r + 72 - 27 = 0. Does 5 divide l(r)?
True
Let n(x) = -15*x - 150. Does 5 divide n(-33)?
True
Suppose -664*z + 659*z = -4600. Is 8 a factor of z?
True
Let o = -12 + 16. Suppose 18 = 2*b - 3*n, -2*n + 0 = o*b - 20. Does 4 divide b?
False
Let r(n) = n**2 - 6*n + 2. Let m be r(6). Suppose -p + 4 = m. Suppose 4*w + 0*w + 16 = 0, p*y = 2*w + 64. Is 8 a factor of y?
False
Suppose 5*n = 3*a + 2*n - 306, 5*n = 2*a - 219. Let o = a + -43. Is 11 a factor of o?
False
Suppose -6259 = -21*n + 18857. Is n a multiple of 17?
False
Let v(h) = -h**3 - 15*h**2 + 12*h + 20. Let j = -9 - 7. Let i be v(j). Let t = i - 38. Is 13 a factor of t?
False
Let y = 48 - 29. Suppose -5*d + y = -4*m, -m = -d + 6 - 3. Is d even?
False
Let r be (54/(-15))/(-6)*15. Let v be (-6)/18 + (-15)/r. Does 14 divide (-1 - -69) + -1 + v?
False
Suppose q + 2503 = 3*y - 795, 3*q - 6 = 0. Is 20 a factor of y?
True
Does 11 divide 0 + -2 - (-61 + -29)?
True
Suppose -5*z = -5, -3*z = -3*r + 2*z + 10. Suppose -65 = -4*o - 3*n, -r*n + 38 + 19 = 3*o. Is 12 a factor of o?
False
Suppose 0 = 4*l - 6*l - 24. Suppose -r - 13 = 7. Let w = l - r. Is 4 a factor of w?
True
Let l = -11 - -18. Suppose -5736 = -3*s + l*s. Does 11 divide 2/(-13) - s/26?
True
Let s be -47*-2*(-2)/(-4)*3. Let d = s + -45. Is 16 a factor of d?
True
Let d(j) = j**2 + 2*j - 24. Let y be d(12). Let r = -79 + y. Does 4 divide r?
False
Let h(z) = -z**3 - 7*z**2 - 4*z - 16. Let a be h(-7). Suppose 0*d + a = 3*d. Suppose d*w = -0*w + 64. Is 12 a factor of w?
False
Suppose -63*x = -55*x - 632. Is x a multiple of 6?
False
Does 24 divide 12/(-10) + 3150/125?
True
Let h = 392 - 304. Is 14 a factor of h?
False
Suppose 14*y - 8 = 12*y. Suppose 5*f + k - 87 = 126, 2*f - y*k - 72 = 0. Is 14 a factor of f?
True
Let n = -245 + 395. Is n a multiple of 74?
False
Suppose 3*i + 6*y = 2*y - 8, -y = -2*i + 2. Suppose -2*f + 12 + 38 = i. Is f a multiple of 25?
True
Let k(s) = -12*s - 27. Does 9 divide k(-12)?
True
Let j = -615 + 1227. Is 34 a factor of j?
True
Suppose 21 = -y - j, -4*y = -3*j + 15 + 83. Let u = y - -42. Is 10 a factor of u?
False
Let b(l) = 3*l**2 + l. Let k be b(1). Let v(h) = h**3 - h**2 + h - 1. Let m be v(1). Let u = m + k. Is u a multiple of 2?
True
Let z = 161 + -15. Is 7 a factor of z?
False
Let i = 67 + -44. Let l = 10 - i. Let p = l + 16. Is 2 a factor of p?
False
Suppose -4*y = 3*m - 1182, y = -4*y. Does 7 divide m?
False
Let o(v) = 26*v - 2. Let s be ((-5)/(-1))/(2/4). Suppose 3*a + 2*m + s = 7*a, 0 = 5*a - 3*m - 14. Is 6 a factor of o(a)?
True
Let b = 607 + -282. Suppose -4*h + 5*h - 3*g + 7 = 0, -21 = -5*h + g. Suppose -h*i = -10*i + 5*u + b, 0 = -i - 4*u + 70. Is i a multiple of 22?
True
Let x be (-730)/(-2) + (1 - (0 - -2)). Suppose 4*i - 8*i + x = 0. Does 16 divide i?
False
Let r be -6*18*(-3)/(-12). Let j = 12 + r. Is 9 a factor of -3 + -3*(2 + j)?
True
Let s(w) = 53*w**2 - 13*w + 4. Let b(j) = -27*j**2 + 7*j - 2. Let n(r) = 11*b(r) + 6*s(r). Is n(2) a multiple of 28?
True
Is 1/(1/446) - (-9 - -5) a multiple of 15?
True
Suppose 2*r = -4*g - 43 + 13, 5*r + 4*g = -69. Let l be (-5 + 1)*r/4. Suppose -14*y = -l*y - 2. Does 2 divide y?
True
Suppose -3*x - 2*x - 5*d = -215, 4*d + 233 = 5*x. Suppose 2*u - 253 = -x. Is 21 a factor of u?
False
Let b(u) = u**2 - 3*u - 7. Let w be b(5). Suppose -w*q + 8 = q. Let r = 6 + q. Does 8 divide r?
True
Let p(j) = j**2 - 16*j - 87. Is 12 a factor of p(-8)?
False
Suppose -10*h = 43 - 73. Suppose n - 3*a + 12 = 4*n, 5*a + 4 = n. Suppose 38 = z + n*k, -h*z = -z + k - 48. Is 11 a factor of z?
True
Let l = 75 + 285. Suppose r = 2*w + 105, 5*r - l = r - 4*w. Does 19 divide 8/5*r/2?
True
Suppose 0 = -3*m - 2*c + 6, 0*c + 35 = 5*m - 5*c. Suppose m*t + 560 = 9*t. Is t a multiple of 16?
True
Let n = 11 - -98. Suppose 62 = 3*c - n. Is c a multiple of 19?
True
Let c(g) = -g**2 - 31*g - 49. Does 3 divide c(-29)?
True
Suppose -108*h + 110*h - 1344 = 0. Is 42 a factor of h?
True
Let w = -25 + 31. Suppose 0 = -10*j + 12*j - w. Suppose -j*l - 4*l + 70 = 0. Is l a multiple of 5?
True
Suppose 2*n + 10 = -10. Is n/5 + 77 - 2 a multiple of 6?
False
Let v(p) = 83*p + 12. Is 9 a factor of v(2)?
False
Let i(k) = 11*k**2 - 22*k + 13. Let z be i(6). Let p = z - 193. Is 21 a factor of p?
True
Let n be 3 - ((-6)/(-3) - 4). Suppose -2*p - 37 = -a, 7*p - 147 = -3*a + 4*p. Suppose 201 = 5*w - 0*q - q, -w + n*q + a = 0. Is 10 a factor of w?
True
Let j = 1998 + -1237. Does 17 divide j?
False
Is 14 a factor of -15 + 9 + 101*26?
False
Let o(i) = -2*i**2 - 2*i - 2. Let s be o(-2). Does 14 divide 2/s - 380/(-6)?
False
Suppose 2*h + 2 = 8. Suppose -2*g + 5 = -h*x, x - 18 = -3*g + 2*x. Suppose 5*u - g = 43. Is u a multiple of 10?
True
Let g(d) = 9*d + 76. Let f be g(16). Suppose 0*x + 4*x - 5*m = 176, 5*x - 5*m = f. Is 11 a factor of x?
True
Let w = 15 - 9. Suppose 2 = 2*q - w. Suppose -q*v - v - 2*u = -121, -5*v + 5*u + 100 = 0. Is v a multiple of 23?
True
Suppose 3*g + 185 = 5*h + 867, 3*g + 3*h - 666 = 0. Is 33 a factor of g?
False
Suppose 0 = 9*l + 129 - 165. Let t(n) = 27*n**2 - 3. Let j be 