5 a factor of b?
False
Suppose -5*b = -3*n - 132, -4*b + b + 2*n = -79. Is 27 a factor of b?
True
Let h(a) = -2*a - 1. Is 13 a factor of h(-11)?
False
Let b(h) = h**2 + 3*h + 10. Is 10 a factor of b(0)?
True
Suppose -v - 36 = -4*c + 3*v, -2*v + 6 = c. Suppose 0 = -5*o - 0*p + 2*p + 36, 4*p - c = 0. Does 3 divide o?
False
Let l = -4 - -3. Does 6 divide (-20)/1*l - 1?
False
Let x = -44 + 109. Let v = x - 38. Does 10 divide v?
False
Let k(m) = m**3 + m**2 + m + 2. Let h be k(0). Let a(g) = 9*g**2 + 3 - 4 - h*g + 2. Is 8 a factor of a(1)?
True
Let w(f) = 33*f**2 - 2*f + 1. Let s be w(1). Let v = -17 + s. Does 15 divide v?
True
Let v(q) = q**3 + 11*q**2 - 3*q - 10. Does 5 divide v(-11)?
False
Let d(f) = 2*f**2 - 8*f + 9. Let v be ((-6)/(-7))/(-1)*-7. Does 11 divide d(v)?
True
Suppose 0 = -5*r - 2*a - a + 35, 2*r - 18 = -2*a. Let x = 6 - r. Suppose -4*h + 98 = x*u, 21 = -h - 5*u + 59. Is h a multiple of 11?
False
Is 36*(6 - 5) + 0 + 0 a multiple of 18?
True
Is ((-60)/(-16) + -3)*56 a multiple of 14?
True
Suppose p - 6*p = -10. Suppose 42 = p*v - 0*v. Is v a multiple of 16?
False
Suppose 0*c + 16 = r + 3*c, c = 4. Suppose 64 = r*p + 4. Is p a multiple of 15?
True
Let t = 27 + -13. Does 14 divide t?
True
Let j be (-2)/(1 - 3) + 1. Suppose 0 = p + 1 - 4. Suppose -9 = -p*q + j*q. Does 9 divide q?
True
Let p be (49/(-35))/(1/(-5)). Suppose -2*k + 5*q + p + 13 = 0, -2*k - 2*q + 34 = 0. Is k a multiple of 15?
True
Let m = 15 + -16. Is 11 a factor of 23 + m + 2*-1?
False
Let k = -4 + 6. Suppose -p - 95 = -3*d, k*p = 4*d - p - 120. Is 7 a factor of d?
False
Let v(p) be the third derivative of -p**6/120 - p**5/15 - 5*p**4/24 - p**3/2 - 3*p**2. Let y = -11 - -8. Is v(y) even?
False
Suppose -t + 2 + 1 = 0. Suppose -4*x + 219 = -5*r, 0 = r + t*x + 42 - 2. Let y = r + 75. Is y a multiple of 13?
False
Let m(i) = i**2 - 3*i - 1. Does 3 divide m(5)?
True
Let h(u) = 3*u**3 + 18*u**2 - 8*u + 8. Let z(j) = j**3 + 6*j**2 - 3*j + 3. Let c(a) = 2*h(a) - 7*z(a). Let o be c(-6). Let y = o + 53. Is 7 a factor of y?
False
Suppose 3*x = 3*f - 36, -2*f + x - 6*x + 10 = 0. Is 6 a factor of f?
False
Let j(i) = i**2 + 5*i + 3. Let w = 9 + -15. Is 9 a factor of j(w)?
True
Let r(c) = -2*c**2 + 2*c - 2. Let d be r(1). Let g(w) = -20*w - 1. Is g(d) a multiple of 9?
False
Suppose 2*j - 3*r - 30 = -0*r, 5*r + 58 = 4*j. Let v = j + -8. Let z = v - -4. Is 4 a factor of z?
True
Let s be 0 - (-2 + 4/(-1)). Suppose -h - 25 = -s*h. Suppose h*n = -0*n + 45. Is 9 a factor of n?
True
Let n(s) = s**2 - 7*s + 6. Let d be n(6). Suppose -3*l - 2*m + 68 = d, -l - 3*m = -20 - 12. Suppose 0 = -2*h - 2*h + l. Does 3 divide h?
False
Suppose -8 + 23 = 3*u. Suppose 2*t + u - 17 = 0. Is t a multiple of 6?
True
Suppose -3*v + c + 735 - 175 = 0, 5*v - 4*c - 938 = 0. Is 7 a factor of (-10)/(-25) + v/10?
False
Let c be (10/1)/(1 + 0). Let k(d) be the first derivative of d**4/4 - 10*d**3/3 + 14*d - 4. Does 12 divide k(c)?
False
Suppose s - 80 = 3*s. Let v = 113 + s. Does 26 divide v?
False
Suppose 230 = 17*l - 586. Is 48 a factor of l?
True
Suppose 0 = -4*f + 21 - 1, -57 = -g + 5*f. Let w = g + -159. Is 6 a factor of 14/w - (-268)/22?
True
Let i = 192 + -80. Does 25 divide i?
False
Let v(k) = 4*k. Let l(i) = i**2 - 9*i + 6. Let m be l(9). Is 12 a factor of v(m)?
True
Suppose -5*x + 33 = -162. Does 17 divide x?
False
Suppose 0 = 4*w + 4, 2*k - k - w + 138 = 0. Let c = 107 + 92. Let s = k + c. Is s a multiple of 22?
False
Is 49 a factor of ((-588)/(-36))/(2/6)?
True
Let g = -54 - -99. Is g a multiple of 8?
False
Suppose 4*x + 3*w + 260 = -w, 0 = -5*w - 10. Is (2/3)/((-6)/x) a multiple of 7?
True
Let p(m) = m**3 - 3*m**2 - 4*m. Let i be p(4). Suppose i = -5*a + 3*a + 32. Does 11 divide a?
False
Suppose -4*w + 2*w = 12. Is 9 a factor of ((-2)/w)/((-6)/(-612))?
False
Let i(b) = b**2 + 2*b - 1. Let p be i(1). Let y be (1 + (-2)/(-2))*p. Suppose 0 = -y*d + 4 + 124. Does 13 divide d?
False
Suppose -i + 0*i = -33. Let u be (-6)/i + 70/22. Is 8 a factor of u/6 + (-81)/(-6)?
False
Let x(q) = 2*q + 160. Is x(0) a multiple of 40?
True
Is 2*3 + (-9240)/(-22) a multiple of 16?
False
Suppose 2*x - 11 = 9. Is 7 a factor of x?
False
Suppose 0 = -3*l - 5*m + 134, 0*m + 5*m + 202 = 4*l. Does 12 divide l?
True
Let h be (-3)/(-1)*3/9. Suppose 16 - h = k. Is 15 a factor of k?
True
Suppose -4*f = -2*f. Let l(u) = -u**3 + u + 5. Let n be l(f). Suppose -n*w + 3*z + 167 = -0*w, 0 = 5*w + z - 151. Is w a multiple of 16?
False
Let c(d) be the third derivative of -d**5/60 - d**4/3 + 5*d**3/6 + d**2. Is 3 a factor of c(-8)?
False
Suppose -492 = -4*f - 4*d, -4*d = -3*f - 64 + 398. Is 16 a factor of f?
False
Let d be (-7)/(-2) - (-6)/(-12). Let k be -2*d/(-3)*13. Let n = -7 + k. Is n a multiple of 5?
False
Let t be (-2)/9 + 200/9. Let j(u) = u**3 + 2*u**2 + 2*u + 4. Let y be j(-3). Let c = y + t. Does 9 divide c?
False
Suppose 26 = j - 65. Is 18 a factor of j?
False
Suppose 5*u - j = 1297, -2*u - u + 3*j = -771. Suppose f - 3*l - 62 = l, -u = -5*f - 5*l. Does 27 divide f?
True
Suppose 5*g - 2*v = 255, -2*g + 164 = g + v. Does 16 divide g?
False
Let b(a) be the third derivative of a**8/20160 - a**7/504 + 11*a**6/720 - a**5/20 - 2*a**2. Let w(r) be the third derivative of b(r). Does 11 divide w(10)?
True
Suppose 0 = 2*k + 4*x + 16, 0 = 3*k - 2*k - 5*x - 6. Let d(a) = a**2 + 2*a - 1. Let r be d(k). Suppose -r*v + 3*v = -124. Is v a multiple of 12?
False
Suppose -t - 3*u - 4 = 0, -2*u = 5*t - 7*u - 20. Does 7 divide 321/15 - t/5?
True
Suppose -2*h + 6*h + 8 = 4*c, -2*c + 4 = 4*h. Suppose -5 = c*g - 27. Is g a multiple of 3?
False
Let a be 65/(-10) + (-1)/(-2). Let c(v) = 1 + 5*v + 0*v**3 - v**3 - 3 + 0 - 5*v**2. Does 2 divide c(a)?
True
Let n = -12 + 18. Let p = n - -2. Is 7 a factor of p?
False
Let w = -13 + 4. Let y(s) = -s**2 - 21*s - 13. Let z be y(w). Suppose -5*x = z - 265. Is 17 a factor of x?
True
Suppose 4*y + 72 = 4*x, -3*x + 37 = -y - 11. Is 5 a factor of x?
True
Let n = -8 - -140. Is 20 a factor of n?
False
Let h(o) = o - 4. Let j be h(-7). Let i = 46 + j. Is i a multiple of 14?
False
Let w be -1 + (-6)/(-2) + 3. Suppose 2*t + 8 = 0, 2*z + 0*t = -w*t + 42. Does 13 divide z?
False
Is (56/(-10))/((-11)/55) even?
True
Let g = 69 + -48. Is 7 a factor of g?
True
Suppose -5 = c - 48. Suppose h = 3 + c. Is h a multiple of 12?
False
Let t(z) = -z**3 - 2*z - 1. Let q be t(-2). Let p = q + 1. Suppose p = d - 0. Does 12 divide d?
True
Suppose -4*v - 2*v + 276 = 0. Does 7 divide v?
False
Let b = -11 - -25. Let g = b + -42. Is (18/(-7))/(4/g) a multiple of 9?
True
Let f(g) = -g**3 - 9*g**2 - 7*g + 10. Let x be f(-8). Let w(k) = 10 + 3*k - k**2 + k**2 + k**x. Is w(-7) a multiple of 19?
True
Let r = 4 - 4. Let m(o) = 8 + r*o - o + 6. Is m(0) a multiple of 7?
True
Let f(o) = -o**2 + 5*o - 3. Let r be f(2). Let u = r - 1. Does 4 divide -3 + (6 - u/(-2))?
True
Suppose -4*v + 13 = 2*c + 3*c, -4*c = -4. Suppose b + 2*i = -0*b + 3, 0 = -v*b - 5*i + 7. Does 15 divide 0 - (0/b - 30)?
True
Suppose -12 = -4*w, 3*i + 3*w - 37 = 155. Is 14 a factor of i?
False
Suppose 0 = -5*c + 2*l + 361, 3*c + 4*l - 215 = 6*l. Does 15 divide c?
False
Suppose 33*r + 16 = 37*r. Suppose 2 + r = c. Is c even?
True
Let c(v) = -2*v + 2. Let f(g) = -5*g + 3. Let s(j) = 5*c(j) - 3*f(j). Let m be s(1). Suppose 4*i + 44 = m*i. Does 11 divide i?
True
Let v(n) be the first derivative of -1/2*n**2 + 3 + 10*n**3 - n. Is v(-1) a multiple of 10?
True
Let u(c) = c - 4. Let j be u(10). Let g be (j + -3)/((-2)/402). Does 13 divide 4/14 + g/(-21)?
False
Let c(i) = -5*i - 21. Is 7 a factor of c(-12)?
False
Is 6 a factor of (0 - -60 - 2)*1?
False
Suppose 4*l - 10 = 3*l. Does 7 divide l?
False
Suppose 14*v - 16*v = -18. Is 6 a factor of v?
False
Let x be 1 + 5 + 0 + -2. Suppose 2 - x = -r. Suppose -4*q = r - 14. Is q a multiple of 2?
False
Let a be (-2 - (2 - 4))*-1. Suppose -5*l + 2*l - 4*v = -227, -l + v + 71 = a. Does 14 divide l?
False
Let d = 37 - -11. Does 15 divide d?
False
Let g(i) = i - 3. Let k be g(5). Suppose 4*j = -2*r - 58, -k*r = -4*j + 79 + 3. Let d = -6 - r. Is 19 a factor of d?
False
Is 225/6 - (-3)/(-6) a multiple of 11?
False
Is 89 + (14 - 5)/3 a multiple of 23?
True
Let i(s) = s**3 + 4*s**2 - 5*s - 4. Let y be i(-5). Let b(o) = 16*o - 2. Let a be b(y). Does 11 divide (4/3)/(