9 divide b?
True
Is 23 a factor of (19/38)/(2/2978)*2?
False
Suppose 2*i - 42 = 4*b, -i - 2*b - 42 = -3*i. Let q = 71 - i. Is q a multiple of 3?
False
Is 44 a factor of (-15)/(-3) - 179/2*-8?
False
Let l(w) = w**2 + 19*w - 36. Let t be l(-21). Let u(k) = -k**3 + 7*k**2 + k - 7. Does 10 divide u(t)?
False
Suppose 4 - 22 = -2*h. Suppose -m + 4 = -0. Suppose 45 = h*p - m*p. Is 9 a factor of p?
True
Let g = -17 - -23. Suppose -3*t + 24 = 2*m + 10, -5*t = -4*m + g. Does 5 divide 30/(-4)*m/(-6)?
True
Let k = -78 + 52. Let f be 3528/(-52) - (-4)/k. Let u = f + 113. Is u a multiple of 14?
False
Let h(v) = -v**3 - 16*v**2 + 16*v - 20. Let i be h(-17). Is 29 a factor of (((-756)/(-16))/7 - i)*12?
False
Suppose -u = h - 512, -4*h - 1009 = -2*u - 3*h. Is u a multiple of 13?
True
Let q(v) = -v**3 + 14*v**2 - 11*v - 7. Let b be 10/30 - (-38)/3. Is q(b) a multiple of 6?
False
Suppose -4*s = -12*s - 2776. Let g = -189 - s. Does 10 divide g?
False
Let o(f) = -4*f**3 + 5*f**2 + 9*f - 1. Does 6 divide o(-4)?
False
Is (46/3 + -2)/((-20)/(-840)) a multiple of 80?
True
Let s(y) = -y + 2. Let l be s(-2). Does 16 divide (-3 + 1 - -18)*l?
True
Suppose -1 = -4*g - 5*w - 18, 16 = -4*g - 4*w. Is 47/1*(-2 - g) a multiple of 6?
False
Is (2917 - -42) + (-8)/2 a multiple of 14?
False
Let w(a) = a**2 + 12*a + 22. Is w(-18) a multiple of 10?
True
Let u(g) = 3*g - 4*g + 2*g. Let y(q) = 7*q + 1. Let z(i) = 4*u(i) + y(i). Is 19 a factor of z(3)?
False
Suppose 5*x + 3751 = 3*a, -3*a + 6258 = 2*a - 2*x. Does 9 divide a?
False
Let v be -1*(-2)/(-4) - (-44)/8. Suppose 284 = v*k - 61. Is k a multiple of 15?
False
Suppose -4*r - 2*a + 7*a = 111, -5*r + 3*a - 155 = 0. Let z = r + 57. Let k = -11 + z. Does 11 divide k?
False
Suppose -q + 5*y = y - 12, -10 = -q + 3*y. Suppose -5*a - 82 = -l - 251, -4*a - 5*l + 112 = 0. Suppose q*o = 0, s + o - 5*o = a. Does 11 divide s?
True
Let k(u) = -u**3 + 2*u**2 - u + 5. Let c(n) = -n**2 - n + 1. Let r(x) = 3*c(x) - k(x). Is r(6) a multiple of 11?
True
Let c(r) = -r**3 + 12*r**2 + 15*r + 8. Let h be c(13). Let y = 19 + h. Is y a multiple of 19?
False
Let j(b) be the third derivative of 61*b**4/24 - b**3/6 - 3*b**2. Let z be ((-2)/2*-1)/(19 + -18). Is j(z) a multiple of 12?
True
Suppose 13*x + 19*x - 6400 = 0. Is 40 a factor of x?
True
Let l be 9*1*(-1)/(-18)*4. Suppose l*f + 1270 = 5*y, -2*y = -5*y - 4*f + 788. Does 42 divide y?
False
Let c(s) = -s**3 + 10*s**2 + 14*s + 4. Let q be c(11). Let u = -7 + q. Is (-304)/(-5) + 6/u a multiple of 27?
False
Does 21 divide (-42)/(4 + 10 + -16)?
True
Let t = 722 - 2. Is t a multiple of 6?
True
Let p = 12 - 10. Let i be (-141)/(-3) - p/2. Suppose -2*m + 186 = 3*m + 2*r, -m + 4*r = -i. Does 16 divide m?
False
Let b(h) = -12 - 2*h + 3*h - 7*h. Let p be ((-24)/(-16))/(1/(-4)). Is 6 a factor of b(p)?
True
Let c(m) = 26*m**2 + 9*m - 16. Let r be c(4). Does 9 divide r/16 - (-3)/(-12)?
True
Let h = -494 - -741. Does 19 divide h?
True
Let i(b) = -b - 78. Let j be i(-14). Does 6 divide (j/6)/((-3 - 3)/90)?
False
Suppose -23*w + 3766 = -69673. Is w a multiple of 31?
True
Suppose -5*r = -5*n + 990, -r - 3*n - 12 - 194 = 0. Is (18/5)/((-2)/(r/6)) a multiple of 30?
True
Let m(u) = -64*u + 560. Is 80 a factor of m(5)?
True
Let y be (4/3)/(9/27 - 0). Suppose 0 = -3*g - y*i + 28, g - 5*i - 3 = 38. Is g a multiple of 7?
False
Let g be (72/10)/((-54)/(-135)). Suppose -2*u = g - 250. Is 29 a factor of u?
True
Suppose 0 = -4*z - z + 3*i - 22, 0 = -2*z - i. Is (-187)/z - 5/(-10) a multiple of 11?
False
Suppose 0 = 32*b - 26*b - 2160. Is 30 a factor of b?
True
Let i = 110 - 58. Suppose -5*n - 5*f - 75 = 0, 5*f + i = -4*n - 6. Is (-6)/51 + (-478)/n a multiple of 11?
False
Is 390*4/27 + 6/27 a multiple of 3?
False
Suppose -r - 1 = a + 1, 15 = 3*r - 4*a. Let q be ((-10)/3)/(r/(-3)). Is (q/3)/(3/9) a multiple of 5?
True
Suppose -107 = 3*z + g, 0*z - 4*z - 136 = 3*g. Let y = z - -77. Is y/(-3)*27/(-12) a multiple of 10?
True
Suppose -o - 1409 = -3*i, i + 3*i = 3*o + 1872. Does 8 divide i?
False
Let p(d) = 317*d**3 + 2*d**2 + d. Let h be p(-1). Let i(u) = 2*u**3 + 19*u**2 + 9*u + 3. Let l be i(-9). Does 29 divide -4 - h/(7 - l)?
False
Suppose 0 = -4*q, 0 = -2*o - 4*q + 3*q + 366. Does 58 divide o?
False
Let i(c) = 1. Let s(t) = -t**3 - 12*t**2 - 12*t + 16. Let a(x) = -3*i(x) + s(x). Does 8 divide a(-11)?
True
Suppose 5*w = 3*m + 1 + 5, 3*m = -w + 12. Let q(t) = t + 1. Let y be q(-1). Suppose -3*n + 2*v + 69 = 9, v - m = y. Is n a multiple of 11?
True
Let c be 70/30 + 2/3. Suppose 5*t - c*p = 272, 0 = 4*t - 0*p - 2*p - 218. Does 8 divide t?
False
Suppose -3 = -n, -6*n + 191 = 4*r - n. Does 11 divide r?
True
Let v = -4125 - -6063. Does 19 divide v?
True
Let g be (21/2)/((-5)/(-10)). Let z = -23 + g. Does 7 divide 6/z*-3 + -2?
True
Let u = 1559 + 1916. Does 40 divide u?
False
Let z(r) = 24 + 15*r + 39 - 52 + 0*r. Is 8 a factor of z(4)?
False
Suppose -2*h = -6*h - o + 2025, -o + 1518 = 3*h. Let w = h - 283. Suppose 5*z = 56 + w. Is 24 a factor of z?
False
Let y be (46/(-6) - -1)*-3. Let z = -108 - -91. Let j = z + y. Does 2 divide j?
False
Let x = -287 + 167. Is 16 a factor of x*-3*2/15?
True
Suppose 2*q - 58 = -62. Is 42 a factor of 377/9 - q/18?
True
Is (-50)/(-125) + 11366/10 + 1 a multiple of 78?
False
Is 8 a factor of 5 + 2175 - (-6 - -11)?
False
Let q(h) = -h**2 - 19*h. Let r = 25 - 13. Suppose r = -f - 6. Is q(f) a multiple of 6?
True
Let t be ((-30)/4)/(2 - (-5)/(-4)). Let o(b) = -4*b + 13. Is o(t) a multiple of 12?
False
Suppose -12*f + 3464 + 1180 = 0. Is f a multiple of 9?
True
Let x(l) = -l**2 + l + 10. Let t(q) = q + 8. Let o be t(-3). Suppose o*h + 3*v = -0*h, 3*v = -3*h. Is 5 a factor of x(h)?
True
Let z(k) = -3*k + 128. Is 5 a factor of z(16)?
True
Let f(d) = -d**2 + 10*d - 10. Suppose a + 7 = -4*m, 3*a + 5*m - 3 = -10. Let s be 4/((-3)/9 + a). Is f(s) a multiple of 3?
False
Let c be ((-1)/((-6)/(-8)))/(14/(-84)). Does 12 divide (2*2 - 332/c)*-2?
False
Suppose 22*r - 11*r - 14564 = 0. Is 5 a factor of r?
False
Let x(g) = g**2 + g - 9. Let t be x(-8). Let q = t - 21. Suppose q = 2*r - 0*r. Is r a multiple of 6?
False
Let q(k) = -76*k**3 - 11*k**2 + 16*k + 4. Let c(i) = 15*i**3 + 2*i**2 - 3*i - 1. Let j(a) = 11*c(a) + 2*q(a). Is 11 a factor of j(2)?
True
Suppose -5352 = -5*d + 3*a, -d + a + 1088 = -4*a. Is 89 a factor of d?
True
Let j(s) = -s**2 - 3*s + 7. Let m be j(-5). Let q be 20/m*(-45)/(-6). Is 5 a factor of ((-36)/45)/(2/q)?
True
Suppose -909 = -5*n + 3*l, n = 3*n - 5*l - 375. Is 30 a factor of n?
True
Suppose -427 = -5*y - 87. Suppose 2*v + 23 = -l, 2*l + 0*v - 3*v + 11 = 0. Let c = l + y. Is 11 a factor of c?
True
Suppose -4*y = -3*y - 5*l - 2, 0 = 2*y - 2*l - 12. Let v(m) = 23*m - 35. Is 9 a factor of v(y)?
True
Let z = 7930 + -5304. Does 13 divide z?
True
Does 14 divide 18448/7 - (-11 + (-438)/(-42))?
False
Suppose 0 = 3*z + r - 5, 4*z = 4*r - 1 + 13. Suppose p + 2*q - 70 = 0, 2*q = -z*p + 4*p - 110. Is 20 a factor of p?
True
Let a(n) = -n**3 + 12*n**2 + 2*n - 12. Let t be a(12). Suppose -7*w = -t*w. Suppose -4*v + 14 + 162 = w. Is v a multiple of 8?
False
Suppose 2*g = -3*d + g - 105, -d + 2*g = 28. Let a = 79 + d. Does 10 divide a?
False
Suppose 3*p - s = 9146, 5*s = -0*p - 2*p + 6120. Is 62 a factor of p?
False
Let o = 38 + 235. Is 21 a factor of o?
True
Suppose 99 = -q - 27. Let v = -35 - q. Does 21 divide v?
False
Let a(z) = -1314*z**3 + 2*z**2 + 2*z. Is a(-1) a multiple of 73?
True
Suppose g = 3*f - 7*f + 427, 0 = -f - g + 106. Is 8 a factor of f?
False
Let l(s) be the second derivative of s**4/12 + s**3/6 + 17*s**2/2 - 14*s. Is l(0) a multiple of 17?
True
Let w = 159 + -94. Let a(t) = t**3 - t**2 + t - 5. Let p be a(0). Let y = w + p. Is y a multiple of 12?
True
Let m(l) = 7*l + 14. Suppose 5*g - 7 - 10 = 2*q, -2*q - 14 = -4*g. Is 7 a factor of m(g)?
True
Let g = 16 - 14. Suppose -3*t - t = -204. Suppose g*o - t = -o. Is 17 a factor of o?
True
Suppose 4*g + 3*m - 11 = 0, 4*m = g + m + 16. Does 12 divide 2/(-1) + 96 + g?
False
Does 4 divide 38*6 - (64/(-4) - -11)?
False
Suppose 9*d + 16 = 5*d. Let o(a) = a + 5*a + 4 - 8*a + 5*a**2 + a**3. Is 7 a factor of o(d)?
True
Suppose 0 = z + 2*c - 102, z + 104 = 2*z + 3*c. Let p = -51 + z. Is p a multiple of 47?
True
Let k = -28 + 32. Suppose 90 = 2*b - 3*l - 56, k*b 