oes 25 divide v?
False
Let v be ((-24)/(-32))/((-1)/(-4)). Suppose -6*a = -v*a - 60. Does 2 divide a?
True
Let f(d) = -14*d**2 + 3*d + 1. Let i be f(-3). Let o = 232 + i. Does 14 divide o?
True
Let r = -481 - -1030. Is r a multiple of 17?
False
Suppose -3*u - 5*r + 2*r = -6, -2*u + 3*r = -24. Suppose 0 = u*x - 2*x - 428. Is x a multiple of 41?
False
Let r = 810 - 497. Is r a multiple of 12?
False
Suppose -3*u = f + 5, -u - 4*u + 13 = -f. Let p(v) = 5*v**2 + 24*v - 4*v**2 - 12*v + 11 - 4*v. Is p(f) a multiple of 11?
True
Let n(w) = -w**3 + 9*w**2 - 5*w - 3. Let s be n(7). Let l = -43 + s. Is 3 a factor of l?
False
Let c = 10 + -9. Is 10 a factor of c/(-2)*-49*2?
False
Let n(m) = -2*m**3 + 2*m**2 + 2*m + 5. Suppose 8 = -2*k - 0. Is 37 a factor of n(k)?
False
Suppose 5*q = 5*p - 185, 0 = 2*q - q - 5*p + 37. Let n = q + 191. Does 11 divide n?
True
Let j(a) be the third derivative of -a**6/120 - a**5/60 - a**4/24 + a**3/3 - 7*a**2. Let m be j(0). Is (249/6)/(m/4) a multiple of 14?
False
Suppose -2058 = -3*u + 2*q - 745, 2*u - 880 = -q. Does 7 divide u?
False
Let s = 132 + 1507. Is 13 a factor of s?
False
Suppose 0 - 4 = -5*o - 3*m, -5*o - m - 2 = 0. Let a be (-24)/(-8) + o/1. Suppose a*w - 83 = 77. Is w a multiple of 20?
True
Let d = -6 + 8. Let w be -2*(3 + (d - -1)). Is 8 a factor of 20 - (w/3 - -3)?
False
Suppose 3168 = 18*s - 0*s. Let u = s + -103. Is u a multiple of 16?
False
Suppose 3*w = 1 + 2. Let c be w - -6*4/8. Suppose 6 = -c*s + 30. Is s a multiple of 5?
False
Let u = -11 - -11. Suppose 4*r + a - 3 - 179 = u, 0 = 2*a + 4. Suppose 4*w - r - 42 = 0. Is w a multiple of 7?
False
Let x be 12/14 + 3/21. Is 4 a factor of -4 + 5/x + 7?
True
Suppose -4*d + 5*d = 1. Is (16 - -7) + 2 + d a multiple of 19?
False
Let g(j) = 7*j**3 - 25*j**2 - 4*j + 21. Let i(z) = 3*z**3 - 12*z**2 - 2*z + 11. Let m(a) = 2*g(a) - 5*i(a). Is m(9) a multiple of 30?
False
Suppose -3*g + 32 + 1846 = 0. Is g a multiple of 51?
False
Is 33 a factor of (30/(-25)*1)/(5/(-1025))?
False
Let i be (-1089)/(-12) + (-10)/(-40). Suppose -t = -2*s + 100, i = 4*s + 2*t - 93. Does 8 divide s?
True
Let i = 71 - -46. Is 5 a factor of i?
False
Let k = 387 + 67. Is 19 a factor of k?
False
Let i(m) = m - 4. Let t be i(-3). Let p(z) be the third derivative of -z**5/60 - 11*z**4/24 - 7*z**3/6 + z**2. Does 7 divide p(t)?
True
Suppose 5*n = -4*k - 20, k + 5 = -2*n - 2*n. Let g = -1 - -1. Suppose a + n - 7 = g. Does 2 divide a?
False
Let r(l) = 15 - 6 + 2*l + l**2 - 18. Let s = 4 + 2. Is 7 a factor of r(s)?
False
Let w be (-20 - -24)*13/(-4). Is (-2592)/(-117) + -7 - (-2)/w a multiple of 15?
True
Suppose -10*a = -16*a - 174. Let f = 91 + a. Is 9 a factor of f?
False
Suppose 16 = 6*u + 4. Suppose u*l - 2*z = -0*l + 92, 0 = 3*l + 4*z - 110. Does 21 divide l?
True
Suppose -4*q + 8 = -2*q, 0 = s + 5*q - 35. Suppose s*d - 1620 = 6*d. Does 15 divide d?
True
Let d be 5 + 6/4*-2. Let w = d - -124. Is 21 a factor of w?
True
Let p = 89 + -85. Is -3*p/54 - 236/(-9) a multiple of 14?
False
Let s be 27/12*1/(-3)*8. Does 15 divide 1*(2/s - 336/(-9))?
False
Suppose -4*l + 109 = -5*d - 65, -3*d - l = 101. Let c(s) = -s**3 + 2*s**2 - 2*s - 1. Let u be c(-3). Let j = d + u. Does 8 divide j?
True
Let k = -5 + 7. Suppose -k*q + 4 = -8. Is 8 a factor of q*(8/6)/1?
True
Let h be 1 + 55 - (-3)/1. Let l = 96 - h. Is l a multiple of 12?
False
Let g = -3 - -1. Let r be 2/g - (-4 + -99). Suppose -5*p + 182 = -0*w - w, -3*p - 3*w = -r. Is p a multiple of 18?
True
Let m(w) = w**2 - 21*w + 22. Is m(22) a multiple of 11?
True
Let t(z) = -298*z + 28. Is t(-2) a multiple of 52?
True
Let i be (-7)/2*12/(-7). Is 5 a factor of (182/21)/(4/i)?
False
Suppose m + 21 = -2*m. Let f(s) = s**2 - 5*s + 1. Let v be f(m). Suppose -w = -0*w - v. Does 30 divide w?
False
Let c = -3388 + 4749. Does 58 divide c?
False
Let k = 163 - -243. Is 31 a factor of k?
False
Let t(k) = -k**3 + 3*k**3 - 2*k - k**3 - 12 + 12*k**2. Suppose -4*z - 42 = -3*c, 0 = -c + 6*c + 10. Is t(z) a multiple of 6?
True
Suppose -2*r + 2*q = -4*r + 356, 0 = 2*r - 3*q - 346. Is 16 a factor of r?
True
Is 77 a factor of 791 - (-32)/24*-3?
False
Let z(u) = -u**3 + u**2 + 2*u + 76. Let q be 4/(-22) - (-10)/55. Does 20 divide z(q)?
False
Let b be (38 - -1)/(9/(-6)). Let d = 52 + b. Is 18 a factor of d?
False
Suppose -4*u = 4*k + 8, -k - 6*u = -2*u + 17. Let o be (-12)/(-5)*(-10)/k. Let g = -1 - o. Does 7 divide g?
True
Let h(w) = -w**2 + 6*w - 13. Let j be h(4). Let s(l) = -19*l + 14. Does 18 divide s(j)?
False
Suppose -5*t + 5*j = -1485, -4*j - 515 = -3*t + 381. Is t a multiple of 10?
False
Suppose 0*g - g = -3*y + 347, 3*y - 355 = 5*g. Let f = -68 + y. Does 18 divide f?
False
Is 6 a factor of 1 + 752 + -11 + (4 - -2)?
False
Let j(n) = -16*n**2 + 64*n + 189. Let i(c) = 3*c**2 - 13*c - 38. Let p(h) = 11*i(h) + 2*j(h). Is p(26) a multiple of 41?
True
Let x(c) = c**3 - 16*c**2 - 35*c - 16. Let q be x(18). Is 14 a factor of q + 9/(-6) + (-303)/(-6)?
False
Let p = -1504 - -1728. Is 2 a factor of p?
True
Suppose 1008 = 4*p + 2*n, -2*n - n + 247 = p. Is p a multiple of 11?
True
Suppose 2*k = 3*z - 6541, -4*z + 33*k - 35*k + 8698 = 0. Is z a multiple of 27?
False
Let p(j) = 6. Let v(h) = h - 19. Let s(g) = -11*p(g) - 4*v(g). Let n be s(-10). Suppose 6*x = x + n. Does 5 divide x?
True
Let a = 256 + -101. Let w = a + -109. Suppose w = 4*r + 2*n, -29 = -2*r - 5*n + 6. Is 5 a factor of r?
True
Suppose -391 = -5*c - 3*h, h - 88 = -c - 11. Does 10 divide c?
True
Suppose -11 = 3*q - 8. Let w be 33/6 + q/2. Suppose -t = -15 + w. Is 10 a factor of t?
True
Let a be (-12)/(-14)*91/26. Suppose 9 = -k + a. Let d = 8 - k. Is 6 a factor of d?
False
Let r(d) = -d**2 + 7*d - 3. Let b be r(6). Suppose -b*f = 5*g - 845, g = 3*f - g - 817. Does 8 divide (2/(-5))/((-5)/f)?
False
Let t(v) = -2*v**2 - v - 5. Let l be t(-4). Let u = 33 + l. Suppose u = 11*a - 14*a + 78. Does 26 divide a?
True
Let w be (-796)/22 - 4/(-22). Let a be (-15)/(-1 - 0 - -2). Let s = a - w. Is 9 a factor of s?
False
Let i be ((-8)/4 - -8 - 4) + 26. Let v be ((-54)/21)/(2/(-28)). Let j = v - i. Does 4 divide j?
True
Suppose 0 = -4*z + 4*b + 36, -5*z + b - 63 = -10*z. Does 14 divide ((-70)/(-6))/(26/z + -2)?
True
Let p be -2*12/8*-1. Suppose p*g = -n - 31 + 319, n - g - 268 = 0. Is 39 a factor of n?
True
Let x(p) = 83*p**2 - 10*p - 8. Is 73 a factor of x(-5)?
True
Suppose -5*f - 7 = 3, v - 12 = 5*f. Suppose 298 = 2*x + v*r, -3*x = -7*r + 5*r - 422. Does 18 divide x?
True
Let l be 5/((3 - 4) + 2). Let h(a) = -l*a**2 + 7*a - 7 + a + 1 + a**3. Does 26 divide h(6)?
True
Let v = -17 + 33. Let m = v + 7. Let c = 1 + m. Is c a multiple of 9?
False
Let s(a) = -a**3 - 61*a**2 - 128*a + 118. Is s(-59) a multiple of 59?
True
Is 71785/30 + 20/(-24) a multiple of 104?
True
Suppose 2*s - 7*s = -z - 1149, 4*s + 2*z - 922 = 0. Is 5 a factor of s?
True
Suppose 7 + 5 = 12*u. Does 13 divide (u - -85)*2/4?
False
Let t(v) = -50*v + 73. Let i be t(-7). Let o = -206 + i. Does 31 divide o?
True
Let p = 312 - 251. Is p a multiple of 2?
False
Let t(a) = 3*a**2 - 9*a + 64. Is t(7) a multiple of 37?
True
Let r(j) = -j**2 + 4*j - 1. Let g be r(4). Let k be ((-3)/(-6))/(g/(-10)). Suppose 2 - 28 = -2*s + 5*p, -103 = -k*s + 3*p. Is s a multiple of 23?
True
Suppose -354*t + 348*t = -8358. Is 7 a factor of t?
True
Let x(z) = -z**3 + 2*z**2 + 4*z - 4. Let n be x(3). Let w(q) = -3 + 3 - 32*q + 1. Is 11 a factor of w(n)?
True
Let b(c) be the first derivative of -c - 7/2*c**2 - 8. Is 22 a factor of b(-10)?
False
Let f(x) = -72*x + 48. Is 60 a factor of f(-1)?
True
Suppose -g = -5*o + 52, 3*g + 4 = 3*o - 32. Let h be 9/6 + 135/o. Is 6 a factor of 280/h + 2/(-3)?
True
Suppose -2*f - 1 - 8 = n, 5*n - 4*f = 25. Let r(d) = d**2 - 4*d - 1. Let y be r(4). Is (y - 19)/(n/(-3)) a multiple of 20?
True
Is 3 a factor of ((-522)/10)/(9/(-135))?
True
Let f(v) = -v**3 + 12*v**2 + 17*v - 16. Let w be f(13). Let h be (-240)/w + (-4)/(-6). Let a = 18 - h. Does 12 divide a?
True
Let j be (6 + 1)*4/14. Suppose -27 = -3*g + 4*z + 11, -j*z = -8. Is g a multiple of 18?
True
Let m(t) = -326*t**3 + 6*t**2 - t + 6. Is 80 a factor of m(-2)?
True
Let c = 26 + -22. Suppose -h - 137 = -5*u, 2*u = -2*u + c*h + 116. Suppose 5*i = -4*r - 0*r + 3, -4*i + 5*r = -u. Does 2 divide i?
False
Let s = 12 + -10.