/(-6))*-4. Let u(n) = w*h(n) - s(n). Does 9 divide u(-6)?
True
Let u(k) = -k**3 - 2*k**2 + 4*k + 1. Is u(-5) a multiple of 14?
True
Let m = 0 + 14. Is 9 a factor of m?
False
Suppose 0 = -m + 5*m. Suppose m = 3*c - 24 - 39. Is c a multiple of 10?
False
Suppose -4*o + c = -o - 20, o - 4*c - 14 = 0. Suppose 6 + o = 4*d. Suppose -16 = -p - d*p. Is p a multiple of 2?
True
Let o(p) = p + 2. Let x be o(-10). Let k be (x - 0)*2/(-4). Suppose -136 = -k*z - 44. Does 10 divide z?
False
Is 3/((4 + -2)/24) a multiple of 6?
True
Let o(w) = 20*w**3 - 5*w**2 + 7*w + 7. Let n = 0 + 3. Let q(l) = 10*l**3 - 2*l**2 + 3*l + 3. Let j(u) = n*o(u) - 7*q(u). Is 9 a factor of j(-1)?
True
Let y(r) = 39*r - 39. Is 13 a factor of y(5)?
True
Let y(j) = 2*j. Let f be y(1). Suppose t - 18 = 2*n, -f*t = t + 3*n - 18. Is 5 a factor of t?
True
Let f(s) = 2*s**2 + 5*s + 3. Let r(z) = -z**2 - 4*z. Let a be r(-3). Suppose -2*d - a*x = 8, 3*d - x - 2*x = -12. Does 4 divide f(d)?
False
Let b(f) = -3*f**3 - 2*f**2 - 2*f - 12. Is b(-3) a multiple of 8?
False
Let p be (-2)/(-4)*(33 + -1). Suppose 4*a + p = 0, 4*a = -4*s - 44 + 336. Is s a multiple of 22?
False
Let p = -20 + -1. Let k = p - -57. Is 18 a factor of k?
True
Let p(r) = -2*r - 4. Let k be p(-4). Suppose 3 = k*y - 45. Is y a multiple of 12?
True
Is 10 a factor of (-50)/(((-16)/(-24))/(2/(-3)))?
True
Let q(i) = 45*i - 2. Let s be q(2). Suppose -4*v + 0*v = -s. Is v a multiple of 8?
False
Let x(k) = k**2 - 4*k + 13. Is x(11) a multiple of 30?
True
Let r = 7 + -3. Let q = r - -1. Suppose p - q = 10. Is 12 a factor of p?
False
Let s = 10 + -19. Let f be 2/s - 2408/(-63). Suppose 3*v = 2*l - f, 2*v - 62 = -4*l + v. Is 16 a factor of l?
True
Let f(r) = 2*r**2 - r - 3. Suppose -3*p = m - 0*p - 18, -5*m + 4*p - 5 = 0. Does 5 divide f(m)?
False
Let d(v) = 95*v + 4. Let w be d(4). Suppose -4*k + 3*k + 16 = -4*b, -5*b - 5*k - 20 = 0. Is w/21 + b/14 a multiple of 9?
True
Suppose 0*j - 4 = -j. Does 22 divide (j/10)/(2/220)?
True
Let f = 102 - 51. Is 17 a factor of f?
True
Suppose 92 = 12*z - 8*z. Does 14 divide z?
False
Suppose -c = -4*a + 910, -3*a + 4*c = -a - 448. Is a a multiple of 57?
True
Suppose 4 = f - 1. Suppose m + 1 = -2*m + f*k, -5*k = -5*m + 5. Suppose 0*w + m*w = 27. Is 8 a factor of w?
False
Let d(i) = 2*i**3 - 3*i**2 - 2*i. Is d(4) a multiple of 24?
True
Is 3 a factor of 0 + (-7)/(-4)*180/15?
True
Let q(y) = y**3 - 6*y**2 + 3. Let z be q(6). Let i(p) = 4*p**2 - p - 2. Let j be i(z). Suppose 2*d = d + x + j, -5*d + 2*x + 152 = 0. Does 15 divide d?
True
Let c(s) = 59*s - 2. Is 29 a factor of c(2)?
True
Let u = -1 + 5. Suppose 2*b - u*h + 4 = 0, -3*b + 2*h - h = -4. Suppose 3*n - 5 = b*n. Does 5 divide n?
True
Let v be 7/2 - 11/(-22). Suppose r + v*r - 295 = 0. Is r a multiple of 26?
False
Suppose i = -0*i - o - 1, -5*i + 25 = -o. Suppose -b - i*f + 52 = -5*f, 4*f = b - 52. Is 13 a factor of b?
True
Let t be ((-6)/2)/(-5 + 4). Let c be (-1)/t - (-7)/3. Suppose 2 = -2*l, -q + c*l + 0*l = -34. Does 14 divide q?
False
Let y = -2 - -4. Let v = 11 - 16. Let d = y - v. Does 7 divide d?
True
Suppose -u = 4*u - 25. Suppose -u*y - 25 = 15. Let a = -4 - y. Is a even?
True
Suppose -4 = 3*g - 4*g. Let x be (-18)/g*8/(-12). Suppose 5*a = 4*a - 4*i - 7, -4*i = -x*a + 27. Is a a multiple of 2?
False
Does 4 divide ((-4)/6)/((-7)/84)?
True
Let u be 1/3 - 56/(-12). Let d(s) = -2 - 4 + 12*s + u. Does 4 divide d(1)?
False
Is 1 - ((-4)/(-18) + 1038/(-54)) a multiple of 13?
False
Suppose -6*r + 234 + 1032 = 0. Is 23 a factor of r?
False
Let a be ((-96)/15)/(2/(-10)). Suppose -a = -j + 31. Suppose -2*c - c + j = 0. Does 11 divide c?
False
Does 12 divide (2 - -62) + (-4)/(-1)?
False
Let t(f) = -3*f**2 - 7*f - 5. Let k(n) = -n**2 - 4*n - 3. Let j(w) = -5*k(w) + 2*t(w). Is 10 a factor of j(5)?
True
Suppose 2*l + 0 = 40. Does 10 divide l?
True
Suppose m + 4*m = 3*j + 10, 0 = 4*m + 4. Let p be ((-2)/j)/(4/20). Suppose p*b + 30 = 7*b. Is 5 a factor of b?
False
Suppose 19 + 11 = 5*g - 4*d, g = 4*d + 6. Suppose -3*b - g = -33. Does 15 divide (30/b)/((-1)/(-9))?
True
Suppose 4*h = -0*h. Suppose 0 = -h*g + 3*g - 72. Is 9 a factor of g?
False
Let l(h) = 38*h - 12. Does 46 divide l(10)?
True
Let l(q) = 10*q**2 - 2*q - 16. Is 32 a factor of l(5)?
True
Suppose 4 = 2*n + 10. Is -1 - n - (2 + -6) a multiple of 3?
True
Let t(a) = 8*a**2 + a - 2. Let r be 7*1*(-12)/(-42). Is 11 a factor of t(r)?
False
Let j(q) = -q**3 - 8*q**2 + q + 11. Let s be j(-8). Suppose 3*o + 45 = 2*a, s*a + a + 5*o - 101 = 0. Is 8 a factor of a?
True
Let x(u) = u - 11. Let c be x(8). Let y be (c - -2)/(2/(-6)). Suppose -3*n + 137 = 4*d + 3, -y*d + 3*n = -111. Is d a multiple of 15?
False
Suppose -5*g - 3*o = 166 - 556, o + 234 = 3*g. Suppose g = -0*y + 2*y. Is 12 a factor of y?
False
Let p(x) = -13 + 15*x**2 + 0 - 14*x**2 + 8*x. Let k be p(-9). Is 4*2*(-2)/k a multiple of 2?
True
Does 5 divide 1/(-2) + 1083/38?
False
Let o = 26 + 4. Is o a multiple of 28?
False
Let g(r) = -3*r - 8. Let v(s) = 2*s + 4. Let z(w) = 3*g(w) + 5*v(w). Let u be z(3). Let h(j) = 13*j**2 - 1. Is h(u) a multiple of 12?
True
Let g = 16 + 85. Does 10 divide g?
False
Suppose -r = 24*j - 25*j + 252, -3*j + 752 = -r. Is j a multiple of 32?
False
Let l be (1 + -2)*28/1. Let o(m) = 11*m**2 + 2*m. Let h be o(-2). Let s = l + h. Is 12 a factor of s?
True
Let j(w) = 28*w - 4. Does 5 divide j(1)?
False
Suppose 5*u = -5*u + 1940. Does 14 divide u?
False
Let z(x) = x**2 - x - 4. Let c be z(3). Suppose 0 = -c*q + y + 23, -30 + 87 = 3*q + 3*y. Is 14 a factor of q?
True
Let x = 37 + -13. Let s = x + -12. Does 5 divide s?
False
Let v = 20 - 18. Let z(n) = 6*n - 3. Is z(v) a multiple of 9?
True
Let y = 3 - -2. Suppose 0 = 3*h + 17 - y. Is 8 a factor of 0/(-1) + (-96)/h?
True
Let p = -32 - -85. Suppose -5*c = -3*c + 5*g - p, -5*g - 3 = -2*c. Is 7 a factor of c?
True
Let c(d) = d**2 + 9*d + 6. Let a be c(-6). Let j be (-14)/8 + a/(-16). Does 9 divide 12*j*9/(-6)?
True
Let f = 91 + -4. Does 16 divide f/3 + (-3)/1?
False
Let f(m) = -65*m. Let d be f(-4). Suppose 0 = -5*n + 5*t - d, 3*n + 5*t + 310 = -2*n. Let b = n - -88. Does 19 divide b?
False
Suppose -11*b + 13*b - 12 = 0. Let n(z) be the third derivative of z**6/120 - z**5/10 + z**4/8 - 7*z**3/6 - 2*z**2. Does 3 divide n(b)?
False
Let k = 0 - -11. Is k a multiple of 2?
False
Let x(j) = -j + 1. Let d be x(1). Suppose -3*o + 3 - 9 = d. Is o - (4/(-2) + -7) a multiple of 7?
True
Suppose 57 + 6 = -n. Let m = n + 33. Is 16/(-10)*m/4 a multiple of 12?
True
Let s(x) = -x**3 - 11*x**2 + x + 12. Let i(z) = z**3 + 11*z**2 - 2*z - 11. Let a(y) = 2*i(y) + 3*s(y). Is a(-11) a multiple of 25?
True
Let h = 246 - 171. Is h a multiple of 15?
True
Let b(h) = h**3 - 6*h**2 - 7*h + 5. Let x be b(7). Let r(j) = -j + 3. Let y be r(x). Does 10 divide 1/(-2)*40/y?
True
Let v be (2 - (-14)/3)*9. Let t = v - 34. Let k = t - 11. Does 12 divide k?
False
Let u(b) = 20*b + 8. Is u(6) a multiple of 22?
False
Suppose -6 - 21 = -d. Does 6 divide d?
False
Suppose -2*b - 1 = 1, -3*b + 44 = c. Let u be (-5)/(5/(-3)) - -68. Let l = u - c. Does 12 divide l?
True
Is 7 a factor of (10 + -3)/((-2)/(-4))?
True
Suppose 0 = -q - 5*d + 15, 3*d + 8 - 29 = -q. Is 20 a factor of q?
False
Let z = -71 + 163. Is 24 a factor of z?
False
Let m be 8 - (4 + 6/(-2)). Is 19/m + (-8)/(-28) a multiple of 2?
False
Suppose -4*n + 37 = -31. Suppose -2*g = -3*g + n. Is g a multiple of 11?
False
Let r(n) = n**3 - n**2 - 4*n + 1. Suppose 2*z - 31 = -5*j - z, -5*j = -2*z - 21. Let p = 9 - j. Is 10 a factor of r(p)?
False
Suppose -5*m = -113 - 82. Does 13 divide m?
True
Let l = 114 - 64. Suppose -4*d - d = -l. Is 7 a factor of d?
False
Suppose -4*v - 2*y = -4*y - 94, 5*v = -4*y + 85. Suppose -3*g = -v - 57. Does 26 divide g?
True
Suppose 2*o = 4, -2*z - 9 - 5 = -5*o. Let x be (-13)/z - (-5)/(-10). Let y = 10 + x. Does 16 divide y?
True
Suppose -18*t + 32 = -14*t. Is 7 a factor of t?
False
Suppose 3*u - 40 = 563. Is 18 a factor of u?
False
Does 29 divide 2442/21 - 12/42?
True
Is 9 a factor of 1*(-4 - 3*-19)?
False
Suppose 11*i - 108 = 8*i. Is i a multiple of 10?
False
Suppose -o + 5*y = -40, 18 = 4*o + y - 58. Is o a multiple of 6?
False
Let u(c) be the second derivative of -c**3/6 + 9*c**2/2 + c. Is 5 a factor of u(-9)?
False
Let o(x) be the seco