 486. Is 27 a factor of a?
True
Suppose 5*g - 1134 - 2986 = 0. Suppose 4*b = -5*s + g, 0*s + 2*s = 3*b + 348. Is 11 a factor of s?
False
Suppose 2*i - 97 + 351 = 0. Let j = i + 195. Does 6 divide j?
False
Let c = 858 + -297. Is c a multiple of 11?
True
Let f = -40 + 35. Is 105 - f/(10/6) a multiple of 27?
True
Suppose -10*c + 3955 + 1545 = 0. Is 40 a factor of c?
False
Let c(l) = -6*l + 3 - 2*l + 25. Is c(-12) a multiple of 27?
False
Let g = -132 + 267. Is g a multiple of 13?
False
Let a = 14 - 15. Is 362/(-4)*(a - 1) a multiple of 25?
False
Let o be -3*(-32)/3 - -2. Does 15 divide o*((-13)/(-2) + -4)?
False
Suppose -12 = -z - 3*z. Suppose z*o - 19 = 4*s, 2*s + 6 = -4*o + 46. Is 2 a factor of o?
False
Is (-184)/(-20) - 11/55 even?
False
Suppose -3*v = -2*v - 3. Suppose v*m - l + 2*l = 11, -3*l + 21 = 3*m. Suppose -4*h = 4*k - h - 267, -128 = -m*k + 4*h. Does 22 divide k?
True
Does 10 divide (-1829)/(-3) + 5*3/45?
True
Suppose 0 = -3*m + 370 + 44. Does 3 divide m?
True
Is 3 a factor of (-9 - (-5 - 0)) + 32?
False
Suppose -1799 + 6608 = 7*g. Is g a multiple of 17?
False
Let w be (13 - 14)/((-2)/4). Suppose -5*q + 3*b + 12 = 0, 2*q + b - 13 = -w*q. Is q a multiple of 2?
False
Let r be 4/2*(-105)/30. Let d = r - -6. Let x = 18 + d. Does 15 divide x?
False
Let r = -70 - -192. Suppose o + r = s - 55, -5*o - 342 = -2*s. Is 38 a factor of s?
False
Suppose -2*g = 2*g + 8. Let a be 4*g/(-4) - -1. Suppose -3*q - a*s + 93 = 0, 2*s = 2*q - 88 + 6. Is q a multiple of 13?
False
Let s be (52/8)/13 + (-590)/4. Does 8 divide (s/63)/((-2)/78)?
False
Is 21 a factor of 11/(-66) - (-1891)/6?
True
Let p be -12*6*(-4)/3. Suppose 0 = 24*a - 20*a - p. Suppose -3*h = 4*n - 92 + a, -28 = -h + 4*n. Does 5 divide h?
False
Let l(s) = 2*s - 1. Let x be l(-2). Let b(u) = u**3 + 11*u**2 + 8*u + 13. Let g be b(-10). Let d = x + g. Is d a multiple of 8?
False
Suppose 0 = 4*a - 3*r - 6119, 0 = 4*a - 6*r + 8*r - 6094. Is 88 a factor of a?
False
Let l = 12 + -12. Suppose -z + 24 + 41 = l. Does 13 divide z?
True
Suppose 4*z = 4, -5*z = -h - 6 - 6. Let d(l) = l**3 + 13*l**2 + 10*l + 52. Is d(h) a multiple of 16?
False
Let q be 48/60 - (-4)/(-5). Suppose 4*c + f - 36 = q, c - 5*f + 2*f - 9 = 0. Does 3 divide c?
True
Let j = 62 - -218. Is j a multiple of 10?
True
Let u(r) = -8*r - 4*r**2 + r**2 + 5 + 4*r**2. Let v(a) = -a**3 - 2*a**2 - 2*a - 5. Let h be v(-3). Does 5 divide u(h)?
True
Suppose r + 2*r - 36 = 0. Suppose -4 = -3*t - 4*i, 0 = -2*i - 0 - 4. Suppose -g = -2*l + 104, -2*g + t = r. Is 13 a factor of l?
False
Suppose -760 + 190 = 5*l. Let z = l - -200. Is z a multiple of 14?
False
Suppose 3*s - 2196 + 5611 = 2*i, 2*s = 6. Is 16 a factor of i?
True
Let m = 510 + -286. Suppose -3*j - m = -j. Let v = j + 187. Does 25 divide v?
True
Let k(j) = j**3 - 10*j**2 + 8*j + 11. Let d be k(9). Suppose -d*v = 3*v - 20. Is 2 a factor of v?
True
Let a = 41 + -23. Suppose -18 = -20*h + a*h. Does 6 divide h?
False
Let w = 75 - 75. Suppose -q + 4 = w, -5*x + q + 609 = -3*q. Does 21 divide x?
False
Let v = -2265 - -4497. Does 12 divide v?
True
Let r(i) = i - 6. Let b be r(11). Suppose 2*v + 235 = -b*f, 0 = -0*f + 5*f - 5*v + 270. Let q = 85 + f. Is 12 a factor of q?
True
Let n = 1600 + -1564. Does 9 divide n?
True
Let l be ((-308)/21)/((-2)/6). Let d(r) = -r**3 + 9*r**2 + 7*r + 6. Let g be d(8). Let u = g - l. Is 13 a factor of u?
False
Let f(y) = y - 14. Let b be f(5). Is (-249)/b + (-6)/9 a multiple of 6?
False
Let s(y) = -y**3 + 33*y**2 - 31*y + 293. Does 19 divide s(31)?
True
Suppose 0 = -3*m - 29 + 29. Suppose m*n - 3*n = 4*q - 90, -5*q = 0. Does 13 divide n?
False
Suppose 5*y = 3*u - 5, u - 4*y - 36 = 5*u. Let r = u - -63. Is r a multiple of 29?
True
Let h(o) = 102*o + 238. Is h(12) a multiple of 43?
True
Let o = -130 + 400. Does 15 divide o?
True
Let k = -3 + -7. Let h(v) = v**2 + 11*v + 12. Let p be h(k). Suppose 122 = 2*q + 4*x, -3*q + 71 = -p*q + 4*x. Is 14 a factor of q?
False
Is 35 a factor of 35/175 - 749/(-5)?
False
Let n = 15 - 10. Suppose 16 = n*h - 19. Let y(t) = 2*t**2 - 11*t + 5. Does 13 divide y(h)?
True
Let r = 14 + -8. Suppose p - r = 5. Suppose -12*d = -p*d - 126. Does 16 divide d?
False
Let p = -1030 + 1220. Is 3 a factor of p?
False
Let h = -250 - -655. Is 15 a factor of h?
True
Let u(a) = -74*a + 15 + 3 + 7 + 88*a + a**3 + 16*a**2. Does 10 divide u(-15)?
True
Suppose -4*x + 33 = -39. Suppose -16 = -x*u + 14*u. Is 2 a factor of u?
True
Let v = 112 - 78. Is (-278)/(-5) + (-3 - v/(-10)) a multiple of 7?
True
Does 33 divide (-3)/(-15) - (-6220)/25?
False
Let a = 94 - 73. Suppose 5 = 5*p, p - 100 - a = -5*m. Is m a multiple of 4?
True
Let h be (1 + -5)/(-3 - 10/(-4)). Let d = 34 - h. Is 15 a factor of d?
False
Suppose 11*r - 14*r - 117 = 0. Let h = -33 - r. Is 3 a factor of h?
True
Suppose -4*x + 174 + 94 = 0. Is 7 a factor of x?
False
Let h = -31 - -36. Does 15 divide (0 - (-31 - -4))*h?
True
Suppose 6*s = s - 85. Let m be (-8)/(-20) - 51/15 - -29. Let o = s + m. Is 3 a factor of o?
True
Let k(x) = -x**2 + 3. Let l(d) = 4. Let n(c) = 3*k(c) - 4*l(c). Let a(s) be the first derivative of n(s). Does 4 divide a(-2)?
True
Let h = 177 + -133. Is 9 a factor of h?
False
Suppose -3*p + 11 + 10 = 0. Suppose -8 = -5*v + p. Suppose 13 + 2 = 3*k, v*k + 3 = 2*u. Does 3 divide u?
True
Let p(d) = 3*d**2 + 15*d + 14. Is p(-6) a multiple of 15?
False
Let o = -30 + 61. Suppose 0*n + n = o. Is 5 a factor of n?
False
Let r be 4170/42 - (-2)/(-7). Suppose -3*v = l - 8*v - 27, -2*l + v = -r. Is 13 a factor of l?
True
Let y(f) = -f**3 + 9*f**2. Let u be y(9). Let o = 57 + u. Is 19 a factor of o?
True
Let y(i) be the second derivative of 5*i**3/3 + 3*i**2/2 + i. Does 17 divide y(9)?
False
Let a be 15*(5/3 + -1). Let g be (4/a)/(1/15). Let d(h) = h**3 - 6*h**2 + 7*h - 6. Is 12 a factor of d(g)?
True
Let r(k) = -k**3 - 2*k**2 - 11*k - 6. Is 15 a factor of r(-6)?
False
Suppose 73*w - 72*w = 38. Is 19 a factor of w?
True
Let y = 77 - 172. Let o = -47 - y. Is 16 a factor of o?
True
Suppose 0 = -192*i + 182*i + 4760. Is i a multiple of 17?
True
Let p = -74 + 197. Is p a multiple of 20?
False
Let p be 10/35 - 2/(-14)*1146. Let v = p - 115. Is v a multiple of 5?
False
Suppose 3*u - m + 97 = 0, -3*u + 4*u + 23 = 5*m. Let j be ((-2)/(-1))/(6/u). Let a = j + 25. Does 13 divide a?
False
Let s(m) = -1 - 4*m**2 + m**3 - 6 + 1 - 7*m. Is 3 a factor of s(6)?
True
Let j(l) = l**3 + 3*l**2 - 4*l. Let d(x) = x**2 + 8*x - 18. Let u be d(2). Is j(u) a multiple of 6?
True
Suppose 4*t - 3*w + 1 = 2*t, 4*t = w + 3. Let l be (-1040)/8 - (t - 3). Let d = -87 - l. Does 12 divide d?
False
Does 37 divide 1/(-12*2/(-27528))?
True
Let g = 10 + -9. Let f be (-3 - g)/2 - -4. Suppose -m + 0*r = 2*r - 57, f*m = 3*r + 135. Is m a multiple of 21?
True
Is (-2)/9 - 49932/(-162) a multiple of 7?
True
Is 22 a factor of 51/(-510) - 661/(-10)?
True
Let c(n) = 4*n - 17. Let g be c(5). Suppose 39 = g*a - 102. Is 8 a factor of a?
False
Suppose 997 = -11*u + 8576. Does 13 divide u?
True
Suppose -2*k - 277760 = -82*k. Does 29 divide k?
False
Suppose 0 = 49*n + 23*n - 113184. Is 12 a factor of n?
True
Let y(k) be the second derivative of -k**4/12 - k**3/3 + 24*k**2 + 10*k. Is y(0) a multiple of 6?
True
Suppose -591 = -16*w + 3889. Is 4 a factor of w?
True
Suppose 5*p + 3*t - 5 + 2 = 0, 5*p - 3*t - 27 = 0. Suppose -2*j - 2*j - 2*b = -120, 2*j + 5*b = 52. Suppose -p*y - 10 = -j. Is 2 a factor of y?
False
Suppose 4*w + 4*q - 4200 = 0, 4*w - 5011 = 5*q - 838. Does 54 divide w?
False
Suppose -8*y + 11 = -21. Suppose y*w - 93 = 19. Does 7 divide w?
True
Let d = 130 + -208. Let o = -62 - d. Does 4 divide o?
True
Is (-1278 + 0)*(-18)/36 a multiple of 3?
True
Let z(b) = b**2 - 9*b - 5. Let f be z(10). Suppose -5*w + 3*v + 7 = 0, w + f*v - 1 = 6. Suppose -12 = -w*n + 4*c + 12, -2*c = n - 20. Is n a multiple of 8?
True
Is 7*(2 + 12)*7 a multiple of 32?
False
Suppose -d + 210 = 2*d. Let c = -468 + 419. Let v = c + d. Is v a multiple of 6?
False
Suppose 0 = -67*o + 54*o + 27391. Does 43 divide o?
True
Let l(m) = 2*m**2 - 46*m + 540. Is l(41) a multiple of 126?
True
Suppose 3*z - 108 = 897. Is z a multiple of 24?
False
Let a(w) = 5*w + 13. Let s(g) = -3*g + 5*g + 2*g - 5*g. Let u(z) = -a(z) - s(z). Is 15 a factor of u(-9)?
False
Let f = -188 - -505. Does 13 