 = 0 + 0 - l. Let x(k) = b(k) - 4*s(k). Is x(7) a multiple of 15?
False
Suppose -3*s - d = -250, 0 = s + 5*d - 75 + 1. Suppose -s = 5*a - 204. Does 7 divide a?
False
Let q(k) = 5*k + 7. Is q(5) a multiple of 16?
True
Suppose -5*l = -2*l - 93. Suppose -4*z = -2*z + 10. Let t = z + l. Does 13 divide t?
True
Does 6 divide 26 + -4*(-3)/8*2?
False
Let o = -215 - -359. Is o a multiple of 12?
True
Suppose 2*h + 0*p = -2*p + 130, -15 = -5*p. Is 12 a factor of h?
False
Suppose -4*k + 0 = -3*s + 10, 3*k = s. Suppose -2*v + u = -2*u - 9, 0 = -v + u + s. Is 8 a factor of v?
False
Let p(u) = u**3 - 5*u**2 + 7*u - 7. Suppose -2 = h - 19. Let q = h + -12. Does 14 divide p(q)?
True
Suppose -5*l = -92 - 48. Suppose -4*t - 4*r = -l, 2*t = 5*r - 18 - 3. Suppose 2*u = 5*k - 2, 3*k - 4 = t. Is 4 a factor of u?
True
Is (10 - 2)/(6/24) a multiple of 8?
True
Let q(w) = -27*w + 3. Does 16 divide q(-2)?
False
Suppose -2*o = -3*o + 6. Does 5 divide o?
False
Let l = -3 + 9. Suppose -25 = h - l*h. Suppose 0 = -5*k + h, 2*v + k + 2*k = 23. Is v a multiple of 6?
False
Let m(v) = v**2 + 3*v + 2. Let s be m(-3). Suppose 36 = 4*j - 4*r, -j - s*r + 5 = -7*r. Suppose -5*h - j = -5*l, 2*h + 0*h - l = 1. Is h a multiple of 3?
True
Let k(a) = -a**2 - 6*a + 7. Let t be k(-7). Suppose j + 59 = -t*d + 3*d, -15 = 3*j. Does 15 divide d?
False
Let n be (-5)/(-1 - (2 - 2)). Suppose -n*k + 15 = -0*k, -2*r + 12 = 2*k. Is 3 a factor of r?
True
Suppose d - 2*p + 88 = 0, -d + 3*p - 249 = 2*d. Let y = 135 + d. Does 16 divide y?
False
Let t be 1/(-2)*(1 + 1). Let u be -1 - (t - (-2 + 2)). Suppose 5 = h - u. Does 2 divide h?
False
Does 10 divide ((-1)/((-2)/(-66)))/((-5)/5)?
False
Let u = 23 - -34. Suppose h + u = -2*h. Is h*(-3)/(-6)*-2 a multiple of 19?
True
Suppose 2*x + r = 34, 2*r + 34 = 2*x - 0*r. Let p = x - -2. Is 7 a factor of p?
False
Let w be (9/(-6))/(3/(-10)). Suppose -4*b + 0*q + 46 = -2*q, w*b + 2*q = 53. Does 11 divide b?
True
Let p(h) = -41*h + 5. Let k be p(-7). Let n = 190 - k. Let d = 152 + n. Is d a multiple of 25?
True
Let y(p) = 3*p**2 - 3*p - 3. Let r = 14 - 16. Is y(r) a multiple of 5?
True
Let s be 229/(-7) + (-2)/7. Let v = s - -64. Is 19 a factor of v?
False
Suppose n - 4 = 13. Does 17 divide n?
True
Suppose -n = 4*s - 73, -2*s + 3*n + 40 = 7*n. Does 9 divide 1/((1 + 1)/s)?
True
Let i(j) = -j**3 + 4*j**2 + j - 4. Let o be i(4). Suppose 3*u + 14 - 59 = o. Is u a multiple of 8?
False
Let k(h) = -8*h. Let m be k(-3). Let i(x) = 4*x - 1. Let q be i(1). Suppose 3*f = 2*y - 16, -3*f + m = q*y - 2*f. Does 6 divide y?
False
Let d(z) = z**3 - 5*z**2 + z + 1. Let r be d(6). Let c = 87 - r. Suppose 3*g - 40 = -x, 3*g + x = -x + c. Is g a multiple of 11?
False
Let h be 15/(-20)*(-4)/1. Suppose h*l - 160 = -m - 0*m, 2*m - 323 = -3*l. Suppose 0 = 3*p + 5*j - m, p = 5*j + 100 - 19. Is 21 a factor of p?
False
Suppose 4*d = 5*k - 18 - 14, 3*k + 2*d - 6 = 0. Suppose -k*m = -19 - 5. Does 3 divide m?
True
Let r = 18 - 25. Let a(w) = w**2 + 7*w + 2. Let c be a(r). Suppose 2 = -z - c, 0 = 3*b - 4*z - 52. Is 7 a factor of b?
False
Suppose 0*y = -y + 18. Suppose 0 = -7*k + 4*k + 2*n - 16, -2*n + y = -4*k. Is 1/k*11*-2 a multiple of 7?
False
Let t(h) = -h**3 + 8*h**2 + 4*h - 11. Does 33 divide t(7)?
True
Let w be 7/(-14)*(0 + -4). Let j(u) = u**3 - 8*u**2 + 8*u + 9. Let z be j(7). Suppose 0*r = w*r - z. Is 3 a factor of r?
False
Is (-54)/(-4)*242/33 a multiple of 14?
False
Let g = 11 - 8. Suppose -g*f + 15 = -3*v, -3*f + 2 + 11 = -v. Does 4 divide f?
True
Let r(c) = -c**2 + 10*c + 2. Let p be r(10). Suppose 3*k - p*q - 53 = 3*q, -4*k + 4*q + 84 = 0. Does 13 divide k?
True
Suppose -3*v - 18 + 84 = 0. Let u be v/(-1) + 0 + 0. Let s = u + 34. Is s a multiple of 12?
True
Let v = 139 - 53. Let d = -33 + v. Suppose -3*t + d = 5*i + 11, -4*i = 2*t - 32. Is i a multiple of 3?
True
Let i = 45 - 104. Let s = i + 91. Is 17 a factor of s?
False
Let x = 325 + -167. Does 18 divide x?
False
Let c(u) be the second derivative of 2*u**3 - 15*u**2/2 - u. Is c(10) a multiple of 35?
True
Let p(u) = -u - u + 3*u**2 + 6 - 2*u**2 - 3*u**3 + 4*u**3. Let o be p(4). Let w = -48 + o. Does 15 divide w?
True
Suppose -2*j + 6 - 2 = 0. Is ((-105)/10)/((-1)/j) a multiple of 15?
False
Let s(m) = m**3 + 7*m**2 + 5*m + 6. Let a be s(-5). Let y = a + -16. Is y a multiple of 15?
True
Suppose 3*u - 5 - 7 = 0. Suppose 6*t - 2*t + 4 = 0, -4*t = u*k - 16. Suppose k*p = 6 + 99. Does 7 divide p?
True
Suppose 160 = 9*b - 7*b. Does 20 divide b?
True
Let l(g) = g**2 - 3*g - 4. Let t be l(4). Suppose t = 6*m - 2*m - 20. Does 2 divide m?
False
Let f(v) = -4*v - 1. Let s be f(-1). Suppose -x = s*x - 264. Does 14 divide x?
False
Suppose -71 = -o - 4*u, 0 = -4*o - 0*o - 4*u + 224. Suppose 4*h - 3*h - 5*y = o, 5*y + 219 = 4*h. Is h a multiple of 20?
False
Suppose -3*m = -5*s - 14, 0 = 5*m - 2*m - 4*s - 13. Suppose 0 = 2*p + m*r - 1 - 54, 4*p = 4*r + 100. Is p a multiple of 9?
False
Suppose -5 = p + y - 6*y, -4 = -3*p - 4*y. Let d(q) = -q**2 + q + 4. Let a be d(p). Suppose 0 = -a*b + 65 - 9. Does 7 divide b?
True
Let x(v) be the first derivative of 1/3*v**3 + 2 - 3*v - 3*v**2. Is 12 a factor of x(9)?
True
Let n = -52 + 124. Does 9 divide n?
True
Let q(l) = 2*l**3 - 2*l - 1 - 3*l**3 + 0*l**3 + 4*l**2. Let p be q(3). Does 2 divide (2 + 3)*(p + -1)?
False
Let z = -7 - -10. Suppose 23 = -3*i - z*u + 5, 21 = -i - 4*u. Let m(p) = -54*p**3 - p**2. Is m(i) a multiple of 19?
False
Does 19 divide (-2)/9 + (-7196)/(-63)?
True
Suppose 14 = -g + 64. Is 15 a factor of ((-12)/10)/((-4)/g)?
True
Suppose 3*x - 2 = 5*x - j, -3*j = 3*x + 12. Is 9 a factor of -52*x*1/4?
False
Is 40 a factor of 30/4*720/27?
True
Suppose 5*q - h - 440 = 0, 5*h - 440 = -5*q - 0*q. Is 8 a factor of q?
True
Suppose 3*y = 5*j - 3*j + 1, y = -4*j - 23. Let r be ((-4)/y)/((-4)/12). Does 3 divide ((-12)/(-14))/(r/(-28))?
True
Suppose 197 = m - 3*w, 1187 = 5*m + 5*w + 182. Does 50 divide m?
True
Suppose 3*v + 4*v = 1050. Does 6 divide v?
True
Let y(w) = w**3 + 5*w**2 + 4*w + 3. Let n be (-40)/8*2/(-2). Let b(i) = -i + 2. Let d be b(n). Is 7 a factor of y(d)?
False
Let y be (12/(-8))/(6/(-16)). Suppose y*c = -c + 30. Is c a multiple of 4?
False
Let n be 2 + 0 + (-4)/(-2). Suppose -3*o - 5 = -n*o. Does 5 divide o?
True
Let f = 209 - 121. Does 22 divide f?
True
Let i = 12 + -6. Let n(z) = -i*z + 4*z**2 - 1 + 3*z**2 + 2*z**2 + 4*z. Is 3 a factor of n(-1)?
False
Suppose -4 = -n, -n + 282 = 5*d + 2*n. Is d a multiple of 14?
False
Let p(a) = -a**2 - 5*a - 3. Let z be p(-5). Let r(b) = -9*b - 3. Does 12 divide r(z)?
True
Suppose 5*u - 4*i = -3*i - 52, -4*i + 48 = -4*u. Is 9 a factor of (12/u)/((-1)/15)?
True
Let n = -7 - -12. Suppose 4*b + 5*d - 37 = 0, -5*b + 1 + 34 = -n*d. Is b a multiple of 4?
True
Let d = -51 - -208. Does 27 divide d?
False
Is (-77)/(-11) + -4 + 1 a multiple of 2?
True
Let k = -163 + 369. Does 28 divide k?
False
Suppose t = a + 347, -4*t + 1040 = -t - 2*a. Suppose -71 + t = 5*b. Is b a multiple of 11?
True
Let o(n) be the third derivative of n**4/4 - n**3/3 - 5*n**2. Is o(2) even?
True
Suppose -2*y - 2*y + 12 = 0. Suppose 3*v - 100 = k, 2*k = -y*v - 0*k + 88. Is 8 a factor of v?
True
Let z = 13 - 8. Suppose z*u - 3*a + 0 = 17, u - 21 = 5*a. Suppose -m = c - 30, -3*m - u = 2. Does 16 divide c?
False
Let b be -37*(0 + 1) + 2. Let n = b - -64. Is n a multiple of 12?
False
Suppose -2*q - 3*q = -4*t + 92, 3*t = -3*q + 42. Suppose 4*o = -0*o - n + 36, 0 = -o + 2*n + t. Is o a multiple of 3?
False
Let j = 6 - 5. Does 7 divide 22 - (-3)/(-1)*j?
False
Let j(c) = c - 3. Let h be j(5). Let x be (1 - -45)/(5 - 3). Does 21 divide x - (0 + 1)*h?
True
Suppose -7*s + 2*s + 8 = l, -5*l + 5*s + 70 = 0. Does 13 divide l?
True
Let l = -46 - -25. Does 3 divide (3*-1)/(7/l)?
True
Let d(b) = -b**3 - 6*b**2 + 1. Let z be d(-6). Let k = z + -3. Is 15/k*12/(-9) a multiple of 10?
True
Suppose 6*t - 159 = 447. Is t a multiple of 22?
False
Let c(q) = -q**3 - 14*q**2 + 11*q - 14. Is 23 a factor of c(-15)?
True
Suppose 5*n = -20, -2*n - 4 = c - 0*n. Suppose 14 = m - c. Is 12 a factor of m?
False
Does 13 divide 212/6 - 1/3?
False
Let a be (-6 + 2)/4*-3. Let w = a - 1. Is w a multiple of 2?
True
Let w(a) = -a**3 + 9*a**2 + 3*a + 11. Let f be w(10). Let y = f + 95. Is y a multiple of 23?
False
Suppose 0 = -5