?
False
Let x be (-397)/3 - (-2)/6. Let b = -78 - x. Is b a multiple of 18?
True
Let z(m) = m**3. Let u(y) = -2*y + 2*y**3 + y**2 - 3 + 2 + y. Let s(h) = -u(h) + z(h). Is s(-3) a multiple of 8?
True
Let l(t) = 19*t**2 + 2*t - 2. Is 10 a factor of l(-2)?
True
Let x(v) = 3*v**3 - v**2. Let p be x(2). Suppose 0 = -5*k - 0*k + p. Suppose 12 = 2*z - k*w - 0*w, -z = w - 21. Is z a multiple of 8?
True
Suppose -2*a + 5*a + 3*k = 375, 2 = -2*k. Does 9 divide a?
True
Does 3 divide ((-3)/2)/(6/12) + 36?
True
Suppose 2*s - 171 = s. Let o be (s/18)/(1/14). Let q = o + -79. Does 15 divide q?
False
Suppose 0*a + 180 = 2*a. Suppose -a = -2*s + 18. Does 14 divide s?
False
Let a be 2/(-4) - 2/(-4). Let u be 1 + a - (1 + -6). Suppose u*j = 2*j + 120. Does 13 divide j?
False
Suppose 6*x = 124 + 110. Is 39 a factor of x?
True
Is (-1)/(-1) + (34 - -7) a multiple of 14?
True
Let g = 200 + -57. Does 13 divide g?
True
Let s(p) = -p**3 - p**2 + 14*p - 1. Is s(-6) a multiple of 25?
False
Is 6/(-4) - (-1 - (-85)/(-2)) a multiple of 6?
True
Let b = 24 - 80. Let r(f) = 6*f**2 + 2*f - 8. Let j be r(4). Let n = b + j. Is n a multiple of 17?
False
Suppose -c + 0*c - 47 = 0. Let v be (-645)/(-9) + 4/(-6). Let z = v + c. Is 7 a factor of z?
False
Suppose p + 96 = -4*r, -5*r + 2*r + 5*p = 72. Is 24/40*(1 - r) a multiple of 9?
False
Let d = 74 - 43. Suppose 0*x + x + 4*n = d, x + 5*n = 36. Is 3 a factor of x?
False
Let i(f) = 4*f - 3. Let g be (3 - 0)*6/9. Is 3 a factor of i(g)?
False
Suppose -4*a + 17 + 10 = -3*r, -5*r = 3*a + 16. Suppose 0 = o + y - 18, 3*o + a*y - 71 = -o. Suppose 29 = 5*m + 3*z, -m - 2*m - 2*z = -o. Is m a multiple of 5?
False
Let c(u) = -6*u**2 + u - 1. Let l(w) = -5*w**2 + 2*w - 2. Let x(p) = -3*c(p) + 2*l(p). Let j(f) = -f**2 - 2*f + 1. Let a be j(-3). Is x(a) a multiple of 15?
False
Let s = 21 - 24. Is 13 a factor of 73/3 - 2/s?
False
Let y = 6 + -4. Let v(h) = 12*h + 2. Is 13 a factor of v(y)?
True
Suppose 3*s - 14 = o, -4*s + 2*s - o = -1. Suppose s*q - 20 = 2*q. Does 18 divide q?
False
Let g(k) be the second derivative of k**5/20 - k**4/6 + k**3/6 - 2*k**2 - 2*k. Suppose 0 = 4*i - 4*w - 20, -5*i = -0*i + 2*w - 11. Is 4 a factor of g(i)?
True
Let l = -78 - -86. Is 3 a factor of l?
False
Does 39 divide (12 + -6)*78/4?
True
Let f = 73 - -11. Does 28 divide f?
True
Suppose -6*r = -96 - 156. Is 11 a factor of r?
False
Suppose 3*c + 2*c - 185 = 0. Does 11 divide c + (3 - 3)/(-2)?
False
Let n(p) = 8*p**2 + p - 2. Let v be (-24)/(-11) + (-8)/44. Does 11 divide n(v)?
False
Suppose 0 = -2*h - h. Suppose h = 2*c + c. Suppose 0 = -3*g - c*p + 4*p + 30, 3*g - 30 = -p. Is 10 a factor of g?
True
Let q = -2 + 1. Is 14 a factor of 1*q*(-48 - -1)?
False
Let c = -5 + 4. Let m(p) = 67*p**2 - p + 1. Is 13 a factor of m(c)?
False
Let v be 6/(1 + (-6)/9). Suppose v = m - 0*m. Is m a multiple of 8?
False
Let o(h) be the first derivative of -h**3/3 + 5*h**2/2 - 10*h - 1. Let t be o(7). Let s = 39 + t. Does 5 divide s?
True
Let z be (-40)/12*(0 - 3). Let h(m) = -m**2 + 12*m - 6. Let w be h(z). Suppose w = -0*q + q. Is 6 a factor of q?
False
Suppose w = -a + 86, 207 = 2*a - 7*w + 2*w. Is 5 a factor of a/7 + -1 + 3?
True
Let x = 5 + -1. Suppose -1 + 45 = -x*w. Let r = 17 + w. Is 3 a factor of r?
True
Suppose a + 5*l = -4*a + 10, 8 = 5*a + 4*l. Suppose -s + a*s = -37. Is 12 a factor of s?
False
Suppose 26*r - 430 = 194. Is 8 a factor of r?
True
Let m(y) = 96*y**2 - y + 2. Is 15 a factor of m(1)?
False
Let w(l) = -l**3 + 6*l**2 + 7*l + 8. Let v be w(7). Is (v/(-16))/(1/(-22)) a multiple of 11?
True
Let u(g) = -4 + g**2 - g + 2*g + 4*g**2 + g**3. Let f be (-6)/15 - (-36)/(-10). Is u(f) a multiple of 4?
True
Suppose 62 = 5*j - 3*x + 8, -2*j + 12 = 2*x. Suppose 5*a = -15, 0*l - a = 3*l - j. Suppose t = -h + 7 + 9, -l*t + 64 = -4*h. Is 12 a factor of t?
False
Suppose 3*j - 785 = -2*j. Is j a multiple of 34?
False
Suppose 0 = 3*l - 53 + 14. Is 13 a factor of l?
True
Let v = 13 - 9. Suppose -v*g = -4 - 80. Is g a multiple of 7?
True
Let z = -54 - -116. Does 31 divide z?
True
Let b(s) = 8*s - 18 + 5*s + s**2 + 5 - 7*s. Is 7 a factor of b(-9)?
True
Let m be (-4)/3*12/(-8). Suppose -m*i - 34 = -2*g - 0*i, -2*i + 30 = 2*g. Is g a multiple of 8?
True
Let u(f) = 4 + f**2 - 9*f + 4*f + 8*f + 0. Let d be u(-3). Suppose -135 = -3*g + 5*i, -d*i = 2*g - g - 28. Does 17 divide g?
False
Suppose 7*t + 24 = 3*t. Let a be 1/(3/t) + 1. Let w = 7 + a. Is w a multiple of 3?
True
Let u = 17 + 39. Is u a multiple of 16?
False
Let k(u) = -u**3 + 6*u**2 + 6*u - 2. Let l be k(7). Let c(j) = -j**2 - 12*j + 7. Is 9 a factor of c(l)?
False
Let z be 3/(-6)*6 + 5. Let a(y) be the third derivative of y**5/30 - y**4/24 - y**3/3 - y**2. Is 4 a factor of a(z)?
True
Suppose 5*t = -2*q + 15, -2*q - q = -3*t - 75. Does 5 divide q?
True
Let h(a) = 6*a**2 - 5*a + 3. Let n be h(3). Suppose k = -o + 11, 0*o - n = -2*k + 2*o. Is 16 a factor of k?
True
Let h = -1 + 0. Suppose -4*u + 14 = -0*x + 2*x, 0 = -4*x + 2*u - 12. Is 3 a factor of h - (1 - -3)*x?
True
Suppose 0*m = -4*m + 4*z + 36, -4*m + 5*z = -39. Is 2 a factor of m?
True
Suppose 60 = -6*l + 582. Is 6 a factor of l?
False
Let f(r) = r**2 + 8*r - 7. Let s be f(-8). Let u = 5 - s. Is (-1)/(u/15 - 1) a multiple of 2?
False
Let r(q) = q**3 + 5*q**2 - 6*q + 6. Is r(-6) a multiple of 3?
True
Suppose 0 = -m + 3. Is 12 a factor of ((-12)/16)/m*-116?
False
Suppose 0 = -2*v + 4 + 2. Suppose 2*j - 9 = 5*x, 17 = v*j - 0*j - 4*x. Does 4 divide j?
False
Let z be -1 + 2/2 - 0. Suppose -5*m + 2*l = -41 - 18, -28 = -m - 5*l. Suppose z = v - m + 5. Does 5 divide v?
False
Suppose 3*n - 11*n + 432 = 0. Does 9 divide n?
True
Does 4 divide 27 + -1 - 0/1?
False
Suppose -2*s + 406 = -0*s. Does 18 divide s?
False
Let f = -7 - -5. Does 25 divide f + 1/((-3)/(-231))?
True
Let x(v) = 9*v - 21. Is 8 a factor of x(11)?
False
Let g(v) = v**3 - 7*v**2 - 8*v + 2. Let q be g(8). Let z = q - 0. Is 5 a factor of (-19)/z*2/(-1)?
False
Suppose -4*p + 55 = -s, -2*s - 5*p = 44 + 1. Let l = -23 - s. Does 3 divide l?
True
Let k be -2 - ((-4)/(-2) + 201). Let i = k + 294. Let v = i + -59. Is v a multiple of 15?
True
Let b = 164 - 109. Is 8 a factor of b?
False
Suppose o + 187 = 3*k, -5*o + 9 + 1 = 0. Is 21 a factor of k?
True
Suppose 0 = 5*v - 5*o - 60, -60 = -8*v + 3*v + 4*o. Let d = 56 - v. Is d a multiple of 11?
True
Is 156/((-15)/(-5)) - 3 a multiple of 7?
True
Suppose -2*k - 165 = -7*k. Is k a multiple of 7?
False
Suppose s + 39 + 23 = 5*a, 3*a = s + 38. Does 4 divide a?
True
Suppose -7 + 4 = p. Let j be ((-1)/3)/(p/36). Suppose j*z - 68 = 28. Is 12 a factor of z?
True
Let y be -1 - (-99 - 1)/2. Suppose -19 = -d - 0*d. Let s = y - d. Is s a multiple of 10?
True
Suppose -1066 = -4*i - k, -5*k + 445 - 1790 = -5*i. Does 15 divide i?
False
Let q be 2/((4/(-5))/(-2)). Let t be (-313)/(-4) - q/20. Let k = t + -50. Is k a multiple of 14?
True
Suppose -4*z - 22 = 2*x - 186, 5*x = 5*z - 190. Suppose z = 5*w - w. Is w a multiple of 5?
True
Suppose 6*n = -4*p + 8*n + 430, -4*n = -2*p + 230. Is p a multiple of 21?
True
Let y = 1 - -3. Let h = -1 + 6. Suppose 4*v - v - 59 = -y*q, -2*v + 1 = -h*q. Is 6 a factor of v?
False
Let u = -7 + 15. Let r be (0 - 1)/(u - 9). Is 2/r - 8/(-1) a multiple of 10?
True
Let p = -11 - -17. Let l(a) = -a**3 + 6*a**2 + 7*a - 2. Let o be l(p). Suppose 4*k + k - m = o, -8 = -k - 2*m. Is 8 a factor of k?
True
Let v = 31 - 19. Let c be ((-20)/(-3))/(2/v). Is (c/12)/((-4)/(-6)) even?
False
Let v = 4 + -19. Let x(g) = g**3 + 3*g**2 - 4*g - 3. Let w be x(-3). Is 10 a factor of 0 + (-6)/w*v?
True
Let o be ((-31)/2)/((-1)/2). Let t = -15 + o. Is 8 a factor of t?
True
Let z be ((-3)/(-6))/((-1)/(-114)). Suppose 31 = p - 8. Let t = z - p. Does 9 divide t?
True
Suppose 25 = -4*o + 5*b, 0*o + 3*b = -3*o + 15. Let a be 1/(-2)*(o - 8). Is a/(4/(-3)) - -13 a multiple of 5?
True
Suppose -2*f + 3*r = -23, 4*r + 14 = f - 10. Suppose -5*i + 199 + 386 = 5*o, 2*o - 2*i - 246 = 0. Suppose -f*x = -0*x - o. Does 15 divide x?
True
Does 24 divide (1/2 + (-423)/(-6))*1?
False
Let q(a) = 3*a**2 + 7*a + 9. Let r be q(-6). Let w = r + -39. Is w a multiple of 18?
True
Suppose -n + 2*z = -28 - 15, -n = 2*z - 55. Let j = 73 - n. Suppose 0 = 3*g - 7*g + j. Is g a multiple of 2?
True
Let k(j) = 4*j + 4. Is k(4) a multiple