 Is 6 a factor of a?
True
Let a = -2405 + 3835. Does 13 divide a?
True
Let w(s) = -3 + 4*s + 8*s**2 - s**3 + 4*s - 2. Does 23 divide w(6)?
True
Let v(y) = -y**3 - 3*y**2 + 3*y + 1. Let a be v(-4). Suppose h = 4*p + 366, 3*p - 799 = -a*h + 939. Suppose 2*q = -4, -4*q = -4*c - q + h. Does 26 divide c?
False
Let z = -688 - -793. Is z a multiple of 5?
True
Suppose -p = -2*p - 5, 3*p = -3*j - 6. Suppose 9*f = 7*f - 3*a + 22, -j*f = 2*a - 23. Suppose 6*v - f*o - 340 = v, -2*o + 194 = 3*v. Does 22 divide v?
True
Suppose -2*z + 0*h - 2*h - 32 = 0, 22 = -z - 3*h. Let q = z + 168. Does 31 divide q?
True
Suppose 2*i + 4*y = 2*y + 50, -2*i + 5*y + 43 = 0. Is i a multiple of 3?
True
Suppose 4*x = -x. Let j be -3 + 2 + x + 7. Suppose j*l + 9 - 171 = 0. Does 9 divide l?
True
Let v(l) = -2*l**3 + 40*l**2 + 14*l - 86. Does 4 divide v(20)?
False
Let o(q) = 21 - 3 + 10 - q + 6*q. Does 31 divide o(13)?
True
Suppose -o - 53 + 71 = 0. Does 2 divide o?
True
Suppose 1 = -5*u - 2*y - 1, -4*u + 2*y = 16. Let i(t) = -8*t - 10. Let l(r) = -r - 1. Let g(c) = u*i(c) + 20*l(c). Is g(-3) a multiple of 12?
True
Let p = 361 + -293. Does 16 divide p?
False
Let v(q) = 10*q**3 - 3*q**2 + 2*q + 5. Let l(y) = -10*y**3 + 4*y**2 - 3*y - 6. Let f(d) = 3*l(d) + 4*v(d). Is 16 a factor of f(2)?
True
Let i(r) = 5*r + 82. Does 15 divide i(0)?
False
Let m be ((-1)/2)/(2/224*-1). Suppose 16*d - m = 12*d. Is d even?
True
Let b(j) be the third derivative of j**5/10 - j**4/24 - 2*j**3/3 + 18*j**2. Is b(-4) a multiple of 24?
True
Suppose -3*y = -s - 4*s - 55, 82 = 4*y + 2*s. Is 20 a factor of y?
True
Is ((-504)/96)/((-3)/196) a multiple of 82?
False
Let b(s) = -s**3 + 9*s**2 - s - 14. Let u be b(6). Let o = 361 - u. Suppose r = -6*r + o. Is 39 a factor of r?
True
Is 272 + -3 + 6 - 6 a multiple of 26?
False
Let a(l) = l**2 + 11*l - 134. Is a(14) a multiple of 8?
True
Let z(x) = x**3 - 25*x**2 + 12*x + 15. Does 7 divide z(25)?
True
Let z(k) = -k**2. Let f = -2 - -1. Let o(y) = -2*y**2 - 2*y + 7. Let u(t) = f*z(t) + o(t). Is u(-3) a multiple of 4?
True
Let x = -242 - -564. Is 23 a factor of x?
True
Suppose 3*j - 2*j = 0. Suppose 6 = -2*n, 0 = -d - j*d - n. Suppose -2*c + 52 = 2*o, -3*o - d*c - c + 75 = 0. Is 11 a factor of o?
False
Let j(b) = -117*b - 519. Is j(-7) a multiple of 21?
False
Suppose -52 - 16 = -2*f. Let j = -15 + f. Does 5 divide j?
False
Let n(b) = -4*b**2 + 18*b + 19. Let y be n(-8). Is 17 a factor of 5/10 - y/6?
False
Suppose -5*c + 7*c = 8. Suppose -1 = -c*h - 13. Is -6*5/h + -2 a multiple of 7?
False
Suppose -3*n - n + 24 = 0. Suppose -2*w + 30 = -n. Is (-3)/w*-14*3 a multiple of 7?
True
Let n(h) = 18*h + 17. Let q be n(-9). Suppose -5*x + g - 108 - 352 = 0, 0 = -3*x - 5*g - 304. Let i = x - q. Does 14 divide i?
False
Suppose -5*o + 2*v + 2366 = 0, -2*o + 12*v = 7*v - 938. Is o a multiple of 6?
True
Let w(i) = i - 20. Let h be w(0). Let j = h + 32. Is 4 a factor of j?
True
Does 14 divide (21 - 1)*(-12 - (-1630)/40)?
False
Is 7 a factor of -231*(3 + 26/(-6))?
True
Suppose 2*z = m - 750, -5*m + 6*m + 2*z - 762 = 0. Does 27 divide m?
True
Suppose -3*z + 3*h = -4260, -z + 971 + 424 = 4*h. Does 6 divide z?
False
Is ((-2538)/15)/(5 + 27/(-5)) a multiple of 5?
False
Let w(o) = 99*o + 118. Is 65 a factor of w(8)?
True
Suppose 0 = 3*k + 9, -2*y + 17 = -6*y - 3*k. Let x be 95 - ((-3 - y) + 3). Let l = x + -39. Does 24 divide l?
False
Let o be -64 - (2/(-2) - 1). Let m = o + 40. Let u = 41 + m. Does 12 divide u?
False
Let n(u) = -u**3 - 2*u**2 + 2*u + 17. Let d be n(0). Suppose 0 = -32*q + 33*q - d. Does 17 divide q?
True
Suppose -3*m = v - 24, -5*m + v + 44 = -4. Let i = 11 + m. Is i a multiple of 4?
True
Suppose z - 14 = 4*w, -5*z + 0*z - 6 = -w. Let k(i) = -2*i + 4. Is k(z) a multiple of 8?
True
Suppose 2*k - 3 - 3 = 0, -5*k + 3 = -3*c. Is 8 a factor of (-380)/(-12) - c/(-12)?
True
Let t = -775 + 778. Let y(s) = 2*s**2 + 1 - 2*s + s**2 + 3. Is 15 a factor of y(t)?
False
Suppose 33 = 7*j - 2. Is j a multiple of 3?
False
Suppose -32 + 12 = -4*m. Let i(g) = 5*g**2 - 7*g. Is i(m) a multiple of 26?
False
Suppose -3*o + 658 = -164. Is o a multiple of 10?
False
Let v = 124 + 138. Let z = 442 - v. Is z a multiple of 13?
False
Let g be ((-15)/4)/((-15)/100). Suppose 0 = -4*c + g - 105. Let n = c - -34. Is 12 a factor of n?
False
Let d = 16 - 3. Let o = d + -10. Suppose 6*q - o*q = 66. Does 11 divide q?
True
Let o(x) = -x**3 + 19*x**2 - 19*x + 20. Let w be o(16). Suppose 2*h + h + 4*b = w, 3*h = 4*b + 500. Is h a multiple of 41?
True
Let t = 8 + -6. Let f(o) = 16*o + 4. Does 19 divide f(t)?
False
Let m(w) = 6*w**3 + w**2 - 2*w + 4. Let u be m(2). Suppose 0*h + 2*h = 3*c - 146, -h + u = c. Does 10 divide c?
True
Let h = 8 + -4. Let i(q) = -q**2 + 6*q + 1. Let u(l) = l**2 - l. Let g(r) = h*u(r) + i(r). Is 17 a factor of g(4)?
False
Is -2 + (-1 - -2) - -1604 a multiple of 27?
False
Suppose -4*n - 8 = -6*n. Suppose -2284 = n*d + 3*t, 4*d - 3*t + 2256 = t. Is 11 a factor of (1 - 0)/((-8)/d)?
False
Let l(b) = -b**3 + 2*b**2 + 44*b + 11. Does 43 divide l(-8)?
False
Let f be (-972)/12 - (-6)/2 - 3. Let x = f - -193. Is x a multiple of 14?
True
Does 104 divide 2162 + 6/(-9)*(-30)/(-4)?
False
Let j(c) be the third derivative of -c**6/120 + 2*c**5/15 - 5*c**4/24 - c**3 - 21*c**2. Let d(m) = -m**2 + 6*m. Let u be d(5). Is 12 a factor of j(u)?
False
Suppose -u - s + 59 = 0, -2*s - 174 = -3*u - 4*s. Suppose -77 = -k + u. Does 9 divide k?
False
Let m = 33 + -11. Suppose c + 3*c - m = z, -3*c - 44 = 2*z. Is 4 a factor of 6/(-33) - 114/z?
False
Let x = 25 + -13. Let t(n) be the second derivative of n**5/20 - 13*n**4/12 + 7*n**3/3 - n**2 - 9*n + 2. Is t(x) a multiple of 11?
True
Let f(u) = -4*u + 517. Is f(45) a multiple of 10?
False
Suppose 0 = -2*h - 0*h, z - 20 = 5*h. Let g = 79 + z. Is 33 a factor of g?
True
Suppose 11*x - 20736 = -13*x. Is x a multiple of 12?
True
Let l(x) = -x**3 + 17*x**2 + 24*x + 90. Is 11 a factor of l(16)?
False
Let h = -7 - -20. Let o = -11 + h. Suppose -2*p = -5*f + o - 22, -5*f = 3*p - 80. Is p a multiple of 10?
True
Suppose -4*s + 247 = 2*o + 819, -3*s = 3*o + 423. Is 9 a factor of (-1)/3 + 1 + s/(-3)?
False
Let a(g) = g**2 - 11*g + 2. Let f be a(6). Let o be (-88)/(-6) - f/(-42). Suppose x = o + 44. Is x a multiple of 9?
False
Let g(f) = 447*f - 471. Does 84 divide g(5)?
True
Let z(n) = 2*n**2 + 16*n + 2. Let c be z(-8). Suppose -30*q = -29*q - c. Suppose q*m - 154 - 108 = 0. Is m a multiple of 31?
False
Suppose 0 = x + 16 - 18. Suppose 0 = -4*w + x*w + 78. Is w a multiple of 13?
True
Let t(c) = 24*c - 38. Is 18 a factor of t(10)?
False
Let t(s) = -s**3 + s**2 - 2*s + 762. Does 29 divide t(0)?
False
Suppose -5*v + 18 = -2*v. Suppose 24 = -v*d + 8*d. Is 12 a factor of d?
True
Suppose -4*s + 23 - 7 = 0. Suppose 0 = s*w - 340 - 60. Does 11 divide w?
False
Let i(r) be the third derivative of r**5/60 + 5*r**4/12 - 7*r**3/6 + 5*r**2. Does 16 divide i(7)?
True
Suppose -t - 40*h + 39*h = -333, 5*t - 1667 = -4*h. Is 67 a factor of t?
True
Let c(g) = 3*g + 6. Suppose 4*h - 4*f + 48 = 0, 0 = -3*h - f - 0*f - 20. Let l = -1 - h. Is c(l) a multiple of 9?
True
Let d = 54 - 55. Does 37 divide ((-8)/(-12) + d)/(1/(-267))?
False
Let i be 3 + -1 - (-3 - -3). Suppose -3*z - 24 = -3*h, 0 = -6*h + 5*h + 2*z + 10. Is 6 a factor of 0/((-2)/i) + h?
True
Suppose 62 = h + 26. Suppose -6*k = -3*k - 63. Let q = h - k. Is q a multiple of 4?
False
Let u(g) = 30*g - 124. Does 8 divide u(6)?
True
Let g = -2174 + 2365. Does 3 divide g?
False
Suppose -6*t + 140 = t. Let j(c) = c**3 - 18*c**2 - 22*c - 42. Does 29 divide j(t)?
False
Let q = 6 + -3. Let f(d) = 7*d**2 + 5*d - 2. Let w(l) = -2*l**2 - 2*l + 1. Let i(y) = -f(y) - 4*w(y). Is 9 a factor of i(q)?
False
Suppose -a + 299 = 4*d, -9 - 272 = -a + 5*d. Suppose a = -8*l + 1371. Is l a multiple of 15?
True
Suppose -78*n = -66*n - 11880. Does 18 divide n?
True
Suppose 0 = 2*w + 12 - 0. Suppose -4*t + 47 = -5*t. Does 4 divide t/w + 6/36?
True
Does 26 divide -7*(-6542)/84 - 1/6?
False
Let o = 18 + -10. Let b = 10 + o. Is 17 a factor of b?
False
Let r(a) = -87*a + 101 + 3 + 66*a. Is r(-8) a multiple of 16?
True
Let j(n) = n**3 + 5*n**2 - 5*n + 8. Let w be j(-6). Suppose 0 = -b - 3, 3*p + 4*b - 93 = w*b. Is p a multiple of 7?
False
Let d(w) = -14*w**2 - 5*w + 7. Let n