 divide o(-5)?
True
Let n = 105 + -48. Suppose -n = -x - 5. Suppose 0 = 4*b - 2*b - x. Does 10 divide b?
False
Suppose 7*g - 194 - 30 = 0. Is 16 a factor of g?
True
Let n(g) = -g**3 + 9*g**2 - 5. Let r be n(7). Suppose -2*v = -21 - r. Does 13 divide v?
False
Suppose -3*f - 3 = f + 5*q, -4*q = 12. Suppose -5*k + 6*c = f*c - 11, 22 = 4*k + 2*c. Does 3 divide k?
False
Let k(u) = -3*u**3 - 17*u**2 - u - 7. Let a(q) = -2*q**3 - 9*q**2 - 4. Let w(v) = -5*a(v) + 3*k(v). Let y be w(7). Let z = 94 - y. Does 26 divide z?
False
Suppose -2*r = -2*a - 20 + 68, 5*a + 2*r = 148. Is a a multiple of 14?
True
Let j = 4 - -18. Is 13 a factor of j?
False
Let g = 77 + -39. Does 3 divide g?
False
Let g be 6/(-21) - 16/(-7). Suppose 0 = -k + 3 - 7, 2*k + g = -3*y. Is 15 a factor of 59/y*(0 + 2)?
False
Suppose 5*x - 81 = 3*c, -4*c + 27 = 3*x - 10. Let y(z) = -z**2 + 20*z - 5. Does 14 divide y(x)?
True
Let q(j) = -j**2 + 10*j + 11. Does 7 divide q(10)?
False
Let v = -10 - -15. Suppose 10*w = v*w + 30. Is w a multiple of 6?
True
Suppose 0 = -2*h + 6*h - 12. Suppose h*s - s - 10 = 0. Is 2 a factor of s?
False
Let f = -163 + 331. Does 42 divide f?
True
Suppose 24 = 2*z + 2*z. Is 5 a factor of ((-24)/10)/(z/(-30))?
False
Is 30 a factor of (-5)/(-25) - (-989)/5?
False
Let a(p) = p**3 + 2*p**2 - 6. Let g(h) = -h**3 - 5*h**2 + 13. Let r(m) = -5*a(m) - 2*g(m). Does 10 divide r(-2)?
False
Let q be 7 + -15 - 4/(-2). Let k = 13 + q. Is 2 a factor of k?
False
Let u = 1 + -3. Is -3 + (13 - (1 - u)) a multiple of 2?
False
Is 30 a factor of 1814/5 - (-10)/50?
False
Suppose -2*c + 4*c = -60. Let k = 0 + c. Is 4 a factor of k/(-25)*40/6?
True
Let v be (-1)/2*(-78)/3. Let h be (-3)/(-12) + v/(-4). Is 11 a factor of 2*h/(18/(-33))?
True
Suppose 0 = -2*r - n + 11, -r + 0*n + 23 = -3*n. Does 5 divide r?
False
Is (-92)/3*12/(-8) a multiple of 13?
False
Let u(c) = c**3 + 7*c**2 + 6*c + 2. Let h be u(-6). Is h*10*(1 - 0) a multiple of 15?
False
Let c = -3 + 6. Suppose -c*a + 12 = 0, 4*n - 2*a - 76 = 16. Let r = n - 13. Is r a multiple of 12?
True
Let k be 5 + -79 + -2 + 1. Let g = k + 126. Let y = g - 32. Is y a multiple of 13?
False
Suppose x + 44 = 5*x. Is x a multiple of 2?
False
Suppose -2*a - 2*a - 4*f + 24 = 0, 4*f = -2*a + 16. Suppose -a*t + 80 = -0*t. Is t a multiple of 10?
True
Suppose 3*x = -2*z - 0*z + 69, z - 28 = 5*x. Is 11 a factor of z?
True
Suppose 0 = -4*i + 12 - 0. Suppose -4*z + 126 = 2*d + i*d, -2*z + 4*d = -76. Is 10 a factor of z?
False
Is 3 a factor of ((-54)/(-10))/(39/130)?
True
Let t(n) be the first derivative of n**4/4 - n**3/3 - n**2/2 + 6*n + 3. Does 2 divide t(0)?
True
Suppose 5 + 1 = 3*p. Suppose p*f = -f + 42. Does 7 divide f?
True
Let x = 8 - 4. Suppose -x*k = -2 - 198. Suppose -6*s = -s - k. Does 3 divide s?
False
Suppose 5*t - 2 = 5*s - 12, -2*t - 4*s = -26. Is 3 a factor of t?
True
Let m(r) = -r**2 - r + 6. Suppose 5*z = -12 + 2. Let c = -2 - z. Is m(c) a multiple of 3?
True
Suppose 0 = 2*u - 6*u. Suppose p + 2 - 18 = u. Does 15 divide p?
False
Suppose -4*s - 272 = -8*s. Does 18 divide s?
False
Suppose -26 = -9*l + 28. Does 3 divide l?
True
Let u be (-2)/(-7) + 23/(-7). Does 2 divide 63/12 - u/(-12)?
False
Let h(x) = x**3 + 4*x**2 - 5*x + 4. Let t be h(-5). Suppose -3*w + 16 = t. Suppose -3*a + 0*o - o + 21 = 0, -5*o = -w*a + 9. Is a a multiple of 4?
False
Suppose -2*d + 24 = 4*c + 2*d, 3*c = 2*d + 8. Let l(r) = -r**2 + 7*r + 2. Let v(u) = u**2 - 6*u - 2. Let b(f) = 6*l(f) + 7*v(f). Does 11 divide b(c)?
False
Suppose -3*d + 86 - 2 = 0. Is d a multiple of 14?
True
Let k(t) be the second derivative of t**4/4 + t**3/6 + t**2 + 2*t. Is k(2) a multiple of 8?
True
Let w(j) = 3*j**2 + 4*j + 10. Is 16 a factor of w(5)?
False
Is 6/21 + 82/7 a multiple of 10?
False
Suppose 4*d - 2*r - 56 = 0, 5*r + 16 = 2*d - 4. Is d a multiple of 6?
False
Suppose -5*y + 24 = 4. Let w be (-2)/(-3)*(y + -1). Suppose 0 = -w*u + 5 + 7. Is u a multiple of 3?
True
Suppose -5*t + 1116 = 316. Is t a multiple of 11?
False
Let x = 269 + -168. Does 8 divide x?
False
Suppose 2*a - 1 = 7. Let f be (0 - 2/a)*-2. Suppose 4*t - f = 15. Is 2 a factor of t?
True
Let x = 266 + -151. Is 44 a factor of x?
False
Let y be 4 + 11 + 0/(-2). Is y/(-9)*(-36)/3 a multiple of 10?
True
Suppose 197 = 4*i - 139. Is i a multiple of 28?
True
Suppose 0 = -2*o - o. Let h = 2 - o. Suppose -3*d + h*d + 30 = 0. Is 10 a factor of d?
True
Let g(v) = v**2 + 6*v - 6. Let n be g(-7). Let h = n + 3. Suppose -b = -h*b + 30. Is b a multiple of 7?
False
Let z = 19 - 16. Suppose z*v - 4*b = -0*v + 70, -4*v + 3*b = -98. Is v a multiple of 13?
True
Suppose -3*u = -12*u + 189. Does 3 divide u?
True
Let l = -8 + 12. Suppose 5*c + 2*q = 185 - 26, 126 = l*c + q. Is 12 a factor of c?
False
Let l = 9 + 15. Suppose 3*w + 5*r = 28, -3*w - r + l = 2*r. Is 2 a factor of w?
True
Suppose 0 = 3*z + 2*v - 19, 2*v - 16 = 3*z - 3*v. Let i(x) = 4*x**2 + z + 0*x - 7*x - 2*x**2. Does 9 divide i(5)?
True
Let d = -9 - -15. Let s(w) = w**2 - 20*w + 5. Let t(u) = 2*u**2 - 39*u + 10. Let i(h) = 11*s(h) - 6*t(h). Is 15 a factor of i(d)?
False
Suppose 755 - 179 = 8*p. Is 6 a factor of p?
True
Suppose -5*f + 0*f = -220. Is f a multiple of 13?
False
Does 20 divide ((-860)/(-25))/((8/10)/2)?
False
Suppose 162 = 4*f - f. Is 18 a factor of f?
True
Let y be (1 - 16) + 1 + 0. Does 8 divide (-304)/y + 4/14?
False
Let c = 66 - 50. Is 4 a factor of c?
True
Let k = 30 + -15. Is 15 a factor of k?
True
Suppose -33 = 8*t - 7*t. Let b = 11 - t. Is 15 a factor of b?
False
Let d = -31 - -55. Is d a multiple of 6?
True
Let v(y) = y**3 + 6*y**2 + 4*y + 5. Does 5 divide v(-4)?
False
Let d be (-1)/(-4) + (-207)/(-4). Suppose d = 3*j - 335. Does 10 divide j/6 - 2/(-4)?
False
Suppose -44 = -2*u + 60. Is u a multiple of 26?
True
Suppose -3 = s - h, -4*s + 30 = s + 4*h. Is 2 a factor of s?
True
Is 2/5 + (-931)/(-35) a multiple of 27?
True
Let n be (-37)/(-2) + 2/4. Let r(v) = 3*v**2 + 2*v. Let j be r(3). Let x = j - n. Is 14 a factor of x?
True
Let p(a) be the second derivative of a**4/4 + a**3/2 - 3*a**2/2 + 2*a. Let b be p(-3). Suppose -j + 5 = -b. Is 11 a factor of j?
False
Suppose -5*q - 2*k + 1 = -0*k, 8 = q + 3*k. Let s(h) = -4*h**2 - h - 1. Let b be s(q). Does 3 divide b*4/((-24)/9)?
True
Let n(m) = -m**2 + 5*m - 2. Let k be n(4). Let q be 142/8 - 1/(-4). Suppose 0*x + k*x - q = 0. Is x a multiple of 9?
True
Let a be (-1)/(-2) - (-67)/2. Does 17 divide (a/8)/(4/48)?
True
Let c(m) = -m**3 - 10*m**2 - 8*m - 6. Let l be c(-9). Let s = l + 6. Let a(j) = -j**3 - 9*j**2 + 7. Is 5 a factor of a(s)?
False
Let s(m) = -m**2 + 14*m + 1. Does 9 divide s(12)?
False
Let m be (4/14)/((-2)/(-14)). Suppose -d - m = -4. Is 17 a factor of d/15*-6*-30?
False
Suppose 0 = 2*h + 6*h - 352. Let i = 28 + -1. Let g = h - i. Is 17 a factor of g?
True
Let v = 2 + 1. Suppose 63 = -v*i + 6*i. Does 7 divide i?
True
Suppose 2*j = 11*j - 351. Does 14 divide j?
False
Suppose -3*i + n = -2*n - 33, -5*i = n - 37. Is 5 a factor of i?
False
Let r(a) = -a + 38. Let j be r(0). Let g be (1 - j/14)*7. Is (8/6)/((-4)/g) even?
True
Suppose -5*r = -0*r. Let m be r - -1 - (-52)/(-2). Let b = m - -39. Is b a multiple of 7?
True
Suppose 39 = -w + 167. Does 32 divide w?
True
Suppose -3*g - g + 6 = u, 0 = -u - 5*g + 7. Let a be (2/(-5))/(u/(-850)). Is (-4)/(-6) + a/6 a multiple of 13?
False
Let w(k) = -k**2 - 6*k + 7. Let x be w(-7). Suppose x = -6*s + 4*s. Suppose 5*q - 2*q - 84 = s. Is 14 a factor of q?
True
Let o = 9 - 6. Let b be (14/5)/((-1)/(-35)). Suppose 5*q - 2*j = 100, o*q + 2*j = -q + b. Is q a multiple of 6?
False
Let l = -22 + 10. Let u(r) = 22*r**2 + r. Let m be u(-1). Let b = l + m. Does 9 divide b?
True
Let v(l) = -l + 8. Let c be v(8). Suppose b - 13 = -c*b. Does 5 divide b?
False
Let c(g) = g - 6. Does 2 divide c(11)?
False
Suppose -2*m = 4*d, -6*d + d + 26 = -4*m. Let z(k) = -3*k + 8*k + 7*k. Does 12 divide z(d)?
True
Suppose 2*o = -3*o. Suppose -3*i + 7*i = o. Let f(l) = l**2 - l + 13. Is f(i) a multiple of 9?
False
Suppose 36 = 5*a - 2*w, a = 3*a - 4*w - 8. Is a a multiple of 8?
True
Let r = 88 + -58. Is r a multiple of 10?
True
Suppose -2*f + 6*f = 4*p + 24, -3*p = 2*f + 8. Suppose f*w - 70 = 10. Is w a multiple of 10?
True
Suppose -3*x - g + 68 = -3*g, -155 = -5*x - 5*g. Is x a multiple of 6?
Fal