(-3 + 3) a multiple of 41?
True
Suppose 3*v + 4*a = 53, -4*v + 36 = a - 39. Does 19 divide v?
True
Suppose 0 = -4*c + 4*w - 6*w + 1970, 0 = c + 4*w - 482. Does 30 divide c?
False
Suppose -2*s + 264 = -l + 4*l, -2*l + 3*s = -163. Is l a multiple of 34?
False
Let c be ((-12)/(-9))/((-1)/3). Let o = c - -4. Does 2 divide o + 2 + -2 + 4?
True
Let n(r) = -115*r + 2. Is n(-1) a multiple of 13?
True
Let c(r) = 5*r**2 - r - 2. Is 3 a factor of c(-1)?
False
Let r(z) be the first derivative of -z**4/4 - 10*z**3/3 - 6*z**2 - 12*z - 3. Is r(-9) a multiple of 15?
True
Suppose -h + 3*h = -2*b + 340, 514 = 3*h + 5*b. Is 42 a factor of h?
True
Suppose -m = -30 - 15. Suppose 4*a = -a + m. Suppose 4*q - a - 63 = 0. Is q a multiple of 9?
True
Let r(b) be the third derivative of b**8/20160 - b**7/1680 + b**6/720 + b**5/30 + b**2. Let h(k) be the third derivative of r(k). Is 8 a factor of h(6)?
False
Let x be (2 - 1) + 2/(-2). Let k(l) = -2*l + 11. Is 11 a factor of k(x)?
True
Let h be (6 - 2 - 3)*5. Suppose -4*v = 4*w - 172, 0*w - h*v - 51 = -2*w. Does 19 divide w?
True
Let t = 188 - 110. Is 13 a factor of t?
True
Suppose 0 = 4*z - 2*a - 238, 26 = 2*z + 2*a - 84. Does 29 divide z?
True
Let x(z) = -3*z - 8. Let i = -3 + -3. Does 5 divide x(i)?
True
Suppose -4*s - 20 = -5*d, 2*s = 5*s + 4*d - 16. Let f be s + (2 - -1) - -32. Let y = -17 + f. Is y a multiple of 9?
True
Suppose 3*y = -2 + 50. Suppose -3*z = 2*w - 12, 2*z + 5*w = -2*z + y. Is z a multiple of 2?
True
Let b = -5 + 8. Suppose -b*g - d - 8 + 2 = 0, d + 1 = 2*g. Does 4 divide 1*g*(-5 + 1)?
True
Let y be (0 - -4)/2 - 0. Suppose 114 = 3*v - 39. Is -1*v*y/(-6) a multiple of 17?
True
Suppose 2*r = -0*r + 6. Suppose 6*v - r*v = -3*g + 39, 5*g - 59 = -3*v. Is 4 a factor of g?
False
Suppose -5*h + m + 13 = -h, -h - 3 = m. Let g(k) = k**3 - k**2 - 1. Let b be g(h). Suppose 4*p - 102 = -2*y, 8*p - b*p + 5*y = 135. Is p a multiple of 13?
False
Suppose 15*k = 22*k - 217. Does 15 divide k?
False
Suppose 4*d - 15 = -d. Let i(v) = 38*v + 14. Let m(c) = -25*c - 9. Let s(z) = -5*i(z) - 8*m(z). Is 16 a factor of s(d)?
True
Let f = -12 - -19. Suppose f = -2*n - 59. Let m = -19 - n. Is m a multiple of 11?
False
Let f(z) = -z - 4. Let l be f(-4). Suppose 5*w + 40 - 245 = l. Is 13 a factor of w?
False
Is 435 + 0*(-5)/(-15) a multiple of 29?
True
Let h(l) be the first derivative of -l**4/4 + 5*l**3/3 + 3*l**2/2 - 4*l + 7. Is h(5) a multiple of 11?
True
Suppose 3*h = -b + 3 + 25, 3*h = 0. Is b a multiple of 14?
True
Is (-1)/((-2)/(-12)*8/(-324)) a multiple of 41?
False
Let o(h) be the third derivative of h**5/10 - h**4/12 - h**3 - 3*h**2. Let l be o(-4). Let p = l - 70. Is p a multiple of 14?
True
Suppose -25 = -0*k - 5*k, 4*x + 3 = 3*k. Suppose a - 4*a = -3*l - x, -19 = -5*l - a. Let d(o) = 7*o + 1. Is d(l) a multiple of 6?
False
Suppose -2*q - 2*q = 0. Let p = 3 - q. Suppose 2*h = 2*m + h - 57, 0 = m - p*h - 41. Is 13 a factor of m?
True
Suppose 3*p - 6 = -0*p. Suppose -3*n + 48 = -3*v, -2*v = p*n - 7*v - 44. Suppose -4*f = -2*f - n. Does 6 divide f?
True
Suppose 2*z - 10 = 6. Let q be (-2)/8 - 3/4. Let r = z + q. Does 4 divide r?
False
Suppose -2*f + 0*f - j = 7, -4*f + 3*j = 19. Let q(k) = -k**3 - 2*k**2 + 2*k - 2. Is q(f) a multiple of 11?
True
Suppose -4*s + 2*i + 6 = 0, -i + 3 + 0 = 0. Suppose 10 + s = n. Is n a multiple of 6?
False
Let g(a) = 10 + a + a + 0*a + 7*a - a**2. Is g(8) a multiple of 18?
True
Suppose -160 + 304 = 3*g. Is 12 a factor of g?
True
Suppose 2*j - 44 = 6*j. Let a be j/3 + 1/(-3). Does 7 divide 12 - (a - -2)/1?
True
Let h be (-9)/(-2) - (-3)/(-6). Let s be ((-6)/(-4))/(3/h). Suppose -3*v - 2*j + 68 = -26, -s*v + 3*j + 41 = 0. Is 14 a factor of v?
True
Let c(v) = v**2 + v - 7. Does 11 divide c(7)?
False
Let j(b) = -9*b**3 + 3*b**2 - 5. Let m(p) = -8*p**3 + 3*p**2 - 4. Let r(f) = 4*j(f) - 5*m(f). Is r(2) a multiple of 10?
True
Suppose 4*n - 36 = -3*l, -5*n + 38 = 6*l - 4*l. Let a be (-87)/n*4*-1. Let x = -34 + a. Does 12 divide x?
True
Let q = 38 - 8. Is 25 a factor of q?
False
Let c(d) = d**2 + 4*d - 2. Let w be c(-5). Suppose w = 4*q - q, -t + 11 = q. Is 10 a factor of t?
True
Let o = 51 - -14. Is 13 a factor of o?
True
Let b = 0 - -2. Let l be -1*b*(-10 + 2). Let c = 25 - l. Is 9 a factor of c?
True
Let b = -8 - -10. Suppose 0 = -b*d + 7*d - 80. Is d a multiple of 7?
False
Suppose -v = -5*z - 75, -3*v + 131 = 2*z - 94. Is v a multiple of 13?
False
Suppose -i + 110 = i. Let c = i - 28. Is 16 a factor of c?
False
Let m be -3 + 6 + 5/(-1). Let f = m + 6. Suppose 2*d - 20 = -4*v, 2 = 2*d - f*v + 6. Is 4 a factor of d?
True
Let j = 141 - 92. Is j a multiple of 49?
True
Let w = 10 - 8. Suppose 3*t + w*q - 112 = 4*q, -t + 39 = q. Does 17 divide t?
False
Suppose -q = g + 3*g + 2, 5*q - 5*g - 65 = 0. Is q a multiple of 5?
True
Let v(d) be the first derivative of -d**6/120 - d**5/10 + 5*d**4/24 - 3*d**3/2 + d**2/2 - 1. Let w(o) be the second derivative of v(o). Is 5 a factor of w(-7)?
True
Suppose -n - z = -14, -z + 8 = 2*n - 21. Is n a multiple of 15?
True
Let f be (120/28)/(1/7). Suppose 0 = v - 2*u - f, -2*v + 4*u = u - 59. Is v a multiple of 17?
False
Suppose 0 = 5*y - 5*n + 10, 3*n = 6*n - 15. Let s be (y - -1) + (1 - 2). Suppose 4*l - 3*k = 19, 0 = -s*l + 3*k - 1 + 13. Is l a multiple of 7?
True
Is 2 a factor of -2*(-5)/(20/18)?
False
Let j(f) = 3*f**2 - 6*f + 1. Suppose -5*t + 21 = -x, 3 = 2*x - t - 0. Is j(x) a multiple of 25?
True
Suppose 2*c - 219 = -j, 6*j - 126 = -c + 11*j. Is 9 a factor of c?
False
Let j = 3 + 3. Suppose j*f = f + 330. Is 22 a factor of f?
True
Suppose -5 = -2*c - 13. Let d = c + 1. Is 10 a factor of 3/(d/(-22)) - 2?
True
Let o = 2 + 9. Is o a multiple of 5?
False
Let z(j) be the second derivative of -j**5/10 + j**3/3 - j**2/2 + 3*j. Does 7 divide z(-2)?
False
Suppose p = -3 + 6. Suppose -x = -5*b + 3, p*x + 6 = -2*b + 7*x. Let q = 14 + b. Is 9 a factor of q?
False
Let i = 20 + -5. Is i a multiple of 6?
False
Suppose -6 = -2*z - 0*z. Is 13 a factor of (-2)/(-6) - (-38)/z?
True
Let u(i) = 19*i**3 + i**2 + i + 2. Let m be u(2). Suppose 7*o - m = 2*o. Does 15 divide o?
False
Let n be (-1842)/(-16) + (-5)/40. Suppose 3*d - n = -2*d. Is 16 a factor of d?
False
Suppose -z + 3*z = -2. Let p(w) = -8*w**2 + w + 5*w**2 + 14*w**2. Is 5 a factor of p(z)?
True
Let n(z) = 2*z**2 + 6*z + 3. Let d be n(4). Let i = -15 + d. Is i a multiple of 22?
True
Suppose 0 = 3*w + k + k - 11, 2*k = 2*w - 14. Suppose 46 = w*h + 4*q, q = -0*h - h + 9. Is h a multiple of 4?
False
Let l be -2 - -3 - (-21)/1. Let o = 58 - l. Is 18 a factor of o?
True
Let a be 1/(-2*(-3)/492). Let k = a - 44. Is 13 a factor of k?
False
Let g(r) = r**2 + 6*r + 10. Let a(o) = -o**3 - 4*o**2 + 3*o + 5. Let s be a(-4). Is g(s) a multiple of 9?
False
Let l be ((0/(-1))/(-1))/(-2). Suppose -n + 45 + 9 = l. Is 12 a factor of (-12)/8 + n/4?
True
Let o(r) = 3*r**2 + 10*r + 1. Does 13 divide o(-5)?
True
Suppose -2*n - 4*f + 60 = 0, -4*n - 2*f = -5*f - 65. Does 3 divide n?
False
Is 4 a factor of -4 + 64 + 20/5?
True
Suppose -4*a + 0*a - h = -131, a - h = 29. Is 8 a factor of a?
True
Let f(c) = c + 6. Let r be f(0). Is 13/3 - (-4)/r even?
False
Suppose 3*s - 3 = b, -4*b = -8*s + 3*s + 5. Suppose -5*x + b*x - 30 = 0. Is 7 a factor of (x/(-9))/2*21?
True
Let g be -7*8/(-14)*1. Suppose 17 = g*q - 39. Does 14 divide q?
True
Let h be 13/3 + (-10)/(-15). Suppose 0 = h*m - 11 - 39. Does 10 divide m?
True
Let t be 1/(-3) - 3/(-9). Suppose 0 = -3*i, t*u - 3*u + 5*i = -114. Is u a multiple of 9?
False
Let i = 8 - -17. Suppose 3*m - 2*w + 0 + 10 = 0, 4*m = 5*w - i. Suppose 0 = 2*p - m*p - 30. Does 15 divide p?
True
Suppose -4*o - 7 = 5. Let h be 2 - 4/((-3)/o). Is 6 a factor of (13 + (-1 - h))/1?
False
Suppose 4*s = -3*w + 2*w, -2*w + 27 = -s. Is w a multiple of 3?
True
Suppose n = 2 + 1. Suppose l + n = 7. Let y = l + -2. Is y a multiple of 2?
True
Let q = 64 + 7. Is q a multiple of 24?
False
Suppose 187 = 2*l + 3*o, o - 2*o - 1 = 0. Let v = 12 - 2. Suppose 0 = 5*n - l - v. Does 8 divide n?
False
Let a be 6/14 - (-903)/(-49). Let k(i) = -i**2 + 13*i - 4. Let d be k(5). Let w = d + a. Is 15 a factor of w?
False
Suppose -27*h + 1088 = -11*h. Is h a multiple of 5?
False
Let z(x) = -x + 37. Is 6 a factor of z(7)?
True
Suppose 4*d + 7 = 75. Is d a multi