 17*p(f). Let m be w(-3). Does 3 divide -1 - 3*-3 - m?
True
Suppose -2*w = 13 - 101. Suppose -3*s + w = 2*x, 0*x - x + 14 = s. Is 4 a factor of s?
True
Let u(v) be the second derivative of 5*v**3/6 - 2*v**2 + 2*v. Suppose t - 7 = -3*b, -t = 2*b - 0*t - 3. Is 16 a factor of u(b)?
True
Suppose 7*q - 9*q + 60 = 0. Is 15 a factor of q?
True
Let m(k) = 4*k. Let o(j) = -j**2 - j - 1. Let x(a) = m(a) - o(a). Let h be x(-5). Is h*(-1*2 - -8) a multiple of 6?
True
Suppose -z = 1 - 3. Suppose c = -2*q + 196, 380 = 4*q + 3*c + z*c. Suppose 3*u - 7*u = -q. Is 14 a factor of u?
False
Let v be ((-20)/(-25))/(2/60). Suppose -v = 4*j - 3*j. Let g = 16 - j. Is 20 a factor of g?
True
Suppose 0 = -4*y - 9 - 115. Let q = -37 + -8. Let r = y - q. Is 14 a factor of r?
True
Let i = -3 + 6. Suppose g - 3 = -i*d - 0*d, 5*g + 2*d = 28. Is g a multiple of 3?
True
Let t = 2 + 31. Let n(c) = c**2 + c - 5. Let l be n(-4). Let p = t - l. Is p a multiple of 9?
False
Suppose -4*v + 4 = u, -u = -4*u - 2*v + 22. Suppose -u = 2*d - 0. Let b(o) = o**3 + 6*o**2 + 5*o. Is b(d) a multiple of 9?
False
Suppose 3*r + 5 = -1. Let i = 2 + r. Let s = i + 4. Is s a multiple of 3?
False
Let q(s) = 8*s + 4. Let v be q(7). Suppose v = 2*z - 3*j, -4*j = -2*z - 0*j + 58. Is 16 a factor of z?
False
Suppose 5*p + 178 = 73. Let v = p - -54. Does 8 divide v?
False
Suppose 0 = 5*a - 5*x + 35, -5*x = 2*a - 7 - 7. Let n = a + 7. Does 9 divide 182/8 + 1/n?
False
Let c be (1 + -2)*(0 + 6). Let g be (54 - -1) + c/3. Suppose -3*d - 3 = -0, -2*y + d + g = 0. Is 16 a factor of y?
False
Let l(o) = -o + 1. Let d be l(-2). Suppose -3*y = -3*c - 0*c + 12, d*y - 6 = 0. Does 5 divide c?
False
Let b = 22 - -12. Suppose d + 5*o - 55 = 5*d, -2*d - 4*o = b. Let k = 30 + d. Is 5 a factor of k?
True
Suppose -m = -2*m + 10. Does 5 divide m?
True
Is (8 + -2 - -3) + -2 + 0 even?
False
Let n = -24 + 14. Let d(y) = -7*y - 14. Does 14 divide d(n)?
True
Suppose -3*g - 3*g = -510. Is 17 a factor of g?
True
Let z(c) = 2*c**2 - c - 1. Let q be 4/(-6) + 2/(-6). Let y be z(q). Suppose 7 = y*n - 39. Is n a multiple of 6?
False
Suppose 0 = 5*q - 10, 0 = 2*g + 4*q - 116. Does 18 divide g?
True
Does 7 divide (-472)/(-18) + (-6)/27?
False
Suppose 4*b - 19 = -n - b, -3*b + 1 = -2*n. Let a = -4 + n. Suppose 5*x = 2*d - 64, -d - 4*d + 3*x + 122 = a. Is 11 a factor of d?
True
Let r(k) = -6*k. Let h(p) = p. Let n(x) = -8*h(x) - r(x). Let a be n(-1). Suppose j + 3 = 4*j + o, 5*j + a = -4*o. Is j a multiple of 2?
True
Let x = 57 - 30. Is 9 a factor of x?
True
Is 17 a factor of (3 - 0) + 0 + 50?
False
Let m(k) = -k**3 - 4*k**2 + 7*k + 3. Let o be m(-5). Let c = -16 - o. Let w = 4 - c. Is 13 a factor of w?
True
Let c(p) = p - 5. Let s be c(4). Let f = 1 + s. Suppose 2*r + 3*u - 18 = f, 5*u = -0*u + 10. Does 6 divide r?
True
Let l(y) = 6*y. Let t be l(-3). Let s be ((-8)/2)/(-2) + -6. Does 14 divide (-526)/t - s/(-18)?
False
Let a = -4 + 4. Suppose 2*r - 56 - 68 = a. Is 13 a factor of (4 + -2)/(4/r)?
False
Suppose 7*a - 84 = 4*a. Is 7/a + (-75)/(-4) a multiple of 10?
False
Let f be 2/2 - 0/2. Let d = 48 + -34. Let a = f + d. Is a a multiple of 8?
False
Suppose 5*h + 0*h = 45. Let r = 17 - h. Is 4 a factor of r?
True
Let i(q) = q**2 + 4*q + 6. Does 9 divide i(-7)?
True
Let c = 64 + 249. Is c a multiple of 12?
False
Is 21 a factor of ((-74)/(-8))/((-1)/(-4))?
False
Is 875/20 - 3/(-12) a multiple of 11?
True
Let o be (-2)/5 - (-1015)/(-25). Let z = o + 89. Is 12 a factor of z?
True
Suppose -f + 2 = -1, -21 = -3*a - 5*f. Suppose -2*p - a*p = -144. Does 18 divide p?
True
Let x(v) = v**3 + 7*v**2 - 10*v - 6. Suppose -2*k + 6 = -5*k + 3*m, -2*k = 2*m. Let y = k + -7. Does 5 divide x(y)?
True
Let z = 13 + -5. Let v(c) = c - 1. Is 4 a factor of v(z)?
False
Let o be (-21)/27*-3*3. Let n = -11 + o. Is 17 a factor of (n/(-8))/(3/222)?
False
Suppose -i + 6 = -3. Let k(u) = -u**3 + 5*u**2 + 2*u - 6. Let o be k(5). Suppose o*f - 37 = -f - 3*n, f - i = -n. Is f even?
False
Let u be 1/(-3) - (-218)/6. Suppose 22 = -3*w + 61. Suppose -10 = g + 4*f - u, f + w = 3*g. Is g a multiple of 3?
True
Suppose -c + 2 = -1. Suppose 0 = -6*m + c*m. Suppose -2*h = -2, -44 = -2*v - m*h - 4*h. Is 10 a factor of v?
True
Suppose 6*s + 25 = s. Let v(b) = 2*b**2 + 4*b - 7. Is 16 a factor of v(s)?
False
Suppose -5*m - 1 = -16. Suppose 0 = -m*p - 8 + 38. Let a(g) = g + 4. Is 8 a factor of a(p)?
False
Suppose -o = -4 - 3. Let d(q) = 6*q - 6 - 1 + q**2 - 8*q. Is d(o) a multiple of 14?
True
Suppose -56 = -3*y - 3*l + 34, -3*l - 12 = 0. Does 17 divide y?
True
Suppose 146 - 56 = 6*n. Is n a multiple of 4?
False
Let p(k) = 9*k - 4. Is p(4) a multiple of 8?
True
Is 35 a factor of -133*((-2)/1)/2?
False
Let q be (-12)/(-42) + 4/(-14). Suppose q = x, -2*d - 2*x = -0*d - 34. Is d a multiple of 17?
True
Let r(w) = 5*w - 2. Let y be r(5). Let a = y + -41. Let p = a - -28. Is 5 a factor of p?
True
Suppose -23 = -2*x - z, -2*x - 20 = -4*x - 4*z. Suppose 0*u - x = -2*u. Let y(w) = w**2 - 2*w. Does 10 divide y(u)?
False
Suppose 4*u - 40 = 80. Is u a multiple of 5?
True
Let s = 22 - 14. Let o = 0 - s. Is (-45)/(-2) + (-4)/o a multiple of 9?
False
Suppose 0 = -4*d + 2*d - 14. Let m be d/(7/348) - 0. Is m/(-22) + 2/11 a multiple of 13?
False
Let t(i) = -6*i - 1 + i - 1 + 6. Does 7 divide t(-3)?
False
Suppose 122 = 3*y - 316. Is 25 a factor of y?
False
Suppose -3*o + 10*o - 728 = 0. Is o a multiple of 25?
False
Let h be 228/30 + 2/5. Suppose -3*v = -h*v + 30. Is 6 a factor of v?
True
Let b be 2/4 - (-7)/2. Suppose 0 = 2*h + k - b*k, 5*k = 10. Suppose h*l + c + 2*c - 18 = 0, -3*l + 26 = c. Is 5 a factor of l?
True
Is 95 - (18/(-4) + 4)*8 a multiple of 34?
False
Is 45 a factor of 30/(-63)*-111 - (-4)/28?
False
Suppose -5*k = -z + 19, z - 2*z + 10 = -2*k. Suppose z*q - 114 = q. Is 19 a factor of q?
True
Let m(v) = v**2 - 2*v - 1. Let u be m(3). Suppose 42 = 4*y - u*f, 5*f - 3 = y - 0. Does 6 divide y?
True
Suppose -5*m + l = -20, -3*m - 2 = -l - 12. Suppose 3*k - 7 = -4*s + 23, m*k = 4*s - 14. Suppose 5*i = 2*i + s. Is i even?
True
Suppose -1 = -2*m + 3. Let h(r) = 4*r + 2 + 6*r**2 - 4*r. Is 13 a factor of h(m)?
True
Let b = 29 - 13. Suppose 16 = -14*s + b*s. Is s a multiple of 4?
True
Suppose 0 = 4*k + 4*p - 32, -3*k + 4 = 2*p - 18. Let m(l) be the third derivative of l**4/12 + l**3/6 + 2*l**2. Is 6 a factor of m(k)?
False
Let r(n) = -n**2 + 30*n - 50. Does 25 divide r(20)?
True
Let r(i) = -5*i**3 - 2*i**2 + i + 1. Is 14 a factor of r(-2)?
False
Let y(k) = 108*k - 18. Is y(2) a multiple of 12?
False
Suppose 5*v = -5*z - 30, -2*z - 5 = -v + 13. Let c be z/6*-3 + 2. Let t = c - -3. Does 6 divide t?
False
Let c be (-12)/(-3) + (-1)/(-1). Suppose -f + 4 = -c*l, 2*f + 2*l - 26 = 3*l. Let n = 2 + f. Does 6 divide n?
False
Suppose 0*k - 9 = -3*k. Suppose k*y + 2*s + s = 180, -3*y + 3*s + 168 = 0. Let p = 87 - y. Is p a multiple of 16?
False
Let k(p) = p**3 - 3*p**2 - 5*p + 10. Is 24 a factor of k(5)?
False
Let p be -43*(-5)/(5/(-2)). Let b = -81 - -205. Let l = b + p. Is 19 a factor of l?
True
Let t = 26 + -17. Is t a multiple of 2?
False
Let n be (-4 - 4)*(-2)/4. Suppose a = 3 + n. Is 4 a factor of a?
False
Let x(f) = f**2 - 18. Is x(-8) a multiple of 13?
False
Let q = -4 - 0. Is (2/q)/(1/(-10)) a multiple of 4?
False
Let j(m) = -2*m**3 - m + 2. Let l be j(-2). Let t = -13 + l. Is t a multiple of 2?
False
Suppose 7*r + 15 = 4*r. Let b(j) = 7*j**3 - j**2 + 7*j + 7. Let p(k) = 15*k**3 - 3*k**2 + 15*k + 14. Let q(i) = 13*b(i) - 6*p(i). Is q(r) a multiple of 2?
True
Suppose 0 = -u - 4*n - 3 - 4, 0 = -2*u - 2*n - 2. Let p(t) = t**3 + 2*t**2 + 2*t**3 + 1 - 2. Does 2 divide p(u)?
True
Suppose 4*n - 12 = 0, n + 4 = -w + 25. Let s = w + 16. Does 13 divide s?
False
Suppose 0 = -2*m + 6 + 16. Suppose 5*z - 14 = m. Suppose -5*p - z = 0, 5*i - 2*p - 106 = -34. Is i a multiple of 7?
True
Let k be (3/(-4))/((-1)/28). Suppose 3*b - 4 = -m + k, -3*b + 118 = 4*m. Is 14 a factor of m?
False
Let w be 5*(0 + -3 - -2). Let n(g) = 3*g**2 - 2*g + 1. Let c(u) = 4*u**2 - 3*u. Let k(z) = w*n(z) + 4*c(z). Does 2 divide k(4)?
False
Suppose 15 = 5*q, 0 = g - 0*q + 2*q + 12. Let j = 69 - 98. Let m = g - j. Is 3 a factor of m?
False
Let q(o) = o**2 + 10. Is 11 a factor of q(6)?
False
Let v(l) = 2*l**2 + 2*l - 3. Is v(-3) a multiple of 3?
