f = 67 - a. Does 21 divide f?
False
Suppose 0 = -78*h + 2009247 + 2353398 - 986025. Is h a multiple of 31?
False
Suppose -3*s + 32591 - 10891 = 4*q, -q = -2*s + 14474. Is 9 a factor of s?
True
Let u(i) = 58*i**3 + 5*i**2 - 83*i + 61. Does 29 divide u(6)?
False
Suppose -5*i = -4*s + 22, 21 = 5*s - 0*i - 3*i. Is 3 + (-1 - -2) + 1 + s a multiple of 5?
False
Suppose -20*v + 14*v = -30. Suppose v*i - 3*u = -4*u + 4728, 0 = -3*i - 4*u + 2830. Is 11 a factor of i?
True
Suppose -65 = 3*u + 28. Let l be 6/3*u/(-2) - 3. Suppose -7 = -c + l. Does 4 divide c?
False
Let z = -52 - -71. Suppose z - 53 = -17*x. Suppose 2457 = 5*w + x*w. Does 27 divide w?
True
Let l = -1192 + 326. Let d = 1257 + l. Is d a multiple of 32?
False
Suppose -q - 4*c = -6*q + 953, 3*c + 6 = 0. Let s be (-986)/8 + (-1)/(-4). Let n = q + s. Is n a multiple of 26?
False
Suppose 4 + 1 = 5*j. Let b(k) = 0 + 463*k - 395*k - 4. Does 16 divide b(j)?
True
Let f(b) = -2*b + 6. Let w be f(-4). Suppose -10*s + w*s - 4 = 0. Is 4 a factor of (4 + 0 + 9)*s?
False
Let f(v) = 93*v**2 + 1770*v + 44. Does 12 divide f(-21)?
False
Let i(y) = 112*y - 38 - 35*y - 58*y. Is 20 a factor of i(22)?
True
Let a(q) = -3*q + 16. Let i be a(3). Suppose 0 = 4*r + c - 2*c - i, r + 3*c = 18. Suppose r*t + t - 248 = 4*w, 2*t + 3*w = 144. Is 12 a factor of t?
False
Suppose -4*w + 4*i - 2828 = 0, 11*w = 16*w + i + 3505. Let m = -592 - w. Is m a multiple of 8?
False
Let x be 72/(-16)*(0 - -2). Let d = 27 - x. Is ((-39)/9)/((-1)/d) a multiple of 39?
True
Suppose -6*w = -38*w + 72*w - 314960. Is w a multiple of 15?
False
Is (-94)/6*(-21 - (227 - -43)) a multiple of 47?
True
Suppose 119*d - 510935 = -196775. Is d a multiple of 66?
True
Let b be (0 + -4)*6/4. Let c(x) be the third derivative of 5*x**4/24 + 47*x**3/6 - 26*x**2 + 5. Is 3 a factor of c(b)?
False
Suppose g - 2*g = 1. Let j(w) = -75*w - 5. Let x be j(g). Let o = x - -98. Does 24 divide o?
True
Let k = 2424 + -1090. Does 46 divide k?
True
Suppose 3*w + 40720 = 31*w - 131480. Does 19 divide w?
False
Suppose -60890 + 55887 - 78397 = -100*j. Is j a multiple of 6?
True
Suppose 8485 + 2041 = 31*x - 36098. Does 94 divide x?
True
Let g = 9 + -5. Suppose 3*x = -2*z + 88, x - z = g*x - 83. Suppose x = l - 22. Is 16 a factor of l?
True
Suppose 0*g - 6606 = -4*w - 6*g, 0 = -w + 5*g + 1645. Is 11 a factor of w?
True
Let h(c) be the second derivative of 69/2*c**2 + 1/12*c**4 - 1/3*c**3 + 5*c + 0. Is 23 a factor of h(0)?
True
Suppose 0 = -4*r + k + 166895, -50*r = -54*r - 5*k + 166901. Is 61 a factor of r?
True
Let f(u) = 5*u + 21. Let c = -194 + 216. Does 6 divide f(c)?
False
Suppose -19963 = -13*c + 254883. Does 62 divide c?
True
Let s = 1924 - 3127. Let v be (-2)/(-10) - s/15*-1. Does 16 divide 0 - -2 - 0 - v?
False
Let x = -4985 - -21821. Is x a multiple of 6?
True
Let d(k) = -k**3 + 11*k**2 - 8*k - 14. Let r be d(10). Suppose -2*b + 12 = 4*j, 2*j - 2*b = 3*b + r. Let x(z) = 9*z**3 - 2*z + 9. Is x(j) a multiple of 41?
True
Let u be (2*-1)/((-5)/10). Suppose -4 = 8*t - u*t. Does 27 divide (0 + 2 - t)/((-5)/(-315))?
True
Suppose 3*z + 0*z = 12. Let c be (z/(-4))/(3/(-450)). Suppose 0 = 18*m - 24*m + c. Is m a multiple of 25?
True
Suppose -21*d - 105573 = 23*d - 83*d. Is d a multiple of 51?
False
Let o = 407 - 1104. Let a = -435 - o. Let m = a - 166. Does 8 divide m?
True
Suppose 4*g - t + 15 = 0, 2*g + 4*t - 12 + 42 = 0. Let m(c) = -3*c**3 - 6*c**2 - 4*c - 5. Does 24 divide m(g)?
True
Let j(s) = 14*s + 5*s + 6*s - 3. Let h be j(1). Does 32 divide (21 + -17)/(1/h)?
False
Let c(b) = -22*b - 242. Let h be c(-19). Let q = 535 - h. Is 25 a factor of q?
False
Let f(t) = -11*t**3 + 9*t**2 - 6*t + 10. Let g be 70/(-14) + 3*3. Let a(y) = 11*y**3 - 8*y**2 + 6*y - 10. Let z(b) = g*f(b) + 5*a(b). Does 30 divide z(3)?
False
Let v be (-1)/(-2)*(0 + 0) - -3. Suppose 0*l = 2*l + v*r - 331, -2*l = -r - 319. Is 7 a factor of l?
True
Suppose 31*a - 46 = 27*a + 2*b, -2*a + 29 = -3*b. Let h = a + 382. Is h a multiple of 49?
True
Let g(q) = -31*q + 92. Let j be g(4). Is (-1140)/(-1)*j/(-80) a multiple of 19?
True
Suppose i = -5*y + 168769, -2*y - 2*i + 80450 - 12936 = 0. Does 284 divide y?
False
Let h(z) = z**2 + 3*z - 13. Suppose -91 = 14*w - 7. Let u be h(w). Suppose 4*y + i = 179, 0 = 4*y - 3*y + u*i - 40. Does 9 divide y?
True
Let w(z) = -6*z - 6 + z**2 + 5*z - 2*z - 5*z + z**2. Suppose -4*b = -b - 18. Is w(b) a multiple of 6?
True
Let s(x) = 3*x**3 + 4*x**2 - x - 21. Let m(a) = 7*a**3 + 9*a**2 - 2*a - 42. Let q(f) = -4*m(f) + 9*s(f). Let w be q(0). Let n = w - -31. Does 10 divide n?
True
Let z = -1330 - -2052. Is 15 a factor of z - (-5 + 11) - -3?
False
Let f = 62 - 62. Does 9 divide 54 + f - (-3 - (7 - 8))?
False
Suppose 3*y - m = 4, 2*y = 5*m - 0*m - 6. Suppose 1246 = 12*z + y*z. Does 20 divide z?
False
Let k(h) = 454*h - 1931. Is k(13) a multiple of 19?
True
Let h be -2*(-2)/(((-96)/2874)/(-4)). Suppose -i + h = -m, 4*m + 114 = -2*i + 1072. Does 39 divide i?
False
Let g(m) = m - 1 + 6*m**2 + 3*m - 1 - m**3 + 4*m. Let a be g(7). Suppose -a*q = -106 - 19. Does 10 divide q?
False
Does 28 divide (1529/2 - (0 + -10))*6?
False
Suppose 0 = 5*c + 3*w - 225, -3*c = -c + 3*w - 81. Suppose -4*h + 0*h = -c. Is ((-54)/h)/(1*(-3)/78) a multiple of 23?
False
Suppose -115*p + 12*p = 17*p - 1209600. Is 144 a factor of p?
True
Let o = -11053 + 32401. Is o a multiple of 93?
False
Let r(g) = 27*g**2 - 110*g + 870. Does 13 divide r(9)?
True
Let s(c) = 3*c - 2. Let i be s(2). Suppose 3*m = 5*l + i*m - 88, 0 = 3*l + 4*m - 46. Let j = l + 174. Is 48 a factor of j?
True
Let s(u) = -12*u - 17. Let m be s(-5). Suppose 0 = 9*b - m - 92. Suppose 2*p - 3*g = b + 45, 2*g = 0. Is p a multiple of 6?
True
Let a(m) = 17*m - 367. Does 20 divide a(82)?
False
Suppose -2*c - 5*d = -8*d - 3, -5*c = 2*d - 36. Suppose c*v = -587 + 1775. Is v a multiple of 67?
False
Let k(x) be the first derivative of 2*x**3/3 + 11*x**2/2 + 6*x - 20. Let g be k(-5). Is 15 a factor of g*35 + -4 + 25/5?
False
Let l(u) = -630*u - 720. Is 10 a factor of l(-5)?
True
Is 68 a factor of 2*1*(-19)/((-304)/(-56)) - -15844?
False
Suppose -5*r - 14 = n - 2*r, n + r = -4. Is 15 a factor of (n/((-4)/225))/((-9)/24)?
True
Let b be 3/8 + (-53)/(-8). Let j(r) = -2*r - 1195. Let a be j(0). Is 2/7 - a/b a multiple of 19?
True
Let n(w) = 2*w**2 - 42*w + 5. Let m be n(21). Suppose -m*z - k + 31 = 0, -5 = 5*k - 10. Suppose -500 = -10*u + z*u. Does 36 divide u?
False
Let o(f) = -f**3 - 5*f - 6. Let p be o(-2). Let q be (-4)/p*-4*12/8. Suppose 0 = -5*r, -q*z + z + 4*r = -50. Is 25 a factor of z?
True
Let z = -18 + 286. Suppose 0*t + 4*d = 3*t - z, -3*t + d = -283. Does 12 divide t?
True
Suppose -5*j + 18 = 3*k, 3*k = -7*j + 6*j + 6. Suppose -5*y = -j*v + 179, y = 2*v + v - 199. Is v a multiple of 10?
False
Let k(g) = -112*g + 6. Let o = -305 - -302. Is k(o) a multiple of 19?
True
Suppose 24102 = 3*l - 3*s, 42*s - 44*s + 6 = 0. Is 14 a factor of l?
False
Suppose -12*f - 19*f - 33*f + 768960 = 0. Is 45 a factor of f?
True
Let h = -115 + 97. Is (3 - h/(0 - -1))*5 a multiple of 5?
True
Is 6 a factor of ((-3)/3)/(5 - (-2596)/(-517))?
False
Suppose 8*u - 13334 - 39418 = 0. Suppose 30954 = 2*l - 5*b - u, -5*l - b = -93870. Is 13 a factor of -2 - ((-2)/9 + l/(-81))?
False
Suppose -3*r = -3*d + 2263 - 364, 16 = -4*r. Is d a multiple of 37?
True
Suppose 9362 = 2*i + j, 11*i - 4690 = 10*i - 5*j. Does 30 divide i?
True
Suppose -81*u + 4*p - 8 = -83*u, 0 = u + 3*p. Let m(w) = -2*w**2 + 39*w - 14. Does 10 divide m(u)?
False
Let o(q) = -2916*q - 9260. Is 15 a factor of o(-9)?
False
Suppose 32*q = 34*q + 4, -3*q = -5*x - 97264. Is (-1)/(-8) + (2 - x/16) a multiple of 14?
True
Let m = -555 - -560. Suppose -4*b - 1038 = -m*d - 6*b, -d - 5*b + 203 = 0. Is 14 a factor of d?
False
Let n(k) = 3*k**2 + 38*k + 13. Let l be n(-12). Let q = 65 + l. Does 15 divide q?
False
Let p = -26819 - -28964. Does 5 divide p?
True
Suppose -4165287 = -37*r - 79*r - 605247. Does 45 divide r?
True
Let t(b) = -b**3 + 11*b**2 + 14*b + 22. Let x be t(12). Suppose -1555 = -51*v + x*v. Does 28 divide v?
False
Let g(c) = c**2 + 23*c + 25. Let h be g(-20). Let n be 3/(-5) - 1526/h. Let w = n + 13. Does 8 divide w?
True
Let t be 322/(-77) - -4 - (-24)/11. Suppose t*z - 3*z - 4*o + 29 = 0, 20 = 5*z - 5*o. Is 2 a factor