 (-255)/(-11)?
False
Let p(f) = -2*f**3 - 10*f**2 - f + 9. Let z(w) = -w**3 - w**2 + 1. Let y(o) = -p(o) + z(o). Is y(-8) a multiple of 16?
True
Let k(n) = 10*n**3 - 9*n**3 + 3 + 1 + 9*n**2 + 8*n. Let t be k(-8). Suppose 12 = t*w - 0*w. Does 3 divide w?
True
Let o = -25 - -35. Let w = -16 - o. Is 2 a factor of w/(-7) + (-6)/(-21)?
True
Suppose 0 = 3*y + 4*n - 183, -30 - 50 = -y + 5*n. Is y a multiple of 13?
True
Let d = -70 + 115. Is 15 a factor of 1/(4/d)*4?
True
Let h(v) = 5*v**3 + v**2 + v - 3. Let m be h(3). Is (m/(-45))/(2/(-20)) a multiple of 16?
True
Let h = -15 + 50. Is 35 a factor of h?
True
Let j(v) = -5*v**3 - 4*v**2 - 6*v - 6. Is 9 a factor of j(-2)?
False
Let k(h) = -h**2. Let x be k(1). Let t(n) = 17*n**2 - n - 1. Is 13 a factor of t(x)?
False
Let f be (-3)/(-1)*(6 - -1). Suppose -w - w = -4*c, 0 = 4*c + w. Suppose c*s = -s + f. Is s a multiple of 14?
False
Suppose p = -p + 50. Suppose -7*k = -2*k - p. Is k a multiple of 2?
False
Suppose -2*x + 27 = -3*p, -2 = -2*p - 4. Is 11 a factor of x?
False
Let i(s) = 17*s - 25. Is i(3) a multiple of 6?
False
Suppose 0*j = 5*j - 145. Is j a multiple of 12?
False
Let f = -76 - -89. Is 8 a factor of f?
False
Suppose 46 + 26 = 2*h + 2*o, 2*o = h - 51. Does 9 divide h?
False
Let p(t) be the first derivative of 2 + 13/3*t**3 + 0*t - 1/2*t**2. Is p(1) a multiple of 12?
True
Suppose -11 - 1 = -2*u. Is u a multiple of 3?
True
Let j(f) be the first derivative of -3*f**4/4 + f**3 + f**2/2 - f + 3. Is 14 a factor of j(-2)?
False
Suppose -2*i + 7*i - 83 = -3*f, 0 = 2*i - 2*f - 30. Is i a multiple of 5?
False
Let b be (18/(-15))/((-4)/10). Suppose -b*w = 2*w - 10. Suppose -w*i + 98 = 3*r, 4*r + i - 7 = 132. Does 18 divide r?
True
Let d(a) = -a**3 + a**2 + 2*a - 16. Let w be d(0). Let r = w - -26. Is r a multiple of 2?
True
Let d = 30 - 24. Does 2 divide d?
True
Let u be ((-58)/3)/(14/(-21)). Is (u + 0/(-1))/1 a multiple of 14?
False
Suppose 0 = -2*b - n + 172, b - 4*n - 443 = -4*b. Suppose 3*w + b = 2*u, -10 = 3*w - w. Is 10 a factor of u?
False
Suppose 5*p - 19 = 3*d, 0 = -p + 4*p + 3*d + 3. Suppose 6*g = p*g + 20. Is g a multiple of 3?
False
Let g(p) = -2*p**2 + 2*p - 4. Let d be g(-3). Is (288/d)/((-3)/14) a multiple of 14?
False
Let c be 1/2 + (-159)/(-6). Let v(z) = 3*z**2 + 3*z - 3. Let s be v(-3). Let j = c - s. Does 5 divide j?
False
Suppose -37 = 2*a - 163. Is a a multiple of 21?
True
Suppose -3*y = -5 - 7. Suppose -y*m + 53 + 51 = 0. Is m a multiple of 13?
True
Suppose 4*i - 2*s - 104 = 0, 5*i + 5*s - 140 = -10. Let x = 50 - i. Does 14 divide x?
False
Let w(o) = -o**3 - 6*o**2 + 2*o - 3. Let z be w(-7). Let d = z + -18. Does 7 divide d?
True
Let s = -10 - -13. Suppose -3 - 41 = -2*z + 5*h, 2*h - 85 = -s*z. Does 9 divide z?
True
Let i(b) = 7*b - 6. Is 5 a factor of i(3)?
True
Suppose -4*x + 235 = x. Let j = -27 - -6. Let m = j + x. Is 13 a factor of m?
True
Does 5 divide 10/35 - (-540)/21?
False
Let w(i) be the second derivative of i**4/6 - 5*i**3/6 + 3*i**2/2 + 2*i. Is w(3) a multiple of 2?
True
Suppose 4*c - 10 - 6 = 0. Suppose -4*y - y = 0. Let i = c - y. Is i even?
True
Suppose 0 = -3*s - s + 144. Is 24 a factor of s?
False
Let o(i) = 4 + 2*i + 0 - 2 - i. Let l be o(-3). Let a = 5 + l. Does 3 divide a?
False
Let l(t) = -4*t - 13. Does 24 divide l(-11)?
False
Let n be -1 + 0 + 3 + 94. Let o be (2/3)/((-2)/n). Let u = 53 + o. Is 11 a factor of u?
False
Is (-5)/2*184/(-10) a multiple of 7?
False
Does 25 divide (-1)/(-3) + (-448)/(-6)?
True
Does 5 divide (-81)/(-9)*13/3?
False
Let n = 4 + -6. Let k(i) = -2*i**2 - i + 2. Let b be k(n). Let p = b + 6. Does 2 divide p?
True
Let j = -131 - -199. Is 10 a factor of j?
False
Let w(y) = -2*y**2 + 5*y - 10. Let b(f) = -f**2 + 3*f - 7. Let k(c) = 7*b(c) - 5*w(c). Is 21 a factor of k(4)?
False
Let s be (-1)/(-2) + (-2)/(-4). Does 4 divide 3/6*s*8?
True
Suppose -13*h + 0*h + 767 = 0. Is 4 a factor of h?
False
Does 10 divide ((-20)/(-6))/(4/12)?
True
Let l(w) = w**2 - 2. Is 11 a factor of l(7)?
False
Let n(j) = -14*j - 3. Let l(z) = 2*z + 10. Let v be l(-7). Is n(v) a multiple of 18?
False
Let s(b) = b**3 + 13*b**2 + 15*b + 9. Is 31 a factor of s(-11)?
False
Suppose w + 12 = 3*w. Is 4 a factor of w?
False
Does 3 divide 0 + 10 + -6 + 4?
False
Let z be 1*-2 + 12/1. Let o be 18/30 - (-14)/z. Suppose -o*i + 25 = -5*q, -3*i + 3*q + 40 = -2. Is 15 a factor of i?
True
Suppose -102 = h + 2*h. Let n be h/3*(-12)/8. Suppose -2*p + 3*m = -30, 23 = 3*p - 2*m - n. Does 6 divide p?
True
Let b(g) = 15*g - 2 - 2*g**2 - 7 + 1. Let j(x) = -x**2 + 8*x - 4. Let v(c) = -3*b(c) + 5*j(c). Is 9 a factor of v(7)?
True
Let h(j) = j**3 - 12*j**2 + j - 12. Let p be h(12). Suppose -u + p = -4. Does 3 divide u?
False
Let w(t) = 3 - 12*t + 2 - 1. Is w(-3) a multiple of 18?
False
Let b(s) be the third derivative of -s**4/8 + 4*s**3/3 + s**2. Is 13 a factor of b(-6)?
True
Suppose 127 - 39 = s. Does 22 divide s?
True
Let l be 1 - (-2 + 3 - 0). Let i = l - -7. Is 3 a factor of i?
False
Is 18 a factor of 1136/9 - (175/(-63) - -3)?
True
Does 7 divide 7/((-35)/(-410)) + -5?
True
Suppose 5*d = 60 + 30. Is 9 a factor of d?
True
Suppose -a = -5*n + 491, 3*n - 192 = 5*a + 107. Is n a multiple of 16?
False
Suppose -o - 1 = -2*o, -5*o = 2*g - 47. Suppose 4*t + 12 = t, 4*l + 4*t = -20. Let a = g - l. Is 15 a factor of a?
False
Suppose 6 = -0*v + 3*v. Let y = -14 + 17. Suppose -102 = -v*z - 2*z - y*w, -2 = -w. Does 16 divide z?
False
Suppose 5*k - 346 = p, -4*k + 4*p + 257 = -23. Is 23 a factor of k?
True
Suppose 0*v + 188 = 4*r + 3*v, 0 = 2*v - 8. Is r a multiple of 11?
True
Suppose 3*r - 3 = -3*n, 5*n + r = n + 7. Suppose 2*t - 4 = 0, -n*j + 60 = 3*t + 2*t. Is 11 a factor of j?
False
Suppose 0 = 3*b - 151 - 149. Suppose 2*f - 4*f + b = 0. Is 10 a factor of f?
True
Suppose 0 = x + x. Suppose 2*t + 2*t - 40 = x. Is 3 a factor of t?
False
Let d(w) = w**2 + w. Suppose -5 = -2*i + 7. Let g be ((-3)/9)/((-2)/i). Is d(g) a multiple of 2?
True
Let p(y) = y**3 - y**2 - 3*y - 1. Let r be p(4). Suppose -2*l + r = 3*o, 0*l + 4*l + 3*o = 55. Is 7 a factor of l?
False
Suppose -124 - 218 = -3*l. Suppose -h - 2*h = -l. Is h a multiple of 12?
False
Does 10 divide (30/(-21))/((-2)/14)?
True
Let r(z) = z - 13. Let w be r(9). Let t = 3 - w. Does 3 divide t?
False
Suppose -4*b + 3*b = -5. Suppose -b*p + 3*f = 4, p + 4 + 4 = 3*f. Is 13 a factor of (-79 + p)/(-2) - 1?
False
Suppose 4*w - 4 = 2*o + 2*w, -2*w = 5*o - 25. Suppose 6*f + n - 121 = f, -o*f + n = -71. Does 10 divide f?
False
Is 12 a factor of 4/10 - (-7)/(70/716)?
True
Let j(m) = -2*m**3 + 2*m**2 + 3*m - 3. Let y be j(2). Let u(l) = -l**3 - 4*l**2 + 3*l + 8. Is 11 a factor of u(y)?
False
Let a(d) be the first derivative of -d**5/40 - d**4/24 + d**3 - 2. Let n(w) be the third derivative of a(w). Does 7 divide n(-4)?
False
Let c be ((1 - -1) + -1)*2. Suppose 0 = g + c*g - 126. Is g a multiple of 14?
True
Let c(j) = -j - 12. Let h be c(-14). Suppose -5*m + 26 = h*b, -10 = -b - 4*m + 3. Is b a multiple of 12?
False
Let p = -1 - -17. Suppose 0 = -c - c - p. Is (-2)/c - 348/(-16) a multiple of 11?
True
Suppose 10*a = 5*a + 15. Does 2 divide a?
False
Let v be -2 + 6 + 84/(-4). Let f = 20 + v. Is f even?
False
Is 9 a factor of 144*(-6)/(-9 + -3)?
True
Let h(b) = -b**3 - 5*b**2 - 2*b - 7. Let s be h(-5). Let y be (-2)/2 + -2 - 0. Is 2 a factor of (-11)/y - 2/s?
False
Suppose -2*i - 4 = -32. Is i a multiple of 8?
False
Suppose 0 = -r + 2*r + 60. Is 15 a factor of 7/(-14)*(r - 0)?
True
Let v(s) = s**3 + s**2 + 22. Is v(0) a multiple of 3?
False
Let l(g) = -27*g + 20. Does 17 divide l(-11)?
False
Let y(g) = 2*g - 2*g - 4 + 3*g. Is 11 a factor of y(6)?
False
Let i be (-222)/11 + 2/11. Let z = -6 - i. Is 7 a factor of z?
True
Is ((-30)/(-4))/(7/28) a multiple of 14?
False
Suppose -17 - 28 = -3*s. Let k = -70 - -133. Let j = k - s. Is j a multiple of 24?
True
Let r(a) = 2*a + 5. Suppose -2*l + 3*l + 6 = 0. Let i be r(l). Is 8/28 + (-236)/i a multiple of 13?
False
Does 19 divide 52 + 8/2 + -7?
False
Suppose -n + 3*i + 25 = -14, 5*n + 5*i - 175 = 0. Suppose -q - q = -n. Is q a multiple of 9?
True
Let v(s) = s - s + 2*s**2. Let z be v(4). Let r = -22 + z. Does 10 divide r?
True
Let y(n) = 7*n**2 + 9*n + 1. Let o(q) = -6*q**2 - 8*q - 1. Let g(x) = -6*o(x) - 5*y(x). Is g(-5) a 