 - 3 = -n. Is 8 a factor of m?
True
Let t(k) be the first derivative of k**4/4 - 4*k**3/3 - 5*k**2/2 - 4*k + 2. Is 13 a factor of t(6)?
False
Suppose 0 = -2*r + l + 1, 0*r - 2*r - 4*l - 4 = 0. Let m(u) = u**3 + 13. Is 11 a factor of m(r)?
False
Let s(c) = c**3 - 11*c**2 - 10*c + 11. Is s(12) a multiple of 7?
True
Suppose -5*p + 6*p - 2 = 0. Suppose 5*j + 2*t + t = 27, p*j - 4*t - 16 = 0. Is j a multiple of 4?
False
Suppose -o + 35 = -35. Let l be 1/(1 + -2) + o. Suppose -5*x = -u - l, -3*x + 6*x - 51 = 3*u. Is x a multiple of 9?
False
Let n(h) = 2*h**2 + 3*h + 1. Does 38 divide n(9)?
True
Suppose 2*x = 2 + 2. Let t be (-2 - -3) + x/1. Let k = 9 - t. Does 6 divide k?
True
Let m = -5 + 55. Does 22 divide m?
False
Let d = 3 + -1. Let r(s) = -s**3 + 4*s**2 - 2*s + 2. Let x(m) = -2*m**3 + 9*m**2 - 4*m + 5. Let c(w) = d*x(w) - 5*r(w). Is 4 a factor of c(2)?
True
Let q(v) = 2*v**3 - v**2 + v - 1. Let k(s) = -13*s**3 + 2*s**2 + s + 14. Let l(p) = k(p) + 6*q(p). Let i be (-1)/(-4) + (-50)/8. Is l(i) a multiple of 19?
True
Suppose a = 4*a. Suppose -3*o + 78 = -a*o. Is o a multiple of 20?
False
Is ((-35)/2)/((-8)/16) a multiple of 9?
False
Suppose -f = 1 + 3, v - 3*f - 15 = 0. Does 21 divide (-1)/(v/(144/(-1)))?
False
Suppose -3*u - x = 3*x + 3, -u = -2*x - 9. Suppose -29*q = -28*q - 5. Suppose u*i - q*i + 5*z + 108 = 0, -z = -5*i + 270. Does 27 divide i?
True
Let u(f) = f**2 - 6*f + 20. Is u(16) a multiple of 45?
True
Let w = 171 + -39. Does 22 divide w?
True
Let v = -12 + 258. Is 41 a factor of v?
True
Let v = 0 - -66. Is v a multiple of 11?
True
Let t = -48 - -74. Is 6 a factor of t?
False
Does 13 divide 78/(-8)*40/(-15)?
True
Let z = 89 + -40. Does 9 divide z?
False
Let l = -63 + 124. Is 9 a factor of l?
False
Let t(z) = -z**3 - 5*z**2 + 7*z + 9. Let l be t(-6). Suppose -l*m + 0*m + 18 = 0. Suppose 0 = 2*k + m - 18. Is 3 a factor of k?
True
Suppose 6*y - 2*y - 8 = 0. Let n(f) = 11*f**2 + f + 2. Is 16 a factor of n(y)?
True
Suppose -110 = -4*b + 2*b. Let p(k) = 11*k - 7. Let m be p(6). Suppose -8 = 4*t + 3*z - b, -m = -5*t - 4*z. Is 11 a factor of t?
True
Suppose -b + 10 = 4*b. Let k be (b/(-4))/(1/(-470)). Suppose -5*v + k = 65. Is 17 a factor of v?
True
Let r = 52 + 100. Is 22 a factor of r?
False
Let v(s) = -s**3 - 6*s**2 - 4*s - 8. Let d be v(-5). Let r = d - -18. Is 2 a factor of r?
False
Let n(m) = -m**3 + 2*m**2 - 2*m - 4. Let p(a) = -2*a + 3. Let y be p(2). Let r be 14/(-4) + y/(-2). Is n(r) a multiple of 25?
False
Suppose -2*w + 32 = -6. Is w a multiple of 4?
False
Suppose 6*r = 3*r - 12. Does 6 divide r + 2 + 6 - -19?
False
Is ((-4)/(-6))/((-8)/(-108)) a multiple of 6?
False
Let d = 18 + -6. Is 6 a factor of d?
True
Let h = 104 + -71. Is 33 a factor of h?
True
Let r = 122 - 46. Is r a multiple of 5?
False
Let r(m) = -m**3 - 9*m**2 + 4*m - 11. Let h be r(-9). Let g = h + 102. Is g a multiple of 11?
True
Suppose -7*q - 4 = -3*q + 5*k, 2*k + 12 = q. Suppose -2*b + q = -70. Is 10 a factor of b?
False
Suppose -3*a - 3*r + 117 = -4*r, 5*a + 2*r - 206 = 0. Is a a multiple of 9?
False
Let c(l) = -36*l. Let g be c(-5). Suppose 4*a - 32 = -g. Is 12 a factor of (3 - 2)/(-1) - a?
True
Let n(p) be the first derivative of -p**4/4 + 4*p**3/3 + p**2 + 4*p + 7. Is 6 a factor of n(4)?
True
Let u = 365 + -195. Is 9 a factor of u?
False
Suppose 5*t = 2*n + 163, 2*t - 397 = 6*n - n. Let q = n + 127. Is q a multiple of 17?
False
Let z = 14 - -31. Does 18 divide z?
False
Let u = -73 - -51. Let y = 43 + u. Does 7 divide y?
True
Suppose 0*n - 4*n = -40. Let a(m) = m**2 - 8*m - 11. Does 4 divide a(n)?
False
Is 3 a factor of (-1)/(-4) + (-11)/(-4)?
True
Let g(d) = 12*d**2 - 2*d - 1. Does 3 divide g(-1)?
False
Let z(c) be the first derivative of c**3/3 - 5*c**2 - 6*c - 7. Does 4 divide z(11)?
False
Is -6*(-10)/4 - 3 a multiple of 6?
True
Suppose -5*z - 222 = -812. Is z a multiple of 7?
False
Suppose 0 = 5*o + 4 + 6, 3*o - 246 = -2*j. Is 23 a factor of j?
False
Is 3/(1/(30/9)) a multiple of 10?
True
Suppose 2*t - 181 - 54 = -f, -3 = -3*f. Does 13 divide t?
True
Let r = -170 - -263. Is 31 a factor of r?
True
Let v(l) = l + 14. Let i be v(-11). Let m be 4/(-10) + (-24)/(-10). Suppose 0 = i*w + 15, -3*q + m*w + 84 + 7 = 0. Is q a multiple of 9?
True
Let q(m) = 2*m - 1 + 4 - 4. Is 7 a factor of q(7)?
False
Suppose 2 = -c + 7. Suppose 0 = d + r - 13, -c*r = -d - 3*d + 16. Is 3 a factor of d?
True
Let i(b) = -b**2 + 2*b + 4. Let p be i(3). Does 3 divide -2 - 8*(p + -2)?
True
Suppose 2*b + 5*m - 1138 = -b, 0 = 5*b + 4*m - 1901. Is b a multiple of 61?
False
Suppose -60 - 248 = -11*w. Is 11 a factor of w?
False
Suppose 5*n + 927 = 2*n. Is n/(-9) - 2/6 a multiple of 17?
True
Let s(n) = 9*n**2 + n + 6. Is 21 a factor of s(-3)?
True
Suppose 2*g - 7*g = -4*p + 167, 3*p - 124 = 4*g. Is p a multiple of 8?
True
Suppose g = -y - y + 2, 3*g + 14 = 4*y. Suppose -12 = -a + 4*u + 2, y*u - 42 = -3*a. Does 14 divide a?
True
Suppose -6*v = -v - 480. Is v a multiple of 12?
True
Is ((-26)/3 + -1)*(-240)/20 a multiple of 10?
False
Let b = -12 + 6. Let w = b + 12. Does 6 divide w?
True
Is 6/1 - 9/(18/4) a multiple of 2?
True
Let s = 13 + -6. Is s a multiple of 7?
True
Let i = -5 - -9. Suppose 130 = 4*a - 2*q, a - 2*q = -i*q + 45. Is 13 a factor of a?
False
Is (-1)/1 + 2 + 70 a multiple of 11?
False
Let m(l) = l + 24. Let j be m(0). Suppose 4*b - 4 = -3*g, 6*b - 5*g = 5*b + j. Does 14 divide (0 - -4)/(b/14)?
True
Suppose 4*v - 121 - 79 = 0. Does 25 divide v?
True
Suppose 5*v + 4*t - 654 = -187, v - 3*t - 101 = 0. Let o be v/20 - (-1)/4. Suppose -145 = -o*c + 5*x, -3*x = 4*c - 0*x - 109. Does 14 divide c?
True
Let y(t) = -2*t**3 - t**2 - 3*t + 41. Let o(r) = -r**3 - r**2 - r - 1. Let q(h) = -3*o(h) + y(h). Is q(0) a multiple of 13?
False
Suppose -9*j - 750 = -12*j. Is 25 a factor of j?
True
Let q = -28 - -49. Is q a multiple of 3?
True
Let o be (-1)/((-2)/(4*-7)). Is 92/9 - o/(-63) a multiple of 7?
False
Suppose 4*q - 161 = 3*o + 265, 0 = 3*q + o - 313. Does 15 divide q?
True
Let n = -64 + 103. Let a = n + 76. Does 30 divide a?
False
Let d = 29 - -11. Is (1 - (-2 + 2)) + d a multiple of 15?
False
Let a(o) = 0 + 0 - 10 + o**3 - 8*o**2 + 10*o. Is 10 a factor of a(7)?
False
Suppose -3*p + 89 = -37. Is 10 a factor of p?
False
Let a = -1 - -4. Suppose 5*g - 59 = 2*s, a*s + s + 27 = 3*g. Does 9 divide g?
False
Let k(f) = 21*f - 7. Suppose -8 = -2*m + 3*o, -2*m = -0*m + o - 16. Let g be k(m). Suppose -g = z - 6*z. Does 11 divide z?
False
Is (-1 + 1 + -1)/((-1)/65) a multiple of 13?
True
Let l(r) = -8*r**3 + 2*r. Is 21 a factor of l(-3)?
True
Let g(r) = r + 2. Let a be g(-2). Suppose 2*y + 0*y - 62 = a. Is y a multiple of 18?
False
Let k = 56 + 8. Does 16 divide k?
True
Let f(q) = -5 - 6*q + 0*q + 0*q. Is 13 a factor of f(-4)?
False
Let n = -4 + -2. Let s(t) be the first derivative of -t**3/3 - 5*t**2 - 7*t + 19. Does 7 divide s(n)?
False
Suppose 3*i - 120 - 240 = 0. Does 10 divide i?
True
Let k = 83 - 59. Suppose -24 = -3*c + k. Is c a multiple of 8?
True
Let g = 8 - 6. Suppose 0 = g*y + 3*k - 6, 5*k = -2*y + 6*y - 34. Is y even?
True
Let k be (-2 - (-3 - -1)) + -3. Let q = k - -18. Is q a multiple of 15?
True
Let b(c) = -c**2 + 9*c + 9. Let l = -11 + 16. Suppose 0 = -l*a + 40 - 5. Is 8 a factor of b(a)?
False
Let h(p) = 2*p**3 + p**2. Let u be h(1). Suppose u*k = 8 + 1. Suppose 3*a = -5*v + 9, -4*a + 1 = -k*v + 18. Is 3 a factor of v?
True
Let w(i) = 30*i**3 + 9*i**2 - 11*i - 13. Let d(m) = 15*m**3 + 4*m**2 - 5*m - 6. Let h(q) = 13*d(q) - 6*w(q). Does 7 divide h(1)?
True
Suppose x - 25 + 4 = 0. Suppose y - x = 12. Is y a multiple of 11?
True
Let m(l) = l**3 + 10*l**2 - l. Let y be m(-10). Let p = -5 + y. Suppose 194 = p*a + 2*h, -h = 3*a - 2*h - 123. Is 14 a factor of a?
False
Suppose 5*m - 280 = -5*p, -4*p = -0*p + 2*m - 224. Does 14 divide p?
True
Let l be 2 + (-3)/(-3)*19. Suppose f = 3*j + 4 + 3, 2*f = -j + l. Is 5 a factor of f?
True
Suppose -2*u + 4*f = 16, 5*f + 79 = -4*u + u. Let y = u + 20. Is y even?
True
Let y(t) = 314*t**2 + 2*t - 1. Is y(1) a multiple of 45?
True
Let i = -5 - -8. Suppose 2*d + i*m = -48, d + 7 + 15 = -m. Does 4 divide (4 - 2)*d/(-4)?
False
Suppose 4*x - 76 = 9*x + 4*i, 2*x + 32 = -2*i. Let l = x + 24. Is 10 a factor of l?
False
Let a(f) = f**2 - 5*f - 15. Is a(-6) a mult