f + 66 = b. Is f a multiple of 4?
False
Let u(c) = 6*c**2 - 235*c + 231. Is 20 a factor of u(67)?
True
Let d(r) = r + 9. Let y be d(-9). Does 17 divide y + 157 - (8 - 12)?
False
Let i be (-6)/(-3)*1299/6. Suppose k = 2*k - j - 106, 0 = -4*k - 5*j + i. Suppose 2*q - q - k = 5*s, -3*q = 4*s - 416. Does 12 divide q?
True
Let g = -41 - -48. Suppose -g*h - 18 - 17 = 0. Is (12/h)/((-14)/35) a multiple of 5?
False
Suppose -75 = -22*x + 57. Suppose 0 = x*l - 1077 - 279. Is 31 a factor of l?
False
Suppose 2*k - 3*d - 6987 + 628 = 0, 0 = k - 3*d - 3181. Suppose -4*f + k = 5*v, 2*v = 6*f - 11*f + 3964. Is 23 a factor of f?
False
Suppose 15*m = -8*m - 10764. Let j = m + 1050. Is 46 a factor of j?
False
Let a(j) = 35*j**2 - 17*j + 256. Is a(13) a multiple of 33?
False
Suppose 10*l = 11*l - 3. Is 12 a factor of l/(-1) - (-1040 + 5)?
True
Suppose -6662 = -s + 4*k, -5*k + 8460 = 3*s - 11628. Is s a multiple of 167?
False
Let r be 2*(3 + -5)*(-4777)/34. Suppose r*h = 567*h - 885. Is 11 a factor of h?
False
Let t be -1*(-4 + 5) + 1. Suppose 33 = 3*f - t*f - 5*s, -2*f + 4*s = -24. Suppose 9*k - f*k = 195. Is 21 a factor of k?
False
Let w = 15 - 37. Let x(d) = -d**3 - 23*d**2 - 26*d + 15. Let b be x(w). Let l = -59 + b. Is 22 a factor of l?
True
Let i(k) = -45*k + 31. Let f be i(4). Let c = f - -299. Suppose 2*n + 764 = 5*m, -m + n - c = -2*m. Does 17 divide m?
False
Let x(n) = n**3 - 6*n**2 + 5*n + 5. Let l be x(5). Suppose 3 = -r, 915 = 2*o + o - l*r. Suppose 0 = 4*u - 9*u + o. Is 12 a factor of u?
True
Suppose 5*t - 1893 = 552. Suppose g - 4*k = -204, -4*g - 3*k - 251 = t. Let s = -104 - g. Does 14 divide s?
True
Let i(r) be the third derivative of -r**6/120 + 7*r**5/60 + 13*r**4/24 - r**3/2 + 130*r**2. Is i(8) even?
False
Suppose -3*g + 3 = 0, 0 = 4*u - 3*g - g - 16. Suppose -3*s + 230 = -u*s. Let m = s + 181. Is m a multiple of 23?
False
Suppose 16*r + 75 = -325. Let b be -2 - (-3 - (66 + 2)). Let k = b + r. Is k a multiple of 11?
True
Let f(c) = 53*c - 1249. Let h(a) = -17*a + 417. Let w(m) = -3*f(m) - 8*h(m). Is 10 a factor of w(8)?
False
Let y(i) = 2*i**3 - 25*i**2 + 16*i - 8. Let r be y(15). Suppose -56*g + 3795 + r = 0. Is 3 a factor of g?
False
Let x(b) = 3*b**3 - 65*b**2 + 90*b - 97. Does 20 divide x(25)?
False
Suppose 4*y = -2*n + 28248, 4*n + 5*y - 56526 = 2*y. Is n a multiple of 186?
True
Suppose -6 = -2*n, 5*j = -0*n - 3*n - 41. Let a be -5*4/j - -1. Suppose 330 = 6*u - a*u. Does 24 divide u?
False
Is 1 - (20475/(-9) + (3 - 10)) a multiple of 45?
False
Let h be 2 - (-5 + 1 + 6). Suppose h = 13*y - 14*y + 94. Does 33 divide y?
False
Let x = 379 - 376. Suppose 4*o - 73 = -x*t, t - o - 12 = 10. Is 18 a factor of t?
False
Is (-1545066)/(-702) - (-2)/39 a multiple of 71?
True
Let j be 2 - 5 - (8 - 16). Suppose 243 = 6*u - j*u + 2*g, 0 = -g - 2. Is 7 a factor of u?
False
Let u(j) = -9*j + 3. Let k = -24 + 23. Let x be u(k). Is 21/(-1 - (-21)/x)*1 a multiple of 7?
True
Let c be 4 + (5 + 56/(-12))*18. Let m(i) = 2*i**3 - 9*i**2 - 43*i + 1. Does 52 divide m(c)?
False
Suppose -185*h - 7090608 = -326*h. Is h a multiple of 112?
True
Suppose -5*i - 14 = -54. Suppose 5*t = i - 83. Let g = t - -58. Does 11 divide g?
False
Let l(u) be the third derivative of -u**5/4 - 5*u**4/6 - 7*u**3/2 + 33*u**2. Let r(k) be the first derivative of l(k). Is 50 a factor of r(-9)?
True
Let s = 1210 + 16324. Is s a multiple of 19?
False
Suppose 2392 = 13*r + 585. Is (10/60 - 1/6) + r a multiple of 10?
False
Let m(y) = -5*y - 11. Let i be m(5). Let f be 8/i - 2127/27. Let x = -64 - f. Is x a multiple of 3?
True
Suppose 0 = 79*l - 39709 - 21437. Does 86 divide l?
True
Let y be -24*(8/(-40))/(6/20). Let r = y + 348. Is 14 a factor of r?
True
Let j(k) = -47*k**2 + 7*k + 3. Let t be j(-2). Let n = 13 - t. Does 8 divide n?
False
Let v(k) = -12 + 39*k - 17*k - 3*k**3 + 2*k**3 - 7*k**2. Let s be (-55)/(-385) - (-213)/(-21). Does 17 divide v(s)?
True
Let v = -45 - -49. Suppose v*c - 3 = 5. Suppose c*s + s - 119 = -2*b, 201 = 3*b - 3*s. Does 16 divide b?
True
Let n = -1555 - -3075. Let r = n - 1058. Is r a multiple of 14?
True
Suppose -d = 6*d + 4*d. Suppose d = -50*g + 21367 + 4533. Does 7 divide g?
True
Let y = -10495 + 30596. Does 9 divide y?
False
Does 16 divide (192/14)/(1818/271488)?
True
Let j(f) = 1. Let i(b) = -b + 4. Let g(c) = i(c) - 2*j(c). Let m be g(5). Let a(l) = 19*l**2 - l - 2. Is 14 a factor of a(m)?
False
Suppose 5*r + 2*f = 32640, -14*r = -15*r + 2*f + 6528. Is r a multiple of 17?
True
Let x = 866 + 6590. Is 32 a factor of x?
True
Let r = -17055 - -35931. Is r a multiple of 32?
False
Suppose 0*q + 5*q = -25. Is 3 a factor of 23 + ((1 + 4)/q - 4)?
True
Let d = -219 + 221. Does 7 divide ((-84)/(-210))/(d/140)?
True
Let r = 2 + 9. Suppose 0 = r*f - 8*f - 270. Let b = f + 8. Is 10 a factor of b?
False
Let w(o) = 3*o + 10. Let g be w(-1). Is 9 a factor of g/((-28)/(-20)) - -180?
False
Suppose n - 486 = 4*y + 3311, -15232 = -4*n + 5*y. Is n a multiple of 24?
False
Let o = -150 - -148. Is 9 a factor of o/6 - 1708/(-21)?
True
Suppose 3*u - 4497 = -s, -10*u - 5*s + 3011 = -8*u. Is u a multiple of 27?
False
Let s(b) = 3*b**3 - 80*b**2 + 28*b + 165. Does 10 divide s(36)?
False
Let n be -6 - 439 - 21/3. Let m = 669 + n. Is m a multiple of 26?
False
Let z(r) = 17*r**3 - r**2 + 18*r - 18. Let g be z(1). Let n(i) = 5*i**2 + 16*i + 19. Does 13 divide n(g)?
False
Suppose -p + 1850 + 1322 = 3*u, 4*u + 4*p - 4224 = 0. Does 2 divide u?
True
Let w = -10593 - -13406. Is 91 a factor of w?
False
Let g(j) = j**3 - 6*j**2 + 4*j - 9. Let w be g(6). Suppose -y = -3*v - 1633, -2*v + 0*y - 1112 = 4*y. Is (v/w)/(-2 - (-18)/10) a multiple of 47?
False
Let w(f) = -f**2 - 18*f - 26. Let t be w(-16). Suppose -p - t - 8 = 3*h, 8 = -2*h. Is 11 a factor of (7/p)/(1/(-14))?
False
Let y = -21 + 25. Suppose -60 = -y*o - 0. Let l = -2 + o. Does 7 divide l?
False
Let g = -264 + 343. Suppose r + 5*f = g, -f + 195 - 28 = 2*r. Is r a multiple of 7?
True
Suppose -11*g + 2*g - 1080 = 0. Let v = g - -122. Suppose -5*q = -10, -s + q - 15 = -v*s. Is 13 a factor of s?
True
Let r(d) = 2*d**3 + 2*d**2 - 3*d - 2. Let p be r(-2). Let l be (1*-1)/((-2)/p) + 4. Suppose l*x = -2*t + 28, 0 = -x - t + 3*t - 1. Is x a multiple of 3?
True
Let k = 10860 - 7543. Does 92 divide k?
False
Let n = 32 - 28. Suppose 3*d - n*k = -4, 5*d - 7*k + 4 = -3*k. Suppose 3*f - 269 = -d*f + 4*z, 0 = -2*f - z + 172. Does 40 divide f?
False
Suppose o - 3*p = 720 + 2594, 0 = 3*o + p - 9932. Is 7 a factor of o?
True
Is ((-71)/(-23) + 46/(-529))/((-1)/(-1823)) a multiple of 10?
False
Let g be ((-1107)/(-6))/((-8)/(-7 - -23)). Let c = g + 392. Does 4 divide c?
False
Let c be (4 - (-39837)/(-14))*-2. Suppose 21*n - c = 491. Is n a multiple of 24?
False
Suppose 0 = -2*a + 5*l + 10574, 4*a - 5*l + 4*l - 21166 = 0. Suppose -10*h + a = 2*h. Suppose 0 = 5*v + 3*k - h, 2*k = -2*v + 4*k + 186. Is 15 a factor of v?
True
Let r be (15/(-6))/((-2)/4) + -2. Let k(v) = v**2 + 3*v + 9. Let m be k(-6). Suppose m = o - r. Does 10 divide o?
True
Let w(c) = -c**2 + 38*c + 27. Let t be w(30). Is (t - 48)/((-6)/(-4)) a multiple of 27?
False
Let n(f) = 2*f**2 + 4*f - 11. Let c(z) = 3*z**2 - 6*z + 2. Let i(r) = 10*r**2 - 17*r + 5. Let o(p) = 7*c(p) - 2*i(p). Let k be o(6). Is 15 a factor of n(k)?
False
Let v be (-30)/12 - 9/6. Let r be ((-15)/v)/(3/(-8) - 0). Let q = 41 + r. Does 31 divide q?
True
Suppose 5*q - 177 = 68. Suppose b + q = 87. Is 4 a factor of b?
False
Suppose 3*r + c - 8 = -0*c, r - 5*c + 8 = 0. Let d be 2/((r/36)/((-15)/9)). Let f = d - -76. Is 8 a factor of f?
True
Let p = -841 - -29052. Is 43 a factor of p?
False
Let m(w) = -w**3 - 11*w**2 - 22*w + 18. Let t be m(-8). Suppose -10 = -4*v + 2*v, t*v + 138 = 4*o. Is o a multiple of 3?
False
Let f(z) = 8*z**2 + 4*z + 6. Let n be f(-5). Suppose 2*s + 5*a - 132 = 222, -3*s + 531 = -9*a. Suppose s - n = -p. Is p a multiple of 2?
False
Let o = -13 + 18. Suppose -104 = o*s + 11. Let x = -16 - s. Is x even?
False
Is 138 a factor of (-3394)/(-11 - 5 - -14)?
False
Let d(u) be the second derivative of -u**4/12 + 9*u**3 + 44*u**2 - 133*u. Does 13 divide d(40)?
False
Is 38 a factor of (714/(-63))/34*-21774?
True
Suppose -3*y + 3*i + 27991 = 8287, -i = 5*y - 32828. Is y a multiple of 67?
True
Is (7/(-3))/((-2572)/(-234) - 