 Suppose 812 = -4*f - b*h, -4*h + 369 = -2*f - 31. Does 10 divide 3/(-6) - f/4?
True
Let m = 251 - 158. Is 5 a factor of m?
False
Let m = -114 + 78. Let v = -36 - m. Suppose 5*x = -v*x + 110. Does 11 divide x?
True
Suppose 0*r - 5*r = -10. Suppose 18 = 5*a + 2*h - 4, -r*a = -2*h - 20. Suppose -4*x = -5*i + 379, a*x - 253 = -3*i + 2*x. Does 15 divide i?
False
Let c(x) = x - 1. Let s be c(3). Suppose 0 = -s*j + 8 - 2. Is 13 a factor of (-272)/(-3) - (-1)/j?
True
Let u = 40 + -50. Let a = u + 65. Is 16 a factor of a?
False
Suppose 13*i - 44 = 47. Suppose -660 = c - i*c. Is 29 a factor of c?
False
Let v(q) = 3*q**2 + 23*q + 3. Let w be v(-11). Let d = w + -77. Does 9 divide d?
True
Let i = -49 + 37. Let p(c) = c**2 + 9*c - 21. Does 3 divide p(i)?
True
Let y(j) = 2*j + 2. Let z be y(-1). Suppose -3*p + 4*s + 324 = 9*s, -3*s = z. Is p a multiple of 9?
True
Let u = -217 - -347. Is 10 a factor of u?
True
Let p(g) = g**3 + g**2 + 15*g - 6. Is 28 a factor of p(6)?
True
Let f be 14128/104 + (4/(-13))/(-2). Suppose -448 = -4*g - 4*s, 3*g - f = 2*g + 5*s. Does 14 divide g?
False
Let z be ((-173)/(-3) - 1)*9. Let i(m) = -8*m - 465. Let l be i(-62). Suppose 36*v - l*v = z. Does 17 divide v?
True
Suppose -5*m + 620 = x, 5*m = 13 + 7. Is 15 a factor of x?
True
Suppose 0 = -0*x + 5*x. Suppose -5*q + j + 118 = x, -4*q - 2*j = -6*q + 44. Is q a multiple of 12?
True
Let u = -8 + 16. Is 2 a factor of u?
True
Let c = -30 + 32. Let z be (-48)/6*c/(-8). Suppose 4*d + 3*v = 2*d + 26, -3*d + 26 = -z*v. Is 2 a factor of d?
True
Let g(x) = -78*x - 121. Does 41 divide g(-6)?
False
Let l be 1/7 + (-222)/(-14). Let f(x) = x**2 - 10*x + 15. Let g be f(11). Let u = g - l. Does 7 divide u?
False
Suppose 4*s + 12 = -2*l, 2*l - 6*l + 3*s = -9. Let n(d) = d + 5. Let a be n(l). Suppose -5*g = 2*b + 3*b - 65, b - 17 = -a*g. Is 3 a factor of b?
True
Let u = 459 - 319. Let t = u - -49. Does 13 divide t?
False
Let g(o) be the third derivative of o**5/60 + 5*o**4/12 + 3*o**3/2 - 6*o**2. Let y be g(-9). Suppose y = -2*v - 2*v + 32. Is v a multiple of 4?
True
Let d = 1652 - 878. Does 86 divide d?
True
Let n(o) = -369*o - 260. Is 9 a factor of n(-4)?
False
Suppose 2*l - 1242 = -2*q, 2 = l - 3. Does 66 divide q?
False
Suppose -3*c - 12 = -3*r, 5*r - 2 = -c - 3*c. Suppose -2*b = 6*w - r*w - 324, b = 0. Suppose -3*k + w = -3*l, 0*k - k = l - 21. Is k a multiple of 12?
True
Let o = -3 - -3. Suppose 6*r - 473 - 187 = o. Is r a multiple of 10?
True
Let g(n) = n**2 + 11*n - 18. Let q = 120 - 80. Let l = 26 - q. Is 12 a factor of g(l)?
True
Let v = -1159 - -1932. Is v a multiple of 21?
False
Let f = -670 - -1280. Is 42 a factor of f?
False
Let j(v) = -3*v**3 - 4*v**2 + 4. Suppose 0*b + 3*b + 12 = 0. Is 33 a factor of j(b)?
True
Suppose -5 = 4*b - p, 0*b - 5*p = 2*b - 25. Suppose b*d + 3*d - 153 = 0. Is d even?
False
Let a(t) = 74*t**2 + t. Let w be (2/3)/(2/3). Suppose 4*g - 5 = -w. Is a(g) a multiple of 23?
False
Does 25 divide (-3824)/(-24) + -10 - 2/(-3)?
True
Suppose 3*m = 7*m - 8. Suppose 4*w = -z - 3, -m*z + 7*z - 30 = -5*w. Suppose -14*b + 200 = -z*b. Is 15 a factor of b?
False
Let b(u) be the third derivative of -u**6/120 - 2*u**5/15 + 2*u**4/3 - 7*u**3/3 - 17*u**2. Is 2 a factor of b(-10)?
True
Let k(x) = -109*x**3 - 2*x**2 + 2*x + 3. Let f(l) = l**3 + 11*l**2 + 12*l + 19. Let q be f(-10). Is k(q) a multiple of 9?
True
Is 12 a factor of 0 - 1/10 - (-379015)/650?
False
Let s(p) = 2*p**3 - p**2 - 32*p + 5. Does 18 divide s(7)?
False
Suppose -31*l = -50385 + 847. Is 12 a factor of l?
False
Let m be 380/(-12) + 4/6. Let z be (m/2)/(8/(-16)). Let b = z - 16. Is b a multiple of 15?
True
Let r = -1290 - -1998. Is 59 a factor of r?
True
Suppose -16*c + 17*c = 20. Suppose r + c = 59. Does 8 divide r?
False
Suppose -11*i + 2300 = -373. Is i a multiple of 34?
False
Suppose -1 = o - 0. Let f be -4 + 12/(3 - o). Is (34/f)/(-6 + 4) a multiple of 9?
False
Let l(b) = -b**3 - 6*b**2. Let g be l(-6). Suppose 2*i + 2*o = -g*o + 90, 117 = 3*i - 3*o. Does 8 divide i?
False
Let n = -10 - -125. Let d = -90 + n. Does 6 divide d?
False
Let v(x) = 0*x - 3*x + x - 4*x - 21. Is v(-10) a multiple of 13?
True
Let w(n) = 2*n**2 + n - 6. Suppose -55 = f + 4*f. Let j(p) = -p**3 - 10*p**2 + 10*p - 16. Let v be j(f). Is 13 a factor of w(v)?
True
Let u = 67 - 70. Let h = u + 32. Is h a multiple of 8?
False
Let t = -21 - -34. Suppose -t*c + 14*c - 20 = 0. Is c a multiple of 4?
True
Let j be (-1)/3*(-27)/(-3). Let i(u) = 2*u**2 - 3*u - 2. Does 3 divide i(j)?
False
Let t be (0 + -1 - 0) + 31. Let h = 625 + -551. Let w = h - t. Does 22 divide w?
True
Suppose 166 = 4*n - 2*k, -3*k = -7*n + 3*n + 165. Is 8 a factor of n?
False
Let l = -447 + 636. Let t = -81 + l. Is t a multiple of 18?
True
Let s(u) = -3*u - 37. Let l be s(-14). Let h(v) = -v**3 + 8*v**2 - 8*v + 5. Is 4 a factor of h(l)?
True
Let c(a) = -12*a + 558. Is c(31) a multiple of 3?
True
Let y(w) = -w**3 + 7*w**2 + 9*w - 5. Let h be y(8). Suppose 3*p - 4*o = p + 304, 3*o - 474 = -h*p. Is p a multiple of 33?
False
Suppose -8*a = -720 - 1336. Does 68 divide a?
False
Suppose -5*i = 3*h - 14, 5*i + 3 + 7 = 5*h. Let n(q) = -q**2 + 4*q. Let g be n(h). Suppose g*v = 60 + 15. Does 5 divide v?
True
Let j = -26 + 28. Suppose 7*o + 5*y = j*o + 90, y - 110 = -5*o. Let x = -21 + o. Does 2 divide x?
True
Let q(f) = -3*f - 35. Let p be q(-15). Suppose 0 = -3*y + p*y - 483. Does 23 divide y?
True
Let k(j) = 12*j**2 - j + 18. Is k(4) a multiple of 38?
False
Suppose -11*b = -4*b + 406. Suppose -4*p - 4*t = -0*t + 84, -5*t + 55 = -3*p. Let v = p - b. Is v a multiple of 10?
False
Let y(k) = k**2 + 4*k - 10. Let p be y(-6). Suppose -d - 74 = -p*d. Does 37 divide d?
True
Let y(f) = -f**2 - 15*f - 5. Let l be y(-14). Is (-54 + l)*(-20)/6 a multiple of 38?
False
Let a = -683 - -1789. Is a a multiple of 79?
True
Suppose 99 + 215 = 2*x. Let u = 254 - x. Is 15 a factor of u?
False
Let n(s) = -20*s - 30. Let w be n(-8). Suppose 7*a + w = 12*a. Does 13 divide a?
True
Let r(m) = m**2 - 3*m - 3. Let o be r(3). Does 11 divide 88*(-3)/18*o?
True
Let m = 328 - 484. Let s be (-1)/4 - (-774)/(-8). Let i = s - m. Is i a multiple of 12?
False
Suppose 2*g - 15 = -5*h, -3*g + 10 = -0*g + 5*h. Suppose -v + b = -26, -b - 56 = -2*v - 0*b. Let j = v - g. Is 7 a factor of j?
True
Suppose h - 4*m - 41 = 999, 3*h + m = 3094. Is h a multiple of 53?
False
Let m = 169 + -202. Let d = 37 + 7. Let h = d + m. Is 11 a factor of h?
True
Let h(d) = 5 - 12 + 2 - 3*d + 4*d. Let g be h(4). Does 3 divide (g - -12 - 3)/2?
False
Let s(t) = t**2 + 2*t - 1. Suppose -3*h - 1 + 7 = 2*i, -2*h = 3*i - 9. Suppose -3*b = -h*b + 15. Does 7 divide s(b)?
True
Let r(h) = h**3 + 8*h**2 - 27. Let l = 11 + -16. Is r(l) a multiple of 3?
True
Let n(u) = u**2 - 5*u - 6. Let h be n(-4). Suppose -13*o + 9*o + 44 = 0. Does 14 divide h/(-4)*(5 - o)?
False
Suppose 3*l = 100 + 131. Suppose 7*c - 2*c - 301 = g, 4*g - l = -c. Is 4 a factor of c?
False
Let a = -20 + 24. Suppose -a*c + 2*c = -72. Is c a multiple of 18?
True
Let u = -52 - -80. Suppose -g + 3 = 2*f - u, -5*f - 5*g + 70 = 0. Is f a multiple of 4?
False
Let y(c) = -c**3 + 10*c**2 - 8*c - 2. Suppose 4*u = 4*o + 52, -u = -3*u + o + 22. Is y(u) a multiple of 7?
True
Suppose 5*s + 14 = -p, 3*s + p = 3 - 11. Let k = s + 4. Let u(r) = 9*r**3 - 2*r**2 + r. Is 2 a factor of u(k)?
True
Let v = -60 + 68. Let z(s) = s**3 - 9*s**2 + 12*s - 3. Is 6 a factor of z(v)?
False
Let r(p) = 18*p - 436. Does 4 divide r(40)?
True
Suppose -5*f - 937 + 3292 = 0. Is f a multiple of 20?
False
Suppose 2*m + 2 = -4*p - 0, 0 = -5*m + 3*p + 8. Suppose -x = m - 17. Suppose 3*f + 7 = k, -5*k = 7*f - 3*f - x. Is k a multiple of 4?
True
Let y = 2940 - 1436. Does 88 divide y?
False
Suppose -6*r - 1519 = -9*r - s, 0 = 5*s + 10. Is r a multiple of 75?
False
Let d(r) = -r + 8. Let s = -17 + 27. Suppose 0 = -3*x + x + s. Is d(x) a multiple of 2?
False
Suppose 2*z - 7*z + 3*f = 13, 5*z - 4*f + 14 = 0. Let y be ((-9)/(-6) - 1)*z. Is 16 - (2 + y - 0) a multiple of 15?
True
Suppose -16 = -3*z - 4. Suppose 2*u = z + 212. Suppose 31*f - 28*f - u = 0. Does 9 divide f?
True
Let x(l) = -5*l**3 - 10*l**2 - 21*l - 66. Is x(-6) a multiple of 10?
True
Let l = 586 + -498. Is l a multiple of 8?
True
Let l(n) = -n**2 - 3*n + 105. Is 35 a factor o