2 a factor of m(-5)?
True
Suppose -2*b = h + 3*h - 4, -5*h = -b + 9. Suppose 0 = 3*n - 6*n + 5*s - 1, 0 = b*n - 5*s - 7. Is n a multiple of 8?
True
Suppose 0 = -8*l + 3*l + 10. Let x be 0/(-1) + l/(-2). Is 13 a factor of ((-23)/4)/(x/4)?
False
Let m(k) = 1. Let q(y) = 4*y. Let h(f) = -4*m(f) + 2*q(f). Is 20 a factor of h(3)?
True
Suppose -52 - 43 = -m. Is 16 a factor of m?
False
Let p(r) = -2*r**3 - 2*r**2 + 2*r - 3. Let t(j) = -j**2 - 7*j - 7. Let w be t(-5). Let b be -3 - (-3)/w*0. Does 9 divide p(b)?
True
Suppose 10 = -i + 4. Let n(y) = y**2 + 4*y - 4. Let z be n(i). Let b = z - 4. Is 4 a factor of b?
True
Suppose -l - 2*l - 3*w = -102, 0 = 3*l + 2*w - 97. Let f = l + -21. Is 6 a factor of f?
False
Is 28 a factor of 57/6*(14 - 0)?
False
Suppose 0*h = -4*h - 4. Does 11 divide (-1 + h)*31/(-2)?
False
Suppose 0 = -3*f + 2 + 7. Suppose 5*v = 5*a - 90, 38 = 5*a - f*v - 50. Does 11 divide a?
False
Suppose 57 = b + 2*b. Suppose 5*j - 73 = -l, -5*l + b = 4. Is 14 a factor of j?
True
Suppose -5*g + 422 = -373. Suppose 0 = 2*d + 2*x - 212, -d + g = -3*x + 61. Suppose 0 = -3*w - w + d. Does 11 divide w?
False
Let x(k) = k**2 - 3 + 3*k + 0 + 1 + 3. Let b be x(-2). Is b - 1/(-2)*34 a multiple of 6?
False
Suppose 20 + 24 = 4*p. Is (p - -1)/(1 + 0) a multiple of 11?
False
Let l(b) = b**3 + b**2 + 12. Is 2 a factor of l(0)?
True
Is 13 a factor of 195/12 + (-5)/(-20)*-1?
False
Let s(r) = r + r - 3*r. Let c be s(-5). Suppose -2*n = 5*q - 26, 5*n + 2*q = c*q + 34. Is n a multiple of 4?
True
Let o be (3 + (-15)/4)*4. Let x be -2*o/(-2) - -18. Suppose 4*j - x = -j. Is 3 a factor of j?
True
Suppose -3*t + 162 = -87. Does 17 divide t?
False
Suppose 3*p - 4*q - 178 = -3*q, 4*q + 52 = p. Is 20 a factor of p?
True
Suppose -4*o - n - 69 - 104 = 0, 4*o - n = -171. Is 16 a factor of o*(-2 - -1) - -3?
False
Is 4 a factor of 3 + 12 + -3 + 0?
True
Let b = 153 - -13. Does 5 divide b?
False
Let i(v) = 1 - 6*v - v**2 + 2 + 6. Let q be i(-7). Suppose -q*h - 4 = -20. Is 4 a factor of h?
True
Let s(k) = -4*k. Let f(g) = -g**2 - 3*g - 2. Let v be f(-5). Let r be s(v). Let q = r + -19. Is q a multiple of 11?
False
Let d(c) = c**3 + c - 1. Let b(w) = w**3 + 3*w + 59. Let v(q) = b(q) - 2*d(q). Is 22 a factor of v(0)?
False
Let w(x) = x + 7. Let b be w(-6). Let l be (1 + -3 + b)*-2. Suppose -l*u + 6*u = 160. Is u a multiple of 20?
True
Let j = -47 + 127. Is j a multiple of 16?
True
Let s(f) = -f**2 + f + 8. Let h be s(0). Is 2 a factor of (-11)/(-4) - (-2)/h?
False
Suppose -784 = 3*y - 7*y. Suppose 174 = 5*g - y. Is g a multiple of 28?
False
Suppose -y + 4*c + c = -51, 4*c = -2*y + 116. Is y a multiple of 7?
True
Let x = 17 + -20. Let q = x - -5. Does 2 divide q?
True
Let s be (3 + 36/(-20))*(-10)/4. Let k(l) be the third derivative of -5*l**4/24 + l**3/6 - 2*l**2. Is k(s) a multiple of 11?
False
Let s(h) be the first derivative of -h**3/3 - 2*h**2 + 1. Is 3 a factor of s(-3)?
True
Let q(v) = v**2 + 7*v + 12. Let b be q(-8). Suppose 2*l - b = l. Is l a multiple of 20?
True
Suppose 0 = -4*n - 5*g + 347, -4*n = -g - 473 + 120. Is n a multiple of 14?
False
Suppose -11*w + 7*w = -288. Is w a multiple of 20?
False
Suppose -9*n + 5*n = -276. Is 4 a factor of n?
False
Let z = 11 + -9. Suppose -4*c + z = -70. Is 9 a factor of c?
True
Does 19 divide 58 - (2 - 1)*1?
True
Let i(t) = 3*t**2 + 8*t + 2. Let n be i(-3). Suppose n*b - 183 = 17. Does 23 divide b?
False
Let k = 78 - 38. Is 20 a factor of k?
True
Suppose -59 = 3*w - k, -5*k - 9 = -3*w - 64. Let s = -14 - w. Does 2 divide s?
True
Let g(p) = 3*p**3 + 2*p + 1. Let m be g(-1). Let w be (-3 - 3)/(m - -2). Suppose -w*d + 30 = -18. Is d a multiple of 12?
False
Let d(y) be the third derivative of y**5/3 - y**3/6 - 6*y**2. Does 10 divide d(-1)?
False
Let f(z) = -35*z - 10. Let s be f(-3). Suppose -b = 4*b - s. Does 5 divide b?
False
Let b = -10 - -6. Let p(i) = -2*i**2 + 6 - 11*i - 3 - 9 + i**2. Is 11 a factor of p(b)?
True
Suppose -2*a - 2*l + l + 115 = 0, 5*a - 305 = l. Suppose 2*c - a = 3*p - 0*p, -5*c = -p - 137. Does 7 divide c?
False
Suppose 0 = -21*i + 24*i. Suppose -3*g = 5*c - 372, i*g = 5*g - 20. Is 24 a factor of c?
True
Let m = 4 + -6. Does 6 divide 4 + 0 + (m - -4)?
True
Suppose 47 = 3*x - 37. Let h = x - 17. Is h a multiple of 11?
True
Let j(g) = 8*g + 8. Let m be j(-7). Let v = 67 + m. Is v a multiple of 9?
False
Suppose -5*v + 32 = -3*v. Does 7 divide v?
False
Suppose 0 = 3*d - 3*o - 24, o + 2*o = d - 12. Is 2 a factor of d?
True
Suppose -2*s = 3*s + 115. Let f = 26 + s. Is 3 a factor of f?
True
Let l(m) = -1 - 1 + 24*m + 1. Does 9 divide l(1)?
False
Let h(x) = x**2 - 9*x + 2. Let a be h(9). Suppose l = a*l - 11. Let s = l + 36. Does 16 divide s?
False
Suppose 0 = 2*w + 3*d + 1, w + 5*d = -2*w - 2. Let g(n) = 1 - n + 3 + w. Is 9 a factor of g(-4)?
True
Let i(q) = -6*q - 3. Let n be i(3). Let c be 2/(-7) - 216/n. Suppose -4*b + c = -10. Is 4 a factor of b?
False
Let c(h) = 28*h - 19. Is 35 a factor of c(6)?
False
Suppose -5*a - 4*v = 0, 0*a = 3*a + 2*v + 2. Does 27 divide ((-2)/a)/((-1)/(-148))?
False
Let t = 7 + -5. Is 23 a factor of (0 - -1)*t + 21?
True
Let u be (-36)/(-63) + 76/14. Suppose -7*h + u*h = -28. Is 7 a factor of h?
True
Suppose 2*t = 4 - 0. Suppose 33 = t*u + 5*g, -2*g - 2*g = 4. Is u a multiple of 17?
False
Suppose q = -1, -o - 2*q = 3*o - 70. Does 6 divide o?
True
Suppose 3*y - 57 = m + 122, 4*y - 236 = 4*m. Is 15 a factor of y?
True
Is 31 a factor of (-186)/(-4)*(-13 + 15)?
True
Let t(o) = -15 - 7*o**2 - 12*o + o**3 + 0*o**3 - o - 9*o**2. Does 18 divide t(17)?
False
Suppose 0 = k - 3, 17 = -2*i - 2*k + 7*k. Does 16 divide (i/(-3))/((-1)/(-177))?
False
Suppose -2*d - 6*h + 1 = -h, 2*h = -2*d - 2. Let j be ((-23)/d)/((-6)/(-36)). Let c = -36 + j. Does 20 divide c?
False
Suppose -4*c - 4*l = c - 17, -2*c + 3*l = 7. Let j(a) = 16*a**2 - 5*a - 8. Let x(k) = 11*k**2 - 3*k - 5. Let v(d) = -5*j(d) + 8*x(d). Is 9 a factor of v(c)?
True
Suppose k - 3*k + 8 = 0. Does 4 divide k?
True
Let z = 72 + -38. Suppose 2*u - z + 10 = 0. Is u a multiple of 12?
True
Let h be (-38)/(-8)*(-2 - 2). Is 4 a factor of 2/3 + h/(-3)?
False
Let q(f) = -f**2 - 11*f - 4. Let m be q(-9). Suppose 5*x - 44 + m = 0. Does 12 divide ((-72)/(-10))/(x/20)?
True
Let a(p) = -p**3 + 5*p**2 + p + 7. Suppose 0 = -4*c + 27 - 7. Is a(c) a multiple of 12?
True
Suppose -50 - 4 = -3*h. Let n = h - 13. Suppose 0 = -5*j - 15, k + 29 = 2*k - n*j. Does 14 divide k?
True
Let u(d) = d**3 + 7*d**2 - 2*d + 5. Let r be u(-7). Let s = -9 + r. Is s a multiple of 5?
True
Suppose -133 + 49 = -3*t. Let i = t - 3. Is 7 a factor of i?
False
Suppose 2*j + 2*j = 12. Does 18 divide (-2 - j)*9/(-1)?
False
Suppose 0 = 7*a - 2*a - 180. Let w(p) = -2*p**2 - 7*p - 5. Let c be w(-5). Let b = a + c. Does 8 divide b?
True
Suppose 3*r = 30 + 555. Is r a multiple of 18?
False
Let d(l) = l**3 + 10*l**2 + 9*l + 5. Is 2 a factor of d(-9)?
False
Let s(w) = -6*w + 57. Is 11 a factor of s(7)?
False
Suppose 6 - 2 = 2*y. Suppose -170 = y*k + 3*k. Let h = k - -62. Is h a multiple of 14?
True
Let v(a) = 21*a + 2. Does 44 divide v(10)?
False
Suppose -9*n + 12 = -5*n. Is 3 a factor of n?
True
Let c be (-8)/(-3) - (-4)/(-6). Suppose c*r + 2*r = 128. Is -1 - 0 - (0 - r) a multiple of 13?
False
Suppose -5*z = -0*z. Suppose o + z = 2. Is 8 a factor of 1 - (-34)/o - -1?
False
Let m(z) = -46*z - 81. Is m(-7) a multiple of 44?
False
Let u = -30 + 6. Let f = u + 46. Is (f/(-4))/((-2)/4) a multiple of 10?
False
Let a(f) = 3*f - 13. Let w be a(-7). Let c = w + 98. Is 16 a factor of c?
True
Let x = 14 - -27. Does 21 divide x?
False
Let q be (-642)/27 + (-6)/27. Let s = 87 + q. Is 11 a factor of s?
False
Suppose -4*r + 5*i + 233 = 0, r - 4*r + 141 = 3*i. Is 26 a factor of r?
True
Let s(p) = 4*p**2 - 1. Let r be s(1). Let o(k) = -3*k**3 + r + 3*k + k**3 + k. Does 8 divide o(-2)?
False
Let z(k) = k**2 - 2*k - 1. Let w be z(-1). Let d = w - 0. Suppose 4*y + 117 = 5*f + d*y, -4*f + 108 = 2*y. Does 9 divide f?
False
Let h be ((-26)/8)/((-3)/84). Let j = -61 + h. Is j a multiple of 5?
True
Let v = 2 + -3. Let y be -30 + (-4)/(2/v). Let c = y + 40. Is 5 a factor of c?
False
Let u = 1 - 6. Let x = u - -10. Let c = x - -1. Is 5 a factor of c?
False
Suppose -17*m + 130 = -12*m. Suppose u - 3*u + m = 0. Is u a multiple