?
False
Let l be (1*-14*6)/(2/(-4)). Let c = l - 82. Is 33 a factor of c?
False
Let p = 241 - -1386. Does 67 divide p?
False
Suppose 4*h = -20, h = -5*g + 2*g + 10. Suppose 2 = -4*o + 2*u, 2*o - 4*u + 21 - g = 0. Suppose -a - 3*b = -o*a + 14, 2 = b. Does 20 divide a?
True
Let j(b) = 14*b**2 - 14*b - 84. Is 16 a factor of j(-5)?
True
Let q(b) = -2*b**3 + 3*b**2 + 10*b + 70. Is q(-5) a multiple of 23?
True
Suppose -293 - 307 = -5*r. Suppose -n = 5*z - 4*n - 120, 5*z - r = -4*n. Is z a multiple of 6?
True
Suppose 55*b - 51*b - 36 = 0. Let u(v) = 26*v + 16. Is 50 a factor of u(b)?
True
Does 17 divide (5 - 28410/(-36)) + 3/(-18)?
False
Let h(o) = -111*o - 295. Is h(-12) a multiple of 34?
False
Let u = 126 - 31. Suppose 2*z = -3*z + u. Does 13 divide z?
False
Suppose 2*x + 4 = n + 3*n, 0 = -3*n + 4*x - 2. Suppose 140 = n*f + 26. Is f a multiple of 19?
True
Suppose 0*i - i = -10. Suppose 0 = 3*d - v + i, 2*v = -0*v - 10. Let l(k) = k**3 + 5*k**2 - 4*k + 6. Is 13 a factor of l(d)?
True
Let l be 2766/54 + (1 - 11/9). Does 20 divide -6*(-1 + l/(-6))?
False
Let p(k) = k**2 + 6*k - 1. Let c be p(4). Suppose -v - c + 13 = 0. Is 7 a factor of v/(-8)*16/4?
False
Suppose 3*r - 1256 = -5*o, -5*o = -7*r + 8*r - 432. Is r a multiple of 17?
False
Let w = -123 + 263. Let j = w + -98. Is 14 a factor of j?
True
Suppose 0*s + 3*s = 15. Suppose -f + 4*n = -8, 3*f - s*n + 0 = 17. Suppose f*q - 42 = q. Does 4 divide q?
False
Let s(w) = -w**2 - 20*w - 15. Does 62 divide s(-7)?
False
Let p(v) be the first derivative of 5*v**3/3 - 5*v**2/2 - 7*v - 3. Let k be p(4). Suppose -c = 3*g - 23 + 2, 0 = 5*c + 2*g - k. Is c a multiple of 2?
False
Let k = -67 - -113. Let r = k + -31. Is 5 a factor of r?
True
Let c(g) = g**3 + 17*g**2 + 16*g + 12. Is c(-12) a multiple of 12?
True
Suppose 2*t - 2*k = 12 + 76, 4*k = 5*t - 225. Suppose -y = -t - 56. Is y a multiple of 27?
False
Suppose -2*g - 16702 - 15704 = -2*h, -g + 3*h - 16193 = 0. Is 39 a factor of (-4)/(-26) - g/104?
True
Suppose 7*s + 5*g = 10*s - 5584, -4*g + 1833 = s. Is s a multiple of 43?
False
Let h be 3/(-1) + (21 - 2). Suppose 2 = n - 3*i + i, -n = -5*i + 4. Is (2 - -1)*h/n a multiple of 2?
True
Let l = -4 - -17. Suppose l*u - 10*u - 6 = 0. Suppose 58 = u*p - f - 0*f, 0 = -f - 4. Is 14 a factor of p?
False
Suppose 3*c - 5*g - 884 - 5819 = 0, -5*c + 11193 = -3*g. Is c a multiple of 83?
True
Suppose -168 = -v - 28. Does 14 divide v?
True
Suppose 0*m - 3 = -3*m. Let j(p) = 2*p**3 + 14*p**2 + 7*p + 52. Let v be j(-7). Does 16 divide (280/12)/(m/v)?
False
Suppose -5*d = -3*j - 2197, -70*d + 1762 = -66*d + 2*j. Does 8 divide d?
True
Suppose 3*q = 2*p - 690, 2*p + q - 2*q - 686 = 0. Does 19 divide p?
True
Let r(m) = 11*m**2 + 0*m**2 - 1 + 0. Let c = 29 + -32. Is r(c) a multiple of 28?
False
Let v(y) = -19 + 10 - 61*y + 7. Is 19 a factor of v(-2)?
False
Suppose 0 = -3*y + f + 2, -30 = -3*y - 4*f - 8. Suppose -3*r = 3 - 12. Suppose -y*u - 5*b + 23 = 0, -5*u + 36 = r*b - 12. Does 7 divide u?
False
Suppose -3*f = -5 - 7. Let o = 7 - f. Is 2 a factor of o?
False
Let s(n) = -n - 5. Let u be s(-8). Let p(c) = 2 - 4*c - 2 + 4 + 0 + 4*c**2. Does 21 divide p(u)?
False
Is (-11)/(52/(-48) - -1) a multiple of 13?
False
Suppose 8*k = 10*k + 230. Let y = k + 153. Does 19 divide y?
True
Does 44 divide (-2 + -2 - -2)*801/(-6)?
False
Suppose 0 = 5*y - 3*a - 120, 3*y - 109 = a - 37. Let n = 86 + y. Does 10 divide n?
True
Let y(a) = 4*a - 7. Let q be y(3). Is 17 a factor of -3*(-33 + (-5)/q)?
True
Suppose f = -f - 5*g + 19, f - 5*g = 2. Let a(h) = 0*h**2 - h**2 + 22 - f + 0*h**2. Does 5 divide a(0)?
True
Let g(s) = 98*s**2 + 10*s - 9. Does 9 divide g(1)?
True
Let w = -44 - 2. Let q = -36 - w. Is 2 a factor of q?
True
Is 274 + 15 + -4 + -5 a multiple of 56?
True
Let y(p) = -p**3 - 13*p**2 - 11*p + 18. Suppose -5*a - 56 = -f, 4*a + 36 = 3*f - 0. Does 5 divide y(a)?
False
Does 90 divide -5*12/90*(-3104 + -1)?
True
Let s(h) be the second derivative of h**4 - h**3/3 - h**2 + h. Let t = -2 + 4. Is s(t) a multiple of 21?
True
Suppose 0 = -31*w + 27*w + 396. Is 14 a factor of w?
False
Let k = 71 - -29. Does 16 divide k?
False
Let u(d) = 10*d**2 - 2*d - 3. Let j be u(-1). Suppose j*b - 14*b = -810. Is 10 a factor of b?
False
Let p be 70/(-30)*(-3 + 0). Let c(t) = -4*t - p + 2*t**2 + 6*t + 3 + 3*t. Is 11 a factor of c(-6)?
False
Suppose 2*a = 5*p + 4*a - 311, 5*p = -4*a + 317. Is 3 a factor of p?
False
Let p(q) = -q**2 + 4*q - 7. Let g be p(3). Let m(t) = t**2 + 4*t + 5. Let y be m(g). Suppose 30 = 5*x - y. Is x even?
False
Let l(y) = -y. Let o be l(-5). Suppose -4 = -x + 3. Suppose 18 + x = o*p. Is p even?
False
Suppose -6272 = -31*m + 3*m. Does 2 divide m?
True
Let g = 48 + -189. Let s = g + 253. Does 14 divide s?
True
Suppose 4*y + 11 = -n - 4, 0 = 2*y + 4*n + 18. Let u be -27 + (-4 - -4)/y. Is 4/(-18) - 897/u a multiple of 11?
True
Let o be (-541)/(-4) + -2 + (-28)/(-16). Suppose 3*p + 0*p - o = 0. Does 5 divide p?
True
Suppose 0 = -91*x + 59*x + 25696. Is 73 a factor of x?
True
Let m = -26 - -20. Let f be 12/2*(-3)/m. Is 14 a factor of 62*(2 + -4 + f)?
False
Let d(r) = 11*r - 61. Is 37 a factor of d(19)?
True
Suppose 0 = -9*h + 20 + 25. Suppose r - 4*j = 28, 21 = h*r + 4*j + 1. Is 2 a factor of r?
True
Let j(m) = -m**3 - 16*m**2 - 15*m - 38. Is j(-18) a multiple of 16?
True
Let n = -23 - -28. Suppose 3*m - n*o - 104 - 26 = 0, -3*m + 118 = o. Is 8 a factor of m?
True
Let w = -11 + 6. Let u(b) = 3*b**2 + b + 11. Is u(w) a multiple of 9?
True
Let n(i) = 11*i**2 - 9*i + 33. Let o(q) = 5*q**2 - 5*q + 16. Let z(t) = 6*n(t) - 13*o(t). Let s be z(-12). Suppose s*p - 19 - 1 = 0. Does 3 divide p?
False
Let g(w) = -w**3 + 11*w**2 + 4*w - 10. Let k be g(11). Let r = -12 + k. Is r a multiple of 6?
False
Let n be (-5)/((-60)/231)*-4. Let g = -35 - n. Is g a multiple of 14?
True
Let u(b) = -b**2 + 14*b - 18. Let h be u(14). Is 5 a factor of 3 + (4/h - 160/(-72))?
True
Suppose 5*w - 21300 = -t, 10*w + 12780 = 13*w - 2*t. Does 60 divide w?
True
Suppose -5*l + 78 = -2*o, l - 3*o + 5*o - 18 = 0. Let z be 6/(-8)*l/(-2). Suppose 0 = z*s - 509 + 5. Does 21 divide s?
True
Suppose -2*g - 2 = 0, -5*p - 2*g = -902 - 1626. Is 22 a factor of p?
True
Suppose 0 = 7*k - 16 - 19. Does 14 divide (563/k)/1 + 9/(-15)?
True
Suppose -5*l = 5*t - 810, 0*l + 4*t + 152 = l. Suppose -l = 3*c + 125. Let r = -63 - c. Is r a multiple of 7?
False
Let d(a) = a**3 + 2*a**2 - 5*a - 3. Suppose 0 = 4*j - 2*w + 20, 0 = -6*w + 3*w + 12. Let q be d(j). Suppose 0 = -q*v - 66 + 174. Is 6 a factor of v?
True
Let f be 7 + -3 - (1 + -10). Suppose -10 = -2*y, 5*w - 5*y + 2 = -f. Is 10 a factor of (-4 + w)/(1/(-5))?
True
Let v = 4 + 7. Suppose 188 = 13*u - v*u. Does 18 divide u?
False
Suppose -4*h - 4*y = -9*h + 10, 5*y = -h + 2. Suppose -c + h = c. Suppose -5*a - c + 11 = 0. Does 2 divide a?
True
Suppose -23*k = -25*k - 14. Let n(f) = f**3 + 8*f**2 - 4*f. Is 19 a factor of n(k)?
False
Let j = 16 + -15. Suppose 2*b + 3*d + 6 = 0, -3 = -4*b - 2*d + j. Is 53 - b*(-3 + 2) a multiple of 19?
False
Let k be 4 - 5 - (-10 + 0). Suppose -5*l + k*l = 4. Does 34 divide -44*(l + 1 + -4)?
False
Is 11 + 350/(-30) - (-2572)/6 a multiple of 12?
False
Let a = -76 - -120. Suppose 2*x - 68 - a = 0. Does 14 divide x?
True
Let c(m) = 37*m**3 - m**2 + m + 1. Let t be (-3)/(-6) - 20/(-8). Let h be ((-7)/21)/(t/(-9)). Is 9 a factor of c(h)?
False
Suppose 5*o = 5*j - 24 + 4, -3*o - 12 = 4*j. Let d(m) be the second derivative of m**3/6 + 40*m**2 + 178*m. Is d(j) a multiple of 16?
True
Suppose -u + 5*r + 497 + 47 = 0, 5*u - 2798 = -r. Is 3 a factor of u?
False
Suppose 0 = -5*v + 5, 5*f + 6*v = v + 20. Suppose 0 = -6*m + f*m + 96. Suppose t - m = 29. Is t a multiple of 14?
False
Let b be 4/(-2)*-1*19. Let h(y) = 8*y**2 + 4*y - 8. Let z be h(3). Let i = z - b. Is 38 a factor of i?
True
Let s(f) = -21*f - 14. Let i(a) = -21*a - 14. Let p(m) = -6*i(m) + 7*s(m). Does 13 divide p(-5)?
True
Let q = -8 + 12. Let v be q/(-8) + (-231)/(-6). Is 19 a factor of (v/(-4))/(7/(-14))?
True
Let s be 1006/12 - 8/(-48). Suppose 0 = 4*o - o - s. Is 14 a factor of o?
True
Let t(k) = -k**2 - 21 + 4 - 23*k + 2*k + 0*k. Is 20 a factor of t(-8)?
False
Let f = 66 + -63. Is (-6)/(-3*f/45) a multiple of 6?
True
Suppose -8 = m - 3*m. Suppose -308 + 92 = -m*w. Is 2