+ -3 - g)?
False
Suppose -25 = -3*q - 4*s, 10 = 2*q + 2*s - 4. Suppose -5*k + 1608 = -q*g - 159, -5*k + 5*g + 1775 = 0. Does 47 divide k?
False
Suppose 4*i = -2*u + 1152, -65*i - 1440 = -70*i - 3*u. Is 6 a factor of i?
True
Let r be -1 - -1*(-1)/(-1). Suppose r = -4*z + 200 + 276. Does 25 divide z?
False
Let c(x) = x**2 + 2*x - 9. Suppose -4*v = 2 + 30. Is 30 a factor of c(v)?
False
Let z(w) = -w**3 + 23*w**2 - 14*w + 11. Is z(21) a multiple of 13?
False
Let l be ((-7)/(-21))/((-1)/(-42)). Let b be -3 + l + (-2 - -4). Let n(p) = 5*p - 2. Is n(b) a multiple of 14?
False
Suppose -2*t + 861 = -5*p, 58 = 3*t + 2*p - 1281. Is t a multiple of 17?
False
Suppose -5*c = -60 - 10. Suppose 2 = 2*j + c. Is j/15 - 42/(-5) a multiple of 8?
True
Suppose -36*q = q - 91871. Is q a multiple of 13?
True
Suppose 0 = 12*z - 2960 + 560. Is z a multiple of 13?
False
Suppose 2*d = 334 + 394. Is 4 a factor of d?
True
Suppose -2*p - 50 = 16. Let z = 32 + p. Is 2 + (-35)/z + -4 a multiple of 11?
True
Let s(u) be the third derivative of u**6/120 - u**5/12 + u**4/6 + 2*u**3 + 24*u**2. Does 4 divide s(5)?
True
Let q = -3907 + 5524. Does 21 divide q?
True
Let k(d) = -8*d - 8. Let g be k(-1). Is -2*(g + 3 - 297/18) a multiple of 14?
False
Let j(n) = -2*n**3 - 4*n**2 - 2*n. Let t be j(-4). Suppose -3*c = 4*y - 103, 0 = -3*c + 3*y + 3 + t. Does 4 divide c?
False
Let t be 1068/14 - 4/14. Let o(y) = -23*y - 43. Let b be o(-5). Suppose -b = -4*l + t. Is 5 a factor of l?
False
Let s be (-32)/40*-5*5. Let z = 47 - -5. Suppose -2*j + z = -s. Does 12 divide j?
True
Let u = 179 - 5. Does 33 divide u?
False
Let l be 1/((-24)/28 + 1) + -4. Suppose -5*w = 4*z - 622, 0*w + 2*z = -l*w + 374. Does 10 divide w?
False
Is 175636/570 - 2/15 a multiple of 11?
True
Let s(j) = -j**3 + 9*j**2 + 10*j + 5. Let z be s(9). Suppose 5*g = z + 295. Is 13 a factor of g?
True
Let w be ((-1)/3)/(2/12). Let b be 3/(-1)*w/3. Suppose 0 = b*a + 3*i - 0*i - 9, 2*a = 5*i + 33. Is a even?
False
Let l = 108 - -486. Is l a multiple of 18?
True
Is 34 a factor of 42836/12 - 2/(-6)?
True
Let a(i) = i**3 + 5*i**2 - 6*i + 8. Let u(o) = -o**2 - 3*o - 2. Let y be u(-4). Let f be a(y). Suppose 0 = d - f - 4. Is 6 a factor of d?
True
Suppose -3 + 11 = -2*b. Let j(q) be the second derivative of -q**5/10 - 7*q**4/12 - q**3 - 2*q**2 + q. Is j(b) a multiple of 12?
True
Let s be 24/4 + -1*2. Suppose -s*c = o - 80 - 40, -o + 91 = 3*c. Does 6 divide c?
False
Let z = 201 + -132. Is z a multiple of 23?
True
Suppose 3*l - 480 = 4*h - l, -4*l + 359 = -3*h. Is 30 a factor of (-2)/8 + h/(-4)?
True
Does 31 divide (-29764)/(-10) - 8/(-140)*-7?
True
Let o(y) = y**3 - 37*y**2 + 9*y - 19. Does 20 divide o(37)?
False
Let h(q) be the second derivative of -10*q**3/3 - 2*q**2 - 7*q. Let v be h(-4). Is 19 a factor of (-3)/6*-2*v?
True
Suppose -3*u - 4*c = -92, -9 + 0 = -u + 3*c. Is u even?
True
Let n = -28 + 23. Is 5 a factor of 11 - n*10/(-25)?
False
Let i(q) = -q**3 - 13*q**2 - q - 14. Let w be i(-13). Does 2 divide w + (-1 - 4)*-1?
True
Does 31 divide ((3328/(-20))/8)/((-2)/15)?
False
Let m(n) = 7*n**2 - 2*n + 4. Let f be m(3). Let u = 176 - f. Suppose -u = -r + t + 9, -5*t - 20 = 0. Is 26 a factor of r?
False
Let f(h) be the first derivative of -2*h**2 - 29*h - 18. Is 27 a factor of f(-14)?
True
Let c = 214 - 38. Is c a multiple of 11?
True
Let v = 1274 + -869. Suppose 0 = -2*u - 4*t + 156, 3*u - v = -2*u - 5*t. Is 14 a factor of u?
True
Let c = -658 + 1131. Is 19 a factor of c?
False
Let z be (-2)/(-1)*15/(-30). Let c(h) = -21*h - 5. Is 4 a factor of c(z)?
True
Let c(i) = -i**2 - 5*i. Let w be c(-4). Let b(n) = -6*n - 7*n + 1 - w*n. Does 9 divide b(-1)?
True
Suppose 1224 = m - 5*q, 595 = -2*m - q + 3010. Does 13 divide m?
True
Let b = 390 + -262. Suppose -16*a + 14*a + b = 0. Does 28 divide a?
False
Let b = -4 - -4. Let m = 0 - b. Suppose m = v - 0*k - 2*k - 60, 3*v + 5*k = 147. Is 13 a factor of v?
False
Suppose 0 = j + 3*j - 8. Suppose -j*x + 5*x - 2*p + 20 = 0, 0 = 5*p - 20. Let z(l) = -7*l - 2. Does 13 divide z(x)?
True
Suppose -12*h + 42900 = 14*h. Is h a multiple of 11?
True
Let b(l) = -l**3 + 11*l**2 - 6*l + 15. Let f be b(10). Let t = f - 13. Does 14 divide t?
True
Suppose -3*g = -5*c + g + 175, -2*c = 4*g - 42. Does 10 divide c?
False
Suppose 0 = -29*u + 9966 + 9174. Is u a multiple of 44?
True
Let s(m) be the third derivative of 0*m**5 + 0 - 11/40*m**6 - 1/6*m**3 + 0*m + 7*m**2 + 0*m**4. Is s(-1) a multiple of 10?
False
Let f(x) = x**2 + 12*x - 1. Let a(v) = -v**2 - 12*v. Let h(m) = 6*a(m) + 7*f(m). Does 12 divide h(-16)?
False
Suppose -4 = 5*w - 24. Suppose -w*t + 0*t = 0. Let s = 4 + t. Is s a multiple of 4?
True
Let m = -169 + 258. Does 2 divide m?
False
Let a = -13 + 61. Let v = 0 + a. Is 7 a factor of (-6)/(-2 + v/28)?
True
Let l = -958 - -1630. Is l a multiple of 12?
True
Suppose -20 = 7*h - 5*h. Let t(c) = c - 1. Let o(w) = -w + 9. Let i(v) = -2*o(v) - 6*t(v). Is 10 a factor of i(h)?
False
Let w(n) = n**3 + 15*n**2 - 21*n + 3. Is 2 a factor of w(-16)?
False
Suppose g = -4*k + 3584, -6*k = -4*k + 4*g - 1778. Is 53 a factor of k?
False
Let a(r) = -r**3 + 4*r**2 - 4*r + 10. Let s be a(4). Let c(m) = -1 + 3 + 2*m - m**2 - 10*m. Is 11 a factor of c(s)?
False
Suppose 9*c + 40 = 4*c. Let w be (-4)/c*60/5. Suppose -2*q - 108 = -w*q. Is q a multiple of 8?
False
Let t = -43 + 47. Suppose 5*b + t*u = 389, 6*b = 3*b - 2*u + 235. Does 12 divide b?
False
Let p(b) = -5*b**3 - 3*b**2 + 5*b + 11. Is 8 a factor of p(-4)?
False
Let l = 3 - 5. Is 9 a factor of ((-30)/6)/(l/18)?
True
Let n(v) = -v**3 + 19*v**2 - 5*v - 28. Is 46 a factor of n(12)?
True
Let w be (5 + -2)*(87 - 0). Let f = w + -184. Is 10 a factor of f?
False
Let u(b) = b**3 - 15*b**2 + 29*b - 33. Does 9 divide u(14)?
False
Suppose n + 2 = -4*o, -4*o - n = -4*n - 6. Suppose -47 = -3*i - 3*r - r, -5*r = -2*i - 7. Let u = o + i. Does 6 divide u?
False
Let z = -20 - -24. Suppose 2*i + 24 = 4*w - w, -z*w + 32 = 2*i. Is w a multiple of 6?
False
Let n = 2146 + -1817. Is n a multiple of 7?
True
Is (-1582)/(-49) + 2*2/(-14) a multiple of 16?
True
Let z(y) = 8*y**2 + y. Let a be z(-2). Let q = -87 + a. Let k = -2 - q. Is k a multiple of 17?
False
Does 9 divide (-326 + 0)*2/(-24)*6?
False
Let l = 15 - 14. Let y = l - 1. Is 7 a factor of 31 + (y - (-1 - -1))?
False
Let h be -3 + 19 + (-3 - -1 - 1). Suppose 0 = 5*y - 2*q + h - 205, -y = 5*q - 33. Is 38 a factor of y?
True
Let y = -82 - -171. Suppose u = -0*u - 18. Let x = u + y. Is x a multiple of 18?
False
Let a(h) = -33*h + 14*h + 15*h + 13. Let k(i) = -6*i + 1. Let y be k(2). Does 23 divide a(y)?
False
Suppose -4*b + 5 + 5 = 2*r, 5*r = -5*b + 20. Let p be (r + -4)/((-2)/6). Suppose -p*k + 27 + 45 = 0. Does 6 divide k?
True
Let b be (-22)/9 - 8/(-18). Does 11 divide ((-1)/((-2)/(-418)))/(b - -1)?
True
Let f = 62 - -1348. Does 47 divide f?
True
Let m = -2 + 3. Let q = 13 - m. Is 6 a factor of q?
True
Is 10/65 + (-186642)/(-78) a multiple of 31?
False
Suppose -1239*j - 9300 = -1249*j. Is j a multiple of 15?
True
Does 30 divide -4 + 1235 + 24 + -11?
False
Suppose -4*u + 8*w = 9*w - 591, 0 = -3*u + 5*w + 426. Is 15 a factor of u?
False
Let q(n) = -5*n**3 + 29*n**2 - 44*n + 20. Let v(z) = -z**3 + 6*z**2 - 9*z + 4. Let l = 1 + 1. Let r(c) = l*q(c) - 11*v(c). Does 24 divide r(7)?
True
Let c = 26 - 50. Let p = c - -27. Suppose l = -p*l + 204. Is 9 a factor of l?
False
Let p be -1*(1 - 0)*(-1 - 41). Suppose 5*x - 78 = p. Is x a multiple of 3?
True
Suppose x = -4*a - 16, 3*x = 3*a - 7*a - 8. Suppose -d = -2*u + 36, 3*u + x*d - 4 = 72. Does 18 divide u/8*(2 - -12)?
False
Suppose 0 = -6*n + 3*n + 723. Is n a multiple of 12?
False
Let o(x) = -x**2 + 15*x - 12. Let m be o(12). Let y = 41 - m. Is y a multiple of 8?
False
Suppose 0 = 5*q + 2*d - 231, -2*d - 198 = -4*q + 3*d. Does 16 divide q?
False
Let i(c) = -2*c + 76. Let b be i(-12). Is ((-12)/2 - (12 + -14)) + b a multiple of 12?
True
Let y be 18/(-3)*-3 - 4. Is 7 a factor of (-49)/y*(-72)/14?
False
Suppose 3*w - 3 = 2*z - 7, -2*z = -2*w - 6. Suppose 6*d = z*d - 2. Is 6 a factor of (-3 - (-111)/(-6))*d?
False
Let m(n) = -n**3 - 7*n**2 + 2*n + 8. Let q be m(-8). Is 16 a factor of (346 - q)*(0 + 1/2)?
False
Suppose 0 = -55*r + 53*r. Suppose 3*j - 34 - 640 = 4*u, -2*j - u + 464 = r. Is 15 a factor of j?