 c = 6*s - 2*s, 78 = f - 4*s. Does 14 divide f?
True
Suppose 0 = -6*i + 18*i - 10920. Is 65 a factor of i?
True
Suppose 24024 = 7*f + 21*f. Does 78 divide f?
True
Is 31 a factor of (-13549)/(-19) + (-188)/1786?
True
Suppose 3*p + 4*l = -27, 7*l + 20 = -p + 2*l. Let m be 418/p + 20/(-50). Is 16 a factor of (m/70)/(3/(-80))?
True
Is 46 a factor of 2 - (7 - 8) - -1834?
False
Does 5 divide ((-4)/(-3) + -2)/((-2)/468)?
False
Suppose -6*f - 38 = -104. Suppose -13*b + 30 = -f*b. Is b a multiple of 5?
True
Let f = 235 - 181. Is 9 a factor of f?
True
Suppose 10 + 2 = 4*j. Suppose 5*o - 6 = 14. Suppose -d = -5*c + 265, o*d = -j*c - c + 188. Does 26 divide c?
True
Let r be (-3 - -5 - -4)/(-2). Does 22 divide (-5 + 41)*(-11)/r?
True
Let i be 3/(12/620) - -1. Suppose -l = 3*l - i. Is l a multiple of 7?
False
Let m(o) be the third derivative of o**5/60 + 7*o**4/12 - 3*o**3 + o**2. Is m(-16) a multiple of 4?
False
Suppose 0 = 5*k - 5, 5*k - 7 = -x - 0. Suppose x*n + n = -4*q + 552, -4*q = 2*n - 372. Is 18 a factor of n?
True
Suppose 950 = 6*p + 326. Let s = p - 38. Does 22 divide s?
True
Suppose -441 = -60*j + 59*j. Is 21 a factor of j?
True
Suppose -729 = 4*j - 2249. Does 19 divide j?
True
Let k be 6/((-2)/10 + (-1209)/(-5395)). Let p = -142 + k. Is 21 a factor of p?
False
Let f be ((-2)/(-5))/(2/5). Suppose -u = -f, -2*u = 5*i + 109 - 516. Is 9 a factor of i?
True
Let t(h) = h**3 + 10*h**2 + 10*h + 15. Let s be t(-9). Let w be ((-630)/25)/s*5. Is 34 a factor of (-2136)/w + 6/21?
True
Let d be ((-8)/6)/((-8)/(-216)). Let k = -4 - d. Is k a multiple of 22?
False
Let v(z) = -5*z**2 - 14*z + 15. Let c(j) = 8*j**2 + 29*j - 29. Let y(m) = 3*c(m) + 5*v(m). Let r = 36 + -24. Is y(r) a multiple of 16?
True
Let t(f) = -f**2 - 71*f - 297. Does 11 divide t(-49)?
True
Let a(d) be the first derivative of 2*d**3/3 + 5*d**2 - 10*d - 11. Does 30 divide a(-10)?
True
Let n be 0*(-3)/(-6)*(-7 - -6). Suppose 2*t - 150 = g, 3*g - 320 = -4*t - n*t. Is 11 a factor of t?
True
Suppose 2*x - 10 = 0, -4*k - 2*x = -7*k + 5. Is (-3)/15 - (-341)/k a multiple of 14?
False
Let o(t) = t**2 + t + 9. Let i be o(-3). Suppose 20*c - 280 = i*c. Is 7 a factor of c?
True
Suppose -5*z + 4*w = 5*w - 1538, -3*z + 3*w = -930. Is z a multiple of 16?
False
Let n = 81 - -294. Does 25 divide n?
True
Let a be (3/(-1))/(18/(-42)). Let b(q) = q**3 - 8*q**2 + 6*q + 9. Let y be b(a). Suppose v + 102 = y*v. Does 24 divide v?
False
Suppose 2*g + 107 = -9. Suppose -4*u - 17 = 147. Let h = u - g. Does 5 divide h?
False
Let p(a) = a**3 - 9*a**2 + 57*a - 15. Is p(6) a multiple of 3?
True
Let r = -23 + 28. Suppose 10 = r*b - 55. Is 2 a factor of b?
False
Suppose 0 = 2*i + 3*p - 1886, 2*i - 1896 = 11*p - 9*p. Does 13 divide i?
False
Let l(a) = 13*a**3 + 2*a**2 - 3*a + 3. Let z(d) = -13*d**3 - 2*d**2 + 3*d - 2. Let i(n) = 4*l(n) + 5*z(n). Let s be i(-2). Let w = -44 + s. Does 24 divide w?
True
Suppose -7 = -5*h + 3*w, 2*w = 5*h - 0*w - 8. Suppose 0 = -3*t + 7*t + h*a, -5*a = -t - 22. Is (4/10)/(t/(-30)) even?
True
Suppose 15*h = 5*h + 1750. Suppose 483 = 2*s - 5*t, 3*s - 578 - h = -2*t. Is 36 a factor of s?
False
Suppose 0 = -11*w + 9*w - 16. Let k be (-57 - -2)*w/(-20). Let u = k - -30. Is u a multiple of 8?
True
Let c be (-6)/(-4)*8/6. Suppose c*p - 8*p = -324. Is 9 a factor of p?
True
Let h = -94 - -83. Is 12 a factor of 2/h + 400/22?
False
Suppose -t + 170 = x - 5*t, 0 = -4*x + 2*t + 652. Suppose -4*z = -194 - x. Is 15 a factor of z?
False
Let h be (-51 + 53)*(1 + 206/(-4)). Let q = h + 121. Does 4 divide q?
True
Let h be 6/(-27) + (-32)/18. Let w be 8 - h/4*-4. Suppose w*r = 7*r - 10. Does 10 divide r?
True
Let i(d) = 2*d**2 - d. Let h be i(-2). Let l be 27/(-45) - (-36)/h. Let t(f) = 2*f - 4. Is 2 a factor of t(l)?
True
Let i be (-72)/(-2 - -5)*-1. Does 8 divide (i/(-10))/((-18)/120)?
True
Let m(b) = b**2 - 3. Let u be 1/(44/20 - 2). Suppose u*i + 50 = 5*c, -2*c + 4*i + 26 + 4 = 0. Is 6 a factor of m(c)?
False
Suppose 7*u = 5*r + 2*u + 1150, 4*u - 1150 = 5*r. Let f = r + 326. Does 13 divide f?
False
Let m(d) = -394*d**3 - 7*d**2 + 3*d + 7. Let z(g) = -197*g**3 - 3*g**2 + g + 3. Let j(l) = 2*m(l) - 5*z(l). Is j(1) a multiple of 22?
True
Suppose 10*j - 2078 - 7792 = 0. Is j a multiple of 11?
False
Suppose 0 = -2*u - 5*k, -4*k = 3 + 5. Suppose 0 = -u*y - s + 301, -2*s - 3*s - 55 = -y. Is y a multiple of 15?
True
Let n = 901 - 541. Does 18 divide n?
True
Suppose -4*z = 5*v + 23, 2*v + 4*z + 0 = -2. Let q(u) = -16*u - 9. Does 21 divide q(v)?
False
Is 1732 - (-15 - (-11 - -6)) a multiple of 67?
True
Let f = 0 + 5. Suppose 2*a = f*a. Suppose a = -4*m + 46 + 174. Is 28 a factor of m?
False
Let l = 103 - -101. Does 5 divide l?
False
Suppose -3*o + 3*b = -0*b - 3, -6 = -2*o - 2*b. Suppose -a = -0*a + o*t - 10, 22 = 4*a + 2*t. Is a a multiple of 2?
True
Suppose 14*g - 19*g = -2895. Does 80 divide g?
False
Let s(g) = g + 1. Let x(v) = -8*v - 22. Let p(j) = 5*s(j) + x(j). Let m be p(-5). Does 28 divide (-12)/(3/42*m)?
True
Let g = 862 + -355. Is 30 a factor of g?
False
Let t = -48 - -151. Is 15 a factor of t?
False
Let q(i) = -i**3 + 6*i**2 - 6*i + 4. Let x be q(4). Let d be (-13)/(-4) - (-9)/x. Suppose f = -8*z + 4*z + 172, d*z - f = 180. Is 19 a factor of z?
False
Let w(c) = c**3 + c**2 + 896. Is 16 a factor of w(0)?
True
Suppose 3*m + 4*o - 6516 = 0, m + 4*o = -o + 2161. Is 68 a factor of m?
True
Let o(q) = q. Let f(s) = -2*s + 4. Let l(j) = f(j) + 3*o(j). Let v be l(-5). Does 9 divide 3 + 20 + 0/v?
False
Suppose 3*g + 4*v = 1404, 5*g - 1744 - 610 = -2*v. Suppose 0 = 4*z - 4*a + g, 2*a = 4*z + 427 + 53. Does 21 divide (-1)/(2*1/z)?
False
Let k = 1 - -6. Suppose r + 2*u = 14, 0 = -k*u + 4*u. Does 7 divide r?
True
Is 6/12 - (-743)/2 a multiple of 31?
True
Let g(f) = 2*f**2 + 47*f + 40. Does 9 divide g(-25)?
False
Let f(v) = -v**3 + 18*v**2 + 37*v + 18. Does 18 divide f(19)?
True
Let g be (-36)/4 + 5 + 8. Suppose -3*s = s - 768. Suppose s = -0*v + g*v. Does 15 divide v?
False
Let y = -640 + 903. Let l = y + -18. Is 49 a factor of l?
True
Is 8 a factor of (18/24)/((-21)/(-55524))?
False
Let h(l) = 10*l + 6. Let q(f) = -f**2 + 10*f - 2. Let w(m) = -m. Let i(v) = -q(v) - 6*w(v). Let n be i(4). Is h(n) a multiple of 18?
False
Let c(u) = -u**2 + 18*u + 12. Let a be c(12). Is 13 a factor of 24*-10*(a/45 + -2)?
False
Suppose -13*g = -7*g - 8190. Is 10 a factor of g?
False
Suppose -x + 14 - 43 = 0. Does 5 divide x - -27 - (1 + -20)*1?
False
Let o be (-1)/((-21)/6 - -4). Is 134/(o*(1 + -2)) a multiple of 8?
False
Let y = -310 - -588. Let b = y - 191. Is b a multiple of 29?
True
Suppose -48*k - 1796 = -50*k. Is k a multiple of 46?
False
Is (-2)/4 - (-3592)/16 a multiple of 36?
False
Let s = 533 + -491. Does 3 divide s?
True
Let o(r) = 11*r - 12*r**2 + 9*r**2 - 9*r**2 - 3*r**2 + r**3 + 3. Is 42 a factor of o(15)?
True
Suppose -2315*h + 2298*h + 42619 = 0. Does 109 divide h?
True
Let u = 2896 - -315. Is u a multiple of 61?
False
Let r be ((-3)/(-15))/(5/25). Suppose -a = 2*g - 4*g + 46, -g - 5*a + r = 0. Is g a multiple of 9?
False
Let x(v) be the first derivative of v**4/2 - 2*v**3/3 - v**2/2 + 3*v - 3. Suppose -m - 5*z = -23, 3*m - 27 + 2 = -4*z. Does 12 divide x(m)?
True
Suppose -l - 7 = -3*c, -3 = -3*c + 4*l - 2. Let i(t) = 9*t**3 - 5*t**2 + t - 1. Is i(c) a multiple of 34?
False
Let q(z) = 23*z**2 + 25*z + 12. Does 17 divide q(5)?
False
Let s(q) = -q**3 - 7*q**2 - 8*q - 8. Let j be s(-6). Suppose 0 = j*n - 38 - 122. Is 5 a factor of n?
True
Let o(z) = -4*z**3 - 4*z**2 - 5*z - 3. Let a(v) = -3 - 19*v**2 - 82*v**3 + 81*v**3 - 4*v - 14*v. Let f be a(-18). Is o(f) a multiple of 17?
False
Suppose v - 546 = -v. Let p = -26 - -30. Suppose p*h = -d + v, -3*d + 2*d = h - 72. Does 28 divide h?
False
Let a(x) = -x**2 - 47*x + 513. Is a(-55) even?
False
Suppose -2*b + 5*f + 20 = f, -2*b - 5 = f. Let m be -13*(0 + b + 1). Let w = m - -16. Is 2 a factor of w?
False
Let b(r) = -29*r. Let m(l) = 320*l. Let n(a) = 56*b(a) + 5*m(a). Let t be n(-3). Let h = 103 - t. Is h a multiple of 14?
False
Let q(t) = 18*t**2 + 21*t + 44. Is q(-6) a multiple of 15?
False
Suppose 0 = -5*y - 2*a + 144, -y = 4*y - a - 153. Is y a multiple of 6?
True
Is 7 a factor of 2 + (-6)/4 + (-55063)/(-34)?
False
Let p(w) = 10*w + 16. Let g(t) = 2*t + 3. Let i(o) = -16*g(o)