 -m + 64 = n. Does 13 divide n?
True
Let r be (-112)/(3 - -1) + 0. Let p be (-296)/(-28) - (-16)/r. Suppose a = 11 + p. Is 21 a factor of a?
True
Suppose 5*v + 5 + 10 = 0. Let f(r) = r**3 + 6*r**2 + 8*r + 2. Is 5 a factor of f(v)?
True
Suppose -y = -7 + 2. Suppose -u + y*u = 8. Suppose 50 = 4*s - u*s. Is 25 a factor of s?
True
Suppose 4*o = -3*d - d + 24, 2*d = 3*o - 8. Suppose -1 = -4*v + d*t - 7, 0 = -4*v - 3*t - 11. Is 6 a factor of (-2)/v - -41 - -4?
False
Let x = -1191 + 1555. Is 52 a factor of x?
True
Suppose -5*p - 2*u - 14 = 37, 0 = -3*p + 2*u - 21. Let a be -2 - (-80 - p/(-3)). Suppose a + 4 = 5*h. Is 17 a factor of h?
True
Let u(t) be the second derivative of t**5/20 + 3*t**4/4 - 11*t**3/6 + 5*t**2 - 3*t. Suppose -40 = -4*q + 8*q. Is u(q) a multiple of 8?
False
Let x = 98 - 69. Let s = -29 - -30. Suppose k = -3*t + x - s, -5*k = t - 112. Is k a multiple of 12?
False
Let o(i) = 49*i + 47. Is o(6) a multiple of 15?
False
Suppose 4*c - 1765 = 323. Is 18 a factor of c?
True
Suppose -38*d - 10532 = -82352. Does 14 divide d?
True
Let s = 366 + 780. Does 13 divide s?
False
Let a(x) = x**2 - 6*x - 3. Is 5 a factor of a(-5)?
False
Suppose -3*s - 3*i - 33 = 0, 3*i - 1 + 16 = 0. Let k(d) = 2*d**2 + 8*d - 5. Is k(s) a multiple of 9?
False
Let h(p) be the third derivative of p**6/120 + 7*p**5/60 - 4*p**3/3 - 4*p**2. Let y be h(-8). Is (y/60)/((-2)/55) a multiple of 10?
False
Let j(l) = -3*l + 22. Let r be j(9). Is (-6)/r*(-700)/(-15) a multiple of 14?
True
Let i = -4 - -20. Let h = 9 - i. Is 23 a factor of (-7 - h) + 25 + 1?
False
Let d(h) = 37*h**3 + 3*h**2 - 2*h. Let v(c) = -c**3 + 12*c**2 - 10*c - 10. Let s be v(11). Is 38 a factor of d(s)?
True
Suppose z - 8*z - 14 = 0. Is 4/z + 12 + 46 a multiple of 28?
True
Let y(k) = 50*k - 4 + 6*k**2 + 4 - 9. Let d(g) = -g**2 - 10*g + 2. Let a(l) = -11*d(l) - 2*y(l). Does 17 divide a(7)?
True
Is 21 a factor of (-26)/143 - 7581/(-11) - -4?
True
Suppose 23*m - 24*m - i = -69, 0 = -4*m + 4*i + 244. Is 2 a factor of m?
False
Suppose 2*y + 2*d = -3*y - 325, -2*d - 260 = 4*y. Let l = y + 3. Let o = 88 + l. Does 26 divide o?
True
Suppose 1290 = 4*m - 2*x, m - 5*m = x - 1287. Does 14 divide m?
True
Is 6 a factor of 0 + 0 + (7 - -675)*1?
False
Suppose -k = -p - 223, 2*k - p + 187 - 638 = 0. Suppose 3*o + o = k. Is o a multiple of 19?
True
Let f = 37 - 34. Let z = 102 - f. Is z a multiple of 33?
True
Is (1 + (-52)/(-6))*21*4 a multiple of 25?
False
Suppose 4*v - 914 = 5*s - 297, -v - s = -152. Is v a multiple of 51?
True
Suppose -3*j + 5*c + 244 = 6*c, 0 = 2*c + 10. Is 11 a factor of j?
False
Suppose 2*v + 5*s - 2352 = -v, 3*v - 2346 = -3*s. Let u = v + -526. Does 23 divide u?
True
Let b(i) = i**3 - 8*i**2 + 11*i - 10. Let a = -8 - -8. Let j = 7 - a. Is b(j) a multiple of 9?
True
Suppose 86*s = 105*s - 855. Does 5 divide s?
True
Suppose -8190 = -8*d - 3150. Suppose 5*h + 4*h - d = 0. Is 9 a factor of h?
False
Let w(j) = -j**3 - 14*j**2 - 12*j + 18. Let b be w(-13). Suppose b*p + 559 = 18*p. Is p a multiple of 43?
True
Suppose 0 = -0*y - 4*y + 32. Suppose -y*m - 56 = -9*m. Is m a multiple of 14?
True
Suppose -m = 53 + 55. Is 5 a factor of 5/(-1)*m/18?
True
Let r = 119 - -109. Does 38 divide r?
True
Let j(q) = 0*q - 1 + 16*q - 9*q. Does 3 divide j(1)?
True
Let d(g) = 19*g - 115. Does 4 divide d(9)?
True
Suppose -4*n - 5*t = -44, -5*n + 4*t - 1 = -15. Let b(g) = 3*g**2 - g - 10. Is b(n) a multiple of 29?
False
Let i = 109 - 69. Suppose -p + i = 13. Does 6 divide p?
False
Let i(f) = 10*f**2 + 6*f - 72. Is i(-8) a multiple of 104?
True
Let j(q) be the third derivative of 19*q**5/30 - q**4/6 + q**3/3 - 15*q**2. Is j(1) a multiple of 7?
False
Let y(b) = 5*b**2 - 3. Let f be y(-6). Let l = -109 + f. Does 17 divide l?
True
Let f(h) = h**2 + h - 1. Let a(y) = 3*y**2 + 9*y - 10. Let q(o) = -a(o) + 4*f(o). Is 30 a factor of q(-7)?
True
Let c = 16 - 22. Let r = c - -8. Does 5 divide -1 + r + (-27)/(-3)?
True
Let n(h) = h**3 + 7*h**2 + h + 4. Let i be n(-6). Suppose -4*y = -g + i - 8, 4*y + 20 = 0. Let z = 46 - g. Is 12 a factor of z?
False
Is 86219/(-168)*-3 - 6/(-16) a multiple of 28?
True
Suppose i - 70 - 185 = -5*v, 2*i - v = 510. Is i a multiple of 15?
True
Let w = 1679 - 904. Suppose 5*l - 5*p = w, -2*l + 4*p - 304 = -4*l. Is l a multiple of 11?
True
Let h(z) = -387*z + 313. Is h(-3) a multiple of 20?
False
Let c(b) = 80*b - 92. Is c(8) a multiple of 33?
False
Let u be (3/(-2))/(9/(-6)). Is (-1 - -5) + (u - -9) a multiple of 4?
False
Let w(t) = -5*t**2 + 24*t + 9. Let g(i) = -i**2 + 5*i + 2. Let y(a) = -11*g(a) + 2*w(a). Let o be y(8). Suppose x = o*x - 27. Is x a multiple of 3?
True
Suppose l + 1 = -0*l + j, 0 = 2*j - 8. Suppose 5*x - 4 = c - 34, -l*x = -3*c + 42. Does 10 divide c?
True
Let m(q) = 112*q + 3. Suppose 14*s + 1 = 15*s. Is m(s) a multiple of 31?
False
Let q(a) = 6*a**2 + 3*a. Let x be (8 + -6)*(-2)/2. Let v be q(x). Suppose v*u - 225 = 13*u. Is u a multiple of 15?
True
Let c be 4/84*2613 + 6/(-14). Let d(b) = -8*b + 10. Let n be d(-7). Let k = c - n. Is 27 a factor of k?
False
Let j = 12 - -13. Suppose 2*n - 5*s - 95 = -0*n, 2*s = -n + j. Does 10 divide n?
False
Let a(h) = -h + 7. Let c be (17/(-2))/((-3)/(-6)). Is 6 a factor of a(c)?
True
Let k(j) = 2*j + 3. Let w be k(-3). Let u be w/(-6)*(-90)/5. Is 11 a factor of u/((-54)/(-44))*-6?
True
Suppose -10*g = -2*w - 6*g + 668, 8 = -4*g. Does 7 divide w?
False
Suppose -18*i = -23*i + 5. Does 27 divide (-18)/(-21)*(64 - i)?
True
Suppose w = 3*j - 7842, -5*j - 562*w + 13078 = -561*w. Is 5 a factor of j?
True
Let t = 33 - -90. Is t a multiple of 41?
True
Let p be (-20)/(-5)*(-2 + -34)/(-2). Let d = 24 - 14. Suppose d*q - 12*q + p = 0. Is 12 a factor of q?
True
Let q(r) = r**2 + 13*r + 5. Let m be q(-13). Does 4 divide -64*(-6)/15 - (-2)/m?
False
Let p be 6/36 + (-1810)/(-12). Suppose -4*s + 1 = -p. Suppose x = 2*f - s, -50 = -5*f + 2*x + 46. Is f a multiple of 10?
True
Let g be (1 - 2)/(1/5). Let y(m) be the first derivative of m**4/4 + 2*m**3 + 3*m**2/2 + m - 4. Is y(g) a multiple of 11?
True
Let t be 1/(1/(-55) + 0). Is 43 a factor of (-9449)/t - 2/(-10)?
True
Let r(u) = -55*u - 18. Is r(-6) a multiple of 26?
True
Let y = -764 + 1176. Is 21 a factor of y?
False
Suppose 3318 = 4*n - 3*o, -3*o + 822 = n - 0*o. Does 18 divide n?
True
Suppose -1011 = -3*l - 2*x - 0*x, 4*x + 993 = 3*l. Suppose -9*j + l = -79. Is 4 a factor of j?
False
Let y be 8 + 4/((-16)/(-4)). Let s be (-21)/(-9) + (-3)/y. Suppose -s*o - 3*o = -2*g + 8, -8 = -4*o. Is 5 a factor of g?
False
Let w = 144 - 227. Let o = -38 - w. Is 16 a factor of o?
False
Let b(x) = 5*x**3 + x**2 - 4*x. Let d(v) = -14*v**3 - 2*v**2 + 12*v. Let m(t) = 11*b(t) + 4*d(t). Is 11 a factor of m(-2)?
False
Let l = -37 + 30. Let j(c) = 2*c**2 + 6*c + 10. Does 11 divide j(l)?
True
Let v(s) = 6*s - 7. Let z be v(3). Does 4 divide 0 + 2 + -9 + z?
True
Let z(y) be the second derivative of -7*y**3/3 - 3*y**2 - 10*y. Is z(-4) a multiple of 10?
True
Suppose 0*x + 298 = 2*x. Let f = 277 - x. Does 22 divide f?
False
Let s(n) = -n**2 - 15*n - 19. Let x(j) = -10*j - 2*j**2 + 3*j**2 + 0*j**2 + 0*j**2 + 11. Let h be x(6). Is s(h) a multiple of 4?
False
Let q(m) be the first derivative of -m**5/5 + m**4/6 - m**3/6 + m - 10. Let i(j) be the first derivative of q(j). Does 32 divide i(-2)?
False
Let v = 5067 + -3292. Is v a multiple of 56?
False
Suppose 7*m - 12 = 3*m. Suppose -m*j = 10 - 40. Does 10 divide j?
True
Suppose -52*c + 6720 = -45*c. Is 24 a factor of c?
True
Let l(n) = n**2 + 10*n - 8. Let r be l(-11). Let b be r - 0 - 6 - -9. Suppose -b - 16 = -t - 2*s, 4*s + 52 = t. Does 32 divide t?
True
Suppose p = 5*f + 15, 0 = 3*p - 2*p + f + 9. Does 9 divide (-2)/(-10) + 1 + (-534)/p?
True
Let f = 99 + -89. Suppose 0 = -4*i + f*i - 720. Does 27 divide i?
False
Let z = 16 - 22. Let b(s) = 11*s**2 + s - 2*s**2 + s**3 + 7*s + 14. Is 21 a factor of b(z)?
False
Let u(z) = 1. Let l(t) = t + 6. Let r(a) = l(a) + 4*u(a). Let i be r(7). Suppose -2*b = -77 + i. Is b a multiple of 11?
False
Let o(q) = 5*q**2 + 6*q - 1. Let t be o(5). Let y = 260 - t. Is 13 a factor of y?
False
Suppose 5*j = 3*a - 1563, -a = 3*a + 3*j - 2055. Is 43 a factor of a?
True
Let i(z) = z**2 + 4*z - 1. Let t be i(-7). Suppose -124 = 4*f - 2*f + r, 0 = 5*r + t. Let m = -26 -