?
False
Let g(p) = -4*p**3 - 2*p**2 + 9*p + 7. Does 14 divide g(-3)?
True
Let a = 119 + -75. Let s = a + -25. Is 8 a factor of 0*2/6 + s?
False
Suppose -2*s = 5*y - 203, -206 = y - 6*y + s. Does 20 divide y?
False
Does 13 divide (4 - (3 - 1)) + 24?
True
Suppose -4*t + 162 + 126 = 0. Is 12 a factor of t?
True
Let a(b) = b**2 - 9*b + 7*b**2 + 0*b**3 + 0*b**3 + b**3 - 4. Let y be a(-9). Let x(p) = -p**3 - 4*p**2 - 4*p - 2. Is 14 a factor of x(y)?
True
Let h(g) = g**2 - 9*g + 2. Let l be h(8). Let a = 81 - l. Is a a multiple of 29?
True
Suppose -3*x + 760 = 5*x. Does 18 divide x?
False
Let o be 2 - (3 + (-3)/3). Let y = 1 - o. Is -6*(y/(-2) - 1) a multiple of 9?
True
Let j be (3/9)/((-2)/(-12)). Suppose 4 = -j*a + 14. Is a a multiple of 2?
False
Suppose 2*t = 3*t - 24. Is 8 a factor of t?
True
Suppose 323 = 5*w - 2. Is w a multiple of 19?
False
Let c(p) = 3*p - 5. Does 9 divide c(6)?
False
Let c(q) = -q + 12 + q**2 + 0 + 3 + 6. Is 17 a factor of c(0)?
False
Suppose 3*f - 16 = f + 2*x, 0 = f - 4*x - 20. Suppose -f*u = -41 - 223. Is 11 a factor of u?
True
Let v(x) = 22*x**2 - 10. Is 15 a factor of v(3)?
False
Let k(p) = p**2 - 3*p - 18. Does 12 divide k(9)?
True
Let y = -9 - -177. Does 7 divide y?
True
Let k(u) = -7*u - 78. Does 8 divide k(-26)?
True
Suppose -5*w - 31 = -151. Is 24 a factor of w?
True
Let y(z) = z**3 + 7*z**2 + 5*z - 4. Let d be y(-6). Suppose -d*i + 20 = -2*k, 0 = -i + 4*i - 5*k - 28. Suppose 5*x = 179 + i. Is 19 a factor of x?
True
Let y(n) = 2*n**2 + n + 1. Let d be y(5). Suppose -t + 0*z + z = -d, -3*t = 2*z - 173. Suppose -4*s - 4*q + 92 = 0, -s = 3*s - 3*q - t. Is 9 a factor of s?
True
Suppose 4*c + 38 - 10 = 0. Let m(b) = -b + 1. Let d be m(c). Suppose -d = -2*h + 8. Is h a multiple of 4?
True
Let x(q) = -q**2 - 12*q - 9. Let w be 2/(-3)*(0 + -3). Suppose 5*m + 5*o + 16 = -24, 54 = -5*m + w*o. Is x(m) a multiple of 11?
True
Let j(f) = f**3 - f**2 - f. Let g(y) = -51*y**3 - 5*y**2 - 6*y. Let k(p) = -p - 6. Let i be k(0). Let w(t) = i*j(t) + g(t). Does 15 divide w(-1)?
False
Let g(b) = 29*b - 8. Does 8 divide g(2)?
False
Suppose -5*d = -54 - 126. Does 12 divide d?
True
Let b(t) = t - 13. Let z(v) = -v + 14. Let x(g) = 7*b(g) + 6*z(g). Let i(o) = 2*o**2 + 5*o - 2. Let j be i(-4). Is x(j) a multiple of 3?
True
Let x(z) = -z**2 + 3*z + 4. Let w be x(4). Let v(b) = w*b**2 + 5*b**3 - 4*b**3 + 0*b**3 - b**2 + 42. Is v(0) a multiple of 21?
True
Let k be -1 + -10 - (-1 - 1). Let l = k - -7. Let n = 16 + l. Does 7 divide n?
True
Let x be 18/(-27) - (-38)/3. Suppose -2*m + x = -88. Does 18 divide m?
False
Suppose 4*f = f - 15, 0 = 2*m - 3*f + 151. Suppose -g = -3*b - 185, b + 485 = 3*g + 6*b. Let t = g + m. Does 22 divide t?
False
Suppose -2*f + 16 = -0. Suppose -2*m + 0*x - 3*x - 6 = 0, m - x + f = 0. Is 65/7 + m/21 a multiple of 9?
True
Let h(t) = -3*t - 1. Let n be h(-1). Suppose n*s + 96 = -b - 71, b = 3*s + 263. Let m = 124 + s. Does 19 divide m?
True
Let y be -1*(-10)/4*2. Suppose -3*g - y = 5*u, -3*u = 2*u + 4*g + 5. Let k = 4 + u. Is k a multiple of 2?
False
Suppose -4 = 2*t, -n + 0*t - 1 = 2*t. Is n/(-3) - (-12)/3 a multiple of 3?
True
Is 11 + (-5)/(20/8) even?
False
Suppose -4*y - 256 = -4*v, v - 5*y = -0*y + 60. Is 5 a factor of v?
True
Suppose 0 = -4*m - 18 - 6. Let d(k) be the first derivative of -k**4/4 - 5*k**3/3 + 2*k**2 + 7*k + 3. Does 19 divide d(m)?
True
Let d = -6 - -13. Suppose 4*w = 5*t + 136, -4*t + 211 = d*w - 2*w. Does 13 divide w?
True
Let t(a) = -a**2 + 29*a - 29. Is 13 a factor of t(24)?
True
Let a be 4 + -1 + (-1 - 0). Let g = -5 - a. Let j = g - -40. Does 11 divide j?
True
Let d be ((1/1)/1)/(-1). Let c = 6 + d. Is c even?
False
Let d(w) = w + 2. Let b be d(0). Suppose -2 = -2*n + b*f, -5*n + 2 = 2*f - 24. Is n a multiple of 4?
True
Is 21 a factor of 4*1 - (-20 + -23)?
False
Let m(t) = -t**3 - 9*t**2 - 10*t - 12. Let j be m(-8). Suppose 0 = -3*f + 5*x + 22, f + 31 = j*f + 4*x. Does 9 divide f?
True
Let l be ((-99)/6)/(3/(-4)). Suppose -4*b + l = 5*d - 6, -25 = -5*d - 5*b. Does 5 divide d?
False
Is (6/(-18))/((44/1488)/(-11)) a multiple of 19?
False
Let h = 45 - 33. Is 4 a factor of h?
True
Let c = 5 - 7. Suppose 0*a = a + 3. Does 8 divide (a - c - 0)*-25?
False
Suppose 36 = 2*f + 4. Suppose 2*y - 4 - f = 0. Does 3 divide y?
False
Let h be ((1 - 4) + -8)*1. Let q = h + 16. Suppose 4*y - y - l - 103 = 0, -q*y + 3*l + 177 = 0. Is 11 a factor of y?
True
Let h(x) = 2*x + 2*x**2 + 2 + x - 2*x - 7*x. Does 14 divide h(6)?
False
Let o(d) = d**3 - 2*d**2 - 3*d + 2. Let b be o(3). Suppose -2*u + 3*u + b = 0. Let f(w) = -13*w - 1. Is 8 a factor of f(u)?
False
Suppose -5*i + 3*n + 23 = 7*n, 0 = i + 3*n - 9. Suppose -4*k + 13 = -i*k. Is k a multiple of 9?
False
Suppose -58 = -g + 37. Is g a multiple of 23?
False
Suppose -177 = 11*j - 8*j. Let h = j + 87. Does 12 divide h?
False
Does 4 divide (198/45)/((-6)/(-15))?
False
Let l(q) = 4*q**2 - q**2 - 3 - 1 + 2 - q. Let a be l(-3). Suppose 7*u = 3*u + a. Does 3 divide u?
False
Let p(b) = b**2 + 2*b - 1. Let x be p(-3). Suppose -204 = -2*k - x*k. Is 17 a factor of k?
True
Let m(z) be the first derivative of -2 + 3*z + 1/2*z**2. Is 8 a factor of m(5)?
True
Let x(d) = 2*d. Let c be x(1). Suppose 4*i - 62 = c. Does 7 divide i?
False
Suppose 4*u = 2 + 10. Does 2 divide u?
False
Let x(i) = 3*i + 2. Does 7 divide x(4)?
True
Does 12 divide -2 - 26/(-2 + 1)?
True
Suppose -4*d = d - 20. Suppose 0 = d*z - 35 - 37. Is 9 a factor of z?
True
Let p(z) = z**3 + 5*z**2 - 19*z - 12. Is 23 a factor of p(-7)?
True
Suppose -10 = -5*t - 0. Let w be (-8)/20 - t/(-5). Is (-3 - w) + (-5)/(-1) even?
True
Let y be (4/6)/(6/45). Suppose 2*x = y + 3. Does 12 divide 1/2 + 122/x?
False
Let g be 2/(-12) + 105/(-18). Let x be 8/28 - (-198)/(-7). Let r = g - x. Is 8 a factor of r?
False
Let x(u) = -3 - 5*u + 5*u - 3 - u. Is x(-8) even?
True
Does 9 divide 66*((-66)/(-60) - 2/(-5))?
True
Suppose 1 = -4*y - j + 382, -2*y + 5*j + 207 = 0. Is 24 a factor of y?
True
Suppose -52 = -2*b + 30. Suppose -g + 0*a = -3*a - 5, 5*g = -a + b. Is 8 a factor of g?
True
Let j(o) = o**2 + 10*o + 13. Let z be j(-9). Suppose z*g - 5*m - 92 = 0, 3*m = g - 3*g + 68. Is g a multiple of 14?
True
Does 18 divide -3 + (3 - 4 - -99)?
False
Let u(d) = -d**3 + 3*d**2. Let z be u(2). Suppose z*t - 26 = -3*o, -t - 2*o - 3*o = -15. Suppose 3*j - 7*n + 2*n = 25, 4*j - 10 = -t*n. Is 4 a factor of j?
False
Suppose j = -j + 10, 2*r + 29 = 5*j. Let z be r*2*1/(-2). Is 12 a factor of 11 - (z + -1 - 2)?
True
Let b(s) = s**2 - 13*s + 16. Let o be b(11). Does 25 divide (-4)/o + 762/18?
False
Let d(u) = u + 104. Let s be d(0). Let m be (3/2)/((-6)/s). Is (0/(-3))/(-1) - m a multiple of 10?
False
Let t = 4 + -2. Let h(a) = 4 - a + a**t + a. Does 12 divide h(4)?
False
Let w = -12 - -25. Let i = w - 3. Is (63 + 2)*i/25 a multiple of 20?
False
Suppose 5*d + 4 - 25 = -2*s, -4*d + 26 = -3*s. Let c = 1 - s. Is 12 a factor of (-1)/(c/(-36) - 0)?
True
Let s(i) be the second derivative of 5*i**4/12 - i**3/3 - 5*i. Does 5 divide s(2)?
False
Let o be 7 - (1 + (-1 - 1)). Let v = -37 + o. Let c = -15 - v. Is c a multiple of 12?
False
Let d(y) = -y**3 + 7*y**2 + 10*y - 4. Let s(l) = -2*l + 2*l - 8*l. Let z be s(-1). Does 6 divide d(z)?
True
Suppose 0*i = 2*i + 5*d - 23, -i + 25 = -2*d. Suppose 0 = 4*k - 16, 4*k - i = v - 70. Is 18 a factor of v?
False
Suppose -3*k - k - 4 = 0. Let c(r) = r**3 + 3*r**2 + 2*r + 1. Let t be c(-1). Does 13 divide k*t/(-2)*26?
True
Let a(w) = 3*w + 9. Let s be a(-4). Let d = s - -32. Is 10 a factor of d?
False
Suppose -2*a = -2*x + 2, 1 = 3*x - 2*a - 0. Let q = x + 6. Is 2 a factor of q?
False
Let x be 3/2*(-8)/6. Let u = x + 7. Is u a multiple of 5?
True
Suppose 0 = 2*b + 4*u + 4 + 8, 5*u + 15 = -3*b. Is 7 a factor of b + -14*(2 + -3)?
True
Suppose d = -2*d. Suppose d*o = 3*o + 9. Is 7 a factor of o/(-1 + 4)*-10?
False
Let g(r) = -r**3 + 6*r**2 - 2*r + 3. Is g(4) a multiple of 16?
False
Let i be (12 + -2)/2 + -1. Suppose 4*g = y + 12, 0*y = -g - y - 2. Suppose -2*x + 78 = 2*w, g*x - x = -i*w + 48. Does 12 divide x?
True
Let c(q) = -q + 1. Let p(b) = 8*b**2 + 2*b. Let z(f) = -2*c(f) + p(f). Let x be z(-4). Suppose -2*y = 5*o - x, -7*o + 3*o + 2*y = -88. Is o a multiple of 19?
False
Suppose -5*a + 4*a + 2*y = -30, -150 = -5*a - 2*y. Doe