n a multiple of 49?
False
Let x = -137 - -150. Is 13 a factor of x?
True
Suppose 2 = -2*i + 3*i. Let m be 3 + (i/(-2) - 0). Let q(z) = 9*z - 2. Does 16 divide q(m)?
True
Let i(a) = a - 6*a + a - 7 + a. Is 4 a factor of i(-5)?
True
Let w(m) = 3*m + 39*m**2 + m + 4*m - 7*m. Is 19 a factor of w(-1)?
True
Let l be 0/(2*(-2 + 1)). Suppose l = 3*w + 2*w + 180. Let u = -1 - w. Is u a multiple of 9?
False
Let k(z) = -z - 7. Suppose w = -2*w - 27. Let r be k(w). Suppose r*c = 6*c - 116. Is 12 a factor of c?
False
Let p(u) = -7*u - 1. Let d be p(-1). Let a = 5 - d. Let b(y) = 7*y**2 + 1. Is b(a) a multiple of 3?
False
Suppose x + 100 = 6*x. Suppose -5*y + x = -25. Is y a multiple of 6?
False
Let m(p) be the third derivative of p**6/360 - p**5/40 + p**4/8 + p**3/6 + 2*p**2. Let j(n) be the first derivative of m(n). Is 17 a factor of j(7)?
False
Suppose -3*a + 5 + 91 = 0. Is a a multiple of 16?
True
Is 13 + 20 + 5 + -2 + 1 a multiple of 4?
False
Let o(y) = -y**3 + 8*y**2 + 11*y + 9. Does 9 divide o(9)?
True
Let d(v) be the first derivative of 15*v**2/2 - 2*v + 2. Is 26 a factor of d(3)?
False
Let o(y) = 29*y - 1. Let n be o(3). Is 5 a factor of n/18 - (-2)/9?
True
Suppose f - 61 + 2 = 0. Does 14 divide f?
False
Suppose i + 17 - 72 = 0. Is i a multiple of 11?
True
Let u be (-68)/(-18) + 6/27. Suppose t = u*f + 3*t - 166, 4*t + 4 = 0. Does 15 divide f?
False
Let l(u) = u + 1. Let k = -4 - -9. Is 6 a factor of l(k)?
True
Let d(c) = c + 1. Let u be d(2). Let b = 21 + u. Is 12 a factor of b?
True
Let t = -37 + 97. Is 10 a factor of t?
True
Let y be 1/(1/(-54)) + 1. Let n = -35 - y. Is 9 a factor of n?
True
Let k(g) = 15 + 0*g - 5*g - 23. Does 13 divide k(-8)?
False
Let b(m) = -14*m - 2. Is b(-4) a multiple of 17?
False
Let z(p) = p**3 + 2*p**2 - 2*p - 3. Let c be z(-2). Let m be 1/(-3*c/(-24)). Is 9 a factor of m/1*(-36)/(-16)?
True
Let l(i) = -25*i**3 - i**2. Suppose -d + 1 = -2*d. Does 11 divide l(d)?
False
Is (62/(-4) - -5)/(3/(-16)) a multiple of 8?
True
Let b = 4 + -1. Does 2 divide b?
False
Let u = -59 - -135. Does 7 divide u?
False
Let b(z) be the second derivative of 5*z**4/12 - z**3/6 - 2*z**2 - 7*z. Does 19 divide b(3)?
True
Suppose -2*b = -b + 7. Let f = b - -15. Suppose -4*s + 5*o = -8 - 60, -f = -2*o. Is s a multiple of 11?
True
Let f(v) = 2*v + 0*v + v**2 - v. Let r be f(0). Suppose w + 83 = 3*t - 3*w, 5*t - 3*w - 120 = r. Is t a multiple of 13?
False
Let p(k) = 2*k**3 + 2*k**2 - 6*k - 7. Let t(r) = 3*r**3 + 2*r**2 - 7*r - 8. Let g(n) = -4*p(n) + 3*t(n). Suppose -18 = -5*z - 3. Does 7 divide g(z)?
False
Let s(t) = 5*t**2 + 5*t + 3. Is s(-3) a multiple of 33?
True
Let o = 41 - 18. Suppose 0 = -4*u - m + 77, 3*u = -4*m + o + 38. Is u a multiple of 19?
True
Let u(w) = w**3 - 6*w**2 + 5*w + 5. Let t be u(5). Suppose -5*v = -15, t*v = 4*d + d - 165. Suppose -a + 5*a = d. Does 9 divide a?
True
Let r = -101 - -172. Is r a multiple of 10?
False
Let n(g) = g**2 - 2*g + 3. Let b be n(3). Let c = b + 2. Is 3 a factor of c?
False
Let k = 22 - -4. Suppose -j = c - 14, -c + 0*c + k = -3*j. Is c a multiple of 6?
False
Suppose 3*u + 3*c = -2 - 4, -5*u + 5*c = -40. Suppose -2*d + 134 = 3*l, -50 - 35 = -2*l + u*d. Is 13 a factor of l?
False
Let n(c) = 32*c**2 - c + 2. Let w be n(2). Suppose -3*m - w = -7*m. Let d = m - 14. Does 9 divide d?
True
Let w(p) = 3*p**2 - 18. Is w(9) a multiple of 7?
False
Does 13 divide ((-1)/6 + (-74)/6)*-10?
False
Suppose -5*d - 41 = -6. Let s(n) = n**2 + 3*n - 5. Is 9 a factor of s(d)?
False
Let f be (-1)/2 - (-270)/12. Suppose 2*y + 2 = f. Does 4 divide y?
False
Is 217/3 - 96/72 a multiple of 4?
False
Let y be 1 - (-2 + 3)*9. Suppose 3*g + 56 = 4*z - 5*z, 5*g - 5*z = -60. Let m = y - g. Does 9 divide m?
True
Let l(b) = -9*b. Let u = -24 + 54. Suppose -5*y - u = 5*t, 3*y + 2*y = -4*t - 29. Does 13 divide l(y)?
False
Does 16 divide (-4 - -5) + 30 + 1?
True
Let h = 7 - -201. Is h a multiple of 13?
True
Let z = -110 + 124. Is z a multiple of 9?
False
Let h(l) = l**3 - 14*l**2 + 15*l + 8. Is h(13) a multiple of 17?
True
Let p(n) = -n**3 - 5*n**2 + 2*n - 3. Let g be 19/(-2) - 4/8. Let b = g + 4. Is p(b) a multiple of 11?
False
Let u(j) = 7*j**3 + 4*j - 13. Let l(q) = 15*q**3 + q**2 + 9*q - 27. Let o(s) = 6*l(s) - 13*u(s). Is o(6) a multiple of 11?
False
Let c(g) = -3*g - 6 + 2 + 3. Does 21 divide c(-14)?
False
Suppose -2*d = -5*d + 21. Let n = 12 - d. Does 2 divide n?
False
Suppose -q + 5*w = -12 - 26, q = -w + 68. Suppose 4*y = y + q. Is 21 a factor of y?
True
Let o(b) = b**2 - 10*b + 16. Is 8 a factor of o(12)?
True
Suppose -4*x + 23 = -1. Let r(a) = 2*a**2 - 7*a + 6. Let m be r(x). Suppose -2*q = 2*q - m. Is 4 a factor of q?
False
Let c be (-6)/4*4/(-3). Suppose -5*k - 96 = r, -c*k - r - 42 = -6. Does 12 divide (k/8)/(1/(-10))?
False
Let g = 128 + -4. Does 12 divide g?
False
Let u = 170 + -113. Is u a multiple of 19?
True
Let z(u) = u - 7. Let j be z(10). Suppose 5*t = -20, -4*a + j*a - 4*t + 91 = 0. Let c = -74 + a. Does 12 divide c?
False
Let m(x) = -6*x**2 + 5*x - 11. Let s(f) = 3*f**2 - 3*f + 6. Let j(t) = -4*m(t) - 7*s(t). Let i be j(-5). Suppose c = -3*c + i. Is 8 a factor of c?
False
Suppose 0 = -3*a - 2*l + 4 + 75, -5*l - 21 = -2*a. Does 6 divide a?
False
Let k(g) = -g + 1. Let b be k(-3). Suppose 2 = -3*h + 2*h + d, 0 = -4*h - b*d + 24. Suppose h*x - 14 = 12. Is 7 a factor of x?
False
Suppose 3*t + t = 360. Is 15 a factor of t?
True
Suppose -3 = -2*n + n. Let a(t) be the first derivative of 2*t**2 - 2*t + 2. Is 10 a factor of a(n)?
True
Let t be (-32)/(-6) + (-3)/9. Let w = t - -3. Suppose 25 = 5*a, k - 4*a = -0*k - w. Is 12 a factor of k?
True
Let r(b) = -3*b + 83. Is 14 a factor of r(-19)?
True
Let b(n) = 8*n**2 + n - 4. Let x be b(-3). Suppose -4*l - 8*y + x = -3*y, 2*y = -2*l + 30. Is ((-24)/l)/((-1)/10) a multiple of 12?
True
Let n(x) be the second derivative of -x**4/12 + 7*x**3/6 + 4*x**2 - 3*x. Does 4 divide n(7)?
True
Suppose l = 4*v + 18, -5*l - 4*v + 7 + 11 = 0. Does 11 divide 1/((l/(-45))/(-2))?
False
Suppose 4*p + 154 = 22. Let t = p - -68. Let n = t - 13. Is 11 a factor of n?
True
Let v(i) = -i**2 - 29*i + 1. Is 16 a factor of v(-20)?
False
Suppose h = -1 + 5. Let j = h + 11. Suppose 5*z = 55 + j. Is 7 a factor of z?
True
Suppose 2*q = -0*q. Suppose 5*i + 30 = 5*x, -5*i + 0*i + x - 22 = q. Is (-1)/(-2) + (-10)/i a multiple of 3?
True
Suppose c = -5*m + 1554, 11*m - 5*c - 1249 = 7*m. Does 17 divide m?
False
Suppose 4*g - 27 = -3. Suppose -2*b + 4 = 3*y, g = y - 4*y. Does 5 divide b?
True
Let s(i) be the first derivative of -i**3/3 + 2*i**2 + 5*i + 1. Let p be s(4). Suppose 3 = -o + 2*y + 31, -p*o = 3*y - 75. Is o a multiple of 9?
True
Suppose -39*m + 41*m = 54. Is m even?
False
Suppose 38 + 222 = -4*i. Let r be (-2*1)/(10/i). Let g = 5 + r. Is g a multiple of 17?
False
Suppose 10 = -5*f + 150. Let a = f - 14. Is a a multiple of 10?
False
Suppose -5*j + 119 + 56 = 0. Does 7 divide j?
True
Suppose -2*k = -k - 83. Let g = -26 + k. Suppose -5*l = -4*n + 53, -5*n + g = 4*l - l. Is 12 a factor of n?
True
Let l = 48 + -33. Suppose -g + l = -0*g. Is 10 a factor of g?
False
Let m = -16 - -23. Is m a multiple of 4?
False
Let c(d) = 2*d**2 - 6*d - 3. Suppose 0 = -r + 4, r - 2 = 5*g - 23. Is 17 a factor of c(g)?
True
Let f = -140 - -337. Does 22 divide f?
False
Let i(r) = -9*r + 1. Let v be i(1). Let q(o) = 0 + 0*o - 4 - 5*o. Does 12 divide q(v)?
True
Let k(n) = n**2 - n + 5. Let o be ((-2)/(-4))/((-1)/(-24)). Suppose -2*z = -4*z - o. Does 13 divide k(z)?
False
Let l(v) = v**3 + 5*v**2 + 4*v - 4. Let j be l(-5). Suppose 0 = 2*x - 7*x - 240. Let r = j - x. Is 12 a factor of r?
True
Let s be (-8)/36 + 29/9. Suppose 5 = -2*g - 5*v, 0*g - s*g = v - 12. Suppose -29 = -g*h + 16. Does 9 divide h?
True
Let w = -6 + 8. Suppose -119 = -5*k + 5*b + 6, 0 = -w*k + 5*b + 41. Does 14 divide k?
True
Let r(p) = 4*p - 4. Let f be r(3). Let u = 15 - f. Is u a multiple of 4?
False
Let c(j) = -j**3 + 7*j**2 - 6*j + 1. Suppose 0 = -t - 2*l + 7 - 18, t - 24 = 5*l. Let k be 2 - (0 - t - 4). Is 8 a factor of c(k)?
False
Suppose -9 = 3*y - 45. Let p be (-4)/6 - (-68)/y. Suppose v = p*t - 15, -4*t - 20 = -5*v + v. Is v a multiple of 5?
True
Suppose -17 = -4*z - g + 3, 12 = z + 2*g. Suppose -z*x + 80 = -68. Suppose -4 + x = 3*t. Does 11 divide t?
Tr