e q/5 - (-76)/(-95)?
False
Suppose 0*f + 18480 = 28*f. Is 15 a factor of f?
True
Let f = 108 - -408. Does 65 divide f?
False
Let q = -4670 + 7085. Is q a multiple of 10?
False
Let s(f) = f**3 + 7*f**2 + 0*f**2 + 46 - 5*f - 36. Suppose 2*y + 0*h - h = -16, 5*y + 27 = -4*h. Is s(y) a multiple of 15?
True
Suppose -4*c + 7548 = 4*v, 3*c + 15*v = 13*v + 5666. Is 9 a factor of c?
False
Let g = -67 - -127. Let s = -292 + 256. Let p = g + s. Does 6 divide p?
True
Let l be (-1348)/(-15) + (-14)/(-105). Is 2 a factor of -2 + (l/(-27))/((-2)/3)?
False
Is 14 a factor of 399770/280 - (-1)/4?
True
Suppose -245 = -2*f - 3*s + 8*s, -5*s = 3*f - 430. Does 23 divide f + (-12)/8*-2?
True
Suppose -4*r + 12*r = 16. Suppose -3*w + 4*y - r + 6 = 0, -w + 2*y = 2. Is 4 a factor of (32 - w) + (2 - -1)?
False
Let m be ((-3 - -5) + (0 - 1))*5. Suppose 2*u - m*u + 195 = 0. Does 13 divide u?
True
Let u = 290 - 78. Is 3 a factor of u?
False
Suppose 5*b + 7 = 6*b. Let k(h) be the second derivative of h**5/20 - 7*h**4/12 + 2*h**3/3 - 7*h**2/2 - h. Is 7 a factor of k(b)?
True
Let y = 78 + 510. Is y a multiple of 49?
True
Let b(m) = 11*m - 13 - 5*m**2 + 8*m**2 - m. Is 21 a factor of b(6)?
False
Let d = 7695 - 12573. Is 17 a factor of d/(-48) + 3/8?
True
Let b be (-2604)/(-70) - 1/5. Suppose 10 + b = t. Does 47 divide t?
True
Suppose -6651 = -30*c + 9. Does 31 divide c?
False
Let w = 286 - 165. Suppose -r - w = -0*r. Let y = 191 + r. Is y a multiple of 23?
False
Let n(a) = 3*a**2 - 20*a - 6. Let m be (-3 + (-8)/6)*-3. Is n(m) a multiple of 9?
False
Suppose 0 = -5*u + 298 - 38. Suppose -193 = -d + 4*w - u, -d = -2*w - 135. Does 11 divide d?
False
Suppose -29*c = -36*c + 91. Does 13 divide c?
True
Let f(i) = 17*i + 538. Does 32 divide f(0)?
False
Let n(q) = 2*q + 3. Let b be n(1). Let s(p) = 2*p**2 - 2*p - 3. Does 37 divide s(b)?
True
Let f be (-1 + 4)*(-10)/12*-6. Suppose 108 = 19*i - f*i. Is i a multiple of 27?
True
Suppose 8*w = 3*w + 90. Suppose -4*z = -w + 2, 56 = p - 4*z. Is 12 a factor of p?
True
Let k(z) = 21*z - 23. Let r(d) = -31*d + 35. Let w(p) = -8*k(p) - 5*r(p). Is w(-3) a multiple of 12?
True
Is (-2 - 2)/(9/(-63)) a multiple of 4?
True
Suppose 0*w = 3*w. Suppose w = -2*r + 5 + 1, -r - 3 = -2*n. Is n even?
False
Suppose 5*u = -5*m + 11 + 14, 4*u = -5*m + 22. Suppose m*o + 0 + 20 = 0. Let b = 115 + o. Is b a multiple of 35?
True
Let t be ((-3)/9)/((-1)/111). Let y = 25 - t. Is 4 a factor of (-22)/(-3) - 8/y?
True
Suppose -2*m - 28 = -5*v, -4*m - v - 26 = 8. Let g(h) = h**3 + 10*h**2 + 6*h - 10. Let j be g(m). Suppose -j + 6 = -x. Is x a multiple of 8?
False
Suppose 2*o + c = -0*o + 258, -3*c = -4*o + 496. Suppose 8*t - o = 177. Suppose 3*s + d - 144 = 0, -5*d + t + 118 = 3*s. Is 6 a factor of s?
False
Let j = 604 + -320. Is j a multiple of 7?
False
Does 8 divide (7 + -9)*(-836)/16*2?
False
Let x(r) = 2. Let i(u) = u - 4. Let h(o) = 3*i(o) + 5*x(o). Let z be h(-3). Let y = z - -21. Is 9 a factor of y?
False
Let j be ((-1 + -2)/(-1))/1. Let l be (2/(-6))/((-1)/(-3)). Is 7 a factor of (-86)/(-3) - l/j?
False
Let n(s) = -352*s + 236. Is 7 a factor of n(-8)?
True
Let j = -148 - -352. Suppose -j = -5*t - 64. Is t a multiple of 5?
False
Let i be 44/((-4)/(-16) + (-15)/12). Let z = 110 + i. Does 22 divide z?
True
Suppose -r + d + 2205 = 363, -2*r + 3*d = -3686. Is 54 a factor of r?
False
Suppose -u + 5*w + 445 = -0*w, 5*u - 2133 = 2*w. Is 17 a factor of u?
True
Suppose -3*g - g - 640 = 0. Let m = -40 - g. Is m a multiple of 30?
True
Suppose -2*w + 11 = -3. Let r(n) = -5*n - 10. Let s(p) = -15*p - 30. Let f(k) = -7*r(k) + 2*s(k). Is 8 a factor of f(w)?
False
Let u(q) = q**2 + 8*q - 7. Let n be u(-9). Let y be -5*1/(20/(-8)). Suppose -y*h = n*h - 196. Does 6 divide h?
False
Suppose -143*t + 134*t + 13761 = 0. Is t a multiple of 11?
True
Let p = 348 + 130. Is 72 a factor of p?
False
Suppose -p = -4*y, 8*p - 3*p = -4*y + 24. Let b(w) = 3*w**2 + 2*w**3 - w**3 + w - p*w**2. Is b(2) a multiple of 3?
True
Let n(l) = -117*l + 574. Does 14 divide n(-8)?
False
Is -12 + (2210 - 14/7) a multiple of 35?
False
Let b = -2 + 2. Suppose -o + 12 = 3*c - 7*c, -c + 2*o + 4 = b. Is 2 a factor of (c/14)/(2/(-56))?
True
Let w(q) = 0 - 15 + 17*q + q. Does 35 divide w(20)?
False
Suppose 0 = -2*t - 4*w - 6, -4*w + 15 = w. Let a(q) be the second derivative of q**5/20 + 3*q**4/4 - 4*q**3/3 - 6*q**2 - 436*q. Does 15 divide a(t)?
True
Is 22 a factor of (-6)/(-10) + 63/(-105) + 1275?
False
Is (4 + (-2)/2)/(13/208) a multiple of 2?
True
Let s(n) be the first derivative of 3*n**4/4 - 2*n**3 + 5*n**2/2 - 6*n - 14. Let p be s(4). Suppose q - 3*q = -4, -q + p = 3*u. Does 12 divide u?
True
Let k(v) = 19*v**2 + 4*v - 3. Let d(y) = -56*y**2 - 11*y + 9. Let s(g) = -6*d(g) - 17*k(g). Is 11 a factor of s(-2)?
False
Let c = 745 - 551. Does 4 divide c?
False
Let j = 230 - 79. Suppose 20 = -4*p + 8*p - 3*k, -3*p = -4*k - 22. Suppose -2*z + 2*f = -p*f - 80, 5*f + j = 4*z. Is z a multiple of 12?
False
Let p be 90/10 + 4*-1. Suppose -p*x - 11 = -26. Suppose -o = -x*d + 4*o + 79, 0 = -5*d - o + 85. Does 5 divide d?
False
Suppose 1984 = 12*d - 4076. Does 5 divide d?
True
Let k = -808 + 1268. Is k a multiple of 10?
True
Suppose -76 = 3*p + 2. Let v = p - -182. Does 12 divide v?
True
Suppose -g + 6 = 2. Suppose -13*r = -12*r - 7. Suppose -k + g = -r. Does 11 divide k?
True
Suppose -2*c + 4 + 14 = 2*z, -c - 9 = -5*z. Suppose 6 = 3*v - 9. Suppose -c = v*s - 501. Does 27 divide s?
False
Let p be (-3324)/(-16) + 2/8. Suppose 0 = -4*o - 0*o + p. Is 10 a factor of (3 + -2)*(o + -1)?
False
Let u = 85 - 83. Is 17 a factor of (u/3 + -2)/((-14)/357)?
True
Let g be (-3 - -3) + -6*1. Let b = 43 + g. Is b a multiple of 8?
False
Suppose -5*r + 810 = 75. Let g = -17 - 3. Is 11 a factor of r/4 + (-5)/g?
False
Let z(f) = 15*f**2 + 1. Suppose -1 = r + 5. Let u = r - -5. Does 16 divide z(u)?
True
Let x(i) = 5*i - 7. Let m be x(-5). Let c(y) = y**2 + 7*y + 9. Let z be c(7). Let n = z + m. Is 25 a factor of n?
True
Suppose -7*w + 11*w + q - 9501 = 0, 0 = 4*w + 2*q - 9502. Is 125 a factor of w?
True
Suppose 0 = 2*i + 4*p - 80, -p + 3*p + 2 = 0. Suppose -6*y + 12 = -3*y + 3*w, 4*y = -3*w + 21. Suppose -m - 49 + y = -3*k, -3*m - i = -3*k. Is 13 a factor of k?
True
Let w be 9 - (-5 + (0 - -4)). Suppose -w = 4*z - 38. Suppose 0 = 3*c + 4*a - 19, 3*a = c + 5*a - z. Is 5 a factor of c?
True
Let a = 1687 - 478. Is 14 a factor of a?
False
Let i(u) = 5*u - 5. Let x be i(-5). Let l = 44 + x. Is l a multiple of 14?
True
Suppose 4*y + y + 4*n = 2088, 5*y = 2*n + 2106. Is y a multiple of 28?
True
Is 31 a factor of 2/9 + 27045/405?
False
Let p be 6/(4 + -2) - (2 - 2). Suppose 95 = p*t - 235. Is 11 a factor of t?
True
Suppose 64 = 42*j - 34*j. Let k(q) be the third derivative of q**6/120 - 7*q**5/60 + q**4/8 - 3*q**3 + q**2. Is k(j) a multiple of 23?
False
Let x(k) = -2*k - 19. Suppose 1 = -2*h - 4*j - 33, 5*j + 50 = -3*h. Does 11 divide x(h)?
True
Suppose 3629 + 4111 = 2*l. Is l a multiple of 18?
True
Let n = 111 - 91. Is (1410/n)/(2/4) a multiple of 19?
False
Let b = -232 + 298. Is b a multiple of 22?
True
Suppose -2*k - 3*f = -142, -k - f + 85 = 4*f. Let h = -24 + k. Is h a multiple of 11?
False
Let m(q) = -41*q - 14. Let k be m(-10). Suppose 3*v - k = -v. Is v a multiple of 18?
False
Suppose -16*s + 25755 + 3525 = 0. Does 22 divide s?
False
Let d = 11 - 9. Suppose 33 = 2*r + 3*v - 0*v, 0 = -d*v + 10. Let x = 26 + r. Does 7 divide x?
True
Let p be (-22)/((-2)/(-4) + -1). Suppose -5*a + 16 + 24 = -3*m, m - 5 = -2*a. Suppose -5*r = -5*g - 121 - p, a*r - 165 = g. Does 11 divide r?
True
Suppose 225 - 10 = 5*r. Let t = -19 + r. Suppose 8*d = 4*d + t. Is d a multiple of 3?
True
Let q = -51 - -42. Let i(f) = -f**2 - 22*f + 1. Is 15 a factor of i(q)?
False
Let g(c) = c**2 + 15*c. Is 39 a factor of g(12)?
False
Let k(p) = 8*p - 21. Let x be k(7). Suppose -h = -69 - x. Does 11 divide h?
False
Let i(r) = r**2 + 4*r + 2. Suppose 5*u - 19 = p, u = 5*p - 0 + 23. Let o be i(p). Suppose 5*m - o*m - 30 = 0. Is 5 a factor of m?
True
Suppose -4*g - 1252 = -a, 5*a = 5*g - 3*g + 6242. Is 104 a factor of a?
True
Is 15 a factor of (22050/(-180))/(2/(-12))?
True
Let f(q) = -199*q + 59 - 32 - 30. Is 15 a factor of f(-1)?
False
Let x(o) = -o**2 + 17*o + 25. Let n be x(20). Let i = 