s u a multiple of 7?
True
Suppose -119 = -10*q - 1879. Let c = 394 + q. Is c a multiple of 27?
False
Suppose 4699 - 115 = 5*f + 3*c, 0 = f - 3*c - 906. Is f a multiple of 50?
False
Let l(a) = -a**2 - 25*a - 16. Let f(s) = s + 1. Let r(z) = -4*f(z) + l(z). Is 17 a factor of r(-19)?
True
Suppose 2738 + 1878 = -q. Is q/(-30) - (-6)/45 a multiple of 14?
True
Let s(l) = l**2 - 2*l + 6. Let t = 14 + -14. Let v be s(t). Let n = 26 - v. Is n a multiple of 6?
False
Let w(g) = g**2 + 7*g - 2. Let p be w(-12). Let f = -22 + p. Does 11 divide f?
False
Let d = -162 + 260. Does 6 divide d?
False
Let s be (15 + -12)*(7/3)/1. Let q(w) = 10*w - 20. Is q(s) a multiple of 10?
True
Let x = 352 + 591. Let t = -666 + x. Is t a multiple of 35?
False
Is 107 a factor of (-19382)/(-6) - 12*(-16)/288?
False
Suppose -15*x = -28552 + 1837. Is 13 a factor of x?
True
Let c(o) = 2*o**2 - 10*o + 7. Suppose 2*m = 5*g + 21, 0 = 3*g - 0*g - 3. Suppose -2*q - 3*y + m = 0, -4*q + 9 = -3*q - y. Does 11 divide c(q)?
True
Suppose -7*a + 2383 = -2*a - 3*r, 5*a - 2415 = -5*r. Suppose -a - 46 = -5*m. Is m a multiple of 21?
True
Suppose 16*w - 8399 = 961. Does 13 divide w?
True
Let n = 3355 + -2153. Does 63 divide n?
False
Suppose -1456 = -34*a + 40908. Is 14 a factor of a?
True
Suppose 0 = -c - 2*s + 18, -3*c = c + 4*s - 60. Suppose -c*x = -13*x + 40. Suppose 30*l - 35*l + x = 0. Is l a multiple of 2?
True
Let x(v) = -12*v + 4. Let n be x(2). Is 3*4*(-25)/n a multiple of 15?
True
Suppose 49*c - 2 = 50*c. Is 4 + 151 - c - 3 a multiple of 16?
False
Let o = -240 - -150. Is 11 a factor of 9/(o/4)*1*-220?
True
Suppose -3*q - 5*l = 28, 3*l = -0*l - 15. Does 17 divide (-1 + q)*(-36 - -8)?
False
Let h(x) = -x - 4. Let c be h(3). Let z = c - -12. Is 4/(-2) - (-1 - z) a multiple of 4?
True
Let j(l) = 162*l + 32. Let k be j(6). Let r = -684 + k. Is 40 a factor of r?
True
Suppose 0 = 4*z - 2*d - 442, 196 = 2*z - 5*d - 29. Suppose 0 = -2*v - l + 126, z = 3*v - l - 89. Let w = v + -39. Is w a multiple of 5?
False
Suppose -3*f + i = 4*i - 30, 0 = 4*f - 4*i - 32. Suppose 4*n = n - f, 0 = -3*d + 4*n - 6. Is 9 a factor of d/(-9)*(-54)/(-4)?
True
Let d(l) = -3*l - 14. Let r be d(-6). Suppose r*f - 515 = 453. Does 36 divide f?
False
Suppose 4*b - 3*p = 516, b = 2*p - 43 + 167. Is 4 a factor of b?
True
Let j(f) = -19*f**2 + 7*f - 3. Let t be j(6). Is 22 a factor of ((5 + -2)/1)/((-45)/t)?
False
Let y = 163 - 76. Is y a multiple of 14?
False
Let c = 25 + -23. Suppose c*u = 8*u - 198. Does 6 divide u?
False
Suppose 2*v - 86 = -0*v. Let j = v + -32. Is j a multiple of 11?
True
Let t = -20 + 36. Let m be ((-15)/10)/(3/t). Let a(k) = -k**3 - 7*k**2 + 5*k - 1. Is a(m) a multiple of 8?
False
Let q = 91 - 60. Let s = 45 - q. Is 8 a factor of s?
False
Let f = 433 - -267. Is f a multiple of 11?
False
Suppose -8*w + 11*w = 0. Suppose -11*b + 14*b - 45 = w. Is b a multiple of 9?
False
Suppose 0 = -3*k + 6*w - w + 612, -406 = -2*k + 4*w. Is k a multiple of 11?
True
Let u be (-1 + -57)/(0 - 1). Let h = u - -150. Suppose z = -3*l + h, z = -l - l + 139. Does 23 divide l?
True
Suppose -102 + 882 = 6*x. Suppose 41 - x = -2*f + 5*j, 0 = j + 1. Is 6 a factor of f?
True
Is (1466/8)/((-26)/(-104)) a multiple of 28?
False
Suppose 80 = -3*c - 2*n, -c = c - n + 44. Let g = 46 - c. Is 14 a factor of g?
True
Let i = 284 + -234. Is 2 a factor of i?
True
Suppose h = -h - 3*p + 30, -2*p = h - 17. Suppose 4*l + 1 = h. Suppose v + 125 = 5*b, -3*b - l*v = -5*v - 75. Does 5 divide b?
True
Suppose 0 = n + 2*n + 18. Let w(p) = -27*p - 34. Does 35 divide w(n)?
False
Let a = 1188 - 702. Is 45 a factor of a?
False
Is (-78)/((-9)/(-3) + -5) a multiple of 5?
False
Suppose 4*n + 11 = 5*g, 3*g = -n - 2*n - 15. Is 26 a factor of 246*((-4)/3)/n?
False
Is 8 a factor of (60/(-9))/((-2)/33)?
False
Suppose 91*q = 13*q + 38454. Does 17 divide q?
True
Let y be (8 - 6)/((-2)/(-4)). Let i(j) = -4*j**2 + 3*j + 3 + 1 + 12*j**2 + y + j**3. Is 31 a factor of i(-6)?
True
Suppose -9*h = -5*h - 8. Suppose 4 = -h*p + 10. Suppose -a - 2*y = p*a - 320, 4*y - 406 = -5*a. Does 26 divide a?
True
Let d(b) = 3*b**3 + 200*b**2 - 96*b - 118. Is d(-67) a multiple of 25?
True
Suppose 1304 = -0*k + 8*k. Let x = 373 - k. Is 9 a factor of x?
False
Suppose 10 = 5*j + 3*s + 2*s, 5*s = j - 32. Is 4*((-8)/(-6) - j/21) a multiple of 3?
False
Let n(v) be the first derivative of -v**4/4 + 4*v**3/3 - v**2/2 - v + 6. Let s be n(3). Let z(a) = 11*a - 5. Is z(s) a multiple of 25?
True
Let t(p) = 2*p**2 - 45*p + 123. Is 25 a factor of t(31)?
True
Let f(o) be the third derivative of 5*o**4/12 - 7*o**3/6 + 4*o**2. Suppose -k = -z + k + 7, -5*k = -4*z + 22. Is f(z) a multiple of 5?
False
Let r(z) = 8*z**3 + 3*z**2 - 1. Let j = 68 - 66. Is r(j) a multiple of 15?
True
Let u(d) = -d**2 - 17*d - 38. Let t = 39 + -49. Does 4 divide u(t)?
True
Is (-24)/((-76)/72 - -1) a multiple of 18?
True
Let g(y) = 505*y**3 + 3*y**2 - 1. Is 13 a factor of g(1)?
True
Suppose 16*i + 170 = 21*i. Is 17 a factor of i?
True
Suppose 0 = 4*a - c - 18, 2*a - a + 2 = -3*c. Let h = a + -1. Suppose -h*s = -2*s + 4*p - 32, s - 5*p = 14. Is 12 a factor of s?
True
Let a be -2 + 3 + 12 + 3. Let r = a + 46. Let h = -43 + r. Is 6 a factor of h?
False
Suppose -h + 5*y = 10, 3*h - 4*y = -0 - 8. Let u = h - -25. Is 25 a factor of u?
True
Let n be 2/(-15) - 1288/(-210). Does 12 divide 0 + 39 - n/2?
True
Let x(m) = 164*m + 2. Does 19 divide x(3)?
True
Suppose 2*k + 22 = 880. Suppose -k - 297 = -6*f. Is 30 a factor of f?
False
Suppose 110 = b - 2*b. Let s be b/(-25) - (-3)/5. Suppose -519 = -4*i - v, v + 0*v - 649 = -s*i. Is 34 a factor of i?
False
Suppose -4 = -2*b + 6, -5*b = 2*u - 35. Suppose u*c + 46 = -214. Is 21 a factor of (-4 - -1 - c)*1?
False
Suppose -5*d = -11*d + 162. Is 3 a factor of -3*39/d*-3?
False
Is 2 - (-1151 - 2 - 0) a multiple of 26?
False
Let b(n) = -n. Suppose -h - 2*h = 12. Let p(f) = -f - 1. Let q(x) = h*b(x) - p(x). Does 5 divide q(4)?
False
Let h be -32*5/(-10) - -3. Let x = 43 - h. Does 8 divide x?
True
Let m = 330 + -330. Let o be (-8)/4*10/(-4). Suppose m*d - 2*d + 15 = i, 0 = 5*d - o. Is i a multiple of 12?
False
Let v = 229 - 285. Let p(q) = -2*q**2 - 3*q - 3. Let b be p(-4). Let f = b - v. Is 17 a factor of f?
False
Let n be 185/35 + 2/(-7). Suppose 0 = n*d + 2*j - 19, 0*j = 4*d - 2*j - 8. Suppose -5*w + 1 = -u, -d*u - 2*u - 4*w + 111 = 0. Is u a multiple of 8?
False
Suppose 0*r - 5*r - 3*p + 15 = 0, -2*p = -r - 10. Suppose 0 = -r*s + s. Suppose s = 2*g + 3*g - 5*x - 160, 5*g - 2*x - 148 = 0. Does 14 divide g?
True
Let t = 844 - 337. Is t a multiple of 39?
True
Let q = 17 - -63. Does 6 divide q?
False
Let o(l) = l**3 + l**2 - 5. Let s be o(2). Let n(a) = a**2 + 7*a + 10. Does 8 divide n(s)?
False
Is 10 a factor of 2613 + (7 - (1/1 - -3))?
False
Let o be (-5 + -1)/(-6*1/8). Suppose 0 = -4*s - o, -5*p + 3*s - 2*s = -82. Is p a multiple of 2?
True
Does 76 divide 3355 - (0 + -6 + 2)?
False
Suppose p - 4*v - 21 = 0, -3*p = -3*v + 7*v + 17. Is 57 a factor of p/(-4) - 39/(-12) - -111?
True
Let v(q) = q**3 - 5*q**2 - q. Suppose 4*r - 2 = -m, m + 5*r + 2 = 3. Is 5 a factor of v(m)?
True
Suppose 5*u - 4*x = 40, 3*u - 4*x - 29 = 3. Suppose -u*l + q - 7 + 15 = 0, 5*q = l - 2. Is 21 a factor of l - 4 - (-92 + 1)?
False
Suppose 4*p = 4*c + 12, -3*p + 4*c - 5*c = -17. Suppose -4*v + 4 = -p*v. Is (v/12)/(2/(-114)) a multiple of 9?
False
Suppose u + 4*r = 218, -2*u = -u - 5*r - 209. Suppose 2*i - d + 4*d - u = 0, 5*i - 585 = 5*d. Is 15 a factor of i?
False
Let s be (36/15)/((-5)/(-25)). Let f = 15 - s. Suppose d = -4*k + 33, 0*d + 5*d + f*k = 80. Does 6 divide d?
False
Let x(h) = -h - 1. Let s be x(-3). Let d be -159*-2*s/12. Let j = 80 - d. Is 9 a factor of j?
True
Suppose 0 = -g - 0*g + 2. Let x = 8 - g. Suppose x - 34 = -4*j. Is j even?
False
Let q = 7 + -4. Suppose 3*z + q*k - k - 446 = 0, 2*z + 3*k - 304 = 0. Is 28 a factor of z?
False
Let n = 28 + -44. Let o = n - -111. Is o a multiple of 19?
True
Suppose 2*s + 4*v - 60 = 0, 26*s = 21*s - 5*v + 125. Is s a multiple of 6?
False
Let k(i) = 0 + 0 + 12 + i. Let c be k(0). Let w = -2 + c. Is 10 a factor of w?
True
Let f(m) = m**2 - m - 27. Suppose 3*s = -0*s - 24. Is f(s) a multiple of 9?
True
Let r(s) = -s**2 - 4. Let k be r(-4). Let m = -34 - k. Is (1 - m) + -1 + -