es 10 divide 70857/18 + (-21)/(-6)?
True
Let q = -665 - -652. Is 6 a factor of (q/(-26))/(5/4690)?
False
Let j(n) be the third derivative of -1/6*n**3 + 0 + 25/24*n**4 + 13*n**2 + 0*n. Is j(1) a multiple of 12?
True
Suppose 2*z = -2*f - 8, 4*f - z - 1 = 6*f. Suppose -3 = -2*u - u. Is (f - 51/5)/(u/(-10)) a multiple of 36?
True
Let x be (68/(-16))/((-2)/48). Suppose -737 = -4*v - 3*h + x, 0 = -v + 4*h + 205. Is v a multiple of 11?
True
Let o(l) = -2*l**3 - 6*l**2 - 11*l - 12. Let s(w) = w**2 - 26*w + 99. Let m be s(21). Is 27 a factor of o(m)?
True
Let v be (0 + (3 - 6))/(3/(-4898)). Does 8 divide (v/155)/(4/10)?
False
Suppose 3*m = -0*n + 3*n - 312, -5*n - 452 = 4*m. Let t = m + -48. Let k = t - -225. Is 15 a factor of k?
False
Let h be (9 - 0 - 2) + -5. Is (-8)/(64/24) + 186 + h a multiple of 26?
False
Suppose 0 = 2*t - c - 2, 4*c = 2*t - c + 14. Suppose -o = -0*v - 5*v + 10, -t*v + 6 = 2*o. Suppose o = -2*s + 3*s - 56. Is 14 a factor of s?
True
Let t be 5 + (-5)/((-35)/(-56)). Does 22 divide (-1054)/t - 72/(-108)?
True
Let s be ((-12)/(-6) - 2)*2/4. Suppose 0 = 10*j - s*j - 80. Is -3 + (-2 + j - -3) a multiple of 3?
True
Let b = -32889 - -59450. Suppose 37*p = -1771 + b. Is p a multiple of 18?
False
Let k = -92 - -89. Does 28 divide 48/1 + k + (-3)/1?
False
Suppose -26270 = 982*o - 987*o. Is o a multiple of 74?
True
Suppose 4*s = -3*a + 11948, 0 = 4*s + 4*a + 3488 - 15436. Does 18 divide s?
False
Suppose -14*r = -11*r + 51. Let i be ((-2)/(-5))/(r/(-510)). Let z(h) = h**3 - 11*h**2 - 12*h + 15. Is z(i) a multiple of 3?
True
Suppose 0 = 4*p - 7*p + 48. Let d be -1*4*(-12)/p. Is 25 a factor of d - (10*-5 + 3)?
True
Suppose -4*l - 29 - 35 = 0. Let k be ((-11)/44)/(3/l)*-3. Let z(j) = -2*j + 13. Is z(k) even?
False
Let j(i) = 50*i**2 + 26*i - 530. Is j(13) a multiple of 24?
False
Suppose -2*k - 21*k = -12535. Suppose w = j - 551, -k = -3*j + 2*j - 5*w. Is j a multiple of 17?
False
Let y(t) = -11*t + 7. Suppose -14*i + 19*i = -40. Let u be y(i). Suppose 0 = -4*o + 4*h + 300, 2*o - 3*h = -u + 245. Does 25 divide o?
True
Let q = 59 - -1658. Suppose 3*f + 3*b - 1737 = 0, b + q = 3*f - 0*b. Does 14 divide f?
True
Suppose -509*t + 4022163 = -1073203 + 1054924. Is 42 a factor of t?
True
Let r(k) = 3*k**2 - 38*k + 40. Let l be (-16)/32 - 33/(-2). Does 8 divide r(l)?
True
Suppose -6*q = 13 - 67. Suppose -q*o = -4*o - 35. Suppose k + 293 = o*g - 3*g, 2*g - 4*k - 136 = 0. Is 29 a factor of g?
False
Suppose 10*a = 7*a - 12. Is 33 a factor of 230/a*-6 + 9 + -8?
False
Suppose 735 = 120*z - 117*z. Let o = 22 + z. Is o a multiple of 62?
False
Let t = 20466 - 8167. Is t a multiple of 16?
False
Is (-2)/(-1) + 1 - (-8280)/92 a multiple of 17?
False
Suppose 5*l - 39 = 91. Let v = 26 - l. Let k = 3 + v. Is k a multiple of 3?
True
Let i(v) = 21*v - 5. Let m be 4 - (-27)/(-4 + 1). Let p(h) = 21*h - 5. Let c(l) = m*i(l) + 4*p(l). Does 10 divide c(-5)?
True
Let d = -57 - 860. Is 32 a factor of (d/28)/((-3)/24)?
False
Suppose -24*b + 18*b + 2349616 = 53*b. Does 19 divide b?
True
Let v = -17892 + 18300. Is v a multiple of 4?
True
Is -5 + 360710/49 - 3*24/(-126) a multiple of 140?
False
Let f be (-2 - -2)/(-4) - -4. Let w be 9/f - 1/4. Does 9 divide (-112)/(-5) + w/(-5)?
False
Let p be 6/(-39) + 378/91. Is 45 a factor of (-1)/(3*p/(-588)) - 4?
True
Let h = -12230 + 15486. Is h a multiple of 11?
True
Let b(d) = -6*d - 2. Let f be b(-1). Suppose -3*p + f*t = -53, 0*p - 9 = -p - 3*t. Is ((-25)/p)/(-5)*231 a multiple of 12?
False
Let v(i) = 2*i**2 + i. Suppose 0 = 2*b - f - 104, -15*f + 16*f = -b + 49. Suppose -48*n - 9 = -b*n. Is 3 a factor of v(n)?
True
Suppose 38*r - 219 = 41*r. Let m(v) = 3*v - 13. Let z be m(-8). Let n = z - r. Is 12 a factor of n?
True
Suppose 0 = s + s + 8. Suppose 0 = 5*j + 4*w - 39, -4*j + 36 = -2*j + 5*w. Is (-28)/s*(j + 0) a multiple of 21?
True
Is 24 a factor of ((-1008)/(21 - 15))/((-3)/15)?
True
Let l(n) = 31*n**2 + 22*n + 49. Does 17 divide l(-5)?
True
Suppose 0 = 3*h - 5*l - 42, -2*h - 29 = -4*h + 3*l. Suppose 0 = -4*c + 8, -4*c - 263 + h = -3*b. Is 28 a factor of b?
True
Let m be 6*(4/8)/1. Suppose -2*d - d = 15, -2 = -m*k + 4*d. Let a = 55 - k. Is a a multiple of 8?
False
Let m be 120/48*(-8)/(-10). Does 8 divide -4 - (-4 + m) - (-75 - -9)?
True
Let b(p) = 5*p**2 + p. Let l be b(-9). Suppose -14*r + l = -976. Is 14 a factor of r?
True
Suppose 0 = -3*h + 15 - 9. Suppose 0 = 5*g + h*o + 3*o - 10, 4*g - 4*o - 16 = 0. Suppose 2*v = a - g*a + 336, 5*v = -3*a + 836. Does 24 divide v?
False
Let t(w) = 523*w**2 + 864*w - 3436. Is t(4) a multiple of 12?
True
Suppose 67*g - 69*g = 108. Let k = g + 353. Is k a multiple of 23?
True
Suppose -939 - 3136 = -3*o + 2471. Does 55 divide o?
False
Suppose 32*s + 207 - 2191 = 0. Suppose 5781 = -15*u + s*u. Is u a multiple of 16?
False
Suppose -20*a = -18*a + 5*f - 885, -2*f + 876 = 2*a. Is a a multiple of 29?
True
Let n(l) be the second derivative of 32*l**3/3 - 44*l**2 - 16*l + 3. Is n(4) a multiple of 7?
True
Suppose -441 - 338 = -19*v. Let q = v + -31. Suppose -q*t = -13*t + 252. Does 14 divide t?
True
Let u = -10 + 108. Suppose -4*s + u = w, 0 = 3*w - s - 117 - 203. Is w a multiple of 53?
True
Let o be (-18)/(-6) + -48 + 3. Let y = o + 449. Does 47 divide y?
False
Let q(o) = 8*o**3 + 24*o**2 - 149*o + 19. Is q(11) a multiple of 5?
False
Suppose -z - 8 = -0*z. Let b(y) = -y**3 - 8*y**2 + y + 8. Let i be b(z). Is 2 - 1 - i - -15 a multiple of 8?
True
Let u(m) = -m**3 - 35*m**2 + 20*m - 54. Suppose -s - 4*f = -2*s - 44, 5*s + f = -178. Does 29 divide u(s)?
True
Does 150 divide (675/20)/(-6 - (-21627)/3600)?
True
Suppose 4*p - 18 = m, -4*p - p + 12 = 4*m. Suppose 2*l - h = 6, p*l = l + 2*h + 8. Suppose 119 = l*b - 433. Does 26 divide b?
False
Suppose -26 + 5 = -7*l. Does 13 divide (-114)/l*2/((-8)/102)?
False
Let t = -43286 - -76797. Is 47 a factor of t?
True
Let g(z) = 129*z**3 + z**2 - 11*z + 18. Is g(2) a multiple of 4?
True
Let o(l) be the second derivative of 27*l**4/4 - 3*l**2 - 2*l + 6. Is o(2) a multiple of 22?
False
Is 19 a factor of 28/(1736/1013979) - (-9)/2?
True
Suppose d = -5*f + 4555, -4*d + 803 = -2*f + 2603. Does 6 divide f*(4/12 - 5/(-30))?
False
Let t(n) = 25*n**2 - 1. Let c be (-6)/(-15) - (-3 + (-66)/(-15)). Let l be t(c). Suppose -3*d + l = -21. Is d a multiple of 5?
True
Let n be (-2 - -38)*2/(-1). Let i(f) = f**2 + f + 125. Let g be i(0). Let x = n + g. Is 16 a factor of x?
False
Let t(n) = n**3 - 2*n**2 - 4*n + 5. Let g be t(4). Let a = g + -19. Suppose a*r - 17 = 155. Is r a multiple of 20?
False
Is 5 a factor of (100305/(-12))/(-3) + (-660)/(-880)?
False
Let n(u) = u**3 + 5*u**2 - 6*u - 7. Let a be n(-5). Let h(k) = -k**2 - 46*k - 339. Let c be h(-36). Suppose -88 = -a*w + c*w. Does 5 divide w?
False
Suppose 4*j - 11*j = 7. Is j/(13/(-2)) - 13037/(-13) a multiple of 17?
True
Let y = 51 - 22. Suppose 16 = 4*u + j - 0, 3*u + 5*j - y = 0. Suppose 0*a = 2*h - 5*a - 134, -u*a = 5*h - 397. Is h a multiple of 24?
False
Is 7 a factor of 29514/10 - (-1300)/500?
True
Let v be -12*(36/(-16) + -1 - -3). Suppose -v*n + 5*n = 96. Is 5 a factor of n?
False
Let m(n) = 4574*n - 2241. Is 37 a factor of m(3)?
False
Let u(x) = 59*x**2 + 2*x + 9. Let i(d) be the first derivative of 29*d**3/3 + d**2/2 + 5*d + 12. Let t(b) = -11*i(b) + 6*u(b). Is t(-2) a multiple of 21?
False
Suppose -2*t + 56 = -64. Suppose -9*u + t = -11*u. Let k = u + 42. Is k a multiple of 2?
True
Suppose 23*f = 28*f + 15. Let i be 6 + f + 1 + -4. Does 32 divide (-127 - (i + 2))*-1?
False
Let m = -320 - -536. Suppose -8*b - b = -m. Let u = b - 6. Is 4 a factor of u?
False
Suppose 0 = -3*l - 3*b + 15, -2*b + 6 = b. Let p(d) = -2*d**2 + 7*d - 1. Let i be p(l). Does 3 divide 2 + (1 - i - -14)?
True
Let l = 54 - 24. Suppose -2*r = 4*y - 54, -y - 5*r = 2*y - l. Let a(v) = 7*v - 14. Is a(y) a multiple of 22?
False
Let g(l) = l**2 + 32*l + 311. Let a be g(-48). Let r = -647 + a. Is r a multiple of 27?
True
Let c = 4604 - -56. Does 13 divide c?
False
Let f(v) = 17*v - 16*v + 105 + 13*v + v. Does 18 divide f(20)?
False
Suppose 8*a = -3*a + 6336. Suppose a = 15*d - 3*d. Is d even?
True
Let w be (-96)/(0 + (1 - 0)). Let o be (2607/158)/((-5)/(160/(-3))). Let p = o + w. Is p a multiple of 20?
True
Let h(w) be the first derivative of 28*w**3/3 - 