
Let h = -13 + -1. Let u = 27 + h. Does 13 divide u?
True
Suppose 4*d - 17 = x, -2*d + 6 = -4. Is x a multiple of 2?
False
Is -1*(-10)/(-45) - (-1966)/18 a multiple of 21?
False
Let w = -489 - -716. Is 16 a factor of w?
False
Suppose -7*k + 11*k = 200. Does 13 divide k?
False
Let y(c) be the first derivative of c**3/3 + c**2/2 + 2*c - 1. Let w be y(-2). Suppose -5*p + 170 = w*j + 29, 95 = 3*p + 5*j. Is 12 a factor of p?
False
Let w(m) = -m**3 - m + 4. Let l be w(0). Suppose -l*z = 3*s - 127, -4*s + 5*z + 172 - 44 = 0. Is 11 a factor of s?
False
Suppose 0 = 3*k + m - 10, -5*k + 3*m + 5 + 7 = 0. Suppose -4*g - 4*l = -0*l - 76, -59 = -k*g - l. Is g a multiple of 15?
False
Let x(n) = 99*n**3 - n**2. Let u be x(1). Let c = u - 53. Is 19 a factor of c?
False
Let o(a) = -3*a**2 - a + 1. Let d be o(1). Let u be (6/d - -5)*48. Suppose -72 = -3*k + k + z, 4*k - u = -2*z. Does 19 divide k?
False
Is 36 a factor of 1/(((-6)/1656)/(-1))?
False
Is 39 a factor of (81 - 3)/((-12)/(-42))?
True
Suppose 0 = 2*r - 4*r + 4. Suppose -r*t - 10 = -s + 2, -3*s = -2*t - 24. Suppose 4*h + 1 = 5*y - 1, -4*y + s = -h. Is h even?
True
Suppose -v + 2*l + 28 = 4*l, -2*v + 56 = l. Is v a multiple of 3?
False
Suppose -38 = -h - 5*w, 0 = h - 0*h - 5*w - 18. Is 11 a factor of h?
False
Suppose -3*y + 6*o = o - 169, -y = -2*o - 55. Let s = -29 + y. Suppose 0 = -5*u + 10, 0*z - s = -3*z + 4*u. Is 5 a factor of z?
False
Suppose -2*k - 2 = 3*h, 0 = -5*h + k + 4 + 10. Let q be (h + 15/(-6))*6. Does 21 divide q + (-3 - -147)/3?
False
Let l(r) be the first derivative of 2*r**4 - r**3/3 - r**2 + 2*r + 3. Is 15 a factor of l(2)?
False
Suppose -9 = 2*f - 3*f. Does 3 divide f?
True
Let r(u) = 5*u**2. Is 4 a factor of r(-2)?
True
Let i(z) = z + 59. Is i(9) a multiple of 11?
False
Let c(r) = -71*r - 1. Let h be c(-1). Is -8*-2*h/16 a multiple of 17?
False
Let p(n) be the first derivative of -n**6/360 + 3*n**5/40 - 2*n**3/3 + 1. Let t(m) be the third derivative of p(m). Is t(7) a multiple of 14?
True
Does 4 divide (-18 - -1)*(-1)/1?
False
Let s be ((-4)/(-6))/(6/9). Let f be -7 + -1*2 - s. Let j = f + 21. Does 9 divide j?
False
Let f(j) = 11*j**2 - 5*j + 4. Suppose -4*q + 12 = 4. Is 13 a factor of f(q)?
False
Let q(b) = b**2 + 21*b + 17. Does 23 divide q(-29)?
False
Suppose 5*i = -5*n + 15, -3*i + 7 = 5*n - 0*n. Suppose i*o - 204 = x, -o + 6*o - 5*x = 270. Is o a multiple of 25?
True
Let k(d) = d**3 - 8*d**2 - 9*d - 4. Let u be k(9). Let f(y) = -y - 2. Is f(u) even?
True
Let m be ((2 - -186)/(-1))/(-1). Suppose 2*f = -2*n + 68, 0 = -3*f - 2*f + 4*n + m. Is 14 a factor of f?
False
Let j = 65 - 42. Suppose -4*o + j = -9. Is o a multiple of 8?
True
Suppose -c = -7*c. Does 14 divide 3 + (c - -2 - -65)?
True
Let f(b) = b**3 + 5*b**2 + 5*b + 5. Let r be f(-4). Is 13 a factor of (-26)/(r/2*-4)?
True
Let v(s) = -2*s**2 - 2*s**2 + s**3 + s + s**2 + 2*s. Let j be (4 + -2)/((-1)/(-2)). Does 10 divide v(j)?
False
Suppose o + 5*f - 25 = 0, 3*o + 0*f + 10 = 2*f. Suppose 0 = -4*i + 4*z + 108, -3*i + o*z = z - 69. Is i a multiple of 12?
True
Let t = 146 + -81. Is 31 a factor of t?
False
Let m(h) = -h**3 + 5*h**2 - 3*h. Let d be m(4). Suppose 4*g + 0*s - d*s + 20 = 0, 3*g = -4*s - 29. Let b = g - -11. Is b a multiple of 3?
False
Let x(t) = -13*t + 41. Let p(c) = -9*c + 27. Let h(s) = 8*p(s) - 5*x(s). Does 14 divide h(-8)?
False
Let b(w) = w + 4. Let s be b(4). Suppose -4*u + 0 = -s. Suppose -5*f - 3*g = -18, -u*f - 2*f - 2*g = -16. Does 6 divide f?
True
Suppose -4*n = -3*n - 2. Suppose -5*m + 183 + 57 = n*d, m + 5*d = 71. Is 20 a factor of m?
False
Does 8 divide 3 - 447/(0 + -3)?
True
Suppose -25 = 5*r, y - 4*r = -0*r + 48. Is 5 a factor of y?
False
Let l be 2583/11 - 8/(-44). Suppose -l = -5*t - 0*t. Is t a multiple of 22?
False
Let l(c) be the first derivative of 2*c**2 + 12*c + 1. Is l(10) a multiple of 22?
False
Let j = 0 + 3. Suppose j*i + 9 = 21. Is i a multiple of 2?
True
Suppose 4*r + h = -20, h + 4 = 2*r + 14. Let n be r - (9/3 - 1). Let b = n - -25. Is 18 a factor of b?
True
Is (4 + 0)*((-369)/(-4))/9 a multiple of 21?
False
Suppose -3*i + 75 - 6 = 0. Does 9 divide i?
False
Suppose -3*k + 24 = k. Suppose 3*z - k*z + 78 = 0. Does 13 divide z?
True
Let h(n) be the third derivative of n**4/24 + 8*n**3/3 - 6*n**2. Is h(0) a multiple of 5?
False
Suppose 2*y = 0, 2*o + 0*y + 3*y = -74. Suppose -k = 4*l + 77, 0 = -l - 3*l - 20. Let n = o - k. Is 20 a factor of n?
True
Let v(b) = -5*b**3 + 8*b**2 - 10*b - 7. Let i(q) = -9*q**3 + 17*q**2 - 20*q - 14. Let h(f) = 4*i(f) - 7*v(f). Does 4 divide h(11)?
True
Let w(l) = 3*l. Suppose -u - 13 = -5*y, 3*u - 10 = u - 2*y. Does 5 divide w(u)?
False
Let w be (6/(-9))/((-6)/117). Let z(u) = -u**2 + 14*u + 7. Is 20 a factor of z(w)?
True
Let j = -26 + 24. Let p be 1/1*-1 + -13. Is j/((p/(-20))/(-7)) a multiple of 10?
True
Let p(n) = n**2 + 1. Let x be p(0). Is 1*14 - (-1 - x) a multiple of 7?
False
Does 17 divide (17/3)/(4*5/900)?
True
Suppose 45 = 5*f + 3*k, 0 = 5*f + 4*k - 26 - 19. Let a = f + 11. Is a a multiple of 10?
True
Let b(i) = 2*i**3 - 2*i**2 + i + 2. Let v be b(2). Suppose 2*r = v - 0. Does 6 divide r?
True
Let j(f) be the first derivative of 2/3*f**3 + f - 3 - 1/2*f**2. Is j(3) a multiple of 16?
True
Let b(z) = -z**2 - 8*z - 3. Let u be b(-7). Suppose -c - 4*h - 12 = 0, u*c = 3*c + 2*h + 6. Suppose c = 2*a - a - 22. Is 11 a factor of a?
True
Let f(m) be the second derivative of -m**4/12 + 7*m**3/6 - m**2 + m. Suppose -3*y - 3*o + 18 = 0, -o = -2*y + 2*o + 12. Does 2 divide f(y)?
True
Let g(o) = 4*o + 1. Suppose 3*t = -12 - 0. Let c be g(t). Let l = c + 26. Is l a multiple of 11?
True
Suppose -5*u + u + 96 = 0. Suppose 4*y - u - 84 = 0. Let o = 43 - y. Is o a multiple of 10?
False
Let x = 4 + -2. Suppose 6*y - y = 3*v - 131, v - x*y - 42 = 0. Suppose -4*t + v = -d, 2*t - 62 = -3*t + 2*d. Is 14 a factor of t?
True
Suppose 0 = 5*x + 22 + 3. Let t = x + 26. Is 12 a factor of t?
False
Suppose 0 = -b + 2*v + 191 - 13, 524 = 3*b - 4*v. Is 31 a factor of b?
False
Let y be 2/(-10) - (-6)/30. Suppose -3*n = 2*n + 100. Let m = y - n. Is m a multiple of 19?
False
Suppose 0*g = 2*g + 256. Is 6/33 + g/(-22) a multiple of 3?
True
Let a = -267 - -396. Is a a multiple of 6?
False
Suppose -4*a - 1106 = 10*a. Let g = -63 - -33. Let v = g - a. Does 21 divide v?
False
Let b(a) be the third derivative of a**6/120 - a**5/12 + a**4/24 - 3*a**2. Is b(5) even?
False
Let x = 5 - -7. Is x a multiple of 4?
True
Let g = -10 + 85. Is g a multiple of 25?
True
Let d(n) = -3*n**2 + 4*n + 4. Let a be d(4). Suppose 3*w = 2*w + 53. Let z = a + w. Is 14 a factor of z?
False
Let z(o) = -o**3 + 7*o**2 - 6*o - 5. Let c be z(5). Does 3 divide ((-18)/c)/(1/(-5))?
True
Suppose 30 = 3*y - 21. Suppose -11 - y = -f + d, -d - 82 = -3*f. Does 9 divide f?
True
Suppose -2*v = 4*v + 408. Suppose 12 = 4*x, 2*h + 0*x = x - 207. Let a = v - h. Is a a multiple of 17?
True
Let w(v) = -9*v - 13. Is w(-15) a multiple of 30?
False
Suppose -3*h = 2*b + h - 90, h - 180 = -4*b. Is b a multiple of 16?
False
Let w(m) = -8*m**2 - 2*m - 1. Let c be w(-1). Let t = 7 + c. Suppose s - 20 = -t*s. Is 10 a factor of s?
True
Let i = 3 + 1. Suppose w - 33 = -2*r - i*w, -4*w = -20. Suppose 3*o - 2*d = 17, r*o = -3*d + 43 + 8. Does 7 divide o?
False
Let t(i) = 2*i - 22. Is 7 a factor of t(18)?
True
Suppose 3*o - 7*o + 20 = 0. Is 7 a factor of ((-54)/(-15))/(2/o)?
False
Is 8 a factor of 402/15*5/2?
False
Let s(m) = m + 104. Does 13 divide s(0)?
True
Suppose 4*p - 296 = 4*b, -7*b + 8*b + 302 = 4*p. Does 19 divide p?
True
Suppose 3*c - 3 = -5*h + 8, c + 3*h - 5 = 0. Suppose -3*q = -c*q + 4, 0 = j - 4*q - 87. Let u = -35 + j. Is 13 a factor of u?
False
Let x(r) = r**3 + 6*r**2 - 3*r - 3. Let a be x(-6). Let l be ((-2)/(-6))/(1/(-3)). Is a - 5 - (-2)/l a multiple of 6?
False
Let v(k) be the first derivative of 24*k**2 + 1. Does 15 divide v(1)?
False
Let k = 108 + -190. Let x = -44 - k. Is 19 a factor of x?
True
Let k(r) = -r**2 + r - 91. Let p be k(0). Let s = p + 162. Does 24 divide s?
False
Does 8 divide 600/18*(7 + -1)?
True
Let m = -43 + -2. Let a(z) = 2*z**2 - 2*z + 3. Let k be a(6). Let w = k + m. Does 6 divide w?
True
Suppose 3*r - 60 + 15 = 0. Does 3 divide r?
True
Suppose -4*u + 29 + 11 = 0. Suppose -c + u = c. Suppose 157 + 10